R. Barbuti - Citegraph

Author Info

Name	Affiliation	Papers
R. BARBUTI	Dipartimento di Informatica, Universita' di Pisa, 56100 Pisa, Italy	4
Collaborators	Citations	PageRank
9	47	3.74
Referers	Referees	References
70	66	45

Publications (4 rows)

Collaborators (9 rows)

Referers (70 rows)

Referees (66 rows)

Title	Citations	PageRank	Year
Abstract interpretation of operational semantics for secure information flow	18	0.78	2002
Intensional negation of logic programs: examples and implementation techniques	12	0.80	1987
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions	8	1.22	1986
A structured approach to static semantics correctness	9	0.93	1983

1