×

zbMATH — the first resource for mathematics

Lusk, Ewing L.

Compute Distance To:
Author ID: lusk.ewing-l Recent zbMATH articles by "Lusk, Ewing L."
Published as: Lusk, Ewing; Lusk, Ewing L.; Lusk, E. L.; Lusk, E.
Documents Indexed: 30 Publications since 1973, including 3 Books

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 230 times in 219 Documents Cited by Year
A high-performance, portable implementation of the MPI message passing interface standard. Zbl 0875.68206
Gropp, William; Lusk, Ewing; Doss, Nathan; Skjellum, Anthony
121
1996
Automated reasoning: introduction and applications. Incl. 1 disk. 2nd ed. Zbl 0820.68116
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
25
1992
Automated reasoning. Introduction and applications. Zbl 0674.68057
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
24
1984
Set theory in first-order logic: Clauses for Gödel’s axioms. Zbl 0635.03008
Boyer, Robert; Lusk, Ewing; McCune, William; Overbeek, Ross; Stickel, Mark E.; Wos, Lawrence
18
1986
Configuration-like spaces and the Borsuk-Ulam theorem. Zbl 0326.55002
Cohen, Fred; Lusk, Ewing L.
8
1976
Problem corner: Reasoning about equality. Zbl 0615.68065
Lusk, E. L.; Overbeek, R. A.
5
1985
Semigroups, antiautomorphisms, and involutions: A computer solution to an open problem. I. Zbl 0517.20041
Winker, S. K.; Wos, L.; Lusk, E. L.
4
1981
Combinatorial results relating to products of idempotents in finite full transformation semigroups. Zbl 0719.20034
Howie, John M.; Lusk, Ewing L.; McFadden, Robert B.
4
1990
Monitors, messages, and clusters: The p4 parallel programming system. Zbl 0825.68317
Butler, Ralph M.; Lusk, Ewing L.
4
1994
Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\). Zbl 0632.68087
Lusk, Ewing; McFadden, Robert
3
1987
Paths to high-performance automated theorem proving. Zbl 0609.68060
Butler, Ralph; Lusk, Ewing; McCune, William; Overbeek, Ross
2
1986
Problem corner: Non-Horn problems. Zbl 0614.68069
Lusk, Ewing; Overbeek, Ross
2
1985
Data structures and control architecture for implementation of theorem- proving programs. Zbl 0438.68048
Overbeek, Ross A.; Lusk, Ewing L.
2
1980
A high-performance MPI implementation on a shared-memory vector supercomputer. Zbl 0906.68021
Gropp, William; Lusk, Ewing
1
1997
The mod p Smith index and a generalized Borsuk-Ulam theorem. Zbl 0324.55005
Lusk, Ewing L.
1
1975
Uniform strategies: The CADE-11 theorem proving contest. Zbl 0802.68131
Lusk, Ewing L.; McCune, William W.
1
1993
Optimizing noncontiguous accesses in MPI–IO. Zbl 0984.68081
Thakur, Rajeev; Gropp, William; Lusk, Ewing
1
2002
SPINning parallel systems software. Zbl 1077.68697
Matlin, Olga Shumsky; Lusk, Ewing; McCune, William
1
2002
MPI on the grid. Zbl 1015.68726
Gropp, William; Lusk, Ewing
1
2002
Level-preserving approximations and isotopies, and homotopy groups of spaces of embeddings. Zbl 0281.57014
Lusk, Ewing
1
1974
Coincidence point results for spaces with free \(Z_2\)-actions. Zbl 0306.55006
Cohen, Fred; Lusk, Ewing L.
1
1975
Optimizing noncontiguous accesses in MPI–IO. Zbl 0984.68081
Thakur, Rajeev; Gropp, William; Lusk, Ewing
1
2002
SPINning parallel systems software. Zbl 1077.68697
Matlin, Olga Shumsky; Lusk, Ewing; McCune, William
1
2002
MPI on the grid. Zbl 1015.68726
Gropp, William; Lusk, Ewing
1
2002
A high-performance MPI implementation on a shared-memory vector supercomputer. Zbl 0906.68021
Gropp, William; Lusk, Ewing
1
1997
A high-performance, portable implementation of the MPI message passing interface standard. Zbl 0875.68206
Gropp, William; Lusk, Ewing; Doss, Nathan; Skjellum, Anthony
121
1996
Monitors, messages, and clusters: The p4 parallel programming system. Zbl 0825.68317
Butler, Ralph M.; Lusk, Ewing L.
4
1994
Uniform strategies: The CADE-11 theorem proving contest. Zbl 0802.68131
Lusk, Ewing L.; McCune, William W.
1
1993
Automated reasoning: introduction and applications. Incl. 1 disk. 2nd ed. Zbl 0820.68116
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
25
1992
Combinatorial results relating to products of idempotents in finite full transformation semigroups. Zbl 0719.20034
Howie, John M.; Lusk, Ewing L.; McFadden, Robert B.
4
1990
Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\). Zbl 0632.68087
Lusk, Ewing; McFadden, Robert
3
1987
Set theory in first-order logic: Clauses for Gödel’s axioms. Zbl 0635.03008
Boyer, Robert; Lusk, Ewing; McCune, William; Overbeek, Ross; Stickel, Mark E.; Wos, Lawrence
18
1986
Paths to high-performance automated theorem proving. Zbl 0609.68060
Butler, Ralph; Lusk, Ewing; McCune, William; Overbeek, Ross
2
1986
Problem corner: Reasoning about equality. Zbl 0615.68065
Lusk, E. L.; Overbeek, R. A.
5
1985
Problem corner: Non-Horn problems. Zbl 0614.68069
Lusk, Ewing; Overbeek, Ross
2
1985
Automated reasoning. Introduction and applications. Zbl 0674.68057
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim
24
1984
Semigroups, antiautomorphisms, and involutions: A computer solution to an open problem. I. Zbl 0517.20041
Winker, S. K.; Wos, L.; Lusk, E. L.
4
1981
Data structures and control architecture for implementation of theorem- proving programs. Zbl 0438.68048
Overbeek, Ross A.; Lusk, Ewing L.
2
1980
Configuration-like spaces and the Borsuk-Ulam theorem. Zbl 0326.55002
Cohen, Fred; Lusk, Ewing L.
8
1976
The mod p Smith index and a generalized Borsuk-Ulam theorem. Zbl 0324.55005
Lusk, Ewing L.
1
1975
Coincidence point results for spaces with free \(Z_2\)-actions. Zbl 0306.55006
Cohen, Fred; Lusk, Ewing L.
1
1975
Level-preserving approximations and isotopies, and homotopy groups of spaces of embeddings. Zbl 0281.57014
Lusk, Ewing
1
1974
all top 5

