Fundamenta Informaticae, Volume 67
Volume 67, Number 1-3, 2005
Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj: Preface: Concurrency Specification and Programming.- Roberto Barbuti, Stefano Cataudella: Abstract Interpretation of an Object Calculus for Synchronization Optimizations. 1-12
- Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina: A Probabilistic Model for Molecular Systems. 13-27
- Marco Bellia, M. Eugenia Occhiuto: Higher order Programming in Java: Introspection, Subsumption and Extraction. 29-44
- Ludwik Czaja: An Axiomatic Framework for Proving Correctness of Nets. 45-64
- Anna Gomolinska: Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces. 77-92
- Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina: Automatic Modeling and Analysis of MSC-specified Systems. 107-120
- Manfred Kudlek: Probability in Petri Nets. 121-130
- Rafal Latkowski: Flexible Indiscernibility Relations for Missing Attribute Values. 131-147
- Louchka Popova-Zeugmann, Monika Heiner, Ina Koch: Time Petri Nets for Modelling and Analysis of Biochemical Networks. 149-162
- Louchka Popova-Zeugmann, Matthias Werner: Extreme Runtimes of Schedules Modelled by Time Petri Nets. 163-174
- Roman R. Redziejowski: Associative Omega-products of Traces. 175-185
- Kay Schröter, Diemo Urbig, Nora Hans: Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations. 187-201
- Jaroslaw Stepaniuk, Jan G. Bazan, Andrzej Skowron: Modelling Complex Patterns by Information Systems. 203-217
- Zbigniew Suraj, James F. Peters, Piotr Grochowalski: A Controller Design for the Khepera Robot: A Rough Set Approach. 219-231
- Zbigniew Suraj, Krzysztof Pancerz: Restriction-Based Concurrent System Design Using the Rough Set Formalism. 233-247
- Piotr Synak, Jan G. Bazan, Andrzej Skowron, James F. Peters: Spatio-Temporal Approximate Reasoning over Complex Objects. 249-269
- Diemo Urbig: Weight-Based Negotiation Mechanisms: Balancing Personal Utilities. 271-285
- Dobieslaw Wróblewski: Universal Semi-local Election Protocol Using Forward Links. 287-301
- Andrzej Zbrzezny: SAT-based Reachability Checking for Timed Automata with Diagonal Constraints. 303-322
Volume 67, Number 4, 2005
- Françoise Gire, Corinne Plourde: A New Partial Semantics for Disjunctive Deductive Databases. 323-342
- Ionut Popa: KDS-transformation for Data Compression. 371-375
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team