Petri's Axioms of Concurrency- A Selection of Recent Results. - Olaf Kummer; Mark-Oliver Stehr (ICATPN, 1997)

Thinking in Cycles. - Mark-Oliver Stehr (ICATPN, 1998)

Maude as a Formal Meta-tool. - Manuel Clavel; Francisco Durán 001; Steven Eker; José Meseguer 001; Mark-Oliver Stehr (World Congress on Formal Methods, 1999)

CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. - Mark-Oliver Stehr (WRLA, 2000)

Rewriting Logic as a Unifying Framework for Petri Nets. - Mark-Oliver Stehr; José Meseguer 001; Peter Csaba Ölveczky (Unifying Petri Nets, 2001)

The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). - Pavel Naumov; Mark-Oliver Stehr; José Meseguer 001 (TPHOLs, 2001)

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. - Mark-Oliver Stehr; José Meseguer 001; Peter Csaba Ölveczky (UNIGRA, 2001)

Towards a unified language based on equational logic, rewriting logic, and type theory. - Mark-Oliver Stehr (2002)

Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. - José Meseguer 001; Peter Csaba Ölveczky; Mark-Oliver Stehr; Carolyn L. Talcott (DANCE, 2002)

Programmierung, Spezifikation und Interaktives Beweisen. - Mark-Oliver Stehr (Ausgezeichnete Informatikdissertationen, 2002)

Plan in Maude: Specifying an Active Network Programming Language. - Mark-Oliver Stehr; Carolyn L. Talcott (WRLA, 2002)

Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. - Amin Coja-Oghlan; Mark-Oliver Stehr (Fundam. Informaticae, 2003)

Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. - Mark-Oliver Stehr; José Meseguer 001 (Essays in Memory of Ole-Johan Dahl, 2004)

Exploring adaptability of secure group communication using formal prototyping techniques. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Mark-Oliver Stehr; Carolyn L. Talcott (Adaptive and Reflective Middleware, 2004)

Practical Techniques for Language Design and Prototyping. - Mark-Oliver Stehr; Carolyn L. Talcott (Foundations of Global Computing, 2005)

Formal prototyping in early stages of protocol design. - Alwyn Goodloe; Carl A. Gunter; Mark-Oliver Stehr (WITS, 2005)

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. - Mark-Oliver Stehr (Fundam. Informaticae, 2005)

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. - Mark-Oliver Stehr (Fundam. Informaticae, 2005)

An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. - Carsten Schürmann; Mark-Oliver Stehr (LPAR, 2006)

Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Mark-Oliver Stehr; Carolyn L. Talcott (PRDC, 2006)

A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (FMOODS, 2007)

Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (FORMATS, 2007)

Some Tools. - Manuel Clavel; Francisco Durán 001; Steven Eker; Patrick Lincoln; Narciso Martí-Oliet; José Meseguer 001; Carolyn L. Talcott; Christiano Braga; Azadeh Farzan; Joe Hendrix; Peter Csaba Ölveczky; Miguel Palomino; et al. (All About Maude, 2007)

CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. - Daniel Elenius; Grit Denker; Mark-Oliver Stehr; Rukman Senanayake; Carolyn L. Talcott; David Wilkins (POLICY, 2007)

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. - Iliano Cervesato; Mark-Oliver Stehr (High. Order Symb. Comput., 2007)

Policy-Based Cognitive Radios. - David Wilkins; Grit Denker; Mark-Oliver Stehr; Daniel Elenius; Rukman Senanayake; Carolyn L. Talcott (IEEE Wirel. Commun., 2007)

Formal specification of agent-object oriented programs. - Francesco Pagliarecci; Luca Spalazzi; Mark-Oliver Stehr; Carolyn L. Talcott (CTS, 2008)

Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (DATE, 2008)

A Semantic Web Reasoner for Rules, Equations and Constraints. - Daniel Elenius; Grit Denker; Mark-Oliver Stehr (RR, 2008)

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. - Mark-Oliver Stehr (Fundam. Informaticae, 2008)

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems. - Minyoung Kim 002; Mark-Oliver Stehr; Jinwoo Kim; Soonhoi Ha (EUC, 2010)

Toward Distributed Declarative Control of Networked Cyber-Physical Systems. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott (UIC, 2010)

