## Homepages 🌐

- http://user.it.uu.se/~tjawe125/

## E-Mails 📧

- es.uu.ti @rebew.krajt

## Entries

### 2024

##### Broadcast Psi-calculi

by Palle Raabjerg 📧, Johannes Åman Pohjola 📧 and Tjark Weber 📧
Mar 27

##### Verified QBF Solving

by Axel Bergström 📧 and Tjark Weber 📧
Mar 06

### 2016

##### Modal Logics for Nominal Transition Systems

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

##### Kleene Algebras with Domain

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

### 2014

##### Relation Algebra

by Alasdair Armstrong, Simon Foster 📧, Georg Struth 🌐 and Tjark Weber 🌐
Jan 25

### 2013

##### Kleene Algebra

by Alasdair Armstrong, Georg Struth 🌐 and Tjark Weber 🌐
Jan 15