Formalizing Statecharts using Hierarchical Automata by Steffen Helke 📧 and Florian Kammüller 📧 Aug 08
Locally Nameless Sigma Calculus by Ludovic Henrio 📧, Florian Kammüller 📧, Bianca Lutz 📧 and Henry Sudhof 📧 Apr 30