The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
2006, volume: 72, number: 1-3

  1. Maria V. Andreeva, Irina Virbitskaite
    Observational Equivalences for Timed Stable Event Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:1-19 [Journal]
  2. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
    A Calculus of Looping Sequences for Modelling Microbiological Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:21-35 [Journal]
  3. Jan G. Bazan
    Behavioral Pattern Identification Through Rough Set Modeling. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:37-50 [Journal]
  4. Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski
    Expressing and Verifying Temporal and Structural Properties of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:51-63 [Journal]
  5. Piotr Chrzastowski-Wachtel
    Determining Sound Markings in Structured Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:65-79 [Journal]
  6. Ludwik Czaja
    Equations for message passing. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:81-93 [Journal]
  7. Anatoly E. Doroshenko, Ruslan Shevchenko
    A Rewriting Framework for Rule-Based Programming Dynamic Applications. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:95-108 [Journal]
  8. Berndt Farwer, Michael Köhler
    Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:109-122 [Journal]
  9. Berndt Farwer, Mauricio Varea
    Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:123-137 [Journal]
  10. Anna Gomolinska
    Possible Rough Ingredients of Concepts in Approximation Spaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:139-154 [Journal]
  11. Franciszek Grabowski, Dominik Strzalka
    Dynamic Behavior of Simple Insertion Sort Algorithm. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:155-165 [Journal]
  12. Damas P. Gruska
    Network Information Flow. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:167-180 [Journal]
  13. Agata Janowska, Pawel Janowski
    Slicing of Timed Automata with Discrete Data. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:181-195 [Journal]
  14. Magdalena Kacprzak
    A Strong Completeness Result for a MAS Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:197-213 [Journal]
  15. Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter
    Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:215-234 [Journal]
  16. Barbara Klunder
    Star-Connected Flat Languages and Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:235-243 [Journal]
  17. Michael Köhler, Heiko Rölke
    Properties of Super-Dual Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:245-254 [Journal]
  18. Manfred Kudlek
    On Quantum Vector Addition Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:255-261 [Journal]
  19. Miroslaw Kurkowski, Marian Srebrny
    A Quantifier-free First-order Knowledge Logic of Authentication. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:263-282 [Journal]
  20. Agnieszka Nowak, Alicja Wakulicz-Deja, Sebastian Bachlinski
    Optimization of Speech Recognition by Clustering of Phones. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:283-293 [Journal]
  21. Trung Thanh Nguyen, Claire P. Willis, Derek J. Paddon, Sinh Hoa Nguyen, Hung Son Nguyen
    Learning Sunspot Classification. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:295-309 [Journal]
  22. Edward Ochmanski, Joanna Pieckowska
    Trace Nets and Conflict-free Computations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:311-321 [Journal]
  23. Edward Ochmanski, Krystyna Stawikowska
    Star-free Star and Trace Languages. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:323-331 [Journal]
  24. Roman R. Redziejowski
    Associative Omega-product of Processes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:333-345 [Journal]
  25. Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M. Choe
    Update and Abstraction in Model Checking of Knowledge and Branching Time. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:347-361 [Journal]
  26. Andrzej Skowron, Jaroslaw Stepaniuk, James F. Peters, Roman W. Swiniarski
    Calculi of Approximation Spaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:363-378 [Journal]
  27. Jerzy Stefanowski, Szymon Wilk
    Rough Sets for Handling Imbalanced Data: Combining Filtering and Rule-based Classifiers. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:379-391 [Journal]
  28. Zbigniew Suraj, Neamat El Gayar, Pawel Delimata
    A Rough Set Approach to Multiple Classifier Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:393-406 [Journal]
  29. Józef Winkowski
    An Axiomatic Characterization of Algebras of Processes of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:407-420 [Journal]
  30. Marcin Wolski
    Complete Orders, Categories and Lattices of Approximations. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:421-435 [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