Kirstin Peters

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 36

Top Venues

CoRR

EXPRESS/SOS

FORTE

Log. Methods Comput. Sci.

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Kirstin Peters, Nobuko Yoshida
Separation and Encodability in Mixed Choice Multiparty Sessions. LICS (2024)
Kirstin Peters, Nobuko Yoshida
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report). CoRR (2024)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems. Log. Methods Comput. Sci. 20 (2) (2024)
Kirstin Peters, Nobuko Yoshida
Mixed choice in session types. Inf. Comput. 298 (2024)
Anna Schmitt, Kirstin Peters
Probabilistic Operational Correspondence. CONCUR (2023)
Anna Schmitt, Kirstin Peters
Probabilistic Operational Correspondence (Technical Report). CoRR (2023)
Kirstin Peters, Uwe Nestmann, Christoph Wagner
FTMPST: Fault-Tolerant Multiparty Session Types. Log. Methods Comput. Sci. 19 (4) (2023)
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Fault-Tolerant Multiparty Session Types (Technical Report). CoRR (2022)
Kirstin Peters, Uwe Nestmann, Anna Schmitt
On distributability. Theor. Comput. Sci. 913 (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems. FORTE (2022)
Anna Schmitt, Kirstin Peters, Yuxin Deng
Encodability Criteria for Quantum Based Systems (Technical Report). CoRR (2022)
Kirstin Peters, Nobuko Yoshida
On the Expressiveness of Mixed Choice Sessions. EXPRESS/SOS (2022)
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Fault-Tolerant Multiparty Session Types. FORTE (2022)
Kirstin Peters, Nobuko Yoshida
On the Expressiveness of Mixed Choice Sessions (Technical Report). CoRR (2022)
Kirstin Peters, Uwe Nestmann
Distributability of mobile ambients. Inf. Comput. 275 (2020)
Benjamin Bisping, Uwe Nestmann, Kirstin Peters
Coupled similarity: the first 32 years. Acta Informatica 57 (3-5) (2020)
Kirstin Peters, Simone Tini
Preface to special issue: EXPRESS/SOS 2016 + 2017. Acta Informatica 57 (6) (2020)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report). CoRR (2019)
Kirstin Peters
Comparing Process Calculi Using Encodings. EXPRESS/SOS (2019)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
Taming Concurrency for Verification Using Multiparty Session Types. ICTAC (2019)
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. CoRR (2018)
Kirstin Peters, Uwe Nestmann
On the Distributability of Mobile Ambients (Technical Report). CoRR (2018)
Kirstin Peters, Uwe Nestmann
On the Distributability of Mobile Ambients. EXPRESS/SOS (2018)
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. Log. Methods Comput. Sci. 14 (1) (2018)
Manuel Adameit, Kirstin Peters, Uwe Nestmann
Session Types for Link Failures. FORTE (2017)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann
Synchrony versus causality in distributed systems. Math. Struct. Comput. Sci. 26 (8) (2016)
Manuel Adameit, Kirstin Peters, Uwe Nestmann
Session Types for Link Failures (Technical Report). CoRR (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)
Kirstin Peters, Uwe Nestmann
Breaking symmetries. Math. Struct. Comput. Sci. 26 (6) (2016)
Kirstin Peters, Rob J. van Glabbeek
Analysing and Comparing Encodability Criteria for Process Calculi. Arch. Formal Proofs 2015 (2015)
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
Encoding CSP into CCS. EXPRESS/SOS (2015)
Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. FORTE (2015)
Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures (Technical Report). CoRR (2015)
Kirstin Peters, Rob J. van Glabbeek
Analysing and Comparing Encodability Criteria. EXPRESS/SOS (2015)
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
Encoding CSP into CCS (Extended Version). CoRR (2015)
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
Matching in the Pi-Calculus. EXPRESS/SOS (2014)
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
Matching in the Pi-Calculus (Technical Report). CoRR (2014)
Kirstin Peters, Uwe Nestmann, Ursula Goltz
On Distributability in Process Calculi. ESOP (2013)
Youssef Arbach, Kirstin Peters, Uwe Nestmann
Adding Priority to Event Structures. EXPRESS/SOS (2013)
Kirstin Peters, Uwe Nestmann
Is it a "Good" Encoding of Mixed Choice? (Technical Report) CoRR (2012)
Kirstin Peters, Uwe Nestmann
Is It a "Good" Encoding of Mixed Choice? FoSSaCS (2012)
Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz
Synchrony vs. Causality in Asynchronous Petri Nets EXPRESS (2011)
Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann
Synchrony vs Causality in the Asynchronous Pi-Calculus EXPRESS (2011)
Kirstin Peters, Uwe Nestmann
Breaking Symmetries EXPRESS (2010)
Kirstin Peters, Uwe Nestmann
Breaking Symmetries CoRR (2010)
Julian Bahrs, Benedikt Meuthrath, Kirstin Peters
Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft. GI Jahrestagung (1) (2008)

Kirstin Peters.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kirstin Peters