Publications
on, Model Checking, and Abstract Interpretation DOI: https://doi.org/10.1007/978-3-642-18275-4_19 2010 Constraint-Guided Workflow Composition Based on the EDAM Ontology Anna-Lena Lamprecht, Stefan Naujokat [...] Margaria In: Semantic Web Applications and Tools for Life Sciences DOI: https://doi.org/10.1038/npre.2010.5397.1 Synthesis-Based Loose Programming Anna-Lena Lamprecht, Stefan Naujokat, Tiziana Margaria, Bernhard [...] Quality of Information and Communications Technology (QUATIC) DOI: https://doi.org/10.1109/quatic.2010.53 Towards an Architecture for Runtime Interoperability Amel Bennaceur, Gordon Blair, Franck Chauvel …
