Juris Hartmanis

发表

Computational Science and Its Applications – ICCSA 2004

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

Artificial Intelligence and Security: 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II

Elisa Bertino, Gerhard Goos, Juris Hartmanis, 2019, ICAIS.

Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems

Peter Brezany, Gerhard Goos, Juris Hartmanis, 1997 .

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).

On Unique Staisfiability and Randomized Reductions

Desh Ranjan, Juris Hartmanis, Richard Chang, 1990, Bull. EATCS.

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

Juris Hartmanis, J. Hartmanis, 1994, CACM.

On Simple Goedel Numberings and Translations

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

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.

Structural Complexity Columns in Sparse complete sets for NP and the optimal collpase of the polynomial hierarchy

Juris Hartmanis, 1987, Bull. EATCS.

Structural complexity theory: recent surprises (invited)

Desh Ranjan, Juris Hartmanis, Richard Chang, 1990 .

From Database to Cyber Security

Sushil Jajodia, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Mechanical Design and Manufacturing

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

Parallel Processing and Applied Mathematics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2011, 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.

The LBA Problem and its Importance in the Theory of Computing

Harry B. Hunt, Juris Hartmanis, 1973 .

Approximation and Online Algorithms

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

Computational Intelligence in Security for Information Systems

Takeo Kanade, Juris Hartmanis, 2011, Lecture Notes in Computer Science.

Future Generation Information Technology

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

Unifying Theories of Programming

Takeo Kanade, Alfred Kobsa, Josef Kittler, 2010, Lecture Notes in Computer Science.

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 .

Euro-Par 2018: Parallel Processing Workshops

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.

Eleventh Annual Switching and Automata Theory Symposium

Juris Hartmanis, Sheila A. Greibach, E. K. Blum, 1972 .

ZB 2000: Formal Specification and Development in Z and B

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

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.

One-Way Functions and the Nonisomorphism of NP-Complete Sets

Juris Hartmanis, Lane A. Hemaspaandra, 1991, Theor. Comput. Sci..

Pattern Recognition and Machine Intelligence

Sankar K. Pal, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Passive and Active Measurement

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..

The use of Lists in the Study of Undecidable Problems in Automata Theory

Juris Hartmanis, Forbes D. Lewis, 1971, J. Comput. Syst. Sci..

Spatiotemporal Specification & Verification for Multimedia Scenarios

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

Loop-Free Structure of Sequential Machines

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

Neural Information Processing

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

Middleware 2013

Karsten Schwan, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

State of the Art in Applied Cryptography

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

On Tape Bounds for Single Letter Alphabet Language Processing

Juris Hartmanis, Leonard Berman, 1976, Theor. Comput. Sci..

Some Observations about Relativization of Space Bounded Computations

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

Sparse sets in NP-P: Exptime versus nexptime

Neil Immerman, Juris Hartmanis, Vivian Sewelson, 1983, Inf. Control..

Information and Communications Security

Tsz Hon Yuen, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Tape-Reversal Bounded Turing Machine Computations

Juris Hartmanis, 1968, J. Comput. Syst. Sci..

Transformation of Declarative Specifications to Algorithmic Representation

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

Efficient Graph Rewriting and Its Implementation

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

Computational complexity of recursive sequences

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

Abstracts of Current Computer Literature

Juris Hartmanis, 1967 .

Secure Networking — CQRE [Secure] ’ 99

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

Public-Key Cryptography – PKC 2019

Dongdai Lin, Kazue Sako, Gerhard Goos, 2019, Lecture Notes in Computer Science.

On the State Assignment Problem for Sequential Machines II

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

Computation Times of NP Sets of Different Densities

Juris Hartmanis, Yaacov Yesha, 1983, ICALP.

Theory and Practice of Natural Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, 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.

Regularity Preserving Modifications of Regular Expressions

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

NETWORKING 2012

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

Computer Vision in Human-Computer Interaction

Nicu Sebe, Gerhard Goos, Juris Hartmanis, 2004, 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

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

