| Journal Full Title / ISSN | Year | Author/Editor | | Title | |
| STTT |
| |
| International Journal on Software Tools for Technology Transfer
- | 2006 | 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 | |
| Stud. Log. |
| |
| Studia Logica
0039-3215 | 1998 | Basin, David A.
Matthews, Seán
Viganò, Luca | | Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160 | |
| TECS |
| |
| ACM Transactions in Embedded Computing Systems
1539-9087 | 2007 | Ratschan, Stefan
She, Zhikun | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | |
| Theor. Comput. Sci. |
| |
| Theoretical Computer Science
0304-3975 | 1998 | Ganzinger, Harald | | Preface
In: Theoretical Computer Science [208], 1 | |
| Theoretical Computer Science
0304-3975 | 1998 | Krishna Rao, M. R. K. | | Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86 | |
| Theoretical Computer Science
0304-3975 | 1998 | Stuber, Jürgen | | Superposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177 | |
| Theoretical Computer Science
0304-3975 | 1995 | Krishna Rao, M. R. K. | | Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512 | |
| Theoretical Computer Science
0304-3975 | 1992 | Waldmann, Uwe | | Semantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35 | |
| Theoretical Computer Science
0304-3975 | 1991 | Ganzinger, Harald | | Order-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32 | |
| Theoretical Computer Science
0304-3975 | 1991 | Hanus, Michael | | Horn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106 | |
| TOPLAS |
| |
| ACM Transactions on Programming Languages and Systems
0164-0925 | 2007 | 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 | |
| ACM Transactions on Programming Languages and Systems
- | 2007 | Podelski, Andreas
Rybalchenko, Andrey | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | |
| |
| ACM Transactions on Programming Languages and Systems
0164-0925 | 2009 | Lee, Chin Soon | | Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42 | |
| Discrete Applied Mathematics
0166-218X | 2007 | Sofronie-Stokkermans, Viorica | | Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | |
| ACM Transactions on Computational Logic
- | 2007 | Sofronie-Stokkermans, Viorica | | On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ? | |
| International Journal on Artificial Intelligence Tools
0218-2130 | 2006 | Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | | Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52 | |
| Digital Evidence Journal
1750-7200 | 2006 | 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 | |
| Information and Computation
0890-5401 | 2006 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | |
| Artificial Intelligence
- | 2006 | Hoffmann, Jörg
Brafman, Ronen I. | | Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541 | |
| ACM Transactions on Computational Logic
- | 2006 | Ratschan, Stefan | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748 | |
| KI - Künstliche Intelligenz
0933-1875 | 2005 | Baumgartner, Peter
Furbach, Ulrich
Yahya, Adnan | | Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11 | |
| Theoretical Computer Science
0304-3975 | 2005 | Blanchet, Bruno
Podelski, Andreas | | Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90 | |
| Information and Computation
- | 2005 | de Nivelle, Hans | | Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54 | |
| Journal of Logic, Language and Information
0925-8531 | 2005 | de 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 | |