Barry M. Trager
Affiliations:- IBM Thomas J. Watson Research Center, Yorktown Heights, NY, USA
According to our database1,
Barry M. Trager
authored at least 45 papers
between 1976 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
1
2
2
1
1
1
2
1
1
1
1
1
1
1
2
1
3
2
2
2
1
2
1
1
1
1
2
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
On csauthors.net:
Bibliography
2025
Breaking through the classical Shannon entropy limit: A new frontier through logical semantics.
CoRR, January, 2025
2023
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code.
CoRR, 2023
2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2021
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021
2015
Computation of topological invariants for real projective surfaces with isolated singularities.
J. Symb. Comput., 2015
2014
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.
Formal Methods Syst. Des., 2014
Analysis and Real-Time Prediction of Local Incident Impact on Transportation Networks.
Proceedings of the 2014 IEEE International Conference on Data Mining Workshops, 2014
A Riesz energy based approach to generating dispersed dot patterns for halftoning applications.
Proceedings of the Color Imaging XIX: Displaying, 2014
Proceedings of the Color Imaging XIX: Displaying, 2014
2013
Proceedings of the Image Processing: Algorithms and Systems XI, 2013
Proceedings of the Color Imaging XVIII: Displaying, 2013
2012
A GPU implementation of color digital halftoning using the Direct Binary Search algorithm.
Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012
Proceedings of the 19th IEEE International Conference on Image Processing, 2012
2011
Proceedings of the Information Theory and Applications Workshop, 2011
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011
2009
2005
2002
Derivations and Radicals of Polynomial Ideals over Fields of Arbitrary Characteristic.
J. Symb. Comput., 2002
2001
Computation of the radical of polynomial ideals over fields of arbitrary characteristic.
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001
1998
J. Symb. Comput., 1998
1997
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997
A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots.
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 1997
1995
Appl. Algebra Eng. Commun. Comput., 1995
Proceedings of the 1995 International Symposium on Symbolic and Algebraic Computation, 1995
1994
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994
1991
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991
1990
Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators.
J. Symb. Comput., 1990
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990
1988
Proceedings of the Symbolic and Algebraic Computation, 1988
Computing with Polynomials Given By Black Boxes for Their Evaluation: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators
Proceedings of the 29th Annual Symposium on Foundations of Computer Science, 1988
1985
Proceedings of the EUROCAL '85, 1985
Proceedings of the Accurate Scientific Computations, 1985
1984
1981
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981
1979
SIAM J. Comput., 1979
Proceedings of the Symbolic and Algebraic Computation, 1979
1976
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976
Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976