Domen Verber
Universidad de Cantabria(ES)University of Maribor(SI)
Publications by Year
Research Areas
Real-Time Systems Scheduling, Embedded Systems Design Techniques, Artificial Intelligence in Games, Parallel Computing and Optimization Techniques, Formal Methods in Verification
Most-Cited Works
- → EQUIDopa: A responsive web application for the levodopa equivalent dose calculator(2020)27 cited
- → Learning Basic Programing Skills With Educational Games(2016)22 cited
- → Distributed Embedded Control Systems: Improving Dependability with Coherent Design(2007)21 cited
- → Implementation of Hard Real-Time Embedded Control Systems(1998)18 cited
- → Advances in New Technologies, Interactive Interfaces and Communicability(2012)12 cited
- → Programming and Time Analysis of Hard Real-Time Applications(1996)11 cited
- Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems.(1995)