Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 1. by Names of First Author,Editor

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	Type
3	Madden
1	Madden, Bundy
1	Madden, Bundy, Smaill
1	Madden, Green
6	Maier
		2004		Intuitionistic LTL and a New Characterization of Safety and Liveness	Report
		2004		Intuitionistic LTL and a New Characterization of Safety and Liveness In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309	Proceedings Article
		2003		A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning Universität des Saarlandes	Thesis - PhD thesis
		2003		Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357	Proceedings Article
		2002		A Framework for Circular Assume-Guarantee Rules In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58	Proceedings Article
		2001		A Set-Theoretic Framework for Assume-Guarantee Reasoning In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834	Proceedings Article
2	Makinson, van der Torre
2	Malkis, Podelski, Rybalchenko
5	Matthews
2	Matthews, Basin
1	Matthews, Simpson
1	Matthews, Smaill, Basin
1	Meter
2	Meyer
1	Meyer, Faber, Rybalchenko
1	Mohr
1	Mukhopadhyay
5	Mukhopadhyay, Podelski
3	Müller, Niehren, Podelski
1	Naumann
1	Nielson, Seidl
1	Nieuwenhuis, Hillenbrand, Riazanov, Voronkov
1	Nivat, Podelski
6	Nonnengart
1	Nonnengart, Ohlbach

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