กำลังโหลด...
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
การอ้างอิงต่อปี
การอ้างอิงซ้ำกัน
บทความต่อไปนี้รวมอยู่ใน Scholar จำนวน
การอ้างอิงที่รวมเข้าด้วยกัน
ของบทความเหล่านี้จะนับเฉพาะบทความแรกเท่านั้น
การอ้างอิงที่รวมเข้าด้วยกัน
จำนวน "อ้างอิงโดย" นี้รวมถึงการอ้างอิงไปยังบทความต่อไปนี้ใน Scholar บทความที่ทำเครื่องหมาย
*
อาจต่างจากบทความนั้นในโปรไฟล์
เพิ่มผู้เขียนร่วม
ผู้เขียนร่วม
ติดตาม
บทความใหม่โดยผู้เขียนคนนี้
การอ้างอิงใหม่สำหรับผู้เขียนคนนี้
บทความใหม่ที่เกี่ยวข้องกับงานวิจัยของผู้เขียนคนนี้
ที่อยู่อีเมลที่ใช้รับข้อมูลอัปเดต
เสร็จสิ้น
โปรไฟล์ของฉัน
ห้องสมุดของฉัน
เมตริก
การแจ้งเตือน
การตั้งค่า
ลงชื่อเข้าสู่ระบบ
ลงชื่อเข้าสู่ระบบ
รับโปรไฟล์ของฉันเอง
อ้างโดย
ทั้งหมด
ตั้งแต่ปี 2019
การอ้างอิง
10
10
ดัชนี h
1
1
ดัชนี i10
1
1
0
6
3
2022
2023
2024
3
6
1
การเข้าถึงแบบสาธารณะ
ดูทั้งหมด
ดูทั้งหมด
1 บทความ
0 บทความ
ใช้งานได้
ใช้ไม่ได้
อิงตามข้อกำหนดในการรับเงินสนับสนุน
ผู้เขียนร่วม
Caterina Urban
Inria & École Normale Supérieure | Université PSL, Paris, France
ยืนยันอีเมลแล้วที่ inria.fr
ติดตาม
Denis Mazzucato
Inria
, École normale supérieure
ยืนยันอีเมลแล้วที่ inria.fr -
หน้าแรก
formal methods
static analysis
abstract interpretation
machine learning verification
บทความ
อ้างโดย
การเข้าถึงแบบสาธารณะ
ผู้เขียนร่วม
ชื่อ
จัดเรียง
เรียงตามการอ้างอิง
เรียงตามปี
เรียงตามชื่อ
อ้างโดย
อ้างโดย
ปี
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
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–3
แสดงเพิ่มเติม
ความเป็นส่วนตัว
ข้อกำหนด
ความช่วยเหลือ
เกี่ยวกับ Scholar
ศูนย์ช่วยเหลือของ Search