Hierarchies of memory limited computations

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

Robust Machines Accept Easy Sets

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

Advances in Visual Computing

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

Lectures on Runtime Verification

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

Sparse Sets in NP-P: EXPTIME versus NEXPTIME

Neil Immerman, Juris Hartmanis, Vivian Sewelson, 1985, Inf. Control..

Digital Cultural Heritage

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

Economics of Grids, Clouds, Systems, and Services

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

The complexity of the real line is a fractal

Juris Hartmanis, Jin-Yi Cai, 1989, [1989] Proceedings. Structure in Complexity Theory Fourth Annual Conference.

Computer Vision - ECCV 2004

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

Symbolic Analysis of a Decomposition of Information Processing Machines

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

Verified Software. Theories, Tools, and Experiments

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

Artificial Neural Networks and Machine Learning – ICANN 2012

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

A Mathematical Theory of Architecture

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

Green, Pervasive, and Cloud Computing

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

Pragmatic Aspects of Complexity Theory (Panel)

Juris Hartmanis, 1986, IFIP Congress.

Computer Vision - ECCV 2014 Workshops

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

Some Observations About the Nature of Computer Science

Juris Hartmanis, J. Hartmanis, 1993, FSTTCS.

Experimental Algorithms

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

Reversible Computation

Hafizur Rahaman, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

Some Dangers in State Reduction of Sequential Machines

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

Structure of Undecidable Problems in Automata Theory

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

Homomorphic Images of Linear Sequential Machines

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

Open Hypermedia Systems and Structural Computing

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

Static Analysis

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

Multiple Classifier Systems

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

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

Cooperative Design, Visualization, and Engineering

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

Traffic Monitoring and Analysis

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

Parallel Computing Technologies

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

Information Security

Felix C. Freiling, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Logical Foundations of Computer Science

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

Tape Reversal Complexity Hierarchies

Manuel Blum, Juris Hartmanis, Patrick C. Fischer, 1968, SWAT.

Structural Complexity Theory: recent Surprises

Desh Ranjan, Juris Hartmanis, Richard Chang, 1990, SWAT.

Computational Science and Its Applications – ICCSA 2013

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

The Applications of Some Basic Inequalities for Entropy

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

Cross-Cultural Design

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

A Retrospective on Structural Complexity

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

Refinement of Hierarchies of Time Bounded Computations

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

Generalized Kolmogorov complexity and the structure of feasible computations

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

What makes Some Language Theory Problems Undecidable

Juris Hartmanis, John E. Hopcroft, 1970, J. Comput. Syst. Sci..

Computational Science and Its Applications – ICCSA 2013

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

NETWORKING 2012

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

The Semantic Web: Research and Applications

Oscar Corcho, Gerhard Goos, Juris Hartmanis, 2012, 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.

Central European Functional Programming School

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

On the Structure of Feasible Computations

Juris Hartmanis, Janos Simon, 1976, Adv. Comput..

Smart Computing and Communication

Meikang Qiu, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

Advances in Cryptology – CRYPTO 2018

Hovav Shacham, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

On Complete Problems for NP$\cap$CoNP

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

Computer Vision – ECCV 2016

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

Wireless Algorithms, Systems, and Applications

Rong Zheng, Xinbing Wang, Gerhard Goos, 2012, 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.

Relative Succinctness of Representations of Languages and Separation of Complexity Classes

Juris Hartmanis, Theodore P. Baker, 1979, MFCS.

Rendering Interactive Multimedia Scenarios

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

On the Structure of Feasible Computation

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

Applied Cryptography and Network Security

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

Theory of Cryptography

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

On Sparse Oracles Separating Feasible Complexity Classes

Juris Hartmanis, Lane A. Hemaspaandra, 1988, Inf. Process. Lett..

On the Complexity of Undecidable Problems in Automata Theory

Juris Hartmanis, 1969, JACM.

On Isomorphisms and Density of NP and Other Complete Sets

Juris Hartmanis, Leonard Berman, 1977, SIAM J. Comput..

