| 2026 |
J |
jnl |
Proc. ACM Program. Lang.
Thibaut Pérami, Thomas Bauereiss, Brian Campbell, Zongyuan Liu, Nils Lauermann, Alasdair Armstrong, Peter Sewell
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Angus Hammond, Ricardo Almeida, Thomas Bauereiss, Brian Campbell, Ian Stark, Peter Sewell
|
| 2025 |
A* |
conf |
ISCA
Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell
|
| 2024 |
J |
jnl |
CoRR
Ben Simner, Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Ohad Kammar, Jean Pichon-Pharabod, Peter Sewell
|
| 2022 |
A |
conf |
ESOP
Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell
|
| 2021 |
B |
conf |
ITP
Andrei Popescu, Thomas Bauereiss, Peter Lammich
|
| 2021 |
J |
jnl |
Arch. Formal Proofs
Andrei Popescu, Peter Lammich, Thomas Bauereiss
|
| 2021 |
J |
jnl |
Arch. Formal Proofs
Thomas Bauereiss, Andrei Popescu
|
| 2021 |
J |
jnl |
Arch. Formal Proofs
Thomas Bauereiss, Andrei Popescu
|
| 2021 |
J |
jnl |
Arch. Formal Proofs
Thomas Bauereiss, Andrei Popescu
|
| 2021 |
J |
jnl |
Arch. Formal Proofs
Andrei Popescu, Thomas Bauereiss
|
| 2020 |
A* |
conf |
SP
Kyndylan Nienhuis, Alexandre Joannou, Thomas Bauereiss, Anthony C. J. Fox, Michael Roe, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell
|
| 2019 |
J |
jnl |
Proc. ACM Program. Lang.
Alasdair Armstrong, Thomas Bauereiss, Brian Campbell, Alastair Reid, Kathryn E. Gray, Robert M. Norton, Prashanth Mundkur, Mark Wassell, Jon French, Christopher Pulte, Shaked Flur, Ian Stark, Neel Krishnaswami, Peter Sewell
|
| 2014 |
Misc |
conf |
SEC
Thomas Bauereiss, Dieter Hutter
|
| 2014 |
— |
conf |
ESSoS Doctoral Symposium
Thomas Bauereiss, Dieter Hutter
|
| 2013 |
— |
conf |
Open Identity Summit
Thomas Bauereiss, Stefan Gohmann, Dieter Hutter, Alexander Kläser
|