×

zbMATH — the first resource for mathematics

Gorrieri, Roberto

Compute Distance To:
Author ID: gorrieri.roberto Recent zbMATH articles by "Gorrieri, Roberto"
Published as: Gorrieri, R.; Gorrieri, Robert; Gorrieri, Roberto
Documents Indexed: 87 Publications since 1988, including 14 Books

Publications by Year

Citations contained in zbMATH

66 Publications have been cited 388 times in 257 Documents Cited by Year
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Zbl 0902.68075
Bernardo, Marco; Gorrieri, Roberto
44
1998
Classification of security properties. I: Information flow. Zbl 1007.68508
Focardi, Riccardo; Gorrieri, Roberto
28
2001
Non interference for the analysis of cryptographic protocols. Zbl 0973.94517
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
19
2000
A theory of processes with durational actions. Zbl 0874.68113
Gorrieri, Roberto; Roccetti, Marco; Stancampiano, Enrico
18
1995
On the expressiveness of Linda coordination primitives. Zbl 1046.68616
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
16
2000
The theory of interactive generalized semi-Markov processes. Zbl 0997.68083
Bravetti, Mario; Gorrieri, Roberto
15
2002
Action refinement. Zbl 1035.68068
Gorrieri, Roberto; Rensink, Arend
15
2001
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. Zbl 1169.68031
Busi, Nadia; Gorrieri, Roberto
13
2009
Atomic refinement in process description languages. Zbl 0777.68060
Degano, Pierpaolo; Gorrieri, Roberto
10
1991
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
9
2002
A complete axiomatziation for observational congruence of prioritized finite-state behaviors. Zbl 0973.68168
Bravetti, Mario; Gorrieri, Roberto
9
2000
A process algebraic view of Linda coordination primitives. Zbl 0895.68016
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
9
1998
Performance preorder and competitive equivalence. Zbl 0878.68081
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
9
1997
Introduction to concurrency theory. Transition systems and CCS. Zbl 1333.68001
Gorrieri, Roberto; Versari, Cristian
8
2015
An exercise in concurrency: A CSP process as a condition/event system. Zbl 0668.68069
Degano, Pierpaolo; Gorrieri, Roberto; Marchetti, Sergio
8
1988
On the relationship between \(\pi \)-calculus and finite place/transition Petri nets. Zbl 1254.68175
Meyer, Roland; Gorrieri, Roberto
7
2009
Comparing three semantics for Linda-like languages. Zbl 0954.68092
Busi, N.; Gorrieri, R.; Zavattaro, G.
7
2000
Temporary data in shared dataspace coordination languages. Zbl 0986.68098
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
6
2001
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems. Zbl 0909.68074
Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
6
1998
Comparing syntactic and semantic action refinement. Zbl 0853.68129
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
6
1996
An extended expansion theorem. Zbl 0967.68513
Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo
6
1991
Process algebras for Petri nets. The alphabetization of distributed systems. Zbl 1377.68002
Gorrieri, Roberto
5
2017
On the expressive power of global and local priority in process calculi. Zbl 1151.68557
Versari, Cristian; Busi, Nadia; Gorrieri, Roberto
5
2007
A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Zbl 1073.68029
Gorrieri, Roberto; Martinelli, Fabio
5
2004
On the Turing-equivalence of Linda coordination primitives. Zbl 0911.68139
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
5
1997
On the implementation of concurrent calculi in net calculi: two case studies. Zbl 0873.68144
Gorrieri, Roberto; Montanari, Ugo
5
1995
Split and ST bisimulation semantics. Zbl 0826.68077
Gorrieri, Roberto; Laneve, Cosimo
5
1995
Towards hierarchical description of systems: A proof system for strong prefixing. Zbl 0732.68074
Gorrieri, Roberto; Montanari, Ugo
5
1990
Classification of security properties. II: Network security. Zbl 1202.68168
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
4
2004
A comparison of three authentication properties. Zbl 1052.68033
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
4
2003
Vertical implementation. Zbl 1005.68095
Rensink, Arend; Gorrieri, Roberto
4
2001
Process calculi for coordination: From Linda to JavaSpaces. Zbl 0983.68521
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
4
2000
Axiomatizing ST bisimulation for a process algebra with recursion and action refinement. (Extended abstract). Zbl 0958.68115
Bravetti, Mario; Gorrieri, Roberto
4
1999
Performance preorder: ordering processes with respect to speed. Zbl 1193.68173
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
4
1995
The limit of split\(_ n\)-bisimulations for CCS agents. Zbl 0777.68063
Gorrieri, Roberto; Laneve, Cosimo
4
1991
A\(^ 2\)CCS: Atomic actions for CCS. Zbl 0698.68029
Gorrieri, Roberto; Marchetti, Sergio; Montanari, Ugo
4
1990
Structural non-interference in elementary and trace nets. Zbl 1191.68431
Busi, Nadia; Gorrieri, Roberto
3
2009
Quantitative information in the tuple space coordination model. Zbl 1080.68007
Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
3
2005
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
A survey on non-interference with Petri nets. Zbl 1088.68121
Busi, Nadia; Gorrieri, Roberto
3
2004
A causal operational semantics of action refinement. Zbl 0834.68068
Degano, Pierpaolo; Gorrieri, Roberto
3
1995
An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\). Zbl 1251.68154
Gorrieri, Roberto; Versari, Cristian
2
2011
On intransitive non-interference in some models of concurrency. Zbl 1344.68073
Gorrieri, Roberto; Vernali, Matteo
2
2011
An expressiveness study of priority in process calculi. Zbl 1191.68447
Versari, Cristian; Busi, Nadia; Gorrieri, Roberto
2
2009
Supporting secure coordination in SecSpaces. Zbl 1114.68024
Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
2
2006
Positive non-interference in elementary and trace nets. Zbl 1094.68058
Busi, Nadia; Gorrieri, Roberto
2
2004
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
Security analysis of a probabilistic non-repudiation protocol. Zbl 1065.68528
Aldini, Alessandro; Gorrieri, Roberto
2
2002
CVS at work: A report on new failures upon some cryptographic protocols. Zbl 0992.94505
Durante, Antonio; Focardi, Riccardo; Gorrieri, Roberto
2
2001
On the semantics of JavaSpaces. Zbl 0968.68019
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
2
2000
Secrecy in security protocols as non interference. Zbl 0966.68008
Focardi, R.; Gorrieri, R.; Martinelli, F.
2
1999
Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet. Zbl 1111.68453
Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
2
1998
Theoretical aspects of coordination languages. Zbl 0895.00029
Gorrieri, R. (ed.); Hankin, C. (ed.)
2
1998
Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Zbl 1369.68020
Degano, Pierpaolo (ed.); Gorrieri, Roberto (ed.); Marchetti-Spaccamela, Alberto (ed.)
2
1997
Verification of finite-state machines: a distributed approach. Zbl 1430.68152
Gorrieri, Roberto
1
2018
Language representability of finite P/T nets. Zbl 1434.68325
Gorrieri, Roberto
1
2015
Computational methods in systems biology. 7th international conference, CMSB 2009, Bologna, Italy, August 31–September 1, 2009. Proceedings. Zbl 1172.68302
Degano, Pierpaolo (ed.); Gorrieri, Roberto (ed.)
1
2009
Towards a formal treatment of secrecy against computational adversaries. Zbl 1111.68447
Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
1
2005
Formal analysis of some timed security properties in wireless protocols. Zbl 1253.68055
Gorrieri, Roberto; Martinelli, Fabio; Petrocchi, Marinella; Vaccarelli, Anna
1
2003
A simple language for real-time cryptographic protocol analysis. Zbl 1032.94510
Gorrieri, Roberto; Locatelli, Enrico; Martinelli, Fabio
1
2003
Unified specification and performance evaluation using stochastic process algebras. Zbl 1159.68516
Gorrieri, Roberto; Herzog, Ulrich; Hillston, Jane
1
2002
Foundations of security analysis and design. Tutorial lectures. Zbl 0974.00025
Focardi, Riccardo (ed.); Gorrieri, Roberto (ed.)
1
2001
Corrigendum to “A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time”. Zbl 0973.68179
Bernardo, Marco; Gorrieri, Roberto
1
2001
Message authentication through non interference. Zbl 0983.68067
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
1
2000
On syntactic and semantic action refinement. Zbl 0942.68633
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
1
1994
A hierarchy of system descriptions via atomic linear refinement. Zbl 0762.68020
Gorrieri, Roberto
1
1992
Verification of finite-state machines: a distributed approach. Zbl 1430.68152
Gorrieri, Roberto
1
2018
Process algebras for Petri nets. The alphabetization of distributed systems. Zbl 1377.68002
Gorrieri, Roberto
5
2017
Introduction to concurrency theory. Transition systems and CCS. Zbl 1333.68001
Gorrieri, Roberto; Versari, Cristian
8
2015
Language representability of finite P/T nets. Zbl 1434.68325
Gorrieri, Roberto
1
2015
An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\). Zbl 1251.68154
Gorrieri, Roberto; Versari, Cristian
2
2011
On intransitive non-interference in some models of concurrency. Zbl 1344.68073
Gorrieri, Roberto; Vernali, Matteo
2
2011
Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. Zbl 1169.68031
Busi, Nadia; Gorrieri, Roberto
13
2009
On the relationship between \(\pi \)-calculus and finite place/transition Petri nets. Zbl 1254.68175
Meyer, Roland; Gorrieri, Roberto
7
2009
Structural non-interference in elementary and trace nets. Zbl 1191.68431
Busi, Nadia; Gorrieri, Roberto
3
2009
An expressiveness study of priority in process calculi. Zbl 1191.68447
Versari, Cristian; Busi, Nadia; Gorrieri, Roberto
2
2009
Computational methods in systems biology. 7th international conference, CMSB 2009, Bologna, Italy, August 31–September 1, 2009. Proceedings. Zbl 1172.68302
Degano, Pierpaolo (ed.); Gorrieri, Roberto (ed.)
1
2009
On the expressive power of global and local priority in process calculi. Zbl 1151.68557
Versari, Cristian; Busi, Nadia; Gorrieri, Roberto
5
2007
Supporting secure coordination in SecSpaces. Zbl 1114.68024
Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
2
2006
Quantitative information in the tuple space coordination model. Zbl 1080.68007
Bravetti, Mario; Gorrieri, Roberto; Lucchi, Roberto; Zavattaro, Gianluigi
3
2005
Towards a formal treatment of secrecy against computational adversaries. Zbl 1111.68447
Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
1
2005
A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Zbl 1073.68029
Gorrieri, Roberto; Martinelli, Fabio
5
2004
Classification of security properties. II: Network security. Zbl 1202.68168
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
4
2004
Two formal approaches for approximating noninterference properties. Zbl 1202.68163
Aldini, Alessandro; Bravetti, Mario; Di Pierro, Alessandra; Gorrieri, Roberto; Hankin, Chris; Wiklicky, Herbert
3
2004
A survey on non-interference with Petri nets. Zbl 1088.68121
Busi, Nadia; Gorrieri, Roberto
3
2004
Positive non-interference in elementary and trace nets. Zbl 1094.68058
Busi, Nadia; Gorrieri, Roberto
2
2004
A comparison of three authentication properties. Zbl 1052.68033
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
4
2003
Formal analysis of some timed security properties in wireless protocols. Zbl 1253.68055
Gorrieri, Roberto; Martinelli, Fabio; Petrocchi, Marinella; Vaccarelli, Anna
1
2003
A simple language for real-time cryptographic protocol analysis. Zbl 1032.94510
Gorrieri, Roberto; Locatelli, Enrico; Martinelli, Fabio
1
2003
The theory of interactive generalized semi-Markov processes. Zbl 0997.68083
Bravetti, Mario; Gorrieri, Roberto
15
2002
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
9
2002
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
Security analysis of a probabilistic non-repudiation protocol. Zbl 1065.68528
Aldini, Alessandro; Gorrieri, Roberto
2
2002
Unified specification and performance evaluation using stochastic process algebras. Zbl 1159.68516
Gorrieri, Roberto; Herzog, Ulrich; Hillston, Jane
1
2002
Classification of security properties. I: Information flow. Zbl 1007.68508
Focardi, Riccardo; Gorrieri, Roberto
28
2001
Action refinement. Zbl 1035.68068
Gorrieri, Roberto; Rensink, Arend
15
2001
Temporary data in shared dataspace coordination languages. Zbl 0986.68098
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
6
2001
Vertical implementation. Zbl 1005.68095
Rensink, Arend; Gorrieri, Roberto
4
2001
CVS at work: A report on new failures upon some cryptographic protocols. Zbl 0992.94505
Durante, Antonio; Focardi, Riccardo; Gorrieri, Roberto
2
2001
Foundations of security analysis and design. Tutorial lectures. Zbl 0974.00025
Focardi, Riccardo (ed.); Gorrieri, Roberto (ed.)
1
2001
Corrigendum to “A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time”. Zbl 0973.68179
Bernardo, Marco; Gorrieri, Roberto
1
2001
Non interference for the analysis of cryptographic protocols. Zbl 0973.94517
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
19
2000
On the expressiveness of Linda coordination primitives. Zbl 1046.68616
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
16
2000
A complete axiomatziation for observational congruence of prioritized finite-state behaviors. Zbl 0973.68168
Bravetti, Mario; Gorrieri, Roberto
9
2000
Comparing three semantics for Linda-like languages. Zbl 0954.68092
Busi, N.; Gorrieri, R.; Zavattaro, G.
7
2000
Process calculi for coordination: From Linda to JavaSpaces. Zbl 0983.68521
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
4
2000
On the semantics of JavaSpaces. Zbl 0968.68019
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
2
2000
Message authentication through non interference. Zbl 0983.68067
Focardi, Riccardo; Gorrieri, Roberto; Martinelli, Fabio
1
2000
Axiomatizing ST bisimulation for a process algebra with recursion and action refinement. (Extended abstract). Zbl 0958.68115
Bravetti, Mario; Gorrieri, Roberto
4
1999
Secrecy in security protocols as non interference. Zbl 0966.68008
Focardi, R.; Gorrieri, R.; Martinelli, F.
2
1999
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Zbl 0902.68075
Bernardo, Marco; Gorrieri, Roberto
44
1998
A process algebraic view of Linda coordination primitives. Zbl 0895.68016
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
9
1998
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems. Zbl 0909.68074
Bernardo, Marco; Donatiello, Lorenzo; Gorrieri, Roberto
6
1998
Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet. Zbl 1111.68453
Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco
2
1998
Theoretical aspects of coordination languages. Zbl 0895.00029
Gorrieri, R. (ed.); Hankin, C. (ed.)
2
1998
Performance preorder and competitive equivalence. Zbl 0878.68081
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
9
1997
On the Turing-equivalence of Linda coordination primitives. Zbl 0911.68139
Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi
5
1997
Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Zbl 1369.68020
Degano, Pierpaolo (ed.); Gorrieri, Roberto (ed.); Marchetti-Spaccamela, Alberto (ed.)
2
1997
Comparing syntactic and semantic action refinement. Zbl 0853.68129
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
6
1996
A theory of processes with durational actions. Zbl 0874.68113
Gorrieri, Roberto; Roccetti, Marco; Stancampiano, Enrico
18
1995
On the implementation of concurrent calculi in net calculi: two case studies. Zbl 0873.68144
Gorrieri, Roberto; Montanari, Ugo
5
1995
Split and ST bisimulation semantics. Zbl 0826.68077
Gorrieri, Roberto; Laneve, Cosimo
5
1995
Performance preorder: ordering processes with respect to speed. Zbl 1193.68173
Corradini, Flavio; Gorrieri, Roberto; Roccetti, Marco
4
1995
A causal operational semantics of action refinement. Zbl 0834.68068
Degano, Pierpaolo; Gorrieri, Roberto
3
1995
On syntactic and semantic action refinement. Zbl 0942.68633
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
1
1994
A hierarchy of system descriptions via atomic linear refinement. Zbl 0762.68020
Gorrieri, Roberto
1
1992
Atomic refinement in process description languages. Zbl 0777.68060
Degano, Pierpaolo; Gorrieri, Roberto
10
1991
An extended expansion theorem. Zbl 0967.68513
Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo
6
1991
The limit of split\(_ n\)-bisimulations for CCS agents. Zbl 0777.68063
Gorrieri, Roberto; Laneve, Cosimo
4
1991
Towards hierarchical description of systems: A proof system for strong prefixing. Zbl 0732.68074
Gorrieri, Roberto; Montanari, Ugo
5
1990
A\(^ 2\)CCS: Atomic actions for CCS. Zbl 0698.68029
Gorrieri, Roberto; Marchetti, Sergio; Montanari, Ugo
4
1990
An exercise in concurrency: A CSP process as a condition/event system. Zbl 0668.68069
Degano, Pierpaolo; Gorrieri, Roberto; Marchetti, Sergio
8
1988
all top 5

