Flavio Ferrarotti

Available identifiers

zbMath Open ferrarotti.flavio-antonioMaRDI QIDQ313978

List of research outcomes

Publication	Date of Publication	Type
A complete fragment of LTL(EB)	2024-10-30	Paper
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data	2023-06-28	Paper
Systematic Refinement of Abstract State Machines with Higher-Order Logic	2023-03-10	Paper
Distributed Adaptive Systems	2023-03-10	Paper
A Logic for Reflective ASMs	2022-10-14	Paper
A complete logic for database abstract state machines	2022-08-10	Paper
A restricted second-order logic for non-deterministic poly-logarithmic time	2022-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q5079746	2022-05-28	Paper
ASM specification and refinement of a quantum algorithm	2022-03-22	Paper
A behavioural theory for reflective sequential algorithms	2021-05-26	Paper
Descriptive complexity of deterministic polylogarithmic time and space	2021-04-14	Paper
Polynomially bounded valuations in higher-order logics over relational databases	2020-11-10	Paper
Proper hierarchies in polylogarithmic time and absence of complete problems	2020-10-26	Paper
Descriptive complexity of deterministic polylogarithmic time	2020-03-04	Paper
A unifying logic for non-deterministic, parallel and concurrent abstract state machines	2018-09-21	Paper
On fragments of higher order logics that on finite structures collapse to second order	2017-12-20	Paper
A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis	2016-09-12	Paper
A logic for non-deterministic parallel abstract state machines	2016-05-19	Paper
Semantic restrictions over second-order logic	2015-12-08	Paper
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF	2015-02-27	Paper
Reasoning about functional and full hierarchical dependencies over partial relations	2014-04-16	Paper
Foundations for a fourth normal form over SQL-like databases	2012-03-09	Paper
The Boyce-Codd-Heath normal form for SQL	2011-05-27	Paper
The complexity of \(\mathit{AUTOSAT}(\Sigma^i_m)\)	2011-03-30	Paper
Redundant relations in relational databases: a model theoretic perspective	2011-02-10	Paper
On the role of the complementation rule for data dependencies over incomplete relations	2010-09-29	Paper
The Relational Polynomial-Time Hierarchy and Second-Order Logic	2009-01-22	Paper
Arity and alternation: a proper hierarchy in higher order logics	2007-10-12	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper

Research outcomes over time

This page was built for person: Flavio Ferrarotti