Stefan Jähnichen
Affiliations:- Technical University of Berlin, Department of Mathematics, Germany
According to our database1,
Stefan Jähnichen
authored at least 51 papers
between 1976 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
1
1
2
1
2
1
1
2
2
1
1
1
3
4
2
1
1
1
1
4
1
3
1
2
1
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5<sup>rmth</sup> Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70<sup>th</sup> Birthday.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
2022
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4<sup>th</sup> Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
2020
Int. J. Softw. Tools Technol. Transf., 2020
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020
2019
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik, 2019
2018
Wirtschaftsinformatik Manag., 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Selbstverwaltete digitale Identitäten - Chancen und Herausforderungen für die weltweite Digitalisierung.
Proceedings of the Digitalisierung im Spannungsfeld von Politik, 2018
2017
Inform. Spektrum, 2017
CoRR, 2017
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2<sup>nd</sup> international workshop on big data, smart data and semantic technologies - BDSDST 2016.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
2015
Big Data, Smart Data and Semantic Technologies (BDSDST).
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015
2012
Proceedings of the Automotive, 2012
2011
Zehn Gründe Informatik zu studieren - Voraussetzungen, Motivation und Vorbereitung in der Schule.
Proceedings of the Informatik in Bildung und Beruf - 14. GI-Fachtagung "Informatik und Schule, 2011
2008
Inform. Forsch. Entwickl., 2008
2007
Proceedings of the Software Engineering 2007, 2007
2005
Proceedings of the Software Engineering 2005, 2005
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.
Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
Proceedings of the Principles and Practice of Constraint Programming, 2005
2004
2002
1999
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999
1997
Integration mathematisch-formaler Techniken in die Entwicklung eingebetteter Steuerungssysteme.
Informationstechnik Tech. Inform., 1997
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
Proceedings of the Pulling Together, 1997
Enlarging the Scope of Vector-Based Computations: Extending Fortran 90 by Nested Data Parallelism.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997
1995
Proceedings of the KORSO, 1995
1994
Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994
1993
Proceedings of the Seventh International Parallel Processing Symposium, 1993
Software und Softwaretechnik.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993
1989
Proceedings of the Software Engineering Environments, 1989
1986
Proceedings of the Advanced Programming Environments, 1986
Object-Oriented Synchronization in Distributed Multi-Processor Systems.
Proceedings of the Architektur von Rechensystemen, 1986
1985
Proceedings of an International Workshop on the Software Process and Software Environments, 1985
1984
Proceedings of the Software-Fehlertoleranz und -Zuverlässigkeit, 1984
1979
ELAN-Sprachbeschreibung.
Studien-Texte Informatik, Akademische Verlagsgesellschaft, ISBN: 978-3-400-00384-0, 1979
1976
SLAN - eine erweiterbare Sprache zur Unterstützung der strukturierten und modularen Programmierung.
Proceedings of the Programmiersprachen, 1976