Christian Krause

From MaRDI portal
Person:608352

Available identifiers

zbMath Open krause.christianMaRDI QIDQ608352

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49925252021-06-09Paper
https://portal.mardi4nfdi.de/entity/Q49658702021-03-10Paper
https://portal.mardi4nfdi.de/entity/Q51500742021-02-09Paper
Probabilistic Timed Graph Transformation Systems2019-11-22Paper
Probabilistic timed graph transformation systems2018-11-01Paper
A compositional model to reason about end-to-end QoS in stochastic Reo connectors2018-07-16Paper
Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions2013-03-22Paper
Probabilistic Graph Transformation Systems2012-10-02Paper
Verification of Context-Dependent Channel-Based Service Models2011-01-08Paper
Modeling dynamic reconfigurations in Reo using high-level replacement systems2010-11-25Paper

Research outcomes over time

This page was built for person: Christian Krause

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