Andreas Schroeder

From MaRDI portal
(Redirected from Person:541292)



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