| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
| 2005 |
| |
| 37 |
| |
| 36 |
| 2003 |
| |
| 39 |
| |
| 1 |
|
| Part of a Book |
| |
| 23 |
|
| |
| | | Charatonik, Witold
Amadio, Roberto | | On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | |
| | | Charatonik, Witold
Gordon, Andrew Donald
Talbot, Jean-Marc | | Finite-Control Mobile Ambients
In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, 295-313 | |
| | | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | | Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125 | |
| | | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | | Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | |
| | | Charatonik, Witold
Talbot, Jean-Marc | | Atomic Set Constraints with Projection
In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, 311-325 | |
| | | de Nivelle, Hans | | Extraction of Proofs from the Clausal Normal Form Transformation
In: Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, 584-598 | |
| | | de Raedt, Luc
Jaeger, Manfred
Lee, Sau Dan
Mannila, Heikki |  | A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130 | |
| | | Eisenbrand, Friedrich
Rinaldi, Giovanni
Ventura, Paolo | | 0/1 Optimization and 0/1 Primal Separation are Equivalent
In: Proceedings of the 13th Annual ACM SIAM Symposium on Discrete Algorithms, 920-926 | |
| | | Ganzinger, Harald | | Shostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346 | |
| | | Ganzinger, Harald
McAllester, David | | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | |
| | | Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A. | | A New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274 | |
| | | Georgieva, Lilia
Hustadt, Ullrich
Schmidt, Renate A. | | On the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36 | |
| | | Hillenbrand, Thomas
Löchner, Bernd | | The Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500 | |
| | | Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor | | Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30 | |
| | | Jaeger, Manfred | | Probababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88 | |
| | | Kazakov, Yevgeny | | Recursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15 | |
| | | Maier, Patrick | | A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58 | |
| | | Mukhopadhyay, Supratik
Podelski, Andreas | | An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169 | |
| | | Podelski, Andreas
Ball, Tom
Rajamani, Sriram K. | | Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | |
| | | Schmidt, Renate A.
Tishkovsky, Dmitry | | Multi-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49 | |
