Edit Profile (opens in new tab) Smith, Frederick W. Co-Author Distance Author ID: 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 all top 5 Co-Authors 4 single-authored 2 Girrens, S. P. 2 Morrisett, Greg 1 Barker, John A. 1 Emery, Ashley F. 1 Fock, W. 1 Gerken, Jobie M. 1 Grossman, Dan 1 Hornof, Luke 1 Jim, Trevor 1 Kozen, Dexter C. 1 Nodelman, Henry M. 1 Sorensen, D. R. 1 Thresher, R. W. all top 5 Serials 3 Journal of Applied Mechanics 1 Computer Methods in Applied Mechanics and Engineering 1 Journal of Fluid Mechanics 1 Physics of Fluids 1 Archiv der Mathematik 1 International Journal for Numerical Methods in Engineering 1 Journal of Algebra 1 Mathematika 1 Journal of Functional Programming 1 Canadian Journal of Physics Fields 5 Mechanics of deformable solids (74-XX) 3 Computer science (68-XX) 2 Group theory and generalizations (20-XX) 1 Mathematical logic and foundations (03-XX) 1 Classical thermodynamics, heat transfer (80-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Serials 6 Journal of Algebra 6 Formal Aspects of Computing 6 Journal of Logical and Algebraic Methods in Programming 3 Theoretical Computer Science 3 Science of Computer Programming 3 The Journal of Logic and Algebraic Programming 3 ACM Transactions on Computational Logic 2 Acta Informatica 2 Studia Logica 2 Logical Methods in Computer Science 1 Communications in Algebra 1 Information Processing Letters 1 Algebra and Logic 1 Transactions of the American Mathematical Society 1 Journal of Automated Reasoning 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Theory of Computing Systems 1 Frontiers of Computer Science in China all top 5 Cited in 11 Fields 75 Computer science (68-XX) 23 Mathematical logic and foundations (03-XX) 10 Group theory and generalizations (20-XX) 5 General algebraic systems (08-XX) 5 Associative rings and algebras (16-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Algebraic topology (55-XX) Citations by Year