Franz Puntigam - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2014

Program Execution Environments as Contextual ValuesMarkus Raab, Franz Puntigam. ECOOP 2014: [doi]

2009

Synchronization as a Special Case of Access ControlFranz Puntigam. ENTCS, 241:113-133, 2009. [doi]

2006

Internal and External Token-Based Synchronization in Object-Oriented LanguagesFranz Puntigam. jmlc 2006: 251-270 [doi]

From static to dynamic process typesFranz Puntigam. ICSOFT 2006: 21-28

From Static to Dynamic Process TypesFranz Puntigam. ICSOFT 2008: 61-73 [doi]

2002

Supporting Design by Contract in JavaMartin Lackner, Andreas Krall, Franz Puntigam. jot, 1(3):57-76, 2002. [doi]

2001

Flexible Types for a Concurrent ModelFranz Puntigam. cooppn 2001: 461-472 [doi]

Types for Active Objects with Static Deadlock PreventionFranz Puntigam, Christof Peter. FUIN, 48(4):315-341, 2001.

State inference for dynamically changing interfacesFranz Puntigam. Comp. Lang., Syst. \& Struct., 27(4):163-202, 2001.

Strong types for coordinating active objectsFranz Puntigam. concurrency, 13(4):293-326, 2001.

1999

A Concurrent Object Calculus with Types that Express SequencesChristof Peter, Franz Puntigam. ECOOPW 1999: 321

Changeable Interfaces and Promised Messages for Concurrent ComponentsFranz Puntigam, Christof Peter. SAC 1999: 141-145 [doi]

Non-regular Process TypesFranz Puntigam. europar 1999: 1334-1343 [doi]

1998

Dynamic type Information in Process TypesFranz Puntigam. europar 1998: 720-728 [doi]

1997

Coordination Requirements Expressed in Types for Active ObjectsFranz Puntigam. ECOOP 1997: 367-388 [doi]

Types That Reflect Changes of Object UsabilityFranz Puntigam. jmlc 1997: 125-139

1996

Synchronization Expressed in Types of Communication ChannelsFranz Puntigam. europar 1996: 762-769

1995

Typen für logikbasierte aktive ObjekteFranz Puntigam. wlp 1995: 83-90

Type Specifications with ProcessesFranz Puntigam. forte 1996: 143-158

1994

Transactions on Shared Data: A Coordination ModesFranz Puntigam. hicss 1994: 373-382

1993

A Language Multidatabase System Communication ProtocolOmran A. Bukhres, eva Kühn, Franz Puntigam. icde 1993: 633-640 [doi]

Concurrency and Backtracking in VPLeva Kühn, Herbert Pohlai, Franz Puntigam. Comp. Lang., Syst. \& Struct., 19(3):185-204, 1993.

1992

Embedding MSQL Queries into a Logic Based Transaction Processing Frameworkeva Kühn, Franz Puntigam. ride 1992: 150-156

Reliable Communication in VPLeva Kühn, Franz Puntigam. parle 1992: 769-782

An Execution Model for Distributed Database Transactions and Its Implementation in VPLeva Kühn, Franz Puntigam, Ahmed K. Elmagarmid. edbt 1992: 483-498 [doi]

Multidatabase Transaction and Query Processing in Logiceva Kühn, Franz Puntigam, Ahmed K. Elmagarmid. In Database Transaction Models for Advanced Applications. pages 297-348, 1992.

Sign in or sign up to see more results.

runs on WebDSL