Travelled to:1 × Austria
1 × Japan
1 × Spain
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:M.Llorens J.Silva S.Tamarit C.Herrero M.Leuschel A.Albiol A.Albiol
Talks about:csp (3) influenc (2) generat (2) analysi (2) static (2) specif (2) graph (2) descriptor (1) distribut (1) algorithm (1)
Person: Javier Oliver
DBLP: Oliver:Javier
Contributed to:
2013
2012
2010
2010
20092008Wrote 7 papers:
- ITiCSE-2013-HerreroLOST #student
- The influence of students distribution on their grades (CH, ML, JO, JS, ST), p. 316.
- ITiCSE-2013-HerreroLOST13a #analysis #empirical #performance
- An empirical analysis of the influence of classmates on the academic performance (CH, ML, JO, JS, ST), p. 328.
- ICPR-2012-OliverAA #3d #identification #people
- 3D descriptor for people re-identification (JO, AA, AA), pp. 1395–1398.
- LOPSTR-2010-LlorensOST #csp #generative #graph #process
- Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
- SAC-2010-LlorensOST #algorithm #control flow #graph
- An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
- PEPM-2009-LeuschelLOST #csp #named #slicing #specification
- SOC: a slicer for CSP specifications (ML, ML, JO, JS, ST), pp. 165–168.
- LOPSTR-2008-LeuschelLOST #csp #specification #static analysis
- The MEB and CEB Static Analysis for CSP Specifications (ML, ML, JO, JS, ST), pp. 103–118.