Anna Bernasconi

According to our database1, Anna Bernasconi authored at least 16 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Integrating Topological Proofs with Model Checking to Instrument Iterative Design.
Proceedings of the Fundamental Approaches to Software Engineering, 2020

Empowering Virus Sequence Research Through Conceptual Modeling.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020

2019
Biological and Medical Ontologies: Systems Biology Ontology (SBO).
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Biological and Medical Ontologies: Human Phenotype Ontology (HPO).
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Biological and Medical Ontologies: Disease Ontology (DO).
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 1, 2019

Processing of big heterogeneous genomic datasets for tertiary analysis of Next Generation Sequencing data.
Bioinform., 2019

GenoSurf: metadata driven semantic search system for integrated genomic datasets.
Database J. Biol. Databases Curation, 2019

Exploiting Conceptual Modeling for Searching Genomic Metadata: A Quantitative and Qualitative Empirical Study.
Proceedings of the Advances in Conceptual Modeling, 2019

From a Conceptual Model to a Knowledge Graph for Genomic Datasets.
Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Using GMQL-Web for Querying, Downloading and Integrating Public with Private Genomic Datasets.
Proceedings of the 10th ACM International Conference on Bioinformatics, 2019

2018
Ontology-driven metadata enrichment for genomic datasets.
Proceedings of the 11th International Conference Semantic Web Applications and Tools for Life Sciences, 2018

Using Metadata for Locating Genomic Datasets on a Global Scale.
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018), 2018

2017
From model checking to a temporal proof for partial models: preliminary example.
CoRR, 2017

From Model Checking to a Temporal Proof for Partial Models.
Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Overview of GeCo: A Project for Exploring and Integrating Signals from the Genome.
Proceedings of the Data Analytics and Management in Data Intensive Domains, 2017

Conceptual Modeling for Genomics: Building an Integrated Repository of Open Data.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017


  Loading...