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
https://portal.mardi4nfdi.de/entity/Q2851057	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2849864	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
https://portal.mardi4nfdi.de/entity/Q5457267	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
https://portal.mardi4nfdi.de/entity/Q2703692	2001-05-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mark-Oliver Stehr