 | 2009 |
| 4 |  | Dmitry Bufistov,
Jordi Cortadella,
Marc Galceran Oms,
Jorge Júlvez,
Michael Kishinevsky:
Retiming and recycling for elastic systems with early evaluation.
DAC 2009: 288-291 |
| 3 |  | Marc Galceran Oms,
Jordi Cortadella,
Michael Kishinevsky:
Speculation in elastic systems.
DAC 2009: 292-295 |
| 2008 |
| 2 |  | Timothy Kam,
Michael Kishinevsky,
Jordi Cortadella,
Marc Galceran Oms:
Correct-by-construction microarchitectural pipelining.
ICCAD 2008: 434-441 |
| 2007 |
| 1 |  | Panagiotis Manolios,
Marc Galceran Oms,
Sergi Oliva Valls:
Checking Pedigree Consistency with PCS.
TACAS 2007: 339-342 |