Publications

"Unsolvability considerations in computational complexity. Proceedings of the Second ACM Symposium on the Theory of Computation, (1970).

"Query splitting in relevance feedback systems." In The SMART Retrieval System: Experiments in Automatic Document Processing, edited by G. Salton, Prentice-Hall, Englewood Cliffs, New Jersey (1971), with A. Borodin and L. Kerr.

"The use of lists in the study of undecidable problems in automata theory." Journal of Computer and System Sciences, 5 (1971), with J. Hartmanis.

"The enumerability and invariance of complexity classes." Journal of Computer and System Sciences, 5 (1971).

"Classes of recursive functions and their index sets." Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 17 (1971)

"On Computational Reducibility." Journal of Computer and System Sciences, 12 (1976).

"Subrecursive reducibilities and completeness." Proceedings of the 1976 Conference on Information Sciences and Systems.

"Combined complexity (A new direction in computational complexity)." Proceedings of the 1977 Conference on Information Sciences and Systems, with Y. Breitbart.

"Time-size tradeoffs for recognition of complete sets." Proceedings of the 1978 Conference on Information Sciences and Systems, with Y. Brietbart.

"On unsolvability in subrecursive classes of predicates." Notre Dame Journal of Formal Logic, 20 (1979).

"Combined complexity classes for finite functions." RAIRO Informatique Theorique, 13 (1979), with Y. Breitbart.

"Complex properties of grammars." Journal of the Association for Computing Machinery, 27 (1980), with F. G. Abramson and Y. Breitbart.

"Testing loop-free control structures." Proceedings of the 18th Allerton Conference on Communication, Control, and Computing, (1980), with E. Leiss.

"Diagonal sets and complexity bounds." Proceedings of the 1981 Conference on Information Sciences and Systems.

"A note on context free languages, complexity classes, and diagonalization." Mathematical Systems Theory, 14 (1981).

"Stateless Turing machines and fixed points." International Journal of Computer and Information Sciences, 10 (1981).

"A rule-based inference engine which is optimal and VLSI implementable," Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence, (1989), with N. L. Griffin.

"Correct and provably efficient methods for rectilinear Steiner spanning tree generation," Proceedings of the First Great Lakes Computer Science Conference, and Springer-Verlag Lecture Notes, volume 507 (1991), with N. Van Cleave.

"A linear-time heuristic for rectilinear Steiner trees," Proceedings of the First Great Lakes Symposium on VLSI, (1991), with W. C.-C. Pong and N. Van Cleave.

"Optimum Steiner tree generation." Proceedings of the Second Great Lakes Symposium on VLSI, (1992), with W. C.-C. Pong and N. Van Cleave.

"Local improvement in Steiner trees." Proceedings of the Third Great Lakes Symposium on VLSI, (1993), with W. C.-C. Pong and N. Van Cleave.

"A negative reinforcement method for PGA routing." Proceedings of the 30th Design Automation Conference, (1993), with W. C.-C. Pong.

"Culturally sensitive computer science education at an American Tribal College." Proceedings of the Minority University - Space Interdisciplinary Network Fifth Annual Users Conference, (1995), with G. Langhorst, N. Van Cleave, and T. Wetherbee.

"The feasible solution space for Steiner trees." Proceedings of the Eighth Society for Industrial and Applied Mathematics Conference on Discrete Mathematics, (1996), with P. M. Joyce and N. Van Cleave.

Proceedings of ADMI ’96 - Building for the Future (The Symposium on Computing at Minority Institutions), The Association of Computer and Information Science and Engineering Departments at Minority Institutions, Washington, DC, (1996), edited with R. Vásquez and D. Rodríguez.

Essentials of Theoretical Computer Science, University of Kentucky, Lexington, KY, (1996), http://www.cs.engr.uky.edu/~lewis/cs-theory/text/contents.html

Proceedings of INFRASTRUCTURE 97 (A Workshop for the Principal Investigators of NSF/CISE Infrastructure Awards, University of Kentucky, Lexington, KY, (1997) edited with D. Mier.

Proceedings of ADMI ’97 – Increasing Diversity in Research and Education (The Symposium on Computing at Minority Institutions), The Association of Computer and Information Science and Engineering Departments at Minority Institutions, Washington, DC, (1997), edited with R. Vásquez.

Proceedings of ADMI 98 – Assessment and Vision (The Symposium on Computing at Minority Institutions), The Association of Computer and Information Science and Engineering Departments at Minority Institutions, Houston, TX, (1998), edited with R. Vásquez.


Unpublished Manuscripts

"Online Turing machines and binary decision diagrams"

"On the names for complexity Classes"


Publications In Progress

Solving NP-Complete Problems, University of Kentucky, Lexington, KY
http://www.cs.engr.uky.edu/~lewis/cs-heuristic/text/contents.html

"Generating ordered bounded decision diagrams."


Panel Participation

"Can multimedia and advanced technology rescue the American school system?" Orlando Multimedia ‘94, (1994), Society for Applied Learning Technology.

"Federal funding possbilities for research activities at institutions with large minority enrollments." 1994 ACM Computer Science Conference, (1994).

"Increasing the numbers of computer scientists and engineers from underrepresented minority populations." CISE Institutional Infrastructure Workshop (1994).

"Computer and Information Science and Engineering Directorate Workshop on Education and Human Resource Activities." Third National Conference on Diversity in the Scientific and Technological Workforce, National Science Foundation (1994)

"Graduate Opportunities in Computer Science/Engineering." ADMI 95 Workshop

"Academic Preparation for Graduate Study in Computer Science." Fourth Annual Symposium on Graduate Education in Computer Science (Increasing the National Production of Black PhD’s in Computer Science), Florida Agricultural and Mechanical University, (1995)