We stand with Ukraine  

Kirstin Peters

Orcid: 0000-0002-4281-0074

According to our database1, Kirstin Peters authored at least 39 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
FTMPST: Fault-Tolerant Multiparty Session Types.
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
,
Christoph Wagner
Log. Methods Comput. Sci., 2023

Probabilistic Operational Correspondence (Technical Report).
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
CoRR, 2023

Probabilistic Operational Correspondence.
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022
On distributability.
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
,
Anna Schmitt
Theor. Comput. Sci., 2022

On the Expressiveness of Mixed Choice Sessions.
[BibTeX]
[DOI]
Kirstin Peters
,
Nobuko Yoshida
Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

On the Expressiveness of Mixed Choice Sessions (Technical Report).
[BibTeX]
[DOI]
Kirstin Peters
,
Nobuko Yoshida
CoRR, 2022

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

Encodability Criteria for Quantum Based Systems (Technical Report).
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
,
Yuxin Deng
CoRR, 2022

Encodability Criteria for Quantum Based Systems.
[BibTeX]
[DOI]
Anna Schmitt
,
Kirstin Peters
,
Yuxin Deng
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

Fault-Tolerant Multiparty Session Types.
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
,
Christoph Wagner
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2020
Preface to special issue: EXPRESS/SOS 2016 + 2017.
[BibTeX]
[DOI]
Kirstin Peters
,
Simone Tini
Acta Informatica, 2020

Coupled similarity: the first 32 years.
[BibTeX]
[DOI]
Benjamin Bisping
,
Uwe Nestmann
,
Kirstin Peters
Acta Informatica, 2020

2019
Comparing Process Calculi Using Encodings.
[BibTeX]
[DOI]
Kirstin Peters
Proceedings of the Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, 2019

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report).
[BibTeX]
[DOI]
Kirstin Peters
,
Christoph Wagner
,
Uwe Nestmann
CoRR, 2019

Taming Concurrency for Verification Using Multiparty Session Types.
[BibTeX]
[DOI]
Kirstin Peters
,
Christoph Wagner
,
Uwe Nestmann
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2018
Dynamic Causality in Event Structures.
[BibTeX]
[DOI]
Youssef Arbach
,
David S. Karcher
,
Kirstin Peters
,
Uwe Nestmann
Log. Methods Comput. Sci., 2018

On the Distributability of Mobile Ambients.
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

On the Distributability of Mobile Ambients (Technical Report).
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
CoRR, 2018

2017
Session Types for Link Failures.
[BibTeX]
[DOI]
Manuel Adameit
,
Kirstin Peters
,
Uwe Nestmann
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016
Synchrony versus causality in distributed systems.
[BibTeX]
[DOI]
Kirstin Peters
,
Jens-Wolfhard Schicke-Uffmann
,
Ursula Goltz
,
Uwe Nestmann
Math. Struct. Comput. Sci., 2016

Breaking symmetries.
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
Math. Struct. Comput. Sci., 2016

Session Types for Link Failures (Technical Report).
[BibTeX]
[DOI]
Manuel Adameit
,
Kirstin Peters
,
Uwe Nestmann
CoRR, 2016

A Constructive Proof for FLP.
[BibTeX]
[DOI]
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

Mechanical Verification of a Constructive Proof for FLP.
[BibTeX]
[DOI]
Benjamin Bisping
,
Paul-David Brodmann
,
Tim Jungnickel
,
Christina Rickmann
,
Henning Seidler
,
Anke Stüber
,
Arno Wilhelm-Weidner
,
Kirstin Peters
,
Uwe Nestmann
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015
Analysing and Comparing Encodability Criteria.
[BibTeX]
[DOI]
Kirstin Peters
,
Rob J. van Glabbeek
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Encoding CSP into CCS.
[BibTeX]
[DOI]
Meike Hatzel
,
Christoph Wagner
,
Kirstin Peters
,
Uwe Nestmann
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

Encoding CSP into CCS (Extended Version).
[BibTeX]
[DOI]
Meike Hatzel
,
Christoph Wagner
,
Kirstin Peters
,
Uwe Nestmann
CoRR, 2015

Dynamic Causality in Event Structures (Technical Report).
[BibTeX]
[DOI]
Youssef Arbach
,
David Karcher
,
Kirstin Peters
,
Uwe Nestmann
CoRR, 2015

Analysing and Comparing Encodability Criteria for Process Calculi.
[BibTeX]
[DOI]
Kirstin Peters
,
Rob J. van Glabbeek
Arch. Formal Proofs, 2015

2014
Matching in the Pi-Calculus.
[BibTeX]
[DOI]
Kirstin Peters
,
Tsvetelina Yonova-Karbe
,
Uwe Nestmann
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

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

2013
Adding Priority to Event Structures.
[BibTeX]
[DOI]
Youssef Arbach
,
Kirstin Peters
,
Uwe Nestmann
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

On Distributability in Process Calculi.
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
,
Ursula Goltz
Proceedings of the Programming Languages and Systems, 2013

2012
Translational Expressiveness. Comparing Process Calculi using Encodings.
[BibTeX]
[DOI]
Kirstin Peters
PhD thesis, 2012

Is it a "Good" Encoding of Mixed Choice? (Technical Report)
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
CoRR, 2012

Is It a "Good" Encoding of Mixed Choice?
[BibTeX]
[DOI]
Kirstin Peters
,
Uwe Nestmann
Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011
Synchrony vs. Causality in Asynchronous Petri Nets
[BibTeX]
[DOI]
Jens-Wolfhard Schicke
,
Kirstin Peters
,
Ursula Goltz
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Synchrony vs Causality in the Asynchronous Pi-Calculus
[BibTeX]
[DOI]
Kirstin Peters
,
Jens-Wolfhard Schicke
,
Uwe Nestmann
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

2008
Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft.
[BibTeX]
[DOI]
Julian Bahrs
,
Benedikt Meuthrath
,
Kirstin Peters
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008


  Loading...