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
https://portal.mardi4nfdi.de/entity/Q5856409	2021-03-26	Paper
Model-theoretic conservative extension for definitional theories	2019-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q5357704	2017-09-12	Paper
The Largest Respectful Function	2016-07-06	Paper
The 2013 evaluation of SMT-COMP and SMT-LIB	2016-05-26	Paper
Psi-calculi in Isabelle	2016-05-26	Paper
Programming and automating mathematics in the Tarski-Kleene hierarchy	2014-09-08	Paper
Mathematizing C++ concurrency	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2848690	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2848061	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
https://portal.mardi4nfdi.de/entity/Q3184993	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