Peter Scholz
An Extended Version of Mini-Statecharts
1996
26

Manfred Kunde;Rolf Niedermeier;Klaus Reinhardt;Peter Rossmanith
Optimal Deterministic Sorting and Routing on Grids and Tori with Diagonals
1996
33

Peter Hubwieser;Manfred Broy
Der informationszentrierte Ansatz Ein Vorschlag fuer eine zeitgemaesse Form des Informatikunterrichtes am Gymnasium
1996
34

Giannis Bozas;Michael Jaedicke;Andreas Listl;Bernhard Mitschang;Angelika Reiser;Stephan Zimmermann
On Transforming a Sequential SQL-DBMS into a Parallel One: First Results and Experiences of the MIDAS Project
1996
16

Achim Schweikard
Detecting Geometric Infeasibility
1996
19

Olaf Mueller;Peter Scholz
Specification of Real-Time and Hybrid Systems in FOCUS
1996
19

Manfred Broy;Gheorghe Stefanescu
The Algebra of Stream Processing Functions
1996
42

Javier Esparza
Reachability in Live and Safe Free-Choice Petri Nets is NP-complete
1996
13

Radu Grosu;Ketil Stølen
A Denotational Model for Mobile Many-to-Many Data-flow Networks
1996
34

Kari Grano;Jukka Paakki
From Peer to Service - Object-Oriented Protocol Refinement in Kannel
1996
18