MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2001Mukhopadhyay, SupratikAttachment IconA Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes		Thesis - PhD thesis
2001Mukhopadhyay, Supratik
Podelski, Andreas		Accurate Widenings and Boundedness Properties of Timed Systems
In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94		Proceedings Article
2001Mukhopadhyay, Supratik
Podelski, Andreas		Attachment IconConstraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258		Proceedings Article
2001[Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas		Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170		Proceedings Article
2001Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc]		The Complexity of Model Checking Mobile AmbientsReport
2001Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc		The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167		Proceedings Article
2000Mukhopadhyay, Supratik
Podelski, Andreas		Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612		Proceedings Article
1999Mukhopadhyay, Supratik
Podelski, Andreas		Attachment IconBeyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244		Proceedings Article
1
Show details for Mukhopadhyay, Supratik (ed.)Mukhopadhyay, Supratik (ed.)
5
Show details for Müller, MartinMüller, Martin
2
Show details for Münch, SusanneMünch, Susanne
1
Show details for Mundici, Daniele (ed.)Mundici, Daniele (ed.)
1
Show details for Mundici, D. (ed.)Mundici, D. (ed.)
1
Show details for Murray, Neil V. (ed.)Murray, Neil V. (ed.)
1
Show details for Muscettola, Nicola (ed.)Muscettola, Nicola (ed.)
1
Show details for Mycroft, Alan (ed.)Mycroft, Alan (ed.)
1
Show details for Nadif, Mohamed (ed.)Nadif, Mohamed (ed.)
1
Show details for Näher, Stefan (ed.)Näher, Stefan (ed.)
1
Show details for Namjoshi, Kedar S. (ed.)Namjoshi, Kedar S. (ed.)
1
Show details for Napoli, Amedeo (ed.)Napoli, Amedeo (ed.)
1
Show details for Nardi, D. (ed.)Nardi, D. (ed.)
2
Show details for Narendran, PaliathNarendran, Paliath
1
Show details for Narendran, Paliath (ed.)Narendran, Paliath (ed.)
1
Show details for Naumann, StefanNaumann, Stefan
1
Show details for Nau, Dana (ed.)Nau, Dana (ed.)
2
Show details for Nebel, BernhardNebel, Bernhard
1
Show details for Nebel, Bernhard Nebel (ed.)Nebel, Bernhard Nebel (ed.)
5
Show details for Nebel, Bernhard (ed.)Nebel, Bernhard (ed.)
1
Show details for Nebel, B. (ed.)Nebel, B. (ed.)
1
Show details for Nejdl, W. (ed.)Nejdl, W. (ed.)

Next Page