On the Computation of Approximations of Database Queries. - Flavio Antonio Ferrarotti; Jose Maria Turull Torres (ADC, 2004)

Arity and Alternation: A Proper Hierarchy in Higher Order Logics. - Flavio Antonio Ferrarotti; Jose Maria Turull Torres (FoIKS, 2006)

The Relational Polynomial-Time Hierarchy and Second-Order Logic. - Flavio Antonio Ferrarotti; Jose Maria Turull Torres (SDKB, 2008)

Location cache for web queries. - Mauricio Marín; Flavio Ferrarotti; Marcelo Mendoza; Carlos Gómez-Pantoja; Veronica Gil-Costa (CIKM, 2009)

First-Order Types and Redundant Relations in Relational Databases. - Flavio Antonio Ferrarotti; Alejandra Lorena Paoletti; José M. Turull Torres (ER Workshops, 2009)

XML Machines. - Qing Wang 002; Flavio Antonio Ferrarotti (ER Workshops, 2009)

A Last-Resort Semantic Cache for Web Queries. - Flavio Ferrarotti; Mauricio Marín; Marcelo Mendoza (SPIRE, 2009)

Learning to Distribute Queries into Web Search Nodes. - Marcelo Mendoza; Mauricio Marín; Flavio Ferrarotti; Barbara Poblete (ECIR, 2010)

Distributing a Metric-Space Search Index onto Processors. - Mauricio Marín; Flavio Ferrarotti; Veronica Gil-Costa (ICPP, 2010)

On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link (WoLLIC, 2010)

Promoting the Semantic Capability of XML Keys. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link; Jing Wang 056 (XSym, 2010)

Redundant Relations in Relational Databases: A Model Theoretic Perspective. - Flavio Antonio Ferrarotti; Alejandra Lorena Paoletti; Jose Maria Turull Torres (J. Univers. Comput. Sci., 2010)

A vector model for routing queries in web search engines. - Mauricio Oyarzún; Senén González; Marcelo Mendoza; Flavio Ferrarotti; Max Chacón; Mauricio Marín (ICCS, 2010)

Codd Table Representations under Weak Possible World Semantics. - Flavio Ferrarotti; Sven Hartmann; Van Bao Tran Le; Sebastian Link (DEXA (1), 2011)

A Precious Class of Cardinality Constraints for Flexible XML Data Processing. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link (ER, 2011)

Semantic Restrictions over Second-Order Logic. - Flavio Antonio Ferrarotti; Alejandro L. Grosso; Jose Maria Turull Torres (SDKB, 2011)

The Boyce-Codd-Heath Normal Form for SQL. - Flavio Ferrarotti; Sven Hartmann; Henning Köhler; Sebastian Link; Millist W. Vincent (WoLLIC, 2011)

Foundations for a Fourth Normal Form over SQL-Like Databases. - Flavio Ferrarotti; Sven Hartmann; Henning Köhler; Sebastian Link; Millist W. Vincent (Conceptual Modelling and Its Theoretical Foundations, 2012)

Performance Analysis of Algorithms to Reason about XML Keys. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link; Mauricio Marín; Emir Muñoz (DEXA (1), 2012)

Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples. - Van Bao Tran Le; Sebastian Link; Flavio Ferrarotti (ER, 2013)

Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link; Mauricio Marín; Emir Muñoz (WISE (1), 2013)

Efficiency frontiers of XML cardinality constraints. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link (Data Knowl. Eng., 2013)

Reasoning about functional and full hierarchical dependencies over partial relations. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link (Inf. Sci., 2013)

The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation. - Flavio Ferrarotti; Sven Hartmann; Sebastian Link; Mauricio Marín; Emir Muñoz (Trans. Large Scale Data Knowl. Centered Syst., 2013)

SQL-Sampler: A Tool to Visualize and Consolidate Domain Semantics by Perfect SQL Sample Data. - Van Bao Tran Le; Sebastian Link; Flavio Ferrarotti (APCCM, 2014)

Expressing properties in second- and third-order logic: hypercube graphs and SATQBF. - Flavio Ferrarotti; Wei Ren; Jose Maria Turull Torres (Log. J. IGPL, 2014)

