![]() |
| 2008 | ||
|---|---|---|
| 5 | EE | Cosmin E. Oancea, Alan Mycroft: Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). LCPC 2008: 156-171 |
| 2007 | ||
| 4 | EE | Cosmin E. Oancea, Alan Mycroft: A Lightweight Model for Software Thread-Level Speculation (TLS). PACT 2007: 419 |
| 2005 | ||
| 3 | EE | Cosmin E. Oancea, Stephen M. Watt: Domains and expressions: an interface between two approaches to computer algebra. ISSAC 2005: 261-268 |
| 2 | EE | Cosmin E. Oancea, Stephen M. Watt: Parametric polymorphism for software component architectures. OOPSLA 2005: 147-166 |
| 1 | Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt: Distributed Models of Thread Level Speculation. PDPTA 2005: 920-927 | |
| 1 | Mark Giesbrecht | [1] |
| 2 | Alan Mycroft | [4] [5] |
| 3 | Jason W. A. Selby | [1] |
| 4 | Stephen M. Watt | [1] [2] [3] |