Andreas Schroeder

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!

PublicationDate of PublicationType
Ode to the PST
Software, Services, and Systems
2015-06-22Paper
Software engineering perspectives on physiological computing2012-11-07Paper
A contract-based approach to adaptivity
The Journal of Logic and Algebraic Programming
2011-06-07Paper
On weak modal compatibility, refinement, and the MIO workbench
Tools and Algorithms for the Construction and Analysis of Systems
2010-04-27Paper
Service Specification and Matchmaking Using Description Logic
Algebraic Methodology and Software Technology
2009-01-27Paper


Research outcomes over time


This page was built for person: Andreas Schroeder