 | 2009 |
|---|
| 24 |       | Franz Puntigam:
Synchronization as a Special Case of Access Control.
Electr. Notes Theor. Comput. Sci. 241: 113-133 (2009) |
| 2006 |
|---|
| 23 |  | Franz Puntigam:
From static to dynamic process types.
ICSOFT (1) 2006: 21-28 |
| 22 | | Franz Puntigam:
Internal and External Token-Based Synchronization in Object-Oriented Languages.
JMLC 2006: 251-270 |
| 2002 |
|---|
| 21 | | Martin Lackner,
Andreas Krall,
Franz Puntigam:
Supporting Design by Contract in Java.
Journal of Object Technology 1(3): 57-76 (2002) |
| 2001 |
|---|
| 20 | | Franz Puntigam:
Flexible Types for a Concurrent Model.
Concurrent Object-Oriented Programming and Petri Nets 2001: 461-472 |
| 19 | | Franz Puntigam:
State inference for dynamically changing interfaces.
Comput. Lang. 27(4): 163-202 (2001) |
| 18 | | Franz Puntigam:
Strong types for coordinating active objects.
Concurrency and Computation: Practice and Experience 13(4): 293-326 (2001) |
| 17 | | Franz Puntigam,
Christof Peter:
Types for Active Objects with Static Deadlock Prevention.
Fundam. Inform. 48(4): 315-341 (2001) |
| 1999 |
|---|
| 16 | | Christof Peter,
Franz Puntigam:
A Concurrent Object Calculus with Types that Express Sequences.
ECOOP Workshops 1999: 321 |
| 15 | | Franz Puntigam:
Non-regular Process Types.
Euro-Par 1999: 1334-1343 |
| 14 | | Franz Puntigam,
Christof Peter:
Changeable Interfaces and Promised Messages for Concurrent Components.
SAC 1999: 141-145 |
| 1998 |
|---|
| 13 | | Franz Puntigam:
Dynamic type Information in Process Types.
Euro-Par 1998: 720-728 |
| 1997 |
|---|
| 12 | | Franz Puntigam:
Coordination Requirements Expressed in Types for Active Objects.
ECOOP 1997: 367-388 |
| 11 | | Franz Puntigam:
Types That Reflect Changes of Object Usability.
JMLC 1997: 125-139 |
| 1996 |
|---|
| 10 | | Franz Puntigam:
Synchronization Expressed in Types of Communication Channels.
Euro-Par, Vol. I 1996: 762-769 |
| 1995 |
|---|
| 9 | | Franz Puntigam:
Type Specifications with Processes.
FORTE 1995: 143-158 |
| 8 | | Franz Puntigam:
Typen für logikbasierte aktive Objekte.
WLP 1995: 83-90 |
| 1994 |
|---|
| 7 | | Franz Puntigam:
Transactions on Shared Data: A Coordination Modes.
HICSS (2) 1994: 373-382 |
| 1993 |
|---|
| 6 | | Omran A. Bukhres,
eva Kühn,
Franz Puntigam:
A Language Multidatabase System Communication Protocol.
ICDE 1993: 633-640 |
| 5 | | eva Kühn,
Herbert Pohlai,
Franz Puntigam:
Concurrency and Backtracking in VPL.
Comput. Lang. 19(3): 185-204 (1993) |
| 1992 |
|---|
| 4 | | eva Kühn,
Franz Puntigam,
Ahmed K. Elmagarmid:
An Execution Model for Distributed Database Transactions and Its Implementation in VPL.
EDBT 1992: 483-498 |
| 3 | | eva Kühn,
Franz Puntigam:
Reliable Communication in VPL.
PARLE 1992: 769-782 |
| 2 | | eva Kühn,
Franz Puntigam:
Embedding MSQL Queries into a Logic Based Transaction Processing Framework.
RIDE-TQP 1992: 150-156 |
| 1 | | eva Kühn,
Franz Puntigam,
Ahmed K. Elmagarmid:
Multidatabase Transaction and Query Processing in Logic
Database Transaction Models for Advanced Applications 1992: 297-348 |
