Alfredo Ferro

Orcid: 0000-0002-9431-5788

Affiliations:
  • University of Catania, Italy


According to our database1, Alfredo Ferro authored at least 71 papers between 1980 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic.
Proceedings of the From Computational Logic to Computational Biology, 2024

2023
DEGGs: an R package with shiny app for the identification of differentially expressed gene-gene interactions in high-throughput sequencing data.
Bioinform., April, 2023

MASFENON: Multi-Agent Adaptive Simulation Framework for Evolution in Networks of Networks.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2022
Virus finding tools: current solutions and limitations.
Briefings Bioinform., 2022

NETME: on-the-fly knowledge network construction from biomedical literature.
Appl. Netw. Sci., 2022

COMBO: A Computational Framework to Analyze RNA-seq and Methylation Data Through Heterogeneous Multi-layer Networks.
Proceedings of the Complex Networks and Their Applications XI, 2022

2021
PHENSIM: Phenotype Simulator.
PLoS Comput. Biol., 2021

MODIT: MOtif DIscovery in Temporal Networks.
Frontiers Big Data, 2021

RNAdetector: a free user-friendly stand-alone and cloud-based system for RNA-Seq data analysis.
BMC Bioinform., 2021

TemporalRI: subgraph isomorphism in temporal networks with multiple contacts.
Appl. Netw. Sci., 2021

2020
MultiRI: Fast Subgraph Matching in Labeled Multigraphs.
CoRR, 2020

A benchmarking of pipelines for detecting ncRNAs from RNA-Seq data.
Briefings Bioinform., 2020

Establish the expected number of induced motifs on unlabeled graphs through analytical models.
Appl. Netw. Sci., 2020

NETME: On-the-Fly Knowledge Network Construction from Biomedical Literature.
Proceedings of the Complex Networks & Their Applications IX, 2020

TemporalRI: A Subgraph Isomorphism Algorithm for Temporal Networks.
Proceedings of the Complex Networks & Their Applications IX, 2020

2019
Exploring the Role of Interdisciplinarity in Physics: Success, Talent and Luck.
CoRR, 2019

Fast methods for finding significant motifs on labelled multi-relational networks.
J. Complex Networks, 2019

TACITuS: transcriptomic data collector, integrator, and selector on big data platform.
BMC Bioinform., 2019

Identification of tRNA-derived ncRNAs in TCGA and NCI-60 panel cell lines and development of the public database tRFexplorer.
Database J. Biol. Databases Curation, 2019

Establish the Expected Number of Injective Motifs on Unlabeled Graphs Through Analytical Models.
Proceedings of the Complex Networks and Their Applications VIII, 2019

2018
miRandola 2017: a curated knowledge base of non-invasive biomarkers.
Nucleic Acids Res., 2018

Fast analytical methods for finding significant labeled graph motifs.
Data Min. Knowl. Discov., 2018

INBIA: a boosting methodology for proteomic network inference.
BMC Bioinform., 2018

Simple Pattern-only Heuristics Lead to Fast Subgraph Matching Strategies on Very Large Networks.
Proceedings of the Practical Applications of Computational Biology and Bioinformatics, 2018

gLabTrie: A Data Structure for Motif Discovery with Constraints.
Proceedings of the Graph Data Management, Fundamental Issues and Recent Developments., 2018

2017
A novel computational method for inferring competing endogenous interactions.
Briefings Bioinform., 2017

2015
NetMatchStar: an enhanced Cytoscape network querying app.
F1000Research, 2015

Post-transcriptional knowledge in pathway analysis increases the accuracy of phenotypes classification.
CoRR, 2015

A knowledge base for Vitis vinifera functional analysis.
BMC Syst. Biol., 2015

DT-Web: a web-based application for drug-target interaction and drug combination prediction through domain-tuned network-based inference.
BMC Syst. Biol., 2015

OCDB: a database collecting genes, miRNAs and drugs for obsessive-compulsive disorder.
Database J. Biol. Databases Curation, 2015

2014
GASOLINE: a Cytoscape app for multiple local alignment of PPI networks.
F1000Research, 2014

