Multidatabase Transaction and Query Processing in Logic - Eva Kühn; Franz Puntigam; Ahmed K. Elmagarmid (Database Transaction Models for Advanced Applications, 1992)

An Execution Model for Distributed Database Transactions and Its Implementation in VPL. - Eva Kühn; Franz Puntigam; Ahmed K. Elmagarmid (EDBT, 1992)

Reliable Communication in VPL. - Eva Kühn; Franz Puntigam (PARLE, 1992)

Embedding MSQL Queries into a Logic Based Transaction Processing Framework. - Eva Kühn; Franz Puntigam (RIDE-TQP, 1992)

A Language Multidatabase System Communication Protocol. - Omran A. Bukhres; Eva Kühn; Franz Puntigam (ICDE, 1993)

Concurrency and Backtracking in VPL. - Eva Kühn; Herbert Pohlai; Franz Puntigam (Comput. Lang., 1993)

Transactions on Shared Data: A Coordination Modes. - Franz Puntigam (HICSS (2), 1994)

Type Specifications with Processes. - Franz Puntigam (FORTE, 1995)

Typen für logikbasierte aktive Objekte. - Franz Puntigam (WLP, 1995)

Synchronization Expressed in Types of Communication Channels. - Franz Puntigam (Euro-Par, Vol. I, 1996)

Coordination Requirements Expressed in Types for Active Objects. - Franz Puntigam (ECOOP, 1997)

Types That Reflect Changes of Object Usability. - Franz Puntigam (JMLC, 1997)

Dynamic type Information in Process Types. - Franz Puntigam (Euro-Par, 1998)

A Concurrent Object Calculus with Types that Express Sequences. - Christof Peter; Franz Puntigam (ECOOP Workshops, 1999)

Non-regular Process Types. - Franz Puntigam (Euro-Par, 1999)

Changeable Interfaces and Promised Messages for Concurrent Components. - Franz Puntigam; Christof Peter (SAC, 1999)

Flexible Types for a Concurrent Model. - Franz Puntigam (Concurrent Object-Oriented Programming and Petri Nets, 2001)

State inference for dynamically changing interfaces. - Franz Puntigam (Comput. Lang., 2001)

Strong types for coordinating active objects. - Franz Puntigam (Concurr. Comput. Pract. Exp., 2001)

Types for Active Objects with Static Deadlock Prevention. - Franz Puntigam; Christof Peter (Fundam. Informaticae, 2001)

Supporting Design by Contract in Java. - Martin Lackner; Andreas Krall; Franz Puntigam (J. Object Technol., 2002)

From static to dynamic process types. - Franz Puntigam (ICSOFT (1), 2006)

Internal and External Token-Based Synchronization in Object-Oriented Languages. - Franz Puntigam (JMLC, 2006)

Synchronization as a Special Case of Access Control. - Franz Puntigam (PLACES@DisCoTec, 2008)

Program Execution Environments as Contextual Values. - Markus Raab; Franz Puntigam (COP@ECOOP, 2014)