Person:795030

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
Verification: Theory and Practice	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
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 VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae	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. 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 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. 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/Q3893902	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3894959	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alfredo Ferro