M. Große-Rhode

Available identifiers

zbMath Open grosse-rhode.martinMaRDI QIDQ910187

List of research outcomes

Publication	Date of Publication	Type
Algebra transformation systems as a unifying framework	2013-05-24	Paper
Formal concepts for an integrated internal model of the UML	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/Q4790393	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790392	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/Q4941931	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4941928	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

This page was built for person: M. Große-Rhode