Fernando Pastawski - Citegraph

Author Info

Name	Affiliation	Papers
FERNANDO PASTAWSKI	INRIA Sophia-Antipolis, France	3
Collaborators	Citations	PageRank
5	24	1.81
Referers	Referees	References
23	38	30

Publications (3 rows)

Collaborators (5 rows)

Referers (23 rows)

Referees (38 rows)

Title	Citations	PageRank	Year
Limitations of passive protection of quantum information	3	0.58	2010
CIC∧: type-based termination of recursive definitions in the calculus of inductive constructions	10	0.59	2006
Practical inference for type-based termination in a polymorphic setting	11	0.65	2005

1