DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-45237-7_5,7808,ToHe,How many bits does it take to quantize your neural network?
10.15479/AT:ISTA:6894,6894,ToHe,Automatic time-unbounded reachability analysis of hybrid systems
10.1007/978-3-319-91908-9_22,7453,ToHe,Continuous-time models for system design and analysis
10.29007/rjwn,10877,ToHe,ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
10.1007/978-3-319-96145-3_25,140,ToHe,Space-time interpolants
10.1007/s00236-016-0278-x,1351,"ToHe,CaGu,NiBa",Model checking the evolution of gene regulatory networks
10.1007/978-3-662-54577-5_34,631,ToHe,Counterexample guided refinement of template polyhedra
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks