11 citations
- University of Chieti-PescaraIT6 papers
- IMT School for Advanced Studies LuccaIT2 papers
- University of FlorenceIT2 papers
- Astrobiology CenterJP1 paper
- California Consortium of Addiction Programs and ProfessionalsUS1 paper
- Carnegie Mellon UniversityUS1 paper
- CASAUS1 paper
- Cerro Tololo Inter-American ObservatoryCL1 paper
- Dartmouth HospitalGB1 paper
- Fermi National Accelerator LaboratoryUS1 paper
- Gemini North ObservatoryUS1 paper
- Institució Catalana de Recerca i Estudis AvançatsES1 paper
8 papers
Optimal matching for sharing and linearity analysis
Gianluca Amato, Francesca Scozzari
Static analysis of logic programs by abstract interpretation requires designing abstract operators which mimic the concrete ones, such as unification, renaming and projection. In t…
The DELVE Quadruple Quasar Search I. A Lensed Low Luminosity AGN
Paul L. Schechter, Dominique Sluse, Erik A. Zaborowski +25
A quadruply lensed source, J125856.3-031944, has been discovered using the DELVE survey and WISE W1 - W2 colors. Followup direct imaging carried out with the Magellan Baade 6.5 m t…
Multifield asymptotic homogenization scheme for periodic Cauchy materials in non-standard thermoelasticity
Rosaria Del Toro, Maria Laura De Bellis, Marcello Vasta +1
This article presents a multifield asymptotic homogenization scheme for the analysis of Bloch wave propagation in non-standard thermoelastic periodic materials, leveraging on the G…
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
We address the problem of verifying that the functions of a program meet their contracts, specified by pre/postconditions. We follow an approach based on constrained Horn clauses (…
Universal Algebra in UniMath
Gianluca Amato, Matteo Calosci, Marco Maggesi +1
We present our library for Universal Algebra in the UniMath framework dealing with multi-sorted signatures, their algebras, and the basics for equation systems. We show how to impl…
Universal Algebra in UniMath
Gianluca Amato, Marco Maggesi, Maurizio Parton +1
We present an ongoing effort to implement Universal Algebra in the UniMath system. Our aim is to develop a general framework for formalizing and studying Universal Algebra in a pro…