direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Diagram Characterization of Recursion

Ehrig, H., Kühnel, W. and Pfender, M.

Proc. 1st Intern. Symp. Category Theory Applied to Computation and Control, San Francisco. SPRINGER, 137–143. 1975

Download Bibtex Eintrag

Universal Theory of Automata

Ehrig, H., Kiermeier, K., Kreowski, H. and Kühnel, W.

||B. G. Teubner. 1974

Download Bibtex Eintrag



Computing with Algebraic Graph Transformations: Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears, 17–23. 1995

Download Bibtex Eintrag


Computing with Algebraic Graph Transformations: An Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. of Graph Grammar Workshop, Mallorca, Spain 1994

Download Bibtex Eintrag





Modeling Communication Spaces with Higher-Order Petri Nets

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

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. The International Institute for Advanced Studies in Systems Research and Cybernetics, 43-48. 2009

Download Bibtex Eintrag

Low- and High-Level Petri Nets with Individual Tokens

Modica, T., Gabriel, K., Ehrig, H., Hoffmann, K., Shareef, S., Ermel, C., Golas, U., Hermann, F. and Biermann, E.

2010

Link zur Publikation Download Bibtex Eintrag


Components for Algebra Transformation Systems

Orejas, F. and Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag

Integration and classification of data type and process specification techniques

Orejas, F. and Ehrig, H.

INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, FB 13, 54–56. 2000

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.

Workshop on Program Specification, Aarhus. SPRINGER, 322-369. 1981

Download Bibtex Eintrag

Parameterized Data Types in Algebraic Specification Languages

Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.

Proc.\ ICALP'80. SPRINGER, 157–168. 1980

Download Bibtex Eintrag

Tight and Loose Semantics for Transformation Systems

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

Recent Trends in Algebraic Development Techniques. SPRINGER, 287–290. 2001

Download Bibtex Eintrag

Refinement and Implementation

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

Algebraic Foundations of Systems Specification. Springer Verlag, 201–242. 1999

Download Bibtex Eintrag

A Logic of Graph Constraints

Orejas, F., Ehrig, H. and Prange, U.

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 179–198. 2008

Link zur Publikation Download Bibtex Eintrag

Parallel Graph Grammars

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

Automata, Languages, Development. Amsterdam: North Holland, 425–447. 1976

Download Bibtex Eintrag

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

Orejas, F., Guerra, E., Lara, J. d. and Ehrig, H.

Int. Conf. on Algebra and Coalgebra in Computer Science (CALCO'09). Springer, 383-397. 2009

Download Bibtex Eintrag

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe