Michal Terepeta

According to our database, Michal Terepeta authored at least 4 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Pushdown Systems for Monotone Frameworks.

Michal Terepeta, Hanne Riis Nielson, Flemming Nielson

CoRR, 2013

Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.

Maximilian Schlund, Michal Terepeta, Michael Luttenberger

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Recursive Advice for Coordination.

Michal Terepeta, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

2011

Galois Connections for Flow Algebras.

Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Formal Techniques for Distributed Systems, 2011