Jacob T. Schwartz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2011

Computational Logic and Set Theory - Applying Formalized Logic to AnalysisJacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. Springer, 2011. [doi]

2006

A Computerized RefereeEugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz. BIRTHDAY 2006: 117-139 [doi]

COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph MatchingBing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra. iccS 2006: 654-661 [doi]

2004

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level CaseCalogero G. Zarba, Domenico Cantone, Jacob T. Schwartz. JAR, 33(3-4):251-269, 2004. [doi]

2003

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative FunctionsDomenico Cantone, Jacob T. Schwartz, Calogero G. Zarba. ENTCS, 86(1):49-60, 2003. [doi]

Notes from the Logbook of a Proof-Checker s ProjectDomenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino. BIRTHDAY 2003: 182-207 [doi]

2002

A Theory Mechanism for a Proof-Verifier Based on First-Order Set TheoryEugenio G. Omodeo, Jacob T. Schwartz. BIRTHDAY 2002: 214-230 [doi]

1995

T-Theorem Proving IAlberto Policriti, Jacob T. Schwartz. JSC, 20(3):315-342, 1995.

1992

Finding Effective Force Targets for Two-Dimensional Multifinger Frictional GripsJacob T. Schwartz, Micha Sharir. algorithmica, 8(1):1-20, 1992.

1991

Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map ConstructsDomenico Cantone, Jacob T. Schwartz. JAR, 7(2):231-256, 1991.

1990

Decision Problems for Tarski and Presburger Arithmetics Extended With SetsDomenico Cantone, Vincenzo Cutello, Jacob T. Schwartz. csl 1991: 95-109

Affine invariant model-based object recognitionYehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson. trob, 6(5):578-589, 1990. [doi]

Algorithmic Motion Planning in RoboticsJacob T. Schwartz, Micha Sharir. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 391-430, 1990.

On the Two-Dimensional Davenport Schinzel ProblemJacob T. Schwartz, Micha Sharir. JSC, 10(3/4):371-393, 1990.

1988

On recognition of 3-D objects from 2-D imagesYehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson. icra 1988: 1407-1413 [doi]

Object recognition by affine invariant matchingYehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson. cvpr 1988: 335-344 [doi]

A Survey of Motion Planning and Related Geometric AlgorithmsJacob T. Schwartz, Micha Sharir. ai, 37(1-3):157-169, 1988.

1987

1986

Object recognition by three-dimensional curve matchingC. Marc Bastuscheck, Edith Schonberg, Jacob T. Schwartz, Micha Sharir. ijis, 1(2):105-132, 1986. [doi]

Programming with sets - an introduction to SETLJacob T. Schwartz, Robert B. K. Dewar, Ed Dubinsky, Edith Schonberg. Texts and monographs in computer science, Springer, 1986.

1983

Experience with the SETL OptimizerStefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir. TOPLAS, 5(1):26-45, 1983. [doi]

1981

An Automatic Technique for Selection of Data Structures in SETL ProgramsEdmond Schonberg, Jacob T. Schwartz, Micha Sharir. TOPLAS, 3(2):126-143, 1981. [doi]

Finding the Minimum Distance Between Two Convex PolygonsJacob T. Schwartz. ipl, 13(4/5):168-170, 1981.

1980

Decision Procedures for Some Fragments of Set TheoryAlfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz. cade 1980: 88-96

UltracomputersJacob T. Schwartz. TOPLAS, 2(4):484-521, 1980. [doi]

Fast Probabilistic Algorithms for Verification of Polynomial IdentitiesJacob T. Schwartz. JACM, 27(4):701-717, 1980. [doi]

1979

Programming by Refinement, as Exemplified by the SETL Representation SublanguageRobert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg. TOPLAS, 1(1):27-49, 1979. [doi]

Automatic Data Structure Selection in SETLEdmond Schonberg, Jacob T. Schwartz, Micha Sharir. POPL 1979: 197-210 [doi]

Probabilistic algorithms for verification of polynomial identities (invited)Jacob T. Schwartz. eurosam 1979: 200-215

1978

The Interplay Between Mathematics And Computer ScienceJacob T. Schwartz. acm 1978: 1-9 [doi]

1977

Reduction in Strength of High Level OperationsRobert Paige, Jacob T. Schwartz. POPL 1977: 58-71

1976

What Programmers Should KnowJacob T. Schwartz. Comp. Lang., Syst. \& Struct., 2(1/2):21-25, 1976.

Optimization of Very High Level Languages - I. Value Transmission and Its CorollariesJacob T. Schwartz. Comp. Lang., Syst. \& Struct., 1(2):161-194, 1976.

Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and MembershipJacob T. Schwartz. Comp. Lang., Syst. \& Struct., 1(3):197-218, 1976.

1975

Automatic Data Structure Choice in a Language of Very High LevelJacob T. Schwartz. CACM, 18(12):722-728, 1975.

Automatic Data Structure Choice in a Language of Very High LevelJacob T. Schwartz. POPL 1975: 36-40

Sign in or sign up to see more results.

runs on WebDSL