Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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		Title	BibTeX cite key
Madden
Madden, Bundy
Madden, Bundy, Smaill
Madden, Green
Maier
Makinson, van der Torre
Malkis, Podelski, Rybalchenko
Matthews
Matthews, Basin
Matthews, Simpson
Matthews, Smaill, Basin
Meter
Meyer
Meyer, Faber, Rybalchenko
Mohr
Mukhopadhyay
Mukhopadhyay, Podelski
	2002		An Algebraic Framework for Abstract Model Checking In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169	MP-SARA02
	2001		Accurate Widenings and Boundedness Properties of Timed Systems In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94	MukhopadhyayPodelskiErshov2001
	2001		Constraint Database Models Characterizing Timed Bisimilarity In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258	MukhopadhyayPodelski2001
	2000		Model Checking for Timed Logic Processes In: Proceedings of the 1st International Conference on Computational Logic, 598-612	Mukhopadhyay2000
	1999		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	MukhopadhyayPodelskiFSTTCS1999
Müller, Niehren, Podelski
Naumann
Nielson, Seidl
Nieuwenhuis, Hillenbrand, Riazanov, Voronkov
Nivat, Podelski
Nonnengart
Nonnengart, Ohlbach
Nonnengart, Ohlbach, Gabbay

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