×

zbMATH — the first resource for mathematics

Urban, Josef

Compute Distance To:
Author ID: urban.josef Recent zbMATH articles by "Urban, Josef"
Published as: Urban, Josef
Documents Indexed: 76 Publications since 2003, including 3 Books
all top 5

Co-Authors

6 single-authored
25 Kaliszyk, Cezary
9 Vyskočil, Jiří
8 Kühlwein, Daniel
8 Sutcliffe, Geoff
7 Geuvers, Jan Herman
7 Jakubův, Jan
6 Alama, Jesse
4 Bancerek, Grzegorz
4 Davenport, James Harold
4 Schulz, Stephan
3 Blanchette, Jasmin Christian
3 Heskes, Tom M.
3 Mamane, Lionel Elie
3 Naumowicz, Adam
3 Rudnicki, Piotr
3 Tankink, Carst
3 Tsivtsivadze, Evgeni
3 Wiedijk, Freek
2 Brown, Chad Edward
2 Gauthier, Thibault
2 Goertzel, Zarathustra
2 Harrison, John R.
2 Kohlhase, Michael
2 Labahn, George
2 Piotrowski, Bartosz
2 Rabe, Florian
1 Adams, Mark
1 Bauer, Gertrud
1 Blaauwbroek, Lasse
1 Brink, Kasper
1 Byliński, Czesław
1 Chvalovský, Karel
1 Dang, Tat Dat
1 Dunchev, Cvetan
1 Färber, Michael
1 Farmer, William M.
1 Grabowski, Adam
1 Greenaway, David
1 Hales, Thomas Callister
1 Harrison, John
1 Hoang, Le Truong
1 Hoder, Kryštof
1 Iancu, Mihnea
1 Kauers, Manuel
1 Khan Afshar, Sanaz
1 Korniłowicz, Artur
1 Lange, Christoph
1 Magron, Victor
1 Matuszewski, Roman
1 McLaughlin, Sean
1 Nguyen, Quang Truong
1 Nguyen, Tat Thang
1 Nipkow, Tobias
1 Obua, Steven
1 Pąk, Karol
1 Paulson, Lawrence Charles
1 Pease, Adam
1 Pleso, Joseph
1 Pudlák, Pavel
1 Rute, Jason
1 Sexton, Alan P.
1 Siddique, Umair
1 Sojka, Petr
1 Solovyev, Alexey
1 Stanovský, David
1 Štěpánek, Petr
1 Suda, Martin
1 Ta Thi Hoai An
1 Tahar, Sofiène
1 Tran, Nam Trung
1 Trieu, Thi Diep
1 van Laarhoven, Twan
1 Voronkov, Andrei
1 Vu, Ky Minh
1 Wang, Qingxiang
1 Watt, Stephen Michael
1 Zumkeller, Roland

Publications by Year

Citations contained in zbMATH

