Javier Oliver

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 5

Top Topics

Specification Languages

Search Heuristics

Top Venues

J. Log. Algebraic Methods Program.

Publications

Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Maximal and minimal dynamic Petri net slicing. CoRR (2021)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Tracking CSP computations. J. Log. Algebraic Methods Program. 102 (2019)
Fernando García, Francisco Guijarro, Javier Oliver
Index tracking optimization with cardinality constraint: a performance comparison of genetic algorithms and tabu search heuristics. Neural Comput. Appl. 30 (8) (2018)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An Integrated Environment for Petri Net Slicing. Petri Nets (2017)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Dynamic slicing of concurrent specification languages. Parallel Comput. 53 (2016)
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An empirical analysis of the influence of classmates on the academic performance. ITiCSE (2013)
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
The influence of students distribution on their grades. ITiCSE (2013)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Generating a Petri net from a CSP specification: A semantics-based method. Adv. Eng. Softw. 50 (2012)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Static slicing of explicitly synchronized languages. Inf. Comput. 214 (2012)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Graph Generation to Statically Represent CSP Processes. LOPSTR (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
An algorithm to generate the context-sensitive synchronized control flow graph. SAC (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
A Tracking Semantics for CSP. MPC (2010)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Translating CSP Specifications to Equivalent Petri Nets. PDPTA (2010)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
SOC: a slicer for CSP specifications. PEPM (2009)
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
The MEB and CEB Static Analysis for CSP Specifications. LOPSTR (2008)
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal
Dynamic Slicing Techniques for Petri Nets. Electron. Notes Theor. Comput. Sci. 223 (2008)
Marisa Llorens, Javier Oliver, Oscar Vega
Structural Dynamic Changes with CPNs. PDPTA (2008)
Marisa Llorens, Javier Oliver
Marked-Controlled Reconfigurable Workflow Nets. SYNASC (2006)
Marisa Llorens, Javier Oliver
A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 2 (2006)
Marisa Llorens, Javier Oliver
MCReNet: a tool for Marked-Controlled Reconfigurable Nets. QEST (2005)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational semantics for declarative multi-paradigm languages. J. Symb. Comput. 40 (1) (2005)
Marisa Llorens, Javier Oliver
Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. ATVA (2004)
Marisa Llorens, Javier Oliver
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. IEEE Trans. Computers 53 (9) (2004)
Carlos Herrero, Javier Oliver
Autómatas Cooperativos Extendidos: Sistemas Multi-Agente con dependencia geográfica. Inteligencia Artif. 8 (23) (2004)
Éric Badouel, Marisa Llorens, Javier Oliver
Modeling Concurrent Systems: Reconfigurable Nets. PDPTA (2003)
Carlos Herrero, Javier Oliver
Extended cooperating automata. SMC (2003)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
A Deterministic Operational Semantics for Functional Logic Programs. APPIA-GULP-PRODE (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
An Operational Semantics for Declarative Multi-Paradigm Languages. Electron. Notes Theor. Comput. Sci. 70 (6) (2002)
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
Operational Semantics for Functional Logic Languages. Electron. Notes Theor. Comput. Sci. 76 (2002)
Carlos Herrero, Javier Oliver
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. SOFSEM (1999)
Salvador Lucas, Javier Oliver
A New Proposal of Concurrent Process Calculus. SOFSEM (1996)
Inés Jacob, Javier Oliver
Evaluation of Techniques for Specifying 3D Rotations with 2D Input Device. BCS HCI (1995)
Salvador Lucas, Javier Oliver
El lambda-calculo Etiquetado Paralelo (LCEP). GULP-PRODE (1) (1994)