Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Milena Nikolic
Kun Yi
Claudia Calabrese
Hao Mao
Peter Malec
Giovanni Venturelli
Ijaz Hussain
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ARIEL COHEN
Author Info
Open Visualization
Name
Affiliation
Papers
ARIEL COHEN
New York University, Courant Institute, New York, USA 10012
9
Collaborators
Citations
PageRank
9
86
5.63
Referers
Referees
References
109
182
164
Search Limit
100
182
Publications (9 rows)
Collaborators (9 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A dash of fairness for compositional reasoning
7
0.59
2010
SPLIT: a compositional LTL verifier
5
0.51
2010
Parallelizing a symbolic compositional model-checking algorithm
2
0.37
2010
Access Control and Information Flow in Transactional Memory
2
0.43
2008
Local Proofs for Linear-Time Properties of Concurrent Programs
11
0.73
2008
Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses
10
0.56
2008
Local proofs for global safety properties
23
0.95
2007
Verifying Correctness of Transactional Memories
22
1.01
2007
Ranking abstraction of recursive programs
4
0.49
2006
1
