The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 159, number:

  1. Farhad Arbab, Marjan Sirjani
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:1-2 [Journal]
  2. Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar
    Transformation of UML Models into Analyzable OSAN Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:3-22 [Journal]
  3. M. Jamshid Bagherzadeh, S. Arun-Kumar
    Flexible Communication of Agents based on FIPA-ACL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:23-39 [Journal]
  4. Lorenzo Capra, Walter Cazzola
    A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:41-59 [Journal]
  5. Dave Clarke
    Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:61-77 [Journal]
  6. Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
    Interface Automata with Complex Actions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:79-97 [Journal]
  7. Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani
    Automated Mapping of Reo Circuits to Constraint Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:99-115 [Journal]
  8. Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi
    An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:117-137 [Journal]
  9. Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
    Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:139-154 [Journal]
  10. Yu Huang, Hanpin Wang, Peng Yu, Yunni Xia
    Property-Transition-Net-Based Workflow Process Modeling and Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:155-170 [Journal]
  11. Mohammad Izadi, Ali Movaghar-Rahimabadi
    An Equivalence Based Method for Compositional Verification of the Linear Temporal Logic of Constraint Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:171-186 [Journal]
  12. Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen
    Validating Behavioral Component Interfaces in Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:187-204 [Journal]
  13. Marc Aiguier, Diane Bahrami, Delphine Longuet
    An Abstract Way to Define Rewriting Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:205-226 [Journal]
  14. Mahdi Niamanesh, Nafiseh Fekrazad Nobakht, Rasool Jalili, Faranak Heydarian Dehkordi
    On Validity Assurance of Dynamic Reconfiguration for Component-based Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:227-239 [Journal]
  15. Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez
    From Theoretical e-barter Models to an Implementation Based on Web Services. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:241-264 [Journal]
  16. Shunsuke Sasaki, Tasuku Nishihara, Masahiro Fujita
    Slicing-based Hardware/Software Co-design Methodology From Functional Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:265-280 [Journal]
  17. Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
    Inductive Proof Outlines for Exceptions in Multithreaded Java. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:281-297 [Journal]
  18. Mark-Oliver Stehr
    Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:299-323 [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