Antónia Lopes

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
A time-model invariant fragment of metric temporal logic	2019-07-24	Paper
Logics for actor networks: a two-stage constrained-hybridisation approach Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
Dynamic networks of heterogeneous timed machines Mathematical Structures in Computer Science	2018-05-17	Paper
Logics for actor networks: a case study in constrained hybridization	2018-04-12	Paper
Heterogeneous and asynchronous networks of timed systems Theoretical Computer Science	2017-01-23	Paper
Heterogeneous timed machines Theoretical Aspects of Computing – ICTAC 2014	2015-01-13	Paper
An interface theory for service-oriented design Theoretical Computer Science	2014-09-02	Paper
Superposition: composition vs refinement of non-deterministic, action-based systems	2013-08-19	Paper
A Graph-Based Design Framework for Services Lecture Notes in Computer Science	2012-10-02	Paper
A formal model for service-oriented interactions Science of Computer Programming	2012-07-20	Paper
Revisiting the categorical approach to systems Algebraic Methodology and Software Technology	2011-05-06	Paper
Generic Programming Lecture Notes in Computer Science	2010-03-09	Paper
An algebraic semantics of event-based architectures Mathematical Structures in Computer Science	2007-12-12	Paper
A model-driven approach to variability management in product-line engineering	2007-02-20	Paper
Adding mobility to software architectures Science of Computer Programming	2006-06-30	Paper
Context adaptation of the communication stack International Journal of Parallel, Emergent and Distributed Systems	2006-04-19	Paper
Recent Trends in Algebraic Development Techniques Lecture Notes in Computer Science	2005-11-11	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 2163032 (Why is no real title available?)	2005-04-29	Paper
Superposition: Composition vs refinement of non-deterministic, action-based systems Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 2079673 (Why is no real title available?)	2004-07-30	Paper

Research outcomes over time

This page was built for person: Antónia Lopes