MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 8. Last Date/Time - 2. created

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
DateTimeCreated By ...Author(s) [non member]Editor(s) [non member]YearTitleType
1
Hide details for 20142014
1
Hide details for SeptemberSeptember
Sep 17, Wednesday12:36:50Uwe BrahmBrahm, Uwe2013Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes		Thesis - Masters thesis
2
Hide details for 20102010
1
Hide details for MarchMarch
Mar 25, Thursday17:01:18Administrators,LocalDomainServers,[AGEditors]Lee, Chin Soon2009Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42		Journal Article
1
Hide details for FebruaryFebruary
Feb 25, Thursday10:49:38Administrators,LocalDomainServers,[AGEditors]Meter, PeterBlubber, Bla
Bla, Blubber		2009Just a test entry
In: Booktitle, 1001-1010		Proceedings Article
1
Hide details for 20092009
1
Hide details for JanuaryJanuary
Jan 29, Thursday10:04:37Willem HagemannHagemann, Willem2005Formalisierung der Arithmetik
Universität Göttingen		Thesis - Diploma thesis
2
Hide details for 20082008
2
Hide details for FebruaryFebruary
Feb 25, Monday09:33:44Anja BeckerGanzinger, Harald
[Korovin, Konstantin]		[Hermann, Miki]
[Voronkov, Andrei]		2006Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511		Proceedings Article
Feb 07, Thursday12:41:57Anja Becker[Ben-Amram, Amir M.]
Lee, Chin Soon		2007Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37		Journal Article
15
Hide details for 20072007
1
Hide details for JulyJuly
Jul 12, Thursday11:15:17Silke WagnerWagner, Silke
[Podelski, Andreas]		[Raskin, J.-F.]
[Thiagarajan, P.S.]		2007Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16		Proceedings Article
2
Hide details for MayMay
May 08, Tuesday11:52:47Andrey RybalchenkoPodelski, Andreas
Rybalchenko, Andrey		2007Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30		Journal Article
May 08, Tuesday11:23:47Andrey RybalchenkoRybalchenko, Andrey2007Precise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ?		Proceedings Article
1
Hide details for AprilApril
Apr 26, Thursday13:27:56Silke Wagner[Podelski, Andreas]
Wagner, Silke		Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C.		2007Attachment IconA Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753		Poster
11
Hide details for MarchMarch
Mar 19, Monday00:02:40Andrey Rybalchenko[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey		[Ferrante, Jeanne]
[McKinley, Kathryn S.]		2007Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309		Proceedings Article
Mar 19, Monday00:00:18Andrey Rybalchenko[Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey		[Ferrante, Jeanne]
[McKinley, Kathryn S.]		2007Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330		Proceedings Article
Mar 18, Sunday23:57:02Andrey Rybalchenko[Cook, Byron]
[Gotsman, Alexey]
[Podelski, Andreas]
Rybalchenko, Andrey
[Vardi, Moshe]		[Hofmann, Martin]
[Felleisen, Matthias]		2007Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276		Proceedings Article
Mar 18, Sunday23:50:35Andrey Rybalchenko[Podelski, Andreas]
Rybalchenko, Andrey		Hanus, Michael2007Attachment IconARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259		Proceedings Article
Mar 18, Sunday23:45:14Andrey Rybalchenko[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey		[Cook, Byron]
[Podelski, Andreas]		2007Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394		Proceedings Article
Mar 18, Sunday23:36:38Andrey Rybalchenko[Meyer, Roland]
[Faber, Johannes]
Rybalchenko, Andrey		[Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio]		2006Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346		Proceedings Article

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