publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. dgca_alife.png
    Growing Reservoirs with Developmental Graph Cellular Automata
    Matias Barandiaran and James Stovold
    arXiv preprint arXiv:2508.08091, 2025
    DOI
  2. golem_alethe.png
    Unsatisfiability Proofs for Horn Solving
    Rodrigo Otoni, Martin Blicha, Matias Barandiaran, and 3 more authors
    In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2025
    DOI