J.UCS, Volume 8

Volume 8, Number 1, January 2002

• Hermann A. Maurer:
  Managing Editor's Column. 1
  
• Egon Börger:
  The Origins and the Development of the ASM Method for High Level System Design and Analysis. 2-74
  
• Emanuele Covino, Giovanni Pani:
  An Implicit Recursive Language for the Polynomial Time-space Complexity Classes. 75-84
  
• Hermann A. Maurer, Klaus Tochtermann:
  On a New Powerful Model for Knowledge Management and its Applications. 85-96
  
• Klaus Schmaranz:
  On Second Generation Distributed Component Systems. 97-116
  

Volume 8, Number 2, February 2002

• Cristian Calude, Kai Salomaa, Sheng Yu:
  Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Jürgensen - J.UCS Special Issue. 117-118
  
• Henning Bordihn, Markus Holzer:
  On the Computational Complexity of Synchronized Context-Free Languages. 119-140
  
• Cristian Calude, Kai Salomaa, Sheng Yu:
  Additive Distances and Quasi-Distances Between Words. 141-152
  
• Dana Cristofor, Dan A. Simovici:
  Finding Median Partitions Using Information-Theoretical-Based Genetic Algorithms. 153-172
  
• Zoltán Ésik, Werner Kuich:
  Rationally Additive Semirings. 173-183
  
• Ferenc Gécseg:
  On Quasi-Products of Tree Automata. 184-192
  
• Jonathan Goldstine, Martin Kappes, Chandra M. R. Kintala, Hing Leung, Andreas Malcher, Detlef Wotschke:
  Descriptional Complexity of Machines with Limited Resources. 193-234
  
• Peter Hertling:
  Simply Normal Numbers to Different Bases. 235-242
  
• H. K. Hsiao, C. C. Huang, S. S. Yu:
  Word Operation Closure and Primitivity of Languages. 243-256
  
• Masami Ito:
  Shuffle Decomposition of Regular Languages. 257-259
  
• Masami Ito, Jürgen Dassow, Ralf Stiebe:
  Some Remarks on Codes Defined by Petri Nets. 260-269
  
• Jarkko Kari:
  Synchronization and Stability of Finite Automata. 270-277
  
• Stavros Konstantinidis:
  Error-Correction, and Finite-Delay Decodability. 278-291
  
• Solomon Marcus:
  Bridging Two Hierarchies of Infinite Words. 292-296
  
• Maurice Margenstern:
  Tiling the Hyperbolic Plane with a Single Pentagonal Tile. 297-316
  
• Carlos Martín-Vide, Andrei Paun, Gheorghe Paun:
  On the Power of P Systems with Symport Rules. 317-331
  
• Arto Salomaa:
  Generation of Constants and Synchronization of Finite Automata. 332-347
  
• Ludwig Staiger:
  How Large is the Set of Disjunctive Sequences? 348-362
  
• Bruce W. Watson:
  A Fast and Simple Algorithm for Constructing Minimal Acyclic Deterministic Finite Automata. 363-367
  

Volume 8, Number 3, March 2002

• Hermann A. Maurer:
  Managing Editor's Column. 368
  
• Fernando Arroyo, Angel V. Baranda, Juan Castellanos, Gheorghe Paun:
  Membrane Computing: The Power of (Rule) Creation. 369-381
  
• Vasco Brattka:
  Some Notes on Fine Computability. 382-395
  
• Jenny Shearer, Hermann A. Maurer:
  Is Democracy Possible in the Internet? 396-407
  

Volume 8, Number 4, April 2002

• Hermann A. Maurer:
  Managing Editor's Column. 408
  
• Jennifer Lennon, H. Liu, Hermann A. Maurer:
  HWOES: A Hyperwave Online Employment Service. 409-422
  
• Mirko Viroli, Andrea Omicini:
  Modelling Agents as Observable Sources. 423-451
  

Volume 8, Number 5, 2002

• Klaus Tochtermann, Hermann A. Maurer:
  J.UCS Special Issue: I-Know '02 - People-Oriented Knowledge Management. 453-455
  
• Johann Günther:
  The New Mobility of Our Society Caused by Telecommunications. 456-481
  
• Ursula Schneider:
  The Knowledge-Attention-Gap: Do We Underestimate the Problem of Information Overload in Knowledge Management. 482-490
  
• Mark T. Maybury:
  Knowledge on Demand: Knowledge and Expert Discovery. 491-505
  
• Jacqueline Renée Reich, Peter Brockhausen, Thorsten Lau, Ulrich Reimer:
  Ontology-Based Skills Management: Goals, Opportunities and Challenges. 506-515
  
• Andrea Kasztler, Karl-Heinz Leitner:
  Bibliometric Analysis and Visualisation of Intellectual Capital. 516-525
  
• Shantha Liyanage:
  Knowledge and Intellectual Capital Management Processes: Grounding Knowledge and Understanding of Organisational Learning. 526-535
  
• Rüdiger Reinhardt, Beate Stattkus:
  Fostering Knowledge Communication: Concept And Implementation. 536-545
  
• Elisabeth Milchrahm, Arnulf Hasler:
  Knowledge Transfer in Recycling Networks: Fostering Sustainable Development. 546-556
  
