We stand with Ukraine

We stand with Ukraine

Javier Oliver

Orcid: 0000-0002-1169-1260

Affiliations:

Polytechnic University of Valencia, Spain (PhD 1996)

According to our database¹, Javier Oliver authored at least 33 papers between 1994 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2021

Maximal and minimal dynamic Petri net slicing.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

CoRR, 2021

2019

Tracking CSP computations.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

J. Log. Algebraic Methods Program., 2019

2018

Index tracking optimization with cardinality constraint: a performance comparison of genetic algorithms and tabu search heuristics.

[BibT_eX]

[DOI]

Fernando García

,

Francisco Guijarro

,

Neural Comput. Appl., 2018

2017

An Integrated Environment for Petri Net Slicing.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

Dynamic slicing of concurrent specification languages.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

Parallel Comput., 2016

2013

An empirical analysis of the influence of classmates on the academic performance.

[BibT_eX]

[DOI]

,

,

,

,

Salvador Tamarit

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

The influence of students distribution on their grades.

[BibT_eX]

[DOI]

,

,

,

,

Salvador Tamarit

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

2012

Static slicing of explicitly synchronized languages.

[BibT_eX]

[DOI]

Michael Leuschel

,

,

,

,

Salvador Tamarit

Inf. Comput., 2012

Generating a Petri net from a CSP specification: A semantics-based method.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

Adv. Eng. Softw., 2012

2010

An algorithm to generate the context-sensitive synchronized control flow graph.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Translating CSP Specifications to Equivalent Petri Nets.

[BibT_eX]

,

,

,

Salvador Tamarit

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2010

A Tracking Semantics for CSP.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Graph Generation to Statically Represent CSP Processes.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009

SOC: a slicer for CSP specifications.

[BibT_eX]

[DOI]

Michael Leuschel

,

,

,

,

Salvador Tamarit

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008

Dynamic Slicing Techniques for Petri Nets.

[BibT_eX]

[DOI]

,

,

,

Salvador Tamarit

,

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Structural Dynamic Changes with CPNs.

[BibT_eX]

,

,

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2008

The MEB and CEB Static Analysis for CSP Specifications.

[BibT_eX]

[DOI]

Michael Leuschel

,

,

,

,

Salvador Tamarit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2006

A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets.

[BibT_eX]

[DOI]

,

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Marked-Controlled Reconfigurable Workflow Nets.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

,

,

,

J. Symb. Comput., 2005

MCReNet: a tool for Marked-Controlled Reconfigurable Nets.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

IEEE Trans. Computers, 2004

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

[BibT_eX]

[DOI]

,

Inteligencia Artif., 2004

Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets.

[BibT_eX]

[DOI]

,

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Extended cooperating automata.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE International Conference on Systems, 2003

Modeling Concurrent Systems: Reconfigurable Nets.

[BibT_eX]

,

,

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

Operational Semantics for Functional Logic Languages.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

An Operational Semantics for Declarative Multi-Paradigm Languages.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002

A Deterministic Operational Semantics for Functional Logic Programs.

[BibT_eX]

[DOI]

,

,

,

,

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.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

Proceedings of the SOFSEM '96: Theory and Practice of Informatics, 1996

1995

Evaluation of Techniques for Specifying 3D Rotations with 2D Input Device.

[BibT_eX]

,

Proceedings of the People and Computers X, 1995

1994

El lambda-calculo Etiquetado Paralelo (LCEP).

[BibT_eX]

,

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Loading...