CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
A Formisano
Latest
Parallel Logic Programming: A Sequel
Exploring Life: Answer Set Programming in Bioinformatics
Autonomous agents coordination: Action languages meet CLP(FD) and Linda
CUD@ASP: Experimenting with GPUs in ASP solving
Exploiting unexploited computing resources for computational logics
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
Views on Time in Systems Biology
Cite
×