The problems of programming and the design of programming languages. - Jacob T. Schwartz (ACM Annual Conference, 1975)

Automatic Data Structure Choice in a Language of Very High Level. - Jacob T. Schwartz (Commun. ACM, 1975)

What programmers should know. - Jacob T. Schwartz (SIGSAM Bull., 1975)

Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries. - Jacob T. Schwartz (Comput. Lang., 1976)

Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership. - Jacob T. Schwartz (Comput. Lang., 1976)

Reduction in Strength of High Level Operations. - Robert Paige; Jacob T. Schwartz (POPL, 1977)

The Interplay Between Mathematics And Computer Science. - Jacob T. Schwartz (ACM Annual Conference (1), 1978)

Probabilistic algorithms for verification of polynomial identities (invited). - Jacob T. Schwartz (EUROSAM, 1979)

Automatic Data Structure Selection in SETL. - Edmond Schonberg; Jacob T. Schwartz; Micha Sharir (POPL, 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)

Decision Procedures for Some Fragments of Set Theory. - Alfredo Ferro; Eugenio G. Omodeo; Jacob T. Schwartz (CADE, 1980)

Fast Probabilistic Algorithms for Verification of Polynomial Identities. - Jacob T. Schwartz (J. ACM, 1980)

Ultracomputers. - Jacob T. Schwartz (ACM Trans. Program. Lang. Syst., 1980)

Finding the Minimum Distance Between Two Convex Polygons. - Jacob T. Schwartz (Inf. Process. Lett., 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)

Experience with the SETL Optimizer. - Stefan M. Freudenberger; Jacob T. Schwartz; Micha Sharir (ACM Trans. Program. Lang. Syst., 1983)

Programming with Sets - An Introduction to SETL. - Jacob T. Schwartz; Robert B. K. Dewar; Ed Dubinsky; Edith Schonberg (Springer, 1986)

Object recognition by three-dimensional curve matching. - C. Marc Bastuscheck; Edith Schonberg; Jacob T. Schwartz; Micha Sharir (Int. J. Intell. Syst., 1986)

On the Lower Envelope of Bivariate Functions and its Applications - Herbert Edelsbrunner; János Pach; Jacob T. Schwartz; Micha Sharir (FOCS, 1987)

On the Bivariate Function Minimization Problem And Its Applications to Motion Planning. - Jacob T. Schwartz; Micha Sharir (ICALP, 1987)

On the Existence and Synthesis of Multifinger Positive Grips. - Bhubaneswar Mishra; Jacob T. Schwartz; Micha Sharir (Algorithmica, 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)

Object recognition by affine invariant matching. - Yehezkel Lamdan; Jacob T. Schwartz; Haim J. Wolfson (CVPR, 1988)

Theoretical and experimental studies using a multifinger planar manipulator. - James Demmel; Gerardo Lafferriere; Jacob T. Schwartz; Micha Sharir (ICRA, 1988)

On recognition of 3-D objects from 2-D images. - Yehezkel Lamdan; Jacob T. Schwartz; Haim J. Wolfson (ICRA, 1988)

A Survey of Motion Planning and Related Geometric Algorithms. - Jacob T. Schwartz; Micha Sharir (Artif. Intell., 1988)

Algorithmic Motion Planning in Robotics. - Jacob T. Schwartz; Micha Sharir (Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A), 1990)

Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. - Domenico Cantone; Vincenzo Cutello; Jacob T. Schwartz (CSL, 1990)

On the Two-Dimensional Davenport Schinzel Problem. - Jacob T. Schwartz; Micha Sharir (J. Symb. Comput., 1990)

Affine invariant model-based object recognition. - Yehezkel Lamdan; Jacob T. Schwartz; Haim J. Wolfson (IEEE Trans. Robotics Autom., 1990)

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)

Finding Effective "Force Targets" for Two-Dimensional Multifinger Frictional Grips. - Jacob T. Schwartz; Micha Sharir (Algorithmica, 1992)

T-Theorem Proving I. - Alberto Policriti; Jacob T. Schwartz (J. Symb. Comput., 1995)

A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. - Eugenio G. Omodeo; Jacob T. Schwartz (Computational Logic: Logic Programming and Beyond, 2002)

Notes from the Logbook of a Proof-Checker's Project. - Domenico Cantone; Eugenio G. Omodeo; Jacob T. Schwartz; Pietro Ursino (Verification: Theory and Practice, 2003)

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. - Domenico Cantone; Jacob T. Schwartz; Calogero G. Zarba (FTP, 2003)

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)

A Computerized Referee. - Eugenio G. Omodeo; Domenico Cantone; Alberto Policriti; Jacob T. Schwartz (Reasoning, Action and Interaction in AI Theories and Systems, 2006)

COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. - Bing Sun; Jacob T. Schwartz; Ofer H. Gill; Bud Mishra (International Conference on Computational Science (2), 2006)

Computational Logic and Set Theory - Applying Formalized Logic to Analysis. - Jacob T. Schwartz; Domenico Cantone; Eugenio G. Omodeo (Springer, 2011)