Computational Linguistics and Intelligent Text Processing

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

Engineering Secure Software and Systems

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

Interactive Multimedia Documents

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

6. What Can and Cannot Be Proven about Computational Complexity

Juris Hartmanis, 1989 .

On the Complexity of Undecidable Problems in Automata Theory

Juris Hartmanis, 1967, SWAT.

Fast Software Encryption

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

Response to the essay “On computational complexity and the nature of computer science”

Juris Hartmanis, 1995, CSUR.

On the Importance of Being II2-Hard

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

The World Wide Web and Databases

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

On the application of pair algebra to automata theory

Richard Edwin Stearns, Juris Hartmanis, 1964, SWCT.

Analytical and Stochastic Modeling Techniques and Applications

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

Object-Oriented Technology

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

Two Tests for the Linearity of Sequential Machines

Juris Hartmanis, 1965, IEEE Trans. Electron. Comput..

Computer Vision – ECCV 2016

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

On computational complexity and the nature of computer science

Juris Hartmanis, J. Hartmanis, 1995, CSUR.

Computers Helping People with Special Needs

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

Web Information Systems Engineering – WISE 2014

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

On the Structure of Feasible Computation

Juris Hartmanis, Janos Simon, 1974 .

Web Information Systems Engineering – WISE 2018

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

Context-free languages and turing machine computations

Juris Hartmanis, 1967 .

Public Key Cryptography

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

Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata

Juris Hartmanis, Stephen R. Mahaney, 1981, SIAM J. Comput..

Computational complexity of random access stored program machines

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

On Effective Speed-Up and Long Proofs of Trivial Theorems in Formal Theories

Juris Hartmanis, 1976, RAIRO Theor. Informatics Appl..

Trends in Functional Programming

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

Human-Computer Interaction - INTERACT 2017

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

Observations About the Development of Theoretical Computer Science

Juris Hartmanis, 1981 .

Algorithm Theory - SWAT 2000

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

Financial Cryptography

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

Job Scheduling Strategies for Parallel Processing

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

Distributed Computing by Mobile Entities

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

One-way log-tape reductions

Neil Immerman, Juris Hartmanis, Stephen R. Mahaney, 1978, 19th Annual Symposium on Foundations of Computer Science (sfcs 1978).

Final Report on NSF Research Grant Automata and Computational Complexity 1968-1972

Juris Hartmanis, 1972 .

Automata-based computational complexity

Richard Edwin Stearns, Juris Hartmanis, 1969, Inf. Sci..

On Census Complexity and Sparseness of NP Complete Sets

Juris Hartmanis, Stephen R. Mahaney, 1980 .

Foundations of Information and Knowledge Systems

Stefan Woltran, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Cryptology and Network Security

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

Experimental Algorithms

Evripidis Bampis, Gerhard Goos, Juris Hartmanis, 2015, Lecture Notes in Computer Science.

Computer Vision - ECCV 2004

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

The Structural Complexity Column

Juris Hartmanis, 1987, Bull. EATCS.

On the State Assignment Problem for Sequential Machines. I

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

The Boolean Hierarchy I: Structural Properties

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

The Cornell commission: on Morris and the worm

Juris Hartmanis, David Gries, M. Stuart Lynn, 1991 .

Parallel Processing and Applied Mathematics

Takeo Kanade, Moni Naor, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

On Sparse Sets in NP - P

Juris Hartmanis, 1983, Inf. Process. Lett..

R70-1 A Note on Computing Time for the Recognition of Context- Free Languages by a Single-Tape Turing Machine

Juris Hartmanis, 1970, IEEE Transactions on Computers.

Relations Between Diagonalization, Proof Systems, and Complexity Gaps

Juris Hartmanis, 1979, Theor. Comput. Sci..

Computing the future: whither computer science and engineering?

Juris Hartmanis, John R. Rice, Herbert S. Lin, 1993, CSC '93.

Video Analytics. Face and Facial Expression Recognition

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

Coordination Models and Languages