Cited by 451 Authors

20 Wos, Larry
5 McCune, William W.
4 East, James
3 Omodeo, Eugenio Giovanni
3 Plaisted, David Alan
2 Ahmed, Shabbir
2 Andrews, Peter B.
2 Bailey, David Harold
2 Balyo, Tomáš
2 Bishop, Matthew
2 Cifani, Paolo
2 Creel, Michael
2 Défourneaux, Gilles
2 Dolinka, Igor
2 Geurts, Bernard J.
2 Havé, Pascal
2 Karasev, Roman N.
2 Kuerten, J. G. M.
2 Lee, Kyun Ho
2 Lee, Shie-Jue
2 Lusk, Ewing L.
2 Munguía, Lluís-Miquel
2 Peltier, Nicolas
2 Reiter, Sebastian
2 Rüde, Ulrich
2 Rupp, Martin
2 Segre, Alberto Maria
2 Skjellum, Anthony
2 Stickel, Mark E.
2 Sutcliffe, Geoff
2 Vemaganti, Kumar S.
2 Vogel, Andreas
2 Volovikov, Aleksej Yur’evich
2 Wittum, Gabriel
2 Zhang, Hantao
1 Aage, Niels
1 Abouchabaka, Jaafar
1 Adenso-Díaz, Belarmino
1 Ainsworth, G. O. jun.
1 Akman, Varol
1 Al-Shaikh, Raed A.
1 Alberto, Angelines
1 Alemany, M. M. G.
1 Ali, Khayri A. M.
1 Ali, Norhashidah Hj. Mohd.
1 Alonso, Pedro
1 Andersson, Helge I.
1 Araújo, João
1 Arias, Enrique
1 Aszalós, László
1 Atayan, V. V.
1 Avetisyan, A. I.
1 Bader, David A.
1 Badia, Santiago
1 Banerjee, Anindya
1 Bangalore, Purushotham V.
1 Beall, Mark W.
1 Belinfante, Johan Gijsbertus Frederik
1 Bell, Alexander
1 Ben-Hafaiedh, Imene
1 Benet, Jesús
1 Benner, Peter
1 Bernabeu, Miguel O.
1 Biros, George
1 Bischof, Christian H.
1 Blayo, Eric
1 Bledsoe, Woodrow W.
1 Boehning, Peer
1 Borwein, Jonathan Michael
1 Boukerche, Azzedine
1 Bourely, Christophe
1 Bova, S. W.
1 Bringsjord, Selmer
1 Brink, Chris
1 Broadhurst, David John
1 Bunder, Martin W.
1 Buyya, Rajkumar
1 Cai, Xing
1 Calandra, Henri
1 Cardew-Hall, Michael
1 Carey, Graham Francis
1 Castillo, Zenaida
1 Chaib, Mohamed
1 Chelikowsky, James R.
1 Chen, Guoliang
1 Chen, Xiao
1 Cheng, Jing-Ru C.
1 Cheng, Meng
1 Chikitkin, A. V.
1 Chiu, Yung-Chang
1 Chu, Kuo-Chih
1 Chupov, Sergey V.
1 Ciznicki, Milosz
1 Clercx, Herman J. H.
1 Codenotti, Bruno
1 Cohen, Fred R.
1 Courbin, Pierre
1 Coveney, Peter V.
1 Cuartero, Fernando
1 Curran, James R.
...and 351 more Authors
all top 5

