WorldCat Identities

Hartmanis, Juris

Overview
Works: 1,064 works in 1,338 publications in 4 languages and 10,279 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Author, Editor, Other, Honoree
Classifications: QA267, 510.78
Publication Timeline
.
Most widely held works by Juris Hartmanis
Computing the future : a broader agenda for computer science and engineering by Herbert Lin( )

14 editions published in 1992 in English and held by 1,950 WorldCat member libraries worldwide

Algebraic structure theory of sequential machines by Juris Hartmanis( Book )

19 editions published between 1966 and 1975 in 4 languages and held by 521 WorldCat member libraries worldwide

Computational complexity theory by Juris Hartmanis( Book )

17 editions published between 1988 and 2014 in English and held by 432 WorldCat member libraries worldwide

Feasible computations and provable complexity properties by Juris Hartmanis( Book )

13 editions published between 1978 and 1989 in English and held by 383 WorldCat member libraries worldwide

An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations. The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL, P, NP, PTAPE, EXPTIME, and EXPTAPE. Definitions and results are uniformly extended to computationally simpler natural families of languages such as NL, P, and CSL by using Log n-tape bounded reductions. The problem of determining what can and cannot be formally proven about running times of algorithms is discussed and related to the problem of establishing sharp time bounds for one-tape Turing machine computations, and the inability to formally prove running times for algorithms is then related to the presence of gaps in the hierarchy of complexity classes. The concluding discussion is on the possibility that the famous P=NP? problem is independent of the axioms of formal mathematical systems such as set theory
Co-ordination in Artificial Agent Societies Social Structures and Its Implications for Autonomous Problem-Solving Agents by Gerhard Goos( )

5 editions published in 1999 in English and held by 149 WorldCat member libraries worldwide

This monograph provides a comprehensive survey of the different approaches to coordination in societies of artificial an human agents. Setting out from a critical assessment of the state of the art, the author develops a method of structuring multi-agent applications with a mechanism called structural cooperation. Agents are equipped with expertise about their environment in order to detect and overcome specific types of problem, they make use of their social knowledge to mutually adjust their activities, and they are coerced toward coherent collective behavior through normative rules. The proposed model is formalized theoretically within game theory and realized by means of an agent architecture. It is assessed experimentally by building a prototype of a distributed decision support system for road traffic management and compared to an alternative model based on a centralized architecture. A valuable feature of the work is that it not only promotes a well-founded formal model of coordination in artificial agent societies but also applies it in an operational software architecture organized as a society of intelligent agents to solve real-world problems
Algorithm Theory - SWAT 2000 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 Proceedings by Gerhard Goos( )

5 editions published in 2000 in English and held by 146 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 7th Scandinavian Workshop on Algorithm Theory, SWAT 2000, held in Bergen, Norway, in July 2000. The 43 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from a total of 105 submissions. The papers are organized in sections on data structures, dynamic partitions, graph algorithms, online algorithms, approximation algorithms, matchings, network design, computational geometry, strings and algorithm engineering, external memory algorithms, optimization, and distributed and fault-tolerant computing
Advances in Multimedia Information Systems 4th International Workshop, MIS'98 Istanbul, Turkey September 24-26, 1998 Proceedings by Gerhard Goos( )

4 editions published in 1998 in English and held by 146 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 4th International Workshop on Multimedia Information Systems, MIS'98, held in Istanbul, Turkey, in September 1998. The book presents 13 revised full papers together with six short papers and two abstracts of invited talks. Among the topics addressed are multimedia storage system design, image storage and retrieval, quality of service considerations, networking support for multimedia information systems, distributed virtual environments, and multimedia system architecture issues
Unconventional Models of Computation Third International Conference, UMC 2002 Kobe, Japan, October 15-19, 2002 Proceedings by Gerhard Goos( )

5 editions published in 2002 in English and held by 145 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Third International Conference on Unconventional Models of Computation, UMC 2002, held in Kobe, Japan in October 2002. The 18 revised full papers presented together with eight invited full papers were carefully reviewed and selected from 36 submissions. All major areas of unconventinal computing models are covered, especially quantum computing, DNA computing, membrane computing, cellular computing, and possibilities to break Turing's barrier. The authors address theoretical aspects, practical implementations, as well as philosophical reflections
A Generative Theory of Shape by Gerhard Goos( )

3 editions published in 2001 in English and held by 142 WorldCat member libraries worldwide

