default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Kirstin Peters

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Kirstin Peters

download as .bib file

@article{DBLP:journals/iandc/PetersY24,
  author       = {Kirstin Peters and
                  Nobuko Yoshida},
  title        = {Mixed choice in session types},
  journal      = {Inf. Comput.},
  volume       = {298},
  pages        = {105164},
  year         = {2024}
}

@article{DBLP:journals/lmcs/SchmittPD24,
  author       = {Anna Schmitt and
                  Kirstin Peters and
                  Yuxin Deng},
  title        = {Encodability Criteria for Quantum Based Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {20},
  number       = {2},
  year         = {2024}
}

@inproceedings{DBLP:conf/lics/PetersY24,
  author       = {Kirstin Peters and
                  Nobuko Yoshida},
  title        = {Separation and Encodability in Mixed Choice Multiparty Sessions},
  booktitle    = {{LICS}},
  pages        = {62:1--62:15},
  publisher    = {{ACM}},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2405-08104,
  author       = {Kirstin Peters and
                  Nobuko Yoshida},
  title        = {Separation and Encodability in Mixed Choice Multiparty Sessions (Technical
                  Report)},
  journal      = {CoRR},
  volume       = {abs/2405.08104},
  year         = {2024}
}

@article{DBLP:journals/lmcs/PetersNW23,
  author       = {Kirstin Peters and
                  Uwe Nestmann and
                  Christoph Wagner},
  title        = {{FTMPST:} Fault-Tolerant Multiparty Session Types},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {4},
  year         = {2023}
}

@inproceedings{DBLP:conf/concur/0002P23,
  author       = {Anna Schmitt and
                  Kirstin Peters},
  title        = {Probabilistic Operational Correspondence},
  booktitle    = {{CONCUR}},
  series       = {LIPIcs},
  volume       = {279},
  pages        = {15:1--15:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2307-05218,
  author       = {Anna Schmitt and
                  Kirstin Peters},
  title        = {Probabilistic Operational Correspondence (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/2307.05218},
  year         = {2023}
}

@article{DBLP:journals/tcs/PetersNS22,
  author       = {Kirstin Peters and
                  Uwe Nestmann and
                  Anna Schmitt},
  title        = {On distributability},
  journal      = {Theor. Comput. Sci.},
  volume       = {913},
  pages        = {151--173},
  year         = {2022}
}

@inproceedings{DBLP:conf/forte/PetersNW22,
  author       = {Kirstin Peters and
                  Uwe Nestmann and
                  Christoph Wagner},
  title        = {Fault-Tolerant Multiparty Session Types},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {93--113},
  publisher    = {Springer},
  year         = {2022}
}

@inproceedings{DBLP:conf/forte/SchmittPD22,
  author       = {Anna Schmitt and
                  Kirstin Peters and
                  Yuxin Deng},
  title        = {Encodability Criteria for Quantum Based Systems},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13273},
  pages        = {151--169},
  publisher    = {Springer},
  year         = {2022}
}

@inproceedings{DBLP:journals/corr/abs-2209-06819,
  author       = {Kirstin Peters and
                  Nobuko Yoshida},
  title        = {On the Expressiveness of Mixed Choice Sessions},
  booktitle    = {{EXPRESS/SOS}},
  series       = {{EPTCS}},
  volume       = {368},
  pages        = {113--130},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2204-06068,
  author       = {Anna Schmitt and
                  Kirstin Peters and
                  Yuxin Deng},
  title        = {Encodability Criteria for Quantum Based Systems (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/2204.06068},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2204-07728,
  author       = {Kirstin Peters and
                  Uwe Nestmann and
                  Christoph Wagner},
  title        = {Fault-Tolerant Multiparty Session Types (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/2204.07728},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2208-07041,
  author       = {Kirstin Peters and
                  Nobuko Yoshida},
  title        = {On the Expressiveness of Mixed Choice Sessions (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/2208.07041},
  year         = {2022}
}

@proceedings{DBLP:conf/forte/2021,
  editor       = {Kirstin Peters and
                  Tim A. C. Willemse},
  title        = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
                  as Part of the 16th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12719},
  publisher    = {Springer},
  year         = {2021}
}

@article{DBLP:journals/acta/BispingNP20,
  author       = {Benjamin Bisping and
                  Uwe Nestmann and
                  Kirstin Peters},
  title        = {Coupled similarity: the first 32 years},
  journal      = {Acta Informatica},
  volume       = {57},
  number       = {3-5},
  pages        = {439--463},
  year         = {2020}
}

@article{DBLP:journals/acta/PetersT20,
  author       = {Kirstin Peters and
                  Simone Tini},
  title        = {Preface to special issue: {EXPRESS/SOS} 2016 + 2017},
  journal      = {Acta Informatica},
  volume       = {57},
  number       = {6},
  pages        = {759--760},
  year         = {2020}
}

@article{DBLP:journals/iandc/PetersN20,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {Distributability of mobile ambients},
  journal      = {Inf. Comput.},
  volume       = {275},
  pages        = {104608},
  year         = {2020}
}

@inproceedings{DBLP:conf/ictac/PetersWN19,
  author       = {Kirstin Peters and
                  Christoph Wagner and
                  Uwe Nestmann},
  title        = {Taming Concurrency for Verification Using Multiparty Session Types},
  booktitle    = {{ICTAC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11884},
  pages        = {196--215},
  publisher    = {Springer},
  year         = {2019}
}

@inproceedings{DBLP:journals/corr/abs-1908-08633,
  author       = {Kirstin Peters},
  title        = {Comparing Process Calculi Using Encodings},
  booktitle    = {{EXPRESS/SOS}},
  series       = {{EPTCS}},
  volume       = {300},
  pages        = {19--38},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1908-06510,
  author       = {Kirstin Peters and
                  Christoph Wagner and
                  Uwe Nestmann},
  title        = {Taming Concurrency for Verification Using Multiparty Session Types
                  (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/1908.06510},
  year         = {2019}
}

@article{DBLP:journals/lmcs/ArbachKPN18,
  author       = {Youssef Arbach and
                  David S. Karcher and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Dynamic Causality in Event Structures},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {14},
  number       = {1},
  year         = {2018}
}

@inproceedings{DBLP:journals/corr/abs-1808-09361,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {On the Distributability of Mobile Ambients},
  booktitle    = {{EXPRESS/SOS}},
  series       = {{EPTCS}},
  volume       = {276},
  pages        = {104--121},
  year         = {2018}
}

@article{DBLP:journals/corr/abs-1801-02857,
  author       = {Youssef Arbach and
                  David S. Karcher and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Dynamic Causality in Event Structures},
  journal      = {CoRR},
  volume       = {abs/1801.02857},
  year         = {2018}
}

@article{DBLP:journals/corr/abs-1808-01599,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {On the Distributability of Mobile Ambients (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/1808.01599},
  year         = {2018}
}

@inproceedings{DBLP:conf/forte/AdameitPN17,
  author       = {Manuel Adameit and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Session Types for Link Failures},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10321},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2017}
}

@proceedings{DBLP:journals/corr/abs-1709-00049,
  editor       = {Kirstin Peters and
                  Simone Tini},
  title        = {Proceedings Combined 24th International Workshop on Expressiveness
                  in Concurrency and 14th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017},
  series       = {{EPTCS}},
  volume       = {255},
  year         = {2017}
}

@article{DBLP:journals/afp/BispingBJRSSWPN16,
  author       = {Benjamin Bisping and
                  Paul{-}David Brodmann and
                  Tim Jungnickel and
                  Christina Rickmann and
                  Henning Seidler and
                  Anke St{\"{u}}ber and
                  Arno Wilhelm{-}Weidner and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {A Constructive Proof for {FLP}},
  journal      = {Arch. Formal Proofs},
  volume       = {2016},
  year         = {2016}
}

@article{DBLP:journals/mscs/PetersN16,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {Breaking symmetries},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {26},
  number       = {6},
  pages        = {1054--1106},
  year         = {2016}
}

@article{DBLP:journals/mscs/PetersSGN16,
  author       = {Kirstin Peters and
                  Jens{-}Wolfhard Schicke{-}Uffmann and
                  Ursula Goltz and
                  Uwe Nestmann},
  title        = {Synchrony versus causality in distributed systems},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {26},
  number       = {8},
  pages        = {1459--1498},
  year         = {2016}
}

@inproceedings{DBLP:conf/itp/BispingBJRSSWPN16,
  author       = {Benjamin Bisping and
                  Paul{-}David Brodmann and
                  Tim Jungnickel and
                  Christina Rickmann and
                  Henning Seidler and
                  Anke St{\"{u}}ber and
                  Arno Wilhelm{-}Weidner and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Mechanical Verification of a Constructive Proof for {FLP}},
  booktitle    = {{ITP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9807},
  pages        = {107--122},
  publisher    = {Springer},
  year         = {2016}
}

@proceedings{DBLP:journals/corr/GeblerP16,
  editor       = {Daniel Gebler and
                  Kirstin Peters},
  title        = {Proceedings Combined 23rd International Workshop on Expressiveness
                  in Concurrency and 13th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2016, Qu{\'{e}}bec City, Canada, 22nd August 2016},
  series       = {{EPTCS}},
  volume       = {222},
  year         = {2016}
}

@article{DBLP:journals/corr/AdameitPN16,
  author       = {Manuel Adameit and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Session Types for Link Failures (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/1607.07286},
  year         = {2016}
}

@article{DBLP:journals/afp/PetersG15,
  author       = {Kirstin Peters and
                  Rob J. van Glabbeek},
  title        = {Analysing and Comparing Encodability Criteria for Process Calculi},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015}
}

@inproceedings{DBLP:conf/forte/ArbachKPN15,
  author       = {Youssef Arbach and
                  David Karcher and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Dynamic Causality in Event Structures},
  booktitle    = {{FORTE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9039},
  pages        = {83--97},
  publisher    = {Springer},
  year         = {2015}
}

@inproceedings{DBLP:journals/corr/PetersG15,
  author       = {Kirstin Peters and
                  Rob J. van Glabbeek},
  title        = {Analysing and Comparing Encodability Criteria},
  booktitle    = {{EXPRESS/SOS}},
  series       = {{EPTCS}},
  volume       = {190},
  pages        = {46--60},
  year         = {2015}
}

@inproceedings{DBLP:journals/corr/HatzelWPN15a,
  author       = {Meike Hatzel and
                  Christoph Wagner and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Encoding {CSP} into {CCS}},
  booktitle    = {{EXPRESS/SOS}},
  series       = {{EPTCS}},
  volume       = {190},
  pages        = {61--75},
  year         = {2015}
}

@article{DBLP:journals/corr/ArbachKPN15,
  author       = {Youssef Arbach and
                  David Karcher and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Dynamic Causality in Event Structures (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/1504.00512},
  year         = {2015}
}

@article{DBLP:journals/corr/HatzelWPN15,
  author       = {Meike Hatzel and
                  Christoph Wagner and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Encoding {CSP} into {CCS} (Extended Version)},
  journal      = {CoRR},
  volume       = {abs/1508.01127},
  year         = {2015}
}

@inproceedings{DBLP:journals/corr/PetersYN14a,
  author       = {Kirstin Peters and
                  Tsvetelina Yonova{-}Karbe and
                  Uwe Nestmann},
  title        = {Matching in the Pi-Calculus},
  booktitle    = {{EXPRESS/SOS}},
  series       = {{EPTCS}},
  volume       = {160},
  pages        = {16--29},
  year         = {2014}
}

@article{DBLP:journals/corr/PetersYN14,
  author       = {Kirstin Peters and
                  Tsvetelina Yonova{-}Karbe and
                  Uwe Nestmann},
  title        = {Matching in the Pi-Calculus (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/1407.6406},
  year         = {2014}
}

@inproceedings{DBLP:conf/esop/PetersNG13,
  author       = {Kirstin Peters and
                  Uwe Nestmann and
                  Ursula Goltz},
  title        = {On Distributability in Process Calculi},
  booktitle    = {{ESOP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7792},
  pages        = {310--329},
  publisher    = {Springer},
  year         = {2013}
}

@inproceedings{DBLP:journals/corr/ArbachPN13,
  author       = {Youssef Arbach and
                  Kirstin Peters and
                  Uwe Nestmann},
  title        = {Adding Priority to Event Structures},
  booktitle    = {{EXPRESS/SOS}},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {17--31},
  year         = {2013}
}

@phdthesis{DBLP:phd/dnb/Peters12a,
  author       = {Kirstin Peters},
  title        = {Translational Expressiveness. Comparing Process Calculi using Encodings},
  school       = {Berlin Institute of Technology},
  year         = {2012}
}

@inproceedings{DBLP:conf/fossacs/PetersN12,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {Is It a "Good" Encoding of Mixed Choice?},
  booktitle    = {FoSSaCS},
  series       = {Lecture Notes in Computer Science},
  volume       = {7213},
  pages        = {210--224},
  publisher    = {Springer},
  year         = {2012}
}

@article{DBLP:journals/corr/abs-1201-1410,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {Is it a "Good" Encoding of Mixed Choice? (Technical Report)},
  journal      = {CoRR},
  volume       = {abs/1201.1410},
  year         = {2012}
}

@inproceedings{DBLP:journals/corr/abs-1108-4469,
  author       = {Kirstin Peters and
                  Jens{-}Wolfhard Schicke and
                  Uwe Nestmann},
  title        = {Synchrony vs Causality in the Asynchronous Pi-Calculus},
  booktitle    = {{EXPRESS}},
  series       = {{EPTCS}},
  volume       = {64},
  pages        = {89--103},
  year         = {2011}
}

@inproceedings{DBLP:journals/corr/abs-1108-4471,
  author       = {Jens{-}Wolfhard Schicke and
                  Kirstin Peters and
                  Ursula Goltz},
  title        = {Synchrony vs. Causality in Asynchronous Petri Nets},
  booktitle    = {{EXPRESS}},
  series       = {{EPTCS}},
  volume       = {64},
  pages        = {119--131},
  year         = {2011}
}

@inproceedings{DBLP:journals/corr/abs-1011-6437,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {Breaking Symmetries},
  booktitle    = {{EXPRESS}},
  series       = {{EPTCS}},
  volume       = {41},
  pages        = {136--150},
  year         = {2010}
}

@article{DBLP:journals/corr/abs-1007-4172,
  author       = {Kirstin Peters and
                  Uwe Nestmann},
  title        = {Breaking Symmetries},
  journal      = {CoRR},
  volume       = {abs/1007.4172},
  year         = {2010}
}

@inproceedings{DBLP:conf/gi/BahrsMP07,
  author       = {Julian Bahrs and
                  Benedikt Meuthrath and
                  Kirstin Peters},
  title        = {Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener
                  Informationslandschaft},
  booktitle    = {{GI} Jahrestagung {(1)}},
  series       = {{LNI}},
  volume       = {{P-133}},
  pages        = {365--371},
  publisher    = {{GI}},
  year         = {2008}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.