DOI,IST REx ID,Research Group,Title of publication
10.1145/2883817.2883837,1421,ToHe,Scalable static hybridization methods for analysis of nonlinear systems