Tjark Weber

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tjark Weber