The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Irina A. Lomazova: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
    Nested Nets for Adaptive Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:241-260 [Conf]
  2. Berndt Farwer, Irina A. Lomazova
    A Systematic Approach towards Object-Based Petri Net Formalisms. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:255-267 [Conf]
  3. Irina A. Lomazova, Ph. Schnoebelen
    Some Decidability Results for Nested Petri Nets. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:208-220 [Conf]
  4. Irina A. Lomazova
    Procedural Implementation of Algebraic Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    FCT, 1987, pp:288-292 [Conf]
  5. Irina A. Lomazova
    On Occurrence Net Semantics for Petri Nets with Contacts. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:317-328 [Conf]
  6. Irina A. Lomazova
    Interacting Automata for Modelling Distributed Systems. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:851-860 [Conf]
  7. Vladimir A. Bashkin, Irina A. Lomazova
    Similarity of Generalized Resources in Petri Nets. [Citation Graph (0, 0)][DBLP]
    PaCT, 2005, pp:27-41 [Conf]
  8. Irina A. Lomazova
    On Proving Large Distributed Systems: Petri Net Modules Verification. [Citation Graph (0, 0)][DBLP]
    PaCT, 1997, pp:70-75 [Conf]
  9. Vladimir A. Bashkin, Irina A. Lomazova
    Petri nets and resource bisimulation. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:55, n:2, pp:101-114 [Journal]
  10. Irina A. Lomazova
    Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:195-214 [Journal]
  11. Irina A. Lomazova
    Nested Petri Nets: Multi-level and Recursive Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:47, n:3-4, pp:283-293 [Journal]
  12. Irina A. Lomazova
    Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:121-133 [Journal]
  13. Irina A. Lomazova
    Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:225-235 [Journal]
  14. Irina A. Lomazova
    Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility. [Citation Graph (0, 0)][DBLP]
    Programming and Computer Software, 2001, v:27, n:4, pp:183-193 [Journal]
  15. Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Irina A. Lomazova
    Checking Properties of Adaptive Workflow Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:3-4, pp:347-362 [Journal]

  16. Nested Petri Nets for Adaptive Process Modeling. [Citation Graph (, )][DBLP]


Search in 0.204secs, Finished in 0.205secs
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