×

zbMATH — the first resource for mathematics

Kirchner, Claude

Compute Distance To:
Author ID: kirchner.claude Recent zbMATH articles by "Kirchner, Claude"
Published as: Kirchner, Claude; Kirchner, C.
External Links: MGP · Wikidata · IdRef · theses.fr
Documents Indexed: 81 Publications since 1983, including 8 Books

Publications by Year

Citations contained in zbMATH Open

67 Publications have been cited 416 times in 237 Documents Cited by Year
Theorem proving modulo. Zbl 1049.03011
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
48
2003
ELAN from a rewriting logic point of view. Zbl 1001.68057
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne
25
2002
Higher order unification via explicit substitutions. Zbl 1005.03016
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
22
2000
Rewriting with strategies in \(\mathsf{ELAN}\): a functional semantics. Zbl 1319.68125
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Ringeissen, Christophe
20
2001
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
An overview of ELAN. Zbl 0917.68022
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Ringeisen, Christophe
13
1998
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
11
1988
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0972.03012
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
11
2001
Incremental construction of unification algorithms in equational theories. Zbl 0516.68067
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Helene
11
1983
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
Controlling rewriting by rewriting. Zbl 0912.68088
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène
11
1996
ELAN: A logical framework based on computational systems. Zbl 0912.68091
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Vittek, Marian
9
1996
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
8
1988
A new equational unification method: A generalisation of Martelli- Montanari’s algorithm. Zbl 0547.03024
Kirchner, Claude
7
1984
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
6
2001
Equational completion in order-sorted algebras. Zbl 0698.68028
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
6
1990
Superdeduction at work. Zbl 1186.03021
Brauner, Paul; Houtmann, Clément; Kirchner, Claude
6
2007
Strategic computation and deduction. Zbl 1226.03027
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
6
2008
Probabilistic rewrite strategies. Applications to ELAN. Zbl 1045.68577
Bournez, Olivier; Kirchner, Claude
6
2002
Abstract canonical presentations. Zbl 1099.03047
Dershowitz, Nachum; Kirchner, Claude
6
2006
Proof search and proof check for equational and inductive theorems. Zbl 1278.68257
Deplagne, Eric; Kirchner, Claude; Kirchner, Hélène; Nguyen, Quang Huy
6
2003
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies. Zbl 0635.68017
Kirchner, Claude; Kirchner, Hélène
5
1987
Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN. Zbl 1004.68080
Cirstea, Horatiu; Kirchner, Claude
5
2000
Regaining cut admissibility in deduction modulo using abstract completion. Zbl 1191.68359
Burel, Guillaume; Kirchner, Claude
5
2010
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
Equational completion in order-sorted algebras. Zbl 0647.68036
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
4
1988
NARROWER: a new algorithm for unification and its application to logic programming. Zbl 0576.68002
Rety, Pierre; Kirchner, Claude; Kirchner, Hélène; Lescanne, Pierre
4
1985
The simply typed rewriting calculus. Zbl 0962.68084
Cirstea, Horatiu; Kirchner, Claude
4
2000
Programming with equalities, subsorts, overloading, and parametrization in OBJ. Zbl 0754.68021
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Hélène; Mégrelis, Aristide
4
1992
External rewriting for skeptical proof assistants. Zbl 1064.68048
Nguyen, Quang Huy; Kirchner, Claude; Kirchner, Hélène
4
2002
Deduction versus computation: The case of induction. Zbl 1072.68569
Deplagne, Eric; Kirchner, Claude
4
2002
Binding logic: Proofs and models. Zbl 1023.03023
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
3
2002
Dynamically typed computations for order-sorted equational presentations. Zbl 0983.68254
Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène
3
1998
Constraint solving on terms. Zbl 0976.03516
Comon, Hubert; Kirchner, Claude
3
2001
Exceptions in the rewriting calculus. Zbl 1045.68069
Faure, Germain; Kirchner, Claude
3
2002
Anti-pattern matching. Zbl 1155.68367
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
3
2007
Completion is an instance of abstract canonical system inference. Zbl 1132.03314
Burel, Guillaume; Kirchner, Claude
3
2006
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
3
2007
Cut elimination in deduction modulo by abstract completion. Zbl 1132.03315
Burel, Guillaume; Kirchner, Claude
3
2007
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Zbl 0903.00070
Kirchner, Claude (ed.); Kirchner, Hèléne (ed.)
3
1998
Narrowing based inductive proof search. Zbl 1383.03019
Kirchner, Claude; Kirchner, Hélène; Nahon, Fabrice
3
2013
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
2
1987
Higher-order equational unification via explicit substitutions. Zbl 0888.03007
Kirchner, Claude; Ringeissen, Christophe
2
1997
AC-unification race: The system solving approach, implementation and benchmarks. Zbl 0769.68053
Adi, Mohamed; Kirchner, Claude
2
1992
Rule-based constraint programming. Zbl 0943.68094
Kirchner, Claude; Ringeissen, Christophe
2
1998
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0944.03007
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
2
1999
The rewriting calculus as a combinatory reduction system. Zbl 1195.68051
Bertolissi, Clara; Kirchner, Claude
2
2007
Anti-pattern matching modulo. Zbl 1156.68353
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2008
Inductive proof search modulo. Zbl 1192.68631
Nahon, Fabrice; Kirchner, Claude; Kirchner, Hélène; Brauner, Paul
2
2009
Anti-patterns for rule-based languages. Zbl 1192.68563
Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2010
A \(\rho\)-calculus of explicit constraint application. Zbl 1272.68172
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
2
2005
Toward the concurrent implementation of computational systems. Zbl 1355.68045
Alounini, Ilies; Kirchner, Claude
2
1996
Formal validation of pattern matching code. Zbl 1247.68056
Kirchner, Claude; Moreau, Pierre-Etienne; Reilles, Antoine
2
2006
OBJ: Programming with equalities, subsorts, overloading and parameterization. Zbl 0708.68007
Jouannaud, J.-P.; Kirchner, C.; Kirchner, Hélène; Mégrelis, A.
1
1989
Completion for unification. Zbl 0735.68078
Doggaz, Narjes; Kirchner, Claude
1
1991
Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16-18, 1993. Proceedings. Zbl 0825.00068
Kirchner, Claude (ed.)
1
1993
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
Rule-based programming and proving: The ELAN experience outcomes. Zbl 1115.68367
Kirchner, Claude; Kirchner, Hélène
1
2004
On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016
Blanqui, Frédéric; Kirchner, Claude; Riba, Colin
1
2006
Constraint based strategies. Zbl 1274.68410
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
1
2010
Equational logic and rewriting. Zbl 1404.03011
Kirchner, Claude; Kirchner, Hélène
1
2014
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Equational logic and rewriting. Zbl 1404.03011
Kirchner, Claude; Kirchner, Hélène
1
2014
Narrowing based inductive proof search. Zbl 1383.03019
Kirchner, Claude; Kirchner, Hélène; Nahon, Fabrice
3
2013
Regaining cut admissibility in deduction modulo using abstract completion. Zbl 1191.68359
Burel, Guillaume; Kirchner, Claude
5
2010
Anti-patterns for rule-based languages. Zbl 1192.68563
Cirstea, Horatiu; Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2010
Constraint based strategies. Zbl 1274.68410
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
1
2010
Inductive proof search modulo. Zbl 1192.68631
Nahon, Fabrice; Kirchner, Claude; Kirchner, Hélène; Brauner, Paul
2
2009
Strategic computation and deduction. Zbl 1226.03027
Kirchner, Claude; Kirchner, Florent; Kirchner, Hélène
6
2008
Anti-pattern matching modulo. Zbl 1156.68353
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
2
2008
Towards a sharing strategy for the graph rewriting calculus. Zbl 1279.68111
Baldan, P.; Bertolissi, C.; Cirstea, H.; Kirchner, C.
1
2008
Superdeduction at work. Zbl 1186.03021
Brauner, Paul; Houtmann, Clément; Kirchner, Claude
6
2007
Anti-pattern matching. Zbl 1155.68367
Kirchner, Claude; Kopetz, Radu; Moreau, Pierre-Etienne
3
2007
A rewriting calculus for cyclic higher-order term graphs. Zbl 1125.68062
Baldan, Paolo; Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude
3
2007
Cut elimination in deduction modulo by abstract completion. Zbl 1132.03315
Burel, Guillaume; Kirchner, Claude
3
2007
A \(\rho\)-calculus of explicit constraint application. Zbl 1115.68094
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
3
2007
The rewriting calculus as a combinatory reduction system. Zbl 1195.68051
Bertolissi, Clara; Kirchner, Claude
2
2007
Abstract canonical presentations. Zbl 1099.03047
Dershowitz, Nachum; Kirchner, Claude
6
2006
Completion is an instance of abstract canonical system inference. Zbl 1132.03314
Burel, Guillaume; Kirchner, Claude
3
2006
Formal validation of pattern matching code. Zbl 1247.68056
Kirchner, Claude; Moreau, Pierre-Etienne; Reilles, Antoine
2
2006
On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016
Blanqui, Frédéric; Kirchner, Claude; Riba, Colin
1
2006
A rewriting calculus for cyclic higher-order term graphs. Zbl 1272.68167
Bertolissi, C.; Baldan, P.; Cirstea, H.; Kirchner, C.
5
2005
A \(\rho\)-calculus of explicit constraint application. Zbl 1272.68172
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude
2
2005
Rewriting calculus with(out) types. Zbl 1272.68173
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
6
2004
Rule-based programming and proving: The ELAN experience outcomes. Zbl 1115.68367
Kirchner, Claude; Kirchner, Hélène
1
2004
Theorem proving modulo. Zbl 1049.03011
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
48
2003
Pure patterns type systems. Zbl 1321.68137
Barthe, Gilles; Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
16
2003
Rewrite strategies in the rewriting calculus. Zbl 1270.68122
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi; Wack, Benjamin
9
2003
Proof search and proof check for equational and inductive theorems. Zbl 1278.68257
Deplagne, Eric; Kirchner, Claude; Kirchner, Hélène; Nguyen, Quang Huy
6
2003
ELAN from a rewriting logic point of view. Zbl 1001.68057
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne
25
2002
Probabilistic rewrite strategies. Applications to ELAN. Zbl 1045.68577
Bournez, Olivier; Kirchner, Claude
6
2002
External rewriting for skeptical proof assistants. Zbl 1064.68048
Nguyen, Quang Huy; Kirchner, Claude; Kirchner, Hélène
4
2002
Deduction versus computation: The case of induction. Zbl 1072.68569
Deplagne, Eric; Kirchner, Claude
4
2002
Binding logic: Proofs and models. Zbl 1023.03023
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
3
2002
Exceptions in the rewriting calculus. Zbl 1045.68069
Faure, Germain; Kirchner, Claude
3
2002
Rewriting with strategies in \(\mathsf{ELAN}\): a functional semantics. Zbl 1319.68125
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Ringeissen, Christophe
20
2001
The rho cube. Zbl 0978.68072
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
14
2001
The rewriting calculus. II. Zbl 0986.03027
Cirstea, Horatiu; Kirchner, Claude
12
2001
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0972.03012
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
11
2001
Matching power. Zbl 0981.68065
Cirstea, Horatiu; Kirchner, Claude; Liquori, Luigi
11
2001
The rewriting calculus. I. Zbl 0986.03026
Cirstea, Horatiu; Kirchner, Claude
6
2001
Constraint solving on terms. Zbl 0976.03516
Comon, Hubert; Kirchner, Claude
3
2001
Higher order unification via explicit substitutions. Zbl 1005.03016
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
22
2000
Combining higher-order and first-order computation using \(\rho\)-calculus: Towards a semantics of ELAN. Zbl 1004.68080
Cirstea, Horatiu; Kirchner, Claude
5
2000
The simply typed rewriting calculus. Zbl 0962.68084
Cirstea, Horatiu; Kirchner, Claude
4
2000
HOL-\(\lambda\sigma\): An intentional first-order expression of higher-order logic. Zbl 0944.03007
Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude
2
1999
A methodological view of constraint solving. Zbl 0949.68040
Comon, Hubert; Dincbas, Mehmet; Jouannaud, Jean-Pierre; Kirchner, Claude
1
1999
An overview of ELAN. Zbl 0917.68022
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Ringeisen, Christophe
13
1998
Dynamically typed computations for order-sorted equational presentations. Zbl 0983.68254
Hintermeier, Claus; Kirchner, Claude; Kirchner, Hélène
3
1998
IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Zbl 0903.00070
Kirchner, Claude; Kirchner, Hèléne
3
1998
Rule-based constraint programming. Zbl 0943.68094
Kirchner, Claude; Ringeissen, Christophe
2
1998
Higher-order equational unification via explicit substitutions. Zbl 0888.03007
Kirchner, Claude; Ringeissen, Christophe
2
1997
Controlling rewriting by rewriting. Zbl 0912.68088
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène
11
1996
ELAN: A logical framework based on computational systems. Zbl 0912.68091
Borovanský, Peter; Kirchner, Claude; Kirchner, Hélène; Moreau, Pierre-Etienne; Vittek, Marian
9
1996
Toward the concurrent implementation of computational systems. Zbl 1355.68045
Alounini, Ilies; Kirchner, Claude
2
1996
Rewriting techniques and applications. 5th international conference RTA-93, Montréal, Canada, June 16-18, 1993. Proceedings. Zbl 0825.00068
Kirchner, Claude
1
1993
Programming with equalities, subsorts, overloading, and parametrization in OBJ. Zbl 0754.68021
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Hélène; Mégrelis, Aristide
4
1992
AC-unification race: The system solving approach, implementation and benchmarks. Zbl 0769.68053
Adi, Mohamed; Kirchner, Claude
2
1992
Completion for unification. Zbl 0735.68078
Doggaz, Narjes; Kirchner, Claude
1
1991
Equational completion in order-sorted algebras. Zbl 0698.68028
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
6
1990
OBJ: Programming with equalities, subsorts, overloading and parameterization. Zbl 0708.68007
Jouannaud, J.-P.; Kirchner, C.; Kirchner, Hélène; Mégrelis, A.
1
1989
Operational semantics of OBJ-3. Zbl 0649.68028
Kirchner, Claude; Kirchner, Hélène; Meseguer, José
11
1988
An introduction to OBJ 3. Zbl 0666.68010
Goguen, Joseph; Kirchner, Claude; Meseguer, José; Kirchner, Hélène; Winkler, Timothy; Mégrelis, Aristide
8
1988
Equational completion in order-sorted algebras. Zbl 0647.68036
Gnaedig, Isabelle; Kirchner, Claude; Kirchner, Hélène
4
1988
REVEUR-3: The implementation of a general completion procedure parameterized by built-in theories and strategies. Zbl 0635.68017
Kirchner, Claude; Kirchner, Hélène
5
1987
Concurrent term rewriting as a model of computation. Zbl 0639.68027
Goguen, Joseph; Kirchner, Claude; Meseguer, José
2
1987
NARROWER: a new algorithm for unification and its application to logic programming. Zbl 0576.68002
Rety, Pierre; Kirchner, Claude; Kirchner, Hélène; Lescanne, Pierre
4
1985
A new equational unification method: A generalisation of Martelli- Montanari’s algorithm. Zbl 0547.03024
Kirchner, Claude
7
1984
Incremental construction of unification algorithms in equational theories. Zbl 0516.68067
Jouannaud, Jean-Pierre; Kirchner, Claude; Kirchner, Helene
11
1983
all top 5

Cited by 285 Authors

31 Meseguer Guaita, José
16 Martí-Oliet, Narciso
15 Kirchner, Hélène
14 Kirchner, Claude
9 Ayala-Rincón, Mauricio
9 Durán, Francisco
8 Dowek, Gilles
8 Fernández, Maribel
7 Cirstea, Horatiu
6 Andrei, Oana
6 Eker, Steven
6 Escobar, Santiago
6 Kesner, Delia
5 Burel, Guillaume
5 Clavel, Manuel
5 Cavalcanti de Moura, Flávio Leonardo
5 Lucas, Salvador
4 Alpuente, María
4 Gabbay, Murdoch James
4 Hermant, Olivier
4 Houtmann, Clément
4 Jouannaud, Jean-Pierre
4 Kamareddine, Fairouz D.
4 Kutsia, Temur
4 Lincoln, Patrick D.
4 Palomino, Miguel
4 Verdejo, Alberto
3 Bertolissi, Clara
3 Blanqui, Frédéric
3 Dal Lago, Ugo
3 Delahaye, David
3 Dershowitz, Nachum
3 Faure, Germain
3 Futatsugi, Kokichi
3 Jiang, Ying
3 Mackie, Ian
3 Marin, Mircea
3 Miller, Dale Allen
3 Moreau, Pierre-Etienne
3 Ogata, Kazuhiro
3 Oriat, C.
3 Roşu, Grigore
3 Talcott, Carolyn L.
3 Thati, Prasanna
3 Visser, Eelco
3 Waldmann, Uwe
2 Aiguier, Marc
2 Baldan, Paolo
2 Bonelli, Eduardo
2 Bouhoula, Adel
2 Brauner, Paul
2 Bury, Guillaume
2 Chihani, Zakaria
2 Ciobanu, Gabriel
2 Díaz-Caro, Alejandro
2 Feuillade, Guillaume
2 Genet, Thomas
2 Gnaedig, Isabelle
2 Halmagrand, Pierre
2 Heeren, Bastiaan
2 Hintermeier, Claus
2 Jeuring, Johan
2 Kieburtz, Richard B.
2 Lämmel, Ralf
2 Levy, Jordi
2 Liquori, Luigi
2 Lucanu, Dorel
2 Marché, Claude
2 Meadows, Catherine A.
2 Mosses, Peter D.
2 Nadathur, Gopalan
2 Nahon, Fabrice
2 Nguyen, Quang Huy
2 Ojeda, Pedro
2 Olveczky, Peter Csaba
2 Petit, Barbara
2 Pinaud, Bruno
2 Pita, Isabel
2 Pitts, Andrew M.
2 Platzer, André
2 Popescu, Andrei
2 Rocha-Oliveira, Ana Cristina
2 Sato, Shinya
2 Stratulat, Sorin
2 Urban, Christian
2 van den Brand, Mark G. J.
2 Villaret, Mateu
2 Viso, Andrés
2 Wack, Benjamin
2 You, Jia-Huai
1 Aguirre, Luis Antonio
1 Aichernig, Bernhard K.
1 Antonsen, Roger
1 Arbab, Farhad
1 Arrighi, Pablo
1 Aştefănoaei, Lăcrămioara
1 Bahrami, Diane
1 Balland, Emilie
1 Ballis, Demis
1 Barthe, Gilles
...and 185 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.