×

zbMATH — the first resource for mathematics

Baldan, Paolo

Compute Distance To:
Author ID: baldan.paolo Recent zbMATH articles by "Baldan, Paolo"
Published as: Baldan, Paolo; Baldan, P.
Documents Indexed: 86 Publications since 1995, including 1 Book

Publications by Year

Citations contained in zbMATH Open

69 Publications have been cited 269 times in 167 Documents Cited by Year
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
26
2001
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M.
18
2004
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
12
2005
A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034
Baldan, Paolo; Corradini, Andrea; König, Barbara
10
2008
A static analysis technique for graph transformation systems. Zbl 1006.68529
Baldan, Paolo; Corradini, Andrea; König, Barbara
10
2001
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
8
2007
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
8
2002
Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130
Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M.
7
1995
A logic for true concurrency. Zbl 1321.68355
Baldan, Paolo; Crafa, Silvia
6
2014
Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046
Baldan, Paolo; Corradini, Andrea; König, Barbara
6
2004
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
Distributed unfolding of Petri nets. Zbl 1180.68185
Baldan, Paolo; Haar, Stefan; König, Barbara
5
2006
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
5
2006
Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150
Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele
5
2000
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
5
2001
Approximating the behaviour of graph transformation systems. Zbl 1028.68089
Baldan, Paolo; König, Barbara
5
2002
Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
5
2000
Efficient unfolding of contextual Petri nets. Zbl 1263.68117
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan
5
2012
Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209
Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta
5
2010
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
McMillan’s complete prefix for contextual nets. Zbl 1171.68560
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
4
2008
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
4
2007
A logic for true concurrency. Zbl 1287.68120
Baldan, Paolo; Crafa, Silvia
4
2010
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Unfolding grammars in adhesive categories. Zbl 1239.68036
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
4
2009
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
3
2006
A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154
Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto
3
2007
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
3
2007
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
3
2007
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2008
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
3
2014
History preserving bisimulation for contextual nets. Zbl 0966.68151
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
3
2000
A fixed-point theorem in a category of compact metric spaces. Zbl 0873.68126
Alessi, Fabio; Baldan, Paolo; Bellè, Gianna
3
1995
Coalgebraic behavioral metrics. Zbl 06943961
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
3
2018
On the computation of McMillan’s prefix for contextual nets and graph grammars. Zbl 1306.68120
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan
3
2010
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2010
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
Petri nets are dioids. Zbl 1170.68536
Baldan, Paolo; Gadducci, Fabio
2
2008
Non-interference by unfolding. Zbl 1334.68144
Baldan, Paolo; Carraro, Alberto
2
2014
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2005
A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102
Alessi, Fabio; Baldan, Paolo; Honsell, Furio
2
2003
Bisimulation equivalences for graph grammars. Zbl 1060.68050
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
2
2002
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space. Zbl 0908.68099
Alessi, Fabio; Baldan, Paolo
2
1998
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
2
2008
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
2011
Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo
2
2003
Generating test cases for code generators by unfolding graph transformation systems. Zbl 1116.68477
Baldan, Paolo; König, Barbara; Stürmer, Ingo
1
2004
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
1
2006
Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231
Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo
1
2008
Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara
1
2008
Graph transactions as processes. Zbl 1156.68416
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
1
2006
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L.
1
2008
Towards trace metrics via functor lifting. Zbl 1366.68189
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
1
2015
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544
Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco
1
2002
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
Efficient contextual unfolding. Zbl 1343.68176
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo
1
2011
Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422
Baldan, Paolo; Corradini, Andrea; König, Barbara
1
2008
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
1
2003
Concurrency for graph grammars in a Petri net shell. Zbl 1263.68065
Baldan, Paolo
1
2002
Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292
Baldan, Paolo; Beggiato, Alessandro
1
2018
Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167
Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard
1
2004
A causal view on non-interference. Zbl 1335.68162
Baldan, Paolo; Carraro, Alberto
1
2015
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Zbl 1417.68114
Baldan, Paolo; Gadducci, Fabio
1
2019
Coalgebraic behavioral metrics. Zbl 06943961
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
3
2018
Event structures for Petri nets with persistence. Zbl 1417.68113
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo
2
2018
Multilevel transitive and intransitive non-interference, causally. Zbl 1380.68292
Baldan, Paolo; Beggiato, Alessandro
1
2018
Asynchronous traces and open Petri nets. Zbl 1434.68320
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V.
4
2015
Towards trace metrics via functor lifting. Zbl 1366.68189
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
1
2015
A causal view on non-interference. Zbl 1335.68162
Baldan, Paolo; Carraro, Alberto
1
2015
Concurrency cannot be observed, asynchronously. Zbl 1361.68158
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina
1
2015
A logic for true concurrency. Zbl 1321.68355
Baldan, Paolo; Crafa, Silvia
6
2014
Behavioral metrics via functor lifting. Zbl 1360.68607
Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
3
2014
Non-interference by unfolding. Zbl 1334.68144
Baldan, Paolo; Carraro, Alberto
2
2014
Efficient unfolding of contextual Petri nets. Zbl 1263.68117
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan
5
2012
A lattice-theoretical perspective on adhesive categories. Zbl 1217.18004
Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
2
2011
Adhesivity is not enough: local Church-Rosser revisited. Zbl 1343.68126
Baldan, Paolo; Gadducci, Fabio; Sobociński, Pawel
2
2011
Efficient contextual unfolding. Zbl 1343.68176
Rodríguez, César; Schwoon, Stefan; Baldan, Paolo
1
2011
Petri nets for modelling metabolic pathways: a survey. Zbl 1206.68209
Baldan, Paolo; Cocco, Nicoletta; Marin, Andrea; Simeoni, Marta
5
2010
A logic for true concurrency. Zbl 1287.68120
Baldan, Paolo; Crafa, Silvia
4
2010
On the computation of McMillan’s prefix for contextual nets and graph grammars. Zbl 1306.68120
Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan
3
2010
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2010
Unfolding grammars in adhesive categories. Zbl 1239.68036
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
4
2009
Encoding asynchronous interactions using open Petri nets. Zbl 1254.68161
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio
3
2009
A framework for the verification of infinite-state graph transformation systems. Zbl 1153.68034
Baldan, Paolo; Corradini, Andrea; König, Barbara
10
2008
McMillan’s complete prefix for contextual nets. Zbl 1171.68560
Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
4
2008
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2008
Petri nets are dioids. Zbl 1170.68536
Baldan, Paolo; Gadducci, Fabio
2
2008
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1161.68034
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
2
2008
Behavior preservation in model refactoring using DPO transformations with borrowed contexts. Zbl 1175.68231
Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo
1
2008
Open Petri nets: Non-deterministic processes and compositionality. Zbl 1175.68269
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara
1
2008
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Towards a notion of transaction in graph rewriting. Zbl 1283.68182
Baldan, P.; Corradini, A.; Dotti, F. L.; Foss, L.; Gadducci, F.; Ribeiro, L.
1
2008
Unfolding graph transformation systems: Theory and applications to verification. Zbl 1143.68422
Baldan, Paolo; Corradini, Andrea; König, Barbara
1
2008
Unfolding semantics of graph transformation. Zbl 1115.68093
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
8
2007
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Zbl 1214.68243
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
4
2007
A temporal graph logic for verification of graph transformation systems. Zbl 1196.68154
Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto
3
2007
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
3
2007
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
3
2007
Distributed unfolding of Petri nets. Zbl 1180.68185
Baldan, Paolo; Haar, Stefan; König, Barbara
5
2006
Composition and decomposition of DPO transformations with borrowed context. Zbl 1156.68417
Baldan, Paolo; Ehrig, Hartmut; König, Barbara
5
2006
Processes for adhesive rewriting systems. Zbl 1180.68165
Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobociński, Paweł
3
2006
Concurrent rewriting for graphs with equivalences. Zbl 1151.68503
Baldan, Paolo; Gadducci, Fabio; Montanari, Ugo
1
2006
Graph transactions as processes. Zbl 1156.68416
Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
1
2006
Compositional semantics for open Petri nets based on deterministic processes. Zbl 1089.68068
Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko
12
2005
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
Specifying and verifying UML activity diagrams via graph transformation. Zbl 1111.68496
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
2
2005
Domain and event structure semantics for Petri nets with read and inhibitor arcs. Zbl 1078.68103
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M.
18
2004
Verifying finite-state graph grammars: An unfolding-based approach. Zbl 1099.68046
Baldan, Paolo; Corradini, Andrea; König, Barbara
6
2004
Generating test cases for code generators by unfolding graph transformation systems. Zbl 1116.68477
Baldan, Paolo; König, Barbara; Stürmer, Ingo
1
2004
Verifying a behavioural logic for graph transformation systems. Zbl 1271.68167
Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard
1
2004
A category of compositional domain-models for separable Stone spaces. Zbl 1051.68102
Alessi, Fabio; Baldan, Paolo; Honsell, Furio
2
2003
Pre-nets, read ARCS and unfolding: A functorial presentation. Zbl 1278.68210
Baldan, Paolo; Bruni, Roberto; Montanari, Ugo
2
2003
Coreflective concurrent semantics for single-pushout graph grammars. Zbl 1278.68117
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila
1
2003
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
8
2002
Approximating the behaviour of graph transformation systems. Zbl 1028.68089
Baldan, Paolo; König, Barbara
5
2002
Bisimulation equivalences for graph grammars. Zbl 1060.68050
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
2
2002
High-level net processes. Zbl 1060.68078
Ehrig, Hartmut; Hoffmann, Kathrin; Padberg, Julia; Baldan, Paolo; Heckel, Reiko
1
2002
MuTACLP: A language for temporal reasoning with multiple theories. Zbl 1012.68544
Baldan, Paolo; Mancarella, Paolo; Raffaetà, Alessandra; Turini, Franco
1
2002
Concurrency for graph grammars in a Petri net shell. Zbl 1263.68065
Baldan, Paolo
1
2002
Contextual Petri nets, asymmetric event structures, and processes. Zbl 1005.68103
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
26
2001
A static analysis technique for graph transformation systems. Zbl 1006.68529
Baldan, Paolo; Corradini, Andrea; König, Barbara
10
2001
Compositional modeling of reactive systems using open nets. Zbl 1006.68084
Baldan, P.; Corradini, A.; Ehrig, H.; Heckel, R.
5
2001
Functional concurrent semantics for Petri nets with read and inhibitor arcs. Zbl 0999.68150
Baldan, Paolo; Busi, Nadia; Corradini, Andrea; Pinna, G. Michele
5
2000
Unfolding of double-pushout graph grammars is a coreflection. Zbl 0958.68081
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
5
2000
History preserving bisimulation for contextual nets. Zbl 0966.68151
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
3
2000
Unfolding and event structure semantics for graph grammars. Zbl 0946.68087
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
6
1999
An event structure semantics for P/T contextual nets: Asymmetric event structures. Zbl 0902.68140
Baldan, Paolo; Corradini, Andrea; Montanari, Ugo
8
1998
A characterization of distance between 1-bounded compact ultrametric spaces through a universal space. Zbl 0908.68099
Alessi, Fabio; Baldan, Paolo
2
1998
Solutions of functorial and non-functorial metric domain equations. Zbl 0910.68130
Alessi, F.; Baldan, P.; Bellè, G.; Rutten, J. J. M. M.
7
1995
A fixed-point theorem in a category of compact metric spaces. Zbl 0873.68126
Alessi, Fabio; Baldan, Paolo; Bellè, Gianna
3
1995
all top 5

