J
Juris Hartmanis
Researcher at Cornell University
Publications - 171
Citations - 10901
Juris Hartmanis is an academic researcher from Cornell University. The author has contributed to research in topics: Structural complexity theory & Computational complexity theory. The author has an hindex of 46, co-authored 171 publications receiving 10705 citations. Previous affiliations of Juris Hartmanis include National Research Council & General Electric.
Papers
More filters
Journal ArticleDOI
Automata-based computational complexity
TL;DR: Automata theory goes further into the study of constructability by investigating a variety of abstract computing devices which perform these constructions, relating these devices to the algorithms they execute, and characterizing the simplicity of their operation.
Book
Business Object Design and Implementation II: Oopsla'96, Oopsla'97 and Oopsla'98 Workshop Proceedings
TL;DR: The book emphasises the evolution of business objects from many perspectives, including modelling, implementation, standards, and applications, in the context of OOPSLA conferences.
Proceedings Article
On Complete Problems for NP$\cap$CoNP
Juris Hartmanis,Neil Immerman +1 more
TL;DR: In this paper, it was shown that NP∩CoNP has ≤ m P -complete languages if and only if it has ≤ T P-complete languages in the intersection.
Journal ArticleDOI
Computational Complexity of Formal Translations
TL;DR: A mathematical model is defined for the study of quantitative problems about translations between universal languages and the efficiency of the translated algorithms, the optimality of translations and the complexity of the translation process between different languages.