Application of finite state automata to the bakery algorithm in critical section modeling. - Vladan Bozic (ITiCSE, 2006)

A three-stage, VSVO, Hermite-Birkhoff-Taylor, ODE solver. - Vladan Bozic; Truong Nguyen-Ba; Rémi Vaillancourt (Appl. Math. Comput., 2010)

A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11. - Truong Nguyen-Ba; Vladan Bozic; Emmanuel Kengne; Rémi Vaillancourt (J. Comput. Appl. Math., 2010)