CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Graphs; Quantum computing; Quantum speed-up; Quantum walks
Lacticaseibacillus; WGA-LP
Specification; Verification and synthesis; Security protocols; Practical verification; Privacy; Formal methods
PNRR
Algebraic reasoning; Categorical logic; Eilenberg-Moore algebras; Equational axiomatisations; Fuzzy sets; Monads
Answer Set Programming; Epistemic Reasoning; Multi-Agent Planning; Robot Operating System
ASP; Autonomous vehicles; MiniZinc; Planning; Rush Hour
Attribute-based communication systems; Autonomic computing; ECA rules; Formal methods
attribute-based memory updates
Bernstein coefficients; Neural network verification; Parametric dynamical systems; Signal temporal logic
«
»
Cite
×