Mieke Massink, Jean-Marie Jacquet, Gerhard Goos, 2018, Lecture Notes in Computer Science.

The Equivalence of Sequential Machine Models

Juris Hartmanis, 1963 .

Verification, Model Checking, and Abstract Interpretation

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

Maximal Autonomous Clocks of Sequential Machines

Juris Hartmanis, 1962, IRE Trans. Electron. Comput..

Theory of Cryptography

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

Pair Algebra and Its Application to Automata Theory

Richard Edwin Stearns, Juris Hartmanis, 1964, Inf. Control..

Big Data Analytics and Knowledge Discovery

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

Structural Complexity Column for the Bulletin of the European Association for Theoretical Computer Science

Juris Hartmanis, 1987 .

New Trends in Image Analysis and Processing – ICIAP 2013

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

Turing award lecture: on computational complexity and the nature of computer science

Juris Hartmanis, 2007 .

Arithmetic of Finite Fields

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

On polynomial time isomorphisms of complete sets

Juris Hartmanis, Leonard Berman, 1977, Theoretical Computer Science.

On Log-Tape Isomorphisms of Complete Sets

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

Lectures on automata theory

Juris Hartmanis, Srinivasan Ramani, 1968 .

A Study of Feedback and Errors in Sequential Machines

Richard Edwin Stearns, Juris Hartmanis, 1963, IEEE Trans. Electron. Comput..

Descriptional Complexity of Formal Systems

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

A Conversation with Juris Hartmanis

Juris Hartmanis, J. Hartmanis, 2010 .

Search-Based Software Engineering

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

The Separation Problems and Descriptional Complexity

Juris Hartmanis, 2002, DCFS.

Computing the Future: A Broader Agenda for Computer Science and Engineering

Juris Hartmanis, Herbert S. Lin, 1992 .

Computational Linguistics and Intelligent Text Processing

Josef Kittler, Juris Hartmanis, David Hutchison, 2016, Lecture Notes in Computer Science.

Theory and Practice of Natural Computing

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

Computer Vision - ECCV 2014 Workshops

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

On the Problem of Finding Natural Computational Complexity Measures

Juris Hartmanis, 1973, MFCS.

Database and Expert Systems Applications

Sebastian Link, Gerhard Goos, Juris Hartmanis, 2014, Lecture Notes in Computer Science.

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

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

Complexity of formal translations and speed-up results

Juris Hartmanis, Robert L. Constable, 1971, STOC '71.

Automated Technology for Verification and Analysis

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

Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

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

One-way functions, robustness, and the non-isomorphism of NP-complete sets

Juris Hartmanis, Lane A. Hemaspaandra, J. Hartmanis, 1987, SCT.

Indexing Large Multimedia Applications: A Spatiotemporal Indexing Scheme

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

Approximation and Online Algorithms

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

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.

A note on one-way and two-way automata

Juris Hartmanis, 2005, Mathematical systems theory.

Energy Efficient Data Centers

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

Space Bounded Computations: Review and New Separation Results

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

Independence Results About Context-Free Languages and Lower Bounds

Juris Hartmanis, 1985, Inf. Process. Lett..

On the Weight of Computations

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

Multiple Classifier Systems

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

Computer Vision - ECCV 2000

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

Language and Automata Theory and Applications

Dana Shapira, Gerhard Goos, Juris Hartmanis, 2019, Lecture Notes in Computer Science.

Web and Big Data

Jianliang Xu, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

On Polynomial Time Isomorphisms of Some New Complete Sets

Juris Hartmanis, Leonard Berman, 1978, J. Comput. Syst. Sci..

Provable Security

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

Modelling and Simulation for Autonomous Systems

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

Feasible computations and provable complexity properties

Juris Hartmanis, 1989, CBMS-NSF regional conference series in applied mathematics.

assembly ischaracterized by thesignals insequential machines. Itwasshownthat Itshould bementioned thatatthetime identified withitsmembersubassemblies. thenecessary andsufficient condition forthe both authors werewithComputing DevicesForexample, ifassembly jiscomposed of existence ofaninput-independe

