| 2006 |
|---|
| 14 | EE | Mari Luz Guenaga,
Javier Oliver,
Ander Barbier:
Accessible Interfaces to Empower the User.
ICCHP 2006: 279-286 |
| 13 | EE | Marisa Llorens,
Javier Oliver:
Marked-Controlled Reconfigurable Workflow Nets.
SYNASC 2006: 407-413 |
| 2005 |
|---|
| 12 | EE | Marisa Llorens,
Javier Oliver:
MCReNet: a tool for Marked-Controlled Reconfigurable Nets.
QEST 2005: 255-256 |
| 11 | EE | Elvira Albert,
Michael Hanus,
Frank Huch,
Javier Oliver,
Germán Vidal:
Operational semantics for declarative multi-paradigm languages.
J. Symb. Comput. 40(1): 795-829 (2005) |
| 2004 |
|---|
| 10 | EE | Marisa Llorens,
Javier Oliver:
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.
ATVA 2004: 310-323 |
| 9 | EE | Mari Luz Guenaga,
Dominique Burger,
Javier Oliver:
Accessibility for e-Learning Environments.
ICCHP 2004: 157-163 |
| 8 | EE | Marisa Llorens,
Javier Oliver:
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.
IEEE Trans. Computers 53(9): 1147-1158 (2004) |
| 2003 |
|---|
| 7 | | Eric Badouel,
Marisa Llorens,
Javier Oliver:
Modeling Concurrent Systems: Reconfigurable Nets.
PDPTA 2003: 1568-1574 |
| 2002 |
|---|
| 6 | EE | Elvira Albert,
Michael Hanus,
Frank Huch,
Javier Oliver,
Germán Vidal:
An Operational Semantics for Declarative Multi-Paradigm Languages.
Electr. Notes Theor. Comput. Sci. 70(6): (2002) |
| 5 | EE | Elvira Albert,
Michael Hanus,
Frank Huch,
Javier Oliver,
Germán Vidal:
Operational Semantics for Functional Logic Languages.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 1999 |
|---|
| 4 | EE | Carlos Herrero,
Javier Oliver:
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.
SOFSEM 1999: 395-403 |
| 1996 |
|---|
| 3 | | Salvador Lucas,
Javier Oliver:
A New Proposal of Concurrent Process Calculus.
SOFSEM 1996: 385-392 |
| 1995 |
|---|
| 2 | | Inés Jacob,
Javier Oliver:
Evaluation of Techniques for Specifying 3D Rotations with 2D Input Device.
BCS HCI 1995: 63-76 |
| 1994 |
|---|
| 1 | | Salvador Lucas,
Javier Oliver:
El lambda-calculo Etiquetado Paralelo (LCEP).
GULP-PRODE (1) 1994: 125-139 |
