Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. - Falko Dulat; Joost-Pieter Katoen; Viet Yen Nguyen (EPEW, 2010)

iHixs 2 - Inclusive Higgs cross sections. - Falko Dulat; Achilleas Lazopoulos; Bernhard Mistlberger (Comput. Phys. Commun., 2018)