Conceptual Modelling with Specific Focus on Service-Oriented Systems. - Flavio Ferrarotti; Georg Grossmann; Klaus-Dieter Schewe; Qing Wang 002 (J. Univers. Comput. Sci., 2014)

Empirical evidence for the usefulness of Armstrong tables in the acquisition of semantically meaningful SQL constraints. - Van Bao Tran Le; Sebastian Link; Flavio Ferrarotti (Data Knowl. Eng., 2015)

Towards an ASM Thesis for Reflective Sequential Algorithms. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (ABZ, 2016)

Towards a Behavioural Theory for Random Parallel Computing. - Klaus-Dieter Schewe; Flavio Ferrarotti; Loredana Tec; Qing Wang 002 (Computational Models of Rationality, 2016)

A Logic for Non-deterministic Parallel Abstract State Machines. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (FoIKS, 2016)

On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (CoRR, 2016)

A Complete Logic for Non-Deterministic Database Transformations. - Qing Wang 002; Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec (CoRR, 2016)

Reducing hardware hit by queries in web search engines. - Marcelo Mendoza; Mauricio Marín; Veronica Gil-Costa; Flavio Ferrarotti (Inf. Process. Manag., 2016)

A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (Theor. Comput. Sci., 2016)

Evolving concurrent systems: behavioural theory and logic. - Klaus-Dieter Schewe; Flavio Ferrarotti; Loredana Tec; Qing Wang 002; Wenya An (ACSW, 2017)

A Behavioural Theory for Reflective Sequential Algorithms. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec (Ershov Informatics Conference, 2017)

On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. - Flavio Ferrarotti; Senén González; José Maria Turull Torres (WoLLIC, 2017)

A complete logic for Database Abstract State Machines1. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (Log. J. IGPL, 2017)

Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe (ADBIS, 2018)

Systematic Refinement of Abstract State Machines with Higher-Order Logic. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (ABZ, 2018)

