CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Attribute-based communication; Distributed systems; ECA rules; Edge computing; Formal methods; IoT programming
Automatic Smart Contract Generation; Blockchain; Carne PRI; Distributed Ledger Technology; Domain Specific Graphical Language; Smart Contracts; Supply Chain
Bigraphs; Containers; Contract-based design; Formal methods; System Security; Verification
breast cancer; gain-of-function; lncRNAs; mutant p53
CEUR-WS; LaTeX class; paper formatting; paper template
Diagnostic imaging; Information theory; Observer variation; Research design; Sensitivity and specificity
Dynamical Systems; Infinite State Systems; Invariants; K-Induction
Finite automata; Ordering languages; Regular languages; Wheeler automata
Finite Automata; Regular Languages; Wheeler Languages
Graph theory; Network discovery; Round-trip graphs
«
»
Cite
×