Estibaliz Fraca
My name is Estibaliz Fraca Santamaria. I am a EdTech Software Engineer at Imperial College's DoC EdTech Lab. Previously, I was a Research Fellow in the Principles of Programming Languages and Verification (PPLV) group, at UCL Computer Science, and a member of the IRIS project, working under supervision of James Brotherston, and working with other IRIS colleages.
Selected Publications
My publications are also updated at UCL IRIS .
- 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.
- 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)
- 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.
- 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).
- 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)
- 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.
.
Contact details
Estibaliz Fraca
Room 306. Huxley Building. Imperial College London.
Mail: e.fraca (at) imperial (doc) ac (dot) uk
