Concepedia

J. Bitner

JB

Statistics

Publications

11

Citations

922

H-Index

10

Active since

1975

Affiliations

The University of Texas at Austin(Current)

Fujitsu (United States)

J. Bitner is an author at The University of Texas at Austin specializing in computer science, engineering, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityFormal MethodsAutomated ReasoningComputer EngineeringFormal VerificationCombinatorial OptimizationVerificationSoftware Analysis

Publications per year

1975–2003

11

Publications

11

Backtrack programming techniques

J. Bitner, Edward M. Reingold · Communications of the ACM · 1975 · 322 citations · Full text

Mathematical Programming, Engineering, Software Engineering +23

Efficient generation of the binary reflected gray code and its applications

J. Bitner, Gideon Ehrlich, Edward M. Reingold · Communications of the ACM · 1976 · 236 citations · Full text

Efficient Generation, Engineering, Program Analysis +15

Heuristics That Dynamically Organize Data Structures

J. Bitner · SIAM Journal on Computing · 1979 · 150 citations

Engineering, Computational Complexity, Access Time +20

Probabilistic verification of Boolean functions

Jawahar Jain, Jacob A. Abraham, J. Bitner et al. · Formal Methods in System Design · 1992 · 53 citations

Engineering, Boolean Function, Boolean Functions +7

Indexed BDDs: algorithmic advances in techniques to represent and verify Boolean functions

J. Jain, J. Bitner, Magdy S. Abadir et al. · IEEE Transactions on Computers · 1997 · 41 citations

Circuit Complexity, Engineering, Boolean Function +20

1–5 of 11