Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
ITP
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation
Papers indexed
608
2010–2026
Papers per year
201065 peak2026
Most published authors
ITP papers
608 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2010 | Formal Proof of a Wave Equation Resolution Scheme: The Method Error. | Sylvie Boldo, Franois Clment, Jean-Christophe Fillitre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
| 2010 | Fast LCF-Style Proof Reconstruction for Z3. | Sascha Bhme, Tjark Weber |
| 2010 | Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder. | Jasmin Christian Blanchette, Tobias Nipkow |
| 2010 | Programming Language Techniques for Cryptographic Proofs. | Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin |
| 2010 | A Tactic Language for Declarative Proofs. | Serge Autexier, Dominik Dietrich |
| 2010 | Extending Coq with Imperative Features and Its Application to SAT Verification. | Michal Armand, Benjamin Grgoire, Arnaud Spiwack, Laurent Thry |
| 2010 | Termination Checking in the Presence of Nested Inductive and Coinductive Types. | Thorsten Altenkirch, Nils Anders Danielsson |
| 2010 | MiniAgda: Integrating Sized and Dependent Types. | Andreas Abel |
601–608 of 608← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing