arrow
返回
T

Tobias Grosser

University of Edinburgh

22H指数
108论文数
1.8K被引数
收录论文 5
发表时间
Interactive Bitvector Reasoning using Verified Bit-Blasting基于验证位爆破的交互式位向量推理
err2025-10-01
err0
PREAI
errBoving, Henrik; Bhat, Siddharth; Cicolini, Luisa; Keizer, Alex; Frenot, Leon; Mohamed, Abdalrhman; Stefanesco, Leo; Khan, Harun; Clune, Joshua; Barrett, Clark; Grosser, Tobias
err分享
err收藏
Work-Stealing Prefix Scan: Addressing Load Imbalance in Large-Scale Image Registration
err2022-03-01
err5
errOAAI
errCopik, Marcin; Grosser, Tobias; Hoefler, Torsten; Bientinesi, Paolo; Berkels, Benjamin
err分享
err收藏