publications

A list of my peer-reviewed publications.

2025

  1. dgca_alife.png
    Growing Reservoirs with Developmental Graph Cellular Automata
    Matias Barandiaran and James Stovold
    In Proceedings of International Conference on Artificial Life, 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