×

Smith, Frederick W.

Author ID: smith.frederick-w Recent zbMATH articles by "Smith, Frederick W."
Published as: Smith, Frederick; Smith, Frederick W.
Documents Indexed: 15 Publications since 1956, including 1 Book
Co-Authors: 6 Co-Authors with 4 Joint Publications
108 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 96 times in 90 Documents Cited by Year
Kleene algebra with tests: Completeness and decidability. Zbl 0882.03064
Kozen, Dexter; Smith, Frederick
78
1997
Calculation of gas transport properties and the interaction of argon atoms. Zbl 0128.20104
Barker, J. A.; Fock, W.; Smith, F.
15
1964
Alias types. Zbl 0971.68584
Smith, Frederick; Walker, David; Morrisett, Greg
8
2000
Finite simple groups all of whose 2-local subgroups are solvable. Zbl 0325.20009
Smith, Frederick
8
1975
Stress-intensity factors for a surface crack in a finite solid. Zbl 0232.73089
Thresher, R. W.; Smith, F. W.
4
1972
The elliptical crack subjected to nonuniform shear loading. Zbl 0288.73073
Smith, F. W.; Sorensen, D. R.
4
1974
Constituent diffusion in a deformable thermoelastic solid. Zbl 0613.73011
Girrens, S. P.; Smith, F. W.
4
1987
A general characterization of the Janko simple group \(J_2\). Zbl 0322.20008
Smith, Frederick
2
1974
Finite element analysis of coupled constituent diffusion in thermoelastic solids. Zbl 0613.73012
Girrens, S. P.; Smith, F. W.
1
1987
Alias types. Zbl 0971.68584
Smith, Frederick; Walker, David; Morrisett, Greg
8
2000
Kleene algebra with tests: Completeness and decidability. Zbl 0882.03064
Kozen, Dexter; Smith, Frederick
78
1997
Constituent diffusion in a deformable thermoelastic solid. Zbl 0613.73011
Girrens, S. P.; Smith, F. W.
4
1987
Finite element analysis of coupled constituent diffusion in thermoelastic solids. Zbl 0613.73012
Girrens, S. P.; Smith, F. W.
1
1987
Finite simple groups all of whose 2-local subgroups are solvable. Zbl 0325.20009
Smith, Frederick
8
1975
The elliptical crack subjected to nonuniform shear loading. Zbl 0288.73073
Smith, F. W.; Sorensen, D. R.
4
1974
A general characterization of the Janko simple group \(J_2\). Zbl 0322.20008
Smith, Frederick
2
1974
Stress-intensity factors for a surface crack in a finite solid. Zbl 0232.73089
Thresher, R. W.; Smith, F. W.
4
1972
Calculation of gas transport properties and the interaction of argon atoms. Zbl 0128.20104
Barker, J. A.; Fock, W.; Smith, F.
15
1964
all top 5

Cited by 140 Authors

6 Guttmann, Walter
5 Möller, Bernhard
5 Silva, Alexandra
5 Struth, Georg
4 Kozen, Dexter C.
4 Mamouras, Konstantinos
4 Zanasi, Fabio
3 Brunet, Paul
3 Desharnais, Jules
3 Hayes, Ian J.
3 Kappé, Tobias
3 Meinicke, Larissa A.
3 Melo de Sousa, Simão
3 Moreira, Nelma
3 Pereira, David P.
3 Solin, Kim
2 Gorenstein, Daniel
2 Hayashi, Makoto
2 Höfner, Peter
2 Kaminski, Mark
2 O’Hearn, Peter W.
2 Piedeleu, Robin
2 Pous, Damien
2 Rot, Jurriaan
2 Sedlár, Igor
2 Smolka, Gert
2 Wagemaker, Jana
1 Aboul-Hosn, Kamal
1 Alain, Mathieu
1 Armstrong, Alasdair
1 Aschbacher, Michael George
1 Bacelar Almeida, José
1 Bautista, Santiago
1 Berghammer, Rudolf
1 Bergstra, Jan A.
1 Bolduc, Claude
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Bruni, Roberto
1 Buszkowski, Wojciech
1 Cerone, Andrea
1 Chen, Hubie
1 Chong, Stephen
1 Colvin, Robert J.
1 Cosme-Llópez, Enric
1 Dang, Han-Hing
1 de Carufel, Jean-Lou
1 Dempwolff, Ulrich
1 Dymnikov, Constantine
1 Ésik, Zoltán
1 Foster, Jeffrey S.
1 Foster, Nate
1 Foster, Simon
1 Genevès, Pierre
1 Gesbert, Nils
1 Gomes, Victor B. F.
1 Gomi, Kensaku
1 Gonzalía, Carlos
1 Gori, Roberta
1 Gotsman, Alexey
1 Griess, Robert L. jun.
1 Haack, Christian
1 Hansen, Helle Hvid
1 Hirsch, Robin
1 Hoare, C. A. R. Tony
1 Hoffmann, Jan-Philipp
1 Hua, Baojian
1 Huerta y Munive, Jonathan Julián
1 Hurlin, Clément
1 Hussain, Akbar
1 Igarashi, Atsushi
1 Jackson, Marcel G.
1 Jipsen, Peter
1 Kahn, David M.
1 Kobayashi, Naoki
1 Kovalenko, A. P.
1 Kowalski, Tomasz
1 Ktari, Béchir
1 Lanotte, Ruggero
1 Layaïda, Nabil
1 Lichtman, Benjamin
1 Luttik, Bas
1 Lyons, Richard
1 Ma, Minghui
1 Maarand, Hendrik
1 Madhusudan, Parthasarathy
1 Male, Chris
1 Manini, Nicolas
1 Mason, David R.
1 Mathur, Umang
1 McIver, Annabelle K.
1 Mclean, Brett
1 Merro, Massimo
1 Middelburg, Cornelis A.
1 Milanese, Marco
1 Montagu, Benoît
1 Morgan, Carroll C.
1 Moshier, M. Andrew
1 Neamtiu, Iulian
1 Palka, Ewa
...and 40 more Authors

Citations by Year