52 Publications have been cited 467 times in 189 Documents Cited by Year
Mizar: state-of-the-art and beyond. Zbl 1417.68201
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef
74
2015
MPTP 0.2: Design, implementation, and initial experiments. Zbl 1113.68095
Urban, Josef
23
2006
Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\). Zbl 1314.68283
Kaliszyk, Cezary; Urban, Josef
22
2014
ATP and presentation service for Mizar formalizations. Zbl 1260.68380
Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff
21
2013
XML-izing Mizar: Making semantic processing and presentation of MML easy. Zbl 1151.68681
Urban, Josef
21
2006
MizAR 40 for Mizar 40. Zbl 1356.68191
Kaliszyk, Cezary; Urban, Josef
19
2015
Premise selection for mathematics by corpus analysis and kernel methods. Zbl 1315.68217
Alama, Jesse; Heskes, Tom; Kühlwein, Daniel; Tsivtsivadze, Evgeni; Urban, Josef
19
2014
Licensing the Mizar Mathematical Library (MML). Zbl 1278.68290
Alama, Jesse; Kohlhase, Michael; Mamane, Lionel; Naumowicz, Adam; Rudnicki, Piotr; Urban, Josef
17
2011
MaLARea SG1 – machine learner for automated reasoning with semantic guidance. Zbl 1165.68434
Urban, Josef; Sutcliffe, Geoff; Pudlák, Petr; Vyskočil, Jiří
17
2008
MPTP-motivation, implementation, first experiments. Zbl 1075.68081
Urban, Josef
16
2004
HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177
Kaliszyk, Cezary; Urban, Josef
13
2015
The Mizar Mathematical Library in OMDoc: translation and applications. Zbl 1260.68375
Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef
12
2013
A formal proof of the Kepler conjecture. Zbl 1379.52018
Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland
11
2017
MaSh: machine learning for Sledgehammer. Zbl 1317.68215
Kühlwein, Daniel; Blanchette, Jasmin Christian; Kaliszyk, Cezary; Urban, Josef
11
2013
Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. Zbl 1108.68583
Bancerek, Grzegorz; Urban, Josef
11
2004
Translating Mizar for first order theorem provers. Zbl 1022.68622
Urban, Josef
10
2003
MaLeCoP. Machine learning connection prover. Zbl 1332.68206
Urban, Josef; Vyskočil, Jiří; Štěpánek, Petr
9
2011
Evaluation of automated theorem proving on the Mizar mathematical library. Zbl 1294.68128
Urban, Josef; Hoder, Krystof; Voronkov, Andrei
9
2010
MizarMode – an integrated proof assistance tool for the Mizar way of formalizing mathematics. Zbl 1107.68103
Urban, Josef
9
2006
Overview and evaluation of premise selection techniques for large theory mathematics. Zbl 1358.68259
Kühlwein, Daniel; van Laarhoven, Twan; Tsivtsivadze, Evgeni; Urban, Josef; Heskes, Tom
8
2012
Large formal wikis: issues and solutions. Zbl 1335.68220
Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef
8
2011
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
8
2008
A learning-based fact selector for Isabelle/HOL. Zbl 1386.68149
Blanchette, Jasmin Christian; Greenaway, David; Kaliszyk, Cezary; Kühlwein, Daniel; Urban, Josef
7
2016
Learning-assisted theorem proving with millions of lemmas. Zbl 1315.68220
Kaliszyk, Cezary; Urban, Josef
7
2015
PRocH: proof reconstruction for HOL Light. Zbl 1381.68271
Kaliszyk, Cezary; Urban, Josef
7
2013
Automated and human proofs in general mathematics: an initial comparison. Zbl 1352.68211
Alama, Jesse; Kühlwein, Daniel; Urban, Josef
7
2012
A Wiki for Mizar: motivation, considerations, and initial prototype. Zbl 1286.68434
Urban, Josef; Alama, Jesse; Rudnicki, Piotr; Geuvers, Herman
7
2010
Dependencies in formal mathematics: applications and extraction for Coq and Mizar. Zbl 1335.68221
Alama, Jesse; Mamane, Lionel; Urban, Josef
6
2012
Theorem proving in large formal mathematics as an emerging AI field. Zbl 1276.68139
Urban, Josef; Vyskočil, Jiří
5
2013
FEMaLeCoP: fairly efficient machine learning connection prover. Zbl 06528775
Kaliszyk, Cezary; Urban, Josef
4
2015
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
Watt, Stephen M. (ed.); Davenport, James H. (ed.); Sexton, Alan P. (ed.); Sojka, Petr (ed.); Urban, Josef (ed.)
4
2014
Lemma mining over HOL Light. Zbl 1407.68437
Kaliszyk, Cezary; Urban, Josef
4
2013
Formal mathematics on display: a wiki for Flyspeck. Zbl 1390.68751
Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
4
2013
Automated proof compression by invention of new definitions. Zbl 1253.68293
Vyskočil, Jiří; Stanovský, David; Urban, Josef
4
2010
System description: E.T. 0.1. Zbl 06515521
Kaliszyk, Cezary; Schulz, Stephan; Urban, Josef; Vyskočil, Jiří
3
2015
Developing corpus-based translation methods between informal and formal mathematics: project description. Zbl 1304.68172
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří; Geuvers, Herman
3
2014
Automated reasoning service for HOL Light. Zbl 1390.68576
Kaliszyk, Cezary; Urban, Josef
3
2013
Automated reasoning and presentation support for formalizing mathematics in MizAR. Zbl 1286.68403
Urban, Josef; Sutcliffe, Geoff
3
2010
Hammering towards QED. Zbl 07106506
Blanchette, Jasmin C.; Kaliszyk, Cezary; Paulson, Lawrence C.; Urban, Josef
2
2016
Lemmatization for stronger reasoning in large theories. Zbl 06688824
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří
2
2015
MaLeS: a framework for automatic tuning of automated theorem provers. Zbl 1356.68193
Kühlwein, Daniel; Urban, Josef
2
2015
Communicating formal proofs: the case of Flyspeck. Zbl 1317.68232
Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
2
2013
E-MaLeS 1.1. Zbl 1381.68273
Kühlwein, Daniel; Schulz, Stephan; Urban, Josef
2
2013
Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014
Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.)
2
2011
Presenting and explaining Mizar. Zbl 1278.68283
Urban, Josef; Bancerek, Grzegorz
2
2007
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
1
2019
Automating formalization by statistical and semantic parsing of mathematics. Zbl 06821841
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří
1
2017
Detecting inconsistencies in large first-order knowledge bases. Zbl 06778411
Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam
1
2017
Extracting higher-order goals from the Mizar Mathematical Library. Zbl 1344.68203
Brown, Chad E.; Urban, Josef
1
2016
Formalizing physics: automation, presentation and foundation issues. Zbl 1417.68186
Kaliszyk, Cezary; Urban, Josef; Siddique, Umair; Khan-Afshar, Sanaz; Dunchev, Cvetan; Tahar, Sofiène
1
2015
Learning to parse on aligned corpora (rough diamond). Zbl 06481866
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří
1
2015
ATP cross-verification of the Mizar MPTP challenge problems. Zbl 1137.68576
Urban, Josef; Sutcliffe, Geoff
1
2007
GRUNGE: a grand unified ATP challenge. Zbl 07178973
Brown, Chad E.; Gauthier, Thibault; Kaliszyk, Cezary; Sutcliffe, Geoff; Urban, Josef
1
2019
A formal proof of the Kepler conjecture. Zbl 1379.52018
Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland
11
2017
Automating formalization by statistical and semantic parsing of mathematics. Zbl 06821841
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří
1
2017
Detecting inconsistencies in large first-order knowledge bases. Zbl 06778411
Schulz, Stephan; Sutcliffe, Geoff; Urban, Josef; Pease, Adam
1
2017
A learning-based fact selector for Isabelle/HOL. Zbl 1386.68149
Blanchette, Jasmin Christian; Greenaway, David; Kaliszyk, Cezary; Kühlwein, Daniel; Urban, Josef
7
2016
Hammering towards QED. Zbl 07106506
Blanchette, Jasmin C.; Kaliszyk, Cezary; Paulson, Lawrence C.; Urban, Josef
2
2016
Extracting higher-order goals from the Mizar Mathematical Library. Zbl 1344.68203
Brown, Chad E.; Urban, Josef
1
2016
Mizar: state-of-the-art and beyond. Zbl 1417.68201
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol; Urban, Josef
74
2015
MizAR 40 for Mizar 40. Zbl 1356.68191
Kaliszyk, Cezary; Urban, Josef
19
2015
HOL(y)Hammer: online ATP service for HOL Light. Zbl 1322.68177
Kaliszyk, Cezary; Urban, Josef
13
2015
Learning-assisted theorem proving with millions of lemmas. Zbl 1315.68220
Kaliszyk, Cezary; Urban, Josef
7
2015
FEMaLeCoP: fairly efficient machine learning connection prover. Zbl 06528775
Kaliszyk, Cezary; Urban, Josef
4
2015
System description: E.T. 0.1. Zbl 06515521
Kaliszyk, Cezary; Schulz, Stephan; Urban, Josef; Vyskočil, Jiří
3
2015
Lemmatization for stronger reasoning in large theories. Zbl 06688824
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří
2
2015
MaLeS: a framework for automatic tuning of automated theorem provers. Zbl 1356.68193
Kühlwein, Daniel; Urban, Josef
2
2015
Formalizing physics: automation, presentation and foundation issues. Zbl 1417.68186
Kaliszyk, Cezary; Urban, Josef; Siddique, Umair; Khan-Afshar, Sanaz; Dunchev, Cvetan; Tahar, Sofiène
1
2015
Learning to parse on aligned corpora (rough diamond). Zbl 06481866
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří
1
2015
Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\). Zbl 1314.68283
Kaliszyk, Cezary; Urban, Josef
22
2014
Premise selection for mathematics by corpus analysis and kernel methods. Zbl 1315.68217
Alama, Jesse; Heskes, Tom; Kühlwein, Daniel; Tsivtsivadze, Evgeni; Urban, Josef
19
2014
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
Watt, Stephen M. (ed.); Davenport, James H. (ed.); Sexton, Alan P. (ed.); Sojka, Petr (ed.); Urban, Josef (ed.)
4
2014
Developing corpus-based translation methods between informal and formal mathematics: project description. Zbl 1304.68172
Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiří; Geuvers, Herman
3
2014
ATP and presentation service for Mizar formalizations. Zbl 1260.68380
Urban, Josef; Rudnicki, Piotr; Sutcliffe, Geoff
21
2013
The Mizar Mathematical Library in OMDoc: translation and applications. Zbl 1260.68375
Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef
12
2013
MaSh: machine learning for Sledgehammer. Zbl 1317.68215
Kühlwein, Daniel; Blanchette, Jasmin Christian; Kaliszyk, Cezary; Urban, Josef
11
2013
PRocH: proof reconstruction for HOL Light. Zbl 1381.68271
Kaliszyk, Cezary; Urban, Josef
7
2013
Theorem proving in large formal mathematics as an emerging AI field. Zbl 1276.68139
Urban, Josef; Vyskočil, Jiří
5
2013
Lemma mining over HOL Light. Zbl 1407.68437
Kaliszyk, Cezary; Urban, Josef
4
2013
Formal mathematics on display: a wiki for Flyspeck. Zbl 1390.68751
Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
4
2013
Automated reasoning service for HOL Light. Zbl 1390.68576
Kaliszyk, Cezary; Urban, Josef
3
2013
Communicating formal proofs: the case of Flyspeck. Zbl 1317.68232
Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
2
2013
E-MaLeS 1.1. Zbl 1381.68273
Kühlwein, Daniel; Schulz, Stephan; Urban, Josef
2
2013
Overview and evaluation of premise selection techniques for large theory mathematics. Zbl 1358.68259
Kühlwein, Daniel; van Laarhoven, Twan; Tsivtsivadze, Evgeni; Urban, Josef; Heskes, Tom
8
2012
Automated and human proofs in general mathematics: an initial comparison. Zbl 1352.68211
Alama, Jesse; Kühlwein, Daniel; Urban, Josef
7
2012
Dependencies in formal mathematics: applications and extraction for Coq and Mizar. Zbl 1335.68221
Alama, Jesse; Mamane, Lionel; Urban, Josef
6
2012
Licensing the Mizar Mathematical Library (MML). Zbl 1278.68290
Alama, Jesse; Kohlhase, Michael; Mamane, Lionel; Naumowicz, Adam; Rudnicki, Piotr; Urban, Josef
17
2011
MaLeCoP. Machine learning connection prover. Zbl 1332.68206
Urban, Josef; Vyskočil, Jiří; Štěpánek, Petr
9
2011
Large formal wikis: issues and solutions. Zbl 1335.68220
Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef
8
2011
Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Zbl 1218.68014
Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.)
2
2011
Evaluation of automated theorem proving on the Mizar mathematical library. Zbl 1294.68128
Urban, Josef; Hoder, Krystof; Voronkov, Andrei
9
2010
A Wiki for Mizar: motivation, considerations, and initial prototype. Zbl 1286.68434
Urban, Josef; Alama, Jesse; Rudnicki, Piotr; Geuvers, Herman
7
2010
Automated proof compression by invention of new definitions. Zbl 1253.68293
Vyskočil, Jiří; Stanovský, David; Urban, Josef
4
2010
Automated reasoning and presentation support for formalizing mathematics in MizAR. Zbl 1286.68403
Urban, Josef; Sutcliffe, Geoff
3
2010
MaLARea SG1 – machine learner for automated reasoning with semantic guidance. Zbl 1165.68434
Urban, Josef; Sutcliffe, Geoff; Pudlák, Petr; Vyskočil, Jiří
17
2008
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments. Zbl 1178.68532
Urban, Josef; Sutcliffe, Geoff
8
2008
Presenting and explaining Mizar. Zbl 1278.68283
Urban, Josef; Bancerek, Grzegorz
2
2007
ATP cross-verification of the Mizar MPTP challenge problems. Zbl 1137.68576
Urban, Josef; Sutcliffe, Geoff
1
2007
MPTP 0.2: Design, implementation, and initial experiments. Zbl 1113.68095
Urban, Josef
23
2006
XML-izing Mizar: Making semantic processing and presentation of MML easy. Zbl 1151.68681
Urban, Josef
21
2006
MizarMode – an integrated proof assistance tool for the Mizar way of formalizing mathematics. Zbl 1107.68103
Urban, Josef
9
2006
MPTP-motivation, implementation, first experiments. Zbl 1075.68081
Urban, Josef
16
2004
Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles. Zbl 1108.68583
Bancerek, Grzegorz; Urban, Josef
11
2004
Translating Mizar for first order theorem provers. Zbl 1022.68622
Urban, Josef
10
2003
all top 5

