Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Claudia Calabrese
Geng-Sheng Kuo
Christine M. O'Toole
Jhonathan Pinzon
Jan Profant
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
TIZIANA CASTAGNETTI
Author Info
Open Visualization
Name
Papers
Collaborators
TIZIANA CASTAGNETTI
3
2
Citations
PageRank
Referers
18
1.58
29
Referees
References
55
50
Publications (3 rows)
Collaborators (2 rows)
Referers (29 rows)
Referees (55 rows)
Title
Citations
PageRank
Year
Static analysis of linear logic programming
9
0.60
1997
Abstract interpretation of linear logic programming
9
0.64
1993
Abstract Interpretation of Concurrent Languages based on Linear Logic
0
0.34
1993
1
