 | 2006 |
|---|
| 33 |       | Bing Sun,
Jacob T. Schwartz,
Ofer H. Gill,
Bud Mishra:
COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching.
International Conference on Computational Science (2) 2006: 654-661 |
| 32 | | Eugenio G. Omodeo,
Domenico Cantone,
Alberto Policriti,
Jacob T. Schwartz:
A Computerized Referee.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 117-139 |
| 2004 |
|---|
| 31 | | Calogero G. Zarba,
Domenico Cantone,
Jacob T. Schwartz:
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.
J. Autom. Reasoning 33(3-4): 251-269 (2004) |
| 2003 |
|---|
| 30 | | Domenico Cantone,
Eugenio G. Omodeo,
Jacob T. Schwartz,
Pietro Ursino:
Notes from the Logbook of a Proof-Checker's Project.
Verification: Theory and Practice 2003: 182-207 |
| 29 | | Domenico Cantone,
Jacob T. Schwartz,
Calogero G. Zarba:
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 2002 |
|---|
| 28 | | Eugenio G. Omodeo,
Jacob T. Schwartz:
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory.
Computational Logic: Logic Programming and Beyond 2002: 214-230 |
| 1995 |
|---|
| 27 |  | Alberto Policriti,
Jacob T. Schwartz:
T-Theorem Proving I.
J. Symb. Comput. 20(3): 315-342 (1995) |
| 1992 |
|---|
| 26 | | Jacob T. Schwartz,
Micha Sharir:
Finding Effective ``Force Targets'' for Two-Dimensional Multifinger Frictional Grips.
Algorithmica 8(1): 1-20 (1992) |
| 1991 |
|---|
| 25 | | Domenico Cantone,
Jacob T. Schwartz:
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs.
J. Autom. Reasoning 7(2): 231-256 (1991) |
| 1990 |
|---|
| 24 | | Domenico Cantone,
Vincenzo Cutello,
Jacob T. Schwartz:
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets.
CSL 1990: 95-109 |
| 23 | | Jacob T. Schwartz,
Micha Sharir:
Algorithmic Motion Planning in Robotics.
Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) 1990: 391-430 |
| 22 | | Jacob T. Schwartz,
Micha Sharir:
On the Two-Dimensional Davenport Schinzel Problem.
J. Symb. Comput. 10(3/4): 371-393 (1990) |
| 1988 |
|---|
| 21 | | Jacob T. Schwartz,
Micha Sharir:
A Survey of Motion Planning and Related Geometric Algorithms.
Artif. Intell. 37(1-3): 157-169 (1988) |
| 1987 |
|---|
| 20 | | Herbert Edelsbrunner,
János Pach,
Jacob T. Schwartz,
Micha Sharir:
On the Lower Envelope of Bivariate Functions and its Applications
FOCS 1987: 27-37 |
| 19 | | Jacob T. Schwartz,
Micha Sharir:
On the Bivariate Function Minimization Problem And Its Applications to Motion Planning.
ICALP 1987: 357-363 |
| 18 | | Bhubaneswar Mishra,
Jacob T. Schwartz,
Micha Sharir:
On the Existence and Synthesis of Multifinger Positive Grips.
Algorithmica 2: 541-558 (1987) |
| 17 | | Domenico Cantone,
Alfredo Ferro,
Jacob T. Schwartz:
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator.
J. Comput. Syst. Sci. 34(1): 1-18 (1987) |
| 1983 |
|---|
| 16 | | Stefan M. Freudenberger,
Jacob T. Schwartz,
Micha Sharir:
Experience with the SETL Optimizer.
ACM Trans. Program. Lang. Syst. 5(1): 26-45 (1983) |
| 1981 |
|---|
| 15 | | Edmond Schonberg,
Jacob T. Schwartz,
Micha Sharir:
An Automatic Technique for Selection of Data Structures in SETL Programs.
ACM Trans. Program. Lang. Syst. 3(2): 126-143 (1981) |
| 14 | | Jacob T. Schwartz:
Finding the Minimum Distance Between Two Convex Polygons.
Inf. Process. Lett. 13(4/5): 168-170 (1981) |
| 1980 |
|---|
| 13 | | Alfredo Ferro,
Eugenio G. Omodeo,
Jacob T. Schwartz:
Decision Procedures for Some Fragments of Set Theory.
CADE 1980: 88-96 |
| 12 | | Jacob T. Schwartz:
Ultracomputers.
ACM Trans. Program. Lang. Syst. 2(4): 484-521 (1980) |
| 11 | | Jacob T. Schwartz:
Fast Probabilistic Algorithms for Verification of Polynomial Identities.
J. ACM 27(4): 701-717 (1980) |
| 1979 |
|---|
| 10 | | Jacob T. Schwartz:
Probabilistic algorithms for verification of polynomial identities (invited).
EUROSAM 1979: 200-215 |
| 9 | | Edmond Schonberg,
Jacob T. Schwartz,
Micha Sharir:
Automatic Data Structure Selection in SETL.
POPL 1979: 197-210 |
| 8 | | Robert B. K. Dewar,
Arthur Grand,
Ssu-Cheng Liu,
Jacob T. Schwartz,
Edmond Schonberg:
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.
ACM Trans. Program. Lang. Syst. 1(1): 27-49 (1979) |
| 1978 |
|---|
| 7 | | Jacob T. Schwartz:
The Interplay Between Mathematics And Computer Science.
ACM Annual Conference (1) 1978: 1-9 |
| 1977 |
|---|
| 6 | | Robert Paige,
Jacob T. Schwartz:
Reduction in Strength of High Level Operations.
POPL 1977: 58-71 |
| 1976 |
|---|
| 5 | | Jacob T. Schwartz:
Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries.
Comput. Lang. 1(2): 161-194 (1976) |
| 4 | | Jacob T. Schwartz:
Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership.
Comput. Lang. 1(3): 197-218 (1976) |
| 3 | | Jacob T. Schwartz:
What Programmers Should Know.
Comput. Lang. 2(1/2): 21-25 (1976) |
| 1975 |
|---|
| 2 | | Jacob T. Schwartz:
Automatic Data Structure Choice in a Language of Very High Level.
POPL 1975: 36-40 |
| 1 | | Jacob T. Schwartz:
Automatic Data Structure Choice in a Language of Very High Level.
Commun. ACM 18(12): 722-728 (1975) |
