El lambda-calculo Etiquetado Paralelo (LCEP). - Salvador Lucas; Javier Oliver 001 (GULP-PRODE (1), 1994)

Evaluation of Techniques for Specifying 3D Rotations with 2D Input Device. - Inés Jacob; Javier Oliver 001 (BCS HCI, 1995)

A New Proposal of Concurrent Process Calculus. - Salvador Lucas; Javier Oliver 001 (SOFSEM, 1996)

Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. - Carlos Herrero; Javier Oliver 001 (SOFSEM, 1999)

A Deterministic Operational Semantics for Functional Logic Programs. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (APPIA-GULP-PRODE, 2002)

An Operational Semantics for Declarative Multi-Paradigm Languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (WRS, 2002)

Operational Semantics for Functional Logic Languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (WFLP, 2002)

Modeling Concurrent Systems: Reconfigurable Nets. - Éric Badouel; Marisa Llorens; Javier Oliver 001 (PDPTA, 2003)

Extended cooperating automata. - Carlos Herrero; Javier Oliver 001 (SMC, 2003)

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets. - Marisa Llorens; Javier Oliver 001 (ATVA, 2004)

Autómatas Cooperativos Extendidos: Sistemas Multi-Agente con dependencia geográfica. - Carlos Herrero; Javier Oliver 001 (Inteligencia Artif., 2004)

Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets. - Marisa Llorens; Javier Oliver 001 (IEEE Trans. Computers, 2004)

MCReNet: a tool for Marked-Controlled Reconfigurable Nets. - Marisa Llorens; Javier Oliver 001 (QEST, 2005)

Operational semantics for declarative multi-paradigm languages. - Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver 001; Germán Vidal (J. Symb. Comput., 2005)

Marked-Controlled Reconfigurable Workflow Nets. - Marisa Llorens; Javier Oliver 001 (SYNASC, 2006)

A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets. - Marisa Llorens; Javier Oliver 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

The MEB and CEB Static Analysis for CSP Specifications. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (LOPSTR, 2008)

Structural Dynamic Changes with CPNs. - Marisa Llorens; Javier Oliver 001; Oscar Vega (PDPTA, 2008)

Dynamic Slicing Techniques for Petri Nets. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit; Germán Vidal (RP, 2008)

SOC: a slicer for CSP specifications. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (PEPM, 2009)

Graph Generation to Statically Represent CSP Processes. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (LOPSTR, 2010)

A Tracking Semantics for CSP. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (MPC, 2010)

Translating CSP Specifications to Equivalent Petri Nets. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (PDPTA, 2010)

An algorithm to generate the context-sensitive synchronized control flow graph. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (SAC, 2010)

Generating a Petri net from a CSP specification: A semantics-based method. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Adv. Eng. Softw., 2012)

Static slicing of explicitly synchronized languages. - Michael Leuschel; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Inf. Comput., 2012)

The influence of students distribution on their grades. - Carlos Herrero; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (ITiCSE, 2013)

An empirical analysis of the influence of classmates on the academic performance. - Carlos Herrero; Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (ITiCSE, 2013)

Dynamic slicing of concurrent specification languages. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Parallel Comput., 2016)

An Integrated Environment for Petri Net Slicing. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (Petri Nets, 2017)

Index tracking optimization with cardinality constraint: a performance comparison of genetic algorithms and tabu search heuristics. - Fernando García 004; Francisco Guijarro; Javier Oliver 001 (Neural Comput. Appl., 2018)

Tracking CSP computations. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (J. Log. Algebraic Methods Program., 2019)

Maximal and minimal dynamic Petri net slicing. - Marisa Llorens; Javier Oliver 001; Josep Silva; Salvador Tamarit (CoRR, 2021)