GORLA, DANIELE
GORLA, DANIELE
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 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
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 | |
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 |