Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Pedro José Marrón
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Radu Timofte
Jiani Liu
Danni Wang
Home
/
Author
/
RODOLFO GAMARRA
Author Info
Open Visualization
Name
Affiliation
Papers
RODOLFO GAMARRA
Universidad de Buenos Aires, Argentina
2
Collaborators
Citations
PageRank
3
1
0.70
Referers
Referees
References
2
26
14
Publications (2 rows)
Collaborators (3 rows)
Referers (2 rows)
Referees (26 rows)
Title
Citations
PageRank
Year
Monotonicity analysis can speed up verification
0
0.34
2006
A strategy for efficient verification of relational specifications, based on monotonicity analysis
1
0.36
2005
1