Javier Oliver

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