Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Josep Silva

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Javier Oliver 0001

> Home > Persons > Josep Silva

Publications

2021
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-03425
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-03425
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Maximal and minimal dynamic Petri net slicing. CoRR abs/2104.03425 (2021)
2019
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/LlorensOST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/LlorensOST19
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Tracking CSP computations. J. Log. Algebraic Methods Program. 102: 138-175 (2019)
2017
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Llorens0ST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Llorens0ST17
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
An Integrated Environment for Petri Net Slicing. Petri Nets 2017: 112-124
2016
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/pc/LlorensOST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pc/LlorensOST16
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Dynamic slicing of concurrent specification languages. Parallel Comput. 53: 1-22 (2016)
2013
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/HerreroLOST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/HerreroLOST13
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
The influence of students distribution on their grades. ITiCSE 2013: 316
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/HerreroLOST13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/HerreroLOST13a
Carlos Herrero, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
An empirical analysis of the influence of classmates on the academic performance. ITiCSE 2013: 328
2012
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/aes/LlorensOST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aes/LlorensOST12
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Generating a Petri net from a CSP specification: A semantics-based method. Adv. Eng. Softw. 50: 110-130 (2012)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/LeuschelLOST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/LeuschelLOST12
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Static slicing of explicitly synchronized languages. Inf. Comput. 214: 10-46 (2012)
2010
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LlorensOST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LlorensOST10
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Graph Generation to Statically Represent CSP Processes. LOPSTR 2010: 52-66
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/LlorensOST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/LlorensOST10
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
A Tracking Semantics for CSP. MPC 2010: 248-270
[c35]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/LlorensOST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/LlorensOST10
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Translating CSP Specifications to Equivalent Petri Nets. PDPTA 2010: 320-326
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LlorensOST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LlorensOST10
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
An algorithm to generate the context-sensitive synchronized control flow graph. SAC 2010: 2144-2148
2009
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/LeuschelLOST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/LeuschelLOST09
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
SOC: a slicer for CSP specifications. PEPM 2009: 165-168
2008
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LeuschelLOST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LeuschelLOST08
Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
The MEB and CEB Static Analysis for CSP Specifications. LOPSTR 2008: 103-118
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LlorensOSTV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LlorensOSTV08
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal:
Dynamic Slicing Techniques for Petri Nets. RP 2008: 153-165

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.