Juris Hartmanis, 1961 .

Security Standardisation Research

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

Databases Theory and Applications

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

Digital Forensics and Watermarking

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

Job Scheduling Strategies for Parallel Processing

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

Computing and Combinatorics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, 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.

Advances in Swarm Intelligence

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

On the Structure of Finite Automata

Juris Hartmanis, 1967 .

Implementation and Application of Functional Languages

Jurriaan Hage, Gerhard Goos, Juris Hartmanis, 2011, Lecture Notes in Computer Science.

The Boolean Hierarchy II: Applications

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

The Programming Language Ada

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

Computer Vision – ACCV 2012

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

Computational Complexity of One-Tape Turing Machine Computations

Juris Hartmanis, 1968, JACM.

On IP = PSPACE and Theorems with Narrow Proofs

Desh Ranjan, Juris Hartmanis, Richard Chang, 1993, Current Trends in Theoretical Computer Science.

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.

Information and communication technology

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

Collapsing Hierarchies

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

Computer Security - ESORICS 2014

Jaideep Vaidya, Gerhard Goos, Juris Hartmanis, 2014, 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.

Space Bounded Computations: Review And New Separation Results

Desh Ranjan, Juris Hartmanis, 1989, MFCS.

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

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

Advances in Cryptology – CRYPTO 2018

Hovav Shacham, Gerhard Goos, Juris Hartmanis, 2002, Lecture Notes in Computer Science.

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Gerhard Goos, Juris Hartmanis, Markus Müller-Olm, 1997 .

Theory of Cryptography

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

Mathematical Foundations of Computer Science 2014

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

Computer Performance Engineering

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

Relational and Algebraic Methods in Computer Science

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

Trends and Topics in Computer Vision

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

New Developments in Structural Complexity Theory

Juris Hartmanis, 1990, Theor. Comput. Sci..

On isomorphisms and density of NP and other complete sets

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

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

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

Algorithms and Architectures for Parallel Processing

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

Algorithms and Architectures for Parallel Processing

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

The Semantic Web – ISWC 2012

Jeff Heflin, Gerhard Goos, Juris Hartmanis, 2012, 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).

Innovative Security Solutions for Information Technology and Communications

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

Undecidability and Incompleteness Results in Automata Theory

Juris Hartmanis, 2000, A Half-Century of Automata Theory.

Logic for Programming, Artificial Intelligence, and Reasoning

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

Graph Transformation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, 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.

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.

The Structure of the Complexity of Computations: A Guided Tour Through Complexity Classes

Juris Hartmanis, 1994, IFIP Congress.

Electronic Participation

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

Cooperative Design, Visualization, and Engineering

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

Theory of Grouping

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

Ambient Intelligence

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

Developments in Language Theory

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

On the Succintness of Different Representations of Languages

Juris Hartmanis, 1979, ICALP.

An index and other useful information

Gerhard Goos, Juris Hartmanis, 1981 .

Information Security and Privacy: 23rd Australasian Conference, ACISP 2018, Wollongong, NSW, Australia, July 11-13, 2018, Proceedings

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

Proceedings of the eighteenth annual ACM symposium on Theory of computing

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

Observations about the Nature and State of Computer Science (Keynote Address)

Juris Hartmanis, 1999, ICALP.

New Developments in Structural Complexity Theory

Juris Hartmanis, 1988, ICALP.

Information Security Theory and Practice

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, 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.

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

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

Euro-Par 2014: Parallel Processing Workshops

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

Computational complexity of formal translations

Juris Hartmanis, 2005, Mathematical systems theory.

Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings

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

A Broader Research Agenda for Theory

Juris Hartmanis, 1993, Bull. EATCS.

Learning and Collaboration Technologies. Technology in Education

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

Authoring Interactive Multimedia Presentations

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

Information Technology in Bio- and Medical Informatics

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

Theory of Cryptography

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

Advances in Multimedia Information Systems

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

On the Intellectual Terrain Around NP

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

Security and Trust Management

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

