Juris Hartmanis | Academic Influence

Juris Hartmanis's AcademicInfluence.com Rankings

Juris Hartmanis

Computer Science

#251

World Rank

#262

Historical Rank

Database

#363

World Rank

#380

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Juris Hartmanis's Degrees

PhD Mathematics California Institute of Technology
Bachelors Mathematics University of Maryland, College Park

Similar Degrees You Can Earn

Best Online Bachelor's in Math Ranked

Why Is Juris Hartmanis Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Juris Hartmanis was a Latvian-born American computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".

(See a Problem?)

Juris Hartmanis's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Semantic Web (2011) (6172)
Neural Networks: Tricks of the Trade (2002) (1592)
Fast Software Encryption (2001) (1389)
On the Computational Complexity of Algorithms (1965) (987)
Algebraic Structure Theory Of Sequential Machines (1966) (610)
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 (1983) (494)
On isomorphisms and density of NP and other complete sets (1976) (462)
Hierarchies of memory limited computations (1965) (346)
Unifying Theories of Programming (2012) (304)
Information and communication technology (2007) (289)
Multiple Classifier Systems (2004) (248)
Ambient Intelligence (2015) (234)
Temporal Databases: Research and Practice (1998) (214)
Memory bounds for recognition of context-free and context-sensitive languages (1965) (212)
The Boolean Hierarchy I: Structural Properties (1988) (203)
Computers and Intractability: A Guide to the Theory of NP-Completeness (Michael R. Garey and David S. Johnson) (1982) (189)
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics) (1966) (188)
Software Engineering for Self-Adaptive Systems II (2013) (174)
Generalized Kolmogorov complexity and the structure of feasible computations (1983) (161)
On the State Assignment Problem for Sequential Machines. I (1961) (147)
The Programming Language Ada (1983) (147)
Computer Science Today: Recent Trends and Developments (1995) (139)
Sparse sets in NP-P: Exptime versus nexptime (1983) (137)
An Overview of the Theory of Computational Complexity (1971) (128)
Complexity Classes without Machines: On Complete Languages for UP (1986) (124)
The World Wide Web and Databases (2001) (116)
The Boolean Hierarchy II: Applications (1989) (113)
Computation Times of NP Sets of Different Densities (1983) (105)
On the Power of Multiplication in Random Access Machines (1974) (93)
Turing Award lecture on computational complexity and the nature of computer science (1994) (91)
On the Weight of Computations (1995) (82)
Loop-Free Structure of Sequential Machines (1962) (78)
On Sparse Sets in NP - P (1982) (78)
Computer Vision – ECCV 2016 (2016) (78)
Mechanical Design and Manufacturing (2001) (77)
VDM '90 VDM and Z — Formal Methods in Software Development (1990) (77)
Computing the Future: A Broader Agenda for Computer Science and Engineering (1992) (73)
Computational Complexity of One-Tape Turing Machine Computations (1968) (71)
On non-determinancy in simple computing devices (1972) (70)
On Hausdorff and Topological Dimensions of the Kolmogorov Complexity of the Real Line (1994) (69)
One-way functions, robustness, and the non-isomorphism of NP-complete sets (1987) (69)
Meta-Level Architectures and Reflection (2001) (68)
Neural Information Processing (2012) (67)
One-way log-tape reductions (1978) (66)
Context-free languages and turing machine computations (1967) (66)
Compiler Construction: An Advanced Course (1974) (66)
Computer Vision in Human-Computer Interaction (2004) (64)
Distributed Computing by Mobile Entities (2019) (62)
Symbolic Analysis of a Decomposition of Information Processing Machines (1960) (60)
On the Succinctness of Different Representations of Languages (1980) (58)
Pair Algebra and Its Application to Automata Theory (1964) (54)
Computational Intelligence in Security for Information Systems (2011) (53)
The Random Oracle Hypothesis Is False (1994) (51)
One-Way Functions and the Nonisomorphism of NP-Complete Sets (1991) (51)
On computational complexity and the nature of computer science (1995) (51)
Gödel, von Neumann and the P =? NP Problem (1989) (50)
Advances in Cryptology — CRYPTO’ 99 (1999) (50)
On Log-Tape Isomorphisms of Complete Sets (1978) (49)
Efficient Graph Rewriting and Its Implementation (1995) (48)
Some Dangers in State Reduction of Sequential Machines (1962) (47)
What makes Some Language Theory Problems Undecidable (1970) (46)
Regularity Preserving Modifications of Regular Expressions (1963) (45)
Space Bounded Computations: Review and New Separation Results (1991) (45)
The Cornell commission: on Morris and the worm (1989) (44)
The LBA Problem and its Importance in the Theory of Computing (1973) (44)
Advances in Cryptology: Crypto, 90 : Proceedings (1991) (43)
On the Recognition of Primes by Automata (1968) (42)
Lectures on Runtime Verification (2018) (41)
Applied Cryptography and Network Security (2012) (41)
On Gödel Speed-Up and Succinctness of Language Representations (1983) (41)
State of the Art in Applied Cryptography (1999) (39)
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (1997) (39)
Tape-Reversal Bounded Turing Machine Computations (1968) (38)
Robust Machines Accept Easy Sets (1990) (38)
Algorithms and Architectures for Parallel Processing (2018) (38)
Computer Vision – ECCV 2016 (2016) (38)
Relational and Algebraic Methods in Computer Science (2012) (37)
On the State Assignment Problem for Sequential Machines II (1961) (37)
On Sparse Oracles Separating Feasible Complexity Classes (1988) (37)
Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata (1981) (35)
Observations about the development of theoretical computer science (1979) (35)
ZB 2000: Formal Specification and Development in Z and B (2000) (35)
Feasible computations and provable complexity properties (1989) (32)
Digital Cultural Heritage (2018) (32)
Some Observations About the Nature of Computer Science (1993) (31)
Advances in Petri Nets 1988 (1988) (31)
Computational complexity of random access stored program machines (1970) (30)
Sets of Numbers Defined by Finite Automata (1967) (29)
On the Lattice of Topologies (1958) (27)
Solvable problems with conflicting relativizations (1985) (27)
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014 (2014) (27)
New Developments in Structural Complexity Theory (1990) (27)
Lattice Theory of Generalized Partitions (1959) (27)
On Complete Problems for NP$\cap$CoNP (1985) (26)
On Simple Goedel Numberings and Translations (1974) (24)
Machine Learning for Dynamic Software Analysis: Potentials and Limits (2018) (23)
Co-ordination in Artificial Agent Societies (1999) (22)
Multiset Processing (2001) (22)
On Tape Bounds for Single Letter Alphabet Language Processing (1976) (21)
On the Structure of Feasible Computation (1974) (21)
Trends and Topics in Computer Vision (2010) (21)
A Study of Feedback and Errors in Sequential Machines (1963) (21)
Computing the future: committee to assess the scope and direction of computer science and technology for the National Research Council (1992) (19)
Proceedings of the eighteenth annual ACM symposium on Theory of computing (1986) (19)
Independence Results About Context-Free Languages and Lower Bounds (1985) (19)
The Semantic Web: Research and Applications (2012) (18)
Haptics: Perception, Devices, Mobility, and Communication (2012) (18)
Structural Complexity Theory: recent Surprises (1990) (17)
Secure Networking — CQRE [Secure] ’ 99 (1999) (17)
Artificial Neural Networks and Machine Learning – ICANN 2012 (2012) (17)
Computational complexity of recursive sequences (1964) (17)
On Simple Gödel Numberings and Translations (1975) (17)
Complexity Theory Retrospective (1990) (16)
Containment, Separation, Complete Sets, and Immunity of Complexity Classes (1986) (15)
Linear Multivalued Sequential Coding Networks (1959) (15)
Computer Vision – ECCV 2012. Workshops and Demonstrations (2012) (15)
Further Results on the Structure of Sequential Machines (1963) (15)
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 (1991) (15)
On the Structure of Feasible Computations (1976) (15)
Open Hypermedia Systems and Structural Computing (2002) (15)
Advances in Multimedia Modeling (2013) (14)
Innovative Security Solutions for Information Technology and Communications (2017) (14)
Relations between diagonalization, proof systems, and complexity gaps (1977) (14)
Maximal Autonomous Clocks of Sequential Machines (1962) (14)
Computer Vision - ECCV 2014 Workshops (2014) (14)
Object-Oriented Technology (2000) (13)
Relative Succinctness of Representations of Languages and Separation of Complexity Classes (1979) (13)
The Applications of Some Basic Inequalities for Entropy (1959) (13)
Wireless Algorithms, Systems, and Applications (2012) (13)
Computer Vision – ECCV 2016 (2016) (12)
On the Problem of Finding Natural Computational Complexity Measures (1973) (12)
Homomorphic Images of Linear Sequential Machines (1967) (12)
Trends in Functional Programming (2013) (12)
Active Media Technology (2001) (12)
A Note on Natural Complete Sets and Gödel Numberings (1982) (11)
Structure of Undecidable Problems in Automata Theory (1968) (11)
The use of Lists in the Study of Undecidable Problems in Automata Theory (1971) (11)
An Eassay about Research on Sparse NP Complete Sets (1980) (10)
On the Move to Meaningful Internet Systems: OTM 2012 (2012) (10)
Two embedding theorems for finite lattices (1956) (10)
Electronic Participation (2012) (10)
Theory and Practice of Natural Computing (2012) (10)
Tape Reversal Complexity Hierarchies (1968) (9)
Experimental Algorithms (2013) (9)
Succinctness, verifiability and determinism in representations of polynomial-time languages (1979) (9)
Some Observations about Relativization of Space Bounded Computations (1988) (9)
Deductive and Object-Oriented Databases: Second International Conference, Dood '91 Munich, Germany, December 16-18, 1991 Proceedings (1991) (9)
Genetic and Evolutionary Computation – GECCO 2004 (2004) (9)
Computer Vision - ECCV 2014 Workshops (2014) (9)
On the Complexity of Undecidable Problems in Automata Theory (1967) (9)
On polynomial time isomorphisms of complete sets (1977) (8)
About the Nature of the Computer Science (1994) (8)
Response to the essay “On computational complexity and the nature of computer science” (1995) (8)
On IP = PSPACE and Theorems with Narrow Proofs (1990) (8)
Innovation and Obstacles: the Future of Computing (1998) (8)
New Trends in Image Analysis and Processing – ICIAP 2013 (2013) (8)
Attribute Grammars, Applications and Systems: International Summer School Saga Prague, Czechoslovakia, June 4-13, 1991 Proceedings (1991) (8)
Semantic Keyword-Based Search on Structured Data Sources (2017) (8)
On the Succintness of Different Representations of Languages (1979) (7)
Two Tests for the Linearity of Sequential Machines (1965) (7)
Euro-Par 2014: Parallel Processing Workshops (2014) (7)
Information Technology in Bio- and Medical Informatics (2013) (7)
A note on tape bounds for sla language processing (1975) (7)
Matrix Eigensystem Routines-EISPACK Guide. (1978) (7)
Complexity of formal translations and speed-up results (1971) (7)
Computer Vision - ECCV 2004 (2004) (7)
Computational Science and Its Applications – ICCSA 2004 (2004) (7)
Evolutionary and Biologically Inspired Music, Sound, Art and Design (2013) (7)
Group Theoretic Characterization of Linear Permutation Automata (1973) (7)
Size Arguments in the Study of Computation Speeds (1970) (7)
Graph Transformation (2015) (6)
Generative and Transformational Techniques in Software Engineering IV (2013) (6)
Sparse Complete Sets for NP and the Optimal Collapse of the Polynomial Hierarchy (1993) (6)
Computational complexity theory (1989) (6)
Parallel Processing and Applied Mathematics (2011) (6)
Computer-Aided Cooperative Product Development: MIT-JSME Workshop, MIT, Cambridge, USA, November 20/21, 1989. Proceedings (1991) (6)
On Polynomial Time Isomorphisms of Some New Complete Sets (1978) (6)
Public-Key Cryptography State (1992) (6)
Correct Reasoning (2012) (6)
Computers Helping People with Special Needs (2012) (5)
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (2019) (5)
Automata-based computational complexity (1969) (5)
The Structural Complexity Column (1987) (5)
Recent Advances in the Message Passing Interface (2011) (5)
Applications of Evolutionary Computation (2018) (5)
Business Object Design and Implementation II: Oopsla'96, Oopsla'97 and Oopsla'98 Workshop Proceedings (1998) (5)
Turing award lecture: on computational complexity and the nature of computer science (2007) (5)
Advances in Visual Computing (2013) (5)
On the Computing Paradigm and Computational Complexity (1995) (5)
Computer Vision - ECCV 2000 (2003) (5)
Engineering Secure Software and Systems (2013) (5)
VLSI Algorithms and Architectures (1988) (5)
Learning and Collaboration Technologies. Technology in Education (2017) (5)
Artificial Intelligence: Methodology, Systems, and Applications (2003) (5)
Solving Irregularly Structured Problems in Parallel (1998) (5)
Energy Efficient Data Centers (2012) (5)
Lectures on automata theory (1968) (5)
On Effective Speed-Up and Long Proofs of Trivial Theorems in Formal Theories (1976) (5)
Collapsing Hierarchies (1987) (4)
Input/Output Intensive Massively Parallel Computing: Language Support, Automatic Parallelization, Advanced Optimization, and Runtime Systems (1997) (4)
Structural Complexity Columns in Sparse complete sets for NP and the optimal collpase of the polynomial hierarchy (1987) (4)
Social Information Access (2018) (4)
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (2018) (4)
Universal Access in Human-Computer Interaction. Methods, Technologies, and Users (2018) (4)
Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings (1992) (4)
The Semantic Web – ISWC 2012 (2012) (4)
Some Observations of NP Complete Sets (1987) (4)
Multiple Classifier Systems (2001) (4)
Euro-Par 2018: Parallel Processing Workshops (2018) (4)
Exploitation of Fine-Grain Parallelism (1995) (4)
On Census Complexity and Sparseness of NP Complete Sets (1980) (4)
Modelling and Simulation for Autonomous Systems (2017) (4)
Computer Vision – ECCV 2012. Workshops and Demonstrations (2012) (4)
Computational Science and Its Applications — ICCSA 2003 (2003) (3)
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 (2018) (3)
Persuasive Technology (2015) (3)
Two memory bounds for the recognition of primes by automata (1969) (3)
Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I (2018) (3)
Theory and Practice of Natural Computing (2016) (3)
The complexity of the real line is a fractal (1989) (3)
Central European Functional Programming School (2012) (3)
Advances in Cryptology – CRYPTO 2018 (2018) (3)
Computational Science and Its Applications – ICCSA 2013 (2013) (3)
R70-1 A Note on Computing Time for the Recognition of Context- Free Languages by a Single-Tape Turing Machine (1970) (3)
Digital Rights Management (2003) (3)
Analytical and Stochastic Modeling Techniques and Applications (2012) (3)
Search-Based Software Engineering (2018) (3)
Constraints in Computational Logics (2001) (3)
Interactive Multimedia Documents (1999) (3)
Advances in Cryptology – CRYPTO 2018 (2018) (3)
Transforming Digital Worlds (2018) (3)
Human-Computer Interaction - INTERACT 2017 (2017) (2)
Advances in Visual Computing (2013) (2)
Minimal Feedback Realizations of Sequential Machines (1966) (2)
Web and Wireless Geographical Information Systems (2015) (2)
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 (2015) (2)
Traffic Monitoring and Analysis (2014) (2)
Smart Computing and Communication (2017) (2)
Computer Vision - ECCV 2014 Workshops (2014) (2)
Computer Vision - ECCV, 1992: Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 1992, Proceedings (1992) (2)
Secure Data Management (2004) (2)
On Unique Staisfiability and Randomized Reductions (1990) (2)
Computational Science and Its Applications – ICCSA 2013 (2013) (2)
On the Structure of Solutions of Computable Real Functions (1988) (2)
Pattern Recognition and Machine Intelligence (2013) (2)
Video Analytics. Face and Facial Expression Recognition (2018) (2)
Software Composition (2012) (2)
Computers Helping People with Special Needs (2018) (2)
Mathematical Foundations of Computer Science 2014 (2014) (2)
The Equivalence of Sequential Machine Models (1963) (2)
Advanced Functional Programming (1998) (2)
Economics of Grids, Clouds, Systems, and Services (2012) (2)
Logic for Programming, Artificial Intelligence, and Reasoning (2012) (2)
Road Traffic Management (1999) (2)
Turing Machine-Inspired Computer Science Results (2012) (1)
Theory of Grouping (2001) (1)
Algorithm Theory - SWAT 2000 (2002) (1)
GENERALIZED KOLMOGOROVCOMPLEXITY AND THE STRUCTUREOF FEASmLE COMPUTATIONS (1983) (1)
A note on the lattice of geometries (1957) (1)
Symbiotic Interaction (2017) (1)
A Mathematical Theory of Architecture (2001) (1)
Structural complexity theory: recent surprises (invited) (1990) (1)
Recent Advances in Parallel Virtual Machine and Message Passing Interface (2000) (1)
Model and Data Engineering (2012) (1)
Image Analysis and Recognition (2012) (1)
Field Programmable Logic and Application: 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings (2003) (1)
Product Focused Software Process Improvement (2004) (1)
Spatiotemporal Specification & Verification for Multimedia Scenarios (1999) (1)
Modelling Foundations and Applications (2018) (1)
I. the Smart Project -status Report and Plans (1967) (1)
Parallel Processing and Applied Mathematics (2017) (1)
Information and Communications Security (2012) (1)
Image Analysis and Recognition (2012) (1)
Problems for Solution: 4869-4874 (1959) (1)
Graphical Models for Security (2017) (1)
Computer Vision – ACCV 2012 (2012) (1)
On the Structure of Finite Automata (1967) (1)
Experimental Algorithms (2012) (1)
Public Key Cryptography (1999) (1)
Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings (2019) (1)
Applied Cryptography and Network Security (2003) (1)
Graph Transformations (2004) (1)
Coalgebraic Methods in Computer Science (2018) (1)
Mobile Agents for Telecommunication Applications (2002) (1)
Distributed Artificial Intelligence (1999) (1)
Human Centered Computing (2017) (1)
STACS 2003 (2003) (1)
Web Information Systems Engineering – WISE 2014 (2014) (1)
On the Importance of Being II2-Hard (1989) (1)
Critical Information Infrastructures Security (2018) (1)
A Note on Natural Creative Sets and Goedel Numberings (1980) (1)
On the Importance of Being II 2 -Hard. (1993) (1)
On Memory Requirements for Context-Free Language Recognition (1967) (1)
Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II (2019) (1)
Information Security Theory and Practice (2018) (1)
Structural Complexity Column for the Bulletin of the European Association for Theoretical Computer Science (1987) (1)
Job Scheduling Strategies for Parallel Processing (2012) (1)
Logic, Automata, and Algorithms (Mark A. Aisermann, Leonid A. Gusev, Lev I. Rozonoer, Irena M. Smirnova and Aleksey A. Tal*#8217;) (1972) (1)
Service-Oriented and Cloud Computing (2013) (1)
Formal Languages (Arto Salomaa) (1975) (1)
On non-isomorphic NP complete sets (1983) (1)
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 (2017) (1)
Network and System Security (2012) (1)
Computational Geometry (2012) (1)
The Equivalence Problem for Regular Expressions Over One Letter is Elementary (1974) (1)
Computational Linguistics and Intelligent Text Processing (2016) (1)
A Generative Theory of Shape (2001) (1)
Digital Forensics and Watermarking (2011) (1)
Cooperative Design, Visualization, and Engineering (2017) (1)
Principles of Distributed Systems (2012) (0)
PULP Scription: A DSL for Mobile HTML5 Game Applications (2018) (0)
Foundations and Practice of Security (2012) (0)
Theory of Cryptography (2018) (0)
Follow the Grass: A Smart Material Interactive Pervasive Display (2018) (0)
Modeling Interactive Multimedia Documents (1999) (0)
If There Is a Witness in N Then Accept Else Reject End Be the Prexes in N in Lexicographical Order *) (1992) (0)
Security, Privacy, and Anonymity in Computation, Communication, and Storage (2018) (0)
Undecidability and Incompleteness Results in Automata Theory (2001) (0)
Refinement of Hierarchies of Time Bounded Computations (1968) (0)
Weakly Growing Context-sensitive Grammars Chicago Journal of Theoretical Computer Science (1996) (0)
Computer Security - ESORICS 2014 (2014) (0)
Big Data Analytics and Knowledge Discovery (2018) (0)
The Structure of the Complexity of Computations: A Guided Tour Through Complexity Classes (1994) (0)
A note on one-way and two-way automata (1969) (0)
Final Report on NSF Research Grant Automata and Computational Complexity 1968-1972 (1972) (0)
Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings (2018) (0)
Separation of complexity classes (2003) (0)
A Conversation with Juris Hartmanis (2010) (0)
OBSERVATIONS ABOUT THE DEVELOPNENT OF THEORETICAL COl-lPUTER SCIENCE (1979) (0)
Future Generation Information Technology (2012) (0)
Public-Key Cryptography – PKC 2019 (2019) (0)
On the application of pair algebra to automata theory (1964) (0)
Computer Performance Engineering (2012) (0)
Progress in Cryptology – AFRICACRYPT 2016 (2016) (0)
Web Information Systems Engineering – WISE 2018 (2018) (0)
An Instrumentation of Structural Co-operation (1999) (0)
Graph Drawing (2003) (0)
Real Story Interaction: The Role of Global Agency in Interactive Storytelling (2018) (0)
Unconventional Models of Computation (2002) (0)
Cooperative Design, Visualization, and Engineering (2012) (0)
Abstracts of Current Computer Literature (1967) (0)
Security and Trust Management (2012) (0)
Algorithms and Architectures for Parallel Processing (2018) (0)
From Database to Cyber Security (2018) (0)
A Retrospective on Structural Complexity (1993) (0)
An index and other useful information (1981) (0)
Transactions on Computational Collective Intelligence XXXIII (2019) (0)
Security Standardisation Research (2018) (0)
Financial Cryptography (2004) (0)
Job Scheduling Strategies for Parallel Processing (2018) (0)
Artificial Intelligence and Security: 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II (2019) (0)
Indexing Large Multimedia Applications: A Spatiotemporal Indexing Scheme (1999) (0)
Advances in Cryptology, 1981-1997: Electronic Proceedings and Index of the Crypto and Eurocrypt Conferences 1981-1997 (2001) (0)
Passive and Active Network Measurement (2007) (0)
Logical Foundations of Computer Science (2013) (0)
Ad-Hoc, Mobile, and Wireless Networks (2004) (0)
Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers (2019) (0)
7. Relativized P=NP Problem (1989) (0)
Coalgebraic Methods in Computer Science (2014) (0)
Information Security (2012) (0)
Ada Software Tools Interfaces (1984) (0)
Electronic Participation (2014) (0)
MFDBS '91: Third Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, FRG, May 6-9, 1991, Proceedings (1991) (0)
Computing the future: whither computer science and engineering? (1993) (0)
Wreath Formulation of Sweep Representations (2001) (0)
Transformation of Declarative Specifications to Algorithmic Representation (1999) (0)
Computing and Combinatorics (2016) (0)
Pragmatic Aspects of Complexity Theory (Panel) (1986) (0)
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (2019) (0)
Against the Erlanger Program (2001) (0)
Automata, languages and programming, 2nd Colloquium, University of Saarbrücken, 2nd Colloquium, University of Saarbrücken, July 29-Auf. 2, 1974 /edited by Jacques Loeckx (1974) (0)
Open Problems in Network Security: IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 9, 2011, Revised Selected Papers (2012) (0)
The Separation Problems and Descriptional Complexity (2002) (0)
Computational Complexity and Mathematical Proofs (2001) (0)
Structural Co-operation and Bargaining (1999) (0)
Passive and Active Measurement (2019) (0)
4. Structure of Complete Sets (1989) (0)
Cooperative Design, Visualization, and Engineering (2018) (0)
On Polynomial Time Isomorphism of Complete Sets (1976) (0)
Trusted Systems (2011) (0)
Arithmetic of Finite Fields (2018) (0)
Cross-Cultural Design. Culture and Society (2019) (0)
Advances in Swarm Intelligence (2012) (0)
Fundamentals of Computation Theory (2015) (0)
Editorial Board (2004) (0)
Scaled Dimension and the Berman-Hartmanis Conjecture (2011) (0)
A Broader Research Agenda for Theory (1993) (0)
Information Security (2015) (0)
Some embedding theorems for lattices (1955) (0)
Self-stabilization by Tree Correction (info) Self-stabilization by Tree Correction (info) Self-stabilization by Tree Correction (1995) (0)
The Origins of Computational Complexity Some influences of (2014) (0)
NETWORKING 2012 (2012) (0)
Computer Vision - ECCV 2004 (2004) (0)
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 (1993) (0)
6. What Can and Cannot Be Proven about Computational Complexity (1989) (0)
Experimental Algorithms (2015) (0)
2. Reductions and Complete Sets (1989) (0)
Structural Complexity (1993) (0)
Constructivity in Computer Science: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings (1992) (0)
Time Simulator in Virtual Reality for Children with Attention Deficit Hyperactivity Disorder (2018) (0)
Computational complexity of formal translations (1974) (0)
Multidisciplinary Information Retrieval (2012) (0)
fAARS: A Platform for Location-Aware Trans-reality Games (2018) (0)
Proceedings of the 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems on Uncertainty and intelligent systems (1988) (0)
Authoring Interactive Multimedia Presentations (1999) (0)
Green, Pervasive, and Cloud Computing (2018) (0)
Algebraic Theory of Inheritance (2001) (0)
Descriptional Complexity of Formal Systems (2014) (0)
Editorial Board (2012) (0)
Database Systems for Advanced Applications (2004) (0)
The Turing Computational Model (2012) (0)
NETWORKING 2012 (2012) (0)
IFIP conference on optimization techniques, Novosibirsk, July 1-7, 1974 /edited by G. I. Marchuk (1975) (0)
Membership in the Professional Technical Group on Electronic Computers (1963) (0)
Approximation and Online Algorithms (2011) (0)
Information Security and Privacy: 23rd Australasian Conference, ACISP 2018, Wollongong, NSW, Australia, July 11-13, 2018, Proceedings (2018) (0)
Provable Security (2012) (0)
Computational Linguistics and Intelligent Text Processing (2013) (0)
3. L-Isomorphisms of Complete Sets (1989) (0)
Unfolding Groups, III (2001) (0)
Computer Aided Verification (1996) (0)
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 (1961) (0)
Distributed Applications and Interoperable Systems (2019) (0)
Proceedings 13 Volume Editors (2013) (0)
On the Intellectual Terrain Around NP (1994) (0)
Static Analysis (2016) (0)
A Design Code of Practice (2005) (0)
Mathematical Theory of Transfer, II (2001) (0)
Reversible Computation (2017) (0)
Verification, Model Checking, and Abstract Interpretation (2019) (0)
Rendering Interactive Multimedia Scenarios (1999) (0)
Developments in Language Theory (2018) (0)
Pspace-hard Functions Checkable Debate Systems and Approximation Algorithms for Pspace (2007) (0)
Algorithms and Architectures for Parallel Processing (2018) (0)
Integer Programming and Combinatorial Optimization (2013) (0)
Emergent Co-ordination by Structural Co-operation (1999) (0)
Conservation Laws of Physics (2001) (0)
Web and Big Data (2018) (0)
Advances in Swarm Intelligence (2013) (0)
Methods of algorithmic language implementation (1977) (0)
Theory of Cryptography (2018) (0)
Language and Automata Theory and Applications (2019) (0)
Theory of Cryptography (2017) (0)
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 (1998) (0)
Middleware 2013 (2013) (0)
Approximation and Online Algorithms (2015) (0)
Dr. Juris Hartmanis Interview: July 26, 2009; Cornell University in Ithaca, New York (2006) (0)
Runtime Verification (2013) (0)
Representation clauses and implementation-dependent features (1983) (0)
Computer Programs for Spelling Correction: An Experiment in Program Design (1980) (0)
Advances in Multimedia Information Systems (1998) (0)
Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings (2018) (0)
Observations about the Nature and State of Computer Science (Keynote Address) (1999) (0)
Graph Transformation (2016) (0)
Proceedings of the International Workshop on Experiences with Distributed Systems (1988) (0)
5. Long Proofs of Trivial Theorems (1989) (0)
Computational Science and Its Applications – ICCSA 2004 (2004) (0)
Editorial Board (2011) (0)
Cryptology and Network Security (2018) (0)
Foundations of Information and Knowledge Systems (2018) (0)
Eleventh Annual Switching and Automata Theory Symposium (1972) (0)
Databases Theory and Applications (2017) (0)

This paper list is powered by the following services:

Other Resources About Juris Hartmanis

What Schools Are Affiliated With Juris Hartmanis?

Juris Hartmanis is affiliated with the following schools:

Image Attributions

Image Source for Juris Hartmanis