Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Honglin Zheng
Daniel P. Kennedy
Dan Graur
Yong-Ming Zhang
Barbara Aquilani
Kenichi Arai
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
SILVIA LIZETH TAPIA TARIFA
Author Info
Open Visualization
Name
Papers
Collaborators
SILVIA LIZETH TAPIA TARIFA
5
10
Citations
PageRank
Referers
0
1.69
0
Referees
References
0
0
Publications (5 rows)
Collaborators (10 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Modeling and Analyzing Resource-Sensitive Actors - A Tutorial Introduction.
0
0.34
2021
Inseguendo Fagiani Selvatici - Partial Order Reduction for Guarded Command Languages.
0
0.34
2020
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System.
0
0.34
2019
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
0
0.34
2019
Automatic Parameter Optimisation of Service Quality and Resource Usage.
0
0.34
2018
1
