Javier Oliver

According to our database1, Javier Oliver authored at least 38 papers between 1994 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Maximal and minimal dynamic Petri net slicing.
CoRR, 2021

2019
Tracking CSP computations.
J. Log. Algebraic Methods Program., 2019

2018
Index tracking optimization with cardinality constraint: a performance comparison of genetic algorithms and tabu search heuristics.
Neural Comput. Appl., 2018

2017
An Integrated Environment for Petri Net Slicing.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016
Dynamic slicing of concurrent specification languages.
Parallel Comput., 2016

Using latent features for short-term person re-identification with RGB-D cameras.
Pattern Anal. Appl., 2016

2014
Ground truth annotation of traffic video data.
Multim. Tools Appl., 2014

2013
An empirical analysis of the influence of classmates on the academic performance.
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

The influence of students distribution on their grades.
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

Re-identifying people in the wild.
Proceedings of the IEEE International Conference on Acoustics, 2013

2012
Static slicing of explicitly synchronized languages.
Inf. Comput., 2012

Generating a Petri net from a CSP specification: A semantics-based method.
Adv. Eng. Softw., 2012

3D descriptor for people re-identification.
Proceedings of the 21st International Conference on Pattern Recognition, 2012

2010
An algorithm to generate the context-sensitive synchronized control flow graph.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Translating CSP Specifications to Equivalent Petri Nets.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

A Tracking Semantics for CSP.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Graph Generation to Statically Represent CSP Processes.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009
SOC: a slicer for CSP specifications.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

A Real-Time Person Detection Method for Moving Cameras.
Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009

2008
Dynamic Slicing Techniques for Petri Nets.
Electron. Notes Theor. Comput. Sci., 2008

Structural Dynamic Changes with CPNs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

The MEB and CEB Static Analysis for CSP Specifications.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2006
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Marked-Controlled Reconfigurable Workflow Nets.
Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

2005
Operational semantics for declarative multi-paradigm languages.
J. Symb. Comput., 2005

MCReNet: a tool for Marked-Controlled Reconfigurable Nets.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

2004
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets.
IEEE Trans. Computers, 2004

Autómatas Cooperativos Extendidos: Sistemas Multi-Agente con dependencia geográfica.
Inteligencia Artif., 2004

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
Extended cooperating automata.
Proceedings of the IEEE International Conference on Systems, 2003

Modeling Concurrent Systems: Reconfigurable Nets.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002
Operational Semantics for Functional Logic Languages.
Electron. Notes Theor. Comput. Sci., 2002

An Operational Semantics for Declarative Multi-Paradigm Languages.
Electron. Notes Theor. Comput. Sci., 2002

A Deterministic Operational Semantics for Functional Logic Programs.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

1999
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.
Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

1996
A New Proposal of Concurrent Process Calculus.
Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

1995
Evaluation of Techniques for Specifying 3D Rotations with 2D Input Device.
Proceedings of the People and Computers X, 1995

1994
El lambda-calculo Etiquetado Paralelo (LCEP).
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...