Concepedia

Tjark Weber

TW

14

Publications

823

Citations

14

H-Index

2005

Active since

Affiliations

University of Cambridge(Current)

Uppsala University

Technical University of Munich

Radboud University Nijmegen

Technische Universität Dresden

Tjark Weber is an author at University of Cambridge specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationSystem SoftwareProgram AnalysisSoftware AnalysisComputer Architecture

Publications per year

2005–2019

14

Publications

14

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · 2011 · 261 citations

Engineering, Computer Architecture, Concurrent System +17

Mathematizing C++ concurrency

Mark Batty, Scott Owens, Susmit Sarkar et al. · ACM SIGPLAN Notices · 2011 · 249 citations

C++ Programs, Engineering, Computer Architecture +16

Efficiently checking propositional refutations in HOL theorem provers

Tjark Weber, Hasan Amjad · Journal of Applied Logic · 2007 · 53 citations

Engineering, Hol Theorem Provers, Automated Reasoning +7

Nitpicking c++ concurrency

Jasmin Christian Blanchette, Tjark Weber, Mark Batty et al. · 2011 · 38 citations

Program Checking, Engineering, Verification +22

The SMT Competition 2015–2018

Tjark Weber, Sylvain Conchon, David Déharbe et al. · Journal on Satisfiability Boolean Modeling and Computation · 2019 · 31 citations · Full text

Hybrid Event, Engineering, Verification +16

Rows per page

1–5 of 14