Vollständiges Verzeichnis aller Publikationen / Complete List of Publications

Begutachtete Konferenz- und Zeitschriftenbeiträge / Peer-Reviewed Conference and Journal Papers

[1] C. Heinlein: „Fortgeschrittene Syntaxerweiterungen durch virtuelle Operatoren in MOSTflexiPL.“ In: K. Schmid et al. (ed.): Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014 (Kiel, February 2014). CEUR Workshop Proceedings, 193–212, http://ceur-ws.org/Vol-1129/paper4A.pdf.

[2] C. Heinlein: „MOSTflexiPL – Modular, Statically Typed, Flexibly Extensible Programming Language.“ In: J. Edwards (ed.): Proc. ACM Int. Symp. on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2012) (Tucson, AZ, October 2012), 159–178. (PostScript, PDF) [This is the author's version of the work. It is posted here by permission of the ACM for your personal use. Not for redistribution. The definitive version was published in Onward! 2012, http://doi.acm.org/10.1145/2384592.2384608]

[3] C. Heinlein: „MOSTflexiPL – Modular, Statically Typed, Flexibly Extensible Programming Language.“ In: S. Jähnichen, B. Rumpe, H. Schlingloff (eds.): Software Engineering 2012 Workshopband (Fachtagung des GI-Fachbereichs Softwaretechnik; Februar/März 2012; Berlin). Lecture Notes in Informatics P-199, Gesellschaft für Informatik e. V., Bonn, 2012, 45–60. (PostScript, PDF)

[4] J. L. Keedy, G. Menger, C. Heinlein: „Covariantly Adjusting Co-Types in Timor.“ (Guest Column). Journal of Object Technology 9 (1) January/February 2010, 35–55, http://www.jot.fm/issues/issue_2010_01/column4.

[5] J. L. Keedy, G. Menger, C. Heinlein: „Types and Co-Types in Timor.“ (Guest Column). Journal of Object Technology 8 (7) November/December 2009, 37–57, http://www.jot.fm/issues/issue_2009_11/column4.

[6] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger: „Security and Protection in Timor Programs.“ Journal of Object Technology 7 (4) May/June 2008, 123–138, http://www.jot.fm/issues/issue_2008_05/article3.

[7] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger: „Persistent Processes and Distribution in Timor.“ Journal of Object Technology 6 (6) July/August 2007, 91–108, http://www.jot.fm/issues/issue_2007_07/article2.

[8] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger: „Persistent Objects and Capabilities in Timor.“ Journal of Object Technology 6 (4) May/June 2007, 103–123, http://www.jot.fm/issues/issue_2007_05/article3.

[9] C. Heinlein: „Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance.“ Journal of Object Technology 6 (3) March/April 2007, 101–151, http://www.jot.fm/issues/issue_2007_03/article3.

[10] C. Heinlein: „Implicit and Dynamic Parameters in C++.“ In: D. Lightfoot, C. Szyperski (eds.): Modular Programming Languages (Joint Modular Languages Conference, JMLC 2006; Oxford, England, September 2006; Proceedings). Lecture Notes in Computer Science 4228, © Springer-Verlag, Berlin, 2006, 37–56.

[11] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger, F. Henskens, M. Hannaford: „Support for Object Oriented Transactions in Timor.“ Journal of Object Technology 5 (2) March/April 2006, 103–124, http://www.jot.fm/issues/issue_2006_03/article1.

[12] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger: „Call-out Bracket Methods in Timor.“ Journal of Object Technology 5 (1) January/February 2006, 51–67, http://www.jot.fm/issues/issue_2006_01/article1.

[13] C. Heinlein: „Global and Local Virtual Functions in C++.“ Journal of Object Technology 4 (10) December 2005, 71–93, http://www.jot.fm/issues/issue_2005_12/article4.

[14] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger, M. Evered: „Statically Qualified Types in Timor.“ Journal of Object Technology 4 (7) September/October 2005, 115–137, http://www.jot.fm/issues/issue_2005_09/article5.

[15] C. Heinlein: „Local Virtual Functions.“ In: R. Hirschfeld, R. Kowalczyk, A. Polze, M. Weske (eds.): NODe 2005, GSEM 2005 (Erfurt, Germany, September 2005). Lecture Notes in Informatics P-69, Gesellschaft für Informatik e. V., Bonn, 2005, 129–144. (PostScript, PDF)

[16] C. Heinlein: „Null Values in Programming Languages.“ In: H. R. Arabnia (ed.): Proc. Int. Conf. on Programming Languages and Compilers (PLC'05) (Las Vegas, NV, June 2005), 123–129. (PostScript, PDF)

[17] A. Gruler, C. Heinlein: „Exception Handling with Resumption: Design and Implementation in Java.“ In: H. R. Arabnia (ed.): Proc. Int. Conf. on Programming Languages and Compilers (PLC'05) (Las Vegas, NV, June 2005), 165–171. (PostScript, PDF)

[18] C. Heinlein: „Virtual Namespace Functions: An Alternative to Virtual Member Functions in C++ and Advice in AspectC++.“ In: Proc. 2005 ACM Symposium on Applied Computing (SAC) (Santa Fe, New Mexico, March 2005), 1274–1281. (PostScript, PDF)

[19] J. L. Keedy, C. Heinlein, G. Menger, M. Evered: „Diamond Inheritance and Attribute Types in Timor.“ Journal of Object Technology 3 (10) November/December 2004, 121–142, http://www.jot.fm/issues/issue_2004_11/article2.

[20] J. L. Keedy, C. Heinlein, G. Menger: „Inheriting Multiple and Repeated Parts in Timor.“ Journal of Object Technology 3 (10) November/December 2004, 99–120, http://www.jot.fm/issues/issue_2004_11/article1.

[21] C. Heinlein: „C+++: User-Defined Operator Symbols in C++.“ In: P. Dadam, M. Reichert (eds.): INFORMATIK 2004 – Informatik verbindet. Band 2 (Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e. V.; September 2004; Ulm). Lecture Notes in Informatics P-51, Gesellschaft für Informatik e. V., Bonn, 2004, 459–468. (PostScript, PDF)

[22] J. L. Keedy, C. Heinlein, G. Menger: „Reuse Variables: Reusing Code and State in Timor.“ In: J. Bosch, C. Krueger (eds.): Software Reuse: Methods, Techniques, and Tools (8th Int. Conf., ICSR 2004; Madrid, Spain, July 2004; Proceedings). Lecture Notes in Computer Science 3107, © Springer-Verlag, Berlin, 2004, 205–214.

[23] J. L. Keedy, K. Espenlaub, C. Heinlein, G. Menger: „Qualifying Types with Bracket Methods in Timor.“ Journal of Object Technology 3 (1) January/February 2004, 101–121, http://www.jot.fm/issues/issue_2004_01/article1.

[24] C. Heinlein: „Dynamic Class Methods in Java.“ In: Net.ObjectDays 2003. Tagungsband (Erfurt, Germany, September 2003). tranSIT GmbH, Ilmenau, 2003, ISBN 3-9808628-2-8, 215–229. (PostScript, PDF)

[25] J. L. Keedy, G. Menger, C. Heinlein: „Taking Information Hiding Seriously in an Object Oriented Context.“ In: Net.ObjectDays 2003. Tagungsband (Erfurt, Germany, September 2003). tranSIT GmbH, Ilmenau, 2003, ISBN 3-9808628-2-8, 51–65. (PostScript, PDF)

[26] C. Heinlein: „Safely Extending Procedure Types to Allow Nested Procedures as Values.“ In: L. Böszörményi, P. Schojer (eds.): Modular Programming Languages (Joint Modular Languages Conference, JMLC 2003; Klagenfurt, Austria, August 2003; Proceedings). Lecture Notes in Computer Science 2789, © Springer-Verlag, Berlin, 2003, 144–149.

[27] C. Heinlein: „Advanced Thread Synchronization in Java Using Interaction Expressions.“ In: M. Aksit, M. Mezini, R. Unland (eds.): Objects, Components, Architectures, Services, and Applications for a Networked World (Int. Conf. NetObjectDays, NODe 2002; Erfurt, Germany, October 2002; Revised Papers). Lecture Notes in Computer Science 2591, © Springer-Verlag, Berlin, 2003, 345–365.

[28] J. L. Keedy, G. Menger, C. Heinlein, F. Henskens: „Qualifying Types Illustrated by Synchronization Examples.“ In: M. Aksit, M. Mezini, R. Unland (eds.): Objects, Components, Architectures, Services, and Applications for a Networked World (Int. Conf. NetObjectDays, NODe 2002; Erfurt, Germany, October 2002; Revised Papers). Lecture Notes in Computer Science 2591, © Springer-Verlag, Berlin, 2003, 330–344.

[29] C. Heinlein: „Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols.“ In: R. Meersman, Z. Tari (eds.): On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE (Confederated International Conferences; CoopIS, DOA, and ODBASE 2002; Proceedings). Lecture Notes in Computer Science 2519, © Springer-Verlag, Berlin, 2002, 54–71.

[30] C. Heinlein: „Advanced Thread Synchronization in Java Using Interaction Expressions.“ In: Net.ObjectDays 2002. Tagungsband (Erfurt, Germany, October 2002). tranSIT GmbH, Ilmenau, 2002, ISBN 3-9808628-0-1, 349–363. (PostScript, PDF)

[31] J. L. Keedy, G. Menger, C. Heinlein, F. Henskens: „Qualifying Types Illustrated by Synchronization Examples.“ In: Net.ObjectDays 2002. Tagungsband (Erfurt, Germany, October 2002). tranSIT GmbH, Ilmenau, 2002, ISBN 3-9808628-0-1, 334–348. (PostScript, PDF)

[32] J. L. Keedy, G. Menger, C. Heinlein: „Inheriting from a Common Abstract Ancestor in Timor.“ Journal of Object Technology 1 (1) May/June 2002, 81–106, http://www.jot.fm/issues/issue_2002_05/article2.

[33] J. L. Keedy, G. Menger, C. Heinlein: „Support for Subtyping and Code Re-use in Timor.“ In: J. Noble, J. Potter (eds.): Proc. 40th Int. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS Pacific) (Sydney, Australia, February 2002), 35–43. (PostScript, PDF)

[34] S. Boll, W. Klas, M. Menth, C. Heinlein: „MPEG-L/MRP: Implementing Adaptive Streaming of MPEG Videos for Interactive Internet Applications.“ (Technical Demonstration). In: Proc. ACM Multimedia Conf. 2001 (Ottawa, Canada, Sept./Oct. 2001), 626–627. (PostScript, PDF)

[35] C. Heinlein: „Workflow and Process Synchronization with Interaction Expressions and Graphs.“ In: Proc. 17th Int. Conf. on Data Engineering (ICDE) (Heidelberg, Germany, April 2001). IEEE Computer Society, 2001, 243–252. (PostScript, PDF)

[36] C. Heinlein: „Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen. Konzeption und Realisierung eines Formalismus zur Spezifikation und Implementierung von Synchronisationsbedingungen.“ In: Informatiktage 2000. Fachwissenschaftlicher Informatik-Kongreß (Bad Schussenried, October 2000), 107–109. (PostScript, PDF)

[37] S. Boll, C. Heinlein, W. Klas, J. Wandel: „MPEG-L/MRP: Adaptive Streaming of MPEG Videos for Interactive Internet Applications.“ In: W. G. Aref, I. Kamel (eds.): Advances in Multimedia Information Systems (6th Int. Workshop on Multimedia Information Systems; Chicago, October 2000; Proceedings), 104–113. (PostScript, PDF)

[38] C. Heinlein, K. Kuhn, P. Dadam: „Representation of Medical Guidelines Using a Classification-Based System.“ In: N. R. Adam, B. K. Bhargava, Y. Yesha (eds.): Proc. 3rd Int. Conf. on Information and Knowledge Management (CIKM) (Gaithersburg, MD, Nov./Dec. 1994). ACM Press, New York, 1994, 415–422. (PostScript, PDF)

[39] K. Kuhn, M. Reichert, M. Nathe, T. Beuter, C. Heinlein, P. Dadam: „A Conceptual Approach to an Open Hospital Information System.“ In: P. Barahona, M. Veloso, J. Bryant (eds.): Proc. 12th Int. Congr. of the European Federation for Medical Informatics (MIE) (Lisbon, Portugal, May 1994), 374–378.

[40] K. Kuhn, T. Zemmler, M. Reichert, C. Heinlein, D. Roesner: „Structured Data Collection and Knowledge-Based User Guidance for Abdominal Ultrasound Reporting.“ In: C. Safran (ed.): Proc. 17th Ann. Symp. on Computer Applications in Medical Care (SCAMC) (Washington, DC, 1993). McGraw-Hill, New York, 1993, 311–315.

[41] K. Kuhn, M. Reichert, C. Heinlein, T. Zemmler, M. Radau, W. Swobodnik, J. G. Wechsler: „Systematisierte Befundung im klinischen Einsatz. Erfahrungen mit einem System für die abdominelle Sonographie.“ mt-Medizintechnik 113 (2) 1993, 46–52.

[42] K. Kuhn, D. Rösner, T. Zemmler, M. Reichert, C. Heinlein, E. Merkelbach, J. G. Wechsler, P. Janowitz, W. Swobodnik, G. Peter, H. Ditschuneit: „Unterstützung der Befundung im Bereich bildgebender Verfahren durch interaktive Wissensvermittlung.“ Biometrie und Informatik in Medizin und Biologie 23 (2) 1992, 60–67.

[43] K. Kuhn, C. Heinlein, M. Reichert, J. G. Wechsler, T. Zemmler, H. Ditschuneit: „Erfahrungen mit einem EDV-System zur Arztbriefverwaltung und zur Terminplanung.“ In: J. Michaelis, G. Hommel, S. Wellek (eds.): Europäische Perspektiven der Medizinischen Informatik, Biometrie und Epidemiologie (37. Jahrestagung der GMDS; Mainz, September 1992). MMV Medizin Verlag, München, 1992, 319–322.

[44] K. Kuhn, D. Roesner, T. Zemmler, W. Swobodnik, P. Janowitz, J. G. Wechsler, C. Heinlein, M. Reichert, W. Doster, H. Ditschuneit: „A Neural Network Expert System to Support Decisions in Diagnostic Imaging.“ In: Proc. 4th Ann. IEEE Symp. on Computer-Based Medical Systems (Baltimore, MD, May 1991). IEEE Computer Society Press, Los Alamitos, CA, 1991, 244–250.

[45] K. Kuhn, W. Swobodnik, T. Zemmler, C. Heinlein, M. Reichert, P. Janowitz, J. G. Wechsler, H. Ditschuneit: „Die Entwicklung eines Systems zur elektronischen Befunddokumentation in der Sonographie.“ Ultraschall in Klinik und Praxis 6, 1991, 52–56.

[46] K. Kuhn, C. Heinlein, M. Reichert, P. Hamdorf, T. Zemmler, J. Wechsler, H. Ditschuneit: „Ein integriertes System zur Verwaltung und zum Retrieval von Arztbriefen sowie zur Terminplanung in der Inneren Medizin.“ In: I. Guggenmoos-Holzmann (ed.): Quantitative Methoden in der Epidemiologie (35. Jahrestagung der GMDS; Berlin, September 1990; Proceedings). © Springer-Verlag, Berlin, 1990, 341–344.

[47] K. Kuhn, W. Doster, D. Rösner, P. Kottmann, C. Heinlein, T. Zemmler, W. Swobodnik, H. Ditschuneit: „Klinische Bedeutung eines integrierten Arbeitsplatzes mit multimodaler Oberfläche, multimedialen Dokumenten und wissensbasierter Benutzerführung in der Inneren Medizin.“ In: I. Guggenmoos-Holzmann (ed.): Quantitative Methoden in der Epidemiologie (35. Jahrestagung der GMDS; Berlin, September 1990; Proceedings). © Springer-Verlag, Berlin, 1990, 316–320.

Workshop-Beiträge / Workshop Papers

[48] C. Heinlein: „Zutaten für erweiterbare Programmiersprachen.“ In: M. Hanus, B. Braßel (eds.): Programmiersprachen und Rechenkonzepte (26. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“; Bad Honnef, Mai 2009). Bericht Nr. 0915, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, July 2009, 113.

[49] C. Heinlein: „Männliche und weibliche Doppelstudenten: ein Härtetest für Programmiersprachen.“ In: M. Hanus, S. Fischer (eds.): Programmiersprachen und Rechenkonzepte (25. Workshop der GI-Fachgruppe „Programmiersprachen und Rechenkonzepte“; Bad Honnef, Mai 2008). Bericht Nr. 0811, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, October 2008, 33–42. (PostScript, PDF)

[50] C. Heinlein: „Efficient Implementation of Open Types.“ (Beiträge des 23. Workshops der GI-Fachgruppe 'Programmiersprachen und Rechenkonzepte'). Softwaretechnik-Trends 26 (2) May 2006, http://pi.informatik.uni-siegen.de/stt/26_2/01_Fachgruppenberichte/02-FG214/09-Heinlein.pdf.

[51] C. Heinlein: „Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance.“ In: M. Hanus, F. Huch (eds.): Programmiersprachen und Rechenkonzepte (22. Workshop der GI-Fachgruppe 2.1.4; Bad Honnef, Mai 2005). Bericht Nr. 0513, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, October 2005, 30–39. (PostScript, PDF)

[52] C. Heinlein: „APPLE: Advanced Procedural Programming Language Elements.“ (Presentation at the Workshop on Programming Languages and Operating Systems). In: J. Malenfant, B. M. Østvold (eds.): Object-Oriented Technology. ECOOP 2004 Workshop Reader (ECOOP 2004 Workshops; Oslo, Norway, June 2004; Final Reports). © Springer-Verlag, LNCS 3344, 2005, 206. (PostScript, PDF)

[53] C. Heinlein: „APPLE: Advanced Procedural Programming Language Elements.“ (Presentation at the 2nd Workshop on Object-Oriented Language Engineering for the Post-Java Era: Back to Dynamicity). In: J. Malenfant, B. M. Østvold (eds.): Object-Oriented Technology. ECOOP 2004 Workshop Reader (ECOOP 2004 Workshops; Oslo, Norway, June 2004; Final Reports). © Springer-Verlag, LNCS 3344, 2005, 55–56. (PostScript, PDF)

[54] C. Heinlein: „APPLE: Advanced Procedural Programming Language Elements.“ In: W. Goerigk (ed.): Programmiersprachen und Rechenkonzepte (21. Workshop der GI-Fachgruppe; Bad Honnef, Mai 2004). Bericht Nr. 0410, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, January 2005, 59–66. (PostScript, PDF)

Akademische Arbeiten / Academic Theses

[55] C. Heinlein: Verbesserte prozedurale Programmiersprachen. Kumulative Habilitation, Fakultät für Ingenieurwissenschaften und Informatik, Universität Ulm, 2006. (PostScript, PDF)

[56] C. Heinlein: Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen. Konzeption und Realisierung eines Formalismus zur Spezifikation und Implementierung von Synchronisationsbedingungen. Dissertation, Fakultät für Informatik, Universität Ulm, 2000. (PostScript, PDF)

Technische Berichte / Technical Reports

[57] C. Heinlein: Concept and Implementation of C+++, an Extension of C++ to Support User-Defined Operator Symbols and Control Structures. Nr. 2004-02, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, August 2004. (PostScript, PDF)

[58] C. Heinlein: Safely Extending Procedure Types to Allow Nested Procedures as Values (Corrected Version). Nr. 2003-07, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, September 2003. (PostScript, PDF)

[59] C. Heinlein: Vertical, Horizontal, and Behavioural Extensibility of Software Systems. Nr. 2003-06, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, July 2003. (PostScript, PDF)

[60] C. Heinlein: Dynamic Class Methods in Java. Nr. 2003-05, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, July 2003. (PostScript, PDF)

[61] C. Heinlein: Safely Extending Procedure Types to Allow Nested Procedures as Values. Nr. 2003-03, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, June 2003. (PostScript, PDF)

[62] C. Heinlein: Workflow and Process Synchronization with Interaction Expressions and Graphs. Nr. 2000-11, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, September 2000. (PostScript, PDF)

[63] S. Boll, C. Heinlein, W. Klas, J. Wandel: Intelligent Prefetching and Buffering for Interactive Streaming of MPEG Videos. Nr. 2000-05, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, April 2000. (PostScript, PDF)

[64] C. Heinlein: Sprachtheoretische Semantik von Interaktionsausdrücken. Nr. 97-11, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, June 1997. (PostScript, PDF)

[65] C. Heinlein: Graphische Repräsentation von Interaktionsausdrücken. Nr. 97-10, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, June 1997. (PostScript, PDF)

[66] C. Heinlein: Grundlagen von Interaktionsausdrücken. Nr. 97-09, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, June 1997. (PostScript, PDF)

[67] C. Heinlein, P. Dadam: Interaction Expressions – A Powerful Formalism for Describing Inter-Workflow Dependencies. Nr. 97-04, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, February 1997. (PostScript, PDF)

[68] K. Kuhn, M. Reichert, M. Nathe, T. Beuter, C. Heinlein, P. Dadam: A Conceptual Approach to an Open Hospital Information System. Nr. 93-05, Ulmer Informatik-Berichte, Fakultät für Informatik, Universität Ulm, December 1993. (PostScript, PDF)


Christian Heinlein, 2014-03-01