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
Show details for Charatonik, PodelskiCharatonik, Podelski
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
Hide details for Cook, Podelski, RybalchenkoCook, Podelski, Rybalchenko
2007Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
Proceedings Article
2006Termination Proofs for Systems Code
In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 415-426
In: ACM SIGPLAN Notices [41], 415-426
Proceedings Article
2006Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418
Proceedings Article
2005Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101
Proceedings Article
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
7
Show details for de Nivellede Nivelle
1
Show details for de Nivelle, Areces, de Rijkede Nivelle, Areces, de Rijke

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