direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

A Graph Grammar Approach to Optimal and Consistent Schedules in Data Base Systems

Ehrig, H. and Kreowski, H.-J.

Proc. Workshop WG'79 Graphentheoretische Konzepte in der Informatik, Berlin. Hanser-Verlag München-Wien, 223–240. 1979

Download Bibtex Eintrag

Semantical Constructions for Categories of Behavioral Specifications

Orejas, F., Nivela, P. and Ehrig, H.

Computer Science - with Aspects from Topology. SPRINGER, 220–243. 1989

Download Bibtex Eintrag


Parameter passing commutes with implementation of parameterized data types

Ehrig, H. and Kreowski, H.-J.

9th Int. Coll. Automata, Languages, and Programming, Aarhu. SPRINGER, 197–211. 1982

Download Bibtex Eintrag

Institutions for Logic Programming

Orejas, F., Pino, E. and Ehrig, H.

TCS 173, 485–511. 1997

Download Bibtex Eintrag

An Event Structure Semantics for Graph Grammars with Parallel Productions

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

5th Int.\ Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, 240 - 256. 1996

Download Bibtex Eintrag

Keywords in Context: An Algebraic Specification

Ehrig, H. and Kreowski, H.-J.

Proc. Workshop on Program Specification, Aarhus, Denmark. SPRINGER, 78–83. 1981

Download Bibtex Eintrag

Algebraic Methods in the Compositional Analysis of Logic Programs

Orejas, F., Pino, E. and Ehrig, H.

Proc. MFCS'94. SPRINGER. 1994

Download Bibtex Eintrag


Parametrized Net Classes: A Uniform Approach to Petri Net Classes

Padberg, J. and Ehrig, H.

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 173–229. 2001

Link zur Publikation Download Bibtex Eintrag

Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts

Ehrig, H., Korff, M. and Löwe, M.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 24–37. 1991

Download Bibtex Eintrag


Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme

Ehrig, H. and Kreowski, H.-J.

Proc. Workshop Formale Modelle für Informationssysteme, IFB 21, 181–198. 1979

Download Bibtex Eintrag

Generation of Animation Views for Petri Nets in \textscGenGED

Ermel, C., Bardohl, R. and Ehrig, H.

Advances in Petri Nets: Petri Net Technology for Communication Based Systems 2003

Link zur Publikation Download Bibtex Eintrag

Pushout Properties: An Analysis of Gluing Constructions for Graphs,

Ehrig, H. and Kreowski, H.-J.

Proc. Nordwestdeutsches Kategorienseminar, Bielefeld. University of Bielefeld, 69–89. 1978

Download Bibtex Eintrag

Parallelism and Concurrency of Stochastic Graph Transformations.

Heckel, R., Ehrig, H., Golas, U. and Hermann, F.

ICGT. Springer, 96-110. 2012

Link zur Publikation Download Bibtex Eintrag

Algebraic Theory of Graph Grammars Applied to Consistency and Synchronization in Data Base Systems

Ehrig, H. and Kreowski, H.-J.

Proc. Workshop WG'78 Graphentheoretische Konzepte in der Informatik. Hanser Verlag, 227-244. 1978

Download Bibtex Eintrag

Towards Component Verification in the Generic Component Framework

Padberg, J., Ehrig, H. and Orejas, F.

Proc. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 07), Satellite Event of the European Joint Conferences on Theory and Practice of Software (ETAPS). Elsevier Science, 37 – 53. 2009

Link zur Publikation Download Bibtex Eintrag

Towards distributed graph grammars

Böhm, P., Ehrig, H., Hummert, U. and Löwe, M.

3rd Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 86–98. 1987

Download Bibtex Eintrag

Categorical theory of graphical systems and graph grammars

Ehrig, H. and Kreowski, H.-J.

Conf. Report Algebraic System Theory, Udine 1975, Lecture Notes Econ. Math. Syst. 131 (1976). SPRINGER, 323–351. 1976

Download Bibtex Eintrag

Compositional Modeling of Reactive Systems Using Open Nets

Baldan, P., Corradini, A., Ehrig, H. and Heckel, R.

Proc. of CONCUR 2001. SPRINGER, 502-518. 2001

Download Bibtex Eintrag

Parallelism of Manipulations in Multidimensional Information Structures

Ehrig, H. and Kreowski, H.-J.

Proc. Conf. Math. Foundations of Computer Science. SPRINGER, 284 – 293. 1976

Download Bibtex Eintrag

Algebraic High-Level Net Transformation Systems

Padberg, J., Ehrig, H. and Ribeiro, L.

1993

Download Bibtex Eintrag

Minimization Concepts of Automata in Pseudoclosed Categories

Ehrig, H. and Kreowski, H.-J.

Conf. Report Algebraic System Theory, Udine 1975, Lecture Notes Econ. Math. Syst. 131 (1976). SPRINGER, 359–374. 1976

Download Bibtex Eintrag

Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Padberg, J., Ehrig, H. and Rozenberg, G.

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 230–249. 2001

Download Bibtex Eintrag

Open Petri Nets: Non-deterministic Processes and Compositionality

Baldan, P., Corradini, A., Ehrig, H. and König, B.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER. 2008

Link zur Publikation Download Bibtex Eintrag

Algebraic Graph Theory Applied in Computer Science

Ehrig, H. and Kreowski, H.-J.

Proc. Conf. Categorical and Algebraic Methods in Comp. Science and Systems Theory, Dortmund, Germany 1976

Download Bibtex Eintrag

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks

Padberg, J., Hoffmann, K., Ehrig, H., Modica, T., Biermann, E. and Ermel, C.

Fundamental Approaches to Software Engineering. Springer, 383–397. 2007

Link zur Publikation Download Bibtex Eintrag

Concurrent Semantics of Algebraic Graph Transformations

Baldan, P., Corradini, A., Montanari, U., Rossi, F., Ehrig, H. and Löwe, M.

The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism and Distribution. World Scientific, 107–188. 1999

Download Bibtex Eintrag

Composition and Decomposition of DPO Transformations with Borrowed Context

Baldan, P., Ehrig, H. and König, B.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 153–167. 2006

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe