D. Desovski

Available identifiers

zbMath Open desovski.dMaRDI QIDQ2456613

List of research outcomes

Publication	Date of Publication	Type
An empirical analysis of algorithms for partially Clairvoyant scheduling	2007-10-24	Paper
Out of order quantifier elimination for standard quantified linear programs	2007-10-19	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection	2006-05-16	Paper
Computational Science – ICCS 2005	2005-11-30	Paper

Research outcomes over time

This page was built for person: D. Desovski