×

zbMATH — the first resource for mathematics

Sangiorgi, Davide

Compute Distance To:
Author ID: sangiorgi.davide Recent zbMATH articles by "Sangiorgi, Davide"
Published as: Sangiorgi, D.; Sangiorgi, Davide
Documents Indexed: 96 Publications since 1989, including 7 Books

Publications by Year

Citations contained in zbMATH

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

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

Citations by Year