Cited by 352 Authors

22 Gorrieri, Roberto
14 Bravetti, Mario
10 Corradini, Flavio
10 Zavattaro, Gianluigi
9 Baldan, Paolo
9 Busi, Nadia
9 Montanari, Ugo G.
9 Vogler, Walter
8 Degano, Pierpaolo
7 Focardi, Riccardo
7 Priami, Corrado
6 Bernardo, Marco
6 De Nicola, Rocco
6 Gadducci, Fabio
6 Maggiolo-Schettini, Andrea
6 Martinelli, Fabio
6 Tini, Simone
5 Ferrari, Gian Luigi
5 Hermanns, Holger
5 Hillston, Jane
5 Katoen, Joost-Pieter
5 Lanotte, Ruggero
5 Majster-Cederbaum, Mila E.
4 Bodei, Chiara
4 Brodo, Linda
4 Bruni, Roberto
4 Corradini, Andrea
4 Gorla, Daniele
4 Lüttgen, Gerald
4 Pugliese, Rosario
4 Rossi, Sabina
4 Tarasyuk, Igor’ Valer’evich
3 Baeten, Jos C. M.
3 Bonchi, Filippo
3 Castellani, Ilaria
3 Costa, José Félix
3 D’Argenio, Pedro Rubén
3 de Vink, Erik P.
3 Devillers, Raymond
3 Gabbrielli, Maurizio
3 Garavel, Hubert
3 Lasota, Sławomir
3 Piazza, Carla
3 Troina, Angelo
3 Yoshida, Nobuko
2 Aceto, Luca
2 Arbab, Farhad
2 Best, Eike
2 Boreale, Michele
2 Bossi, Annalisa
2 Braghin, Chiara
2 Brogi, Antonio
2 Caravagna, Giulio
2 Cassez, Franck
2 Cortesi, Agostino
2 de Bakker, Jacobus W.
2 Dezani-Ciancaglini, Mariangiola
2 Di Cola, Dino
2 Di Pierro, Alessandra
2 Ding, Jie
2 Fecher, Harald
2 Fournet, Cédric
2 Given-Wilson, Thomas
2 Guerra, Hélia
2 Harrison, Peter G.
2 Hennessy, Matthew C. B.
2 Hennicker, Rolf
2 Honda, Kohei
2 Hüttel, Hans
2 Kwiatkowska, Marta Z.
2 Legay, Axel
2 Loreti, Michele
2 Lowe, Gavin
2 Macià, Hermenegilda
2 Madeira, Alexandre
2 Martins, Manuel António
2 Meo, Maria Chiara
2 Meyer, Roland
2 Monreale, Giacoma Valentina
2 Mullins, John
2 Nestmann, Uwe
2 Norman, Gethin
2 Olarte, Carlos
2 Palamidessi, Catuscia
2 Petrocchi, Marinella
2 Pinna, G. Michele
2 Pistore, Marco
2 Pomello, Lucia
2 Reeves, Steve
2 Ren, Shangping
2 Roscoe, Andrew William
2 Roux, Olivier H.
2 Sangiorgi, Davide
2 Santini, Francesco
2 Siegle, Markus
2 Sirjani, Marjan
2 Streader, David
2 Talcott, Carolyn L.
2 Tribastone, Mirco
2 Tschaikowski, Max
...and 252 more Authors

Citations by Year