Galois Connections for Flow Algebras. - Piotr Filipiuk; Michal Terepeta; Hanne Riis Nielson; Flemming Nielson (FMOODS/FORTE, 2011)

Recursive Advice for Coordination. - Michal Terepeta; Hanne Riis Nielson; Flemming Nielson (COORDINATION, 2012)

Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. - Maximilian Schlund; Michal Terepeta; Michael Luttenberger (LPAR, 2013)

Pushdown Systems for Monotone Frameworks. - Michal Terepeta; Hanne Riis Nielson; Flemming Nielson (CoRR, 2013)