Lisa Wells

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Jessica Arlott, Sac-Pham Tang, Lisa Wells, Mickael Huiban, Nicholas Keat, Cristian A. Salinas, Eugenii A. Rabiner, Sharon Ashworth
C]Raclopride using the Inveon small animal PET scanner. NeuroImage 52 (Supplement-1) (2010)
Kurt Jensen, Lars Michael Kristensen, Lisa Wells
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Lisa Wells
Performance analysis using CPN tools. VALUETOOLS (2006)
Lisa Wells, Thomas Maier
Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. ICATPN (2005)
Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN (2003)
Lisa Wells
Performance Analysis Using Coloured Petri Nets. MASCOTS (2002)
Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen
Simulation Based Performance Analysis of Web Servers. PNPM (2001)