Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Heckel, Reiko"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Compositional SOS and beyond: A coalgebraic view of open systems
Andrea Corradini
,
Reiko Heckel
,
Ugo Montanari
Theoretical Computer Science
280
(1-2), 2002, pp. 163-192
A coalgebraic presentation of structured transition systems
Andrea Corradini
,
Martin Gross̈e-Rhode
,
Reiko Heckel
Theoretical Computer Science
260
(1-2), 2001, pp. 27-55
Graphical operational semantics
Andrea Corradini
,
Reiko Heckel
,
Ugo Montanari
Proceedings in Informatics
8
, 2000, pp. 411-418
Formalizing the development of agent-based systems using graph processes
Ralph Depke
,
Reiko Heckel
Proceedings in Informatics
8
, 2000, pp. 419-426
UML - A universal modeling language?
Gregor Engels
,
Reiko Heckel
,
Stefan Sauer
Lecture Notes in Computer Science
1825
, 2000, pp. 24-38
From trees to graphs: Defining the semantics of diagram languages with graph transformation
Gregor Engels
,
Reiko Heckel
Proceedings in Informatics
8
, 2000, pp. 373-382
Graph transformation as a conceptual and formal framework for system modeling and model evolution
Gregor Engels
,
Reiko Heckel
Lecture Notes in Computer Science
1853
, 2000, pp. 127-150
Integrating the specification techniques of graph transformation and temporal logic
Reiko Heckel
,
Hartmut Ehrig
,
Uwe Wolter
,
Andrea Corradini
Lecture Notes in Computer Science
1295
, 1997, pp. 219-228