E-LIB Suche - Ergebnisse für: Galindo, Carlos

1

Field-sensitive program slicing:

Galindo, Carlos ; Krinke, Jens ; Pérez, Sergio.
Journal of Systems and Software. 210 (2024) - p. 111939 , 2024

Link: https://doi.org/10.1016/..

2

Assessing AI capabilities with education tests:

, In: AI and the Future of Skills, Volume 2; Educational Research and Innovation,

Staneva, Mila ; Baret, Abel ; Aso-Mollar, Ángel... , 2023

Link: https://doi.org/10.1787/..

3

Landscapes of dispossession: Criminal justice and property ..:

Meneses-Reyes, Rodrigo ; Fondevila, Gustavo ; Galindo, Carlos
Environment and Planning C: Politics and Space. 41 (2023) 6 - p. 1132-1146 , 2023

Link: https://doi.org/10.1177/..

4

Program slicing of Java programs:

Galindo, Carlos ; Pérez, Sergio ; Silva, Josep
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100826 , 2023

Link: https://doi.org/10.1016/..

5

Influencia de la encuesta de los estudiantes sobre la calid..:

Canela, Jordi ; Galindo, Carlos ; Gregori, Pablo.
Pi-InnovaMath. , 2023

Link: https://doi.org/10.5944/..

6

Exception-sensitive program slicing:

Galindo, Carlos ; Pérez, Sergio ; Silva, Josep
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100832 , 2023

Link: https://doi.org/10.1016/..

7

Slicing Shared-Memory Concurrent Programs The Threaded Syst..:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Galindo, Carlos ; Llorens, Marisa ; Perez, Sergio. - p. 73-83 , 2023

Link: https://doi.org/10.1109/..

8

Stabilizer quantum codes defined by trace-depending polynom..:

Galindo, Carlos ; Hernando, Fernando ; Martín-Cruz, Helena.
Finite Fields and Their Applications. 87 (2023) - p. 102138 , 2023

Link: https://doi.org/10.1016/..

9

Seshadri-type constants and Newton-Okounkov bodies for non-..:

Galindo, Carlos ; Monserrat, Francisco ; Moreno-Ávila, Carlos-Jesús
Quaestiones Mathematicae. 46 (2023) 11 - p. 2367-2401 , 2023

Link: https://doi.org/10.2989/..

10

Steane enlargement of entanglement-assisted quantum error-c..:

Galindo, Carlos ; Hernando, Fernando ; Matsumoto, Ryutaroh
Computational and Applied Mathematics. 42 (2023) 6 - p. , 2023

Link: https://doi.org/10.1007/..

11

Program Slicing Techniques with Support for Unconditional J..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Galindo, Carlos ; Pérez, Sergio ; Silva, Josep - p. 123-139 , 2022

Link: https://doi.org/10.1007/..

12

Algebraic Integrability of Planar Polynomial Vector Fields ..:

Galindo, Carlos ; Monserrat, Francisco ; Pérez-Callejo, Elvira
Qualitative Theory of Dynamical Systems. 21 (2022) 4 - p. , 2022

Link: https://doi.org/10.1007/..

13

On the Degree of Curves with Prescribed Multiplicities and ..:

Galindo, Carlos ; Monserrat, Francisco ; Moreno-Ávila, Carlos-Jesús.
International Mathematics Research Notices. , 2022

Link: https://doi.org/10.1093/..

14

Field-Sensitive Program Slicing:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Galindo, Carlos ; Krinke, Jens ; Pérez, Sergio. - p. 74-90 , 2022

Link: https://doi.org/10.1007/..

15

On the generalization of the construction of quantum codes ..:

Galindo, Carlos ; Hernando, Fernando
Designs, Codes and Cryptography. 90 (2022) 5 - p. 1103-1112 , 2022

Link: https://doi.org/10.1007/..