Franz Puntigam

Publication Activity (10 Years)

Years Active: 1992-2014
Publications (10 Years): 0

Top Topics

Program Execution

Multi Processor

Context Sensitive

Top Venues

Publications

Markus Raab, Franz Puntigam
Program Execution Environments as Contextual Values. COP@ECOOP (2014)
Franz Puntigam
Synchronization as a Special Case of Access Control. Electron. Notes Theor. Comput. Sci. 241 (2009)
Franz Puntigam
Internal and External Token-Based Synchronization in Object-Oriented Languages. JMLC (2006)
Franz Puntigam
From static to dynamic process types. ICSOFT (1) (2006)
Franz Puntigam
From Static to Dynamic Process Types. ICSOFT (Selected Papers) (2006)
Martin Lackner, Andreas Krall, Franz Puntigam
Supporting Design by Contract in Java. J. Object Technol. 1 (3) (2002)
Franz Puntigam
Strong types for coordinating active objects. Concurr. Comput. Pract. Exp. 13 (4) (2001)
Franz Puntigam, Christof Peter
Types for Active Objects with Static Deadlock Prevention. Fundam. Informaticae 48 (4) (2001)
Franz Puntigam
Flexible Types for a Concurrent Model. Concurrent Object-Oriented Programming and Petri Nets (2001)
Franz Puntigam
State inference for dynamically changing interfaces. Comput. Lang. 27 (4) (2001)
Franz Puntigam
Non-regular Process Types. Euro-Par (1999)
Franz Puntigam, Christof Peter
Changeable Interfaces and Promised Messages for Concurrent Components. SAC (1999)
Christof Peter, Franz Puntigam
A Concurrent Object Calculus with Types that Express Sequences. ECOOP Workshops (1999)
Franz Puntigam
Dynamic type Information in Process Types. Euro-Par (1998)
Franz Puntigam
Types That Reflect Changes of Object Usability. JMLC (1997)
Franz Puntigam
Coordination Requirements Expressed in Types for Active Objects. ECOOP (1997)
Franz Puntigam
Synchronization Expressed in Types of Communication Channels. Euro-Par, Vol. I (1996)
Franz Puntigam
Type Specifications with Processes. FORTE (1995)
Franz Puntigam
Typen für logikbasierte aktive Objekte. WLP (1995)
Franz Puntigam
Transactions on Shared Data: A Coordination Modes. HICSS (2) (1994)
Omran A. Bukhres, eva Kühn, Franz Puntigam
A Language Multidatabase System Communication Protocol. ICDE (1993)
eva Kühn, Herbert Pohlai, Franz Puntigam
Concurrency and Backtracking in VPL. Comput. Lang. 19 (3) (1993)
eva Kühn, Franz Puntigam
Reliable Communication in VPL. PARLE (1992)
eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid
An Execution Model for Distributed Database Transactions and Its Implementation in VPL. EDBT (1992)
eva Kühn, Franz Puntigam
Embedding MSQL Queries into a Logic Based Transaction Processing Framework. RIDE-TQP (1992)