Search the dblp DataBase

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]