Publications by Thomas Kühne

Select  Abstract for the paper abstract 

Paper for the full paper, which will take you to the final publisher's version, if available (access restrictions may apply). The title link will provide you with a most up to date version prior to submission to the publisher. 

for the BibTeX entry
Please read the Copyright notice.

AbstractPaperBibTeX Reference Thomas Kühne, João Paulo A. Almeida, Colin Atkinson, Manfred Jeusfeld, Gergely Mezei
"Field Types for Deep Characterization in Multi-Level Modeling"
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MULTI 2023, DOI: 10.1109/MODELS-C59198.2023.00105, pp 639-648, 2023
AbstractPaperBibTeX Reference Thomas Kühne, Manfred Jeusfeld
"The MULTI Warehouse Challenge"
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MULTI 2023, DOI: 10.1109/MODELS-C59198.2023.00111, pp 699-702, 2023
AbstractPaperBibTeX Reference Thomas Kühne, Zoltan Theisz, Manfred Jeusfeld
"Preface to the 10th International Workshop on Multi-Level Modelling (MULTI 2023)"
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MULTI 2023, DOI: 10.1109/MODELS-C59198.2023.00102, pp 631-633, 2023
AbstractPaperBibTeX Reference Thomas Kühne, Manfred Jeusfeld
"Sanity-Checking Multiple Levels of Classification -- A Formal Approach with a ConceptBase Implementation"
Proceedings of the International Conference on Conceptual Modeling, LNCS 14320, ER 2023, pp 162-180, 2023
AbstractPaperBibTeX Reference Thomas Kühne, Arne Lange
"Melanee and DLM. A Contribution to the MULTI Collaborative Comparison Challenge"
9th International Workshop on Multi-Level Modelling, Montreal, Canada, October 2022
AbstractPaperBibTeX Reference João Paulo A. Almeida, Thomas Kühne, Marco Montali
"Editorial to the Special Issue: Multi-Level Modeling Process Challenge"
International Journal of Conceptual Modeling, EMISAJ, Vol. 17, June 2022
AbstractPaperBibTeX Reference Thomas Kühne
"Multi-Dimensional Multi-Level Modeling"
Software and Systems Modeling, Theme Issue Paper
DOI: 10.1007/s10270-021-00951-5, published by Springer Nature, Vol. 21, pp. 543-559, January 2022
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Taming the Complexity of Digital Twins"
IEEE Software, Vol. 39, Issue 2, pages 27-32
DOI: 10.1109/MS.2021.3129174, 2021
AbstractPaperBibTeX Reference Sándor Bácsi, Arne Lange, Thomas Kühne, Gergely Mezei and Colin Atkinson
"Melanee and DMLA . A Contribution to the MULTI 2021 Collaborative Comparison Challenge"
ACM/IEEE Conference on Model Driven Engineering Languages and Systems Companion,
DOI: 10.1109/MODELS-C53483.2021.000862, 2021
AbstractPaperBibTeX Reference Gergely Mezei, Thomas Kühne, Victorio Carvalho and Bernd Neumayr
"The MULTI Collaborative Comparison Challenge"
ACM/IEEE The 8th International Workshop on Multi-Level Modelling in conjunction with the ACM/IEEE Conference on Model Driven Engineering Languages and Systems, 2021
AbstractPaperBibTeX Reference Thomas Kühne and Arne Lange
"Meaningful Metrics for Multi-Level Modelling"
Proceedings of MULTI 2020 - 7th International Workshop on Multi-Level Modelling,
DOI: 10.1145/3417990.3421412, 2020
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"A Deep Perspective on the ArchiMate Modeling Language and Standard"
Enterprise Modelling and Information Systems Architectures, Vol. 15, 2020
AbstractPaperBibTeX Reference João Paulo A. Almeida, Adrian Rutle, Manuel Wimmer and Thomas Kühne
"The MULTI Process Challenge"
Proceedings of the 6th Workshop on Multi-Level Modelling co-located with the 22th ACM/IEEE International Conference MODELS 2019, Model Driven Engineering Languages and Systems Companion, IEEE, 164-167, 2019
AbstractPaperBibTeX Reference Thomas Kühne
"Exploring Potency"
Proceedings of the ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems, Copenhagen, Denmark, October 14-19, pp. 2-12, 2018.
AbstractPaperBibTeX Reference Thomas Kühne
"A Story of Levels"
Proceedings of the 5th Workshop on Multi-Level Modelling co-located with the 21st ACM/IEEE International Conference MODELS 2018, CEUR, pp. 673-682, Vol-2245, 2018
AbstractPaperBibTeX Reference João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne
"Editorial (Executive Summary) of Dagstuhl Seminar 17492"
Dagstuhl Research Online Publication Server, Volume 7, Issue 12, pp. 18-20, April 2018
AbstractPaperBibTeX Reference João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne (editors)
"Dagstuhl Research Report: Multi-Level Modelling (Dagstuhl Seminar 17492)"
Dagstuhl Research Online Publication Server, Volume 7, Issue 12, pp. 18-49, April 2018
AbstractPaperBibTeX Reference Thomas Kühne
"Unifying Nominal and Structural Typing"
Software and Systems Modeling, Special Section Paper, February 2018
AbstractPaperBibTeX Reference Colin Atkinson, Thomas Kühne
"On Evaluating Multi-level Modeling"
Proceedings of the 4th Workshop on Multi-Level Modelling co-located with the 20th ACM/IEEE International Conference MODELS 2017, CEUR, 274-277, Vol-2019, 2017
AbstractPaperBibTeX Reference Colin Atkinson, Thomas Kühne, Juan de Lara
"Editorial to the Theme Issue on Multi-Level Modeling"
Software and Systems Modeling, Vol. 17, Issue 1, pp. 163-165, Springer Verlag, 2016
AbstractPaperBibTeX Reference Thomas Kühne
"Unifying Explanatory and Constructive Modeling"
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016.
ACM SIGSOFT Distinguished Paper Award
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Demystifying Ontological Classification in Language Engineering"
Modelling Foundations and Applications, LNCS 9764, pp 83-100, 2016
AbstractPaperBibTeX Reference Colin Atkinson, Ralph Gerbig, Thomas Kühne
"A Unifying Approach to Connections for Multi-Level Modeling"
Proceedings of the 18th ACM/IEEE International Conference MODELS 2015, pp. 216-225, Publisher IEEE, 2015
AbstractPaperBibTeX Reference Colin Atkinson, Ralph Gerbig, Thomas Kühne
"Opportunities and Challenges for Deep Constraint Languages"
Proceedings of the 15th International Workshop on OCL and Textual Modeling, co-located with the 18th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2015), CEUR-WS, Vol-1512, pp. 3-18, 2015
AbstractPaperBibTeX Reference
Colin Atkinson and Thomas Kühne
"In defence of deep modelling"
Information and Software Technology, Volume 64, August 2015, Pages 36–51
AbstractPaperBibTeX Reference Simon Van Mierlo, Bruno Barroca, Hans Vangheluwe, Eugene Syriani, Thomas Kühne
"Multi-level modelling in the Modelverse"
Proceedings of the 1st Workshop on Multi-Level Modelling co-located with the 17th ACM/IEEE International Conference MODELS 2014, CEUR, 83-92, Vol-1286, 2014
AbstractPaperBibTeX Reference Colin Atkinson, Ralph Gerbig, Thomas Kühne
"Comparing multi-level modeling approaches"
Proceedings of the 1st Workshop on Multi-Level Modelling co-located with the 17th ACM/IEEE International Conference MODELS 2014, CEUR, 53-61, Vol-1286, 2014
AbstractPaperBibTeX Reference Bruno Barroca, Thomas Kühne, Hans Vangheluwe
"Integrating Language and Ontology Engineering"
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th ACM/IEEE International Conference MODELS 2014, CEUR, 77-86, Vol-1237, 2014
AbstractPaperBibTeX Reference Thomas Kühne
"On Model Compatibility with Referees and Contexts"
Software and Systems Modeling, Volume 12, Issue 3, 475–488, July 2013
AbstractPaperBibTeX Reference Jon Whittle, Tony Clark, Thomas Kühne
"Model Driven Engineering Languages and Systems"
Proceedings of the 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. LNCS 6981, Springer 2011, ISBN 978-3-642-24484-1
AbstractPaperBibTeX Reference Hugo H. Schoonewille, Werner Heijstek, Michel R.V. Chaudron and Thomas Kühne
"A Cognitive Perspective on Developer Comprehension of Software Design Documentation"
29th ACM International Conference on Design of Communication (SIGDOC 2011), Pisa, Italy, October 2011.
AbstractPaperBibTeX Reference Werner Heijstek, Thomas Kühne and Michel R.V. Chaudron
"Experimental Analysis of Textual and Graphical Representations for Software Architecture Design"
5th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2011), Banff, Alberta, Canada, September 2011.
AbstractPaperBibTeX Reference Thomas Kühne
"A Visual Notation for Declarative Behaviour Specification"
Journal of the ECEASST, Multi-Paradigm Modeling 2010, 2011.
AbstractPaperBibTeX Reference Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, and Manuel Wimmer
"Explicit Transformation Modeling"
Models in Software Engineering, Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers, LNCS 6002, pp. 240–255. Springer 2010
AbstractPaperBibTeX Reference
Thomas Kühne
"An Observer-Based Notion of Model Inheritance"
D.C. Petriu, N. Rouquette, Ø. Haugen (Eds.): ACM/IEEE conference MODELS 2010, LNCS 6394, pp. 31–45. Springer, 2010
ACM SIGSOFT Distinguished Paper Award
AbstractPaperBibTeX Reference
Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier (editors)
Modelling Foundations and Applications, 6th European Conference, ECMFA 2010
Paris, France, June 15-18, 2010. Proceedings. LNCS 6138 Springer 2010, ISBN 978-3-642-13594-1
AbstractPaperBibTeX Reference
Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, and Manuel Wimmer
"Systematic Transformation Development"
Journal of the ECEASST, Vol. 21, Multi-Paradigm Modeling (best paper), 2009
AbstractPaperBibTeX Reference Thomas Kühne
"Editorial to the theme issue on metamodeling"
Software and Systems Modeling, Vol. 8, No. 4, Springer Verlag, 2009
AbstractPaperBibTeX Reference Thomas Kühne
"Contrasting Classification with Generalisation"
Proceedings of the The Sixth Asia-Pacific Conference on Conceptual Modelling, APCCM 2009, January 20–23, Wellington, New Zealand, 2009
AbstractPaperBibTeX Reference
Colin Atkinson and Thomas Kühne
"Reducing Accidental Complexity in Domain Models"
Software and Systems Modeling, Vol. 7, No. 3, Springer Verlag, 345–359, July 2008
Ten year most influential regular paper award.
AbstractPaperBibTeX Reference Thomas Kühne and Daniel Schreiber
"Can Programming be Liberated from the Two-Level Style? — Multi-Level Programming with DeepJava"
Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications: OOPSLA'07, October 21–25, Montréal, Canada, 2007
AbstractPaperBibTeX Reference Friedrich Steimann and Thomas Kühne
"Piecewise Modelling with State Subtypes"
Proceedings of the Tenth International Conference On Model Driven Engineering Languages And Systems: MoDELS 2007, September 30–October 5, Nashville, USA, 2007
AbstractPaperBibTeX Reference Thomas Kühne
"Making Modeling Languages Fit for Model-Driven Development"
Proceedings of the 4th International Workshop on Software Language Engineering (ATEM 2007), Nashville, USA, 14–30, 2007
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"A Tour of Language Customization Concepts"
Advances in Computers, Volume 70, Marvin Zelkowitz, editor, p. 105–161, ISBN: 978-0-12-373747-2, Academic Press, Elsevier, June 2007
AbstractPaperBibTeX Reference Thomas Kühne
"Models in Software Engineering"
Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, LNCS 4364, Springer 2011, ISBN 978-3-642-24484-1
AbstractPaperBibTeX Reference Martin Girschick, Thomas Kühne, Felix Klar
"Generating Systems from Multiple Levels of Abstraction"
Proceedings of the International Conference on Trends in Enterprise Application Architecture, Springer Verlag, LNCS 4473, 127–141, Oktober 2007
AbstractPaperBibTeX Reference Thomas Kühne
"Clarifying Matters of (Meta-)Modeling"
Software and Systems Modeling, Volume 5, Number 4, 395–401, December 2006
(a response to Wolfgang Hesse's "More matters on (meta-)modelling: remarks on Thomas Kühne’s “matters”" in the same issue, 387–394.
AbstractPaperBibTeX Reference Thomas Kühne
"Matters of (Meta-)Modeling"
Software and Systems Modeling, Volume 5, Number 4, 369–385, December 2006
AbstractPaperBibTeX Reference Thomas Kühne, Martin Girschick, and Felix Klar
"Tool Support for Architecture Stratification"
Proceedings of Modellierung 2006, H.C. Mayr, Ruth Breu (eds), Innsbruck, GI LNI P-82, p .213–222, March 2006
AbstractPaperBibTeX Reference Friedrich Steimann and Thomas Kühne
"Zustandstypen als Schlüssel zur Integration statischer und dynamischer Sichten der objektorientierten Modellierung"
Proceedings of Modellierung 2006, H.C. Mayr, Ruth Breu (eds), Innsbruck, GI LNI P-82, p.145–160, March 2006
AbstractPaperBibTeX Reference Friedrich Steimann and Thomas Kühne
"Coding for the Code"
ACM Queue, Vol. 3, No. 10, p. 44–51, December 2005
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Concepts for Comparing Modeling Tool Architectures"
Proceedings of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS / UML 2005, October 2–7, Montego Bay, Jamaica, 2005
AbstractPaperBibTeX Reference Felix Klar, Thomas Kühne and Martin Girschick
"SPin - A Fujaba Plugin for Architecture Stratification"
Proceedings of the Fujaba Days 2005, Paderborn, September 2005
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Multi-Level Platform Descriptions"
Proceedings of the First Workshop on Metamodeling and Corresponding Tools, Essen, March 2005
AbstractPaperBibTeX Reference Thomas Kühne
"What is a Model?"
Dagstuhl Seminar 04101, Dagstuhl, March 2005
Note that this has been considerably revised and expanded into "Matters of (Meta-)Modeling" (see above).
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"A Generalized Notion of Platforms for Model-Driven Development"
Chapter contribution for “Model-Driven Software Development, Volume II of Research and Practice in Software Engineering”, p. 119–136, S. Beydeda and V. Gruhn editors, Springer Verlag, 2005
AbstractPaperBibTeX Reference Friedrich Steimann and Thomas Kühne
"Are Models the DNA of Software Construction? A Controversial Discussion"
Proceedings of the 3rd Workshop on Software Model Engineering WiSME@UML, Portugal, October 2004
AbstractPaperBibTeX Reference
Thomas Kühne and Friedrich Steimann
"Tiefe Charakterisierung"
Proceedings of Modellierung 2004, B. Rumpe, W. Hesse (editors), LNI 45 (GI, 2004), p. 121–133, Marburg, March 2004
AbstractPaperBibTeX Reference
Colin Atkinson and Thomas Kühne
"Calling a Spade a Spade in the MDA Infrastructure"
Proceedings of the International Workshop “Metamodeling for MDA”, York, November 2003
AbstractPaperBibTeX Reference
Colin Atkinson and Thomas Kühne
"Model-Driven Development: A Metamodeling Foundation"
IEEE Software, vol. 20, no. 5, pp. 36–41, 2003
AbstractPaperBibTeX Reference
Colin Atkinson, Thomas Kühne, and Brian Henderson-Sellers
"Systematic Stereotype Usage"
Software and Systems Modeling, 2(3), 153-163, 2003
AbstractPaperBibTeX Reference
Friedrich Steimann, Wolf Siberski, and Thomas Kühne
"Towards the Systematic Use of Interfaces in Java Programming"
Proceedings of PPPJ 2003, June 16—18, Kilkenny, Ireland, 2003
AbstractPaperBibTeX Reference
Thomas Kühne
"Automatisierte Softwareentwicklung mit Modellcompilern"
thema Forschung, 1/2003, 116—122, 2003
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Aspect-Oriented Development with Stratified Frameworks"
IEEE Software, Vol. 20, No. 1, 81—89, 2003
AbstractPaperBibTeX Reference
Colin Atkinson and Thomas Kühne
"The Role of Metamodeling in MDA"
Proceedings of the International Workshop in Software Model Engineering (in conjunction with UML ’02), Dresden, Germany, October 2002
AbstractPaperBibTeX Reference Friedrich Steimann and Thomas Kühne
"A Radical Reduction of UML's Core Semantics"
Proceedings of the Fifth International Conference on the Unified Modeling Language — the Language and its applications: UML'02, September 30–October 4, Dresden, Germany, 2002
AbstractPaperBibTeX Reference
Colin Atkinson and Thomas Kühne
"Rearchitecting the UML Infrastructure"
ACM journal "Transactions on Modeling and Computer Simulation", Vol. 12, No. 4, 2002
AbstractPaperBibTeX Reference Colin Atkinson, Thomas Kühne, and Brian Henderson-Sellers
"Stereotypical Encounters of the Third Kind"
Proceedings of the Fifth International Conference on the Unified Modeling Language — the Language and its applications: UML'02, September 30–October 4, Dresden, Germany, 2002
AbstractPaperBibTeX Reference Colin Atkinson,Christian Bunse, Hans-Gerhardt Groß and Thomas Kühne
"Towards a General Component Model for Web-Based Applications"
Special issue of the international journal "Annals of Software Engineering", Vol. 13, No. 1–4, 35—69, 2002
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Profiles in a Strict Metamodeling Framework"
Special edition of the Journal of the Science of Computer Programming, edited by A. Evans, S. Kent and B. Selic, Volume 44, Number 1, pp. 5–22, 2002
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Stratified Component Frameworks"
International journal of Computing Science and Informatics, "Informatica", Vol. 25, No. 3, 393–401, 2001
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Stratified Frameworks"
Proceedings of the 4th International Information Society conference IS' 2001, Ljubljana, Slovenia, 22–26 October, 2001
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Processes and Products in a Multi-Level Metamodeling Architecture"
International Journal of Software Engineering and Knowledge Engineering, Vol. 11, No. 6, p. 761–783, 2001.
AbstractPaperBibTeX Reference Thomas Kühne
"A SmallTalk for Students — A Giant Leap for Studentkind"
Journal of Object-Oriented Programming, Two Part Article, May & June Issue, 2001
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"The Essence of Multilevel Metamodeling"
Proccedings of the 4th International Conference on the Unified Modeling Language, Toronto, Canada, 1–5 October, 2001
AbstractPaperBibTeX Reference Colin Atkinson, Thomas Kühne and Brian Henderson-Sellers
"To Meta or Not to Meta — That Is the Question"
Journal of Object-Oriented Programming, Vol. 13, No. 8, pp. 32–35, December 2000
AbstractPaperBibTeX Reference Colin Atkinson, Christian Bunse and Thomas Kühne
"Component-Based Extreme Development"
Proceedings of the International Workshop on Extreme Programming and Modeling: Bridging the Gap, October 2000
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Strict Profiles: Why and How"
Proceedings of the 3rd International Conference on the Unified Modeling Language, York, UK, 2–6 October, 2000
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Separation of Concerns through Stratified Architectures"
Proceedings of the International Workshop on Separations of Concerns and Aspect Oriented Programming (in conjunction with ECOOP'2000), Cannes, France, June 2000
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Meta-level Independent Modeling"
Proceedings of the International Workshop Model Engineering (in conjunction with ECOOP'2000), Cannes, France, June 2000
AbstractPaperBibTeX Reference Colin Atkinson and Thomas Kühne
"Metamodellierung und Vererbung — Alles zu seiner Zeit"
Softwaretechnik Trends Issue 20:2,  May 2000
AbstractPaperBibTeX Reference Colin Atkinson, Thomas Kühne and Christian Bunse.
"Dimensions of Component-based Development"
Proceedings of the Fourth International Workshop on Component-Oriented Programming (WCOP'99; in conjunction with ECOOP'99), Lisbon, Portugal, June 1999
AbstractPaperBibTeX Reference Thomas Kühne
"Internal Iteration Externalized"
Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP'99), Portugal, Springer-Verlag, LNCS 1628, June 1999
AbstractPaperBibTeX Reference Thomas Kühne
"A Functional Pattern System for Object-Oriented Design"
Ph.D. thesis, Darmstadt University of Technology, Verlag Dr. Kovac, ISBN: 3-86064-770-9, July 1999
AbstractPaperBibTeX Reference Thomas Kühne
"The Function Object Pattern"
C++ Report, Vol 9 #9, pages 32–42, October 1997
AbstractPaperBibTeX Reference Thomas Kühne
"Ein System funktionaler Muster für objekt-orientierten Entwurf  (in german)"
Proceedings of the 14th Workshop on "Alternative Konzepte für Sprachen und Rechner", Bad Honnef, April 1997 
AbstractPaperBibTeX Reference Thomas Kühne
"The Translator pattern — External Functionality with homomorphic Mappings"
Proceedings of TOOLS 23, USA, July 1997 
AbstractPaperBibTeX Reference Thomas Kühne
"Recipes to Reuse"
Proceedings of EuroPLoP, Irsee, July 1996
AbstractPaperBibTeX Reference Thomas Kühne
"Nil and None considered Null and Void"
Proceedings of WOON'96, St. Petersburg, June 1996 
AbstractPaperBibTeX Reference Thomas Kühne
"Can object-orientation liberate programming from the von Neumann Style?" (in german), 12th Workshop on "Alternative Konzepte für Sprachen und Rechner", Bad Honnef, May 1995 
AbstractPaperBibTeX Reference Thomas Kühne
"Parameterization versus Inheritance"
Proceedings of TOOLS15, Australia, November 1994 
AbstractPaperBibTeX Reference Thomas Kühne
"Higher Order Objects in pure Object-Oriented Languages"
ACM SIGPLAN Notices, #7, vol29, July 1994 

Harrold Korte, Han Joosten, Victor Tijssen, Albert Wammes, Johan Wester,Thomas Kühne and Christoph Thies
"Design of a LOTOS simulator: Centaur from a user's perspective"
Fifth review report: D5, GIPE II, ESPRIT project 2177, 1993 

Thomas Kühne, Christoph Thies
"User requirements for a LOTOS simulator"
Fourth review report: D4, GIPE II, ESPRIT project 2177, 1992 

AbstractPaper Thomas Kühne
"Spezifikation der dynamischen Semantik von Basic-Lotos"
German Master Thesis, Darmstadt, September 1992. 
5280 hits since 29.5.2008