Publikace projektu
- Mono Regression Benchmarking (2005)
- Neural Networks for Evolutionary Robotics (2007)
- A Model of an Amorphous Computer and Its Communication Protocol (2006)
- On the Universal Computing Power of Amorphous Computing Systems (2007)
- Software Component Verification: On Translating Behavior Protocols to Promela (2006)
- Extending Behavior Protocols With Data and Multisynchronization (2006)
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker (2006)
- Schemes of Multiagent Systems (2005)
- Communicating Mobile Nano-Machines and Their Computational Power (2008)