Adolfo Piperno

32 papers A* 5A 2B 4Journal 15Unranked 6

Year	Rank	Type	Title / Venue / Authors
2019	—	`conf`	Conflict vs Causality in Event Structures. EXPRESS/SOS Daniele Gorla, Ivano Salvo, Adolfo Piperno
2018	B	`conf`	Isomorphism Test for Digraphs with Weighted Edges. SEA Adolfo Piperno
2017	J	`jnl`	Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday. Math. Struct. Comput. Sci. Stefano Guerrini, Henk Barendrengt, Adolfo Piperno
2014	J	`jnl`	Practical graph isomorphism, II. J. Symb. Comput. Brendan D. McKay, Adolfo Piperno
2013	J	`jnl`	Practical graph isomorphism, II CoRR Brendan D. McKay, Adolfo Piperno
2008	J	`jnl`	Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version) CoRR Adolfo Piperno
2003	J	`jnl`	Intersection Types and lambda-Definability. Math. Struct. Comput. Sci. Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo
2003	J	`jnl`	LICS 2001 special issue. ACM Trans. Comput. Log. Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
2002	—	`conf`	Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno
2000	J	`jnl`	A syntactical analysis of normalization. J. Log. Comput. Zurab Khasidashvili, Adolfo Piperno
1999	J	`jnl`	An Algebraic View of the Böhm-Out Technique. Theor. Comput. Sci. Adolfo Piperno
1999	A*	`conf`	Some Computational Properties of Intersection Types. LICS Antonio Bucciarelli, Silvia De Lorenzis, Adolfo Piperno, Ivano Salvo
1998	J	`jnl`	A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1998	J	`jnl`	Linear area upward drawings of AVL trees. Comput. Geom. Pierluigi Crescenzi, Paolo Penna, Adolfo Piperno
1998	B	`conf`	Normalization of Typable Terms by Superdevelopments. CSL Zurab Khasidashvili, Adolfo Piperno
1996	J	`jnl`	Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1995	—	`conf`	Expanding Extensional Polymorphism. TLCA Roberto Di Cosmo, Adolfo Piperno
1995	J	`jnl`	Non Deterministic Extensions of Untyped Lambda-Calculus. Inf. Comput. Ugo de'Liguoro, Adolfo Piperno
1995	A*	`conf`	Normalization and Extensionality (Extended Abstract) LICS Adolfo Piperno
1994	—	`conf`	Fully Abstract Semantics for Concurrent Lambda-calculus. TACS Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1994	A	`conf`	Lambda-Definition of Function(al)s by Normal Forms. ESOP Corrado Böhm, Adolfo Piperno, Stefano Guerrini
1994	A	`conf`	Optimal-Area Upward Drawings of AVL Trees. GD Pierluigi Crescenzi, Adolfo Piperno
1994	A*	`conf`	Type Inference and Extensionality LICS Adolfo Piperno, Simona Ronchi Della Rocca
1993	B	`conf`	Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1992	J	`jnl`	A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees. Comput. Geom. Pierluigi Crescenzi, Giuseppe Di Battista, Adolfo Piperno
1992	—	`conf`	Must Preorder in Non-Deterministic Untyped Lambda-Calculus. CAAP Ugo de'Liguoro, Adolfo Piperno
1992	A*	`conf`	Retracts in simply typed lambda-beta-eta-calculus LICS Ugo de'Liguoro, Adolfo Piperno, Richard Statman
1990	J	`jnl`	Regular Systems in lambda-Calculus. Int. J. Found. Comput. Sci. Adolfo Piperno, Enrico Tronci
1989	J	`jnl`	Abstraction Problems in Combinatory Logic a Compositive Approach. Theor. Comput. Sci. Adolfo Piperno
1988	A*	`conf`	Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus LICS Corrado Böhm, Adolfo Piperno
1987	—	`conf`	A Compositive Abstraction Algorithm for Combinatory Logic. TAPSOFT, Vol.2 Adolfo Piperno
1987	B	`conf`	Surjectivity for Finite Sets of Combinators by Weak Reduction. CSL Corrado Böhm, Adolfo Piperno