Alfredo Ferro

From MaRDI portal
Person:795030

Available identifiers

zbMath Open ferro.alfredoWikidataQ58145185 ScholiaQ58145185MaRDI QIDQ795030

List of research outcomes





PublicationDate of PublicationType
Fast methods for finding significant motifs on labelled multi-relational networks2021-05-07Paper
Fast analytical methods for finding significant labeled graph motifs2019-05-03Paper
Efficient boundary values generation in general metric spaces for software component testing2010-03-23Paper
An Efficient Approximate Algorithm for the 1-Median Problem in Metric Spaces2006-05-30Paper
Experimental and Efficient Algorithms2005-11-30Paper
FAST CLUSTERING AND MINIMUM WEIGHT MATCHING ALGORITHMS FOR VERY LARGE MOBILE BACKBONE WIRELESS NETWORKS2005-10-19Paper
Techniques of computable set theory with applications to proof verification1996-12-05Paper
https://portal.mardi4nfdi.de/entity/Q39998611993-01-23Paper
Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30338731989-01-01Paper
Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34868761988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34899771988-01-01Paper
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator1987-01-01Paper
Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38190411987-01-01Paper
Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}1987-01-01Paper
Decision algorithms for some fragments of analysis and related areas1987-01-01Paper
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator1985-01-01Paper
A note on the decidability of mls extended with the powerset operator1985-01-01Paper
Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator1984-01-01Paper
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions1981-01-01Paper
Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39052541980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38567631979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38949591978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38939021978-01-01Paper

Research outcomes over time

This page was built for person: Alfredo Ferro