GORLA, DANIELE
GORLA, DANIELE
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.005 secondi).
Algebra and Coalgebra of Stream Products
2021 Boreale M.; Gorla D.
An implicit function theorem for the stream calculus
2023 Michele Boreale; Luisa Collodi; Daniele Gorla
AN IMPLICIT FUNCTION THEOREM FOR THE STREAM CALCULUS
2024 Boreale M.; Collodi L.; Gorla D.
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
2019 Boreale, Michele; Gorla, Daniele
Output Sampling for Output Diversity in Automatic Unit Test Generation
2022 Menendez Benito, Hector; Boreale, Michele; Gorla, Daniele; Clark, David
Products, Polynomials and Differential Equations in the Stream Calculus
2024 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Algebra and Coalgebra of Stream Products | 2021 | Boreale M.; Gorla D. | |
| An implicit function theorem for the stream calculus | 2023 | Michele Boreale; Luisa Collodi; Daniele Gorla | |
| AN IMPLICIT FUNCTION THEOREM FOR THE STREAM CALCULUS | 2024 | Boreale M.; Collodi L.; Gorla D. | |
| Approximate Model Counting, Sparse XOR Constraints and Minimum Distance | 2019 | Boreale, Michele; Gorla, Daniele | |
| Output Sampling for Output Diversity in Automatic Unit Test Generation | 2022 | Menendez Benito, Hector; Boreale, Michele; Gorla, Daniele; Clark, David | |
| Products, Polynomials and Differential Equations in the Stream Calculus | 2024 | Boreale, Michele; Collodi, Luisa; Gorla, Daniele |