Tjark Weber

Broadcast Psi-calculi

by Palle Raabjerg, Johannes Åman Pohjola and Tjark Weber

Verified QBF Solving

by Axel Bergström and Tjark Weber

Modal Logics for Nominal Transition Systems

by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas

Kleene Algebras with Domain

by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber

Relation Algebra

by Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber

Kleene Algebra

by Alasdair Armstrong, Georg Struth and Tjark Weber