The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jacob T. Schwartz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.126secs, Finished in 0.127secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002