CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Model checking; Quantum circuits; Quantum languages; Computer Science (all); Theoretical Computer Science
Multi-objective optimization; Robustness; System design; Temporal logic; Theoretical Computer Science; Computer Science (all)
Planning
Ackermann bijection.; bisimulation; Computable set theory; non-well-founded sets; Information Systems; Computational Theory and Mathematics; Theoretical Computer Science; Algebra and Number Theory
Algebras; Bialgebras; Coalgebras; Continuous state systems; Markov processes; Quantitative aspects; Rule formats; Stochastic semantics; Structural operational semantics
Algorithms; Experimentation; Gene regulatory networks; bioinformatics; constraint programming
Artificial intelligence
ASP computation; ASP solvers; GPU computing; SIMT parallelism; Computer Science (all)
assembly reconciliation hierarchical assembly pool sequencing next-generation-sequencing
Behavioural equivalences; Robustness; Systems biology; Unwinding; Theoretical Computer Science; Computer Science (all)
«
»
Cite
×