Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Ji Hye Kim
Tidjani Négadi
Jong-Hyeok Yoon
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Mohammadamin Sheikhshahrokhdehkordi
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
NESTOR CATAÑO
Author Info
Open Visualization
Name
Affiliation
Papers
NESTOR CATAÑO
University of Madeira, Madeira, Portugal
7
Collaborators
Citations
PageRank
8
57
4.77
Referers
Referees
References
77
145
102
Search Limit
100
145
Publications (7 rows)
Collaborators (8 rows)
Referers (77 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Code generation for Event-B
5
0.53
2017
A Case Study on Code Generation of an ERP System from Event-B
2
0.42
2015
Translating event-B to JML-specified Java programs
7
0.57
2014
A linear concurrent constraint approach for the automatic verification of access permissions
1
0.34
2012
Matelas: a predicate calculus common formal definition for social networking
10
0.76
2010
Teaching Formal Methods for the Unconquered Territory
4
0.51
2009
Formal methods for smart cards: an experience report
28
1.64
2005
1