Cited by 218 Authors

29 Baldan, Paolo
19 Corradini, Andrea
17 Montanari, Ugo G.
15 Gadducci, Fabio
14 Bonchi, Filippo
12 König, Barbara
11 Bruni, Roberto
10 Ribeiro, Leila
6 Janicki, Ryszard
6 Pinna, G. Michele
6 Sobociński, Paweł
5 Ehrig, Hartmut
5 Foss, Luciana
5 Heindel, Tobias
5 Melgratti, Hernán
5 Monreale, Giacoma Valentina
5 Schwoon, Stefan
4 Virbitskaite, Irina B.
3 Alessi, Fabio
3 Bracciali, Andrea
3 Heiner, Monika
3 Kleijn, Jetty H. C. M.
3 Koutny, Maciej
3 Lluch Lafuente, Alberto
3 Mikulski, Łukasz
3 Orejas, Fernando
3 Phillips, Iain W.
3 Rodríguez, César
2 Abbes, Samy
2 Andrei, Oana
2 Benveniste, Albert
2 Bertolissi, Clara
2 Chatain, Thomas
2 Da Costa, Simone André
2 Dotti, Fernando Luís
2 Fabre, Eric
2 Gabriel, Karsten
2 Golas, Ulrike
2 Gorrieri, Roberto
2 Haar, Stefan
2 Hermann, Frank
2 Honsell, Furio
2 Jard, Claude
2 Kirchner, Hélène
2 Kissinger, Aleks
2 Kozioura, Vitali
2 Meseguer Guaita, José
2 Popova-Zeugmann, Louchka
2 Ulidowski, Irek
2 van Breugel, Franck
2 Varacca, Daniele
2 Worrell, James B.
2 Yoshida, Nobuko
2 Zavattaro, Gianluigi
1 Alqarni, Mohammad
1 Angione, Claudio
1 Arbab, Farhad
1 Arbach, Youssef
1 Armas-Cervantes, Abel
1 Aubert, Clément
1 Azzi, Guilherme Grochau
1 Baez, John C.
1 Balan, Adriana
1 Beggiato, Alessandro
1 Bellè, Gianna
1 Bernardinello, Luca
1 Best, Eike
1 Birkedal, Lars
1 Bliudze, Simon
1 Bloom, Stephen L.
1 Borovlev, V. A.
1 Borovlyov, Victor
1 Braatz, Benjamin
1 Brogi, Antonio
1 Bruni, Alessandro
1 Bushin, D. I.
1 Busi, Nadia
1 Caminati, Marco Bright
1 Carapezza, G.
1 Casu, Giovanni
1 Chédor, Sébastien
1 Chen, Lijing
1 Cirstea, Horatiu
1 Clarke, Dave
1 Colebunders, Eva
1 Costanza, J.
1 Crafa, Silvia
1 Cristescu, Ioana Domnina
1 da Costa Cavalheiro, Simone André
1 Danos, Vincent
1 de Putter, Sander
1 Debois, Søren
1 Deng, Yuxin
1 Dimitrova, Rayna
1 Dixon, Lucas
1 Dong, Xiaoju
1 dos Santos, Osmar Marchi
1 Duan, Zhenhua
1 Duval, Dominique
1 Echahed, Rachid
...and 118 more Authors

Citations by Year