Lisa Wells

According to our database, Lisa Wells authored at least 7 papers between 2001 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Effect of amphetamine on mouse striatal binding of [¹¹C]Raclopride using the Inveon small animal PET scanner.

Jessica Arlott, Sac-Pham Tang, Lisa Wells, Mickael Huiban, Nicholas Keat, Cristian A. Salinas, Eugenii A. Rabiner, Sharon Ashworth

NeuroImage, 2010

2007

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.

Kurt Jensen, Lars Michael Kristensen, Lisa Wells

Int. J. Softw. Tools Technol. Transf., 2007

2006

Performance analysis using CPN tools.

Lisa Wells

Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

2005

Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.

Lisa Wells, Thomas Maier

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2003

CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.

Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Performance Analysis Using Coloured Petri Nets.

Lisa Wells

Proceedings of the 10th International Workshop on Modeling, 2002

2001

Simulation Based Performance Analysis of Web Servers.

Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001