The SCEAS System
Navigation Menu

Search the dblp DataBase


Mauricio Varea: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
    Symbolic model checking of Dual Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    CODES, 2002, pp:43-48 [Conf]
  2. Mauricio Varea, Bashir M. Al-Hashimi
    Dual transitions petri net based modelling technique for embedded systems specification. [Citation Graph (0, 0)][DBLP]
    DATE, 2001, pp:566-571 [Conf]
  3. Steve Barker, Michael Leuschel, Mauricio Varea
    Efficient and flexible access control via logic program specialisation. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:190-199 [Conf]
  4. Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine
    The Ecce and Logen partial evaluators and their web interfaces. [Citation Graph (0, 0)][DBLP]
    PEPM, 2006, pp:88-94 [Conf]
  5. Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea
    Towards context-aware testing for semantic interoperability on PvC environments. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1136-1141 [Conf]
  6. Dhiraj K. Pradhan, Magdy S. Abadir, Mauricio Varea
    Recent Advances in Verification, Equivalence Checking and SAT-Solvers. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2005, pp:14- [Conf]
  7. 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]
  8. Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
    Dual Flow Nets: Modeling the control/data-flow relation in embedded systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2006, v:5, n:1, pp:54-81 [Journal]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002