Personal information
Verified email domains
uio.no
Activities
Employment (1)
2009
to
present
|
Associate Professor
(Informatics)
Employment
Source:
Silvia Lizeth Tapia Tarifa
Education and qualifications (1)
2010
to
2014
|
PhD 2014
(Informatics)
Qualification
Source:
Silvia Lizeth Tapia Tarifa
Funding (1)
Grant
Norges Forskningsråd
(Oslo, NO)
Source:
Silvia Lizeth Tapia Tarifa
Works (39)
2025
|
Book chapter
Contributors:
Einar Broch Johnsen;
Paul Kobialka;
Andrea Pferscher;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
2025
|
Book chapter
Contributors:
Eduard Kamburjan;
Andrea Pferscher;
Rudolf Schlatte;
Riccardo Sieve;
Silvia Lizeth Tapia Tarifa;
Einar Broch Johnsen
Source:
check_circle
Crossref
2025
|
Book chapter
Contributors:
Paul Kobialka;
Andrea Pferscher;
Gunnar R. Bergersen;
Einar Broch Johnsen;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
Journal of Systems and Software
2025-04
|
Journal article
Contributors:
Juliane Päßler;
Maurice H. ter Beek;
Ferruccio Damiani;
Einar Broch Johnsen;
S. Lizeth Tapia Tarifa
Source:
check_circle
Crossref
Formal Aspects of Computing
2025-01-06
|
Journal article
Contributors:
Juliane Päßler;
Maurice H. ter Beek;
Ferruccio Damiani;
Clemens Dubslaff;
Einar Broch Johnsen;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
2024
|
Book chapter
Contributors:
Chinmayi Prabhu Baramashetru;
Silvia Lizeth Tapia Tarifa;
Olaf Owe
Source:
check_circle
Crossref
2024
|
Book chapter
Contributors:
Juliane Päßler;
Maurice H. ter Beek;
Ferruccio Damiani;
Silvia Lizeth Tapia Tarifa;
Einar Broch Johnsen
Source:
check_circle
Crossref
2024
|
Book chapter
Contributors:
Chinmayi Prabhu Baramashetru;
Silvia Lizeth Tapia Tarifa;
Olaf Owe
Source:
check_circle
Crossref
2024
|
Book chapter
Contributors:
Paul Kobialka;
Rudolf Schlatte;
Gunnar Rye Bergersen;
Einar Broch Johnsen;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
ACM Transactions on Programming Languages and Systems
2024-09-30
|
Journal article
Contributors:
Frank de Boer;
Einar Broch Johnsen;
Violet Ka I Pun;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
2024-09-22
|
Conference paper
Contributors:
Eduard Kamburjan;
Nelly Bencomo;
Silvia Lizeth Tapia Tarifa;
Einar Broch Johnsen
Source:
check_circle
Crossref
Software and Systems Modeling
2024-06
|
Journal article
Contributors:
Paul Kobialka;
S. Lizeth Tapia Tarifa;
Gunnar R. Bergersen;
Einar Broch Johnsen
Source:
check_circle
Crossref
ACM Transactions on Programming Languages and Systems
2024-03-31
|
Journal article
Contributors:
Crystal Chang Din;
Reiner Hähnle;
Ludovic Henrio;
Einar Broch Johnsen;
Violet Ka I Pun;
S. Lizeth Tapia Tarifa
Source:
check_circle
Crossref
2023
|
Book chapter
Contributors:
Paul Kobialka;
Felix Mannhardt;
Silvia Lizeth Tapia Tarifa;
Einar Broch Johnsen
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Juliane Päßler;
Esther Aguado;
Gustavo Rezende Silva;
Silvia Lizeth Tapia Tarifa;
Carlos Hernández Corbato;
Einar Broch Johnsen
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Chinmayi Prabhu Baramashetru;
Silvia Lizeth Tapia Tarifa;
Olaf Owe;
Nils Gruschka
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Eduard Kamburjan;
Vidar Norstein Klungre;
Rudolf Schlatte;
S. Lizeth Tapia Tarifa;
David Cameron;
Einar Broch Johnsen
Source:
check_circle
Crossref
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Eduard Kamburjan;
Crystal Chang Din;
Rudolf Schlatte;
S. Lizeth Tapia Tarifa;
Einar Broch Johnsen
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
Paul Kobialka;
Silvia Lizeth Tapia Tarifa;
Gunnar Rye Bergersen;
Einar Broch Johnsen
Source:
check_circle
Crossref
2021
|
Book chapter
Contributors:
Eduard Kamburjan;
Rudolf Schlatte;
Einar Broch Johnsen;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
2021
|
Book chapter
Contributors:
Rudolf Schlatte;
Einar Broch Johnsen;
Eduard Kamburjan;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
2020
|
Book chapter
Contributors:
Gianluca Turin;
Andrea Borgarelli;
Simone Donetti;
Einar Broch Johnsen;
Silvia Lizeth Tapia Tarifa;
Ferruccio Damiani
Source:
check_circle
Crossref
2020
|
Book chapter
Contributors:
Frank de Boer;
Einar Broch Johnsen;
Ka I Pun;
Silvia Lizeth Tapia Tarifa
Source:
check_circle
Crossref
2020
|
Book chapter
Contributors:
Frank S. de Boer;
Marcello Bonsangue;
Einar Broch Johnsen;
Violet Ka I Pun;
S. Lizeth Tapia Tarifa;
Lars Tveito
Source:
check_circle
Crossref
Science of Computer Programming
2019
|
Journal article
EID:
2-s2.0-85065196287
Contributors:
Bijo, S.;
Johnsen, E.B.;
Pun, K.I.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
|
Book
EID:
2-s2.0-85064913122
Contributors:
Bezirgiannis, N.;
de Boer, F.;
Johnsen, E.B.;
Pun, K.I.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
|
Book chapter
EID:
2-s2.0-85047838980
Contributors:
Schlatte, R.;
Johnsen, E.B.;
Mauro, J.;
Tapia Tarifa, S.L.;
Yu, I.C.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
|
Book
EID:
2-s2.0-85030684894
Contributors:
Bijo, S.;
Johnsen, E.B.;
Pun, K.I.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
|
Book
EID:
2-s2.0-85029541807
Contributors:
Din, C.C.;
Hähnle, R.;
Johnsen, E.B.;
Pun, K.I.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Journal of Logical and Algebraic Methods in Programming
2015
|
Journal article
EID:
2-s2.0-84938691225
Contributors:
Johnsen, E.B.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Service Oriented Computing and Applications
2014
|
Journal article
EID:
2-s2.0-84920252893
Contributors:
Albert, E.;
de Boer, F.S.;
Hähnle, R.;
Johnsen, E.B.;
Schlatte, R.;
Tapia Tarifa, S.L.;
Wong, P.Y.H.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
|
Book
EID:
2-s2.0-84883271442
Contributors:
Johnsen, E.B.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Innovations in Systems and Software Engineering
2013
|
Journal article
EID:
2-s2.0-84874286860
Contributors:
Bjørk, J.;
de Boer, F.S.;
Johnsen, E.B.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
|
Book
EID:
2-s2.0-84871532428
Contributors:
Johnsen, E.B.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
|
Book
EID:
2-s2.0-84864861229
Contributors:
Johnsen, E.B.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
|
Book
EID:
2-s2.0-84871644688
Contributors:
Johnsen, E.B.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
|
Book
EID:
2-s2.0-79551601429
Contributors:
Broch Johnsen, E.;
Owe, O.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
|
Book
EID:
2-s2.0-78649628567
Contributors:
Johnsen, E.B.;
Owe, O.;
Schlatte, R.;
Tapia Tarifa, S.L.
Source:
Silvia Lizeth Tapia Tarifa
via
Scopus - Elsevier