Monday 10 July 2023
- Fast Verified SCCs for Probabilistic Model Checking, Arnd Hartmanns, Bram Kohlen, and Peter Lammich
Accepted for publication and presentation at ATVA 2023, the 21st International Symposium on Automated Technology for Verification and Analysis, Singapore, October 24-27 - EmoClock: Communicating Real-Time Emotional States through Data Physicalizations, D. Peeters, C. Ranasinghe, A. Degbelo, F. Ahmed
Accepted at Interact 2023, the 19th International Conference promoted by the IFIP Technical Committee 13 on Human–Computer Interaction,
York, UK, 28 August-1 September
