External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verify: a toolbox for deterministic verification of computational models

Giuseppe Alessandro Parasiliti Palumbo, Giulia Russo, Giuseppe Sgroi, Marco Viceconti, Marzio Pennisi, Cristina Curreli, Francesco Pappalardo 0001. Verify: a toolbox for deterministic verification of computational models. In Taesung Park, Young-Rae Cho, Xiaohua Hu, Illhoi Yoo, Hyun Goo Woo, Jianxin Wang 0001, Julio C. Facelli, Seungyoon Nam, Mingon Kang, editors, IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020, Virtual Event, South Korea, December 16-19, 2020. pages 1262-1267, IEEE, 2020. [doi]

Authors

Giuseppe Alessandro Parasiliti Palumbo

This author has not been identified. Look up 'Giuseppe Alessandro Parasiliti Palumbo' in Google

Giulia Russo

This author has not been identified. Look up 'Giulia Russo' in Google

Giuseppe Sgroi

This author has not been identified. Look up 'Giuseppe Sgroi' in Google

Marco Viceconti

This author has not been identified. Look up 'Marco Viceconti' in Google

Marzio Pennisi

This author has not been identified. Look up 'Marzio Pennisi' in Google

Cristina Curreli

This author has not been identified. Look up 'Cristina Curreli' in Google

Francesco Pappalardo 0001

This author has not been identified. Look up 'Francesco Pappalardo 0001' in Google
runs on