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
	1998		Set-Based Analysis of Reactive Infinite-state Systems In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375	CharatonikPodelski-tacas98
	1997		Set Constraints with Intersection In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372	CharatonikPodelskiLICS97
	1996		The Independence Property of a Class of Set Constraints In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), 76-90	CharatonikPodelski-cp96
Charatonik, Podelski, Talbot
Charatonik, Talbot
Chaudhuri, Dimopoulos, Zaroliagis
Christen
Chu, Plaisted
Claus, Hopf, Schwefel (ed.)
Cook, Gotsman, Podelski, Rybalchenko, Vardi
Cook, Podelski, Rybalchenko
Cortier, Ganzinger, Jacquemard, Veanes
Cunningham, Gabbay, Ohlbach
Cuntz, Freiheit, Kindler
Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
Damm, Pinto, Ratschan
Daum, Maus, Schirmer, Seghir
de Nivelle
de Nivelle, Areces, de Rijke
de Nivelle, Baumgartner, Fuchs, Tinelli
de Nivelle, Bezem, Hendriks
de Nivelle, Blackburn, Bos, Kohlhase
de Nivelle, de Rijke
de Nivelle, Demri
de Nivelle, Hustadt, Schmidt
de Nivelle, Kazakov
de Nivelle, Meng
de Nivelle, Piskac
de Nivelle, Pratt-Hartmann
de Nivelle, Schulz (ed.)

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