IANNACCONE, MARCO
IANNACCONE, MARCO
Istituto di Calcolo e Reti ad Alte Prestazioni - ICAR
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.022 secondi).
Extracellular Self-DNA Effects on Yeast Cell Cycle and Transcriptome during Batch Growth
2024 Palomba, E.; Chiusano, M. L.; Monticolo, F.; Langella, M. C.; Sanchez, M.; Tirelli, V.; de Alteriis, E.; Iannaccone, M.; Termolino, P.; Capparelli, R.; Carteni, F.; Incerti, G.; Mazzoleni, S.
Formal specification of temporal constraints in clinical practice guidelines
2016 Iannaccone, Marco; Esposito, Massimo
An ontological framework for representing clinical knowledge in decision support systems
2014 Iannaccone, M; Esposito, M
A hybrid approach for the verification of integrity constraints in clinical practice guidelines
2013 Iannaccone, Marco; Esposito, Massimo; De Pietro, Giuseppe
Formal Encoding and Verification of Temporal Constraints in Clinical Practice Guidelines
2013 Iannaccone, Marco; Esposito, Massimo
GLM-CDS: A standards-based verifiable guideline model for decision support in clinical applications
2013 Iannaccone, M; Esposito, M; De Pietro, G