direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Power and Initial Automata in Pseudoclosed Categories

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

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

Download Bibtex Eintrag

Interoperability in Train Control Systems Specification of Scenarios Using Open Nets

Padberg, J., Jansen, L., Heckel, R. and Ehrig, H.

Proc. Integrated Design and Process Technology, 17–24. 1998

Download Bibtex Eintrag


Deriving Structures from Structures

Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. and Winkowski, J.

Proc. 7th Int. Symp. on Math. Found. of Comp. Science, Zakopane. SPRINGER, 177–190. 1978

Download Bibtex Eintrag


GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, R., Nunes, D. and Martini, A.

Proc. of the 3rd German-Brazilian Workshop on Information Technology, Berlin, December, 14th-15th 1995. Forschungszentrum Jülich GmbH, Bilateral Seminars of the International Bureau, Volume 26. 1996

Download Bibtex Eintrag

New Concepts for High-Level Petri Nets in the Application Domain of Train Control

Padberg, J., Schiller, P. and Ehrig, H.

Proc.\ Vol.\ 2, 9th Symposium on Transportation Systems, 153–160. 2000

Download Bibtex Eintrag

GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Korff, M., Padberg, J., Ribeiro, R., Nunes, D., Martins, J. and Martini, A.

Proc. of the Workshop on Information Technology: Cooperative Research with Industrial Partners between Germany and Brazil. PUC/Rio Press. 1993

Download Bibtex Eintrag

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems

Ehrig, H., Kreowski, H.-J., Mahr, B. and Padawitz, P.

Proc. Conf. Math. Foundations of Computer Science, Rydzyna. SPRINGER, 231-245. 1980

Download Bibtex Eintrag

Algebraic Specification Grammars

Parisi-Presicce, F. and Ehrig, H.

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

Download Bibtex Eintrag

Conceptual Model of the Graphical Editor \textscGenGEd for the Visual Definition of Visual Languages

Bardohl, R. and Ehrig, H.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 252–266. 2000

Download Bibtex Eintrag

Graph Rewriting with Unification and Composition

Parisi-Presicce, F., Ehrig, H. and Montanari, U.

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

Download Bibtex Eintrag

Conceptual Model of the Graphical Editor \textscGenGEd

Bardohl, R. and Ehrig, H.

Proc. \ 6th Int.\ Workshop on Theory and Application of Graph Transformation (TAGT'98) 1998

Download Bibtex Eintrag


From Algebraic Graph Transformation to Adhesive HLR Categories and Systems

Prange, U. and Ehrig, H.

Algebraic Informatics. Proceedings of CAI 2007. SPRINGER, 122–146. 2007

Link zur Publikation Download Bibtex Eintrag

Generic Description, Behavior and Animation of Visual Modeling Languages

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

Proc. Integrated Design and Process Technology (IDPT 2000) 2000

Download Bibtex Eintrag

Graph Transformation in Adhesive HLR Categories

Prange, U. and Ehrig, H.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006

Link zur Publikation Download Bibtex Eintrag

Node Type Inheritance Concepts for Typed Graph Transformation

Bardohl, R., Ehrig, H., de Lara, J., Runge, O., Taentzer, G. and Weinhold, I.

2003

Link zur Publikation Download Bibtex Eintrag

A Case Study of Abstract Implementation and their Correctness

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

Proc. 4th Int. Symp. on Programming. SPRINGER, 108–122. 1980

Download Bibtex Eintrag

Graph Transformation in Adhesive HLR Categories

Prange, U. and Ehrig, H.

Proceedings of InterSymp 2005. IIAS. 2005

Link zur Publikation Download Bibtex Eintrag

Integrating Meta Modelling with Graph Transformation for Efficient Visual Language Definition and Model Manipulation

Bardohl, R., Ehrig, H., de Lara, J. and Taentzer, G.

Proc. Fundamental Aspects of Software Engineering 2004. SPRINGER. 2004

Download Bibtex Eintrag

Algebraic implementation of abstract data types: Concept, Syntax, Semantics, and Correctness.

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

Proc. ICALP'80. SPRINGER, 142–156. 1980

Download Bibtex Eintrag

Transformations in Reconfigurable Place/Transition Systems

Prange, U., Ehrig, H., Hoffman, K. and Padberg, J.

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. SPRINGER, 96–113. 2008

Link zur Publikation Download Bibtex Eintrag


Stepwise specification and implementation of abstract data types

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

5th Int. Coll. Automata, Languages, and Programming. SPRINGER, 205–226. 1978

Download Bibtex Eintrag

Model Transformations Should be Functors

Batory, D., Diaz, O., Ehrig, H., Ermel, C., Prange, U. and Taentzer, G.

, 75–81. 2007

Link zur Publikation Download Bibtex Eintrag

Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

Rangel, G., König, B. and Ehrig, H.

Proc. Foundations of Software Science and Computational Structures (FOSSACS'08). SPRINGER, 413-427. 2008

Link zur Publikation Download Bibtex Eintrag


Canonical Derivations for High Level Replacement Systems

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

Graph Transformation in Computer Science. SPRINGER, 153–169. 1994

Download Bibtex Eintrag

Bisimulation Verification for the DPO Approach with Borrowed Contexts

Rangel, G., König, B. and Ehrig, H.

Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07). Electronic Communications of the EASST. 2007

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe