Journal Papers

  • J. Aguado and M. Mendler. Constructive Semantics for Instantaneous Reactions, Theoretical Computer Science, (doi:10.1016/j.tcs.2010.09.007), ISSN 0304-3975, Vol. 412, Issue 11, pp. 931-961, March 2011.
  • J. Aguado, T. Balanescu, T. Cowling, M. Gheorghe, M. Holcombe and F. Ipate. P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundamenta Informaticae, IOS Press, No. 49, pp. 17-33, January 2002. (pdf)

Refereed Proceedings

  • J. Aguado, M. Mendler. Computing with Streams. Proceedings of the sixth workshop on Declarative Aspects of Multicore Programming (DAMP 2011), ACM Proceedings, ISBN 978-1-4503-0486-3, pp. 35-44, Austin, Texas, USA, January, 2011.
  • J. Aguado. The Colour of the Truth in Step Responses (extended abstract). Model-driven High-level Programming of Embedded Systems (SLAP++08), Budapest, Hungary, April 2008. (slides)
  • J. Aguado, M. Mendler. Towards Unit Testing for Communicating Stream X-machines Systems. In R. Hierons, P. McMinn (eds.), UK Software Testing Research III (UKTest 2005), pp. 39-66, University of Sheffield, Department of Computer Science, England, September 2005. (pdf) (slides)
  • J. Aguado and M. Mendler. Constructive Game Semantics for Instantaneous Reactions. In: D. R. Ghica and G. McCusker (eds.), Games for Logics and Programming Languages (GaLoP 2005), pp. 16-31, Edinburgh, Scotland, April 2005. (slides)
  • J. Aguado, M. Mendler and G. Lüttgen. A-maze-ing Esterel. In A. Girault, F. Maraninchi and E. Rutten (eds.), Intl. Workshop on Synchronous Languages, Applications, and Programming (SLAP 2003), Volumme 88 of Electronic Notes in Theoretical Computer Science (Elsevier Science), pp 21-37, Porto, Portugal, July 2003. (pdf) (slides)
  • J. Aguado and A. J. Cowling. Design Models and the Complexity of the Testing Problem for Distributed Systems. In M. Mendler and G. Lüttgen (eds.), Intl. Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2002), pp. 119-137, Grenoble, France, April 2002. (pdf)
  • J. Aguado, T. Balanescu, T. Cowling, M. Gheorghe and F. Ipate. P systems with replicated rewriting and stream X-machines. In C. Martin-Vide, Gh. Paun (eds.), Workshop on Membrane Computing (WMC-CdeA 2001), pp 7-18, Curtea de Arges, Romania. TR 17/01, Univ. Rovira i Virgili, Tarragona, Spain, August, 2001.

Other Works

  • J. Aguado and M. Mendler. Towards Strategies for Dataflow Programming. The 22nd Symposium on Implementation and Application of Functional Languages. (IFL 2010). Utrecht University in the Netherlands, September 2010. 
  • J. Aguado, F. Macias, M. Mendler. The Lusterel Library: Programming Combined Data and Control Flow Applications in Haskell. ACM SIGPLAN 2009 Developer Tracks on Functional Programming (DEFUN 2009) in conjunction with The 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009). Edinburgh, Scotland, September 2009. 
  • J. Aguado. The Synchronous Painter. Intl. Workshop on Synchronous Programming (SYNCHRON'08). Centre Paul-Langevin, Aussois, France, December 2008. (slides) 
  • J. Aguado. Games that "Synchronous" People Play. Intl. Workshop on Synchronous Programming (SYNCHRON’07), University of Bamberg, Bamberg, Germany, November 2007. (slides) 
  • J. Aguado and M. Mendler. Playing Charts. In S.A. Edwards, N. Halbwachs, R. v. Hanxleden and T. Stauner, (eds.), Intl. Workshop on Synchronous Programming (SYNCHRON’04), Schloss Dagstuhl Proceedings Series, Dagstuhl, Germany, Nov-Dec 2004. (slides) 
  • J. Aguado. Conformance Testing of Distributed Systems: An X-machine based approach. PhD Thesis, University of Sheffield, England, 2004. (pdf) 
  • J. Aguado and M. Mendler. Semantic Games for Synchrony. Intl. Workshop on Synchronous Programming (SYNCHRON’03), CIRM, Marseille-Luminy, France, December 2003. (slides) 
  • J. Aguado. Symmetric Marked Graphs with Live and Safe Markings. MsC Thesis, Applied Mathematics Institute, UNAM, 1995. 

Technical Reports

  • J. Aguado and M. Mendler. Constructive Semantics for Instantaneous Reactions. Research Report 63/2005 University of Bamberg, Germany, 2005. (pdf) 
  • J. Aguado and A. J. Cowling. Foundations of the X-machine Theory for Testing. Research Report CS-02-06, Department of Computer Science, University of Sheffield, England, 2002. Included in wikipedia as a downloadable report (http://en.wikipedia.org/wiki/X-machine).
  • J. Aguado and A. J. Cowling. Systems of Communicating X-machines for Specifying Distributed Systems. Research Report CS-02-07, Department of Computer Science, University of Sheffield, England, 2002. Included in wikipedia as a downloadable report (http://en.wikipedia.org/wiki/X-machine). 

Editorial Duties

  • J. Aguado and M. Mendler, (eds.), Post-proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems 2007. Electronic Notes in Theoretical Computer Science (Elsevier Science), Volume 203, Issue 4, pp. 1-140, June, 2008. (link) 
  • J. Aguado and M. Mendler, (eds.), Proceedings Model-driven High-level Programming of Embedded Systems (SLA++P 2007), Braga, Portugal, March 2007. (pdf) 

Reviewing

  • EURASIP Journal on Embedded Systems, 2006.
  • Model-driven High-level Programming of Embedded Systems (SLA++P’07), 2007
  • Synchronous Languages, Applications, and Programming (SLAP’06), 2006. 

Invited Presentations

  • Natural Deduction in ISABELLE: Single-step proofs based on Sequent Notation. Verification and Testing Group. University of Sheffield, England, August 2007. (slides)
  • Semantic Games and Synchrony. Verification and Testing Group. University of Sheffield, England, July 2004. (slides)

Committees

  • Programme Committee Member and Organisation Committee. Model-driven High-level Programming of Embedded Systems (SLA++P’07) - ETAPS. Braga, Portugal, March 2007.
  • Organisation Committee. Intl. Open Workshop on Synchronous Programming (SYNCHRON’07’). Bamberg, Germany, November 2007.
  • Programme Committee Member. Synchronous Languages, Applications, and Programming (SLAP’06) - ETAPS. Vienna, Austria, March 2006.