|
|
|
|
|
|
|
|
|
|
|
|
Loig Jezequel and Javier Esparza. Message passing algorithms for the verification of distributed protocols. In Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, USA, January 2014, To appear. |
|
|
Markus Gulden and Stefan Kugele. A Concept for Generating Simplified RESTful Interfaces. In Proceedings of the Fourth International Workshop on RESTful Design, WS-REST 2013 at WWW2013, Rio de Janeiro, Brazil, May 14, 2013. ACM, to appear. |
|
|
Georg Bachmeier, Michael Luttenberger, and Maximilian Schlund. Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity. In LATA, Lecture Notes in Computer Science, pages ??–??, March To appear. |
|
|
M. Luttenberger and M. Schlund. Convergence of Newton's Method over Commutative Semirings. Information and Computation, ?(?):??–??, To appear. |
|
|
|
|
|
|
|
|
|
Contact
