BOREALE, Michele
BOREALE, Michele
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.044 secondi).
An Implicit Function Theorem for the Stream Calculus
2023 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
Approximate model counting, sparse XOR constraints and minimum distance
2019 Boreale, M.; Gorla, D.
Output Sampling for Output Diversity in Automatic Unit Test Generation
2022 Menendez, Hd; Boreale, M; Gorla, D; Clark, D
Products, polynomials and differential equations in the stream calculus
2023 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Implicit Function Theorem for the Stream Calculus | 2023 | Boreale, Michele; Collodi, Luisa; Gorla, Daniele | |
| Approximate model counting, sparse XOR constraints and minimum distance | 2019 | Boreale, M.; Gorla, D. | |
| Output Sampling for Output Diversity in Automatic Unit Test Generation | 2022 | Menendez, Hd; Boreale, M; Gorla, D; Clark, D | |
| Products, polynomials and differential equations in the stream calculus | 2023 | Boreale, Michele; Collodi, Luisa; Gorla, Daniele |