2006 |
23 | | Franz Puntigam:
From static to dynamic process types.
ICSOFT (1) 2006: 21-28 |
22 | EE | Franz Puntigam:
Internal and External Token-Based Synchronization in Object-Oriented Languages.
JMLC 2006: 251-270 |
2002 |
21 | EE | Martin Lackner,
Andreas Krall,
Franz Puntigam:
Supporting Design by Contract in Java.
Journal of Object Technology 1(3): 57-76 (2002) |
2001 |
20 | EE | 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 | EE | Franz Puntigam:
Non-regular Process Types.
Euro-Par 1999: 1334-1343 |
14 | EE | Franz Puntigam,
Christof Peter:
Changeable Interfaces and Promised Messages for Concurrent Components.
SAC 1999: 141-145 |
1998 |
13 | EE | Franz Puntigam:
Dynamic type Information in Process Types.
Euro-Par 1998: 720-728 |
1997 |
12 | EE | 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 | EE | 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 | EE | 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 |