The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
2005, volume: 67, number: 1-3

  1. Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj
    Preface: Concurrency Specification and Programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:- [Journal]
  2. Roberto Barbuti, Stefano Cataudella
    Abstract Interpretation of an Object Calculus for Synchronization Optimizations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:1-12 [Journal]
  3. Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Probabilistic Model for Molecular Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:13-27 [Journal]
  4. Marco Bellia, M. Eugenia Occhiuto
    Higher order Programming in Java: Introspection, Subsumption and Extraction. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:29-44 [Journal]
  5. Ludwik Czaja
    An Axiomatic Framework for Proving Correctness of Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:45-64 [Journal]
  6. Berndt Farwer, Michael Köhler
    Petri Net Processes for Zero-Safe Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:65-75 [Journal]
  7. Anna Gomolinska
    Satisfiability and Meaning of Formulas and Sets of Formulas in Approximation Spaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:77-92 [Journal]
  8. Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska
    On Star-Connected Flat Languages. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:93-105 [Journal]
  9. Sergiy Kryvyy, Lyudmila Matvyeyeva, Mariya Lopatina
    Automatic Modeling and Analysis of MSC-specified Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:107-120 [Journal]
  10. Manfred Kudlek
    Probability in Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:121-130 [Journal]
  11. Rafal Latkowski
    Flexible Indiscernibility Relations for Missing Attribute Values. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:131-147 [Journal]
  12. Louchka Popova-Zeugmann, Monika Heiner, Ina Koch
    Time Petri Nets for Modelling and Analysis of Biochemical Networks. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:149-162 [Journal]
  13. Louchka Popova-Zeugmann, Matthias Werner
    Extreme Runtimes of Schedules Modelled by Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:163-174 [Journal]
  14. Roman R. Redziejowski
    Associative Omega-products of Traces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:175-185 [Journal]
  15. Kay Schröter, Diemo Urbig, Nora Hans
    Social Formation of Negotiation Space and Groups for Non-Isolated Multilateral Negotiations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:187-201 [Journal]
  16. Jaroslaw Stepaniuk, Jan G. Bazan, Andrzej Skowron
    Modelling Complex Patterns by Information Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:203-217 [Journal]
  17. Zbigniew Suraj, James F. Peters, Piotr Grochowalski
    A Controller Design for the Khepera Robot: A Rough Set Approach. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:219-231 [Journal]
  18. Zbigniew Suraj, Krzysztof Pancerz
    Restriction-Based Concurrent System Design Using the Rough Set Formalism. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:233-247 [Journal]
  19. Piotr Synak, Jan G. Bazan, Andrzej Skowron, James F. Peters
    Spatio-Temporal Approximate Reasoning over Complex Objects. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:249-269 [Journal]
  20. Diemo Urbig
    Weight-Based Negotiation Mechanisms: Balancing Personal Utilities. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:271-285 [Journal]
  21. Dobieslaw Wróblewski
    Universal Semi-local Election Protocol Using Forward Links. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:287-301 [Journal]
  22. Andrzej Zbrzezny
    SAT-based Reachability Checking for Timed Automata with Diagonal Constraints. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:67, n:1-3, pp:303-322 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002