Mark-Oliver Stehr
Orcid: 0000-0001-7200-5001
According to our database1,
Mark-Oliver Stehr
authored at least 59 papers
between 1997 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Vulnerability Clustering and other Machine Learning Applications of Semantic Vulnerability Embeddings.
CoRR, 2023
2022
J. Log. Algebraic Methods Program., 2022
2019
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
CoRR, 2019
Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data.
CoRR, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
2018
Proceedings of the Computational Methods in Systems Biology, 2018
2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
Priority register: Application-defined replacement orderings for ad hoc reconciliation.
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015
2014
Future Gener. Comput. Syst., 2014
Proceedings of the Posters, 2014
Proceedings of the 2014 IEEE Military Communications Conference, 2014
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.
Proceedings of the Specification, Algebra, and Software, 2014
A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems.
Proceedings of the Computing with New Resources, 2014
2013
Sci. Comput. Program., 2013
Maximizing availability of content in disruptive environments by cross-layer optimization.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013
Proceedings of the 19th Annual International Conference on Mobile Computing and Networking, 2013
ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge.
Proceedings of the 32th IEEE Military Communications Conference, 2013
2012
ACM Trans. Embed. Comput. Syst., 2012
A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing.
J. Parallel Distributed Comput., 2012
J. Internet Serv. Appl., 2012
Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem.
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012
2011
Proceedings of the Ubiquitous Intelligence and Computing - 8th International Conference, 2011
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Proceedings of the Ubiquitous Intelligence and Computing - 7th International Conference, 2010
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010
2008
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.
Fundam. Informaticae, 2008
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008
2007
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
2006
Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.
Proceedings of the Logic for Programming, 2006
2005
The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving.
Fundam. Informaticae, 2005
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming, Specification, and Interactive Theorem Proving.
Fundam. Informaticae, 2005
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005
Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005
2004
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types.
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Exploring adaptability of secure group communication using formal prototyping techniques.
Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware, 2004
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.
Proceedings of the From Object-Orientation to Formal Methods, 2004
2003
Fundam. Informaticae, 2003
2002
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Proceedings of the Ausgezeichnete Informatikdissertationen 2002, 2002
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks.
Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002
Towards a unified language based on equational logic, rewriting logic, and type theory.
PhD thesis, 2002
2001
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001
2000
CINNI - A Generic Calculus of Explicit Substitutions and its Application to lambda-, varsigma- and pi- Calculi.
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
1999
1998
Proceedings of the Application and Theory of Petri Nets 1998, 1998
1997
Proceedings of the Application and Theory of Petri Nets 1997, 1997