Mauricio Varea

Publication Activity (10 Years)

Years Active: 2001-2008
Publications (10 Years): 0

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Steve Barker, Michael Leuschel, Mauricio Varea
Efficient and flexible access control via Jones-optimal logic program specialisation. High. Order Symb. Comput. 21 (1-2) (2008)
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. ACM Trans. Embed. Comput. Syst. 5 (1) (2006)
Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine
The Ecce and Logen partial evaluators and their web interfaces. PEPM (2006)
Berndt Farwer, Mauricio Varea
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. Fundam. Informaticae 72 (1-3) (2006)
Dhiraj K. Pradhan, Magdy S. Abadir, Mauricio Varea
Recent Advances in Verification, Equivalence Checking and SAT-Solvers. VLSI Design (2005)
Steve Barker, Michael Leuschel, Mauricio Varea
Efficient and flexible access control via logic program specialisation. PEPM (2004)
Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea
Towards context-aware testing for semantic interoperability on PvC environments. SMC (2) (2004)
Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng
Symbolic model checking of Dual Transition Petri Nets. CODES (2002)
Mauricio Varea, Bashir M. Al-Hashimi
Dual transitions petri net based modelling technique for embedded systems specification. DATE (2001)