Distributed Artificial Intelligence

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

Algorithms and Architectures for Parallel Processing

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

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.

Separation of complexity classes

Juris Hartmanis, J. Hartmanis, 2003, JACM.

Relations between diagonalization, proof systems, and complexity gaps

Juris Hartmanis, 1977, STOC '77.

Solvable problems with conflicting relativizations

Juris Hartmanis, 1985, Bull. EATCS.

On the Importance of Being II 2 -Hard.

Juris Hartmanis, 1993 .

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

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

Symbiotic Interaction

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

Constraints in Computational Logics

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

On Simple Gödel Numberings and Translations

Juris Hartmanis, Theodore P. Baker, 1975, SIAM J. Comput..

A Note on Natural Complete Sets and Gödel Numberings

Juris Hartmanis, 1982, Theor. Comput. Sci..

Machine Learning for Dynamic Software Analysis: Potentials and Limits

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

Group Theoretic Characterization of Linear Permutation Automata

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

Innovation and Obstacles: the Future of Computing

Mary Shaw, Juris Hartmanis, Robert W. Lucky, 1998, Computer.

On the Succinctness of Different Representations of Languages

Juris Hartmanis, 1980, SIAM J. Comput..

Multidisciplinary Information Retrieval

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

On non-isomorphic NP complete sets

Juris Hartmanis, 1984, Bull. EATCS.

Transforming Digital Worlds

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

An Eassay about Research on Sparse NP Complete Sets

Juris Hartmanis, Stephen R. Mahaney, 1980, MFCS.

Graph Transformation

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

Recent Advances in the Message Passing Interface

Juris Hartmanis, 2011, Lecture Notes in Computer Science.

Image Analysis and Recognition

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

Modeling Interactive Multimedia Documents

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

Runtime Verification

Axel Legay, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

The Cornell commission: on Morris and the worm

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

About the Nature of the Computer Science

Juris Hartmanis, 1994, Bull. EATCS.

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

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

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..

Semantic Keyword-Based Search on Structured Data Sources

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

Model and Data Engineering

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

Computer Vision – ECCV 2012. Workshops and Demonstrations

Rita Cucchiara, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Ad-Hoc, Mobile, and Wireless Networks

Stephan Olariu, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Advances in Swarm Intelligence

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

Product Focused Software Process Improvement

Hajimu Iida, Frank Bomarius, Gerhard Goos, 2004, Lecture Notes in Computer Science.

Haptics: Perception, Devices, Mobility, and Communication

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

Computational Geometry

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

Further Results on the Structure of Sequential Machines

Juris Hartmanis, J. Hartmanis, 1963, JACM.

Network and System Security

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

Web and Wireless Geographical Information Systems

Jérôme Gensel, Gerhard Goos, Juris Hartmanis, 2015, Lecture Notes in Computer Science.

Fundamentals of Computation Theory

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

Computational Complexity and Mathematical Proofs

Juris Hartmanis, 2001, Informatics.

Advances in Cryptology, 1981-1997: Electronic Proceedings and Index of the Crypto and Eurocrypt Conferences 1981-1997

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

Cooperative Design, Visualization, and Engineering

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

Computer Vision – ECCV 2012. Workshops and Demonstrations

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

Computer Programs for Spelling Correction: An Experiment in Program Design

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

On the Power of Multiplication in Random Access Machines

Juris Hartmanis, Janos Simon, 1974, SWAT.

Turing Machine-Inspired Computer Science Results

Juris Hartmanis, J. Hartmanis, 2012, CiE.

Correct Reasoning

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.

Service-Oriented and Cloud Computing

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

Business Object Design and Implementation II: Oopsla'96, Oopsla'97 and Oopsla'98 Workshop Proceedings

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

Social Information Access

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

Computational Topology in Image Context

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

Advances in Multimedia Modeling

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

Representation clauses and implementation-dependent features

Juris Hartmanis, G. Goos, W. Brauer, 1983 .

Persuasive Technology

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

Exploitation of Fine-Grain Parallelism

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

