Grit Denker

From MaRDI portal
Person:2703701

Available identifiers

zbMath Open denker.gritWikidataQ102181728 ScholiaQ102181728MaRDI QIDQ2703701

List of research outcomes





PublicationDate of PublicationType
Constructing systems as object communities2022-11-02Paper
A rewriting logic framework for soft constraints2014-01-24Paper
Modeling group communication protocols using multiset term rewriting2013-10-02Paper
Rewriting semantics of meta-objects and composable distributed services2001-05-07Paper
Maude versus Haskell: An experimental comparison in security protocol analysis2001-05-07Paper
https://portal.mardi4nfdi.de/entity/Q42229981999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q44008031998-08-02Paper
https://portal.mardi4nfdi.de/entity/Q48771831996-05-08Paper

Research outcomes over time

This page was built for person: Grit Denker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2703701&oldid=7614312"
Powered by MediaWiki