CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
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
Automata; Bisimulation; Incremental; Minimization
Bernstein coefficients; Neural network verification; Parametric dynamical systems; Signal temporal logic
Bigraphs; Graph rewriting systems; Integer linear programming; Weighted bigraphs
Branching Heuristics; GPU parallelism; SAT Solving
Breath representation; ICU monitoring; Mechanical ventilator; Respiratory asynchronies
Concurrency theory; Distributed Systems; Process algebra
«
»
Cite
×