Tjark Weber

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Hammering Floating-Point Arithmetic	2024-05-03	Paper
Weak nominal modal logic	2022-06-15	Paper
Proof-theoretic conservative extension of HOL with ad-hoc overloading	2021-07-08	Paper
Modal logics for nominal transition systems	2021-03-26	Paper
Model-theoretic conservative extension for definitional theories	2019-11-12	Paper
Modal logics for nominal transition systems	2017-09-12	Paper
The largest respectful function	2016-07-06	Paper
Psi-calculi in Isabelle	2016-05-26	Paper
The 2013 evaluation of SMT-COMP and SMT-LIB	2016-05-26	Paper
Programming and automating mathematics in the Tarski-Kleene hierarchy	2014-09-08	Paper
Mathematizing C++ concurrency	2014-04-10	Paper
Integrating a SAT solver with an LCF-style theorem prover	2013-09-26	Paper
Bounded model generation for Isabelle/HOL	2013-09-25	Paper
Program analysis and verification based on Kleene algebra in Isabelle/HOL	2013-08-07	Paper
Reconstruction of Z3's bit-vector proofs in HOL4 and Isabelle/HOL	2011-11-22	Paper
Validating QBF Validity in HOL4	2011-08-17	Paper
Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL	2011-06-17	Paper
Fast LCF-Style Proof Reconstruction for Z3	2010-09-14	Paper
Validating QBF invalidity in HOL4	2010-09-14	Paper
On commutativity and groupoid identities between products with 3 factors.	2009-10-23	Paper
Finite Models in FOL-Based Crypto-Protocol Verification	2009-10-22	Paper
Formal memory models for the verification of low-level operating-system code	2009-08-31	Paper
Efficiently checking propositional refutations in HOL theorem provers	2009-03-25	Paper
Towards Automated Proof Support for Probabilistic Distributed Systems	2008-05-27	Paper
Computer Science Logic	2005-08-22	Paper

Research outcomes over time

This page was built for person: Tjark Weber