Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

The Semantic Web

- G. Goos, J. Hartmanis, +9 authors Zhaohui Wu
- Computer Science
- Lecture Notes in Computer Science
- 2011

Contrastive reasoning is the reasoning with contrasts which are expressed as contrary conjunctions like the word ”but” in natural language. Contrastive answers are more informative for reasoning with… Expand

Neural Networks: Tricks of the Trade

- J. Hartmanis, J. Leeuwen
- Computer Science
- Lecture Notes in Computer Science
- 1998

Many algorithms are available to learn deep hierarchies of features from unlabeled data, especially images. In many cases, these algorithms involve multi-layered networks of features (eg, neural… Expand

Unifying Theories of Programming

- G. Goos, J. Hartmanis, +6 authors F. Mattern
- Computer Science
- Lecture Notes in Computer Science
- 2010

In previous work, based on an original idea due to Saaltink, we proposed a unifying theory of undefined expressions in logics used for formally specifying software systems. In our current paper, we… Expand

On Isomorphisms and Density of NP and Other Complete Sets

- Leonard Berman, J. Hartmanis
- Mathematics, Computer Science
- SIAM J. Comput.
- 1 June 1977

If all $NP$ complete sets are isomorphic under deterministic polynomial time mappings (p-isomorphic) then $P \ne NP$ and if all PTAPE complete sets are P-isomorphic then $P \ne {\text{PTAPE}}$. We… Expand

Information and communication technology

- Sudiana Mahendra, E. Neuhold, +6 authors IlsunYou Eds
- Computer Science
- International Forum on Strategic Technology
- 2007

Interoperability is a qualitative property of computing infrastructures that denotes the ability of the sending and receiving systems to exchange and properly interpret information objects across… Expand

Software Engineering for Self-Adaptive Systems II

- J. Hartmanis, T. Kanade
- Computer Science
- Lecture Notes in Computer Science
- 2013

The goal of this roadmap paper is to summarize the stateof-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems. Instead of dealing with a… Expand

Hierarchies of memory limited computations

- R. Stearns, J. Hartmanis, P. Lewis
- Computer Science
- SWCT
- 6 October 1965

This paper investigates the computational complexity of binary sequences as measured by the rapidity of their generation by multitape Turing machines. A "translational" method which escapes some of… Expand

The Boolean Hierarchy I: Structural Properties

- J. Cai, T. Gundermann, +4 authors G. Wechsung
- Mathematics, Computer Science
- SIAM J. Comput.
- 1 December 1988

In this paper, we study the complexity of sets formed by boolean operations (union, intersection, and complement) on NP sets. These are the sets accepted by trees of hardware with NP predicates as… Expand