Michal Terepeta

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Multi Agent Planning

Polynomial Equations

Distributed Agents

Numerically Stable

Top Venues

Publications

Maximilian Schlund, Michal Terepeta, Michael Luttenberger
Putting Newton into Practice: A Solver for Polynomial Equations over Semirings. LPAR (2013)
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Pushdown Systems for Monotone Frameworks. CoRR (2013)
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Recursive Advice for Coordination. COORDINATION (2012)
Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Galois Connections for Flow Algebras. FMOODS/FORTE (2011)