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