A Mathematical Framework for Agent Based Models of Complex Biological Networks - Franziska Hinkelmann; David Murrugarra; Abdul Salam Jarrah; Reinhard C. Laubenbacher (CoRR, 2010)

Fast Gröbner Basis Computation for Boolean Polynomials - Franziska Hinkelmann; Elizabeth Arnold (CoRR, 2010)

ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra. - Franziska Hinkelmann; Madison Brandon; Bonny Guang; Rustin McNeill; Grigoriy Blekherman; Alan Veliz-Cuba; Reinhard C. Laubenbacher (BMC Bioinform., 2011)

Parameter estimation for Boolean models of biological networks. - Elena S. Dimitrova; Luis David García-Puente; Franziska Hinkelmann; Abdul Salam Jarrah; Reinhard C. Laubenbacher; Brandilyn Stigler; Michael Eugene Stillman; Paola Vera-Licona (Theor. Comput. Sci., 2011)

Algebraic theory for discrete models in systems biology. - Franziska Hinkelmann (2011)

Finite fields in biology. - Franziska Hinkelmann; Reinhard C. Laubenbacher (Handbook of Finite Fields, 2013)

Steady state analysis of Boolean molecular network models via model reduction and computational algebra. - Alan Veliz-Cuba; Boris Aguilar; Franziska Hinkelmann; Reinhard C. Laubenbacher (BMC Bioinform., 2014)

Algebraic Models and Their Use in Systems Biology. - Reinhard C. Laubenbacher; Franziska Hinkelmann; David Murrugarra; Alan Veliz-Cuba (Discrete and Topological Models in Molecular Biology, 2014)