| 2004 | A Formalization of Off-Line Guessing for Security Protocol Analysis. | Paul Hankes Drielsma, Sebastian Mdersheim, Luca Vigan |
| 2004 | The Inverse Method for the Logic of Bunched Implications. | Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park |
| 2004 | Applications of General Exact Satisfiability in Propositional Logic Modelling. | Vilhelm Dahllf |
| 2004 | The Equational Theory of < N, 0, 1, +, , uparrow > Is Decidable, but Not Finitely Axiomatisable. | Roberto Di Cosmo, Thomas Dufour |
| 2004 | Uniform Rules and Dialogue Games for Fuzzy Logics. | Agata Ciabattoni, Christian G. Fermller, George Metcalfe |
| 2004 | Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
| 2004 | Knowledge-Based Synthesis of Distributed Systems Using Event Structures. | Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride |
| 2004 | Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. | Dietmar Berwanger, Erich Grdel |
| 2004 | Automatic Certification of Heap Consumption. | Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska |
| 2004 | Can a Higher-Order and a First-Order Theorem Prover Cooperate?. | Christoph Benzmller, Volker Sorge, Mateja Jamnik, Manfred Kerber |
| 2004 | Evaluating QBFs via Symbolic Skolemization. | Marco Benedetti |
| 2004 | Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals. | M. Jamshid Bagherzadeh, S. Arun-Kumar |
| 2004 | CERES in Many-Valued Logics. | Matthias Baaz, Alexander Leitsch |
| 2004 | Cut-Elimination: Experiments with CERES. | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
| 2004 | Ordered Resolution with Selection for H(@). | Carlos Areces, Daniel Gorn |
| 2004 | Reasoning About Systems with Transition Fairness. | Benjamin Aminof, Thomas Ball, Orna Kupferman |
| 2004 | Abstraction-Carrying Code. | Elvira Albert, Germn Puebla, Manuel V. Hermenegildo |
| 2003 | Minimizing Automata on Infinite Words. | Thomas Wilke |
| 2003 | A Machine-Verified Code Generator. | Christoph Walther, Stephan Schweitzer |
| 2003 | Computing Preferred Answer Sets in Answer Set Programming. | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2003 | A Syntax-Based Approach to Reasoning about Actions and Events. | Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo |
| 2003 | On Closure under Complementation of Equational Tree Automata for Theories Extending AC. | Kumar Neeraj Verma |
| 2003 | NP-Completeness Results for Deductive Problems on Stratified Terms. | Thierry Boy de la Tour, Mnacho Echenim |
| 2003 | Congruence Closure with Integer Offsets. | Robert Nieuwenhuis, Albert Oliveras |
| 2003 | Ordered Diagnosis. | Davy Van Nieuwenborgh, Dirk Vermeir |