Javier Martínez

	2008
19		David de Francisco Marcos, Ivan Markovic, Javier Martínez, Henar Muñoz, Noelia Pérez: Methodological Extensions for Semantic Business Process Modeling. ICEIS (3-2) 2008: 410-415
	2006
18		Javier Martínez, Javier Gómez, Alfonso López, José-Javier Martínez, Carmen Pagés: Ubiquitous Applications Comparative: Applications Executed in Server vs. Applications in Client. ICUC 2006
	2005
17		Javier Martínez, Carlos E. Palau, Manuel Esteve, Benjamín Molina: A Novel Multimedia System for Traffic Remote Controlling. EuroIMSA 2005: 359-363
16		Carlos E. Palau, Manuel Esteve, Javier Martínez, Benjamín Molina, Israel Pérez-Llopis: Urban Traffic Control: A Streaming Multimedia Approach. ICME 2005: 618-621
15		Javier Martínez, Gloria Gutiérrez, Inmaculada Perez de Guzmán, Pablo Cordero: Generalizations of lattices via non-deterministic operators. Discrete Mathematics 295(1-3): 107-141 (2005)
	2004
14		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. FPL 2004: 1110-1112
13		Javier Sanchez-Pastor, Ivan Gonzalez, Jorge López, Francisco J. Gomez-Arribas, Javier Martínez: A Remote Laboratory for Debugging FPGA-Based Microprocessor Prototypes. ICALT 2004
12		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. ICEIS (1) 2004: 530-535
11		Pablo Cordero, Gloria Gutiérrez, Javier Martínez, Inmaculada Perez de Guzmán: A New Algebraic Tool for Automatic Theorem Provers. Ann. Math. Artif. Intell. 42(4): 369-398 (2004)
	2003
10		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. FPL 2003: 194-203
9		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. Integrated Network Management 2003: 485-488
	2002
8		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. Bioinformatics 18(2): 333-334 (2002)
7		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. Studia Logica 72(1): 85-112 (2002)
	2001
6		Ruben Cabello, Ivan Gonzalez, Francisco J. Gómez, Javier Martínez: A Web Laboratory for a Basic Electronics Course. WebNet 2001: 816-821
	2000
5		José Ramón Hilera, Salvador Otón, Javier Martínez, Elena García Barriocanal: Interfaces de Realidad Virtual en Bibliotecas Digitales. JBIDI 2000
4		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. JELIA 2000: 179-192
	1999
3		José Ramón Hilera, Javier Martínez, Salvador Otón, José Antonio Gutiérrez: Integración de UML en la metodología MÉTRICA. JISBD 1999: 307-316
	1994
2		Armando W. Colombo, Javier Martínez, Ricardo O. Carelli: Formal Validation of Complex Production Systems Using Coloured Petri Nets. ICRA 1994: 1713-1718
	1989
1		Jean-Michel Couvreur, Javier Martínez: Linear invariants in commutative high level nets. Applications and Theory of Petri Nets 1989: 146-164

Coauthor Index

1	M. Mar Albà	[8]
2	Ricardo Alvarez	[12]
3	Elena García Barriocanal	[5]
4	Ruben Cabello	[6] [9]
5	Ricardo O. Carelli	[2]
6	Armando W. Colombo	[2]
7	Pablo Cordero	[11] [15]
8	Petronilo Cortez	[12]
9	Jean-Michel Couvreur	[1]
10	Ruth Escudero	[8]
11	Manuel Esteve	[16] [17]
12	Domènec Farré	[8]
13	Francisco J. Gómez	[6] [9] [10]
14	Javier Gómez	[18]
15	Francisco J. Gomez-Arribas	[13] [14]
16	Ivan Gonzalez	[6] [10] [13] [14]
17	Gloria Gutiérrez	[4] [7] [11] [15]
18	José Antonio Gutiérrez	[3]
19	Inmaculada Perez de Guzmán (Inman P. de Guzmán)	[4] [7] [11] [15]
20	Jorge L. Hernandez-Ardieta	[14]
21	José Ramón Hilera	[3] [5]
22	Alfonso López	[18]
23	Jorge López	[13]
24	Sergio López-Buedo	[10]
25	David de Francisco Marcos	[19]
26	Ivan Markovic	[19]
27	Antonio E. Martínez	[9]
28	José-Javier Martínez	[18]
29	Víctor Mejia	[12]
30	Xavier Messeguer	[8]
31	Benjamín Molina	[16] [17]
32	Henar Muñoz	[19]
33	Oscar Núñez	[8]
34	Manuel Ojeda-Aciego	[4] [7]
35	Salvador Otón	[3] [5]
36	Carmen Pagés	[18]
37	Carlos E. Palau	[16] [17]
38	Noelia Pérez	[19]
39	Israel Pérez-Llopis	[16]
40	Javier Sanchez-Pastor	[13] [14]
41	Victor Silva	[12]
42	Agustín Valverde	[4] [7]

Colors in the list of coauthors