| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Franz Puntigam |
Synchronization as a Special Case of Access Control.  |
Electr. Notes Theor. Comput. Sci.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
From static to dynamic process types. |
ICSOFT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Franz Puntigam |
Internal and External Token-Based Synchronization in Object-Oriented Languages. |
JMLC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lackner, Andreas Krall, Franz Puntigam |
Supporting Design by Contract in Java. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
Strong types for coordinating active objects. |
Concurrency and Computation: Practice and Experience |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam, Christof Peter |
Types for Active Objects with Static Deadlock Prevention. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Franz Puntigam |
State inference for dynamically changing interfaces. |
Comput. Lang. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
Flexible Types for a Concurrent Model. |
Concurrent Object-Oriented Programming and Petri Nets |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
Non-regular Process Types. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
type systems, subtyping, active objects |
| 1 | Christof Peter, Franz Puntigam |
A Concurrent Object Calculus with Types that Express Sequences. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Franz Puntigam, Christof Peter |
Changeable Interfaces and Promised Messages for Concurrent Components. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
static type checking, interfaces, subtyping |
| 1 | Franz Puntigam |
Dynamic type Information in Process Types. |
Euro-Par |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
Coordination Requirements Expressed in Types for Active Objects. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
concurrency, active objects, Type model |
| 1 | Franz Puntigam |
Types That Reflect Changes of Object Usability. |
JMLC |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
Synchronization Expressed in Types of Communication Channels. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Puntigam |
Type Specifications with Processes. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Franz Puntigam |
Typen für logikbasierte aktive Objekte. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Franz Puntigam |
Transactions on Shared Data: A Coordination Modes. |
HICSS |
1994 |
DBLP BibTeX RDF |
|
| 1 | eva Kühn, Herbert Pohlai, Franz Puntigam |
Concurrency and Backtracking in VPL. |
Comput. Lang. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Omran A. Bukhres, eva Kühn, Franz Puntigam |
A Language Multidatabase System Communication Protocol. |
ICDE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid |
Multidatabase Transaction and Query Processing in Logic |
Database Transaction Models for Advanced Applications |
1992 |
DBLP BibTeX RDF |
|
| 1 | eva Kühn, Franz Puntigam |
Reliable Communication in VPL. |
PARLE |
1992 |
DBLP DOI BibTeX RDF |
parallel language extensions, implementation of parallel languages, parallel programming paradigms |
| 1 | eva Kühn, Franz Puntigam, Ahmed K. Elmagarmid |
An Execution Model for Distributed Database Transactions and Its Implementation in VPL. |
EDBT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | eva Kühn, Franz Puntigam |
Embedding MSQL Queries into a Logic Based Transaction Processing Framework. |
RIDE-TQP |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")