×

Pettorossi, Alberto

Author ID: pettorossi.alberto Recent zbMATH articles by "Pettorossi, Alberto"
Published as: Pettorossi, Alberto; Pettorossi, A.
Documents Indexed: 99 Publications since 1975, including 1 Book
10 Contributions as Editor
Reviewing Activity: 74 Reviews
Co-Authors: 31 Co-Authors with 88 Joint Publications
793 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

64 Publications have been cited 211 times in 120 Documents Cited by Year
Transformation of logic programs: Foundations and techniques. Zbl 0942.68528
Pettorossi, Alberto; Proietti, Maurizio
26
1994
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
13
2018
Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0873.68023
Proietti, Maurizio; Pettorossi, Alberto
10
1995
Transformation of logic programs. Zbl 0900.68141
Pettorossi, A.; Proietti, M.
9
1998
Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024
Pettorossi, Alberto; Proietti, Maurizio
8
1999
Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
8
2015
Derivation of an \(O(k^ 2\log n)\) algorithm for computing order-k Fibonacci numbers from the \(O(k^ 3\log n)\) matrix multiplication method. Zbl 0509.68032
Pettorossi, Alberto
7
1980
Transformation rules for locally stratified constraint logic programs. Zbl 1080.68010
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
6
2004
The loop absorption and the generalization strategies for the development of logic programs and partial deduction. Zbl 0778.68025
Proietti, Maurizio; Pettorossi, Alberto
6
1993
Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141
Proietti, Maurizio; Pettorossi, Alberto
5
1990
Generalization strategies for the verification of infinite state systems. Zbl 1267.68080
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
5
2013
Relational verification through Horn clause transformation. Zbl 1394.68227
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
5
2016
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
4
1987
On subrecursiveness in weak combinatory logic. Zbl 0332.02033
Batini, Carlo; Pettorossi, Alberto
4
1975
Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0789.68019
Proietti, Maurizio; Pettorossi, Alberto
4
1991
Verifying array programs by transforming verification conditions. Zbl 1428.68182
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
4
2014
Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033
Pettorossi, Alberto; Proietti, Maurizio
4
2002
Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
4
2022
Removing algebraic data types from constrained Horn clauses using difference predicates. Zbl 07614508
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
4
2020
The lambda abstraction strategy for program derivation. Zbl 0686.68014
Pettorossi, Alberto; Skowron, Andrzej
3
1989
Predicate pairing for program verification. Zbl 1478.68153
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2018
Transformation rules for logic programs with goals as arguments. Zbl 0964.68015
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
3
1982
Perfect model checking via unfold/fold transformations. Zbl 0983.68041
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Towers of Hanoi problems: deriving iterative solutions by program transformations. Zbl 0581.68016
Pettorossi, Alberto
3
1985
Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2017
Analysis and transformation of constrained Horn clauses for program verification. Zbl 07776353
De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio
3
2022
Controlling polyvariance for specialization-based verification. Zbl 1268.68110
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
3
2013
Some properties of binary sequences useful for proving Collatz’s conjecture. Zbl 0547.10006
Błażewicz, Jacek; Pettorossi, Alberto
2
1983
Deciding full branching time logic by program transformation. Zbl 1284.68413
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2010
Transformations of logic programs with goals as arguments. Zbl 1085.68022
Pettorossi, Alberto; Proietti, Maurizio
2
2004
Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems. Zbl 0475.68011
Pettorossi, Alberto
2
1981
Higher order generalization in program derivation. Zbl 0614.68009
Pettorossi, Alberto; Skowron, Andrzej
2
1987
Categorical models of process cooperation. Zbl 0618.68023
Labella, A.; Pettorossi, A.
2
1986
A rule-based verification strategy for array manipulating programs. Zbl 1348.68131
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2015
Automated strategies for specializing constraint logic programs. Zbl 1018.68502
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2001
The list introduction strategy for the derivation of logic programs. Zbl 1001.68020
Pettorossi, Alberto; Proietti, Maurizio
2
2002
The transformational approach to program development. Zbl 1285.68035
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2010
Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Derivation of efficient programs for computing sequences of actions. Zbl 0628.68016
Pettorossi, Alberto
1
1987
Program development using lambda abstraction. Zbl 0636.68014
Pettorossi, Alberto
1
1987
Proving properties of constraint logic programs by eliminating existential variables. Zbl 1131.68389
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2006
Totally correct logic program transformations via well-founded annotations. Zbl 1194.68095
Pettorossi, Alberto; Proietti, Maurizio
1
2008
Verification of sets of infinite state processes using program transformation. Zbl 1073.68693
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2002
A folding algorithm for eliminating existential variables from constraint logic programs. Zbl 1185.68184
Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio
1
2008
Automatic correctness proofs for logic program transformations. Zbl 1213.68207
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2007
Categorical models for handshaking communications. Zbl 0584.68072
Labella, Anna; Pettorossi, Alberto
1
1985
Transformation strategies for deriving on line programs. Zbl 0589.68010
Pettorossi, Alberto
1
1986
Combinators as tree transducers. Zbl 0364.94033
Pettorossi, Alberto
1
1977
A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015
Pettorossi, Alberto
1
1981
On the definition of hierarchies of infinite sequential computations. Zbl 0419.68077
Pettorossi, Alberto
1
1979
Synthesis of subtree rewriting systems behaviour by solving equations. Zbl 0452.68057
Pettorossi, Alberto
1
1980
An abstract strategy for transforming logic programs. Zbl 0788.68026
Proietti, Maurizio; Pettorossi, Alberto
1
1993
Program specialization for verifying infinite state systems: an experimental evaluation. Zbl 1326.68184
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2011
Verification of time-aware business processes using constrained Horn clauses. Zbl 1485.68149
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
1
2017
Proving properties of sorting programs: a case study in Horn clause verification. Zbl 1483.68189
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2019
Semantics and controllability of time-aware business processes. Zbl 1412.68148
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
1
2019
Specialization with constrained generalization for software model checking. Zbl 1394.68072
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2013
Proving theorems by program transformation. Zbl 1315.03019
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2013
Transformations of logic programs on infinite lists. Zbl 1209.68096
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2010
Verifying catamorphism-based contracts using constrained Horn clauses. Zbl 07595325
De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto
1
2022
Predicate pairing with abstraction for relational verification. Zbl 1508.68058
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2018
Synthesizing concurrent programs using answer set programming. Zbl 1256.68035
De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio
1
2012
Satisfiability of constrained Horn clauses on algebraic data types: a transformation-based approach. Zbl 07486296
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
4
2022
Analysis and transformation of constrained Horn clauses for program verification. Zbl 07776353
De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio
3
2022
Verifying catamorphism-based contracts using constrained Horn clauses. Zbl 07595325
De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto
1
2022
Removing algebraic data types from constrained Horn clauses using difference predicates. Zbl 07614508
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
4
2020
Proving properties of sorting programs: a case study in Horn clause verification. Zbl 1483.68189
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2019
Semantics and controllability of time-aware business processes. Zbl 1412.68148
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
1
2019
Solving Horn clauses on inductive data types without induction. Zbl 1451.68172
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
13
2018
Predicate pairing for program verification. Zbl 1478.68153
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2018
Predicate pairing with abstraction for relational verification. Zbl 1508.68058
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2018
Program verification using constraint handling rules and array constraint generalizations. Zbl 1374.68113
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
3
2017
Verification of time-aware business processes using constrained Horn clauses. Zbl 1485.68149
De Angelis, Emanuele; Fioravanti, Fabio; Meo, Maria Chiara; Pettorossi, Alberto; Proietti, Maurizio
1
2017
Relational verification through Horn clause transformation. Zbl 1394.68227
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
5
2016
Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
8
2015
A rule-based verification strategy for array manipulating programs. Zbl 1348.68131
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2015
Verifying array programs by transforming verification conditions. Zbl 1428.68182
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
4
2014
Generalization strategies for the verification of infinite state systems. Zbl 1267.68080
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
5
2013
Controlling polyvariance for specialization-based verification. Zbl 1268.68110
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
3
2013
Specialization with constrained generalization for software model checking. Zbl 1394.68072
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2013
Proving theorems by program transformation. Zbl 1315.03019
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2013
Improving reachability analysis of infinite state systems by specialization. Zbl 1279.68209
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Constraint-based correctness proofs for logic program transformations. Zbl 1259.68036
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2012
Synthesizing concurrent programs using answer set programming. Zbl 1256.68035
De Angelis, Emanuele; Pettorossi, Alberto; Proietti, Maurizio
1
2012
Program specialization for verifying infinite state systems: an experimental evaluation. Zbl 1326.68184
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2011
Deciding full branching time logic by program transformation. Zbl 1284.68413
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2010
The transformational approach to program development. Zbl 1285.68035
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
2
2010
Transformations of logic programs on infinite lists. Zbl 1209.68096
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2010
Totally correct logic program transformations via well-founded annotations. Zbl 1194.68095
Pettorossi, Alberto; Proietti, Maurizio
1
2008
A folding algorithm for eliminating existential variables from constraint logic programs. Zbl 1185.68184
Senni, Valerio; Pettorossi, Alberto; Proietti, Maurizio
1
2008
Automatic correctness proofs for logic program transformations. Zbl 1213.68207
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2007
Proving properties of constraint logic programs by eliminating existential variables. Zbl 1131.68389
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio
1
2006
Transformation rules for locally stratified constraint logic programs. Zbl 1080.68010
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
6
2004
Transformations of logic programs with goals as arguments. Zbl 1085.68022
Pettorossi, Alberto; Proietti, Maurizio
2
2004
Program derivation \(=\) rules \(+\) strategies. Zbl 1012.68033
Pettorossi, Alberto; Proietti, Maurizio
4
2002
The list introduction strategy for the derivation of logic programs. Zbl 1001.68020
Pettorossi, Alberto; Proietti, Maurizio
2
2002
Verification of sets of infinite state processes using program transformation. Zbl 1073.68693
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
1
2002
Automated strategies for specializing constraint logic programs. Zbl 1018.68502
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
2
2001
Transformation rules for logic programs with goals as arguments. Zbl 0964.68015
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Perfect model checking via unfold/fold transformations. Zbl 0983.68041
Pettorossi, Alberto; Proietti, Maurizio
3
2000
Synthesis and transformation of logic programs using unfold/fold proofs. Zbl 0944.68024
Pettorossi, Alberto; Proietti, Maurizio
8
1999
Transformation of logic programs. Zbl 0900.68141
Pettorossi, A.; Proietti, M.
9
1998
Unfolding–definition–folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0873.68023
Proietti, Maurizio; Pettorossi, Alberto
10
1995
Transformation of logic programs: Foundations and techniques. Zbl 0942.68528
Pettorossi, Alberto; Proietti, Maurizio
26
1994
The loop absorption and the generalization strategies for the development of logic programs and partial deduction. Zbl 0778.68025
Proietti, Maurizio; Pettorossi, Alberto
6
1993
An abstract strategy for transforming logic programs. Zbl 0788.68026
Proietti, Maurizio; Pettorossi, Alberto
1
1993
Unfolding definition folding, in this order, for avoiding unnecessary variables in logic programs. Zbl 0789.68019
Proietti, Maurizio; Pettorossi, Alberto
4
1991
Synthesis of eureka predicates for developing logic programs. Zbl 0765.68141
Proietti, Maurizio; Pettorossi, Alberto
5
1990
The lambda abstraction strategy for program derivation. Zbl 0686.68014
Pettorossi, Alberto; Skowron, Andrzej
3
1989
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
4
1987
Higher order generalization in program derivation. Zbl 0614.68009
Pettorossi, Alberto; Skowron, Andrzej
2
1987
Derivation of efficient programs for computing sequences of actions. Zbl 0628.68016
Pettorossi, Alberto
1
1987
Program development using lambda abstraction. Zbl 0636.68014
Pettorossi, Alberto
1
1987
Categorical models of process cooperation. Zbl 0618.68023
Labella, A.; Pettorossi, A.
2
1986
Transformation strategies for deriving on line programs. Zbl 0589.68010
Pettorossi, Alberto
1
1986
Towers of Hanoi problems: deriving iterative solutions by program transformations. Zbl 0581.68016
Pettorossi, Alberto
3
1985
Categorical models for handshaking communications. Zbl 0584.68072
Labella, Anna; Pettorossi, Alberto
1
1985
Some properties of binary sequences useful for proving Collatz’s conjecture. Zbl 0547.10006
Błażewicz, Jacek; Pettorossi, Alberto
2
1983
Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique. Zbl 0474.68008
Pettorossi, A.; Burstall, R. M.
3
1982
Comparing and putting together recursive path ordering, simplification orderings and non-ascending property for termination proofs of term rewriting systems. Zbl 0475.68011
Pettorossi, Alberto
2
1981
A property which guarantees termination in weak combinatory logic and subtree replacement systems. Zbl 0416.03015
Pettorossi, Alberto
1
1981
Derivation of an \(O(k^ 2\log n)\) algorithm for computing order-k Fibonacci numbers from the \(O(k^ 3\log n)\) matrix multiplication method. Zbl 0509.68032
Pettorossi, Alberto
7
1980
Synthesis of subtree rewriting systems behaviour by solving equations. Zbl 0452.68057
Pettorossi, Alberto
1
1980
On the definition of hierarchies of infinite sequential computations. Zbl 0419.68077
Pettorossi, Alberto
1
1979
Combinators as tree transducers. Zbl 0364.94033
Pettorossi, Alberto
1
1977
On subrecursiveness in weak combinatory logic. Zbl 0332.02033
Batini, Carlo; Pettorossi, Alberto
4
1975
all top 5

