Patrick Cousot :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Fosca Giannotti :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Fosca Giannotti cite Patrick Cousot Ordered by cited publication [Change the order to 'ordered by citing' ]
Patrick Cousot , Radhia Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. [Citation Graph (8, 0)][DBLP ] POPL, 1977, pp:238-252 [Conf ] Is cited by:
Giuseppe Amato , Fosca Giannotti , Gianni Mainetto Static Analysis of Transactions for Conservative Multigranularity Locking. [Citation Graph (0, 10)][DBLP ] DBPL, 1997, pp:413-430 [Conf ]
Giuseppe Amato , Fosca Giannotti , Gianni Mainetto Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. [Citation Graph (1, 8)][DBLP ] VLDB, 1993, pp:405-415 [Conf ]
Patrick Cousot , Radhia Cousot Abstract Interpretation Frameworks. [Citation Graph (1, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:4, pp:511-547 [Journal ] Is cited by: