SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540001454, 9783540361374

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specification and Verification of Secure Business Transaction Systems

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_18 ◽

2002 ◽

pp. 240-252

Author(s):

Vangalur S. Alagar ◽

Kasi Periyasamy

Keyword(s):

Business Transaction ◽

Specification And Verification

Download Full-text

Interactive Indexing and Retrieval of Multimedia Content

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_8 ◽

2002 ◽

pp. 135-148 ◽

Cited By ~ 7

Author(s):

Marcel Worring ◽

Andrew Bagdanov ◽

Jan v. Gemert ◽

Geusebroek Jan-Mark ◽

Hoang Minh ◽

...

Keyword(s):

Multimedia Content ◽

Indexing And Retrieval

Download Full-text

Equivalence-Checking with Infinite-State Systems: Techniques and Results

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_3 ◽

2002 ◽

pp. 41-73 ◽

Cited By ~ 6

Author(s):

Antonín Kučera ◽

Petr Jančar

Keyword(s):

Equivalence Checking ◽

Infinite State Systems ◽

Infinite State

Download Full-text

A Model-Based Approach to Semantic-Based Retrieval of Visual Information

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_9 ◽

2002 ◽

pp. 149-167 ◽

Cited By ~ 1

Author(s):

Forouzan Golshani ◽

Youngchoon Park ◽

Sethuraman Panchanathan

Keyword(s):

Visual Information ◽

Model Based

Download Full-text

Database Support for Multisource Multiresolution Scientific Data

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_5 ◽

2002 ◽

pp. 94-114 ◽

Cited By ~ 4

Author(s):

Philip J. Rhodes ◽

R. Daniel Bergeron ◽

Ted M. Sparr

Keyword(s):

Scientific Data ◽

Database Support

Download Full-text

The Complexity of Probabilistic versus Quantum Finite Automata

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_21 ◽

2002 ◽

pp. 273-278

Author(s):

Gatis Midrijānis

Keyword(s):

Finite Automata ◽

Quantum Finite Automata

Download Full-text

Modelling Resource Transitions in Constraint-Based Scheduling

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_13 ◽

2002 ◽

pp. 186-194 ◽

Cited By ~ 4

Author(s):

Roman Barták

Download Full-text

Multimedia Presentations Databases (Extended Abstract)

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_7 ◽

2002 ◽

pp. 132-134

Author(s):

Maria Luisa Sapino

Keyword(s):

Multimedia Presentations

Download Full-text

Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_2 ◽

2002 ◽

pp. 20-40 ◽

Cited By ~ 7

Author(s):

Ralf Reussner

Keyword(s):

Finite State Machines ◽

State Machines ◽

New Model ◽

Finite State

Download Full-text

Solving Conflicts of Agent Knowledge States in Multiagent Systems

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science ◽

10.1007/3-540-36137-5_17 ◽

2002 ◽

pp. 231-239 ◽

Cited By ~ 1

Author(s):

Radoslaw Piotr Katarzyniak ◽

Ngoc Thanh Nguyen

Keyword(s):

Multiagent Systems ◽

Knowledge States ◽

Agent Knowledge

Download Full-text

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specification and Verification of Secure Business Transaction Systems

Interactive Indexing and Retrieval of Multimedia Content

Equivalence-Checking with Infinite-State Systems: Techniques and Results

A Model-Based Approach to Semantic-Based Retrieval of Visual Information

Database Support for Multisource Multiresolution Scientific Data

The Complexity of Probabilistic versus Quantum Finite Automata

Modelling Resource Transitions in Constraint-Based Scheduling

Multimedia Presentations Databases (Extended Abstract)

Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies

Solving Conflicts of Agent Knowledge States in Multiagent Systems

SOFSEM 2002: Theory and Practice of Informatics - Lecture Notes in Computer Science
Latest Publications