Cited in 90 Serials

33 Journal of Automated Reasoning
9 Computers and Fluids
7 Journal of Symbolic Computation
6 Computer Methods in Applied Mechanics and Engineering
6 Computer Physics Communications
5 Journal of Parallel and Distributed Computing
5 SIAM Journal on Scientific Computing
4 Artificial Intelligence
4 Journal of Computational Physics
4 Parallel Computing
4 Computing and Visualization in Science
3 Applied Mathematics and Computation
3 Journal of Algebra
3 Topology and its Applications
3 International Journal of Parallel Programming
3 Computational Mechanics
3 Journal of Scientific Computing
3 Computational Optimization and Applications
3 Computational Economics
3 Formal Methods in System Design
3 Annals of Mathematics and Artificial Intelligence
2 Computers & Mathematics with Applications
2 International Journal of Heat and Mass Transfer
2 Programming and Computer Software
2 Semigroup Forum
2 Software. Practice & Experience
2 New Generation Computing
2 Algorithmica
2 Computational Statistics
2 Journal of Non-Newtonian Fluid Mechanics
2 Computational Statistics and Data Analysis
2 Cybernetics and Systems Analysis
2 Fractional Calculus & Applied Analysis
2 Algebraic & Geometric Topology
2 Concurrency and Computation: Practice & Experience
1 Communications in Algebra
1 Journal of the Franklin Institute
1 Mathematics of Computation
1 The Mathematical Intelligencer
1 BIT
1 Journal of Computational and Applied Mathematics
1 Journal of Computer and System Sciences
1 Journal of Philosophical Logic
1 Mathematics and Computers in Simulation
1 Notre Dame Journal of Formal Logic
1 Proceedings of the American Mathematical Society
1
1 Theoretical Computer Science
1 Transactions of the American Mathematical Society
1 Science of Computer Programming
1 Computers & Operations Research
1 Annals of Operations Research
1 Real-Time Systems
1 International Journal of Algebra and Computation
1 Concurrency: Practice and Experience
1 Numerical Algorithms
1 Artificial Intelligence Review
1 Computational Mathematics and Mathematical Physics
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 Systems Analysis, Modelling Simulation
1 Foundations of Computing and Decision Sciences
1 Advances in Engineering Software
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 St. Petersburg Mathematical Journal
1 International Journal of Numerical Methods for Heat & Fluid Flow
1 INFORMS Journal on Computing
1 Parallel Algorithms and Applications
1 International Journal of Computational Fluid Dynamics
1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings
1 Multibody System Dynamics
1 M2AN. Mathematical Modelling and Numerical Analysis. ESAIM, European Series in Applied and Industrial Mathematics
1 Engineering Computations
1 Archives of Computational Methods in Engineering
1 Theory and Practice of Logic Programming
1 Journal of Machine Learning Research (JMLR)
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Bulletin of the Brazilian Mathematical Society. New Series
1 Structural and Multidisciplinary Optimization
1 Computational Linguistics
1 Journal of Applied Logic
1 Journal of Computational Acoustics
1 Mathematics in Computer Science
1 Journal of Homotopy and Related Structures
1 The Annals of Applied Statistics
1 Mathematical Programming Computation
1 Journal of Theoretical Biology
1 Journal of Optimization
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year