• Anita Komlodi:
  The Role of Interaction Histories in Mental Model Building and Knowledge Sharing in the Legal Domain. 557-
  

Volume 8, Number 6, 2002

• Klaus Tochtermann, Hermann A. Maurer:
  Special Issue: I-Know '02 - Technology-Oriented Knowledge Management. 567-569
  
• Kurt Schneider:
  What to Expect from Software Experience Exploitation. 570-580
  
• Wolf-Fritz Riekert:
  Automated Retrieval of Information in the Internet by Using Thesauri and Gazetteers as Knowledge Sources. 581-590
  
• Lobna Jeribi, Béatrice Rumpler:
  Instance Cooperative Memory to Improve Query Expansion in Information Retrieval Systems. 591-601
  
• Howard D. Wactlar:
  Extracting and Visualizing Knowledge from Film and Video Archives. 602-612
  
• Solomon Atnafu, Richard Chbeir, Lionel Brunie:
  Efficient Content-Based and Metadata Retrieval in Image Database. 613-622
  
• Karsten Böhm, Gerhard Heyer, Uwe Quasthoff, Christian Wolff:
  Topic Map Generation Using Text Mining. 623-643
  
• Harald Karner, Georg Droschl:
  Usage-Centered Interface Design for Knowledge Management Software. 634-643
  
• Thomas Schwotzer, Kurt Geihs:
  Shark - a System for Management, Synchronization and Exchange of Knowledge in Mobile User Groups. 644-651
  
• Matteo Bonifacio, Paolo Bouquet, Roberta Cuel:
  Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge. 652-661
  
• Rudi Studer, York Sure, Raphael Volz:
  Managing User Focused Access to Distributed Knowledge. 662-
  

Volume 8, Number 7, 2002

• Demissie B. Aredo:
  A Framework for Semantics of UML Sequence Diagrams in PVS. 674-697
  
• Daniel Won-Kyu Hong, Choong Seon Hong, Dong-Sik Yun, Jae-Hyoung Yoo, Woo-Sung Kim:
  Bounded Flooding Routing Algorithm for Provisioning the Globally Optimal Route in a Hierarchical ATM Network. 698-721
  
• Werner Kuich, Norbert Sauer, Friedrich J. Urbanek:
  Heyting Algebras and Formal Languages. 722-
  

Volume 8, Number 8, 2002

• Hans W. Guesgen:
  J.UCS Special Issue on Spatial and Temporal Reasoning. 737-738
  
• Mike Barley, Hans W. Guesgen, Gareth Karl:
  An Architecture for a Three-Tier Path-Finder. 739-750
  
• Florence Le Ber, Amedeo Napoli:
  The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations. 751-773
  
• Debasis Mitra, Gérard Ligozat:
  Spatial-reasoning for Agents in Multiple Dimensions. 774-792
  
• Sylviane R. Schwer:
  Reasoning with Intervals on Granules. 793-807
  
• Hartmut Surmann, Antonio Morales:
  Scheduling Tasks to a Team of Autonomous Mobile Service Robots in Indoor Enviroments. 808-
  

Volume 8, Number 9, 2002

• Joachim Hasebrook:
  Co-operative and Interactive Distance Learning: Application of Team-Oriented and Selective Learning Strategies in a European Bank. 834-847
  
• Hans-Georg Stork:
  Webs, Grids and Knowledge Spaces: Programmes, Projects and Prospects. 848-
  

Volume 8, Number 10, 2002

• David L. Hicks, Uffe Kock Wiil, Peter J. Nürnberg:
  Research in Structural Computing. 871-880
  
• Volker Mattick:
  Design for All as a Challenge for Hypermedia Engineering. 881-891
  
• Alexander Fronk:
  An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Development. 892-912
  
• Erich Gams, Siegfried Reich:
  The TrailTRECer Framework: Applying Open Hypermedia Concepts to Trails. 913-923
  
• Alexander Mehler:
  Components of a Model of Context-Sensitive Hypertexts. 924-943
  
• Jörg Westbomke, Gisbert Dittrich:
  Towards an XML-based Implementation of Structured Hypermedia Documents. 944-956
  
• Gisbert Dittrich:
  Mental Models to Represent Dynamics - Using the Example "factorial". 957-964
  
• Mathias Lux, Werner Klieber, Jutta Becker, Klaus Tochtermann, Harald Mayer, Helmut Neuschmied, Werner Haas:
  XML and MPEG-7 for Interactive Annotation and Retrieval using Semantic Meta-data. 965-984
  
• Helmut Mülner:
  Software for a Multimedia Encyclopedia. 985-
  

Volume 8, Number 11, 2002

• Frédéric Messine:
  Extentions of Affine Arithmetic: Application to Unconstrained Global Optimization. 992-1015
  
• Lutz Prechelt, Guido Malpohl, Michael Philippsen:
  Finding Plagiarisms among a Set of Programs with JPlag. 1016-
  

Volume 8, Number 12, 2002

• Juha Honkala:
  On the Simplification of HD0L Power Series. 1040-1046
  
• Florentina Hristea:
  On the Semiautomatic Generation of WordNet Type Synsets and Clusters. 1047-