The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Kirstin Peters" ( http://dblp.L3S.de/Authors/Kirstin_Peters )

  Author page on DBLP  Author page in RDF  Community of Kirstin Peters in ASPL-2

Publication years (Num. hits)
2008-2015 (18) 2016-2018 (12)
Publication types (Num. hits)
article(13) inproceedings(14) phdthesis(1) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 31 publication records. Showing 30 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann Dynamic Causality in Event Structures. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann On the Distributability of Mobile Ambients. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann On the Distributability of Mobile Ambients (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann Dynamic Causality in Event Structures. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Simone Tini (eds.) Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2017 DBLP  BibTeX  RDF
1Manuel Adameit, Kirstin Peters, Uwe Nestmann Session Types for Link Failures. Search on Bibsonomy FORTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann Breaking symmetries. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann Synchrony versus causality in distributed systems. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Adameit, Kirstin Peters, Uwe Nestmann Session Types for Link Failures (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniel Gebler, Kirstin Peters (eds.) Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin 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. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2016 DBLP  BibTeX  RDF
1Benjamin 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. Search on Bibsonomy ITP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Rob J. van Glabbeek Analysing and Comparing Encodability Criteria. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann Dynamic Causality in Event Structures (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann Encoding CSP into CCS (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann Encoding CSP into CCS. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Rob J. van Glabbeek Analysing and Comparing Encodability Criteria for Process Calculi. Search on Bibsonomy Archive of Formal Proofs The full citation details ... 2015 DBLP  BibTeX  RDF
1Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann Dynamic Causality in Event Structures. Search on Bibsonomy FORTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann Matching in the Pi-Calculus (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann Matching in the Pi-Calculus. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Youssef Arbach, Kirstin Peters, Uwe Nestmann Adding Priority to Event Structures. Search on Bibsonomy EXPRESS/SOS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann, Ursula Goltz On Distributability in Process Calculi. Search on Bibsonomy ESOP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann Is it a "Good" Encoding of Mixed Choice? (Technical Report) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann Is It a "Good" Encoding of Mixed Choice? Search on Bibsonomy FoSSaCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kirstin Peters Translational Expressiveness. Comparing Process Calculi using Encodings. Search on Bibsonomy 2012   RDF
1Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz Synchrony vs. Causality in Asynchronous Petri Nets Search on Bibsonomy EXPRESS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann Synchrony vs Causality in the Asynchronous Pi-Calculus Search on Bibsonomy EXPRESS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann Breaking Symmetries Search on Bibsonomy EXPRESS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kirstin Peters, Uwe Nestmann Breaking Symmetries Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Julian Bahrs, Benedikt Meuthrath, Kirstin Peters Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft. Search on Bibsonomy GI Jahrestagung (1) The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #30 of 30 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license