Sebastian S. Bauer
From MaRDI portal
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 |
|---|---|---|
| Weighted modal transition systems Formal Methods in System Design | 2014-06-30 | Paper |
| General quantitative specification theories with modalities Computer Science – Theory and Applications | 2012-09-10 | Paper |
| Extending modal transition systems with structured labels MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
| Building a Modal Interface Theory for Concurrency and Data Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
| Views on behaviour protocols and their semantic foundation Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
| Quantitative refinement for weighted modal transition systems Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
| Interface theories for concurrency and data Theoretical Computer Science | 2011-07-07 | Paper |
| A contract-based approach to adaptivity The Journal of Logic and Algebraic Programming | 2011-06-07 | Paper |
| A modal interface theory with data constraints Lecture Notes in Computer Science | 2011-05-12 | Paper |
| On weak modal compatibility, refinement, and the MIO workbench Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Research outcomes over time
This page was built for person: Sebastian S. Bauer
