2008 |
5 | EE | Josef Berger,
Dirk Pattinson,
Peter Schuster,
Júlia Zappe:
Editorial: Math. Log. Quart. 1/2008.
Math. Log. Q. 54(1): 4 (2008) |
2006 |
4 | EE | Peter Schuster,
Júlia Zappe:
Do Noetherian Modules Have Noetherian Basis Functions?.
CiE 2006: 481-489 |
3 | EE | Alexander Knapp,
Stephan Merz,
Martin Wirsing,
Júlia Zappe:
Specification and refinement of mobile systems in MTLA and mobile UML.
Theor. Comput. Sci. 351(2): 184-202 (2006) |
2003 |
2 | EE | Stephan Merz,
Martin Wirsing,
Júlia Zappe:
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
FASE 2003: 87-101 |
2001 |
1 | EE | Júlia Zappe:
Modal µ-Calculus and Alternating Tree Automata.
Automata, Logics, and Infinite Games 2001: 171-184 |