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
Hide details for 20072007
8
Show details for Proceedings ArticleProceedings Article
1
Show details for PosterPoster
5
Hide details for Journal ArticleJournal Article
Ben-Amram, Amir M.
Lee, Chin Soon		Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37
Podelski, Andreas
Rybalchenko, Andrey		Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30
Ratschan, Stefan
She, Zhikun		Attachment IconSafety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23
Sofronie-Stokkermans, VioricaAttachment IconAutomated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ?
Sofronie-Stokkermans, VioricaAttachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ?
1
Show details for Electronic Journal ArticleElectronic Journal Article
1
Show details for ReportReport
43
Show details for 20062006
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
47
Show details for 19931993
26
Show details for 19921992
26
Show details for 19911991
2
Show details for 19901990

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