Fundamenta Informaticae, Volume 67

Volume 67, Number 1-3, 2005

• Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj:
  Preface: Concurrency Specification and Programming.
  Electronic Edition (link) BibTeX
• Roberto Barbuti, Stefano Cataudella:
  Abstract Interpretation of an Object Calculus for Synchronization Optimizations. 1-12
  Electronic Edition (link) BibTeX
• Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
  A Probabilistic Model for Molecular Systems. 13-27
  Electronic Edition (link) BibTeX
• Marco Bellia, M. Eugenia Occhiuto:
  Higher order Programming in Java: Introspection, Subsumption and Extraction. 29-44
  Electronic Edition (link) BibTeX
• Ludwik Czaja:
  An Axiomatic Framework for Proving Correctness of Nets. 45-64
  Electronic Edition (link) BibTeX
• Berndt Farwer, Michael Köhler:
  Petri Net Processes for Zero-Safe Nets. 65-75
  Electronic Edition (link) BibTeX
• Anna Gomolinska:
  Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces. 77-92
  Electronic Edition (link) BibTeX
• Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska:
  On Star-Connected Flat Languages. 93-105
  Electronic Edition (link) BibTeX
• Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina:
  Automatic Modeling and Analysis of MSC-specified Systems. 107-120
  Electronic Edition (link) BibTeX
• Manfred Kudlek:
  Probability in Petri Nets. 121-130
  Electronic Edition (link) BibTeX
• Rafal Latkowski:
  Flexible Indiscernibility Relations for Missing Attribute Values. 131-147
  Electronic Edition (link) BibTeX
• Louchka Popova-Zeugmann, Monika Heiner, Ina Koch:
  Time Petri Nets for Modelling and Analysis of Biochemical Networks. 149-162
  Electronic Edition (link) BibTeX
• Louchka Popova-Zeugmann, Matthias Werner:
  Extreme Runtimes of Schedules Modelled by Time Petri Nets. 163-174
  Electronic Edition (link) BibTeX
• Roman R. Redziejowski:
  Associative Omega-products of Traces. 175-185
  Electronic Edition (link) BibTeX
• Kay Schröter, Diemo Urbig, Nora Hans:
  Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations. 187-201
  Electronic Edition (link) BibTeX
• Jaroslaw Stepaniuk, Jan G. Bazan, Andrzej Skowron:
  Modelling Complex Patterns by Information Systems. 203-217
  Electronic Edition (link) BibTeX
• Zbigniew Suraj, James F. Peters, Piotr Grochowalski:
  A Controller Design for the Khepera Robot: A Rough Set Approach. 219-231
  Electronic Edition (link) BibTeX
• Zbigniew Suraj, Krzysztof Pancerz:
  Restriction-Based Concurrent System Design Using the Rough Set Formalism. 233-247
  Electronic Edition (link) BibTeX
• Piotr Synak, Jan G. Bazan, Andrzej Skowron, James F. Peters:
  Spatio-Temporal Approximate Reasoning over Complex Objects. 249-269
  Electronic Edition (link) BibTeX
• Diemo Urbig:
  Weight-Based Negotiation Mechanisms: Balancing Personal Utilities. 271-285
  Electronic Edition (link) BibTeX
• Dobieslaw Wróblewski:
  Universal Semi-local Election Protocol Using Forward Links. 287-301
  Electronic Edition (link) BibTeX
• Andrzej Zbrzezny:
  SAT-based Reachability Checking for Timed Automata with Diagonal Constraints. 303-322
  Electronic Edition (link) BibTeX

Volume 67, Number 4, 2005

• Françoise Gire, Corinne Plourde:
  A New Partial Semantics for Disjunctive Deductive Databases. 323-342
  Electronic Edition (link) BibTeX
• Ryszard Janicki, Alan Wassyng:
  Tabular Expressions and Their Relational Semantics. 343-370
  Electronic Edition (link) BibTeX
• Ionut Popa:
  KDS-transformation for Data Compression. 371-375
  Electronic Edition (link) BibTeX
• Jian Xu, Jeffery I. Zucker:
  First and Second Order Recursion on Abstract Data Types. 377-419
  Electronic Edition (link) BibTeX