Flavio Ferrarotti

From MaRDI portal
Person:313978

Available identifiers

zbMath Open ferrarotti.flavio-antonioMaRDI QIDQ313978

List of research outcomes





PublicationDate of PublicationType
A complete fragment of LTL(EB)2024-10-30Paper
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data2023-06-28Paper
Systematic Refinement of Abstract State Machines with Higher-Order Logic2023-03-10Paper
Distributed Adaptive Systems2023-03-10Paper
A Logic for Reflective ASMs2022-10-14Paper
A complete logic for database abstract state machines2022-08-10Paper
A restricted second-order logic for non-deterministic poly-logarithmic time2022-06-16Paper
https://portal.mardi4nfdi.de/entity/Q50797462022-05-28Paper
ASM specification and refinement of a quantum algorithm2022-03-22Paper
A behavioural theory for reflective sequential algorithms2021-05-26Paper
Descriptive complexity of deterministic polylogarithmic time and space2021-04-14Paper
Polynomially bounded valuations in higher-order logics over relational databases2020-11-10Paper
Proper hierarchies in polylogarithmic time and absence of complete problems2020-10-26Paper
Descriptive complexity of deterministic polylogarithmic time2020-03-04Paper
A unifying logic for non-deterministic, parallel and concurrent abstract state machines2018-09-21Paper
On fragments of higher order logics that on finite structures collapse to second order2017-12-20Paper
A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis2016-09-12Paper
A logic for non-deterministic parallel abstract state machines2016-05-19Paper
Semantic restrictions over second-order logic2015-12-08Paper
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF2015-02-27Paper
Reasoning about functional and full hierarchical dependencies over partial relations2014-04-16Paper
Foundations for a fourth normal form over SQL-like databases2012-03-09Paper
The Boyce-Codd-Heath normal form for SQL2011-05-27Paper
The complexity of \(\mathit{AUTOSAT}(\Sigma^i_m)\)2011-03-30Paper
Redundant relations in relational databases: a model theoretic perspective2011-02-10Paper
On the role of the complementation rule for data dependencies over incomplete relations2010-09-29Paper
The Relational Polynomial-Time Hierarchy and Second-Order Logic2009-01-22Paper
Arity and alternation: a proper hierarchy in higher order logics2007-10-12Paper
Foundations of Information and Knowledge Systems2007-02-12Paper

Research outcomes over time

This page was built for person: Flavio Ferrarotti