Ruth Lamprecht

According to our database, Ruth Lamprecht authored at least 7 papers between 2008 and 2023.

Collaborative distances:

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

2023

Examining Programming Projects to Improve Student Success: Learning to Code with Diversity.

Ruth Lamprecht

Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 2, 2023

2011

Stochastic Petri net models of Ca²⁺ signaling complexes and their analysis.

Ruth Lamprecht, Gregory D. Smith, Peter Kemper

Nat. Comput., 2011

Simulation of wireless sensor networks under partial coverage.

Ruth Lamprecht, Peter Kemper

Proceedings of the Winter Simulation Conference 2011, 2011

2009

Performance and dependability modeling with Möbius.

Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders

SIGMETRICS Perform. Evaluation Rev., 2009

On the Detection of Symmetries in Compositional Markov Models.

Ruth Lamprecht, Peter Kemper

Proceedings of the QEST 2009, 2009

Reflection symmetry detection to reduce the state space of Markovian models.

Ruth Lamprecht, Peter Kemper

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Möbius Trace Analysis with Traviando.

Ruth Lamprecht, Peter Kemper

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008