2008 | ||
---|---|---|
2 | EE | Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms: Correct-by-construction microarchitectural pipelining. ICCAD 2008: 434-441 |
2007 | ||
1 | EE | Panagiotis Manolios, Marc Galceran Oms, Sergi Oliva Valls: Checking Pedigree Consistency with PCS. TACAS 2007: 339-342 |
1 | Jordi Cortadella | [2] |
2 | Timothy Kam | [2] |
3 | Michael Kishinevsky | [2] |
4 | Panagiotis Manolios | [1] |
5 | Sergi Oliva Valls | [1] |