Joaquin Aguado

According to our database1, Joaquin Aguado
  • authored at least 13 papers between 2002 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
A Multi-objective Hospital Operating Room Planning and Scheduling Problem Using Compromise Programming.
Proceedings of the Advances in Computational Intelligence, 2016

2015
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency.
Acta Inf., 2015

Sequential Constructiveness, SCCharts for Safety-Critical Applications.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.
ACM Trans. Embedded Comput. Syst., 2014

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Grounding Synchronous Deterministic Concurrency in Sequential Programming.
Proceedings of the Programming Languages and Systems, 2014

2013
Sequentially constructive concurrency: a conservative extension of the synchronous model of computation.
Proceedings of the Design, Automation and Test in Europe, 2013

2011
Constructive semantics for instantaneous reactions.
Theor. Comput. Sci., 2011

Computing with streams.
Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

2008
Preface.
Electr. Notes Theor. Comput. Sci., 2008

2005
Constructive semantics for instantaneous reactions.
Proceedings of the Games for Logic and Programming Languages (GALOP 2005), 2005

2004
A-maze-ing Esterel.
Electr. Notes Theor. Comput. Sci., 2004

2002
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines).
Fundam. Inform., 2002


  Loading...