Júlia Zappe

Affiliations:

Ludwig Maximilian University of Munich, Germany

According to our database¹, Júlia Zappe authored at least 6 papers between 2001 and 2008.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2008

Editorial: Math. Log. Quart. 1/2008.

[BibT_eX]

[DOI]

Math. Log. Q., 2008

2006

Specification and refinement of mobile systems in MTLA and mobile UML.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Do Noetherian Modules Have Noetherian Basis Functions?.

[BibT_eX]

[DOI]

Peter Schuster

Júlia Zappe

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Towards a mobile temporal logic of actions.

[BibT_eX]

[DOI]

Júlia Zappe

PhD thesis, 2005

2003

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.

[BibT_eX]

[DOI]

Stephan Merz

Martin Wirsing

Júlia Zappe

Proceedings of the Fundamental Approaches to Software Engineering, 2003

2001

Modal µ-Calculus and Alternating Tree Automata.

[BibT_eX]

[DOI]

Júlia Zappe

Proceedings of the Automata, 2001

Júlia Zappe

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...