P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). - Joaquín Aguado; Tudor Balanescu; Anthony J. Cowling; Marian Gheorghe 001; Mike Holcombe; Florentin Ipate (Fundam. Informaticae, 2002)

A-maze-ing Esterel. - Joaquín Aguado; Michael Mendler; Gerald Lüttgen (SLAP, 2003)

Preface. - Joaquín Aguado; Michael Mendler (SLA++P@ETAPS, 2007)

Computing with streams. - Joaquín Aguado; Michael Mendler (DAMP, 2011)

Constructive semantics for instantaneous reactions. - Joaquín Aguado; Michael Mendler (Theor. Comput. Sci., 2011)

Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien (DATE, 2013)

Grounding Synchronous Deterministic Concurrency in Sequential Programming. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (ESOP, 2014)

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. - Reinhard von Hanxleden; Björn Duderstadt; Christian Motika; Steven Smyth; Michael Mendler; Joaquín Aguado; Stephen Mercer; Owen O'Brien (PLDI, 2014)

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien; Partha S. Roop (ACM Trans. Embed. Comput. Syst., 2014)

Sequential Constructiveness, SCCharts for Safety-Critical Applications. - Reinhard von Hanxleden; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Steven Smyth; Michael Mendler; Joaquín Aguado; Stephen Loftus-Mercer; Owen O'Brien (Software Engineering & Management, 2015)

Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. - Joaquín Aguado; Michael Mendler; Reinhard von Hanxleden; Insa Fuhrmann (Acta Informatica, 2015)

A Multi-objective Hospital Operating Room Planning and Scheduling Problem Using Compromise Programming. - Alejandra Duenas; Christine Di Martinelly; G. Yazgi Tütüncü; Joaquín Aguado (MICAI (1), 2016)

Compositional timing-aware semantics for synchronous programming. - Joaquín Aguado; Michael Mendler; Jia Jie Wang; Bruno Bodin; Partha S. Roop (FDL, 2017)

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. - Michael Mendler; Joaquín Aguado; Bruno Bodin; Partha S. Roop; Reinhard von Hanxleden (Models, Mindsets, Meta, 2018)

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. - Joaquín Aguado; Michael Mendler; Marc Pouzet; Partha S. Roop; Reinhard von Hanxleden (ESOP, 2018)

Synchronised Shared Memory and Model Checking: A Proof of Concept. - Joaquín Aguado; Alejandra Duenas (FDL, 2021)

Synchronised Shared Memory and Model Checking. - Joaquín Aguado; Alejandra Duenas (ACM Trans. Embed. Comput. Syst., 2024)