• Medley J, Teo J, Woo S, Hellerstein J, Sarpeshkar R, Sauro H and Mac Gabhann F. (2020). A compiler for biological networks on silicon chips. PLOS Computational Biology. 10.1371/journal.pcbi.1008063. 16:9. (e1008063).

    https://dx.plos.org/10.1371/journal.pcbi.1008063

  • Korelc J and Wriggers P. (2016). Automation of Research in Computational Modeling. Automation of Finite Element Methods. 10.1007/978-3-319-39005-5_2. (29-68).

    http://link.springer.com/10.1007/978-3-319-39005-5_2

  • Zhou W, Carette J, Jeffrey D and Monagan M. Hierarchical representations with signatures for large expression management. Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation. (254-268).

    https://doi.org/10.1007/11856290_22

  • Moses J. Algebraic simplification a guide for the perplexed. Proceedings of the second ACM symposium on Symbolic and algebraic manipulation. (282-304).

    https://doi.org/10.1145/800204.806298