Javier Oliver Vis

*	2009
22	EE	Javier Oliver, Alberto Albiol, Samuel Morillas, Guillermo Peris-Fajarnés: A Real-Time Person Detection Method for Moving Cameras. HAIS 2009: 129-136
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

Coauthor Index

1	Elvira Albert	[5] [6] [11]
2	Alberto Albiol	[22]
3	Eric Badouel	[7]
4	Ander Barbier	[15]
5	Dominique Burger	[9]
6	Andoni Eguíluz	[17]
7	Mari Luz Guenaga	[9] [15] [17] [20]
8	Michael Hanus	[5] [6] [11]
9	Carlos Herrero	[4]
10	Frank Huch	[5] [6] [11]
11	Inés Jacob	[2]
12	Michael Leuschel	[19] [21]
13	Marisa Llorens	[7] [8] [10] [12] [13] [14] [16] [18] [19] [21]
14	Salvador Lucas	[1] [3]
15	Samuel Morillas	[22]
16	Guillermo Peris-Fajarnés	[22]
17	Josep Silva	[16] [19] [21]
18	Salvador Tamarit	[16] [19] [21]
19	Oscar Vega	[18]
20	Germán Vidal	[5] [6] [11] [16]

Colors in the list of coauthors