Louise Lorentsen

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. ICATPN (2002)
Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
Experiences in Modelling Feature Interactions with Coloured Petri Nets. Acta Cybern. 15 (4) (2002)
Louise Lorentsen, Lars Michael Kristensen
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. ACSD (2001)
Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
Modelling Feature Interactions in Mobile Phones. FICS (2001)
Louise Lorentsen, Lars Michael Kristensen
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. ICATPN (2000)