J. Hartmanis

Non-interference through Determinism (2008)

Edited G. Goos, J. Hartmanis, J. Van Leeuwen, Advisory Board, W. Brauer, D. Gries, ...

Abstract. The standard approach to the specification of a secure sys-tem is to present a (usually state-based) abstract security model sep-arately from the specification of the system's...

Hong Kong Barcelona Budapest Lecture Notes in Computer Science 753 (2008)

Claus Unger (eds, Edited G Goos, J Hartmanis, Advisory Board, W. Brauer, D. Gries, ...

to 4. S. Bodker: Through the Interface- a Human Activity Approach to User Interface

Passive and Active Network Measurement (2007)

Goos, G., Hartmanis, J., Van Leeuwen, J.

Independence Results in Computer Science, (2002)

Hartmanis,J., Hopcroft,J. E.

During the last few years research in theoretical computer science has identified several problems whose solution seems to be important for the further development of the field and on which a...

Lecture Notes in Computer Science, (1998)

Goos,G., Hartmanis,J.

Logics of Programs, as a field of study, touches on a wide variety of activities in computer science and mathematics. It draws on mathematical foundations of formal logic, semantics, and complexity...

Lecture Notes in Computer Science - Artificial Neural Networks - ICANN '97 (1997)

Gerstner, Wulfram, Germond, Alain, Hasler, Martin, Nicoud, Jean-Daniel, Goos, G., Hartmanis, J., ...

An Index and other useful information / edited by G. Goos and J. Hartmanis (1981)

Goos, G, Hartmanis, J

"Volumenes 1-100"

Algebraic structure theory of sequential machines / J. Hartmanis, R. E. Stearns (1966)

Hartmanis, J, Stearns, R. E

Incluye bibliografía e índice