Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Gianluca Trentanni
Peng Cai
Claudia Calabrese
Hao Mao
Peter Malec
Kurt C Lawrence
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ZVONIMIR PAVLINOVIC
Author Info
Open Visualization
Name
Affiliation
Papers
ZVONIMIR PAVLINOVIC
New York University, New York, NY, USA
8
Collaborators
Citations
PageRank
18
19
3.01
Referers
Referees
References
57
262
131
Search Limit
100
262
Publications (8 rows)
Collaborators (18 rows)
Referers (57 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Data Flow Refinement Type Inference
0
0.34
2021
VACCINE: Using Contextual Integrity ForData Leakage Detection
1
0.35
2019
The Impact of Program Transformations on Static Program Analysis.
2
0.37
2018
Static analysis for optimizing big data queries
2
0.36
2017
The VACCINE Framework for Building DLP Systems.
0
0.34
2017
Inferring annotations for device drivers from verification histories.
1
0.35
2016
Practical SMT-based type error localization
1
0.36
2015
Finding minimum type error sources
12
0.55
2014
1
