| 2003 | ||
|---|---|---|
| 3 | Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy, André Dolenc, Konsta Karsisto: Survey of code-size reduction methods. ACM Comput. Surv. 35(3): 223-267 (2003) | |
| 1996 | ||
| 2 | Konsta Karsisto, Antti Valmari: Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. FTRTFT 1996: 228-245 | |
| 1 | Antti Valmari, Konsta Karsisto, Manu Setälä: Visualisation of Reduced Abstracted Behaviour as a Design Tool. PDP 1996: 187-195 | |
| 1 | Árpád Beszédes | [3] |
| 2 | André Dolenc | [3] |
| 3 | Rudolf Ferenc | [3] |
| 4 | Tibor Gyimóthy | [3] |
| 5 | Manu Setälä | [1] |
| 6 | Antti Valmari | [1] [2] |