Search Results - Pombo-López, M.

  • Showing 1 - 12 results of 12
Refine Results
  1. 1
    18F-FDG PET/CT in the staging, therapeutic evaluation and follow-up of prostatic sarcoma

    18F-FDG PET/CT in the staging, therapeutic evaluation and follow-up of prostatic sarcoma by Martínez-Rodríguez, I., Gómez-de la Fuente, F., Sánchez-Salmón, A., Pombo-López, M., Bota-Bota, A., Quirce, R.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Effectiveness of 11C-choline PET/CT in prostate cancer surveillance

    Effectiveness of 11C-choline PET/CT in prostate cancer surveillance by Martínez-Rodríguez, I., de Arcocha-Torres, M., Gómez-de la Fuente, F.J., Jiménez-Bonilla, J., Sánchez-Salmón, A., Martínez-Amador, N., Mendi-Barcina, V., Andrés-Pacheco, J., Gutiérrez-González, A., Pombo-López, M., Bota-Bota, A., Rodil-Gallego, M., García-Ruiz, A., Quirce, R.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    18 F-FDG PET/CT in the staging, therapeutic evaluation and follow-up of prostatic sarcoma

    18 F-FDG PET/CT in the staging, therapeutic evaluation and follow-up of prostatic sarcoma by Martínez-Rodríguez, I, Gómez-de la Fuente, F, Sánchez-Salmón, A, Pombo-López, M, Bota-Bota, A, Quirce, R

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Effectiveness of 11 C-choline PET/CT in prostate cancer surveillance

    Effectiveness of 11 C-choline PET/CT in prostate cancer surveillance by Martínez-Rodríguez, I, de Arcocha-Torres, M, Gómez-de la Fuente, F J, Jiménez-Bonilla, J, Sánchez-Salmón, A, Martínez-Amador, N, Mendi-Barcina, V, Andrés-Pacheco, J, Gutiérrez-González, A, Pombo-López, M, Bota-Bota, A, Rodil-Gallego, M, García-Ruiz, A, Quirce, R

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

    TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds by Galeotti, J. P., Rosner, N., Lopez Pombo, Carlos G., Frias, M. F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Reasoning about static and dynamic properties in alloy: A purely relational approach

    Reasoning about static and dynamic properties in alloy: A purely relational approach by Frias, Marcelo F., López Pombo, Carlos G., Baum, Gabriel A., Aguirre, Nazareno M., Maibaum, Thomas S. E.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications by Giménez, Manuel, Moscato, Mariano M., Lopez Pombo, Carlos G., Frias, Marcelo F.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Dynamite: A tool for the verification of alloy models based on PVS

    Dynamite: A tool for the verification of alloy models based on PVS by Moscato, Mariano M., Pombo, Carlos G. Lopez, Frias, Marcelo F.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Efficient Analysis of DynAlloy Specifications

    Efficient Analysis of DynAlloy Specifications by Frias, Marcelo F., Lopez Pombo, Carlos G., Galeotti, Juan P., Aguirre, Nazareno M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

    HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications by Giménez, Manuel, Moscato, Mariano M, Lopez Pombo, Carlos G, Frias, Marcelo F

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Interpretability of first-order linear temporal logics in fork algebras

    Interpretability of first-order linear temporal logics in fork algebras by Frias, Marcelo F., López Pombo, Carlos G.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Reasoning about static and dynamic properties in alloy

    Reasoning about static and dynamic properties in alloy by Frias, Marcelo F, Pombo, Carlos G Lopez, Baum, Gabriel A, Aguirre, Nazareno M, Maibaum, Thomas S E

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: