cv-t-2b3626b54f47dfd09a0aec9d90376e49-author-2

publicações selecionadas

• artigo académico

  • Metabolic Compartmentalization in Colorectal Cancer Hepatic Metastases and Correlation with Tumor Aggressiveness.  Gastrointestinal Disorders.  2024
  • Proteasome inhibition prevents cell death induced by the chemotherapeutic agent cisplatin downstream of DNA damage.  DNA Repair.  2019

• artigo de conferência

  • A Multiple BLE Beacon Approach for Tracking in Industrial Environments.  International Conference on Indoor Positioning and Indoor Navigation. 2025

• documento

  • Horus: non-intrusive causal analysis of distributed systems logs.  International Conference on Dependable Systems and Networks. 2021
  • Minha: large-scale distributed systems testing made practical.  Leibniz International Proceedings in Informatics, LIPIcs. 2020
  • Testing for race conditions in distributed systems via smt solving.  International Journal on Software Tools for Technology Transfer. 2020
  • d'Artagnan: a trusted NoSQL database on untrusted clouds.  Symposium on Reliable Distributed Systems Proceedings. 2019
  • Falcon: a practical log-based analysis tool for distributed systems.  International Conference on Dependable Systems and Networks. 2018
  • The mechanism underlying proteasome-mediated sensitivity to the chemotherapeutic agent cisplatin 2017