Alfredo Ferro

Available identifiers

zbMath Open ferro.alfredoWikidataQ58145185 ScholiaQ58145185MaRDI QIDQ795030

List of research outcomes

Publication	Date of Publication	Type
Fast methods for finding significant motifs on labelled multi-relational networks	2021-05-07	Paper
Fast analytical methods for finding significant labeled graph motifs	2019-05-03	Paper
Efficient boundary values generation in general metric spaces for software component testing	2010-03-23	Paper
An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces	2006-05-30	Paper
Experimental and Efficient Algorithms	2005-11-30	Paper
FAST CLUSTERING AND MINIMUM WEIGHT MATCHING ALGORITHMS FOR VERY LARGE MOBILE BACKBONE WIRELESS NETWORKS	2005-10-19	Paper
Techniques of computable set theory with applications to proof verification	1996-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q3999861	1993-01-23	Paper
Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3033873	1989-01-01	Paper
Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3486876	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3489977	1988-01-01	Paper
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator	1987-01-01	Paper
Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3819041	1987-01-01	Paper
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}	1987-01-01	Paper
Decision algorithms for some fragments of analysis and related areas	1987-01-01	Paper
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator	1985-01-01	Paper
A note on the decidability of mls extended with the powerset operator	1985-01-01	Paper
Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator	1984-01-01	Paper
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions	1981-01-01	Paper
Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3905254	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3856763	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3894959	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3893902	1978-01-01	Paper

Research outcomes over time

This page was built for person: Alfredo Ferro