Peter Thiemann
Publication Activity (10 Years)
Years Active: 1990-2024
Publications (10 Years): 56
Publications (10 Years): 56
Publications
- Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann
- Martin Sulzmann, Peter Thiemann
- Hannes Saffrich, Peter Thiemann
- Peter Thiemann
- Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
- Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
- Peter Thiemann
- Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
- Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
- Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
- Hannes Saffrich, Peter Thiemann
- Hannes Saffrich, Peter Thiemann
- Hannes Saffrich, Peter Thiemann
- Jeremy G. Siek, Peter Thiemann, Philip Wadler
- Thi Thu Ha Doan, Peter Thiemann
- Thi Thu Ha Doan, Peter Thiemann
- Thi Thu Ha Doan, Peter Thiemann
- Fernando Cristiani, Peter Thiemann
- Weili Fu, Fabian Krause, Peter Thiemann
- Fernando Cristiani, Peter Thiemann
- Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos
- Peter Thiemann, Vasco T. Vasconcelos
- Hannes Saffrich, Peter Thiemann
- Gabriel Radanne, Hannes Saffrich, Peter Thiemann
- Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
- Gabriel Radanne, Peter ThiemannKindly Bent to Free Us. CoRR (2019)
- Peter Thiemann
- Peter Thiemann
- Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler
- Martin Sulzmann, Peter Thiemann
- Peter Thiemann, Vasco T. Vasconcelos
- Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip WadlerGradual Session Types. CoRR (2018)
- Martin Sulzmann, Peter Thiemann
- Gabriel Radanne, Peter Thiemann
- Martin Sulzmann, Peter Thiemann
- Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
- Martin Sulzmann, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Peter Thiemann
- Martin Sulzmann, Peter Thiemann
- Luminous Fennell, Peter Thiemann
- Peter Thiemann
- Luminous Fennell, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
- Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
- Nico Naus, Peter Thiemann
- Peter Thiemann
- Martin Sulzmann, Peter Thiemann
- Peter Thiemann
- Peter Thiemann, Vasco T. Vasconcelos
- Peter Thiemann
- Robert Jakob, Peter Thiemann
- Martin Sulzmann, Peter Thiemann
- Peter Thiemann, Martin Sulzmann
- Jeremy G. Siek, Peter Thiemann, Philip Wadler
- Robert Jakob, Peter Thiemann
- Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
- Martin Sulzmann, Peter Thiemann
- Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
- Luminous Fennell, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Peter Thiemann
- Matthias Keil, Peter Thiemann
- Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang
- Peter Thiemann
- Manuel Geffken, Hannes Saffrich, Peter Thiemann
- Peter Thiemann, Luminous Fennell
- Matthias Keil, Peter Thiemann
- Manuel Geffken, Peter Thiemann
- Olivier Danvy, Peter Thiemann, Ian Zerny
- Matthias Keil, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Robert Jakob, Peter Thiemann
- Luminous Fennell, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Matthias Keil, Peter Thiemann
- Peter Thiemann
- Matthias Keil, Peter Thiemann
- Markus Degen, Peter Thiemann, Stefan Wehr
- Phillip Heidegger, Peter Thiemann
- Peter Thiemann, Manuel M. T. Chakravarty
- Markus Degen, Peter Thiemann, Stefan Wehr
- Phillip Heidegger, Annette Bieniusa, Peter Thiemann
- Phillip Heidegger, Peter Thiemann
- Stefan Wehr, Peter Thiemann