Uwe Nestmann - RankMe

102 papers A 1B 9C 7Misc 1Journal 37Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. ICTAC Paula Blechschmidt, Kirstin Peters, Uwe Nestmann
2024	—	`conf`	ProofBuddy: How it Started, How it's Going. ThEdu@CADE Nadine Karsten, Kim Jana Eiken, Uwe Nestmann
2023	J	`jnl`	FTMPST: Fault-Tolerant Multiparty Session Types. Log. Methods Comput. Sci. Kirstin Peters, Uwe Nestmann, Christoph Wagner
2023	—	`conf`	ProofBuddy: A Proof Assistant for Learning and Monitoring. TFPIE Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen
2023	C	`conf`	Store Locally, Prove Globally. ICTAC Nadine Karsten, Uwe Nestmann
2022	—	`conf`	Beweiskompetenz durch Beweisassistenz. DELFI Nadine Karsten, Uwe Nestmann
2022	J	`jnl`	Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy. Log. Methods Comput. Sci. Benjamin Bisping, David N. Jansen, Uwe Nestmann
2022	J	`jnl`	Fault-Tolerant Multiparty Session Types (Technical Report). CoRR Kirstin Peters, Uwe Nestmann, Christoph Wagner
2022	C	`conf`	Fault-Tolerant Multiparty Session Types. FORTE Kirstin Peters, Uwe Nestmann, Christoph Wagner
2022	J	`jnl`	On distributability. Theor. Comput. Sci. Kirstin Peters, Uwe Nestmann, Anna Schmitt
2021	—	`conf`	A Game for Linear-time-Branching-time Spectroscopy. TACAS (1) Benjamin Bisping, Uwe Nestmann
2021	J	`jnl`	Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy. CoRR Benjamin Bisping, Uwe Nestmann
2020	J	`jnl`	Coupled similarity: the first 32 years. Acta Informatica Benjamin Bisping, Uwe Nestmann, Kirstin Peters
2020	J	`jnl`	Distributability of mobile ambients. Inf. Comput. Kirstin Peters, Uwe Nestmann
2020	—	`conf`	Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. FMBC@CAV Florian Kammüller, Uwe Nestmann
2019	—	`conf`	Computing Coupled Similarity. TACAS (1) Benjamin Bisping, Uwe Nestmann
2019	J	`jnl`	Taming Concurrency for Verification Using Multiparty Session Types (Technical Report). CoRR Kirstin Peters, Christoph Wagner, Uwe Nestmann
2019	C	`conf`	Taming Concurrency for Verification Using Multiparty Session Types. ICTAC Kirstin Peters, Christoph Wagner, Uwe Nestmann
2018	—	`conf`	A case study of flipped classroom for automata theory in secondary education. WiPSCE Alexander Wolf, Arno Wilhelm-Weidner, Uwe Nestmann
2018	J	`jnl`	Dynamic Causality in Event Structures. CoRR Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
2018	J	`jnl`	Dynamic Causality in Event Structures. Log. Methods Comput. Sci. Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
2018	J	`jnl`	On the Distributability of Mobile Ambients (Technical Report). CoRR Kirstin Peters, Uwe Nestmann
2018	—	`conf`	On the Distributability of Mobile Ambients. EXPRESS/SOS Kirstin Peters, Uwe Nestmann
2017	B	`ed.`	28th International Conference on Concurrency Theory, CONCUR 2017, Berlin, Germany, September 5-8, 2017 CONCUR Roland Meyer, Uwe Nestmann
2017	C	`conf`	Session Types for Link Failures. FORTE Manuel Adameit, Kirstin Peters, Uwe Nestmann
2016	J	`jnl`	A Constructive Proof for FLP. Arch. Formal Proofs Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
2016	J	`jnl`	Breaking symmetries. Math. Struct. Comput. Sci. Kirstin Peters, Uwe Nestmann
2016	J	`jnl`	Full abstraction for expressiveness: history, myths and facts. Math. Struct. Comput. Sci. Daniele Gorla, Uwe Nestmann
2016	B	`conf`	Mechanical Verification of a Constructive Proof for FLP. ITP Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
2016	J	`jnl`	Session Types for Link Failures (Technical Report). CoRR Manuel Adameit, Kirstin Peters, Uwe Nestmann
2016	J	`jnl`	Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. Discret. Event Dyn. Syst. Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
2016	J	`jnl`	Synchrony versus causality in distributed systems. Math. Struct. Comput. Sci. Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann
2016	B	`conf`	Topological Self-Stabilization with Name-Passing Process Calculi. CONCUR Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid
2015	J	`jnl`	Dynamic Causality in Event Structures (Technical Report). CoRR Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
2015	C	`conf`	Dynamic Causality in Event Structures. FORTE Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
2015	J	`jnl`	Encoding CSP into CCS (Extended Version). CoRR Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
2015	—	`conf`	Encoding CSP into CCS. EXPRESS/SOS Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
2015	C	`conf`	Higher-Order Dynamics in Event Structures. ICTAC David S. Karcher, Uwe Nestmann
2014	J	`jnl`	Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR Sven Schneider, Uwe Nestmann
2014	—	`conf`	Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
2014	J	`jnl`	Matching in the Pi-Calculus (Technical Report). CoRR Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
2014	—	`conf`	Matching in the Pi-Calculus. EXPRESS/SOS Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
2014	—	`conf`	Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch
2014	—	`conf`	States in Process Calculi. EXPRESS/SOS Christoph Wagner, Uwe Nestmann
2013	—	`conf`	Adding Priority to Event Structures. EXPRESS/SOS Youssef Arbach, Kirstin Peters, Uwe Nestmann
2013	A	`conf`	On Distributability in Process Calculi. ESOP Kirstin Peters, Uwe Nestmann, Ursula Goltz
2012	—	`conf`	Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. IFIP TCS Philipp Küfner, Uwe Nestmann, Christina Rickmann
2012	B	`conf`	Is It a "Good" Encoding of Mixed Choice? FoSSaCS Kirstin Peters, Uwe Nestmann
2012	J	`jnl`	Is it a "Good" Encoding of Mixed Choice? (Technical Report) CoRR Kirstin Peters, Uwe Nestmann
2011	Misc	`conf`	Java Goes TLA+. TASE Hannes Lau, Uwe Nestmann
2011	—	`conf`	Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS Sven Schneider, Uwe Nestmann
2011	—	`conf`	Synchrony vs Causality in the Asynchronous Pi-Calculus EXPRESS Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann
2011	—	`conf`	Vorwort. GI-Jahrestagung Sven Abels, Stefan Brüggemann, Matthias Mertens, Uwe Nestmann, Joannis Vlachakis
2010	J	`jnl`	Breaking Symmetries CoRR Kirstin Peters, Uwe Nestmann
2010	—	`conf`	Breaking Symmetries EXPRESS Kirstin Peters, Uwe Nestmann
2010	—	`conf`	Defamation-Free Networks through User-Centered Data Control. STM Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker
2010	—	`conf`	Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. GI Jahrestagung (1) Nadim Sarrouh, Oliver Blankenstein, Uwe Nestmann
2009	—	`conf`	Deriving Trust from Experience. Formal Aspects in Security and Trust Florian Eilers, Uwe Nestmann
2009	—	`conf`	On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE Morten Kühnrich, Uwe Nestmann
2009	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
2008	J	`jnl`	Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
2008	—	`conf`	Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms. SJTU-TUB Joint Workshop Sven Schneider, Johannes Borgström, Uwe Nestmann
2007	J	`jnl`	A formal semantics for protocol narrations. Theor. Comput. Sci. Sébastien Briais, Uwe Nestmann
2007	J	`jnl`	Distributed Consensus, revisited. Acta Informatica Rachele Fuzzati, Massimo Merro, Uwe Nestmann
2007	J	`jnl`	Open bisimulation, revisited. Theor. Comput. Sci. Sébastien Briais, Uwe Nestmann
2006	—	`conf`	Advances in the Design and Implementation of Group Communication Middleware. Research Results of the DICS Program Daniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski
2006	B	`conf`	Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. CONCUR Uwe Nestmann
2005	—	`conf`	A Formal Semantics for Protocol Narrations. TGC Sébastien Briais, Uwe Nestmann
2005	J	`jnl`	EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci. Flavio Corradini, Uwe Nestmann
2005	J	`jnl`	Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebraic Methods Program. Uwe Nestmann, Björn Victor
2005	—	`conf`	Much Ado About Nothing? APC 25 Rachele Fuzzati, Uwe Nestmann
2005	J	`jnl`	On bisimulations for the spi calculus. Math. Struct. Comput. Sci. Johannes Borgström, Uwe Nestmann
2005	—	`conf`	Open Bisimulation, Revisited. EXPRESS Sébastien Briais, Uwe Nestmann
2005	B	`conf`	Protocol Composition Frameworks A Header-Driven Model. NCA Daniel C. Bünzli, Sergio Mena, Uwe Nestmann
2004	—	`ed.`	Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003 EXPRESS Flavio Corradini, Uwe Nestmann
2004	B	`conf`	Symbolic Bisimulation in the Spi Calculus. CONCUR Johannes Borgström, Sébastien Briais, Uwe Nestmann
2004	—	`conf`	Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
2003	—	`conf`	Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. EXPRESS Flavio Corradini, Uwe Nestmann
2003	—	`ed.`	Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings FMOODS Elie Najm, Uwe Nestmann, Perdita Stevens
2003	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Uwe Nestmann, Prakash Panangaden
2003	B	`conf`	Modeling Consensus in a Process Calculus. CONCUR Uwe Nestmann, Rachele Fuzzati, Massimo Merro
2003	—	`conf`	Unreliable Failure Detectors via Operational Semantics. ASIAN Uwe Nestmann, Rachele Fuzzati
2002	—	`ed.`	9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002 EXPRESS Uwe Nestmann, Prakash Panangaden
2002	J	`jnl`	Aliasing Models for Mobile Objects. Inf. Comput. Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
2002	—	`conf`	Mobile Objects "Must" Move Safely. FMOODS Sébastien Briais, Uwe Nestmann
2002	J	`jnl`	Mobile Objects as Mobile Processes. Inf. Comput. Massimo Merro, Josva Kleist, Uwe Nestmann
2002	—	`conf`	On Bisimulations for the Spi Calculus. AMAST Johannes Borgström, Uwe Nestmann
2002	—	`conf`	Preface. EXPRESS Uwe Nestmann, Prakash Panangaden
2000	J	`jnl`	Decoding Choice Encodings. Inf. Comput. Uwe Nestmann, Benjamin C. Pierce
2000	—	`conf`	Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS Massimo Merro, Josva Kleist, Uwe Nestmann
2000	J	`jnl`	What is a "Good" Encoding of Guarded Choice? Inf. Comput. Uwe Nestmann
1999	—	`conf`	Aliasing Models for Object Migration. Euro-Par Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
1999	—	`conf`	Mobile Objects (a project overview). FBT Uwe Nestmann
1999	—	`conf`	Semantics of Objects as Processes (SOAP). ECOOP Workshops Uwe Nestmann, António Ravara
1998	—	`ed.`	3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998 HLCL Uwe Nestmann, Benjamin C. Pierce
1998	J	`jnl`	Calculi for Mobile Processes - Bibliography and Web Pages. Bull. EATCS Uwe Nestmann, Björn Victor
1998	—	`conf`	On the Expressive Power of Joint Input. EXPRESS Uwe Nestmann
1998	—	`conf`	Preface. HLCL Uwe Nestmann, Benjamin C. Pierce
1997	—	`conf`	What is a 'good' encoding of guarded choice? EXPRESS Uwe Nestmann
1996	B	`conf`	Decoding Choice Encodings. CONCUR Uwe Nestmann, Benjamin C. Pierce
1996	—	`—`	On determinacy and nondeterminacy in concurrent programming. Uwe Nestmann
1995	—	`conf`	Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence Uwe Nestmann, Martin Steffen