Publications
My publications are also updated at UCL Profiles .
- 2024. Novelty Evaluation using Sentence Embedding Models in Open-ended Cocreative Problem-solving. International Journal in Artificial Intelligence in Education. doi: 10.1007/s40593-024-00392-3
- 2023. Balancing Static Islands in Dynamically Scheduled Circuits using Continuous Petri Nets. in IEEE Transactions on Computers, vol. 72, no. 11, pp. 3300-3313, 1 Nov. 2023, doi: 10.1109/TC.2023.3292590.
- 2017. Fluid approximation of Petri net models with relatively small populations. Discrete Event Dynamic Systems. vol 27, pp. 525-546.
- 2015. Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. vol 16, pp. 24-39.
- 2015. Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. vol 136, pp. 1-28.
- 2014. On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. vol 12, pp. 3-19.
- 2025. Beyond Coding: Lean Learning for Real-World Software Engineering. UK and Ireland Engineering Education Research Network Annual Symposium (EERN '25), 3-4 July 2025. DOI: TBC
- 2025. Creating a Student-Friendly PaaS Platform: Experiences with Tsuru in Software Engineering Education. 33rd ACM Symposium on the Foundations of Software Engineering (FSE '25), 23-27 June 2025. DOI: 10.1145/3696630.3727239
- 2025. Creating an Open-Source Ecosystem for Contextualized Learning in Software Engineering. 11th International Conference on Higher Education Advances (HEAd’25), 17-20 June 2025. DOI: 10.4995/HEAd25.2025.20104
- 2020. Engaging children and parents in physically active maths sessions. IDC '20: Interaction Design and Children.
- 2019. A Hybrid Learning Space for Physically-Active Mathematics: the case of Numberfit. Workshop on Hybrid Learning Spaces - Data, Design, Didactics co-located with 14th European Conference on Technology Enhanced Learning (EC-TEL 2019)
- 2014. The Bound Reaching Problem on the fluidization of timed Petri nets. 12th Int. Workshop on Discrete Event Systems. This work was nominated to the "Best student paper" award (among the 8 finalists).
- 2013. Computation of the Reachability Graph of untimed Hybrid Petri nets . II Jornada de Jovenes Investigadores del Instituto de Investigacion en Ingenieria de Aragon (I3A). University of Zaragoza. Spain. (Local conference)
- 2012. Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th Int. Workshop on Discrete Event Systems.
- 2012. Hybrid Adaptive Petri Nets: A conceptual framework for the fluidization of PN . I Jornada de Jovenes Investigadores del Instituto de Investigacion en Ingenieria de Aragon (I3A). University of Zaragoza. Spain. (Local conference)
- 2011. On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
- 2014. Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Chapter 14 in Formal Methods in Manufacturing (Ed. Javier Campos, Carla Seatzu, Xiaolan Xie), pp. 409-452. CRC Press. (Invited book chapter)
