Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft. - Julian Bahrs; Benedikt Meuthrath; Kirstin Peters (GI Jahrestagung (1), 2008)

Breaking Symmetries - Kirstin Peters; Uwe Nestmann (EXPRESS, 2010)

Synchrony vs Causality in the Asynchronous Pi-Calculus - Kirstin Peters; Jens-Wolfhard Schicke; Uwe Nestmann (EXPRESS, 2011)

Synchrony vs. Causality in Asynchronous Petri Nets - Jens-Wolfhard Schicke; Kirstin Peters; Ursula Goltz (EXPRESS, 2011)

Is It a "Good" Encoding of Mixed Choice? - Kirstin Peters; Uwe Nestmann (FoSSaCS, 2012)

Is it a "Good" Encoding of Mixed Choice? (Technical Report) - Kirstin Peters; Uwe Nestmann (CoRR, 2012)

Translational Expressiveness. Comparing Process Calculi using Encodings. - Kirstin Peters (2012)

On Distributability in Process Calculi. - Kirstin Peters; Uwe Nestmann; Ursula Goltz (ESOP, 2013)

Adding Priority to Event Structures. - Youssef Arbach; Kirstin Peters; Uwe Nestmann (EXPRESS/SOS, 2013)

Matching in the Pi-Calculus (Technical Report). - Kirstin Peters; Tsvetelina Yonova-Karbe; Uwe Nestmann (CoRR, 2014)

Matching in the Pi-Calculus. - Kirstin Peters; Tsvetelina Yonova-Karbe; Uwe Nestmann (EXPRESS/SOS, 2014)

Analysing and Comparing Encodability Criteria for Process Calculi. - Kirstin Peters; Rob J. van Glabbeek (Arch. Formal Proofs, 2015)

Dynamic Causality in Event Structures (Technical Report). - Youssef Arbach; David Karcher; Kirstin Peters; Uwe Nestmann (CoRR, 2015)

Encoding CSP into CCS (Extended Version). - Meike Hatzel; Christoph Wagner; Kirstin Peters; Uwe Nestmann (CoRR, 2015)

Encoding CSP into CCS. - Meike Hatzel; Christoph Wagner; Kirstin Peters; Uwe Nestmann (EXPRESS/SOS, 2015)

Analysing and Comparing Encodability Criteria. - Kirstin Peters; Rob J. van Glabbeek (EXPRESS/SOS, 2015)

Mechanical Verification of a Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (ITP, 2016)

A Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (Arch. Formal Proofs, 2016)

Session Types for Link Failures (Technical Report). - Manuel Adameit; Kirstin Peters; Uwe Nestmann (CoRR, 2016)

Synchrony versus causality in distributed systems. - Kirstin Peters; Jens-Wolfhard Schicke-Uffmann; Ursula Goltz; Uwe Nestmann (Math. Struct. Comput. Sci., 2016)

Session Types for Link Failures. - Manuel Adameit; Kirstin Peters; Uwe Nestmann (FORTE, 2017)

On the Distributability of Mobile Ambients (Technical Report). - Kirstin Peters; Uwe Nestmann (CoRR, 2018)

On the Distributability of Mobile Ambients. - Kirstin Peters; Uwe Nestmann (EXPRESS/SOS, 2018)

Dynamic Causality in Event Structures. - Youssef Arbach; David S. Karcher; Kirstin Peters; Uwe Nestmann (Log. Methods Comput. Sci., 2018)

Taming Concurrency for Verification Using Multiparty Session Types. - Kirstin Peters; Christoph Wagner; Uwe Nestmann (ICTAC, 2019)

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report). - Kirstin Peters; Christoph Wagner; Uwe Nestmann (CoRR, 2019)

Comparing Process Calculi Using Encodings. - Kirstin Peters (EXPRESS/SOS, 2019)

Coupled similarity: the first 32 years. - Benjamin Bisping; Uwe Nestmann; Kirstin Peters (Acta Informatica, 2020)

Preface to special issue: EXPRESS/SOS 2016 + 2017. - Kirstin Peters; Simone Tini (Acta Informatica, 2020)

Fault-Tolerant Multiparty Session Types. - Kirstin Peters; Uwe Nestmann; Christoph Wagner (FORTE, 2022)

Encodability Criteria for Quantum Based Systems (Technical Report). - Anna Schmitt 002; Kirstin Peters; Yuxin Deng (CoRR, 2022)

Fault-Tolerant Multiparty Session Types (Technical Report). - Kirstin Peters; Uwe Nestmann; Christoph Wagner (CoRR, 2022)

On the Expressiveness of Mixed Choice Sessions (Technical Report). - Kirstin Peters; Nobuko Yoshida (CoRR, 2022)

On the Expressiveness of Mixed Choice Sessions. - Kirstin Peters; Nobuko Yoshida (EXPRESS/SOS, 2022)

On distributability. - Kirstin Peters; Uwe Nestmann; Anna Schmitt 002 (Theor. Comput. Sci., 2022)

Probabilistic Operational Correspondence. - Anna Schmitt 002; Kirstin Peters (CONCUR, 2023)

Probabilistic Operational Correspondence (Technical Report). - Anna Schmitt 002; Kirstin Peters (CoRR, 2023)

FTMPST: Fault-Tolerant Multiparty Session Types. - Kirstin Peters; Uwe Nestmann; Christoph Wagner (Log. Methods Comput. Sci., 2023)

Towards a Formal Testing Theory for Quantum Processes. - Mohammad Reza Mousavi 001; Kirstin Peters; Anna Schmitt 002 (ISoLA (1), 2024)

Separation and Encodability in Mixed Choice Multiparty Sessions. - Kirstin Peters; Nobuko Yoshida (LICS, 2024)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report). - Kirstin Peters; Nobuko Yoshida (CoRR, 2024)

Synchronisability in Mailbox Communication. - Cinzia Di Giusto; Laetitia Laversa; Kirstin Peters (EXPRESS/SOS, 2024)

Mixed choice in session types. - Kirstin Peters; Nobuko Yoshida (Inf. Comput., 2024)

Encodability Criteria for Quantum Based Systems. - Anna Schmitt 002; Kirstin Peters; Yuxin Deng (Log. Methods Comput. Sci., 2024)