Christian Heinlein

According to our database1, Christian Heinlein authored at least 34 papers between 1991 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Fortgeschrittene Syntaxerweiterungen durch virtuelle Operatoren in MOSTflexiPL.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

2012
MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming Language.
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

MOST-flexiPL: modular, statically typed, flexibly extensible programming language.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

2010
Covariantly Adjusting Co-Types in Timor.
J. Object Technol., 2010

2009
Types and Co-Types in Timor.
J. Object Technol., 2009

2008
Security and Protection in Timor Programs.
J. Object Technol., 2008

2007
Persistent Processes and Distribution in Timor.
J. Object Technol., 2007

Persistent Objects and Capabilities in Timor.
J. Object Technol., 2007

Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance.
J. Object Technol., 2007

2006
Efficient Implementation of Open Types.
Softwaretechnik-Trends, 2006

Support for Object Oriented Transactions in Timor.
J. Object Technol., 2006

Call-out Bracket Methods in Timor.
J. Object Technol., 2006

Implicit and Dynamic Parameters in C++.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

2005
Statically Qualified Types in Timor.
J. Object Technol., 2005

Global and Local Virtual Functions in C++.
J. Object Technol., 2005

Virtual namespace functions: an alternative to virtual member functions in C++ and advice in AspectC++.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Null Values in Programming Languages.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Exception Handling with Resumption: Design and Implementation in Java.
Proceedings of The 2005 International Conference on Programming Languages and Compilers, 2005

Local Virtual Functions.
Proceedings of the NODe 2005, 2005

2004
Diamond Inheritance and Attribute Types in Timor.
J. Object Technol., 2004

Inheriting Multiple and Repeated Parts in Timor.
J. Object Technol., 2004

Qualifying Types with Bracket Methods in Timor.
J. Object Technol., 2004

Reuse Variables: Reusing Code and State in Timor.
Proceedings of the Software Reuse: Methods, 2004

C+++: User-Defined Operator Symbols in C++.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

2003
Safely Extending Procedure Types to Allow Nested Procedures as Values.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002
Inheriting from a Common Abstract Ancestor in Timor.
J. Object Technol., 2002

Qualifying Types Illustrated by Synchronisation Examples.
Proceedings of the Objects, 2002

Advanced Thread Synchronization in Java Using Interaction Expressions.
Proceedings of the Objects, 2002

Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols.
Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001
MPEG-L/MRP: implementing adaptive streaming of MPEG videos for interactive internet applications.
Proceedings of the 9th ACM International Conference on Multimedia 2001, Ottawa, Ontario, Canada, September 30, 2001

Workflow and Process Synchronization with Interaction Expressions and Graphs.
Proceedings of the 17th International Conference on Data Engineering, 2001

2000
Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen: Konzeption und Realisierung eines Formalismus zur Spezifikation und Implementierung von Synchronisationsbedingungen.
PhD thesis, 2000

1994
Representation of Medical Guidelines on Top of a Classification-Based System.
Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994

1991
A neural network expert system to support decisions in diagnostic mapping.
Proceedings of the Fourth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'91), 1991


  Loading...