Uwe Nestmann
Orcid: 0000-0002-8520-5448Affiliations:
- TU Berlin, Faculty of Electrical Engineering and Computer Science, Germany
According to our database1,
Uwe Nestmann
authored at least 85 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
3
1
1
1
2
5
2
2
1
1
1
3
3
1
2
1
1
2
2
1
1
2
2
1
2
2
4
2
2
4
3
2
1
2
2
2
3
2
1
3
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on linkedin.com
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
2022
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy.
Log. Methods Comput. Sci., 2022
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022
2021
Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy.
CoRR, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
2020
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
2019
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report).
CoRR, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019
2018
Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018
Proceedings of the 13th Workshop in Primary and Secondary Computing Education, 2018
2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
2016
Math. Struct. Comput. Sci., 2016
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively.
Discret. Event Dyn. Syst., 2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
2014
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata.
CoRR, 2014
Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
2013
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013
Proceedings of the Programming Languages and Systems, 2013
2012
Proceedings of the Theoretical Computer Science, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
2011
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011
2010
Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010
Proceedings of the Security and Trust Management - 6th International Workshop, 2010
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010
2009
Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Applying Concurrency Research in Industry Report on a Strategic Workshop.
Bull. EATCS, 2008
Proceedings of the Autonomous Systems, 2008
2007
2006
Proceedings of the Dependable Systems: Software, Computing, Networks, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
2005
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).
Theor. Comput. Sci., 2005
J. Log. Algebraic Methods Program., 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005
2004
Proceedings of the Global Computing, IST/FET International Workshop, 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
Guest Editors' Foreword.
Nord. J. Comput., 2003
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003
Proceedings of the Advances in Computing Science, 2003
2002
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002
Mobile Objects "Must" Move Safely.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002
2000
Proceedings of the Theoretical Computer Science, 2000
1999
Mobile Objects (a project overview).
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
1998
Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998
Calculi for Mobile Processes - Bibliography and Web Pages.
Bull. EATCS, 1998
1997
Proceedings of the International Workshop on Expressiveness in Concurrency, 1997
1996
1995
Correct Transformational Design of Concurrent Search Structures.
Proceedings of the Object Orientation with Parallelism and Persistence (the book grow out of a Dagstuhl Seminar in April 1995), 1995