Flavio Ferrarotti

Available identifiers

zbMath Open ferrarotti.flavio-antonioMaRDI QIDQ313978

List of research outcomes

Publication	Date of Publication	Type
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data	2023-06-28	Paper
Distributed Adaptive Systems	2023-03-10	Paper
Systematic Refinement of Abstract State Machines with Higher-Order Logic	2023-03-10	Paper
A Logic for Reflective ASMs	2022-10-14	Paper
A complete logic for Database Abstract State Machines1	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
https://portal.mardi4nfdi.de/entity/Q5133477	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 unifying logic for non-deterministic, parallel and concurrent 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
https://portal.mardi4nfdi.de/entity/Q3086725	2011-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q3075228	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

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: Flavio Ferrarotti