Concepedia

Adolfo Piperno

AP

13

Publications

1.9K

Citations

11

H-Index

1992

Active since

Affiliations

Sapienza University of Rome(Current)

University of Turin

Australian National University

Adolfo Piperno is an author at Sapienza University of Rome specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsGraph TheoryDiscrete MathematicsEducationNetwork AnalysisData ScienceGraph Processing

Publications per year

1992–2013

13

Publications

13

Practical graph isomorphism, II

Brendan D. McKay, Adolfo Piperno · Journal of Symbolic Computation · 2013 · 1.6K citations

Graph Theory, Algebraic Graph Theory, Structural Graph Theory +6

A note on optimal area algorithms for upward drawings of binary trees

Pierluigi Crescenzi, Giuseppe Di Battista, Adolfo Piperno · Computational Geometry · 1992 · 112 citations

Geometric Modeling, Mathematical Programming, Optimal Area Algorithms +14

Nondeterministic Extensions of Untyped λ-Calculus

Ugo de’Liguoro, Adolfo Piperno · Information and Computation · 1995 · 61 citations

Engineering, Automated Reasoning, Type Theory +4

A Filter Model for Concurrent $\lambda$-Calculus

Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, Adolfo Piperno · SIAM Journal on Computing · 1998 · 59 citations

Filter Model, Engineering, Operational Semantics +12

Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version)

Adolfo Piperno · arXiv (Cornell University) · 2008 · 23 citations · Full text

Engineering, Network Analysis, Education +16

Rows per page

1–5 of 13