Mauricio Varea
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2001–2006
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | PEPM | The Ecce and Logen partial evaluators and their web interfaces. | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
| 2005 | VLSID | Recent Advances in Verification, Equivalence Checking and SAT-Solvers. | Dhiraj K. Pradhan, Magdy S. Abadir, Mauricio Varea |
| 2004 | PEPM | Efficient and flexible access control via logic program specialisation. | Steve Barker, Michael Leuschel, Mauricio Varea |
| 2004 | SMC | Towards context-aware testing for semantic interoperability on PvC environments. | Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea |
| 2001 | DATE | Dual transitions petri net based modelling technique for embedded systems specification. | Mauricio Varea, Bashir M. Al-Hashimi |