2013
Enhancing density-based clustering: Parameter reduction and outlier detection.
Inf. Syst., 2013

Bioinformatics in Italy: BITS 2012, the ninth annual meeting of the Italian Society of Bioinformatics.
BMC Bioinform., 2013

VIRGO: visualization of A-to-I RNA editing sites in genomic sequences.
BMC Bioinform., 2013

A subgraph isomorphism algorithm and its application to biochemical data.
BMC Bioinform., 2013

Drug-target interaction prediction through domain-tuned network-based inference.
Bioinform., 2013

2012
miR-EdiTar: a database of predicted A-to-I edited miRNA target sites.
Bioinform., 2012

2011
Obstacles constrained group mobility models in event-driven wireless networks with movable base stations.
Ad Hoc Networks, 2011

Behind Efficient Algorithms to Search in Graphs.
Proceedings of the Graph Data Management: Techniques and Applications., 2011

2010
Sigma: a Set-Cover-Based Inexact Graph Matching Algorithm.
J. Bioinform. Comput. Biol., 2010

SING: Subgraph search In Non-homogeneous Graphs.
BMC Bioinform., 2010

Enhancing Graph Database Indexing by Suffix Tree Structure.
Proceedings of the Pattern Recognition in Bioinformatics, 2010

MySQL Data Mining: Extending MySQL to Support Data Mining Primitives (Demo).
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

An Efficient Duplicate Record Detection Using q-Grams Array Inverted Index.
Proceedings of the Data Warehousing and Knowledge Discovery, 12th International Conference, 2010

2009
miRò: a miRNA knowledge base.
Database J. Biol. Databases Curation, 2009

Distributed randomized algorithms for low-support data mining.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

BitCube: A Bottom-Up Cubing Engineering.
Proceedings of the Data Warehousing and Knowledge Discovery, 11th International Conference, 2009

2008
GraphFind: enhancing graph searching by low support data mining techniques.
BMC Bioinform., 2008

2007
Sequence similarity is more relevant than species specificity in probabilistic backtranslation.
BMC Bioinform., 2007

NetMatch: a Cytoscape plugin for searching biological networks.
Bioinform., 2007

2006
Distributed antipole clustering for efficient data search and management in Euclidean and metric spaces.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces.
IEEE Trans. Knowl. Data Eng., 2005

An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces.
SIAM J. Optim., 2005

Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces.
Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

AntiClustAl: Multiple Sequence Alignment by Antipole Clustering.
Proceedings of the Data Mining in Bioinformatics, 2005

2004
Locally sensitive backtranslation based on multiple sequence alignment.
Proceedings of the 2004 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2004

2003
Fast Clustering and Minimum Weight Matching Algorithms for Very Large Mobile Backbone Wireless Networks.
Int. J. Found. Comput. Sci., 2003

ANTICLUSTAL: Multiple Sequence Alignment by Antipole Clustering and Linear Approximate 1-Median Computation.
Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003

Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing.
Proceedings of the Verification: Theory and Practice, 2003

2001
Best-Match Retrieval for Structured Images.
IEEE Trans. Pattern Anal. Mach. Intell., 2001

2000
Approximate search in image database.
Proceedings of the Storage and Retrieval for Media Databases 2000, 2000

1999
Error-Tolerant Database for Structured Images.
Proceedings of the Visual Information and Information Systems, 1999

1997
Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism.
Proceedings of the Logic Programming, 1997

1991
Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators.
J. Autom. Reason., 1991

1989
Computable set theory. Volume 1.
The international series of monographs on computer science 6, Clarendon Press / Oxford University Press, ISBN: 9780198538073, 1989

1988
Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs.
Proceedings of the Symbolic and Algebraic Computation, 1988

1987
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator.
J. Comput. Syst. Sci., 1987

Groebner Bases, Ritt's Algorithm and Decision Procedures for Algebraic Theories.
Proceedings of the Applied Algebra, 1987

1981
Decision Procedures for some Classes of Unquantified Set Theoretic Formulae.
PhD thesis, 1981

1980
Decision Procedures for Some Fragments of Set Theory.
Proceedings of the 5th Conference on Automated Deduction, 1980


  Loading...