Passive and Active Network Measurement

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

Computer Vision - ECCV 2014 Workshops

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

Computing the future: committee to assess the scope and direction of computer science and technology for the National Research Council

Juris Hartmanis, 1992, CACM.

Principles of Distributed Systems

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

Computational Science and Its Applications — ICCSA 2003

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

Advances in Visual Computing

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

On Memory Requirements for Context-Free Language Recognition

Juris Hartmanis, 1967, JACM.

Unconventional Models of Computation

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

Proceedings 13 Volume Editors

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

The Turing Computational Model

Richard Edwin Stearns, William Kahan, Juris Hartmanis, 2012, ACM-TURING '12.

Temporal Databases: Research and Practice

Sushil Jajodia, Gerhard Goos, Juris Hartmanis, 1998 .

Secure Data Management

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

On Sparse Oracles Separating Feasible Complexity Classes

Juris Hartmanis, Lane A. Hemaspaandra, 1986, STACS.

Integer Programming and Combinatorial Optimization

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

Coalgebraic Methods in Computer Science

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

Graph Transformations

Hartmut Ehrig, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Two memory bounds for the recognition of primes by automata

Juris Hartmanis, H. Shank, 2005, Mathematical systems theory.

Generative and Transformational Techniques in Software Engineering IV

Takeo Kanade, Juris Hartmanis, T. Kanade, 2013, 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.

Software Engineering for Self-Adaptive Systems II

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

On non-determinancy in simple computing devices

Juris Hartmanis, 2004, Acta Informatica.

An Overview of the Theory of Computational Complexity

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

Software Composition

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

Size Arguments in the Study of Computation Speeds

Juris Hartmanis, J. Hartmanis, 1970 .

The Semantic Web

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

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

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

Applications of Evolutionary Computation

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

Structural Complexity

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

Computer Science Today: Recent Trends and Developments

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

Complexity Classes without Machines: On Complete Languages for UP

Juris Hartmanis, Lane A. Hemaspaandra, 1988, Theor. Comput. Sci..

Minimal Feedback Realizations of Sequential Machines

Juris Hartmanis, 1966, IEEE Trans. Electron. Comput..

Foundations and Practice of Security

Nora Cuppens-Boulahia, Frédéric Cuppens, Gerhard Goos, 2012, Lecture Notes in Computer Science.

Graphical Models for Security

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

Computers Helping People with Special Needs

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

Advances in Cryptology — CRYPTO’ 99

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

Transactions on Computational Collective Intelligence XXXIII

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

Succinctness, verifiability and determinism in representations of polynomial-time languages

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

On the Computing Paradigm and Computational Complexity

Juris Hartmanis, 1995, MFCS.

Artificial Intelligence: Methodology, Systems, and Applications

Gerhard Goos, Juris Hartmanis, Jaime G. Carbonell, 2003, Lecture Notes in Computer Science.

Image Analysis and Recognition

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

On the Recognition of Primes by Automata

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

Genetic and Evolutionary Computation – GECCO 2004

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

Modelling Foundations and Applications

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

Trusted Systems

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

Critical Information Infrastructures Security

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

IFIP conference on optimization techniques, Novosibirsk, July 1-7, 1974 /edited by G. I. Marchuk

Gerhard Goos, Juris Hartmanis, Guriĭ Ivanovich Marchuk, 1975 .

Computer Aided Verification

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

Progress in Cryptology – AFRICACRYPT 2016

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

GENERALIZED KOLMOGOROVCOMPLEXITY AND THE STRUCTUREOF FEASmLE COMPUTATIONS

Juris Hartmanis, 1983 .

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 .

I. the Smart Project -status Report and Plans

Juris Hartmanis, Patrick C. Fischer, Gerard Salton, 1967 .

On the Structure of Solutions of Computable Real Functions

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

Computational complexity theory

Juris Hartmanis, 1989 .

Linear Multivalued Sequential Coding Networks

Juris Hartmanis, 1959 .

Lattice Theory of Generalized Partitions

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