Technical Reports
2014
- An Intelligent Swarm of Markovian Agents
Andrea Bobbio, Dario Bruneo, Davide Cerotti, Marco Gribaudo, Marco Scarpa
Target: TR-INF-2014-06-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2014 - A Provenly Correct Compilation of Functional Languages into Scripting Languages
Paola Giannini, Albert Shaqiri
Target: TR-INF-2014-12-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2014