default search action
Jacob T. Schwartz
Person information
- affiliation: New York University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [b2]Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo:
Computational Logic and Set Theory - Applying Formalized Logic to Analysis. Springer 2011, ISBN 978-0-85729-807-2, pp. I-XVII, 1-416
2000 – 2009
- 2006
- [c18]Eugenio G. Omodeo
, Domenico Cantone
A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems 2006: 117-139 - [c17]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 - 2004
- [j21]Calogero G. Zarba, Domenico Cantone
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. J. Autom. Reason. 33(3-4): 251-269 (2004) - 2003
- [c16]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 - [c15]Domenico Cantone
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. FTP 2003: 49-60 - 2002
- [c14]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
1990 – 1999
- 1995
- [j20]Alberto Policriti
T-Theorem Proving I. J. Symb. Comput. 20(3): 315-342 (1995) - 1992
- [j19]Jacob T. Schwartz, Micha Sharir:
Finding Effective "Force Targets" for Two-Dimensional Multifinger Frictional Grips. Algorithmica 8(1): 1-20 (1992) - 1991
- [j18]Domenico Cantone
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. J. Autom. Reason. 7(2): 231-256 (1991) - 1990
- [j17]Jacob T. Schwartz, Micha Sharir:
On the Two-Dimensional Davenport Schinzel Problem. J. Symb. Comput. 10(3/4): 371-393 (1990) - [j16]Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson:
Affine invariant model-based object recognition. IEEE Trans. Robotics Autom. 6(5): 578-589 (1990) - [c13]Domenico Cantone, Vincenzo Cutello
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. CSL 1990: 95-109 - [p1]Jacob T. Schwartz, Micha Sharir:
Algorithmic Motion Planning in Robotics. Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) 1990: 391-430
1980 – 1989
- 1988
- [j15]Jacob T. Schwartz, Micha Sharir:
A Survey of Motion Planning and Related Geometric Algorithms. Artif. Intell. 37(1-3): 157-169 (1988) - [c12]Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson:
Object recognition by affine invariant matching. CVPR 1988: 335-344 - [c11]James Demmel, Gerardo Lafferriere, Jacob T. Schwartz, Micha Sharir:
Theoretical and experimental studies using a multifinger planar manipulator. ICRA 1988: 390-395 - [c10]Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson:
On recognition of 3-D objects from 2-D images. ICRA 1988: 1407-1413 - 1987
- [j14]Bhubaneswar Mishra, Jacob T. Schwartz, Micha Sharir:
On the Existence and Synthesis of Multifinger Positive Grips. Algorithmica 2: 541-558 (1987) - [j13]Domenico Cantone
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) - [c9]Herbert Edelsbrunner, János Pach, Jacob T. Schwartz, Micha Sharir:
On the Lower Envelope of Bivariate Functions and its Applications. FOCS 1987: 27-37 - [c8]Jacob T. Schwartz, Micha Sharir:
On the Bivariate Function Minimization Problem And Its Applications to Motion Planning. ICALP 1987: 357-363 - 1986
- [b1]Jacob T. Schwartz, Robert B. K. Dewar, Ed Dubinsky, Edith Schonberg:
Programming with Sets - An Introduction to SETL. Texts and Monographs in Computer Science, Springer 1986, ISBN 978-0-387-96399-0, pp. I-XV, 1-493 - [j12]C. Marc Bastuscheck, Edith Schonberg, Jacob T. Schwartz, Micha Sharir:
Object recognition by three-dimensional curve matching. Int. J. Intell. Syst. 1(2): 105-132 (1986) - 1983
- [j11]Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir:
Experience with the SETL Optimizer. ACM Trans. Program. Lang. Syst. 5(1): 26-45 (1983) - 1981
- [j10]Jacob T. Schwartz:
Finding the Minimum Distance Between Two Convex Polygons. Inf. Process. Lett. 13(4/5): 168-170 (1981) - [j9]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) - 1980
- [j8]Jacob T. Schwartz:
Fast Probabilistic Algorithms for Verification of Polynomial Identities. J. ACM 27(4): 701-717 (1980) - [j7]Jacob T. Schwartz:
Ultracomputers. ACM Trans. Program. Lang. Syst. 2(4): 484-521 (1980) - [c7]Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz:
Decision Procedures for Some Fragments of Set Theory. CADE 1980: 88-96
1970 – 1979
- 1979
- [j6]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) - [c6]Jacob T. Schwartz:
Probabilistic algorithms for verification of polynomial identities (invited). EUROSAM 1979: 200-215 - [c5]Edmond Schonberg, Jacob T. Schwartz, Micha Sharir:
Automatic Data Structure Selection in SETL. POPL 1979: 197-210 - 1978
- [c4]Jacob T. Schwartz:
The Interplay Between Mathematics And Computer Science. ACM Annual Conference (1) 1978: 1-9 - 1977
- [c3]Robert Paige, Jacob T. Schwartz:
Reduction in Strength of High Level Operations. POPL 1977: 58-71 - 1976
- [j5]Jacob T. Schwartz:
Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries. Comput. Lang. 1(2): 161-194 (1976) - [j4]Jacob T. Schwartz:
Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership. Comput. Lang. 1(3): 197-218 (1976) - [j3]Jacob T. Schwartz:
What Programmers Should Know. Comput. Lang. 2(1/2): 21-25 (1976) - 1975
- [j2]Jacob T. Schwartz:
Automatic Data Structure Choice in a Language of Very High Level. Commun. ACM 18(12): 722-728 (1975) - [j1]Jacob T. Schwartz:
What programmers should know. SIGSAM Bull. 9(3): 26-27 (1975) - [c2]Jacob T. Schwartz:
The problems of programming and the design of programming languages. ACM Annual Conference 1975: 216-217 - [c1]Jacob T. Schwartz:
Automatic Data Structure Choice in a Language of Very High Level. POPL 1975: 36-40
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: