default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays Dedicated to Alfredo Ferro 2024
- Domenico Cantone
, Alfredo Pulvirenti:
From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career. Lecture Notes in Computer Science 14070, Springer 2024, ISBN 978-3-031-55247-2
Computational Logic
- Edmond Schonberg:
The Early Development of SETL. 3-8 - Domenico Cantone, Eugenio G. Omodeo:
Onset and Today's Perspectives of Multilevel Syllogistic. 9-55 - Maximiliano Cristiá, Gianfranco Rossi:
An Automatically Verified Prototype of a Landing Gear System. 56-81 - Alfredo Ferro, Eugenio G. Omodeo:
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic. 82-95
Computational Biology and Complex Systems
- Marco Pellegrini:
Advances in Network-Based Drug Repositioning. 99-114 - Barel I. Mashiach, Roded Sharan:
Integer Programming Based Algorithms for Overlapping Correlation Clustering. 115-127 - Francesco Russo, Filip Ottosson, Justin J. J. van der Hooft, Madeleine Ernst:
Deep Learning Models for LC-MS Untargeted Metabolomics Data Analysis. 128-144 - Alessandro Laganà:
The Search for Cancer Drivers. 145-171 - Vincenzo Cutello, Mario Pavone, Francesco Zito:
Inferring a Gene Regulatory Network from Gene Expression Data. An Overview of Best Methods and a Reverse Engineering Approach. 172-185 - Alessio Emanuele Biondo, Alessandro Pluchino, Andrea Rapisarda:
Efficient Random Strategies for Taming Complex Socio-economic Systems. 186-222 - Andrea Gabrielli, Valentina Macchiati, Diego Garlaschelli:
Critical Density for Network Reconstruction. 223-249 - Emanuele Martorana, Roberto Grasso, Giovanni Micale, Salvatore Alaimo, Dennis E. Shasha, Rosalba Giugno, Alfredo Pulvirenti:
Motif Finding Algorithms: A Performance Comparison. 250-267
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
