The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Javier Martínez: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Michel Couvreur, Javier Martínez
    Linear invariants in commutative high level nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:146-164 [Conf]
  2. J. Martínez, Carlos E. Palau, Manuel Esteve, Benjamín Molina
    A Novel Multimedia System for Traffic Remote Controlling. [Citation Graph (0, 0)][DBLP]
    EuroIMSA, 2005, pp:359-363 [Conf]
  3. Ivan Gonzalez, Sergio López-Buedo, Francisco J. Gómez, Javier Martínez
    Using Partial Reconfiguration in Cryptographic Applications: An Implementation of the IDEA Algorithm. [Citation Graph (0, 0)][DBLP]
    FPL, 2003, pp:194-203 [Conf]
  4. Ivan Gonzalez, Javier Sanchez-Pastor, Jorge L. Hernandez-Ardieta, Francisco J. Gomez-Arribas, Javier Martínez
    Using Reconfigurable Hardware Through Web Services in Distributed Applications. [Citation Graph (0, 0)][DBLP]
    FPL, 2004, pp:1110-1112 [Conf]
  5. Javier Sanchez-Pastor, Ivan Gonzalez, Jorge López, Francisco J. Gomez-Arribas, Javier Martínez
    A Remote Laboratory for Debugging FPGA-Based Microprocessor Prototypes. [Citation Graph (0, 0)][DBLP]
    ICALT, 2004, pp:- [Conf]
  6. Javier Martínez, Ricardo Alvarez, Petronilo Cortez, Víctor Mejia, Victor Silva
    An Automation System Based on LabVIEW to Control the Test of Mechanical Flow Meters: Mechanism to Characterize Flow Measurers. [Citation Graph (0, 0)][DBLP]
    ICEIS (1), 2004, pp:530-535 [Conf]
  7. Armando W. Colombo, Javier Martínez, Ricardo Carelli
    Formal Validation of Complex Production Systems Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICRA, 1994, pp:1713-1718 [Conf]
  8. Antonio E. Martínez, Ruben Cabello, Francisco J. Gómez, Javier Martínez
    Interact-DDM: A Solution for the Integration of Domestic Devices on Network Management Platforms. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 2003, pp:485-488 [Conf]
  9. José Ramón Hilera, Salvador Otón, Javier Martínez, Elena García Barriocanal
    Interfaces de Realidad Virtual en Bibliotecas Digitales. [Citation Graph (0, 0)][DBLP]
    JBIDI, 2000, pp:- [Conf]
  10. Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
    Reduction Theorems for Boolean Formulas Using Delta-Trees. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:179-192 [Conf]
  11. José Ramón Hilera, Javier Martínez, Salvador Otón, José A. Gutiérrez
    Integración de UML en la metodología MÉTRICA. [Citation Graph (0, 0)][DBLP]
    JISBD, 1999, pp:307-316 [Conf]
  12. Ruben Cabello, Ivan Gonzalez, Francisco J. Gómez, Javier Martínez
    A Web Laboratory for a Basic Electronics Course. [Citation Graph (0, 0)][DBLP]
    WebNet, 2001, pp:816-821 [Conf]
  13. Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán
    A New Algebraic Tool for Automatic Theorem Provers. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:42, n:4, pp:369-398 [Journal]
  14. Xavier Messeguer, Ruth Escudero, Domènec Farré, Oscar Núñez, Javier Martínez, M. Mar Albà
    PROMO: detection of known transcription regulatory elements using species-tailored searches. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2002, v:18, n:2, pp:333-334 [Journal]
  15. Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero
    Generalizations of lattices via non-deterministic operators. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2005, v:295, n:1-3, pp:107-141 [Journal]
  16. Gloria Gutiérrez, Inman P. de Guzmán, Javier Martínez, Manuel Ojeda-Aciego, Agustín Valverde
    Satisfiability Testing for Boolean Formulas Using Delta-trees. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:1, pp:85-112 [Journal]

  17. Methodological Extensions for Semantic Business Process Modeling. [Citation Graph (, )][DBLP]


  18. Urban Traffic Control: A Streaming Multimedia Approach. [Citation Graph (, )][DBLP]


  19. Ubiquitous Applications Comparative: Applications Executed in Server vs. Applications in Client. [Citation Graph (, )][DBLP]


  20. On Congruences and Homomorphisms on Some Non-deterministic Algebras. [Citation Graph (, )][DBLP]


  21. Congruence relations on some hyperstructures. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.020secs
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