| 2009 |
|---|
| 21 | EE | Michael Leuschel,
Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit:
SOC: a slicer for CSP specifications.
PEPM 2009: 165-168 |
| 2008 |
|---|
| 20 | EE | Mari Luz Guenaga,
Javier Oliver:
Accessible Digital Resource Centers for Visually Impaired People.
ICALT 2008: 152-153 |
| 19 | EE | Michael Leuschel,
Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit:
The MEB and CEB Static Analysis for CSP Specifications.
LOPSTR 2008: 103-118 |
| 18 | | Marisa Llorens,
Javier Oliver,
Oscar Vega:
Structural Dynamic Changes with CPNs.
PDPTA 2008: 149-156 |
| 17 | | Mari Luz Guenaga,
Javier Oliver,
Andoni Eguíluz:
Enhancing The Accessibility Of Digital Resources With Metadata.
e-Learning 2008: 235-238 |
| 16 | EE | Marisa Llorens,
Javier Oliver,
Josep Silva,
Salvador Tamarit,
Germán Vidal:
Dynamic Slicing Techniques for Petri Nets.
Electr. Notes Theor. Comput. Sci. 223: 153-165 (2008) |
| 2006 |
|---|
| 15 | EE | Mari Luz Guenaga,
Javier Oliver,
Ander Barbier:
Accessible Interfaces to Empower the User.
ICCHP 2006: 279-286 |
| 14 | EE | Marisa Llorens,
Javier Oliver:
Marked-Controlled Reconfigurable Workflow Nets.
SYNASC 2006: 407-413 |
| 13 | EE | Marisa Llorens,
Javier Oliver:
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets.
ECEASST 2: (2006) |
| 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 |
