Castro, Pablo F.
11244  results:
Search for persons X
?
1

How Easy it is to Know How: An Upper Bound for the Satisfia..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
 
?
4

MaskD: A Tool for Measuring Masking Fault-Tolerance:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
 
?
5

Playing Against Fair Adversaries in Stochastic Games with T..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
 
?
6

Algebraic tools for default modal systems:

Cassano, Valentin ; Fervari, Raul ; Areces, Carlos.
Journal of Logic and Computation.  33 (2022)  6 - p. 1301-1325 , 2022
 
?
8

Novel molecular insights and public omics data in pulmonary..:

Lopez-Crisosto, Camila ; Arias-Carrasco, Raul ; Sepulveda, Pablo...
Biochimica et Biophysica Acta (BBA) - Molecular Basis of Disease.  1867 (2021)  10 - p. 166200 , 2021
 
?
9

VCAM-1 as a predictor biomarker in cardiovascular disease:

Troncoso, Mayarling Francisca ; Ortiz-Quintero, Jafet ; Garrido-Moreno, Valeria...
Biochimica et Biophysica Acta (BBA) - Molecular Basis of Disease.  1867 (2021)  9 - p. 166170 , 2021
 
?
10

Mitochondrial function, dynamics and quality control in the..:

del Campo, Andrea ; Perez, Gonzalo ; Castro, Pablo F...
Biochimica et Biophysica Acta (BBA) - Molecular Basis of Disease.  1867 (2021)  10 - p. 166208 , 2021
 
?
12

Left Cardiac Remodelling Assessed by Echocardiography Is As..:

Contreras-Briceño, Felipe ; Vega, Julián ; Mandiola, Jorge...
Journal of Cardiovascular Development and Disease.  8 (2021)  10 - p. 118 , 2021
 
1-15