A Formal Methodology for Compositional Cross-Layer Optimization. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. - Mark-Oliver Stehr; Carolyn L. Talcott; John M. Rushby; Patrick Lincoln; Minyoung Kim 002; Steven Cheung; Andy Poggio (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Tailoring group membership consistency for mobile networks. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Carolyn L. Talcott; Mark-Oliver Stehr (CTS, 2011)

Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. - Minyoung Kim 002; Mark-Oliver Stehr; Ashish Gehani; Carolyn L. Talcott (UIC, 2011)

Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem. - Françoise Sailhan; Mark-Oliver Stehr (GreenCom, 2012)

Resilient dependable cyber-physical systems: a middleware perspective. - Grit Denker; Nikil D. Dutt; Sharad Mehrotra; Mark-Oliver Stehr; Carolyn L. Talcott; Nalini Venkatasubramanian (J. Internet Serv. Appl., 2012)

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. - Jinwoo Kim; Minyoung Kim 002; Mark-Oliver Stehr; Hyunok Oh; Soonhoi Ha (J. Parallel Distributed Comput., 2012)

xTune: A formal methodology for cross-layer tuning of mobile embedded systems. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott; Nikil D. Dutt; Nalini Venkatasubramanian (ACM Trans. Embed. Comput. Syst., 2012)

ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge. - Samuel B. Wood; James Mathewson; Joshua Joy; Mark-Oliver Stehr; Minyoung Kim 002; Ashish Gehani; Mario Gerla; Hamid R. Sadjadpour; J. J. Garcia-Luna-Aceves (MILCOM, 2013)

Network coding for content-based intermittently connected emergency networks. - Joshua Joy; Yu-Ting Yu; Mario Gerla; Samuel B. Wood; James Mathewson; Mark-Oliver Stehr (MobiCom, 2013)

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems. - Jong-Seok Choi; Tim McCarthy; Minyoung Kim 002; Mark-Oliver Stehr (MobiQuitous, 2013)

Maximizing availability of content in disruptive environments by cross-layer optimization. - Minyoung Kim 002; Ashish Gehani; Je-Min Kim; Dawood Tariq; Mark-Oliver Stehr; Jin-Soo Kim 001 (SAC, 2013)

A distributed logic for Networked Cyber-Physical Systems. - Minyoung Kim 002; Mark-Oliver Stehr; Carolyn L. Talcott (Sci. Comput. Program., 2013)

A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems. - Mark-Oliver Stehr; Minyoung Kim 002; Tim McCarthy (Computing with New Resources, 2014)

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott (Specification, Algebra, and Software, 2014)

Adaptive Interest Modeling Improves Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (MILCOM, 2014)

Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. - Hua Li 002; Ralph Costantini; David Anhalt; Rafael Alonso; Mark-Oliver Stehr; Carolyn L. Talcott; Minyoung Kim 002; Timothy McCarthy; Samuel B. Wood (UMAP Workshops, 2014)

Tailoring consistency in group membership for mobile networks. - Sebastian Gutierrez-Nolasco; Nalini Venkatasubramanian; Mark-Oliver Stehr; Carolyn L. Talcott (Future Gener. Comput. Syst., 2014)

Priority register: Application-defined replacement orderings for ad hoc reconciliation. - Sathiya Prabhu Kumar; Sylvain Lefebvre 002; Minyoung Kim 002; Mark-Oliver Stehr (IEEE BigData, 2015)

ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. - Samuel B. Wood; James Mathewson; Joshua Joy; Mark-Oliver Stehr; Minyoung Kim 002; Ashish Gehani; Mario Gerla; Hamid R. Sadjadpour; J. J. Garcia-Luna-Aceves (Logic, Rewriting, and Concurrency, 2015)

Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Hang Li; Peter Nemes; Lida Parvin; Sylwia Stopka; Sunil Hwang; Ziad J. Sahab; Linwen Zhang; Deborah I. Bunin; et al. (CMSB, 2018)

Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Mark-Oliver Stehr; Carolyn L. Talcott; et al. (CMSB, 2019)

Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. - Mark-Oliver Stehr; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Carolyn L. Talcott; Brian M. Davis; Christine A. Morton; et al. (CoRR, 2019)

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott; Merrill Knapp; Akos Vertes (CoRR, 2019)

Transcriptional Response of SK-N-AS Cells to Methamidophos. - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Mark-Oliver Stehr; Carolyn L. Talcott; et al. (CoRR, 2019)

A probabilistic approximate logic for neuro-symbolic learning and reasoning. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott (J. Log. Algebraic Methods Program., 2022)

Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings. - Mark-Oliver Stehr; Minyoung Kim 002 (CoRR, 2023)