Salem Derisavi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2003–2009
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SC | Compact multi-dimensional kernel extraction for register tiling. | Lakshminarayanan Renganarayanan, Uday Bondhugula, Salem Derisavi, Alexandre E. Eichenberger, Kevin O'Brien |
| 2007 | TACAS | A Symbolic Algorithm for Optimal Markov Chain Lumping. | Salem Derisavi |
| 2005 | DSN | Lumping Matrix Diagram Representations of Markov Models. | Salem Derisavi, Peter Kemper, William H. Sanders |
| 2003 | DSN | On Integrating the MBIUS and MODEST Modeling Tools. | Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders |