Nonstandard analysis of global attractors. - Dalibor Prazák; Jakub Slavík (Math. Log. Q., 2015)

A non-standard approach to a constrained forced oscillator. - Dalibor Prazák; Kumbakonam R. Rajagopal; Jakub Slavík (J. Log. Anal., 2017)