Publikationen
2019
Prehn, Tobias and Rotter, Myron (2019). Immediate Observation in Mediated Population Protocols. Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, Amsterdam, The Netherlands, 26th August 2019. Open Publishing Association, 102-113.
Peters, Kirstin and Wagner, Christoph and Nestmann, Uwe (2019). Taming Concurrency for Verification Using Multiparty Session Types. Theoretical Aspects of Computing – ICTAC 2019. Lecture Notes in Computer Science. Springer, Cham, 196-215.
Benjamin Bisping and Uwe Nestmann (2019). Computing Coupled Similarity. Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS2019, 244–261.
2018
Wilhelm-Weidner, Arno and Bergner, Nadine (2018). Vergleich von Lernstilen und deren Umsetzungsmöglichkeiten im LMS Moodle. Das Elektronische Schulbuch 2017: Fachdidaktische Anforderungen und Ideen treffen auf Lösungsvorschläge der Informatik. LIT Verlag, 25–37.
Wilhelm-Weidner, Arno and Bergner, Nadine (2018). On Supplementing Theoretical Computer Science Courses Using E-Learning. Proceedings of the 18th Koli Calling International Conference on Computing Education Research. ACM, 14:1–14:10.
Wolf, Alexander and Wilhelm-Weidner, Arno and Nestmann, Uwe (2018). A Case Study of Flipped Classroom for Automata Theory in Secondary Education. Proceedings of the 13th Workshop in Primary and Secondary Computing Education. ACM, 23:1–23:6.
2017
Wilhelm-Weidner, Arno and Nestmann, Uwe (2017). Interaktives Erstellen mobiler Lerneinheiten mit MobiMat. Das Elektronische Schulbuch 2016. LIT Verlag.
Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2017). Session Types for Link Failures.
2016
Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). Mechanical Verification of a Constructive Proof for FLP. International Conference on Interactive Theorem Proving. Springer, 107–122.
Peters, Kirstin and Jens-Wolfhard Schicke-Uffmann and Goltz, Ursula and Nestmann, Uwe (2016). Synchrony versus causality in distributed systems. , 1459–1498.
Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2016). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 5–32.
Gorla, Daniele and Nestmann, Uwe (2016). Full abstraction for expressiveness: History, myths and facts. Mathematical Structures in Computer Science, 639–654.
Bisping, Benjamin and Brodmann, Paul-David and Jungnickel, Tim and Rickmann, Christina and Seidler, Henning and Stüber, Anke and Wilhelm-Weidner, Arno and Peters, Kirstin and Nestmann, Uwe (2016). A Constructive Proof for FLP. Archive of Formal Proofs
Adameit, Manuel and Peters, Kirstin and Nestmann, Uwe (2016). Session Types for Link Failures (Technical Report). arXiv preprint arXiv:1607.07286
Peters, Kirstin and Nestmann, Uwe (2016). Breaking Symmetries. Mathematical Structures in Computer Science, 1054–1106.
Gebler, Daniel and Peters, Kirstin (2016). Proceedings of the Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics.
Rickmann, Christina and Wagner, Christoph and Nestmann, Uwe and Schmid, Stefan (2016). Topological Self-Stabilization with Name-Passing Process Calculi. 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, 19:1–19:15.
2015
Karcher, David S. and Nestmann, Uwe (2015). Higher-Order Dynamics in Event Structures. ICTAC. Springer, 258-271.
Wilhelm-Weidner, Arno (2015). MobiMat – ein Framework zur Mobilisierung von Lehrmaterial. Proceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015). CEUR-WS.org, 239–243.
Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS. EXPRESS/SOS, 61-75.
Hatzel, Meike and Wagner, Christoph and Peters, Kirstin and Nestmann, Uwe (2015). Encoding CSP into CCS (Extended Version). CoRR
Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures (Technical Report). CoRR
Arbach, Youssef and Karcher, David and Peters, Kirstin and Nestmann, Uwe (2015). Dynamic Causality in Event Structures. FORTE. Springer, 83-97.
Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2015). Supervisory control synthesis for deterministic context free specification languages. Discrete Event Dynamic Systems. Springer US, 1-28.
2014
Wagner, Christoph and Nestmann, Uwe (2014). States in Process Calculi. EXPRESS/SOS, 48-62.
Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus. EXPRESS/SOS, 16-29.
Peters, Kirstin and Yonova-Karbe, Tsvetelina and Nestmann, Uwe (2014). Matching in the Pi-Calculus (Technical Report). CoRR
Schneider, Sven and Nestmann, Uwe (2014). Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR
Schneider, Sven and Schmuck, Anne-Kathrin and Nestmann, Uwe and Raisch, Jörg (2014). Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES, 214-221.
Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe (2014). Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES, 286-293.
Gorla, Daniele and Nestmann, Uwe (2014). Full abstraction for expressiveness: history, myths and facts. Mathematical Structures in Computer Science, 1-16.
Nestmann, Uwe und Wilhelm-Weidner, Arno (2014). Vorlesungen innovativ gestalten, chapter Screencasts Pro:Wie Lehrvideos die Vorlesung ergänzen können. BELTZ Verlag, 149–158.
2013
Nestmann, Uwe (2013). 3.12 Verifying Consensus... Using Process Calculi, State Machines, and Proof Checkers. Formal Verification of Distributed Algorithms, 10.
Arbach, Youssef and Peters, Kirstin and Nestmann, Uwe (2013). Adding Priority to Event Structures. EXPRESS/SOS, 17-31.
Peters, Kirstin and Nestmann, Uwe and Goltz, Ursula (2013). On Distributability in Process Calculi. ESOP. Springer, 310-329.
2012
Küfner, Philipp and Nestmann, Uwe and Rickmann, Christina (2012). Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. IFIP TCS. Springer, 209-224.
Peters, Kirstin and Nestmann, Uwe (2012). Is it a "Good" Encoding of Mixed Choice? (Technical Report). CoRR
Peters, Kirstin and Nestmann, Uwe (2012). Is It a "Good" Encoding of Mixed Choice?. FoSSaCS. Springer, 210-224.
Nestmann, Uwe (2012). Theoretische Grundlagen der Informatik 1 (TheGI1). TU Berlin
Peters, Kirstin (2012). Translational Expressiveness. Comparing Process Calculi using Encodings. TU Berlin
2011
Schneider, Sven and Nestmann, Uwe (2011). Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS. Springer, 301-316.
Peters, Kirstin and Schicke, Jens-Wolfhard and Nestmann, Uwe (2011). Synchrony vs Causality in the Asynchronous Pi-Calculus. EXPRESS, 89-103.
Lau, Hannes and Nestmann, Uwe (2011). Java Goes TLA+. TASE. IEEE Computer Society, 117-124.
2010
Sarrouh, Nadim and Eilers, Florian and Nestmann, Uwe and Schieferdecker, Ina (2010). Defamation-Free Networks through User-Centered Data Control. STM. Springer, 179-193.
Peters, Kirstin and Nestmann, Uwe (2010). Breaking Symmetries. CoRR
(2010). Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Formal Aspects in Security and Trust. Springer.
Sarrouh, Nadim and Blankenstein, Oliver and Nestmann, Uwe (2010). Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. GI Jahrestagung (1). GI, 229-234.
Goltz, Ursula and Nestmann, Uwe and Peters, Kirstin and Schicke, Jens-Wolfhard (2010). Synchronous and Asynchronous Interaction in Distributed Systems.
2009
Morten Kühnrich and Uwe Nestmann (2009). On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE, 198-212.
(2009). Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. FMOODS/FORTE. Springer.
Florian Eilers and Uwe Nestmann (2009). Deriving Trust from Experience. Formal Aspects in Security and Trust, 36-50.
Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann (2009). Preface. J. Log. Algebr. Program.
2008
Schneider, Sven and Borgström, Johannes and Nestmann, Uwe (2008). Towards the application of process calculi in the domain of peer-to-peer algorithms. Autonomous Systems–Self-Organization, Management, and Control. Springer Netherlands, 97–104.
Aceto, Luca and Baeten, Jos CM and Fokkink, Wan and Ingolfsdottir, Anna and Nestmann, Uwe (2008). Applying Concurrency Research in Industry Report on a Strategic Workshop. Bulletin of the EATCS, 113–129.
Nestmann, Uwe and Puhlmann, Frank (2008). Business Process Specification and Analysis. Process Algebra for Parallel and Distributed Processing. CRC Press, 129.
2007
Rachele Fuzzati and Massimo Merro and Uwe Nestmann (2007). Distributed Consensus, revisited. Acta Inf., 377-425.
Sébastien Briais and Uwe Nestmann (2007). Open bisimulation, revisited. Theor. Comput. Sci., 236-271.
Sébastien Briais and Uwe Nestmann (2007). A formal semantics for protocol narrations. Theor. Comput. Sci., 484-511.
2006
Uwe Nestmann (2006). Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. CONCUR, 52-63.
(2006). CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. CONCUR. Springer.
Daniel C. Bünzli and Rachele Fuzzati and Sergio Mena and Uwe Nestmann and Olivier Rütti and André Schiper and Pawel T. Wojciechowski (2006). Advances in the Design and Implementation of Group Communication Middleware. Research Results of the DICS Program, 172-194.
(2006). Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program. Research Results of the DICS Program. Springer.
Sébastien Briais and Uwe Nestmann (2006). Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci., 109-123.
Rachele Fuzzati and Uwe Nestmann (2006). Much Ado About Nothing?. Electr. Notes Theor. Comput. Sci., 167-171.
2005
Daniel C. Bünzli and Sergio Mena and Uwe Nestmann (2005). Protocol Composition Frameworks A Header-Driven Model. NCA, 243-246.
(2005). Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 27-29 July 2005, Cambridge, MA, USA. NCA. IEEE Computer Society.
Sébastien Briais and Uwe Nestmann (2005). A Formal Semantics for Protocol Narrations. TGC, 163-181.
(2005). Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. TGC. Springer.
Uwe Nestmann and Björn Victor (2005). Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebr. Program., 1-2.
Johannes Borgström and Uwe Nestmann (2005). On bisimulations for the spi calculus. Mathematical Structures in Computer Science, 487-552.
Flavio Corradini and Uwe Nestmann (2005). EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci., 375-376.
(2005). Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Global Computing. Springer.
2004
Johannes Borgström and Sébastien Briais and Uwe Nestmann (2004). Symbolic Bisimulation in the Spi Calculus. CONCUR, 161-176.
(2004). CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. CONCUR. Springer.
Johannes Borgström and Uwe Nestmann and Luc Onana Alima and Dilian Gurov (2004). Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing, 250-265.
Flavio Corradini and Uwe Nestmann (2004). Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci., 1-3.
2003
(2003). 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. Springer.
Uwe Nestmann and Rachele Fuzzati (2003). Unreliable Failure Detectors via Operational Semantics. ASIAN, 54-71.
(2003). Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. ASIAN. Springer.
Uwe Nestmann and Rachele Fuzzati and Massimo Merro (2003). Modeling Consensus in a Process Calculus. CONCUR, 393-407.
(2003). CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. CONCUR. Springer.
Uwe Nestmann and Prakash Panangaden (2003). Guest Editors' Foreword. Nord. J. Comput., 69.
2002
Johannes Borgström and Uwe Nestmann (2002). On Bisimulations for the Spi Calculus. AMAST, 287-303.
(2002). Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. AMAST. Springer.
Sébastien Briais and Uwe Nestmann (2002). Mobile Objects "Must" Move Safely. FMOODS, 129-146.
(2002). Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. FMOODS. Kluwer.
Uwe Nestmann and Prakash Panangaden (2002). Preface. Electr. Notes Theor. Comput. Sci.
Uwe Nestmann and Hans Hüttel and Josva Kleist and Massimo Merro (2002). Aliasing Models for Mobile Objects. Inf. Comput., 3-33.
Massimo Merro and Josva Kleist and Uwe Nestmann (2002). Mobile Objects as Mobile Processes. Inf. Comput., 195-241.
2001
Merro, M and Kleist, J and Nestmann, U (2001). CS report 03/2001 Local pi-Calculus at Work: Mobile Objects as Mobile Processes. REPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE
2000
Massimo Merro and Josva Kleist and Uwe Nestmann (2000). Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS, 390-408.
(2000). Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings. IFIP TCS. Springer.
Uwe Nestmann (2000). What is a "Good" Encoding of Guarded Choice?. Inf. Comput., 287-319.
Uwe Nestmann and Benjamin C. Pierce (2000). Decoding Choice Encodings. Inf. Comput., 1-59.
1999
Uwe Nestmann and António Ravara (1999). Semantics of Objects as Processes (SOAP). ECOOP Workshops, 314-325.
(1999). Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. ECOOP Workshops. Springer.
Uwe Nestmann and Hans Hüttel and Josva Kleist and Massimo Merro (1999). Aliasing Models for Object Migration. Euro-Par, 1353-1368.
(1999). Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings. Euro-Par. Springer.
Uwe Nestmann (1999). Mobile Objects (a project overview). FBT, 155-164.
(1999). Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. FBT. Herbert Utz Verlag.
1998
Uwe Nestmann and Björn Victor (1998). Calculi for Mobile Processes - Bibliography and Web Pages. Bulletin of the EATCS
Uwe Nestmann (1998). On the Expressive Power of Joint Input. Electr. Notes Theor. Comput. Sci.
Uwe Nestmann and Benjamin C. Pierce (1998). Preface. Electr. Notes Theor. Comput. Sci.
1997
Uwe Nestmann (1997). What is a `good' encoding of guarded choice?. Electr. Notes Theor. Comput. Sci.
1996
Uwe Nestmann and Benjamin C. Pierce (1996). Decoding Choice Encodings. CONCUR, 179-194.
(1996). CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings. CONCUR. Springer.
1995
Uwe Nestmann and Martin Steffen (1995). Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence, 23-42.