Scholar
Silvia Lizeth Tapia Tarifa
Google Scholar ID: zcRi-BcAAAAJ
Associate Professor, Department of Informatics - University Of Oslo
Formal Methods
Software Engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
490
H-index
11
i10-index
15
Publications
20
Co-authors
35
list available
Publications
5 items
Attribution-based Explanations for Markov Decision Processes
2026
Cited
0
Automata Learning versus Process Mining: The Case for User Journeys
2026
Cited
0
A Type System for Data Privacy Compliance in Active Object Languages
2025
Cited
0
Counterfactual Strategies for Markov Decision Processes
2025
Cited
0
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Co-authors
7 total
Einar Broch Johnsen
Professor, University of Oslo
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Eduard Kamburjan
Assistant Professor, IT University of Copenhagen
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino
Olaf Owe
Professor, Department of Informatics, University of Oslo
Carlos Hernández Corbato
Associate professor, Cognitive Robotics / Mechanical Engineering / TU Delft
Jacopo Mauro
University of Southern Denmark
