Statistics
Publications
10
Citations
359
H-Index
10
Active since
2000
Dimitra Giannakopoulou is an author at University of Patras specializing in social sciences, medicine, and formal methods.
Publications per year
2000–2016
10
10
Graphical animation of behavior models
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou et al. · 2000 · 71 citations
Fluent model checking for event-based systems
Dimitra Giannakopoulou, Jeff Magee · 2003 · 38 citations
1–5 of 10