Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Carlos Galindo 0002

Carlos S. Galindo Jiménez

> Home > Persons

Person information

affiliation: Polytechnic University of Valencia, Spain

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/GalindoKPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/GalindoKPS24
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva:
Field-sensitive program slicing. J. Syst. Softw. 210: 111939 (2024)
2023
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/GalindoPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GalindoPS23
Carlos Galindo, Sergio Pérez, Josep Silva:
Program slicing of Java programs. J. Log. Algebraic Methods Program. 130: 100826 (2023)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlap/GalindoPS23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/GalindoPS23a
Carlos Galindo, Sergio Pérez, Josep Silva:
Exception-sensitive program slicing. J. Log. Algebraic Methods Program. 130: 100832 (2023)
[c8]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/0002L0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0002L0S23
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva:
Slicing Petri Nets to Reduce Their Complexity - Abstract. ATAED/PN4TT@Petri Nets 2023
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/apn/0002L0S23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0002L0S23a
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva:
Context-sensitive analysis of data interference for concurrent programs. PNSE@Petri Nets 2023
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/0002L0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/0002L0S23
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva:
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited. ICSME 2023: 73-83
2022
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/GalindoPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/GalindoPS22
Carlos Galindo, Sergio Pérez, Josep Silva:
Program Slicing Techniques with Support for Unconditional Jumps. ICFEM 2022: 123-139
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GalindoKPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GalindoKPS22
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva:
Field-Sensitive Program Slicing. SEFM 2022: 74-90
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/GalindoPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/GalindoPS22
Carlos Galindo, Sergio Pérez, Josep Silva:
A Program Slicer for Java (Tool Paper). SEFM 2022: 146-151
2021
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/GalindoNST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/GalindoNST21
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit:
Reversible CSP Computations. IEEE Trans. Parallel Distributed Syst. 32(6): 1425-1436 (2021)
2020
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/00020S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/00020S20
Carlos Galindo, Sergio Pérez, Josep Silva:
Slicing Unconditional Jumps with Unnecessary Control Dependencies. LOPSTR 2020: 293-308
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/Galindo0ST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/Galindo0ST20
Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit:
ReverCSP: Time-Travelling in CSP Computations. RC 2020: 239-245

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.