Publications

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#		Year	Author(s) [non member]	Editor(s) [non member]		Title	Type
		2001	[Argon, Pablo] [Delzanno, Giorgio] Mukhopadhyay, Supratik Podelski, Andreas	Pacholski, Leszek Ruzicka, Peter		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
		2001	Charatonik, Witold [Dal Zilio, Silvano] [Gordon, Andrew Donald] Mukhopadhyay, Supratik [Talbot, Jean-Marc]			The Complexity of Model Checking Mobile Ambients	Report
		2001	Charatonik, Witold [Dal Zilio, Silvano] [Gordon, Andrew Donald] Mukhopadhyay, Supratik Talbot, Jean-Marc	[Honsell, Furio] [Miculan, Marino]		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
		2001	Mukhopadhyay, Supratik			A Uniform Constraint-based Framework for the Verification of Infinite State Systems Universität des Saarlandes	Thesis - PhD thesis
		2001	Mukhopadhyay, Supratik Podelski, Andreas	[Ramakrishnan, I.V.]		Constraint Database Models Characterizing Timed Bisimilarity In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258	Proceedings Article
		2001	Mukhopadhyay, Supratik Podelski, Andreas	Zamulin, Alexandre Broy, Manfred Bjorner, Dines		Accurate Widenings and Boundedness Properties of Timed Systems In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94	Proceedings Article
		2000	Mukhopadhyay, Supratik Podelski, Andreas	Lloyd, John W. Dahl, Verónica Furbach, Ulrich Kerber, Manfred Lau, Kung-Kiu Palamidessi, Catuscia Pereira, Luís Moniz Sagiv, Yehoshua Stuckey, Peter J.		Model Checking for Timed Logic Processes In: Proceedings of the 1st International Conference on Computational Logic, 598-612	Proceedings Article
		1999	Mukhopadhyay, Supratik Podelski, Andreas	[Ramanujam, R] [Raman, V.]		Beyond 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	Mukhopadhyay, Supratik (ed.)
5	Müller, Martin
2	Münch, Susanne
1	Mundici, Daniele (ed.)
1	Mundici, D. (ed.)
1	Murray, Neil V. (ed.)
1	Muscettola, Nicola (ed.)
1	Mycroft, Alan (ed.)
1	Nadif, Mohamed (ed.)
1	Näher, Stefan (ed.)
1	Namjoshi, Kedar S. (ed.)
1	Napoli, Amedeo (ed.)
1	Nardi, D. (ed.)
2	Narendran, Paliath
1	Narendran, Paliath (ed.)
1	Naumann, Stefan
1	Nau, Dana (ed.)
2	Nebel, Bernhard
1	Nebel, Bernhard Nebel (ed.)
5	Nebel, Bernhard (ed.)
1	Nebel, B. (ed.)
1	Nejdl, W. (ed.)

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)