MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 5. Year - 8. Counting Publications

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
#YAuthor/EditorTitle
1
Show details for 20132013
2
Show details for 20092009
16
Show details for 20072007
43
Hide details for 20062006
1
Show details for Electronic ProceedingsElectronic Proceedings
25
Show details for Proceedings ArticleProceedings Article
5
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
6
Hide details for Journal ArticleJournal Article
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare		Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52
Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice		Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27
Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe		Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Hoffmann, Jörg
Brafman, Ronen I.		Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541
Jensen, Kurt
Podelski, Andreas		Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179
Ratschan, StefanEfficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748
2
Show details for Thesis - Masters thesisThesis - Masters thesis
1
Show details for Thesis - PhD thesisThesis - PhD thesis
1
Show details for Unpublished/DraftUnpublished/Draft
2
Show details for MiscellaneousMiscellaneous
41
Show details for 20052005
37
Show details for 20042004
36
Show details for 20032003
39
Show details for 20022002
58
Show details for 20012001
48
Show details for 20002000
61
Show details for 19991999
73
Show details for 19981998
42
Show details for 19971997
64
Show details for 19961996
55
Show details for 19951995
64
Show details for 19941994

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