Mark-Oliver Stehr

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Review of Economic Studies	2022-07-15	Paper
A probabilistic approximate logic for neuro-symbolic learning and reasoning Journal of Logical and Algebraic Methods in Programming	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 Computing with New Resources	2015-09-08	Paper
Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing Specification, Algebra, and Software	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 Electronic Notes in Theoretical Computer Science	2013-05-24	Paper
A Distributed Logic for Networked Cyber-Physical Systems Fundamentals of Software Engineering	2012-06-29	Paper
Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework From Object-Orientation to Formal Methods	2011-04-01	Paper
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf Logic for Programming, Artificial Intelligence, and Reasoning	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 Higher-Order and Symbolic Computation	2007-05-21	Paper
scientific article; zbMATH DE number 5033848 (Why is no real title available?)	2006-06-19	Paper
scientific article; zbMATH DE number 5033853 (Why is no real title available?)	2006-06-19	Paper
scientific article; zbMATH DE number 2064462 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 1973125 (Why is no real title available?)	2003-09-01	Paper
scientific article; zbMATH DE number 1863394 (Why is no real title available?)	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