Tjark Weber
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 16
Publications (10 Years): 16
Top Topics
Technical University Munich, Germany (PHD)
Education History
Technical University Munich, Germany
PHD
Publications
- Palle Raabjerg, Johannes Åman Pohjola, Tjark WeberBroadcast Psi-calculi. Arch. Formal Proofs 2024 (2024)
- Axel Bergström, Tjark WeberVerified QBF Solving. Arch. Formal Proofs 2024 (2024)
- Olle Torstensson, Tjark Weber
- Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger
- Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson
- Arve Gengelbach, Tjark Weber
- Tjark Weber
- Jesper Bengtson, Joachim Parrow, Tjark Weber
- Joachim Parrow, Tjark Weber
- Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark WeberKleene Algebras with Domain. Arch. Formal Proofs 2016 (2016)
- David R. Cok, Aaron Stump, Tjark Weber
- David R. Cok, David Déharbe, Tjark Weber
- Georg Struth, Tjark WeberRelation Algebra. Arch. Formal Proofs 2014 (2014)
- Alasdair Armstrong, Georg Struth, Tjark WeberKleene Algebra. Arch. Formal Proofs 2013 (2013)
- Ramana Kumar, Tjark Weber
- Walter Guttmann, Georg Struth, Tjark Weber
- Tjark Weber
- Walter Guttmann, Georg Struth, Tjark Weber
- Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar
- Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber
- Sascha Böhme, Tjark Weber
- Sascha Böhme, Tjark Weber
- Tjark Weber
- Hendrik Tews, Marcus Völp, Tjark Weber
- Tjark Weber, Hasan Amjad
- Jan Jürjens, Tjark Weber
- Tjark Weber
- Tjark Weber
- Tjark Weber
- Tjark Weber, James L. Caldwell