Alberto Casagrande

Proceedings of the Reachability Problems - 17th International Conference, 2023

Set-Based Invariants over Polynomial Systems.

[BibT_eX]

[DOI]

Proceedings of the 38th Italian Conference on Computational Logic, 2023

2022

Fifty years of Shannon information theory in assessing the accuracy and agreement of diagnostic tests.

[BibT_eX]

[DOI]

Medical Biol. Eng. Comput., 2022

Parameter synthesis of polynomial dynamical systems.

[BibT_eX]

[DOI]

Inf. Comput., 2022

2021

Preface.

[BibT_eX]

[DOI]

Eugenio G. Omodeo

Maurizio Proietti

Fundam. Informaticae, 2021

2020

Beyond kappa: an informational index for diagnostic agreement in dichotomous and multivalue ordered-categorical ratings.

[BibT_eX]

[DOI]

Medical Biol. Eng. Comput., 2020

Computing Information Agreement.

[BibT_eX]

[DOI]

CoRR, 2020

Extending Information Agreement by Continuity.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

2019

Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation?

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

PolyMorph: Increasing the Spelling Efficiency of P300 by Selection Matrix PolyMorphism and Sentence-Based Predictions.

[BibT_eX]

[DOI]

Piero Paolo Battaglini

Int. J. Hum. Comput. Interact., 2018

On Perfect Matchings for some Bipartite Graphs.

[BibT_eX]

[DOI]

Francesco Di Cosmo

Eugenio G. Omodeo

Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018

2015

Unwinding biological systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Is Hyper-extensionality Preservable Under Deletions of Graph Elements?

[BibT_eX]

[DOI]

Alberto Policriti

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

PolyMorph: Increasing P300 Spelling Efficiency by Selection Matrix Polymorphism and Sentence-Based Predictions.

[BibT_eX]

[DOI]

Piero Paolo Battaglini

CoRR, 2015

2014

ϵ-Semantics computations on biological systems.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Reasoning about connectivity without paths.

[BibT_eX]

[DOI]

Eugenio G. Omodeo

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

External Interactions on Hybrid Models of Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

2013

Approximated Symbolic Computations over Hybrid Automata.

[BibT_eX]

[DOI]

Tommaso Dreossi

Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

pyHybrid Analysis: A Package for Semantics Analysis of Hybrid Systems.

[BibT_eX]

[DOI]

Tommaso Dreossi

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

PolyMorph: A P300 Polymorphic Speller.

[BibT_eX]

[DOI]

Piero Paolo Battaglini

Proceedings of the Brain and Health Informatics - International Conference, 2013

2012

Family Fingerprints: a Global Approach to Structural Classification.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2012

Hybrid Automata and ε-Analysis on a Neural Oscillator

[BibT_eX]

[DOI]

Tommaso Dreossi

Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Model Checking on Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

2011

SCOP family fingerprints: An information theoretic approach to structural classification of protein domains.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2011

2009

Discrete Semantics for Hybrid Automata.

[BibT_eX]

[DOI]

Alberto Policriti

Discret. Event Dyn. Syst., 2009

GAM: Genomic Assemblies Merger: A Graph Based Method to Integrate Different Assemblies.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Conference on Bioinformatics and Biomedicine, 2009

2008

Inclusion dynamics hybrid automata.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Decidable Compositions of O-Minimal Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Composing Semi-algebraic O-Minimal Automata.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Biology, Second International Conference, 2007

2005

Semi-Algebraic Constant Reset Hybrid Automata - SACoRe.

[BibT_eX]

[DOI]