Tjark Weber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
13
Active years
2003–2020
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICTAC | Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading. | Arve Gengelbach, Tjark Weber |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada |
| 2017 | FORTE | Weak Nominal Modal Logic. | Joachim Parrow, Tjark Weber, Johannes Borgstrm, Lars-Henrik Eriksson |
| 2016 | CADE | Scrambling and Descrambling SMT-LIB Benchmarks. | Tjark Weber |
| 2015 | CONCUR | Modal Logics for Nominal Transition Systems. | Joachim Parrow, Johannes Borgstrm, Lars-Henrik Eriksson, Ramunas Gutkovas, Tjark Weber |
| 2013 | ITP | Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. | Alasdair Armstrong, Georg Struth, Tjark Weber |
| 2011 | CPP | Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL. | Sascha Bhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber |
| 2011 | ICFEM | Automating Algebraic Methods in Isabelle. | Walter Guttmann, Georg Struth, Tjark Weber |
| 2011 | ITP | Validating QBF Validity in HOL4. | Ramana Kumar, Tjark Weber |
| 2011 | POPL | Mathematizing C++ concurrency. | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber |
| 2011 | PPDP | Nitpicking C++ concurrency. | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
| 2010 | ITP | Fast LCF-Style Proof Reconstruction for Z3. | Sascha Bhme, Tjark Weber |
| 2010 | ITP | Validating QBF Invalidity in HOL4. | Tjark Weber |
| 2005 | LPAR | Towards Automated Proof Support for Probabilistic Distributed Systems. | Annabelle McIver, Tjark Weber |
| 2004 | CSL | Towards Mechanized Program Verification with Separation Logic. | Tjark Weber |
| 2003 | LOPSTR | Constructively Characterizing Fold and Unfold. | Tjark Weber, James L. Caldwell |