Modal µ-Calculus and Alternating Tree Automata. - Júlia Zappe (Automata, Logics, and Infinite Games, 2001)

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. - Stephan Merz; Martin Wirsing; Júlia Zappe (FASE, 2003)

Towards a mobile temporal logic of actions. - Júlia Zappe (2005)

Do Noetherian Modules Have Noetherian Basis Functions?. - Peter Schuster 001; Júlia Zappe (CiE, 2006)

Specification and refinement of mobile systems in MTLA and mobile UML. - Alexander Knapp; Stephan Merz; Martin Wirsing; Júlia Zappe (Theor. Comput. Sci., 2006)

Editorial: Math. Log. Quart. 1/2008. - Josef Berger; Dirk Pattinson; Peter Schuster 001; Júlia Zappe (Math. Log. Q., 2008)