BOREALE, Michele
BOREALE, Michele
DIPARTIMENTO DI INFORMATICA
Mostra
prodotti
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.007 secondi).
An Implicit Function Theorem for the Stream Calculus
2024 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
2024 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Implicit Function Theorem for the Stream Calculus | 2024 | 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 | 2024 | Boreale, Michele; Collodi, Luisa; Gorla, Daniele |