Distributed Adaptive Systems - Theory, Specification, Reasoning. - Klaus-Dieter Schewe; Flavio Ferrarotti; Loredana Tec; Qing Wang 002 (ABZ, 2018)

Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. - Flavio Ferrarotti; Loredana Tec; José Maria Turull Torres (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

Expressivity Within Second-Order Transitive-Closure Logic. - Flavio Ferrarotti; Jan Van den Bussche; Jonni Virtema (CSL, 2018)

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (SYNASC, 2018)

A unifying logic for non-deterministic, parallel and concurrent abstract state machines. - Flavio Ferrarotti; Klaus-Dieter Schewe; Loredana Tec; Qing Wang 002 (Ann. Math. Artif. Intell., 2018)

Extracting High-Level System Specifications from Source Code via Abstract State Machines. - Flavio Ferrarotti; Josef Pichler; Michael Moser; Georg Buchgeher (MEDI, 2019)

Descriptive Complexity of Deterministic Polylogarithmic Time. - Flavio Ferrarotti; Senén González; José Maria Turull Torres; Jan Van den Bussche; Jonni Virtema (WoLLIC, 2019)

Preface. - Flavio Ferrarotti; Stefan Woltran (Ann. Math. Artif. Intell., 2019)

BSP abstract state machines capture bulk synchronous parallel computations. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe (Sci. Comput. Program., 2019)

Automated security test generation for MQTT using attack patterns. - Hannes Sochor; Flavio Ferrarotti; Rudolf Ramler (ARES, 2020)

A Logic for Reflective ASMs. - Klaus-Dieter Schewe; Flavio Ferrarotti (ABZ, 2020)

An Architecture for Automated Security Test Case Generation for MQTT Systems. - Hannes Sochor; Flavio Ferrarotti; Rudolf Ramler (DEXA Workshops, 2020)

Exploiting MQTT-SN for Distributed Reflection Denial-of-Service Attacks. - Hannes Sochor; Flavio Ferrarotti; Rudolf Ramler (DEXA Workshops, 2020)

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (FoIKS, 2020)

Completeness in Polylogarithmic Time and Space. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (CoRR, 2020)

A restricted second-order logic for non-deterministic poly-logarithmic time. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (Log. J. IGPL, 2020)

Stepwise abstraction of high-level system specifications from source code. - Flavio Ferrarotti; Michael Moser; Josef Pichler (J. Comput. Lang., 2020)

ASM Specification and Refinement of a Quantum Algorithm. - Flavio Ferrarotti; Senén González (Logic, Computation and Rigorous Methods, 2021)

A Refinement Based Algorithm for Learning Program Input Grammars. - Hannes Sochor; Flavio Ferrarotti (DataMod, 2021)

Descriptive complexity of deterministic polylogarithmic time and space. - Flavio Ferrarotti; Senén González; José Maria Turull Torres; Jan Van den Bussche; Jonni Virtema (J. Comput. Syst. Sci., 2021)

Advances and Challenges for Model and Data Engineering. - J. Christian Attiogbé; Flavio Ferrarotti; Sofian Maabout (J. Univers. Comput. Sci., 2021)

A logic for reflective ASMs. - Klaus-Dieter Schewe; Flavio Ferrarotti; Senén González (Sci. Comput. Program., 2021)

Fuzzing-Based Grammar Inference. - Hannes Sochor; Flavio Ferrarotti; Daniela Kaufmann (MEDI, 2022)

Uniform Polylogarithmic Space Completeness. - Flavio Ferrarotti; Senén González; Klaus-Dieter Schewe; José Maria Turull Torres (Frontiers Comput. Sci., 2022)

Behavioural theory of reflective algorithms I: Reflective sequential algorithms. - Klaus-Dieter Schewe; Flavio Ferrarotti (Sci. Comput. Program., 2022)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution. - Daniel Dorfmeister; Flavio Ferrarotti; Bernhard Fischer; Evelyn Nicole Haslinger; Rudolf Ramler; Markus Zimmermann (DEXA Workshops, 2023)

Behavioural Theory of Reflective Algorithms. - Flavio Ferrarotti; Klaus-Dieter Schewe (ABZ, 2023)

Exploration of Reflective ASMs for Security. - Linjie Tong; Ke Xu 002; Jiarun Hu; Flavio Ferrarotti; Klaus-Dieter Schewe (ABZ, 2023)

An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol. - Hannes Sochor; Flavio Ferrarotti; Rudolf Ramler (J. Softw. Evol. Process., 2023)

A Complete Fragment of LTL(EB). - Flavio Ferrarotti; Peter Rivière; Klaus-Dieter Schewe; Neeraj Kumar Singh 001; Yamine Aït Ameur (FoIKS, 2024)

Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers. - S. Bruckner; Flavio Ferrarotti; Rudolf Ramler; Robert Wille; Stefan Hillmich (PROFES (Industry-, Workshop-, and Doctoral Symposium Papers), 2024)

GrammarForge: Learning Program Input Grammars for Fuzz Testing. - Hannes Sochor; Flavio Ferrarotti; Robert Wille (SEFM, 2024)

A PUF-Based Approach for Copy Protection of Intellectual Property in Neural Network Models. - Daniel Dorfmeister; Flavio Ferrarotti; Bernhard Fischer; Martin Schwandtner; Hannes Sochor (SWQD, 2024)

Modal Extensions of the Logic of Abstract State Machines. - Flavio Ferrarotti; Klaus-Dieter Schewe (ABZ, 2024)

Choiceless Polynomial Space. - Flavio Ferrarotti; Klaus-Dieter Schewe (CoRR, 2024)

Fuzzing-based grammar learning from a minimal set of seed inputs. - Hannes Sochor; Flavio Ferrarotti; Daniela Kaufmann (J. Comput. Lang., 2024)

Software-Hardware Binding for Protection of Sensitive Data in Embedded Software. - Bernhard Fischer; Daniel Dorfmeister; Flavio Ferrarotti; Manuel Penz; Michael Kargl; Martina Zeinzinger; Florian Eibensteiner (SAC, 2025)

Behavioural Theory of Reflective Parallel Algorithms. - Klaus-Dieter Schewe; Flavio Ferrarotti (ABZ, 2025)

Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms. - Klaus-Dieter Schewe; Flavio Ferrarotti (CoRR, 2025)

TREBL - A Relative Complete Temporal Event-B Logic. Part I: Theory. - Klaus-Dieter Schewe; Flavio Ferrarotti; Peter Rivière; Neeraj Kumar Singh 001; Guillaume Dupont; Yamine Aït Ameur (CoRR, 2025)