| Publication | Date of Publication | Type |
|---|
Algebra transformation systems as a unifying framework
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
Formal concepts for an integrated internal model of the UML
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
scientific article; zbMATH DE number 2079664 (Why is no real title available?)
| 2004-07-30 | Paper |
Semantic integration of heterogeneous software specifications.
Monographs in Theoretical Computer Science. An EATCS Series | 2004-03-28 | Paper |
Compositional comparison of formal software specifications using transformation systems.
Formal Aspects of Computing | 2002-09-09 | Paper |
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences | 2002-08-04 | Paper |
scientific article; zbMATH DE number 1754583 (Why is no real title available?)
| 2002-06-12 | Paper |
scientific article; zbMATH DE number 1512072 (Why is no real title available?)
| 2001-09-04 | Paper |
A coalgebraic presentation of structured transition systems
Theoretical Computer Science | 2001-08-20 | Paper |
scientific article; zbMATH DE number 1609607 (Why is no real title available?)
| 2001-06-25 | Paper |
scientific article; zbMATH DE number 1860665 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1860664 (Why is no real title available?)
| 2001-01-01 | Paper |
scientific article; zbMATH DE number 1504839 (Why is no real title available?)
| 2000-11-07 | Paper |
scientific article; zbMATH DE number 1487737 (Why is no real title available?)
| 2000-08-10 | Paper |
scientific article; zbMATH DE number 1418809 (Why is no real title available?)
| 2000-03-30 | Paper |
scientific article; zbMATH DE number 1418368 (Why is no real title available?)
| 2000-03-19 | Paper |
scientific article; zbMATH DE number 1418365 (Why is no real title available?)
| 2000-03-19 | Paper |
scientific article; zbMATH DE number 1346359 (Why is no real title available?)
| 2000-02-07 | Paper |
First steps towards an institution of algebra replacement systems
Applied Categorical Structures | 1999-05-18 | Paper |
Categorical concepts for parameterized partial specifications
Mathematical Structures in Computer Science | 1999-03-30 | Paper |
scientific article; zbMATH DE number 1260274 (Why is no real title available?)
| 1999-03-10 | Paper |
scientific article; zbMATH DE number 1231625 (Why is no real title available?)
| 1999-01-06 | Paper |
scientific article; zbMATH DE number 1222590 (Why is no real title available?)
| 1998-11-11 | Paper |
Applications of category theory to the area of algebraic specification in computer science
Applied Categorical Structures | 1998-07-16 | Paper |
Transition specifications for dynamic abstract data types
Applied Categorical Structures | 1998-03-02 | Paper |
scientific article; zbMATH DE number 743582 (Why is no real title available?)
| 1995-04-18 | Paper |
Functorial theory of parameterized specifications in a general specification framework
Theoretical Computer Science | 1995-04-06 | Paper |
scientific article; zbMATH DE number 475421 (Why is no real title available?)
| 1994-01-13 | Paper |
scientific article; zbMATH DE number 58299 (Why is no real title available?)
| 1992-09-27 | Paper |
Combining data type and recursive process specifications using projection algebras
Theoretical Computer Science | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4080886 (Why is no real title available?)
| 1988-01-01 | Paper |
