The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Javier Oliver: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Salvador Lucas, Javier Oliver
    El lambda-calculo Etiquetado Paralelo (LCEP). [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:125-139 [Conf]
  2. 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]
  3. 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]
  4. Mari Luz Guenaga, Dominique Burger, Javier Oliver
    Accessibility for e-Learning Environments. [Citation Graph (0, 0)][DBLP]
    ICCHP, 2004, pp:157-163 [Conf]
  5. Mari Luz Guenaga, Javier Oliver, Ander Barbier
    Accessible Interfaces to Empower the User. [Citation Graph (0, 0)][DBLP]
    ICCHP, 2006, pp:279-286 [Conf]
  6. Eric Badouel, Marisa Llorens, Javier Oliver
    Modeling Concurrent Systems: Reconfigurable Nets. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2003, pp:1568-1574 [Conf]
  7. Marisa Llorens, Javier Oliver
    MCReNet: a tool for Marked-Controlled Reconfigurable Nets. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:255-256 [Conf]
  8. 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]
  9. Salvador Lucas, Javier Oliver
    A New Proposal of Concurrent Process Calculus. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1996, pp:385-392 [Conf]
  10. Marisa Llorens, Javier Oliver
    Marked-Controlled Reconfigurable Workflow Nets. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:407-413 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]

  15. Enhancing The Accessibility Of Digital Resources With Metadata. [Citation Graph (, )][DBLP]


  16. Accessible Digital Resource Centers for Visually Impaired People. [Citation Graph (, )][DBLP]


  17. The MEB and CEB Static Analysis for CSP Specifications. [Citation Graph (, )][DBLP]


  18. A Tracking Semantics for CSP. [Citation Graph (, )][DBLP]


  19. Structural Dynamic Changes with CPNs. [Citation Graph (, )][DBLP]


  20. SOC: a slicer for CSP specifications. [Citation Graph (, )][DBLP]


  21. An algorithm to generate the context-sensitive synchronized control flow graph. [Citation Graph (, )][DBLP]


  22. A Real-Time Person Detection Method for Moving Cameras. [Citation Graph (, )][DBLP]


  23. Dynamic Slicing Techniques for Petri Nets. [Citation Graph (, )][DBLP]


Search in 0.153secs, Finished in 0.154secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002