Concepedia

Lucia Cloth

LC

Statistics

Publications

13

Citations

532

H-Index

12

Active since

2003

Affiliations

University of Twente(Current)

RWTH Aachen University

Vrije Universiteit Amsterdam

University of Bonn

Saarland University

Lucia Cloth is an author at University of Twente specializing in computer science, computing, and formal methods.

Publications per year

2003–2010

13

Publications

13

Model checking performability properties

Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns et al. · 2003 · 86 citations

Computing, Computer Science, Formal Methods +15

Model Checking Markov Chains with Actions and State Labels

Christel Baier, Lucia Cloth, Boudewijn R. Haverkort et al. · IEEE Transactions on Software Engineering · 2007 · 71 citations

Computing, Computer Science, Formal Methods +14

Computing Battery Lifetime Distributions

Lucia Cloth, Marijn Jongerden, Boudewijn R. Haverkort · 2007 · 56 citations · Full text

Engineering, Computer Science, Computer Systems +17

Model checking for survivability!

Lucia Cloth, Boudewijn R. Haverkort · 2005 · 52 citations · Full text

Engineering, Computer Science, Information Systems +14

Mean-Field Analysis for the Evaluation of Gossip Protocols

Rena Bakhshi, Lucia Cloth, Wan Fokkink et al. · 2009 · 40 citations

Computing, Computer Science, Computer Systems +16

1–5 of 13