|
Search the dblp DataBase
Javier Oliver:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Salvador Lucas, Javier Oliver
El lambda-calculo Etiquetado Paralelo (LCEP). [Citation Graph (0, 0)][DBLP] GULP-PRODE (1), 1994, pp:125-139 [Conf]
- Marisa Llorens, Javier Oliver
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. [Citation Graph (0, 0)][DBLP] ATVA, 2004, pp:310-323 [Conf]
- Inés Jacob, Javier Oliver
Evaluation of Techniques for Specifying 3D Rotations with 2D Input Device. [Citation Graph (0, 0)][DBLP] BCS HCI, 1995, pp:63-76 [Conf]
- Mari Luz Guenaga, Dominique Burger, Javier Oliver
Accessibility for e-Learning Environments. [Citation Graph (0, 0)][DBLP] ICCHP, 2004, pp:157-163 [Conf]
- Mari Luz Guenaga, Javier Oliver, Ander Barbier
Accessible Interfaces to Empower the User. [Citation Graph (0, 0)][DBLP] ICCHP, 2006, pp:279-286 [Conf]
- Eric Badouel, Marisa Llorens, Javier Oliver
Modeling Concurrent Systems: Reconfigurable Nets. [Citation Graph (0, 0)][DBLP] PDPTA, 2003, pp:1568-1574 [Conf]
- Marisa Llorens, Javier Oliver
MCReNet: a tool for Marked-Controlled Reconfigurable Nets. [Citation Graph (0, 0)][DBLP] QEST, 2005, pp:255-256 [Conf]
- Carlos Herrero, Javier Oliver
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. [Citation Graph (0, 0)][DBLP] SOFSEM, 1999, pp:395-403 [Conf]
- Salvador Lucas, Javier Oliver
A New Proposal of Concurrent Process Calculus. [Citation Graph (0, 0)][DBLP] SOFSEM, 1996, pp:385-392 [Conf]
- Marisa Llorens, Javier Oliver
Marked-Controlled Reconfigurable Workflow Nets. [Citation Graph (0, 0)][DBLP] SYNASC, 2006, pp:407-413 [Conf]
- Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
An Operational Semantics for Declarative Multi-Paradigm Languages. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:6, pp:- [Journal]
- Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational Semantics for Functional Logic Languages. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
- Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational semantics for declarative multi-paradigm languages. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2005, v:40, n:1, pp:795-829 [Journal]
- Marisa Llorens, Javier Oliver
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 2004, v:53, n:9, pp:1147-1158 [Journal]
Enhancing The Accessibility Of Digital Resources With Metadata. [Citation Graph (, )][DBLP]
Accessible Digital Resource Centers for Visually Impaired People. [Citation Graph (, )][DBLP]
The MEB and CEB Static Analysis for CSP Specifications. [Citation Graph (, )][DBLP]
A Tracking Semantics for CSP. [Citation Graph (, )][DBLP]
Structural Dynamic Changes with CPNs. [Citation Graph (, )][DBLP]
SOC: a slicer for CSP specifications. [Citation Graph (, )][DBLP]
An algorithm to generate the context-sensitive synchronized control flow graph. [Citation Graph (, )][DBLP]
A Real-Time Person Detection Method for Moving Cameras. [Citation Graph (, )][DBLP]
Dynamic Slicing Techniques for Petri Nets. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|