Mark-Oliver Stehr

Available identifiers

zbMath Open stehr.mark-oliverMaRDI QIDQ880986

List of research outcomes

Publication	Date of Publication	Type
Petri's axioms of concurrency a selection of recent results	2022-12-09	Paper
Thinking in Cycles	2022-12-09	Paper
Who chooses commitment? Evidence and welfare implications	2022-07-15	Paper
A probabilistic approximate logic for neuro-symbolic learning and reasoning	2021-11-24	Paper
Inferring mechanism of action of an unknown compound from time series omics data	2018-10-17	Paper
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems	2015-09-08	Paper
Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing	2014-03-25	Paper
Plan in Maude specifying an active network programming language	2013-10-02	Paper
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types	2013-09-20	Paper
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework	2013-05-24	Paper
A Distributed Logic for Networked Cyber-Physical Systems	2012-06-29	Paper
Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework	2011-04-01	Paper
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf	2008-05-27	Paper
Compositionality for tightly coupled systems: a new application of the propositions-as-types interpretation	2008-04-14	Paper
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types	2007-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q5472887	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5472892	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4461953	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4421726	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790669	2003-02-04	Paper
CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi	2001-05-07	Paper

Research outcomes over time

This page was built for person: Mark-Oliver Stehr