Export...\All to MPG RTF format...
MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 5. Year - 4. All Years - 2. MPG Jahrbuch Format

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
#YearedocLckAuthor(s) [non member]Editor(s) [non member]TitleTypeedoc identifier
2005Blanchet, Bruno
Podelski, Andreas		Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90		Journal ArticleDE831F79824AC81CC1256FC000333894-BlanchetPodelski2005
2005[Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick		[Ong, Luke]Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412		Proceedings ArticleB84D6259621B6394C12570B50065D231-CharatonikGeorgievaMaier2005
2005[Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey		[Hankin, Chris]
[Siveroni, Igor]		Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101		Proceedings Article4A8E5658CE9033FAC12570000064E740-CookPodelskiRybalchenkoSAS2005
2005[Cuntz, Nicolas]
Freiheit, Jörn
[Kindler, Ekkart]		[Nuettgens, Markus]
[Rump, Frank J.]		On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23		Proceedings Article435E24B7EA83FC4EC12570D70054BB48-Freiheit2005EPK
2005[Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan		[Peled, Doron A]
[Tsay, Yih-Kuen]		Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113		Proceedings Article9381B669B95CDEE8C12570A600420C22-DammRatschan2005a
2005[Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim		[Sutcliffe, Geoff]
[Voronkov, Andrei]		Attachment IconIntegration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395		Proceedings ArticleAC084AE06EB1D6B2C12570D700608013-DMSSISAMC2005
2005de Nivelle, HansTranslation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54		Journal Article904AC741B97386B6C1256FC10056F74F-deNivelle2005a
2005de Nivelle, Hans
[Demri, Stéphane]		Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329		Journal ArticleEAF2CBB863109A35C1256FE90050B977-deNivelleDemri2005
2005de Nivelle, Hans
Piskac, Ruzica		Aichernig, Bernhard K.
Beckert, Bernhard		Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219		Proceedings ArticleDFA2ABDD62632A77C12570600034D829-DeNivellePiskac2005a
2005[Delahaye, David]
[Jaume, Mathieu]
Prevosto, Virgile		Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160		Journal Article06EF4C55FB8AE5D1C1256FEB004089E4-DelahayeJaumePrevosto2005
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]		Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora		Attachment IconEnhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27		Proceedings Article9534E1575B414174C12570B20035B569-Freiheit2005b
2005Ganzinger, Harald
[Stuber, Jürgen]		Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23		Journal Article0694A106EC9DC984C1257006003A5C14-Ganzinger-Stuber-ic-05
2005[Georgieva, Lilia]
Maier, Patrick		[Aichernig, Bernhard K.]
[Beckert, Bernhard]		Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330		Proceedings Article3D4BAE638E030845C12570B6005153F9-GeorgievaMaier2005
2005[Goncharov, Sergey]
[Harizanov, Valentina]
[Knight, Julia F.]
[Morozov, Andrey]
Romina, Anya		On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412		Journal Article567CCE3FDB65FC2AC125700B004A9856-Romina2004
2005Hagemann, WillemFormalisierung der Arithmetik
Universität Göttingen		Thesis - other2BE00C03FF7EC47FC125754D0031DCC2-Hagemann2008
2005[Hoenicke, Jochen]
Maier, Patrick		[Fitzgerald, John]
[Hayes, Ian J.]
[Tarlecki, Andrzej]		Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480		Proceedings Article55FFF9D24339DC71C12570B50064D305-HoenickeMaier2005
2005Hoffmann, JörgIn Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69		Journal Article475110975FBE51C2C12570A700551FEE-ThiebauxEtal2005
2005Hoffmann, JörgThe Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579		Journal ArticleD5F23775DB5E254BC12570A70039EC9C-HoffmannEdelkamp2005
2005Hoffmann, JörgWhere Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758		Journal Article4E9BEC10D74FB7A2C12570D90043E246-Hoffmann2005
2005Hoffmann, Jörg
[Brafman, Ronen]		[Biundo, Susanne]
[Meyers, Karen]
[Rajan, Kanna]		Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80		Proceedings Article4FD396134AD94B31C1256FA3005CB23E-HoffmannBrafman2005a
2005Stop sign IconHoffmann, Jörg[Kaelbling, Leslie]Stop sign IconA Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580		Poster292598CB302FE235C12570A7003967EF-HoffmannKupferschmid2005
2005Jacobs, Swen
Waldmann, Uwe		[Beckert, Bernhard]Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168		Proceedings ArticleB54B67CC129A5649C1257085003336D5-JacobsWaldmann2005
2005Korovin, Konstantin
[Voronkov, Andrei]		Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388		Journal ArticleA909D96B3210A3E9C1256E24003F32EB-KorovinVoronkov:TOCL:2004
2005[Pnueli, Amir]
Podelski, Andreas
Rybalchenko, Andrey		[Halbwachs, Nicolas]
[Zuck, Lenore]		Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139		Proceedings Article35EF9D6268729C1EC1256FC0004276DF-PnueliPodelskiRybalchenkoTACAS2005
2005Podelski, Andreas
Rybalchenko, Andrey
[Cook, Byron]		Counterexample-Guided Abstraction Refinement for TerminationUnpublished/DraftC14D826ED1E19F9AC1256FC1003545B1-CPR05:Terminator
2005Podelski, Andreas
Rybalchenko, Andrey		[Palsberg, Jens]
[Abadi, Martín]		Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139		Proceedings Article57767FAFB6FB6779C1256FC00041E44D-PodelskiRybalchenkoPOPL2005
2005Podelski, Andreas
Schaefer, Ina
Wagner, Silke		[Sagiv, Mooly]Attachment IconSummaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107		Proceedings ArticleE61A422525249181C1256FBE0053DEF4-PSW:05
2005Podelski, Andreas
Wies, Thomas		[Hankin, Chris]
[Siveroni, Igor]		Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283		Proceedings ArticleF4FCF928E05DBF59C12570000065266E-PodelskiWiesSAS2005
2005Prevosto, Virgile
[Boulmé, Sylvain]		[Urzyczyn, Pawe{ł}]Proof Contexts with Late Binding
In: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, 325-339		Proceedings ArticleFD4A77D3E010E4C8C1256FBD00543A20-PrevostoTLCA2005
2005Ratschan, Stefan[Dolzmann, Andreas]
[Seidl, Andreas]
[Sturm, Thomas]		Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216		Proceedings ArticleE272055E00D1C519C1256FE20052073A-Ratschan2005b

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