Cited by 214 Authors

27 Urban, Josef
19 Kaliszyk, Cezary
16 Coghetto, Roland
14 Pąk, Karol
14 Shidama, Yasunari
11 Grabowski, Adam
11 Korniłowicz, Artur
9 Futa, Yuichi
9 Naumowicz, Adam
8 Kohlhase, Michael
8 Nakasho, Kazuhisa
7 Blanchette, Jasmin Christian
7 Rabe, Florian
5 Alama, Jesse
5 Okazaki, Hiroyuki
5 Schwarzweller, Christoph
5 Vyskočil, Jiří
4 Bancerek, Grzegorz
4 Iancu, Mihnea
4 Koch, Sebastian
3 Benzmüller, Christoph Ewald
3 Böhme, Sascha
3 Endou, Noboru
3 Gauthier, Thibault
3 Jaeger, Peter
3 Janičić, Predrag
3 Kühlwein, Daniel
3 Narita, Keiko
3 Nipkow, Tobias
3 Paulson, Lawrence Charles
3 Sutcliffe, Geoff
3 Voronkov, Andrei
3 Ziobro, Rafał
2 Acewicz, Marcin
2 Brown, Chad Edward
2 Byliński, Czesław
2 Färber, Michael
2 Geuvers, Jan Herman
2 Gransden, Thomas
2 Guidi, Ferruccio
2 Heras, Jónathan
2 Heskes, Tom M.
2 Jakubův, Jan
2 Komendantskaya, Ekaterina
2 Leitsch, Alexander
2 Mamane, Lionel Elie
2 Matuszewski, Roman
2 Narboux, Julien
2 Popescu, Andrei
2 Raman, Rajeev
2 Rudnicki, Piotr
2 Sacerdoti Coen, Claudio
2 Schulz, Stephan
2 Siddique, Umair
2 Smallbone, Nicholas
2 Stojanović Đurđević, Sana
2 Tahar, Sofiène
2 Tsivtsivadze, Evgeni
2 Walkinshaw, Neil
2 Watase, Yasushige
2 Wenzel, Makarius
2 Wiesing, Tom
2 Woltzenlogel Paleo, Bruno
1 Abbasi, Mohsin Manshad
1 Abraham, Uri
1 Adams, Mark
1 Alt, Helmut
1 Aransay, Jesús
1 Aspinall, David
1 Bauer, Gertrud
1 Beeson, Michael J.
1 Bel’tyukov, Anatoliĭ Petrovich
1 Bentkamp, Alexander
1 Bezem, Marc
1 Bogoşel, Beniamin
1 Brink, Kasper
1 Buchin, Kevin
1 Bucur, Dorin
1 Cairns, Paul
1 Caminati, Marco Bright
1 Carette, Jacques
1 Chaplick, Steven
1 Chen, Shuwei
1 Cheong, Otfried
1 Chojecki, Przemyslaw
1 Claessen, Koen
1 Corneli, Joseph
1 Czajka, Łukasz
1 Dang, Tat Dat
1 Divasón, Jose
1 Dixon, Lucas
1 Dunchev, Cvetan
1 Elizarov, A. M.
1 Farmer, William M.
1 Fleury, Mathias
1 Ford, Ian J.
1 Fragalà, Ilaria
1 Furbach, Ulrich
1 Ganesalingam, Mohan
1 Giero, Mariusz
...and 114 more Authors

Citations by Year