Ewing Lusk

Available identifiers

zbMath Open lusk.ewing-lWikidataQ102128859 ScholiaQ102128859MaRDI QIDQ1224804

List of research outcomes

Publication	Date of Publication	Type
Automated reasoning contributes to mathematics and logic	2023-04-28	Paper
Parallelizing the closure computation in automated deduction	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4738480	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411993	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4411990	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4787347	2003-01-06	Paper
Optimizing noncontiguous accesses in MPI--IO	2002-03-03	Paper
Components and interfaces of a process management system for parallel programs	2002-03-03	Paper
A high-performance MPI implementation on a shared-memory vector supercomputer	1998-07-23	Paper
A high-performance, portable implementation of the MPI message passing interface standard	1997-02-27	Paper
Monitors, messages, and clusters: The p4 parallel programming system	1995-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4296171	1994-06-16	Paper
Uniform strategies: The CADE-11 theorem proving contest	1994-04-12	Paper
Combinatorial results relating to products of idempotents in finite full transformation semigroups	1990-01-01	Paper
Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750137	1986-01-01	Paper
Problem corner: Reasoning about equality	1985-01-01	Paper
Problem corner: Non-Horn problems	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3829089	1984-01-01	Paper
Experiments with resolution-based theorem-proving algorithms	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880317	1980-01-01	Paper
Configuration-Like Spaces and the Borsuk-Ulam Theorem	1976-01-01	Paper
The mod p Smith index and a generalized Borsuk-Ulam theorem	1975-01-01	Paper
An obstruction to extending isotopies of piecewise linear manifolds	1975-01-01	Paper
A spectral sequence approach to embedding spaces	1975-01-01	Paper
Coincidence Point Results for Spaces with Free Z p -Actions	1975-01-01	Paper
Level-preserving approximations and isotopies, and homotopy groups of spaces of embeddings	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5180122	1974-01-01	Paper
Embeddings of bounded topological manifolds	1973-01-01	Paper

Research outcomes over time

This page was built for person: Ewing Lusk