| |
| 2002 | ||
|---|---|---|
| 5 | EE | Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu: Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. ICATPN 2002: 294-313 |
| 4 | EE | Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu: Experiences in Modelling Feature Interactions with Coloured Petri Nets. Acta Cybern. 15(4): 621-632 (2002) |
| 2001 | ||
| 3 | EE | Louise Lorentsen, Lars Michael Kristensen: Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. ACSD 2001: 211-220 |
| 2 | EE | Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu: Modelling Feature Interactions in Mobile Phones. FICS 2001: 7-13 |
| 2000 | ||
| 1 | EE | Louise Lorentsen, Lars Michael Kristensen: Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ICATPN 2000: 346-366 |
| 1 | Lars Michael Kristensen | [1] [3] |
| 2 | Antti-Pekka Tuovinen | [2] [4] [5] |
| 3 | Jianli Xu | [2] [4] [5] |