Jacob T. Schwartz

According to our database, Jacob T. Schwartz authored at least 40 papers between 1975 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2011

Computational Logic and Set Theory - Applying Formalized Logic to Analysis.

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

Springer, ISBN: 978-0-85729-807-2, 2011

2006

COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching.

Bing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra

Proceedings of the Computational Science, 2006

A Computerized Referee.

Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz

Proceedings of the Reasoning, 2006

2004

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.

Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz

J. Autom. Reason., 2004

2003

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.

Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

Notes from the Logbook of a Proof-Checker's Project.

Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino

Proceedings of the Verification: Theory and Practice, 2003

2002

A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory.

Eugenio G. Omodeo, Jacob T. Schwartz

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

1995

T-Theorem Proving I.

Alberto Policriti, Jacob T. Schwartz

J. Symb. Comput., 1995

1992

Finding Effective "Force Targets" for Two-Dimensional Multifinger Frictional Grips.

Jacob T. Schwartz, Micha Sharir

Algorithmica, 1992

1991

Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs.

Domenico Cantone, Jacob T. Schwartz

J. Autom. Reason., 1991

1990

Affine invariant model-based object recognition.

Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson

IEEE Trans. Robotics Autom., 1990

On the Two-Dimensional Davenport Schinzel Problem.

Jacob T. Schwartz, Micha Sharir

J. Symb. Comput., 1990

Decision Problems for Tarski and Presburger Arithmetics Extended With Sets.

Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz

Proceedings of the Computer Science Logic, 4th Workshop, 1990

Algorithmic Motion Planning in Robotics.

Jacob T. Schwartz, Micha Sharir

Proceedings of the Handbook of Theoretical Computer Science, 1990

1988

A Survey of Motion Planning and Related Geometric Algorithms.

Jacob T. Schwartz, Micha Sharir

Artif. Intell., 1988

On recognition of 3-D objects from 2-D images.

Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson

Proceedings of the 1988 IEEE International Conference on Robotics and Automation, 1988

Theoretical and experimental studies using a multifinger planar manipulator.

James Demmel, Gerardo Lafferriere, Jacob T. Schwartz, Micha Sharir

Proceedings of the 1988 IEEE International Conference on Robotics and Automation, 1988

Object recognition by affine invariant matching.

Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

1987

Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator.

Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz

J. Comput. Syst. Sci., 1987

On the Existence and Synthesis of Multifinger Positive Grips.

Bhubaneswar Mishra, Jacob T. Schwartz, Micha Sharir

Algorithmica, 1987

On the Bivariate Function Minimization Problem And Its Applications to Motion Planning.

Jacob T. Schwartz, Micha Sharir

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

On the Lower Envelope of Bivariate Functions and its Applications

Herbert Edelsbrunner, János Pach, Jacob T. Schwartz, Micha Sharir

Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987

1986

Object recognition by three-dimensional curve matching.

C. Marc Bastuscheck, Edith Schonberg, Jacob T. Schwartz, Micha Sharir

Int. J. Intell. Syst., 1986

Programming with Sets - An Introduction to SETL.

Jacob T. Schwartz, Robert B. K. Dewar, Ed Dubinsky, Edith Schonberg

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9575-1, 1986

1983

Experience with the SETL Optimizer.

Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir

ACM Trans. Program. Lang. Syst., 1983

1981

An Automatic Technique for Selection of Data Structures in SETL Programs.

Edmond Schonberg, Jacob T. Schwartz, Micha Sharir

ACM Trans. Program. Lang. Syst., 1981

Finding the Minimum Distance Between Two Convex Polygons.

Jacob T. Schwartz

Inf. Process. Lett., 1981

1980

Ultracomputers.

Jacob T. Schwartz

ACM Trans. Program. Lang. Syst., 1980

Fast Probabilistic Algorithms for Verification of Polynomial Identities.

Jacob T. Schwartz

J. ACM, 1980

Decision Procedures for Some Fragments of Set Theory.

Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz

Proceedings of the 5th Conference on Automated Deduction, 1980

1979

Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.

Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg

ACM Trans. Program. Lang. Syst., 1979

Automatic Data Structure Selection in SETL.

Edmond Schonberg, Jacob T. Schwartz, Micha Sharir

Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979

Probabilistic algorithms for verification of polynomial identities (invited).

Jacob T. Schwartz

Proceedings of the Symbolic and Algebraic Computation, 1979

1978

The Interplay Between Mathematics And Computer Science.

Jacob T. Schwartz

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

Reduction in Strength of High Level Operations.

Robert Paige, Jacob T. Schwartz

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

1976

Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership.

Jacob T. Schwartz

Comput. Lang., 1976

Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries.

Jacob T. Schwartz

Comput. Lang., 1976

1975

What programmers should know.

Jacob T. Schwartz

SIGSAM Bull., 1975

Automatic Data Structure Choice in a Language of Very High Level.

Jacob T. Schwartz

Commun. ACM, 1975

The problems of programming and the design of programming languages.

Jacob T. Schwartz

Proceedings of the 1975 ACM Annual Conference, 1975