International Conference on Automated Deduction
CADE
A
CORE rank
CORE rank (raw)
A
Fields of research
Artificial Intelligence
Papers indexed
1,984
1980–2025
Papers per year
198099 peak2025
Most published authors
CADE papers
1,984 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2003 | Source-Tracking Unification. | Venkatesh Choppella, Christopher T. Haynes |
| 2003 | Reasoning about Iteration in Gdel's Class Theory. | Johan G. F. Belinfante |
| 2003 | The Model Evolution Calculus. | Peter Baumgartner, Cesare Tinelli |
| 2003 | 'Living Book': -'Deduction', 'Slicing', 'Interaction'. | Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Alex Sinner |
| 2003 | How to Prove Inductive Theorems? QUODLIBET! | Jrgen Avenhaus, Ulrich Khler, Tobias Schmidt-Samoa, Claus-Peter Wirth |
| 2003 | Unification Modulo ACU I Plus Homomorphisms/Distributivity. | Siva Anantharaman, Paliath Narendran, Michal Rusinowitch |
| 2002 | System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. | Jrgen Zimmer, Michael Kohlhase |
| 2002 | The Quest for Efficient Boolean Satisfiability Solvers. | Lintao Zhang, Sharad Malik |
| 2002 | Combining Multisets with Integers. | Calogero G. Zarba |
| 2002 | AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. | Michael W. Whalen, Johann Schumann, Bernd Fischer |
| 2002 | S PASS Version 2.0. | Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, Dalibor Topic |
| 2002 | A Note on Symmetry Heuristics in SEM. | Thierry Boy de la Tour |
| 2002 | Faster Proof Checking in the Edinburgh Logical Framework. | Aaron Stump, David L. Dill |
| 2002 | Formal Verification of a Java Compiler in Isabelle. | Martin Strecker |
| 2002 | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jrgen Zimmer |
| 2002 | System Description: GrAnDe 1.0. | Stephan Schulz, Geoff Sutcliffe |
| 2002 | A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. | Robert R. Schneck, George C. Necula |
| 2002 | The Reflection Theorem: A Study in Meta-theoretic Reasoning. | Lawrence C. Paulson |
| 2002 | BDD-Based Decision Procedures for K. | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |
| 2002 | Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. | Leonardo Mendona de Moura, Harald Rue, Maria Sorea |
| 2002 | DDDLIB: A Library for Solving Quantified Difference Inequalities. | Jesper B. Mller |
| 2002 | Basic Syntactic Mutation. | Christopher Lynch, Barbara Morawska |
| 2002 | Combining Proof-Search and Counter-Model Construction for Deciding Gdel-Dummett Logic. | Dominique Larchey-Wendling |
| 2002 | The Complexity of the Graded µ-Calculus. | Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi |
| 2002 | Learn Omega-matic: System Description. | Mateja Jamnik, Manfred Kerber, Martin Pollet |
1,201–1,225 of 1,984← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*AAAINational Conference of the American Association for Artificial Intelligence
- A*ICRAIEEE International Conference on Robotics and Automation
- AInterspeechInterspeech (combined EuroSpeech and ICSLP in 2000)
- AIROSIEEE/RSJ International Conference on Intelligent Robots and Systems
- A*ACLAssociation for Computational Linguistics
- A*IJCAIInternational Joint Conference on Artificial Intelligence
- A*EMNLPEmpirical Methods in Natural Language Processing
- AGECCOGenetic and Evolutionary Computations