![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Mark-Oliver Stehr
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2002
- [b1]Mark-Oliver Stehr:
Towards a unified language based on equational logic, rewriting logic, and type theory. University of Hamburg, Germany, 2002, pp. 1-589
Journal Articles
- 2022
- [j12]Mark-Oliver Stehr
, Minyoung Kim, Carolyn L. Talcott:
A probabilistic approximate logic for neuro-symbolic learning and reasoning. J. Log. Algebraic Methods Program. 124: 100719 (2022) - 2014
- [j11]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott:
Tailoring consistency in group membership for mobile networks. Future Gener. Comput. Syst. 31: 134-146 (2014) - 2013
- [j10]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
A distributed logic for Networked Cyber-Physical Systems. Sci. Comput. Program. 78(12): 2453-2467 (2013) - 2012
- [j9]Grit Denker, Nikil D. Dutt
, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn L. Talcott, Nalini Venkatasubramanian:
Resilient dependable cyber-physical systems: a middleware perspective. J. Internet Serv. Appl. 3(1): 41-49 (2012) - [j8]Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha:
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing. J. Parallel Distributed Comput. 72(4): 564-578 (2012) - [j7]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt
, Nalini Venkatasubramanian:
xTune: A formal methodology for cross-layer tuning of mobile embedded systems. ACM Trans. Embed. Comput. Syst. 11(4): 73:1-73:23 (2012) - 2008
- [j6]Mark-Oliver Stehr:
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. Fundam. Informaticae 82(4): 311-340 (2008) - 2007
- [j5]Iliano Cervesato
, Mark-Oliver Stehr:
Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. High. Order Symb. Comput. 20(1-2): 3-35 (2007) - [j4]David Wilkins, Grit Denker, Mark-Oliver Stehr, Daniel Elenius, Rukman Senanayake, Carolyn L. Talcott:
Policy-Based Cognitive Radios. IEEE Wirel. Commun. 14(4): 41-46 (2007) - 2005
- [j3]Mark-Oliver Stehr:
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. Fundam. Informaticae 68(1-2): 131-174 (2005) - [j2]Mark-Oliver Stehr:
The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving. Fundam. Informaticae 68(3): 249-288 (2005) - 2003
- [j1]Amin Coja-Oghlan, Mark-Oliver Stehr:
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. Fundam. Informaticae 54(2-3): 151-164 (2003)
Conference and Workshop Papers
- 2019
- [c42]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, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). CMSB 2019: 368-372 - 2018
- [c41]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, Merrill Knapp, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Sean R. Dinn, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. CMSB 2018: 238-255 - 2015
- [c40]Sathiya Prabhu Kumar, Sylvain Lefebvre, Minyoung Kim, Mark-Oliver Stehr:
Priority register: Application-defined replacement orderings for ad hoc reconciliation. IEEE BigData 2015: 1718-1727 - [c39]Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves:
ICEMAN: A Practical Architecture for Situational Awareness at the Network Edge. Logic, Rewriting, and Concurrency 2015: 617-631 - 2014
- [c38]Mark-Oliver Stehr, Minyoung Kim, Tim McCarthy:
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems. Computing with New Resources 2014: 379-393 - [c37]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. Specification, Algebra, and Software 2014: 402-433 - [c36]Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood:
Adaptive Interest Modeling Improves Content Services at the Network Edge. MILCOM 2014: 1027-1033 - [c35]Hua Li, Ralph Costantini, David Anhalt, Rafael Alonso, Mark-Oliver Stehr, Carolyn L. Talcott, Minyoung Kim, Timothy McCarthy, Samuel B. Wood:
Adaptive Interest Modeling Enables Proactive Content Services at the Network Edge. UMAP Workshops 2014 - 2013
- [c34]Samuel B. Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani, Mario Gerla, Hamid R. Sadjadpour, J. J. Garcia-Luna-Aceves:
ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge. MILCOM 2013: 1512-1517 - [c33]Joshua Joy, Yu-Ting Yu, Mario Gerla, Samuel B. Wood, James Mathewson, Mark-Oliver Stehr:
Network coding for content-based intermittently connected emergency networks. MobiCom 2013: 123-126 - [c32]Jong-Seok Choi, Tim McCarthy, Minyoung Kim, Mark-Oliver Stehr:
Adaptive Wireless Networks as an Example of Declarative Fractionated Systems. MobiQuitous 2013: 549-563 - [c31]Minyoung Kim, Ashish Gehani, Je-Min Kim, Dawood Tariq, Mark-Oliver Stehr, Jin-Soo Kim:
Maximizing availability of content in disruptive environments by cross-layer optimization. SAC 2013: 447-454 - 2012
- [c30]Françoise Sailhan, Mark-Oliver Stehr:
Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem. GreenCom 2012: 34-41 - 2011
- [c29]Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio:
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 110-143 - [c28]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt
, Nalini Venkatasubramanian:
A Formal Methodology for Compositional Cross-Layer Optimization. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 207-222 - [c27]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr:
Tailoring group membership consistency for mobile networks. CTS 2011: 548-554 - [c26]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
A Distributed Logic for Networked Cyber-Physical Systems. FSEN 2011: 190-205 - [c25]Minyoung Kim, Mark-Oliver Stehr, Ashish Gehani, Carolyn L. Talcott:
Ensuring Security and Availability through Model-Based Cross-Layer Adaptation. UIC 2011: 310-325 - 2010
- [c24]Minyoung Kim, Mark-Oliver Stehr, Jinwoo Kim, Soonhoi Ha:
An Application Framework for Loosely Coupled Networked Cyber-Physical Systems. EUC 2010: 144-153 - [c23]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC 2010: 397-413 - 2008
- [c22]Francesco Pagliarecci, Luca Spalazzi
, Mark-Oliver Stehr, Carolyn L. Talcott:
Formal specification of agent-object oriented programs. CTS 2008: 127-134 - [c21]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt
, Nalini Venkatasubramanian:
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE 2008: 646-651 - [c20]Daniel Elenius, Grit Denker, Mark-Oliver Stehr:
A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149 - 2007
- [c19]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt
, Nalini Venkatasubramanian:
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. FMOODS 2007: 285-300 - [c18]Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt
, Nalini Venkatasubramanian:
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS 2007: 257-273 - [c17]Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn L. Talcott, David Wilkins:
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies. POLICY 2007: 261-265 - 2006
- [c16]Carsten Schürmann, Mark-Oliver Stehr:
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. LPAR 2006: 150-166 - [c15]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott:
Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation. PRDC 2006: 113-120 - 2005
- [c14]Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr:
Formal prototyping in early stages of protocol design. WITS 2005: 67-80 - [c13]Mark-Oliver Stehr:
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. FSEN 2005: 299-323 - 2004
- [c12]Mark-Oliver Stehr, José Meseguer:
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework. Essays in Memory of Ole-Johan Dahl 2004: 334-375 - [c11]Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott:
Exploring adaptability of secure group communication using formal prototyping techniques. Adaptive and Reflective Middleware 2004: 232-237 - [c10]Iliano Cervesato
, Mark-Oliver Stehr:
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. WRLA 2004: 183-207 - 2002
- [c9]José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott:
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. DANCE 2002: 494-510 - [c8]Mark-Oliver Stehr, Carolyn L. Talcott:
Plan in Maude: Specifying an Active Network Programming Language. WRLA 2002: 240-260 - 2001
- [c7]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303 - [c6]Pavel Naumov
, Mark-Oliver Stehr, José Meseguer:
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345 - [c5]Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. UNIGRA 2001: 140-162 - 2000
- [c4]Mark-Oliver Stehr:
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. WRLA 2000: 70-92 - 1999
- [c3]Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer, Mark-Oliver Stehr:
Maude as a Formal Meta-tool. World Congress on Formal Methods 1999: 1684-1703 - 1998
- [c2]Mark-Oliver Stehr:
Thinking in Cycles. ICATPN 1998: 205-225 - 1997
- [c1]Olaf Kummer, Mark-Oliver Stehr:
Petri's Axioms of Concurrency- A Selection of Recent Results. ICATPN 1997: 195-214
Parts in Books or Collections
- 2007
- [p2]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo:
Some Tools. All About Maude 2007: 667-693 - 2002
- [p1]Mark-Oliver Stehr:
Programmierung, Spezifikation und Interaktives Beweisen. Ausgezeichnete Informatikdissertationen 2002: 185-199
Informal and Other Publications
- 2023
- [i5]Mark-Oliver Stehr, Minyoung Kim:
Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings. CoRR abs/2310.05935 (2023) - 2019
- [i4]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, Christopher J. Sevinsky, Maria I. Zavodszky, Akos Vertes:
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. CoRR abs/1905.02291 (2019) - [i3]Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott, Merrill Knapp, Akos Vertes:
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. CoRR abs/1907.11321 (2019) - [i2]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, Brian M. Davis, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky:
Transcriptional Response of SK-N-AS Cells to Methamidophos. CoRR abs/1908.03841 (2019) - 2005
- [i1]Mark-Oliver Stehr, Carolyn L. Talcott:
Practical Techniques for Language Design and Prototyping. Foundations of Global Computing 2005
Coauthor Index
aka: Minyoung Kim
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint