Adolfo Piperno
Daniele Gorla
Ivano Salvo
Adolfo Piperno
Conflict vs Causality in Event Structures.
EXPRESS/SOS
2019
86-101
journals/corr/abs-1908-08213
https://doi.org/10.4204/EPTCS.300.6
http://arxiv.org/abs/1908.08636
db/series/eptcs/eptcs300.html#abs-1908-08636
Adolfo Piperno
Isomorphism Test for Digraphs with Weighted Edges.
30:1-30:13
2018
SEA
https://doi.org/10.4230/LIPIcs.SEA.2018.30
conf/wea/2018
db/conf/wea/sea2018.html#Piperno18
Stefano Guerrini
Henk Barendrengt
Adolfo Piperno
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday.
557-559
2017
27
Math. Struct. Comput. Sci.
5
https://doi.org/10.1017/S0960129515000274
https://www.wikidata.org/entity/Q122876333
db/journals/mscs/mscs27.html#GuerriniBP17
Brendan D. McKay
Adolfo Piperno
Practical graph isomorphism, II.
94-112
2014
60
J. Symb. Comput.
https://doi.org/10.1016/j.jsc.2013.09.003
https://www.wikidata.org/entity/Q99301767
db/journals/jsc/jsc60.html#McKayP14
Brendan D. McKay
Adolfo Piperno
Practical graph isomorphism, II
http://arxiv.org/abs/1301.1493
2013
CoRR
abs/1301.1493
db/journals/corr/corr1301.html#abs-1301-1493
Adolfo Piperno
Search Space Contraction in Canonical Labeling of Graphs (Preliminary Version)
http://arxiv.org/abs/0804.4881
2008
CoRR
abs/0804.4881
db/journals/corr/corr0804.html#abs-0804-4881
Antonio Bucciarelli
Adolfo Piperno
Ivano Salvo
Intersection Types and lambda-Definability.
15-53
2003
13
Math. Struct. Comput. Sci.
1
db/journals/mscs/mscs13.html#BucciarelliPS03
https://doi.org/10.1017/S0960129502003833
Erich Grädel
Joseph Y. Halpern
Radha Jagadeesan
Adolfo Piperno
LICS 2001 special issue.
295
2003
4
ACM Trans. Comput. Log.
3
https://doi.org/10.1145/772062.772063
db/journals/tocl/tocl4.html#GradelHJP03
Richard Kennaway
Zurab Khasidashvili
Adolfo Piperno
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.
51-65
2002
conf/rta/2002
RTA
https://doi.org/10.1007/3-540-45610-4_5
db/conf/rta/rta2002.html#KennawayKP02
Zurab Khasidashvili
Adolfo Piperno
A syntactical analysis of normalization.
381-410
2000
10
J. Log. Comput.
3
db/journals/logcom/logcom10.html#KhasidashviliP00
https://doi.org/10.1093/logcom/10.3.381
Adolfo Piperno
An Algebraic View of the Böhm-Out Technique.
233-246
1999
212
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs212.html#Piperno99
https://doi.org/10.1016/S0304-3975(98)00142-X
Antonio Bucciarelli
Silvia De Lorenzis
Adolfo Piperno
Ivano Salvo
Some Computational Properties of Intersection Types.
109-118
1999
conf/lics/1999
LICS
https://doi.org/10.1109/LICS.1999.782598
https://doi.ieeecomputersociety.org/10.1109/LICS.1999.782598
db/conf/lics/lics99.html#BucciarelliLPS99
Pierluigi Crescenzi
Paolo Penna
Adolfo Piperno
Linear area upward drawings of AVL trees.
25-42
1998
9
Comput. Geom.
1-2
db/journals/comgeo/comgeo9.html#CrescenziPP98
https://doi.org/10.1016/S0925-7721(97)00013-8
Mariangiola Dezani-Ciancaglini
Ugo de'Liguoro
Adolfo Piperno
A Filter Model for Concurrent lambda-Calculus.
1376-1419
1998
27
SIAM J. Comput.
5
https://doi.org/10.1137/S0097539794275860
db/journals/siamcomp/siamcomp27.html#Dezani-CiancaglinidP98
Zurab Khasidashvili
Adolfo Piperno
Normalization of Typable Terms by Superdevelopments.
260-282
1998
conf/csl/1998
CSL
db/conf/csl/csl98.html#KhasidashviliP98
https://doi.org/10.1007/10703163_18
Mariangiola Dezani-Ciancaglini
Ugo de'Liguoro
Adolfo Piperno
Filter Models for Conjunctive-Disjunctive lambda-Calculi.
83-128
1996
170
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs170.html#Dezani-CiancaglinidP96
https://doi.org/10.1016/S0304-3975(96)80703-1
Ugo de'Liguoro
Adolfo Piperno
Non Deterministic Extensions of Untyped Lambda-Calculus.
149-177
1995
122
Inf. Comput.
2
db/journals/iandc/iandc122.html#deLiguoroP95
https://doi.org/10.1006/inco.1995.1145
Normalization and Extensionality (Extended Abstract)
Adolfo Piperno
300-310
1995
conf/lics/1995
LICS
db/conf/lics/lics95.html#Piperno95
https://doi.org/10.1109/LICS.1995.523265
https://doi.ieeecomputersociety.org/10.1109/LICS.1995.523265
Roberto Di Cosmo
Adolfo Piperno
Expanding Extensional Polymorphism.
139-153
1995
conf/tlca/1995
TLCA
db/conf/tlca/tlca95.html#CosmoP95
https://doi.org/10.1007/BFb0014050
Corrado Böhm
Adolfo Piperno
Stefano Guerrini
Lambda-Definition of Function(al)s by Normal Forms.
135-149
1994
conf/esop/1994
ESOP
db/conf/esop/esop94.html#BohmPG94
https://doi.org/10.1007/3-540-57880-3_9
Pierluigi Crescenzi
Adolfo Piperno
Optimal-Area Upward Drawings of AVL Trees.
307-317
1994
conf/gd/1994
GD
db/conf/gd/gd94.html#CrescenziP94
https://doi.org/10.1007/3-540-58950-3_386
Type Inference and Extensionality
Adolfo Piperno
Simona Ronchi Della Rocca
196-205
1994
conf/lics/1994
LICS
db/conf/lics/lics94.html#PipernoR94
https://doi.org/10.1109/LICS.1994.316072
https://doi.ieeecomputersociety.org/10.1109/LICS.1994.316072
Mariangiola Dezani-Ciancaglini
Ugo de'Liguoro
Adolfo Piperno
Fully Abstract Semantics for Concurrent Lambda-calculus.
16-35
1994
conf/tacs/1994
TACS
db/conf/tacs/tacs94.html#Dezani-CiancaglinidP94
https://doi.org/10.1007/3-540-57887-0_88
Mariangiola Dezani-Ciancaglini
Ugo de'Liguoro
Adolfo Piperno
Filter Models for a Parallel and Non Deterministic Lambda-Calculus.
403-412
1993
conf/mfcs/1993
MFCS
db/conf/mfcs/mfcs93.html#Dezani-CiancaglinidP93
https://doi.org/10.1007/3-540-57182-5_32
Pierluigi Crescenzi
Giuseppe Di Battista
Adolfo Piperno
A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees.
187-200
1992
2
Comput. Geom.
db/journals/comgeo/comgeo2.html#CrescenziBP92
https://doi.org/10.1016/0925-7721(92)90021-J
Ugo de'Liguoro
Adolfo Piperno
Must Preorder in Non-Deterministic Untyped Lambda-Calculus.
203-220
1992
conf/caap/1992
CAAP
db/conf/caap/caap92.html#deLiguoroP92
https://doi.org/10.1007/3-540-55251-0_11
Retracts in simply typed lambda-beta-eta-calculus
Ugo de'Liguoro
Adolfo Piperno
Richard Statman
461-469
1992
conf/lics/1992
LICS
db/conf/lics/lics92.html#LiguoroPS92
https://doi.org/10.1109/LICS.1992.185557
https://doi.ieeecomputersociety.org/10.1109/LICS.1992.185557
Adolfo Piperno
Enrico Tronci
Regular Systems in lambda-Calculus.
325-340
1990
1
Int. J. Found. Comput. Sci.
3
db/journals/ijfcs/ijfcs1.html#PipernoT90
https://doi.org/10.1142/S0129054190000230
Adolfo Piperno
Abstraction Problems in Combinatory Logic a Compositive Approach.
27-43
1989
66
Theor. Comput. Sci.
1
db/journals/tcs/tcs66.html#Piperno89
https://doi.org/10.1016/0304-3975(89)90143-6
Corrado Böhm
Adolfo Piperno
Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus
91-101
1988
conf/lics/1988
LICS
db/conf/lics/lics88.html#BohmP88
https://doi.org/10.1109/LICS.1988.5104
https://doi.ieeecomputersociety.org/10.1109/LICS.1988.5104
Corrado Böhm
Adolfo Piperno
Surjectivity for Finite Sets of Combinators by Weak Reduction.
27-43
1987
conf/csl/1987
CSL
db/conf/csl/csl87.html#BohmP87
https://doi.org/10.1007/3-540-50241-6_27
Adolfo Piperno
A Compositive Abstraction Algorithm for Combinatory Logic.
39-51
1987
conf/tapsoft/1987-2
TAPSOFT, Vol.2
db/conf/tapsoft/tapsoft87-2.html#Piperno87
https://doi.org/10.1007/BFb0014971
Henk Barendrengt
Giuseppe Di Battista
Corrado Böhm
Antonio Bucciarelli
Roberto Di Cosmo
Pierluigi Crescenzi
Ugo de'Liguoro
Mariangiola Dezani-Ciancaglini
Daniele Gorla
Erich Grädel
Stefano Guerrini
Joseph Y. Halpern
Radha Jagadeesan
Richard Kennaway
Zurab Khasidashvili
Silvia De Lorenzis
Brendan D. McKay
Paolo Penna
Simona Ronchi Della Rocca
Ivano Salvo
Richard Statman
Enrico Tronci