Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yueqiang Jin
Claudia Calabrese
Ángel Manuel Guerrero
Hao Mao
stm
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JULIA SAPIÑA
Author Info
Open Visualization
Name
Papers
Collaborators
JULIA SAPIÑA
3
8
Citations
PageRank
Referers
0
1.01
0
Referees
References
0
0
Publications (3 rows)
Collaborators (8 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Symbolic Specialization of Rewriting Logic Theories with Presto
0
0.34
2022
Protocol Analysis with Time and Space.
0
0.34
2021
Protocol Analysis with Time
0
0.34
2020
1