742 citations
- University of UdineIT5 papers
- Baylor College of MedicineUS1 paper
- BC Cancer AgencyCA1 paper
- BGI Group (China)CN1 paper
- Broad InstituteUS1 paper
- Centre Inria de l'Université de RennesFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Cold Spring Harbor LaboratoryUS1 paper
- Duke Medical CenterUS1 paper
- Duke UniversityUS1 paper
- École Normale Supérieure Paris-SaclayFR1 paper
- European Bioinformatics InstituteGB1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 3 cited
Adding the Power-Set to Description Logics
Laura Giordano, Alberto Policriti
We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, con…
cs.LO2017★ 31 cited
An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems
Simone Silvetti, Alberto Policriti, Luca Bortolussi
Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification p…