×
Compute Distance To:
Author ID: sangiorgi.davide Recent zbMATH articles by "Sangiorgi, Davide"
Published as: Sangiorgi, Davide; Sangiorgi, D.

Publications by Year

Citations contained in zbMATH Open

82 Publications have been cited 1,200 times in 630 Documents Cited by Year
The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116
Sangiorgi, Davide; Walker, David
221
2001
Typing and subtyping for mobile processes. Zbl 0861.68030
Pierce, Benjamin; Sangiorgi, Davide
71
1996
A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072
Sangiorgi, Davide
64
1996
\(\pi\)-Calculus, internal mobility, and agent-passing calculi. Zbl 0874.68103
Sangiorgi, Davide
58
1996
Introduction to bisimulation and coinduction. Zbl 1252.68008
Sangiorgi, Davide
55
2012
On bisimulations for the asynchronous \(\pi\)-calculus. Zbl 0915.68009
Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide
48
1998
Bisimulation for higher-order process calculi. Zbl 0876.68042
Sangiorgi, Davide
43
1996
On the bisimulation proof method. Zbl 0916.68057
Sangiorgi, Davide
42
1998
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide
32
1998
Controlling interference in ambients. Zbl 1323.68411
Levi, Francesca; Sangiorgi, Davide
30
2000
A fully abstract model for the \(\pi\)-calculus. Zbl 1053.68066
Fiore, M. P.; Moggi, E.; Sangiorgi, D.
26
2002
Behavioral equivalence in the polymorphic pi-calculus. Zbl 1094.68591
Pierce, Benjamin C.; Sangiorgi, Davide
24
2000
Algebraic theories for name-passing calculi. Zbl 0836.03020
Parrow, Joachim; Sangiorgi, Davide
24
1995
Enhancements of the bisimulation proof method. Zbl 1285.68111
Pous, Damien; Sangiorgi, Davide
22
2012
Asynchronous process calculi: The first- and higher-order paradigms. Zbl 0956.68081
Sangiorgi, D.
22
2001
On asynchrony in name-passing calculi. Zbl 0910.03019
Merro, Massimo; Sangiorgi, Davide
21
1998
The lazy lambda calculus in a concurrency scenario. Zbl 0804.03008
Sangiorgi, Davide
21
1994
The name discipline of uniform receptiveness. Zbl 0930.68035
Sangiorgi, Davide
19
1999
Extensionality and intensionality of the ambient logics. Zbl 1323.68415
Sangiorgi, Davide
19
2001
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
18
1992
On barbed equivalences in \(\pi\)-calculus. Zbl 1006.68090
Sangiorgi, Davide; Walker, David
17
2001
On the expressiveness and decidability of higher-order process calculi. Zbl 1238.68100
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
17
2011
On asynchrony in name-passing calculi. Zbl 1093.68026
Merro, Massimo; Sangiorgi, Davide
17
2004
Session types revisited. Zbl 1376.68099
Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide
15
2017
Towards a calculus for wireless systems. Zbl 1273.68264
Mezzetti, Nicola; Sangiorgi, Davide
14
2006
Some congruence properties for \(\pi\)-calculus bisimilarities. Zbl 0902.68117
Boreale, Michele; Sangiorgi, Davide
13
1998
On the expressiveness of polyadic and synchronous communication in higher-order process calculi. Zbl 1288.68183
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
11
2010
Origins of bisimulation and coinduction. Zbl 1285.68112
Sangiorgi, Davide
10
2012
Locality and interleaving semantics in calculi for mobile processes. Zbl 0874.68115
Sangiorgi, Davide
9
1996
An operational semantics for a calculus for wireless systems. Zbl 1200.68035
Lanese, Ivan; Sangiorgi, Davide
8
2010
Logical bisimulations and functional languages. Zbl 1141.68377
Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro
8
2007
Separability in the ambient logic. Zbl 1151.03017
Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide
8
2008
On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106
Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide
8
2005
Environmental bisimulations for probabilistic higher-order languages. Zbl 1347.68056
Sangiorgi, Davide; Vignudelli, Valeria
8
2016
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
7
2012
Ensuring termination by typability. Zbl 1110.68084
Deng, Yuxin; Sangiorgi, Davide
7
2006
Termination of processes. Zbl 1092.68069
Sangiorgi, Davide
6
2006
An interpretation of typed objects into typed \(\pi\)-calculus. Zbl 0914.03039
Sangiorgi, Davide
6
1998
Equations, contractions, and unique solutions. Zbl 1346.68139
Sangiorgi, Davide
6
2015
Some structural properties of systolic tree automata. Zbl 0687.68036
Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D.
6
1989
On coinductive equivalences for higher-order probabilistic functional programs. Zbl 1284.68424
Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele
6
2014
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 1379.68245
Boreale, Michele; Sangiorgi, Davide
6
1995
Name-passing calculi: from fusions to preorders and types. Zbl 1366.68205
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
5
2013
A distributed abstract machine for safe ambients (extended abstract). Zbl 0986.68511
Sangiorgi, Davide; Valente, Andrea
5
2001
Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200
Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide
5
2014
Minimality results for the spatial logics. Zbl 1205.03046
Hirschkoff, D.; Lozes, É.; Sangiorgi, D.
4
2003
Termination in impure concurrent languages. Zbl 1287.68129
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
4
2010
Imperative objects as mobile processes. Zbl 1014.68104
Kleist, Josva; Sangiorgi, Davide
4
2002
On the proof method for bisimulation. Zbl 1193.68177
Sangiorgi, Davide
4
1995
A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474
Kobayashi, Naoki; Sangiorgi, Davide
4
2008
Locality and true-concurrency in calculi for mobile processes. Zbl 0942.68631
Sangiorgi, Davide
4
1994
Types, or: Where’s the difference between CCS and \(\pi\)? Zbl 1012.68137
Sangiorgi, Davide
4
2002
Safe ambients: Abstract machine and distributed implementation. Zbl 1085.68044
Giannini, Paola; Sangiorgi, Davide; Valente, Andrea
4
2006
Simulation of systolic tree automata on trellis automata. Zbl 0726.68057
Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide
3
1990
Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066
Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D.
3
1990
Towards an algebraic theory of typed mobile processes. Zbl 1086.68090
Deng, Yuxin; Sangiorgi, Davide
3
2006
A partition refinement algorithm for the \(\pi\)-calculus. Zbl 1003.68082
Pistore, Marco; Sangiorgi, Davide
3
2001
Equations, contractions, and unique solutions. Zbl 1367.68212
Sangiorgi, Davide
3
2017
An efficient abstract machine for safe ambients. Zbl 1116.68056
Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide
3
2007
Beyond bisimulation: the “up-to” techniques. Zbl 1196.68160
Sangiorgi, Davide
3
2006
Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010
Pous, Damien; Sangiorgi, Davide
3
2019
Divergence and unique solution of equations. Zbl 1442.68135
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
3
2017
Trees from functions as processes. Zbl 1417.68138
Sangiorgi, Davide; Xu, Xian
3
2014
Mobile processes and termination. Zbl 1253.68239
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2009
Termination in higher-order concurrent calculi. Zbl 1274.68067
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2010
Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086
Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D.
2
1992
Ensuring termination by typability. Zbl 1088.68661
Deng, Yuxin; Sangiorgi, Davide
2
2004
On the expressiveness of the ambient logic. Zbl 1126.68056
Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide
2
2006
The name discipline of uniform receptiveness. Zbl 1401.68234
Sangiorgi, Davide
2
1997
Divergence and unique solution of equations. Zbl 1442.68134
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
2
2019
Duality and i/o-types in the \(\pi \)-calculus. Zbl 1365.68343
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
2
2012
Light logics and higher-order processes. Zbl 1362.68209
Dal Lago, Ugo; Martini, Simone; Sangiorgi, Davide
2
2016
Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Zbl 1295.68021
2
2014
On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
2
2014
On applicative similarity, sequentiality, and full abstraction. Zbl 1444.68116
Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria
1
2015
Termination in higher-order concurrent calculi. Zbl 1205.68241
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
1
2010
Bisimulation and co-induction: some problems. Zbl 1316.68107
Sangiorgi, Davide
1
2006
From \(\lambda\) to \(\pi\); or, rediscovering continuations. Zbl 0939.68019
Sangiorgi, Davide
1
1999
Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
1
2020
Trees from functions as processes. Zbl 06932685
Sangiorgi, Davide; Xu, Xian
1
2018
Internal mobility and agent-passing calculi. Zbl 1412.68156
Sangiorgi, Davide
1
1995
Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003
Baeten, Jos C. M.; Sangiorgi, Davide
1
2014
Towards ‘up to context’ reasoning about higher-order processes. Zbl 1436.68211
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
1
2020
Bisimulation and coinduction enhancements: a historical perspective. Zbl 1427.68010
Pous, Damien; Sangiorgi, Davide
3
2019
Divergence and unique solution of equations. Zbl 1442.68134
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
2
2019
Trees from functions as processes. Zbl 06932685
Sangiorgi, Davide; Xu, Xian
1
2018
Session types revisited. Zbl 1376.68099
Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide
15
2017
Equations, contractions, and unique solutions. Zbl 1367.68212
Sangiorgi, Davide
3
2017
Divergence and unique solution of equations. Zbl 1442.68135
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide
3
2017
Environmental bisimulations for probabilistic higher-order languages. Zbl 1347.68056
Sangiorgi, Davide; Vignudelli, Valeria
8
2016
Light logics and higher-order processes. Zbl 1362.68209
Dal Lago, Ugo; Martini, Simone; Sangiorgi, Davide
2
2016
Equations, contractions, and unique solutions. Zbl 1346.68139
Sangiorgi, Davide
6
2015
On applicative similarity, sequentiality, and full abstraction. Zbl 1444.68116
Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria
1
2015
On coinductive equivalences for higher-order probabilistic functional programs. Zbl 1284.68424
Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele
6
2014
Bisimulations up-to: beyond first-order transition systems. Zbl 1388.68200
Madiot, Jean-Marie; Pous, Damien; Sangiorgi, Davide
5
2014
Trees from functions as processes. Zbl 1417.68138
Sangiorgi, Davide; Xu, Xian
3
2014
Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Zbl 1295.68021
2
2014
On the discriminating power of passivation and higher-order interaction. Zbl 1392.68283
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
2
2014
Concurrency theory: a historical perspective on coinduction and process calculi. Zbl 1404.68003
Baeten, Jos C. M.; Sangiorgi, Davide
1
2014
Name-passing calculi: from fusions to preorders and types. Zbl 1366.68205
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
5
2013
Introduction to bisimulation and coinduction. Zbl 1252.68008
Sangiorgi, Davide
55
2012
Enhancements of the bisimulation proof method. Zbl 1285.68111
Pous, Damien; Sangiorgi, Davide
22
2012
Origins of bisimulation and coinduction. Zbl 1285.68112
Sangiorgi, Davide
10
2012
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
7
2012
Duality and i/o-types in the \(\pi \)-calculus. Zbl 1365.68343
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide
2
2012
On the expressiveness and decidability of higher-order process calculi. Zbl 1238.68100
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
17
2011
On the expressiveness of polyadic and synchronous communication in higher-order process calculi. Zbl 1288.68183
Lanese, Ivan; Pérez, Jorge A.; Sangiorgi, Davide; Schmitt, Alan
11
2010
An operational semantics for a calculus for wireless systems. Zbl 1200.68035
Lanese, Ivan; Sangiorgi, Davide
8
2010
Termination in impure concurrent languages. Zbl 1287.68129
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
4
2010
Termination in higher-order concurrent calculi. Zbl 1274.68067
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2010
Termination in higher-order concurrent calculi. Zbl 1205.68241
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
1
2010
Mobile processes and termination. Zbl 1253.68239
Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide
2
2009
Separability in the ambient logic. Zbl 1151.03017
Lozes, Étienne; Hirschkoff, Daniel; Sangiorgi, Davide
8
2008
A hybrid type system for lock-freedom of mobile processes. Zbl 1155.68474
Kobayashi, Naoki; Sangiorgi, Davide
4
2008
Logical bisimulations and functional languages. Zbl 1141.68377
Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro
8
2007
An efficient abstract machine for safe ambients. Zbl 1116.68056
Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide
3
2007
Towards a calculus for wireless systems. Zbl 1273.68264
Mezzetti, Nicola; Sangiorgi, Davide
14
2006
Ensuring termination by typability. Zbl 1110.68084
Deng, Yuxin; Sangiorgi, Davide
7
2006
Termination of processes. Zbl 1092.68069
Sangiorgi, Davide
6
2006
Safe ambients: Abstract machine and distributed implementation. Zbl 1085.68044
Giannini, Paola; Sangiorgi, Davide; Valente, Andrea
4
2006
Towards an algebraic theory of typed mobile processes. Zbl 1086.68090
Deng, Yuxin; Sangiorgi, Davide
3
2006
Beyond bisimulation: the “up-to” techniques. Zbl 1196.68160
Sangiorgi, Davide
3
2006
On the expressiveness of the ambient logic. Zbl 1126.68056
Hirschkoff, Daniel; Lozes, Etienne; Sangiorgi, Davide
2
2006
Bisimulation and co-induction: some problems. Zbl 1316.68107
Sangiorgi, Davide
1
2006
On the representation of McCarthy’s \(amb\) in the \(\pi\)-calculus. Zbl 1078.68106
Carayol, Arnaud; Hirschkoff, Daniel; Sangiorgi, Davide
8
2005
On asynchrony in name-passing calculi. Zbl 1093.68026
Merro, Massimo; Sangiorgi, Davide
17
2004
Ensuring termination by typability. Zbl 1088.68661
Deng, Yuxin; Sangiorgi, Davide
2
2004
Minimality results for the spatial logics. Zbl 1205.03046
Hirschkoff, D.; Lozes, É.; Sangiorgi, D.
4
2003
A fully abstract model for the \(\pi\)-calculus. Zbl 1053.68066
Fiore, M. P.; Moggi, E.; Sangiorgi, D.
26
2002
Imperative objects as mobile processes. Zbl 1014.68104
Kleist, Josva; Sangiorgi, Davide
4
2002
Types, or: Where’s the difference between CCS and \(\pi\)? Zbl 1012.68137
Sangiorgi, Davide
4
2002
The \(\pi\)-calculus: A theory of mobile processes. Zbl 0981.68116
Sangiorgi, Davide; Walker, David
221
2001
Asynchronous process calculi: The first- and higher-order paradigms. Zbl 0956.68081
Sangiorgi, D.
22
2001
Extensionality and intensionality of the ambient logics. Zbl 1323.68415
Sangiorgi, Davide
19
2001
On barbed equivalences in \(\pi\)-calculus. Zbl 1006.68090
Sangiorgi, Davide; Walker, David
17
2001
A distributed abstract machine for safe ambients (extended abstract). Zbl 0986.68511
Sangiorgi, Davide; Valente, Andrea
5
2001
A partition refinement algorithm for the \(\pi\)-calculus. Zbl 1003.68082
Pistore, Marco; Sangiorgi, Davide
3
2001
Controlling interference in ambients. Zbl 1323.68411
Levi, Francesca; Sangiorgi, Davide
30
2000
Behavioral equivalence in the polymorphic pi-calculus. Zbl 1094.68591
Pierce, Benjamin C.; Sangiorgi, Davide
24
2000
The name discipline of uniform receptiveness. Zbl 0930.68035
Sangiorgi, Davide
19
1999
From \(\lambda\) to \(\pi\); or, rediscovering continuations. Zbl 0939.68019
Sangiorgi, Davide
1
1999
On bisimulations for the asynchronous \(\pi\)-calculus. Zbl 0915.68009
Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide
48
1998
On the bisimulation proof method. Zbl 0916.68057
Sangiorgi, Davide
42
1998
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide
32
1998
On asynchrony in name-passing calculi. Zbl 0910.03019
Merro, Massimo; Sangiorgi, Davide
21
1998
Some congruence properties for \(\pi\)-calculus bisimilarities. Zbl 0902.68117
Boreale, Michele; Sangiorgi, Davide
13
1998
An interpretation of typed objects into typed \(\pi\)-calculus. Zbl 0914.03039
Sangiorgi, Davide
6
1998
The name discipline of uniform receptiveness. Zbl 1401.68234
Sangiorgi, Davide
2
1997
Typing and subtyping for mobile processes. Zbl 0861.68030
Pierce, Benjamin; Sangiorgi, Davide
71
1996
A theory of bisimulation for the \(\pi\)-calculus. Zbl 0835.68072
Sangiorgi, Davide
64
1996
\(\pi\)-Calculus, internal mobility, and agent-passing calculi. Zbl 0874.68103
Sangiorgi, Davide
58
1996
Bisimulation for higher-order process calculi. Zbl 0876.68042
Sangiorgi, Davide
43
1996
Locality and interleaving semantics in calculi for mobile processes. Zbl 0874.68115
Sangiorgi, Davide
9
1996
Algebraic theories for name-passing calculi. Zbl 0836.03020
Parrow, Joachim; Sangiorgi, Davide
24
1995
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 1379.68245
Boreale, Michele; Sangiorgi, Davide
6
1995
On the proof method for bisimulation. Zbl 1193.68177
Sangiorgi, Davide
4
1995
Internal mobility and agent-passing calculi. Zbl 1412.68156
Sangiorgi, Davide
1
1995
The lazy lambda calculus in a concurrency scenario. Zbl 0804.03008
Sangiorgi, Davide
21
1994
Locality and true-concurrency in calculi for mobile processes. Zbl 0942.68631
Sangiorgi, Davide
4
1994
Barbed bisimulation. Zbl 1425.68298
Milner, Robin; Sangiorgi, Davide
18
1992
Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086
Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D.
2
1992
Simulation of systolic tree automata on trellis automata. Zbl 0726.68057
Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide
3
1990
Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066
Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D.
3
1990
Some structural properties of systolic tree automata. Zbl 0687.68036
Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D.
6
1989
all top 5

