Jacob T. Schwartz
Affiliations:- New York University, USA
According to our database1,
Jacob T. Schwartz
authored at least 40 papers
between 1975 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.nyu.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2011
Springer, ISBN: 978-0-85729-807-2, 2011
2006
COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching.
Proceedings of the Computational Science, 2006
2004
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case.
J. Autom. Reason., 2004
2003
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003
Proceedings of the Verification: Theory and Practice, 2003
2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
1995
1992
Algorithmica, 1992
1991
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs.
J. Autom. Reason., 1991
1990
Proceedings of the Computer Science Logic, 4th Workshop, 1990
Algorithmic Motion Planning in Robotics.
Proceedings of the Handbook of Theoretical Computer Science, 1990
1988
Proceedings of the 1988 IEEE International Conference on Robotics and Automation, 1988
Proceedings of the 1988 IEEE International Conference on Robotics and Automation, 1988
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.
J. Comput. Syst. Sci., 1987
On the Bivariate Function Minimization Problem And Its Applications to Motion Planning.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987
Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987
1986
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9575-1, 1986
1983
1981
ACM Trans. Program. Lang. Syst., 1981
1980
J. ACM, 1980
Proceedings of the 5th Conference on Automated Deduction, 1980
1979
ACM Trans. Program. Lang. Syst., 1979
Proceedings of the Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, 1979
Proceedings of the Symbolic and Algebraic Computation, 1979
1978
Proceedings of the Proceedings 1978 ACM Annual Conference, 1978
1977
Reduction in Strength of High Level Operations.
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.
Comput. Lang., 1976
Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries.
Comput. Lang., 1976
1975
Proceedings of the 1975 ACM Annual Conference, 1975