The purpose of the book is to develop a generative theory of shape that has two properties regarded as fundamental to intelligence - maximizing transfer of structure and maximizing recoverability of the generative operations. These two properties are particularly important in the representation of complex shape - which is the main concern of the book. The primary goal of the theory is the conversion of complexity into understandability. For this purpose, a mathematical theory is presented of how understandability is created in a structure. This is achieved by developing a group-theoretic approach to formalizing transfer and recoverability. To handle complex shape, a new class of groups is developed, called unfolding groups. These unfold structure from a maximally collapsed version of itself. A principal aspect of the theory is that it develops a group-theoretic formalization of major object-oriented concepts such as inheritance. The result is a mathematical language that brings interoperability into the very foundations of geometry. The book gives extensive applications of the theory to CAD/CAM, human and machine vision, robotics, software engineering, and physics. In CAD, lengthy chapters are presented on mechanical and architectural design. For example, using the theory of unfolding groups, the book works in detail through the main stages of mechanical CAD/CAM: part-design, assembly and machining. And within part-design, an extensive algebraic analysis is given of sketching, alignment, dimensioning, resolution, editing, sweeping, feature-addition, and intent-management. In robotics, several levels of analysis are developed for manipulator structure and kinematics. In software, a new theory is given of the principal factors such as text and class structure, object creation and modification, as well as inheritance and hierarchy prediction. In physics, a new theory is given of the conservation laws, and motion decomposition theorems in classical and quantum mechanics
Object-oriented technology : ECOOP 2000 workshop reader : ECOOP 2000 workshops, panels, and posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings by Gerhard Goos( )

3 editions published in 2000 in English and held by 139 WorldCat member libraries worldwide

This book documents the satellite events run around the 14th European Conference on Object-Oriented Programming, ECOOP 2000 in Cannes and Sophia Antipolis in June 2000. The book presents 18 high-quality value-adding workshop reports, one panel transcription, and 15 posters. All in all, the book offers a comprehensive and thought-provoking snapshot of the current research in object-orientation. The wealth of information provided spans the whole range of object technology, ranging from theoretical and foundational issues to applications in various domains
Multiple Classifier Systems : First International Workshop, MCS 2000 Cagliari, Italy, June 2123, 2000 Proceedings by Gerhard Goos( )

3 editions published between 2000 and 2002 in English and held by 103 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First International Workshop on Multiple Classifier Systems, MCS 2000, held in Cagliari, Italy in June 2000. The 33 revised full papers presented together with five invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on theoretical issues, multiple classifier fusion, bagging and boosting, design of multiple classifier systems, applications of multiple classifier systems, document analysis, and miscellaneous applications
Advances in cryptology : EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings by Birgit Pfitzmann( )

3 editions published in 2001 in English and held by 101 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT 2001, held in Innsbruck, Austria in May 2001. The 32 revised full papers presented were carefully reviewed and selected from a total of 155 submissions. The papers are organized in topical sections on elliptic curves, commitments, anonymity, signatures and hash functions, XTR and NTRU, assumptions, multiparty protocols, block ciphers, primitives, symmetric ciphers, key exchange and multicast, and authentication and identification
Computer Vision - ECCV 2000 : 6th European Conference on Computer Vision Dublin, Ireland, June 26 July 1, 2000 Proceedings, Part I by Gerhard Goos( )

2 editions published in 2000 in English and held by 100 WorldCat member libraries worldwide

The two-volume set LNCS 1842/1843 constitutes the refereed proceedings of the 6th European Conference on Computer Vision, ECCV 2000, held in Dublin, Ireland in June/July 2000. The 116 revised full papers presented were carefully selected from a total of 266 submissions. The two volumes offer topical sections on recognition and modelling; stereoscopic vision; texture and shading; shape; structure from motion; image features; active, real-time, and robot vision; segmentation and grouping; vision systems engineering and evaluation; calibration; medical image understanding; and visual motion
Computer Programs for Spelling Correction: An Experiment in Program Design( )

1 edition published in 1980 in English and held by 88 WorldCat member libraries worldwide

The Programming Language Ada Reference Manual Proposed Standard Document United States Department of Defense by Gerhard Goos( )

6 editions published between 1980 and 1981 in English and held by 68 WorldCat member libraries worldwide

Information Hiding Second International Workshop, IH'98 Portland, Oregon, USA, April 14-17, 1998 Proceedings by Gerhard Goos( )

4 editions published between 1998 and 2001 in English and held by 56 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Information Hiding, IH'98, held in Portland, Oregon, USA in April 1998. The 25 revised full papers presented have gone through two rounds of reviewing and revision and were selected from initially 41 submissions. The book documents the state of the art in the area of information hiding research and development. The papers are organized in sections on steganography, other applications, copyright marking, attacks, and theory
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983 by Gerhard Goos( )

3 editions published between 1983 and 2005 in English and held by 54 WorldCat member libraries worldwide

State of the Art in Applied Cryptography Course on Computer Security and Industrial Cryptography Leuven, Belgium, June 3-6, 1997 Revised Lectures by Gerhard Goos( )

5 editions published in 1998 in English and held by 51 WorldCat member libraries worldwide

This book is based on a course on the state of the art of computer security and industrial cryptography held at the Katholieke Universiteit Leuven, Belgium in June 1997. The 19 revised full presentations included in the book are developed from lectures given during the course. The areas covered range from theoretical prerequisites and recent technical developments to standardization issues and real-world applications. Among the topics addressed are cryptographic primitives, block ciphers, authentication, cryptographic algorithms, public-key crypto systems, key management, network security, Internet security protocols, key escrow, smart cart security, digital cash, systems security, security management, and IT security standardization
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings by Gerhard Goos( )

1 edition published in 2003 in English and held by 50 WorldCat member libraries worldwide

Annotation The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking
Interactive Multimedia Documents Modeling, Authoring, and Implementation Experiences by Gerhard Goos( )

4 editions published in 1999 in English and held by 49 WorldCat member libraries worldwide

Multimedia information systems is a rapidly growing area of research and development, attracting increasing interest from a variety of application fields including business, entertainment, manufacturing, education, CAD, CAE, medicine, etc. Due to the diverse nature of the information dealt with and the increased functionality (e.g., user interaction), the capabilities and system requirements of multimedia information systems dramatically exceed those of conventional databases and database management systems. This book presents an integrated approach to interactive multimedia documents. After summarizing the prerequisites and background information, the author develops an IMD model taking into account interaction and spatiotemporal composition. Based on this model, the author develops an integrated framework covering most of the steps during the life cycle of an IMD, namely data modeling, authoring, verification and querying, execution and rendering, and indexing
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.41 (from 0.06 for Computing ... to 0.99 for Hartmanis, ...)

Computing the future : a broader agenda for computer science and engineering
Covers
Feasible computations and provable complexity propertiesAdvances in Multimedia Information Systems 4th International Workshop, MIS'98 Istanbul, Turkey September 24-26, 1998 ProceedingsUnconventional Models of Computation Third International Conference, UMC 2002 Kobe, Japan, October 15-19, 2002 ProceedingsObject-oriented technology : ECOOP 2000 workshop reader : ECOOP 2000 workshops, panels, and posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedingsMultiple Classifier Systems : First International Workshop, MCS 2000 Cagliari, Italy, June 2123, 2000 ProceedingsAdvances in cryptology : EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedingsThe Programming Language Ada Reference Manual Proposed Standard Document United States Department of DefenseInformation Hiding Second International Workshop, IH'98 Portland, Oregon, USA, April 14-17, 1998 ProceedingsThe Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983
Alternative Names
Hartmanis, J.

Hartmanis, J. 1928-

Hartmanis, J. (Juris)

Hartmanis, J. (Juris), 1928-

Juris Hartmanis amerykański informatyk-teoretyk łotewskiego pochodzenia

Juris Hartmanis Latvian computer scientist

Juris Hartmanis Lets wiskundige

Juris Hartmanis lettischer/US-amerikanischer Informatiker

Juris Hartmanis lotyšský informatik

Yuris Hartmanis

Хартманис, Юрис

Юрис Хартманис

Юріс Гартманіс

Յուրիս Հարթմանիս

جوريس هارتمانيس

জুরিস হার্টম্যানিস

იურის ხარტმანისი

იურის ჰარტმანისი ლატვიელი ინფორმატიკოსი და ალგორითმების თეორეტიკოსი

유리스 하르트마니스

ユリス・ハルトマニス

尤里斯·哈特马尼斯 Computer scientist

Languages
English (134)

Spanish (1)

Italian (1)

German (1)