Cited by 647 Authors

36 Sangiorgi, Davide
22 Yoshida, Nobuko
19 Hennessy, Matthew C. B.
17 Bonchi, Filippo
17 Montanari, Ugo G.
16 Fu, Yuxi
12 Hirschkoff, Daniel
11 Boreale, Michele
11 Dezani-Ciancaglini, Mariangiola
11 Gadducci, Fabio
11 Nestmann, Uwe
11 Pérez, Jorge A.
10 Dal Lago, Ugo
10 Deng, Yuxin
10 Merro, Massimo
9 Bruni, Roberto
9 Caires, Luís
9 Phillips, Iain W.
9 Pous, Damien
8 De Nicola, Rocco
8 Hüttel, Hans
8 Ingólfsdóttir, Anna
8 Lanese, Ivan
8 Pugliese, Rosario
8 Rathke, Julian
8 Sabel, David
8 Schmidt-Schauß, Manfred
7 Aceto, Luca
7 Gordon, Andrew D.
7 Gorla, Daniele
7 Gorrieri, Roberto
7 Honda, Kohei
7 Lenglet, Sergueï
7 Peters, Kirstin
7 Priami, Corrado
7 Tiu, Alwen Fernanto
7 Xu, Xian
6 Amadio, Roberto M.
6 Baldan, Paolo
6 Barbanera, Franco
6 Bugliesi, Michele
6 Ferrari, Gian Luigi
6 Horne, Ross
6 König, Barbara
6 Maffeis, Sergio
6 Mezzina, Claudio Antares
6 Miculan, Marino
6 Rot, Jurriaan
6 Vasconcelos, Vasco Thudichum
5 Brodo, Linda
5 Ciancia, Vincenzo
5 Francalanza, Adrian
5 Gay, Simon J.
5 Kobayashi, Naoki
5 Laneve, Cosimo
5 Madiot, Jean-Marie
5 Medić, Doriana
5 Montesi, Fabrizio
5 Padovani, Luca
5 Palamidessi, Catuscia
5 Pantović, Jovanka
5 Quaglia, Paola
5 Schmitt, Alan
5 Sobociński, Paweł
5 Tiezzi, Francesco
5 Vieira, Hugo Torres
5 Vigliotti, Maria Grazia
4 Berger, Martin J.
4 Bodei, Chiara
4 Busi, Nadia
4 Cardelli, Luca
4 Castagna, Giuseppe
4 Degano, Pierpaolo
4 de’Liguoro, Ugo
4 Fiore, Marcelo P.
4 Focardi, Riccardo
4 Gardner, Philippa Anne
4 Ghilezan, Silvia
4 Godskesen, Jens Chr.
4 Jeffrey, Alan S. A.
4 Koutavas, Vasileios
4 Legay, Axel
4 Luttik, Bas
4 Miller, Dale Allen
4 Monreale, Giacoma Valentina
4 Nielson, Flemming
4 Pfenning, Frank
4 Ravara, António
4 Reniers, Michel Adriaan
4 Riis Nielson, Hanne
4 Sassone, Vladimiro
4 Silva, Alexandra
4 Stark, Ian
4 Staton, Sam
4 Stefani, Jean-Bernard
4 van Glabbeek, Robert Jan
4 Varacca, Daniele
3 Acciai, Lucia
3 Åman Pohjola, Johannes
3 Barbuti, Roberto
...and 547 more Authors

Citations by Year