About
45
Publications
6,267
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
182
Citations
Introduction
Not affiliated with university, anymore, but still interested in science and open-source projects. Please, contact me if you find my work on BDDs, temporal logic, model checking and job shop scheduling usable.
Additional affiliations
February 2019 - February 2021
Milan Vidmar Electric Power Research Institute
Position
- R&D
October 2008 - February 2019
Education
October 2000 - September 2005
October 1995 - November 1999
October 1990 - July 1995
Projects
Projects (2)
