( en | de | ru )

 

Disambiguation of "Bernasconi, Anna"

Author of the publication

copydeleteadd this publication to your clipboard
From model checking to a temporal proof for partial models: preliminary example.

, , , , and . CoRR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andreas Bernasconi

Marzio Bernasconi

Danilo Bernasconi

Carlo Bernasconi

Tobias Bernasconi

 

Other publications of authors with the same name

Combinatorial Properties of Classes of Functions Hard to Compute in Constant Depth.. COCOON, volume 1449 of Lecture Notes in Computer Science, page 339-348. Springer, (1998)Approximate Logic Synthesis by Symmetrization., , and . DATE, page 1655-1660. IEEE, (2019)Measures of Boolean Function Complexity Based on Harmonic Analysis., and . CIAC, volume 778 of Lecture Notes in Computer Science, page 63-72. Springer, (1994)On the Optimal OBDD Representation of 2-XOR Boolean Affine Spaces., , and . DATE, page 1437-1442. IEEE, (2022)A Reference Meta-model to Understand DNA Variant Interpretation Guidelines., , , , and . ER, volume 14320 of Lecture Notes in Computer Science, page 375-393. Springer, (2023)An Ontological Characterization of a Conceptual Model of the Human Genome., , , , and . CAiSE Forum, volume 452 of Lecture Notes in Business Information Processing, page 27-35. Springer, (2022)ViruSurf: an integrated database to investigate viral sequences., , , , , and . Nucleic Acids Res., 49 (Database-Issue): D817-D824 (2021)Testability of Switching Lattices in the Cellular Fault Model., , and . DSD, page 320-327. IEEE, (2019)Automated Integration of Genomic Metadata with Sequence-to-Sequence Models., , , , and . ECML/PKDD (5), volume 12461 of Lecture Notes in Computer Science, page 187-203. Springer, (2020)Effect of Different Encodings and Distance Functions on Quantum Instance-Based Classifiers., , , and . PAKDD (2), volume 13281 of Lecture Notes in Computer Science, page 96-108. Springer, (2022)