Person:910187

Available identifiers

zbMath Open grosse-rhode.martinMaRDI QIDQ910187

List of research outcomes

Publication	Date of Publication	Type
Formal concepts for an integrated internal model of the UML	2013-05-24	Paper
Algebra Transformation Systems as a Unifying Framework	2013-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4471710	2004-07-30	Paper
Semantic integration of heterogeneous software specifications.	2004-03-28	Paper
Compositional comparison of formal software specifications using transformation systems.	2002-09-09	Paper
Formal software specification with refinements and modules of typed graph transformation systems	2002-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4535008	2002-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4505699	2001-09-04	Paper
A coalgebraic presentation of structured transition systems	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2719333	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4790392	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790393	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4502818	2000-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4494249	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4942091	2000-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4941928	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4941931	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4266482	2000-02-07	Paper
First steps towards an institution of algebra replacement systems	1999-05-18	Paper
Categorical concepts for parameterized partial specifications	1999-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4231110	1999-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4222948	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4218129	1998-11-11	Paper
Applications of category theory to the area of algebraic specification in computer science	1998-07-16	Paper
Transition specifications for dynamic abstract data types	1998-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4763509	1995-04-18	Paper
Functorial theory of parameterized specifications in a general specification framework	1995-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4273668	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4005186	1992-09-27	Paper
Combining data type and recursive process specifications using projection algebras	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811687	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Grosse-Rhode