[Lecture Notes in Computer Science] A List of Successes That Can Change the World Volume 9600 || Proof-Relevant Parametricity
- 作者Lindley, Sam; McBride, Conor; Trinder, Phil; Sannella, Don
- 文件大小484.57KB
- 发表时间2016
- DOI10.1007/978-3-319-30936-1_6
- 页码109-131
ErratumAndrey A. Toropov; Alla P. Toropova; Emilio Benfenati · 2009
Predicting toxicity through computers: a changing worldEmilio Benfenati · 2007
Computational predictive programs (expert systems) in toxicologyEmilio Benfenati; Giuseppina Gini · 1997
Mass Spectrometric Studies of FlavonoidsBenfenati, Emilio; Frassanito, Rita; Toro, Nicola Di; Fanelli, Roberto; Brandt, Alberto; Rella, Mario Di; Cecchetelli, Loredana · Natural Product Letters · 1994
Fragment Prioritization on a Large Mutagenicity DatasetFloris, Matteo; Raitano, Giuseppa; Medda, Ricardo; Benfenati, Emilio · Molecular Informatics · 2016
<span class="smallCaps">coral Software: QSAR for Anticancer AgentsEmilio Benfenati; Andrey A. Toropov; Alla P. Toropova; Alberto Manganaro; Rodolfo Gonella Diaza · 2011
ChemInform Abstract: OCWLGI Descriptors: Theory and PraxisToropov, Andrey A.; Toropova, Alla P.; Benfenati, Emilio; Gini, Giuseppina · ChemInform · 2013
New public QSAR model for carcinogenicityNatalja Fjodorova; Marjan Vračko; Marjana Novič; Alessandra Roncaglioni; Emilio Benfenati · 2010