# | Y | | Author/Editor | | Title | |
1 |
| 2013 |
| |
2 |
| |
16 |
| 2007 |
| |
43 |
| |
41 |
| 2005 |
| |
37 |
| |
36 |
| 2003 |
| |
39 |
| |
58 |
| 2001 |
| |
7 |
|
| |
1 |
|
| Proceedings |
| |
28 |
|
| |
| | | Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph | | First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | |
| | | Argon, Pablo
Delzanno, Giorgio
Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170 | |
| | | Backes, Werner
Wetzel, Susanne | | Lattice Basis Reduction with Dynamic Approximation
In: Proceedings of the 4th Workshop On Algorithm Engineering (WAE-2000), 63-73 | |
| | | Ball, Thomas
Podelski, Andreas
Rajamani, Sriram K. | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283 | |
| | | Charatonik, Witold
Dal Zilio, Silvano
Gordon, Andrew Donald
Mukhopadhyay, Supratik
Talbot, Jean-Marc | | The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167 | |
| | | Charatonik, Witold
Talbot, Jean-Marc | | The Decidability of Model Checking Mobile Ambients
In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, 339-354 | |
| | | de Nivelle, Hans | | Splitting through New Proposition Symbols
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185 | |
| | | de Nivelle, Hans
Pratt-Hartmann, Ian | | A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225 | |
| | | Eisenbrand, Friedrich
Rote, Günter | | Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89 | |
| | | Eisenbrand, Friedrich
Rote, Günter | | Fast reduction of ternary quadratic forms
In: Proceedings of the 1st Conference on Lattices and Cryptography (CaLC-01), 99-111 | |
| | | Ganzinger, Harald | | Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277 | |
| | | Ganzinger, Harald | | Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90 | |
| | | Ganzinger, Harald
McAllester, David | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | |
| | | Ganzinger, Harald
Nieuwenhuis, Robert | | Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | |
| | | Ganzinger, Harald
Nieuwenhuis, Robert
Nivela, Pilar | | Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | |
| | | Hillenbrand, Thomas
Löchner, Bernd | | The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21 | |
| | | Jaeger, Manfred | | Constraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760 | |
| | | Lang, Jérôme
van der Torre, Leendert W. N.
Weydert, Emil | | Two Kinds of Conflicts between Desires (and how to resolve them)
In: Proceedings of the AAAI Symposium on Game and Decision Theoretic Agents, 54-59 | |