MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

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
#YearTitleType
1
Show details for Cantu, Bundy, Smaill, BasinCantu, Bundy, Smaill, Basin
2
Show details for Chadha, PlaistedChadha, Plaisted
4
Show details for CharatonikCharatonik
1
Show details for Charatonik, AmadioCharatonik, Amadio
3
Show details for Charatonik, Dal Zilio, Gordon, Mukhopadhyay, TalbotCharatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot
1
Show details for Charatonik, Georgieva, MaierCharatonik, Georgieva, Maier
1
Show details for Charatonik, Gordon, TalbotCharatonik, Gordon, Talbot
1
Show details for Charatonik, McAllester, Niwinski, Podelski, WalukiewiczCharatonik, McAllester, Niwinski, Podelski, Walukiewicz
2
Show details for Charatonik, Mukhopadhyay, PodelskiCharatonik, Mukhopadhyay, Podelski
6
Hide details for Charatonik, PodelskiCharatonik, Podelski
2002Set Constraints with Intersection
In: Information and Computation [179], 213-229
Journal Article
1998Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225
Proceedings Article
1998Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294
Proceedings Article
1998Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375
Proceedings Article
1997Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372
Proceedings Article
1996The 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
Proceedings Article
1
Show details for Charatonik, Podelski, TalbotCharatonik, Podelski, Talbot
2
Show details for Charatonik, TalbotCharatonik, Talbot
1
Show details for Chaudhuri, Dimopoulos, ZaroliagisChaudhuri, Dimopoulos, Zaroliagis
1
Show details for ChristenChristen
1
Show details for Chu, PlaistedChu, Plaisted
1
Show details for Claus, Hopf, Schwefel (ed.)Claus, Hopf, Schwefel (ed.)
1
Show details for Cook, Gotsman, Podelski, Rybalchenko, VardiCook, Gotsman, Podelski, Rybalchenko, Vardi
4
Show details for Cook, Podelski, RybalchenkoCook, Podelski, Rybalchenko
1
Show details for Cortier, Ganzinger, Jacquemard, VeanesCortier, Ganzinger, Jacquemard, Veanes
1
Show details for Cunningham, Gabbay, OhlbachCunningham, Gabbay, Ohlbach
1
Show details for Cuntz, Freiheit, KindlerCuntz, Freiheit, Kindler
1
Show details for Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, WirtzDamm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
1
Show details for Damm, Pinto, RatschanDamm, Pinto, Ratschan
1
Show details for Daum, Maus, Schirmer, SeghirDaum, Maus, Schirmer, Seghir

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