Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Xinhong Zhang
Tidjani Négadi
Yo Sup Moon
Xiao-dong Hu
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Angelica Guzman Ponce
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
CARLOS G. LOPEZ POMBO
Author Info
Open Visualization
Name
Affiliation
Papers
CARLOS G. LOPEZ POMBO
Universidad de Buenos Aires (UBA) and CONICET
12
Collaborators
Citations
PageRank
9
144
8.51
Referers
Referees
References
190
203
154
Search Limit
100
203
Publications (12 rows)
Collaborators (9 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Dynamite: A tool for the verification of alloy models based on PVS
1
0.34
2014
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
24
0.75
2013
ParAlloy: towards a framework for efficient parallel analysis of alloy models
4
0.43
2010
Dynamite 2.0: new features based on UnSAT-core extraction to improve verification of software requirements
3
0.43
2010
Alloy analyzer+PVS in the analysis and verification of alloy specifications
10
0.73
2007
Efficient Analysis of DynAlloy Specifications
12
0.59
2007
Interpretability of first-order linear temporal logics in fork algebras
5
0.50
2006
Fork algebras as a sufficiently rich universal institution
2
0.38
2006
Reasoning about static and dynamic properties in alloy: A purely relational approach
12
0.86
2005
DynAlloy: upgrading alloy with actions
57
1.97
2005
An Equational Calculus for Alloy
9
0.91
2004
Taking Alloy to the Movies
5
0.61
2003
1