Publications in collaboration with researchers from Georgia Institute of Technology (6)

2012

  1. PVS linear algebra libraries for verification of control software algorithms in C/ACSL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011

  1. Extraction of quantitative anatomical information from coronary angiographies

    Current Bioinformatics, Vol. 6, Núm. 2, pp. 233-250

2008

  1. Genetic algorithms and multimodal search

    Advancing Artificial Intelligence Through Biological Process Applications (IGI Global), pp. 231-249

1994

  1. Neural computing in medicine

    Artificial Intelligence In Medicine