Sela Mador-Haim

Sela Mador-Haim

Computer Information Science, University of Pennsylvania
Verified email at xcitedb.com
Cited by 985
Formal methods Consistency Models Hardware Verification Semantics
Simian Luo

Simian Luo

IIIS, Tsinghua University, [email protected]
Verified email at mails.tsinghua.edu.cn
Cited by 288
Generative Models Diffusion Models Consistency Models AI Acceleration
Mahesh Dananjaya

Mahesh Dananjaya

University of Edinburgh
Verified email at ed.ac.uk
Cited by 48
Computer Architecture Computer Systems Consistency Models
Lennart Oldenburg

Lennart Oldenburg

KU Leuven
Verified email at esat.kuleuven.be
Cited by 20
Privacy-Enhancing Technologies Distributed Systems Consistency Models Security Applied Cryptography