Adolfo Piperno - Concepedia

Author

Adolfo Piperno

Sapienza University of Rome

Also Known As

A Piperno, A. Piperno, ADOLFO PIPERNO, Adolfo Piperno, Piperno, Adolfo

Publications

2.1K

Citations

H-Index

Concepts

All Affiliations

Sapienza University of Rome University of Turin Australian National University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	302
2	Computer Science	8	8	1.8K
3	Education	3	3	1.6K
4	Natural Sciences	2	2	125
5	Data Science	2	2	36

Adolfo Piperno

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
Practical graph isomorphism, II Brendan D. McKay, Adolfo Piperno Journal of Symbolic Computation Graph TheoryAlgebraic Graph TheoryStructural Graph TheoryTopological Graph TheoryPractical Graph Isomorphism	2013	1.6K
A note on optimal area algorithms for upward drawings of binary trees Pierluigi Crescenzi, Giuseppe Di Battista, Adolfo Piperno Computational Geometry Geometric ModelingMathematical ProgrammingOptimal Area AlgorithmsBinary TreesEngineering	1992	112
Nondeterministic Extensions of Untyped λ-Calculus Ugo de’Liguoro, Adolfo Piperno Information and Computation EngineeringAutomated ReasoningType TheoryFormal MethodsType System	1995	61
A Filter Model for Concurrent $\lambda$-Calculus Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, Adolfo Piperno SIAM Journal on Computing Filter ModelEngineeringOperational SemanticsDemonic NondeterminismAutomated Reasoning	1998	59
Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version) Adolfo Piperno arXiv (Cornell University) EngineeringNetwork AnalysisEducationGraph MatchingIndividualization-refinement Paradigm	2008	23
Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms Adolfo Piperno DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)	2008	23
Filter models for conjunctive-disjunctive λ-calculi Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, Adolfo Piperno Theoretical Computer Science Automated ReasoningFilter ModelsMany-valued LogicLambda Calculus	1996	18
Linear area upward drawings of AVL trees Pierluigi Crescenzi, Paolo Penna, Adolfo Piperno Computational Geometry Geometric ModelingAvl TreesForest InventoryGeometrySilviculture	1998	13
Some computational properties of intersection types A. Bucciarelli, S. De Lorenzis, Adolfo Piperno, Mathematical ProgrammingIntersection TypesCurry Typeable TermsCurry TypesEngineering	2003	13
Practical graph isomorphism, II Brendan D. McKay, Adolfo Piperno arXiv (Cornell University) EngineeringNetwork AnalysisEducationGraph ProcessingData Science	2013	13

Page 1