default search action

combined dblp search
author search
venue search
publication search

ask others

Mark-Oliver Stehr

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-05935
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-05935
Mark-Oliver Stehr, Minyoung Kim:
Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings. CoRR abs/2310.05935 (2023)
2022
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/StehrKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/StehrKT22
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)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/VertesAAKPSBKNP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/VertesAAKPSBKNP19
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
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-02291
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-02291
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11321
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-03841
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-03841
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)
2018
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/VertesAAKLNPSHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/VertesAAKLNPSHS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/bigdataconf/KumarLKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bigdataconf/KumarLKS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/WoodMJSKGGSG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/WoodMJSKGGSG15
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
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/Gutierrez-NolascoVST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/Gutierrez-NolascoVST14
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)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/StehrKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/StehrKM14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/StehrKT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/StehrKT14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/milcom/LiCAASTKMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/milcom/LiCAASTKMW14
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/um/LiCAASTKMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/um/LiCAASTKMW14
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
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/KimST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/KimST13
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
A distributed logic for Networked Cyber-Physical Systems. Sci. Comput. Program. 78(12): 2453-2467 (2013)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/milcom/WoodMJSKGGSG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/milcom/WoodMJSKGGSG13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mobicom/JoyYGWMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobicom/JoyYGWMS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/mobiquitous/ChoiMKS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobiquitous/ChoiMKS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/KimGKTSK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/KimGKTSK13
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
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jisa/DenkerDMSTV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jisa/DenkerDMSTV12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/KimKSOH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/KimKSOH12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/KimSTDV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/KimSTDV12
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)
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/greencom/SailhanS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/greencom/SailhanS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/StehrTRLKCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/StehrTRLKCP11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KimSTDV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KimSTDV11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/Gutierrez-NolascoVTS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/Gutierrez-NolascoVTS11
Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Carolyn L. Talcott, Mark-Oliver Stehr:
Tailoring group membership consistency for mobile networks. CTS 2011: 548-554
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/KimST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/KimST11
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott:
A Distributed Logic for Networked Cyber-Physical Systems. FSEN 2011: 190-205
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/KimSGT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/KimSGT11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/euc/KimSKH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euc/KimSKH10
Minyoung Kim, Mark-Oliver Stehr, Jinwoo Kim, Soonhoi Ha:
An Application Framework for Loosely Coupled Networked Cyber-Physical Systems. EUC 2010: 144-153
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/StehrKT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/StehrKT10
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
Toward Distributed Declarative Control of Networked Cyber-Physical Systems. UIC 2010: 397-413

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j6]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/Stehr08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Stehr08
Mark-Oliver Stehr:
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. Fundam. Informaticae 82(4): 311-340 (2008)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cts/PagliarecciSST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cts/PagliarecciSST08
Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott:
Formal specification of agent-object oriented programs. CTS 2008: 127-134
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/date/KimSTDV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/KimSTDV08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/EleniusDS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/EleniusDS08
Daniel Elenius, Grit Denker, Mark-Oliver Stehr:
A Semantic Web Reasoner for Rules, Equations and Constraints. RR 2008: 135-149
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/CervesatoS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/CervesatoS07
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]
- view
  authority control:
- export record
  dblp key:
  - journals/wc/WilkinsDSEST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/wc/WilkinsDSEST07
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)
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/KimSTDV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/KimSTDV07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/KimSTDV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/KimSTDV07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/policy/EleniusDSSTW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/policy/EleniusDSSTW07
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
[p2]
- view
  authority control:
- export record
  dblp key:
  - conf/maude/ClavelDELMMTBFHOPSSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/maude/ClavelDELMMTBFHOPSSV07
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
2006
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/SchurmannS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/SchurmannS06
Carsten Schürmann, Mark-Oliver Stehr:
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. LPAR 2006: 150-166
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/Gutierrez-NolascoVST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/Gutierrez-NolascoVST06
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
[j3]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/Stehr05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Stehr05
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]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/Stehr05a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Stehr05a
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)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/GoodloeGS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/GoodloeGS05
Alwyn Goodloe, Carl A. Gunter, Mark-Oliver Stehr:
Formal prototyping in early stages of protocol design. WITS 2005: 67-80
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Stehr06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Stehr06
Mark-Oliver Stehr:
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. FSEN 2005: 299-323
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/StehrT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/StehrT05
Mark-Oliver Stehr, Carolyn L. Talcott:
Practical Techniques for Language Design and Prototyping. Foundations of Global Computing 2005
2004
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/StehrM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/StehrM04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/middleware/Gutierrez-NolascoVST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/middleware/Gutierrez-NolascoVST04
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CervesatoS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CervesatoS05
Iliano Cervesato, Mark-Oliver Stehr:
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types. WRLA 2004: 183-207
2003
[j1]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/Coja-OghlanS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Coja-OghlanS03
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)
2002
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/0009856
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0009856
Mark-Oliver Stehr:
Towards a unified language based on equational logic, rewriting logic, and type theory. University of Hamburg, Germany, 2002, pp. 1-589
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/dance/MeseguerOST02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dance/MeseguerOST02
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/StehrT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StehrT02
Mark-Oliver Stehr, Carolyn L. Talcott:
Plan in Maude: Specifying an Active Network Programming Language. WRLA 2002: 240-260
[p1]
- view
- export record
  dblp key:
  - conf/gi/Stehr02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Stehr02
Mark-Oliver Stehr:
Programmierung, Spezifikation und Interaktives Beweisen. Ausgezeichnete Informatikdissertationen 2002: 185-199
2001
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/StehrMO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/StehrMO01
Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky:
Rewriting Logic as a Unifying Framework for Petri Nets. Unifying Petri Nets 2001: 250-303
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/NaumovSM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/NaumovSM01
Pavel Naumov, Mark-Oliver Stehr, José Meseguer:
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). TPHOLs 2001: 329-345
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/StehrMO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StehrMO01
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Stehr00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Stehr00
Mark-Oliver Stehr:
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi. WRLA 2000: 70-92

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ClavelDEMS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ClavelDEMS99
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Stehr98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Stehr98
Mark-Oliver Stehr:
Thinking in Cycles. ICATPN 1998: 205-225
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KummerS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KummerS97
Olaf Kummer, Mark-Oliver Stehr:
Petri's Axioms of Concurrency- A Selection of Recent Results. ICATPN 1997: 195-214

Coauthor Index

see FAQ

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.