Franz Puntigam

According to our database1, Franz Puntigam authored at least 25 papers between 1992 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Program Execution Environments as Contextual Values.
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

2009
Synchronization as a Special Case of Access Control.
Electr. Notes Theor. Comput. Sci., 2009

2006
Internal and External Token-Based Synchronization in Object-Oriented Languages.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

From static to dynamic process types.
Proceedings of the ICSOFT 2006, 2006

2002
Supporting Design by Contract in Java.
Journal of Object Technology, 2002

2001
Types for Active Objects with Static Deadlock Prevention.
Fundam. Inform., 2001

Strong types for coordinating active objects.
Concurrency and Computation: Practice and Experience, 2001

State inference for dynamically changing interfaces.
Comput. Lang., 2001

Flexible Types for a Concurrent Model.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1999
Changeable Interfaces and Promised Messages for Concurrent Components.
Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Non-regular Process Types.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

A Concurrent Object Calculus with Types that Express Sequences.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998
Dynamic type Information in Process Types.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997
Types That Reflect Changes of Object Usability.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

Coordination Requirements Expressed in Types for Active Objects.
Proceedings of the ECOOP'97, 1997

1996
Synchronization Expressed in Types of Communication Channels.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995
Typen für logikbasierte aktive Objekte.
WLP, 1995

Type Specifications with Processes.
Proceedings of the Formal Description Techniques VIII, 1995

1994
Transactions on Shared Data: A Coordination Modes.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993
Concurrency and Backtracking in VPL.
Comput. Lang., 1993

A Language Multidatabase System Communication Protocol.
Proceedings of the Ninth International Conference on Data Engineering, 1993

1992
Embedding MSQL Queries into a Logic Based Transaction Processing Framework.
Proceedings of the RIDE-TQP '92, 1992

Reliable Communication in VPL.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

An Execution Model for Distributed Database Transactions and Its Implementation in VPL.
Proceedings of the Advances in Database Technology, 1992

Multidatabase Transaction and Query Processing in Logic
Database Transaction Models for Advanced Applications, 1992


  Loading...