Mark-Oliver Stehr

From MaRDI portal
Person:880986

Available identifiers

zbMath Open stehr.mark-oliverMaRDI QIDQ880986

List of research outcomes





PublicationDate of PublicationType
Petri's axioms of concurrency a selection of recent results2022-12-09Paper
Thinking in Cycles2022-12-09Paper
Who chooses commitment? Evidence and welfare implications2022-07-15Paper
A probabilistic approximate logic for neuro-symbolic learning and reasoning2021-11-24Paper
Inferring mechanism of action of an unknown compound from time series omics data2018-10-17Paper
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems2015-09-08Paper
Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing2014-03-25Paper
Plan in Maude specifying an active network programming language2013-10-02Paper
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types2013-09-20Paper
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework2013-05-24Paper
A Distributed Logic for Networked Cyber-Physical Systems2012-06-29Paper
Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework2011-04-01Paper
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf2008-05-27Paper
Compositionality for tightly coupled systems: a new application of the propositions-as-types interpretation2008-04-14Paper
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types2007-05-21Paper
https://portal.mardi4nfdi.de/entity/Q54728872006-06-19Paper
https://portal.mardi4nfdi.de/entity/Q54728922006-06-19Paper
https://portal.mardi4nfdi.de/entity/Q44619532004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44217262003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q47906692003-02-04Paper
CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi2001-05-07Paper

Research outcomes over time

This page was built for person: Mark-Oliver Stehr