MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 6. Publisher/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
Hide details for Rybalchenko, AndreyRybalchenko, Andrey
2007Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309		Proceedings Article
2007Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276		Proceedings Article
2007Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330		Proceedings Article
2007Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30		Journal Article
2005Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139		Proceedings Article
Show details for Tan, Yao-HuaTan, Yao-Hua
Show details for van der Torre, Leendert W. N.van der Torre, Leendert W. N.
Show details for Vardi, MosheVardi, Moshe
Show details for Vorobyov, SergeiVorobyov, Sergei
Show details for Voronkov, AndreiVoronkov, Andrei
Show details for ACM SIAM [http://www.acm.org/pubs/]ACM SIAM [http://www.acm.org/pubs/]
Show details for ACM [http://www.acm.org/pubs/]ACM [http://www.acm.org/pubs/]
Show details for ACM [http://www.acm.org/]ACM [http://www.acm.org/]
Show details for ACTA PressACTA Press
Show details for AG 2 - GanzingerAG 2 - Ganzinger
Show details for Akademie VerlagAkademie Verlag
Show details for ALLIEDALLIED
Show details for AMSAMS
Show details for arendtap Desktop Publishing Agentur, Verlags- und Vertriebs GmbH [/http://www.arendtap.de/]arendtap Desktop Publishing Agentur, Verlags- und Vertriebs GmbH [/http://www.arendtap.de/]
Show details for Association for Symbolic LogicAssociation for Symbolic Logic
Show details for BaltzerBaltzer
Show details for Baltzer [http://www.baltzer.nl/indexnew.asp]Baltzer [http://www.baltzer.nl/indexnew.asp]
Show details for Books on Demand GmbHBooks on Demand GmbH
Show details for Böttcher IT [http://www.webki.de/ki/Thema/arendtapVerlag.htm]Böttcher IT [http://www.webki.de/ki/Thema/arendtapVerlag.htm]
Show details for Cambridge University PressCambridge University Press
Show details for can be obtained from my homepagecan be obtained from my homepage
Show details for Center for the Study of Language and Information [http://www-csli.stanford.edu/]Center for the Study of Language and Information [http://www-csli.stanford.edu/]
Show details for Centro de 'Algebra da Universidade de LisboaCentro de 'Algebra da Universidade de Lisboa
Show details for CEUR Workshop Proceedings [http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/]CEUR Workshop Proceedings [http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/]

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