J. Hartmanis

发表

On the Computational Complexity of Algorithms

J. Hartmanis, R. Stearns, 1965 .

Hierarchies of memory limited computations

Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis, 1965, SWCT.

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

J. Hartmanis, 1966 .

Algebraic Structure Theory Of Sequential Machines

J. Hartmanis, R. Stearns, 1966 .

Neural Networks: Tricks of the Trade

J. van Leeuwen, J. Hartmanis, T. Kanade, 2002, Lecture Notes in Computer Science.

Engineering Secure Software and Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

The Random Oracle Hypothesis Is False

Oded Goldreich, Desh Ranjan, B. Chor, 1994, J. Comput. Syst. Sci..

On Hausdorff and Topological Dimensions of the Kolmogorov Complexity of the Real Line

Juris Hartmanis, Jin-yi Cai, J. Hartmanis, 1994, J. Comput. Syst. Sci..

Proceedings 13 Volume Editors

C. Pandu Rangan, Alfred Kobsa, Gerhard Weikum, 2013 .

Sparse sets in NP-P: Exptime versus nexptime

Neil Immerman, Juris Hartmanis, Vivian Sewelson, 1983, STOC.

Generalized Kolmogorov complexity and the structure of feasible computations

Juris Hartmanis, J. Hartmanis, 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

Uncertainty in Knowledge Bases: Third International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July, 1990 Proceedings

Lofti A. Zadeh, J. Hartmanis, R. Yager, 1991 .

The Applications of Some Basic Inequalities for Entropy

Juris Hartmanis, J. Hartmanis, 1959, Inf. Control..

Advances in Cryptology: Crypto, 90 : Proceedings

J. Hartmanis, A. Menezes, S. Vanstone, 1991 .

Memory bounds for recognition of context-free and context-sensitive languages

Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis, 1965, SWCT.

VDM '90 VDM and Z — Formal Methods in Software Development

Dines Bjørner, G. Goos, J. Hartmanis, 1990, Lecture Notes in Computer Science.

On isomorphisms and density of NP and other complete sets

Juris Hartmanis, Leonard Berman, J. Hartmanis, 1976, STOC '76.

Sets of Numbers Defined by Finite Automata

J. Hartmanis, 1967 .

Computers and Intractability: A Guide to the Theory of NP-Completeness (Michael R. Garey and David S. Johnson)

J. Hartmanis, 1982 .

Co-ordination in Artificial Agent Societies

J. Hartmanis, J. V. Leeuwen, G. Goos, 1999 .

Complexity Theory Retrospective

J. Hartmanis, 1990, Springer New York.

Independence results in computer science

J. Hopcroft, J. Hartmanis, Juris Hartmanis, 1976, SIGA.

A Generative Theory of Shape

J. Hartmanis, J. V. Leeuwen, G. Goos, 2001 .

On the Structure of Solutions of Computable Real Functions

Juris Hartmanis, Lane A. Hemachandra, J. Hartmanis, 1988 .

Pspace-hard Functions Checkable Debate Systems and Approximation Algorithms for Pspace

Phokion G. Kolaitis, Stephen R. Mahaney, J. Feigenbaum, 2007 .

Unconventional Models of Computation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2002 .

Parallel and Distributed Processing: 10th International Ipps/Spdp'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium on Parallel and 9th Symposium on Parallel and Distributed Processing, Orlando, Flori

Gerhard Goos, Juris Hartmanis, J. Van Leeuwen, 1998 .

The Origins of Computational Complexity Some influences of

M. Blum, A. Cobham, J. Hartmanis, 2014 .

Some Observations About the Nature of Computer Science

Juris Hartmanis, J. Hartmanis, 1993, FSTTCS.

A Mathematical Theory of Architecture

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001 .

On Log-Tape Isomorphisms of Complete Sets

Juris Hartmanis, J. Hartmanis, 1978, Theor. Comput. Sci..

Mobile Agents for Telecommunication Applications

J. van Leeuwen, J. Hartmanis, J. Hartmanis, 2002, Lecture Notes in Computer Science.

Foundations of Information and Knowledge Systems

Maurice Bruynooghe, Bert Van Nuffelen, Ofer Arieli, 2004, Lecture Notes in Computer Science.

Structural Complexity

Juris Hartmanis, J. Hartmanis, 1993, Current Trends in Theoretical Computer Science.

A Conversation with Juris Hartmanis

Juris Hartmanis, J. Hartmanis, 2010 .

Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II

Takeo Kanade, Juris Hartmanis, T. Kanade, 2019, INTERACT.

Arithmetic of Finite Fields

Juris Hartmanis, J. Hartmanis, 2018, Lecture Notes in Computer Science.

Computer Programs for Spelling Correction: An Experiment in Program Design

Juris Hartmanis, W. Brauer, P. Brinch Hansen, 1980 .

Logic, Automata, and Algorithms (Mark A. Aisermann, Leonid A. Gusev, Lev I. Rozonoer, Irena M. Smirnova and Aleksey A. Tal*#8217;)

Juris Hartmanis, J. Hartmanis, 1972 .

Solving Irregularly Structured Problems in Parallel

J. van Leeuwen, G. Goos, J. Hartmanis, 1998, Lecture Notes in Computer Science.

Digital Rights Management

J. van Leeuwen, J. Hartmanis, J. Hartmanis, 2003, Lecture Notes in Computer Science.

The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983

Juris Hartmanis, Niklaus Wirth, G. Goos, 1983, Lecture Notes in Computer Science.

Coalgebraic Methods in Computer Science

J. Hartmanis, J. V. Leeuwen, G. Goos, 2018, Lecture Notes in Computer Science.

2 . There Exist Np Machines N 1 and N 2 Such That C = L(n (c) F Simulates N 1 on X by Substituting Query R of N 1 to L(n L 1 2 ) with Query

J. Feigenbaum, M. Paterson, J. Hartmanis, 1993 .

Follow the Grass: A Smart Material Interactive Pervasive Display

J. Hartmanis, G. Goos, Jan-Hendrik Van Leeuwen, 2018 .

Passive and Active Network Measurement

Gerhard Goos, Juris Hartmanis, J. Van Leeuwen, 2007 .

Distributed Artificial Intelligence

Gerhard Goos, Juris Hartmanis, J. Van Leeuwen, 1999 .

Cryptology and Network Security

Dongdai Lin, Xiaolei Dong, Yi Mu, 2018, Lecture Notes in Computer Science.

The Semantic Web

Jeff Z. Pan, David Bawden, J. Hartmanis, 2011, Lecture Notes in Computer Science.

Integer Programming and Combinatorial Optimization

Gerhard J. Woeginger, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Electronic Participation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Structural complexity theory: recent surprises (invited)

Desh Ranjan, Juris Hartmanis, Richard Chang, 1990 .

Containment, Separation, Complete Sets, and Immunity of Complexity Classes

Juris Hartmanis, Ming Li, Yaacov Yesha, 1986, ICALP.

fAARS: A Platform for Location-Aware Trans-reality Games

J. Hartmanis, J. V. Leeuwen, G. Goos, 2018 .

Proceedings of the International Workshop on Experiences with Distributed Systems

G. Goos, J. Hartmanis, J. Hartmanis, 1988 .

Gödel, von Neumann and the P =? NP Problem

Juris Hartmanis, J. Hartmanis, 1989, Current Trends in Theoretical Computer Science.

Artificial Neural Networks and Machine Learning – ICANN 2012

Péter Érdi, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Time Simulator in Virtual Reality for Children with Attention Deficit Hyperactivity Disorder

J. Hartmanis, J. V. Leeuwen, G. Goos, 2018 .

OBSERVATIONS ABOUT THE DEVELOPNENT OF THEORETICAL COl-lPUTER SCIENCE

J. Hartmanis, J. Hartmanis, 1979 .

Proceedings of the eighteenth annual ACM symposium on Theory of computing

Juris Hartmanis, J. Hartmanis, 1986, STOC 1986.

Correct Reasoning

Takeo Kanade, Juris Hartmanis, T. Kanade, 2012, Lecture Notes in Computer Science.

Computational Science and Its Applications – ICCSA 2004

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Advances in Swarm Intelligence

Ying Tan, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

A note on tape bounds for sla language processing

Juris Hartmanis, Leonard Berman, J. Hartmanis, 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

Advances in Cryptology — CRYPTO’ 99

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Approximation and Online Algorithms

Roberto Solis-Oba, Gerhard Goos, Juris Hartmanis, 2011, Lecture Notes in Computer Science.

Cooperative Design, Visualization, and Engineering

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computer Vision – ECCV 2016

Nicu Sebe, Jiri Matas, Gerhard Goos, 2016, Lecture Notes in Computer Science.

Video Analytics. Face and Facial Expression Recognition

Shiguang Shan, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I

Alejandro F. Frangi, Gabor Fichtinger, Gerhard Goos, 2018, MICCAI.

Social Computing and Social Media: 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Parallel Processing and Applied Mathematics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2011, Lecture Notes in Computer Science.

Robust Machines Accept Easy Sets

Juris Hartmanis, Lane A. Hemaspaandra, J. Hartmanis, 1990, Theor. Comput. Sci..

Weakly Growing Context-sensitive Grammars Chicago Journal of Theoretical Computer Science

Phokion G. Kolaitis, Stephen R. Mahaney, G. Neiger, 1996 .

Computational complexity of recursive sequences

Richard Edwin Stearns, Juris Hartmanis, J. Hartmanis, 1964, SWCT.

Regularity Preserving Modifications of Regular Expressions

Richard Edwin Stearns, Juris Hartmanis, J. Hartmanis, 1963, Inf. Control..

The Semantic Web

Huajun Chen, Zhaohui Wu, Ian Horrocks, 2011, Lecture Notes in Computer Science.

The Programming Language Ada

Juris Hartmanis, Niklaus Wirth, G. Goos, 1983, Lecture Notes in Computer Science.

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Separation of complexity classes

Juris Hartmanis, J. Hartmanis, 2003, JACM.

Software Engineering for Self-Adaptive Systems II

Takeo Kanade, Juris Hartmanis, T. Kanade, 2013, Lecture Notes in Computer Science.

Applications of Evolutionary Computation

Gerd Ascheid, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Web Information Systems Engineering – WISE 2014

Yanchun Zhang, Gerhard Goos, Juris Hartmanis, 2014, Lecture Notes in Computer Science.

Distributed Applications and Interoperable Systems

Laura Ricci, José Pereira, J. Hartmanis, 2019, Lecture Notes in Computer Science.

Lattice Theory of Generalized Partitions

Juris Hartmanis, J. Hartmanis, 1959, Canadian Journal of Mathematics.

Multiple Classifier Systems

Josef Kittler, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Logical Foundations of Computer Science

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Observations about the development of theoretical computer science

Juris Hartmanis, J. Hartmanis, 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

Group Theoretic Characterization of Linear Permutation Automata

Juris Hartmanis, H. Walter, J. Hartmanis, 1973, J. Comput. Syst. Sci..

Homomorphic Images of Linear Sequential Machines

Wayne A. Davis, Juris Hartmanis, W. A. Davis, 1967, J. Comput. Syst. Sci..

Ada Software Tools Interfaces

G. Goos, J. Hartmanis, J. Hartmanis, 1984 .

Information and communication technology

Erich J. Neuhold, A Min Tjoa, Gerhard Goos, 2007, 2007 International Forum on Strategic Technology.

On Gödel Speed-Up and Succinctness of Language Representations

Juris Hartmanis, J. Hartmanis, 1983, Theor. Comput. Sci..

Theory and Practice of Natural Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Social Information Access

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Turing Machine-Inspired Computer Science Results

Juris Hartmanis, J. Hartmanis, 2012, CiE.

The World Wide Web and Databases

Gottfried Vossen, Gerhard Goos, Juris Hartmanis, 2001, Lecture Notes in Computer Science.

Computational Science and Its Applications – ICCSA 2013

David Taniar, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Computers Helping People with Special Needs

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Information Technology in Bio- and Medical Informatics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Transactions on Computational Collective Intelligence XXXIII

Ngoc Thanh Nguyen, Fatos Xhafa, Gerhard Goos, 2019, Lecture Notes in Computer Science.

Human-Computer Interaction - INTERACT 2017

Marco Winckler, Anirudha Joshi, Gerhard Goos, 2017, Lecture Notes in Computer Science.

Web Information Systems Engineering – WISE 2018

Hye-Young Paik, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Digital Cultural Heritage

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, Lecture Notes in Computer Science.

Energy Efficient Data Centers

Sonja Klingert, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

One-Way Functions, Robustness, and the Non-Isomorphism of NP-Complete Sets

Juris Hartmanis, Lane A. Hemaspaandra, J. Hartmanis, 1987, Proceeding Structure in Complexity Theory.

On Simple Goedel Numberings and Translations

Juris Hartmanis, Theodore P. Baker, J. Hartmanis, 1974, ICALP.

Symbiotic Interaction

Jaap Ham, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

Meta-Level Architectures and Reflection

J. van Leeuwen, J. Hartmanis, J. Hartmanis, 2001, Lecture Notes in Computer Science.

On the Move to Meaningful Internet Systems: OTM 2012

Takeo Kanade, Juris Hartmanis, T. Kanade, 2012, Lecture Notes in Computer Science.

Algorithm Theory - SWAT 2000

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Graph Transformation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Computing and Combinatorics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Constraints in Computational Logics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001, Lecture Notes in Computer Science.

On the Structure of Feasible Computation

Juris Hartmanis, Janos Simon, Janos Simon, 1974, GI Jahrestagung.

Turing Award lecture on computational complexity and the nature of computer science

Juris Hartmanis, J. Hartmanis, 1994, CACM.

Computer Vision - ECCV 2000

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

Neural Information Processing

Chuandong Li, Tingwen Huang, Gerhard Goos, 2012, Lecture Notes in Computer Science.

Future Generation Information Technology

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Multiple Classifier Systems

J. van Leeuwen, Jan van Leeuwen, Fabio Roli, 2001, Lecture Notes in Computer Science.

Lectures on Runtime Verification

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, SAS.

Search-Based Software Engineering

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Financial Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Multiset Processing

J. van Leeuwen, G. Goos, J. Hartmanis, 2001, Lecture Notes in Computer Science.

On the Recognition of Primes by Automata

Juris Hartmanis, H. Shank, J. Hartmanis, 1968, JACM.

Some Dangers in State Reduction of Sequential Machines

Richard Edwin Stearns, Juris Hartmanis, J. Hartmanis, 1962, Inf. Control..

Loop-Free Structure of Sequential Machines

Juris Hartmanis, J. Hartmanis, 1962, Inf. Control..

Further Results on the Structure of Sequential Machines

Juris Hartmanis, J. Hartmanis, 1963, JACM.

Ambient Intelligence

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Computer Science Today: Recent Trends and Developments

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1995 .

Big Data Analytics and Knowledge Discovery

Takeo Kanade, Juris Hartmanis, T. Kanade, 2018, Lecture Notes in Computer Science.

Persuasive Technology

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

On the State Assignment Problem for Sequential Machines. I

Juris Hartmanis, J. Hartmanis, 1961, IRE Trans. Electron. Comput..

Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Trends and Topics in Computer Vision

Kiriakos N. Kutulakos, Gerhard Goos, Juris Hartmanis, 2010, Lecture Notes in Computer Science.

Evolutionary and Biologically Inspired Music, Sound, Art and Design

Takeo Kanade, Juris Hartmanis, T. Kanade, 2013, Lecture Notes in Computer Science.

Databases Theory and Applications

Zi Huang, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

HCI in Business, Government, and Organizations: 5th International Conference, HCIBGO 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Takeo Kanade, Juris Hartmanis, T. Kanade, 2018, Lecture Notes in Computer Science.

Relational and Algebraic Methods in Computer Science

Takeo Kanade, Juris Hartmanis, T. Kanade, 2012, Lecture Notes in Computer Science.

Euro-Par 2014: Parallel Processing Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Mechanical Design and Manufacturing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001 .

Approximation and Online Algorithms

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

On computational complexity and the nature of computer science

Juris Hartmanis, J. Hartmanis, 1995, CSUR.

Applied Cryptography and Network Security

J. van Leeuwen, G. Goos, J. Hartmanis, 2003, Lecture Notes in Computer Science.

Two embedding theorems for finite lattices

J. Hartmanis, 1956 .

On the Lattice of Topologies

J. Hartmanis, 1958, Canadian Journal of Mathematics.

Symbolic Analysis of a Decomposition of Information Processing Machines

Juris Hartmanis, J. Hartmanis, 1960, Inf. Control..

Distributed Computing by Mobile Entities

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, Lecture Notes in Computer Science.

Complexity Classes without Machines: On Complete Languages for UP

Juris Hartmanis, Lane A. Hemaspaandra, J. Hartmanis, 1986, Theor. Comput. Sci..

Computer Vision - ECCV 2014 Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Human Aspects of Information Security, Privacy and Trust: 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Gerhard Goos, Juris Hartmanis, Theo Tryfonas, 2017, HCI.

Computer Vision – ECCV 2016

Nicu Sebe, Jiri Matas, Gerhard Goos, 2016, Lecture Notes in Computer Science.

Proceedings of the 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems on Uncertainty and intelligent systems

G. Goos, J. Hartmanis, J. Hartmanis, 1988 .

Critical Information Infrastructures Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computer Vision – ECCV 2016

Nicu Sebe, Jiri Matas, Gerhard Goos, 2016, Lecture Notes in Computer Science.

NETWORKING 2012

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Graphical Models for Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

Computer Vision – ACCV 2012

James M. Rehg, Yasuyuki Matsushita, Gerhard Goos, 2012, Lecture Notes in Computer Science.

Central European Functional Programming School

Takeo Kanade, Juris Hartmanis, T. Kanade, 2012, Lecture Notes in Computer Science.

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Jinjun Chen, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Tools and Algorithms for the Construction and Analysis of Systems

Anna Philippou, Stefan Kowalewski, J. Hartmanis, 2018, Lecture Notes in Computer Science.

Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, WG.

Proceedings 13 Volume Editors

John C. Mitchell, Doug J. Tygar, T. Kanade, 2013 .

New Trends in Image Analysis and Processing – ICIAP 2013

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Progress in Cryptology – AFRICACRYPT 2016

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Parallel Computing Technologies

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Public-Key Cryptography State

Thomas Beth, G. Goos, J. Hartmanis, 1992 .

Refinement of Hierarchies of Time Bounded Computations

Juris Hartmanis, John E. Hopcroft, J. Hopcroft, 1968 .

The Boolean Hierarchy I: Structural Properties

Juris Hartmanis, Lane A. Hemaspaandra, Jin-Yi Cai, 1988, SIAM J. Comput..

Space Bounded Computations: Review and New Separation Results

Desh Ranjan, Juris Hartmanis, Richard Chang, 1991, Theor. Comput. Sci..

Advances in Visual Computing

Baoxin Li, Min Chen, Gerhard Goos, 2013, Lecture Notes in Computer Science.

Some Observations about Relativization of Space Bounded Computations

Juris Hartmanis, Richard Chang, Jim Kadin, 1988, Current Trends in Theoretical Computer Science.

An Overview of the Theory of Computational Complexity

Juris Hartmanis, John E. Hopcroft, J. Hopcroft, 1971, JACM.

Job Scheduling Strategies for Parallel Processing

Uwe Schwiegelshohn, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Algorithms and Complexity

Dmitry A. Zaitsev, J. Hartmanis, G. Goos, 2013, Lecture Notes in Computer Science.

Learning and Collaboration Technologies. Technology in Education

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

Computer Security - ESORICS 2014

Jaideep Vaidya, Gerhard Goos, Juris Hartmanis, 2014, Lecture Notes in Computer Science.

Computational Science and Its Applications – ICCSA 2013

David Taniar, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Human-Computer Interaction – INTERACT 2017

Marco Winckler, Anirudha Joshi, Regina Bernhaupt, 2017, Lecture Notes in Computer Science.

Software Engineering for Self-Adaptive Systems II

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

The Boolean Hierarchy II: Applications

Juris Hartmanis, Jin-Yi Cai, Lane A. Hemaspaandra, 1989, SIAM J. Comput..

The Cornell commission: on Morris and the worm

Juris Hartmanis, David Gries, M. Stuart Lynn, 1989, Commun. ACM.

On the State Assignment Problem for Sequential Machines II

Richard Edwin Stearns, Juris Hartmanis, J. Hartmanis, 1961, IRE Trans. Electron. Comput..

Transactions on Computational Science XXVIII

Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, 2016, Lecture Notes in Computer Science.

The Semantic Web

Jeff Z. Pan, J. Hartmanis, Zhaohui Wu, 2016, Lecture Notes in Computer Science.

Advances in Pattern Recognition

Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, Josef Kittler, 2013 .

Information Security, 16th International Conference, ISC 2013, Dallas, Texas, USA, November 13-15, 2013, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, ISC.

Generative and Transformational Techniques in Software Engineering IV

Takeo Kanade, Juris Hartmanis, T. Kanade, 2013, Lecture Notes in Computer Science.

ZB 2000: Formal Specification and Development in Z and B

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2000 .

Compiler Construction: An Advanced Course

William M. Waite, Gerhard Goos, Peter C. Poole, 1974 .

On the Intellectual Terrain Around NP

Juris Hartmanis, Suresh Chari, J. Hartmanis, 1994, CIAC.

Open Problems in Network Security: IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 9, 2011, Revised Selected Papers

Takeo Kanade, Juris Hartmanis, T. Kanade, 2012, Lecture Notes in Computer Science.

Interactive Theorem Proving

Jesper Bengtson, J. Hartmanis, G. Goos, 2021, Lecture Notes in Computer Science.

Computational complexity of random access stored program machines

Juris Hartmanis, J. Hartmanis, 1970, Mathematical systems theory.

Temporal Databases: Research and Practice

Christian S. Jensen, Curtis E. Dyreson, J. Hartmanis, 1998, Lecture Notes in Computer Science.

On the Weight of Computations

Juris Hartmanis, J. Hartmanis, 1995, Bull. EATCS.

Electronic Participation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Some Observations of NP Complete Sets

Juris Hartmanis, J. Hartmanis, 1987, FCT.

On Complete Problems for NP$\cap$CoNP

Neil Immerman, Juris Hartmanis, J. Hartmanis, 1985, ICALP.

STACS 2003

J. Hartmanis, J. van, J. Hartmanis, 2003, Lecture Notes in Computer Science.

Size Arguments in the Study of Computation Speeds

Juris Hartmanis, J. Hartmanis, 1970 .

Verification, Model Checking, and Abstract Interpretation

Ruzica Piskac, Gerhard Goos, Juris Hartmanis, 2019, Lecture Notes in Computer Science.

Sparse Complete Sets for NP and the Optimal Collapse of the Polynomial Hierarchy

Juris Hartmanis, J. Hartmanis, 1993, Current Trends in Theoretical Computer Science.

Computer Performance Engineering

Stephen Gilmore, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Graph Transformation

Jon M. Kleinberg, J. Hartmanis, J. Kleinberg, 2018, Lecture Notes in Computer Science.

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Annabelle McIver, Gerhard Goos, Juris Hartmanis, 2019, FM.

Information Security Theory and Practice

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Elisa Bertino, Laura Bocchi, Simon Bliudze, 2020, Lecture Notes in Computer Science.

Computer Vision - ECCV 2014 Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Parallel Processing and Applied Mathematics

Elisa Bertino, Ewa Deelman, Roman Wyrzykowski, 2011, Lecture Notes in Computer Science.

Reversible Computation

Gerhard W. Dueck, D. Michael Miller, J. Hartmanis, 2018, Lecture Notes in Computer Science.

Communications and Multimedia Security

Bart De Decker, Jana Dittmann, Claus Vielhauer, 2011, Lecture Notes in Computer Science.

Simulation and Synthesis in Medical Imaging

Daniel Rueckert, Alexander Hammers, Joanna M. Wardlaw, 2018, Lecture Notes in Computer Science.

The Applications of Some Basic Inequalities for Entropy

J. Hartmanis, 1959, Inf. Control..

Applications of Graph Transformations with Industrial Relevance

Manfred Nagl, John L. Pfaltz, Agtive, 2003, Lecture Notes in Computer Science.

Fast Software Encryption

Moni Naor, Josef Kittler, John C. Mitchell, 2002, Lecture Notes in Computer Science.

Matrix Eigensystem Routines-EISPACK Guide.

J. Hartmanis, G. Goos, 1978 .

Integer Programming and Combinatorial Optimization

J. Hartmanis, G. Woeginger, G. Goos, 2013, Lecture Notes in Computer Science.

Algorithms and Architectures for Parallel Processing

Guojun Wang, Gregorio Martinez Perez, Albert Zomaya, 2018, Lecture Notes in Computer Science.

Advances in Computational Intelligence: 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12–17, 2020, Proceedings, Part II

Ahmed Abbou, José R. Dorronsoro, Mohammed Akherraz, 2020, Lecture Notes in Computer Science.

Genetic and Evolutionary Computation – GECCO 2004

Riccardo Poli, Dirk Thierens, Gerhard Goos, 2004, Lecture Notes in Computer Science.

Computer Vision in Human-Computer Interaction

Nicu Sebe, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Requirements Engineering: Foundation for Software Quality

Alfred Kobsa, Josef Kittler, Demetri Terzopoulos, 2009, Lecture Notes in Computer Science.

Provable Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Open Hypermedia Systems and Structural Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Active Media Technology

J. van Leeuwen, G. Goos, J. Hartmanis, 2001, Lecture Notes in Computer Science.

Modelling and Simulation for Autonomous Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

An index and other useful information

Gerhard Goos, Juris Hartmanis, J. Hartmanis, 1981 .

Logic for Programming, Artificial Intelligence, and Reasoning

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Advanced Computing, Networking and Security

P. Santhi Thilagam, Alwyn R. Pais, K. Chandrasekaran, 2011, Lecture Notes in Computer Science.

Social Computing and Social Media: 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015, Proceedings

J. Hartmanis, G. Goos, Gabriele Meiselwitz, 2015, Lecture Notes in Computer Science.

Distributed Artificial Intelligence

J. Hartmanis, G. Goos, J. Leeuwen, 1999 .

Network and System Security

Elisa Bertino, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Ambient Intelligence

J. Hartmanis, G. Goos, P. Chatzimisios, 2004, Lecture Notes in Computer Science.

Theory and Practice of Natural Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Haptics: Perception, Devices, Mobility, and Communication

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Determinant: Combinatorics, Algorithms, and Complexity

Phokion G. Kolaitis, Moshe Y. Vardi, Stephen R. Mahaney, 1997, Chic. J. Theor. Comput. Sci..

Electronic Participation

J. Hartmanis, G. Goos, David Hutchison, 2012, Lecture Notes in Computer Science.