| |
| 2006 | ||
|---|---|---|
| 5 | EE | Mats Kindahl: Review of "Types and Programming Languages by Benjamin C. Pierce", MIT Press, 2002. SIGACT News 37(4): 29-34 (2006) |
| 2005 | ||
| 4 | EE | Mats Kindahl: Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002. SIGACT News 36(1): 15-20 (2005) |
| 1998 | ||
| 3 | Parosh Aziz Abdulla, Bengt Jonsson, Mats Kindahl, Doron Peled: A General Approach to Partial Order Reductions in Symbolic Verification (Extended Abstract). CAV 1998: 379-390 | |
| 1997 | ||
| 2 | Parosh Aziz Abdulla, Mats Kindahl, Doron Peled: An Improved Search Strategy for Lossy Channel Systems. FORTE 1997: 251-264 | |
| 1995 | ||
| 1 | Parosh Aziz Abdulla, Mats Kindahl: Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract). CONCUR 1995: 333-347 | |
| 1 | Parosh Aziz Abdulla | [1] [2] [3] |
| 2 | Bengt Jonsson | [3] |
| 3 | Doron Peled | [2] [3] |