PhD in Computer Science @ University of Udine

Primary links

Username or e-mail address: *

Towards computing the maximum bisimulation with Spiking Neural P Systems

Tue 19 Apr 11 - 14:30 - 15:00
The Ultimate Undecidability Result for the Halpern-Shoham Logic

Fri 01 Apr 11 - 16:00 - 17:00
Boolean network robotics

Fri 01 Apr 11 - 15:00 - 16:00
The Robertson-Seymour Theorem

Thu 24 Mar 11 - 14:30 - 15:30