CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Formal Methods; Practical Verification; Privacy; Security Protocols; Specification; Verification and Synthesis
Hilbert's 10th problem; exponential-growth relation; finite-fold Diophantine representation; rule-them-all equation; Pell's equation
Markovian models; Non-interference; Process algebra
Multiparty session types; open systems; process algebras
Network traffic analysis; Shallow packet inspection; Temporal analysis; User de-anonymization
Non-Interference; Process Algebra; Stochastic models
Regular languagesFinite automataBurrows-Wheeler transformWheeler languagesGraph indexing
Set Constraints
Agreement measures; Information agreement; Multi-value ordered-categorical ratings
ASP computation; ASP solvers; GPU computing; SIMT parallelism
«
»
Cite
×