Cited by 180 Authors

22 Pettorossi, Alberto
20 Proietti, Maurizio
14 Fioravanti, Fabio
13 De Angelis, Emanuele
6 Gallagher, John P.
4 Er, Mingcheng
4 Kobayashi, Naoki
4 Labella, Anna
4 Senni, Valerio
4 Vidal, Germán
3 Fedyukovich, Grigory
3 Kafle, Bishoksan
3 Kasangian, Stefano
3 Moreno, Ginés
3 Sato, Ryosuke
3 Seki, Hirohisa
2 Alpuente, María
2 Comini, Marco
2 Drabent, Włodzimierz
2 Ernst, Gidon
2 Falaschi, Moreno
2 Ganty, Pierre
2 Gergatsoulis, Manolis
2 Glück, Robert
2 Gori, Roberta
2 Hermenegildo, Manuel V.
2 Levi, Giorgio
2 Limet, Sébastien
2 Martí-Oliet, Narciso
2 Nagashima, Masanori
2 Nishida, Naoki
2 Pontelli, Enrico
2 Rubio, Rubén
2 Rümmer, Philipp
2 Sakai, Masahiko
2 Salzer, Gernot
2 Toni, Francesca
2 Vanhoof, Wim
2 Verdejo, Alberto
2 Yernaux, Gonzague
1 Afrati, Foto N.
1 Akama, Kiyoshi
1 Al Ameen, Mahmudul Faisal
1 Alaya, Jilani
1 Anderson, Penny
1 Atia, Mohamed Jalel
1 Bain, Michael E.
1 Ballis, Demis
1 Basin, David A.
1 Bensaou, N.
1 Bhagyanath, Anoop
1 Bjørner, Nikolaj S.
1 Bodhuin, Thierry
1 Boulanger, Dmitri
1 Bouras, Belgacem
1 Bruynooghe, Maurice
1 Buruiană, Andrei Sebastian
1 Canal, Richard
1 Cañete-Valdeón, José M.
1 Champion, Adrien
1 Chernigovskaia, Lidiia
1 Chiba, Tomoya
1 Chin, Wei-Ngan
1 Ciobâcă, Ştefan
1 Cook, Byron
1 Cornish, J. Robert M.
1 Correa, Francisco José
1 Cropper, Andrew
1 Cuenca Grau, Bernardo
1 Dahlem, Marc
1 de Dios Castro, Javier
1 De Schreye, Danny
1 Dershowitz, Nachum
1 Dezani-Ciancaglini, Mariangiola
1 Doménech, Jesús J.
1 Dovier, Agostino
1 Ducassé, Mireille
1 Durieux, Jean-Louis
1 Eker, Steven
1 Esen, Zafer
1 Etalle, Sandro
1 Fernandes, João Paulo
1 Formisano, Andrea
1 Gabbrielli, Maurizio
1 Galán, Francisco J.
1 Gange, Graeme
1 Genaim, Samir
1 Gibbons, Jeremy
1 Gries, David
1 Guerrero, Juan Antonio
1 Guessarian, Irène
1 Gupta, Aarti
1 Gupta, Gopal
1 Gurfinkel, Arie
1 Gutiérrez, Raúl
1 Hagiya, Masami
1 Hinz, Andreas M.
1 Hojjat, Hossein
1 Inoue, Katsumi
1 Jahier, Erwan
...and 80 more Authors

Citations by Year