Silvia Lizeth Tapia Tarifa
Scholar

Silvia Lizeth Tapia Tarifa

Google Scholar ID: zcRi-BcAAAAJ
Associate Professor, Department of Informatics - University Of Oslo
Formal MethodsSoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
490
 
H-index
11
 
i10-index
15
 
Publications
20
 
Co-authors
35
list available
Contact
No contact links provided.
Publications
4 items
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
Resume (English only)
Co-authors
35 total
Einar Broch Johnsen
Einar Broch Johnsen
Professor, University of Oslo
Co-author 2
Co-author 2
Reiner Hähnle
Reiner Hähnle
Professor of Computer Science, Technical University of Darmstadt
Eduard Kamburjan
Eduard Kamburjan
Assistant Professor, IT University of Copenhagen
Ferruccio Damiani
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino
Co-author 6
Co-author 6
Olaf Owe
Olaf Owe
Professor, Department of Informatics, University of Oslo
Co-author 8
Co-author 8