Franz Puntigam

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Program Execution Environments as Contextual Values.

Markus Raab, Franz Puntigam

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

2008

Synchronization as a Special Case of Access Control.

Franz Puntigam

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

2006

Internal and External Token-Based Synchronization in Object-Oriented Languages.

Franz Puntigam

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

From static to dynamic process types.

Franz Puntigam

Proceedings of the ICSOFT 2006, 2006

2002

Supporting Design by Contract in Java.

Martin Lackner, Andreas Krall, Franz Puntigam

J. Object Technol., 2002

2001

Types for Active Objects with Static Deadlock Prevention.

Franz Puntigam, Christof Peter

Fundam. Informaticae, 2001

Strong types for coordinating active objects.

Franz Puntigam

Concurr. Comput. Pract. Exp., 2001

State inference for dynamically changing interfaces.

Franz Puntigam

Comput. Lang., 2001

Flexible Types for a Concurrent Model.

Franz Puntigam

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1999

Changeable Interfaces and Promised Messages for Concurrent Components.

Franz Puntigam, Christof Peter

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Non-regular Process Types.

Franz Puntigam

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.

Christof Peter, Franz Puntigam

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Dynamic type Information in Process Types.

Franz Puntigam

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997

Types That Reflect Changes of Object Usability.

Franz Puntigam

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

Coordination Requirements Expressed in Types for Active Objects.

Franz Puntigam

Proceedings of the ECOOP'97, 1997

1996

Synchronization Expressed in Types of Communication Channels.

Franz Puntigam

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

Typen für logikbasierte aktive Objekte.

Franz Puntigam

Proceedings of the 11. Workshop Logische Programmierung, 1995

Type Specifications with Processes.

Franz Puntigam

Proceedings of the Formal Description Techniques VIII, 1995

1994

Transactions on Shared Data: A Coordination Modes.

Franz Puntigam

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

1993

Concurrency and Backtracking in VPL.

Eva Kühn, Herbert Pohlai, Franz Puntigam

Comput. Lang., 1993

A Language Multidatabase System Communication Protocol.

Omran A. Bukhres, Eva Kühn, Franz Puntigam

Proceedings of the Ninth International Conference on Data Engineering, 1993

1992

Embedding MSQL Queries into a Logic Based Transaction Processing Framework.

Eva Kühn, Franz Puntigam

Proceedings of the RIDE-TQP '92, 1992

Reliable Communication in VPL.

Eva Kühn, Franz Puntigam

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

An Execution Model for Distributed Database Transactions and Its Implementation in VPL.

Eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid

Proceedings of the Advances in Database Technology, 1992

Multidatabase Transaction and Query Processing in Logic

Eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid

Proceedings of the Database Transaction Models for Advanced Applications., 1992