Učitavanje...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Godišnji broj citata
Dvostruki navodi
Sljedeći su članci spojeni u Znalcu.
Navodi iz obaju
članaka broje se samo za prvi članak.
Spojeni navodi
Zbroj za "Citirano" uključuje navode sljedećeg članka u Znalcu. Oni koji su označeni znakom
*
mogu biti različiti od članka u profilu.
Dodavanje suautora
Suautori
Prati
Novi članci tog autora
Novi navodi tog autora
Novi članci povezani s istraživanjem tog autora
E-adresa za obavijesti
Završeno
Moj profil
Moja knjižnica
Mjerni podaci
Upozorenja
Postavke
Prijavite se
Prijavite se
Izradite svoj profil
Citirano
Sve
Od 2019.
Citati
10
10
H-indeks
1
1
i10-indeks
1
1
0
6
3
2022
2023
2024
3
6
1
Javni pristup
Prikaži sve
Prikaži sve
1 članak
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
Caterina Urban
Inria & École Normale Supérieure | Université PSL, Paris, France
Potvrđena adresa e-pošte na inria.fr
Prati
Denis Mazzucato
Inria
, École normale supérieure
Potvrđena adresa e-pošte na inria.fr -
Početna stranica
formal methods
static analysis
abstract interpretation
machine learning verification
Članci
Citirano
Javni pristup
Suautori
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
Citirano
Citirano
Godina
Reduced products of abstract domains for fairness certification of neural networks
D Mazzucato, C Urban
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …
, 2021
10
2021
Quantitative Input Usage Static Analysis
D Mazzucato, M Campion, C Urban
2023
Impatto: A Static Analyzer for Quantitative Input Data Usage
D Mazzucato, M Campion, C Urban
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–3
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje