Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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 - Berndt Farwer, Michael Köhler:
Petri Net Processes for Zero-Safe Nets. 65-75 - Anna Gomolinska:
Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces. 77-92 - Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska:
On Star-Connected Flat Languages. 93-105 - 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 - Ryszard Janicki, Alan Wassyng:
Tabular Expressions and Their Relational Semantics. 343-370 - Ionut Popa:
KDS-transformation for Data Compression. 371-375 - Jian Xu, Jeffery I. Zucker:
First and Second Order Recursion on Abstract Data Types. 377-419
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
