Mushroom: a program for the automated verification of an SCM protocol specification. - Gilbert M. Lundy; Berna Bülbül (ICNP, 1993)

A Taylor matrix method for the solution of a two-dimensional linear hyperbolic equation. - Berna Bülbül; Mehmet Sezer (Appl. Math. Lett., 2011)

Taylor polynomial solution of hyperbolic type partial differential equations with constant coefficients. - Berna Bülbül; Mehmet Sezer (Int. J. Comput. Math., 2011)

Numerical Solution of Duffing Equation by Using an Improved Taylor Matrix Method. - Berna Bülbül; Mehmet Sezer (J. Appl. Math., 2013)

A numerical approach for solving generalized Abel-type nonlinear differential equations. - Berna Bülbül; Mehmet Sezer (Appl. Math. Comput., 2015)