A computer-aided test for global asymptotic stability of digital filters. - Louis-Jérôme Leclerc; Peter H. Bauer (ICASSP, 1991)

A computer-aided test for the absence of limit cycles in fixed-point digital filters. - Peter H. Bauer; Louis-Jérôme Leclerc (IEEE Trans. Signal Process., 1991)

New criteria for asymptotic stability of one- and multidimensional state-space digital filters in fixed-point arithmetic. - Louis-Jérôme Leclerc; Peter H. Bauer (IEEE Trans. Signal Process., 1994)

An exhaustive search algorithm for checking limit cycle behavior of digital filters. - Kamal Premaratne; Ernest C. Kulasekere; Peter H. Bauer; Louis-Jérôme Leclerc (IEEE Trans. Signal Process., 1996)