Publications
Publications
Our publications, by lab member, can be accessed through the links below.
Member | Pure | DBLP |
---|---|---|
Mario Boley Main topics: Data science, Machine learning, Data analysis | Publications | View profile |
Wray Buntine Main topics: Bayesian reasoning, Machine learning, Neural networks, Data science | Publications | View profile |
David Dowe Main topics: Information theory, Machine intelligence, Bayesian reasoning | Publications | View profile |
Rafael Dowsley Main topics: Cryptography, Privacy, Blockchain, Security, Information theory | Publications | View profile |
Xiaoning Du Main topics: Cybersecurity, AI, Software Engineering, Program analysis, Formal methods | Publications | View profile |
Muhammed Esgin Main topics: Cryptography, Cybersecurity, Privacy, Blockchain, Zero-knowledge proofs | Publications | View profile |
Graham Farr Main topics: Graph theory, Algorithms, Complexity, Combinatorics, Computation theory | Publications | View profile |
David Green Main topics: Network theory, Complexity, Evolutionary computation | Publications | View profile |
Julian Gutierrez Main topics: Logic, Game theory, Formal verification, AI, Semantics, Computation theory | Publications | View profile |
Reza Haffari Main topics: Deep learning, Machine learning, NLP | Publications | View profile |
Tony Huynh Main topics: Graph theory, Combinatorial optimisation, Matroid theory | Publications | View profile |
Alexey Ignatiev Main topics: Computational logic, AI, Automated reasoning, SAT, Optimisation | Publications | View profile |
Michael Kamp Main topics: Deep learning, Machine learning, Neural networks | View profile | |
Pierre Le Bodic Main topics: Combinatorial optimisation, MIP, Complexity, Approximation | Publications | View profile |
Vincent Lee Main topics: Data science, Neural networks, AI, Machine learning | Publications | View profile |
Dinh Phung Main topics: Bayesian reasoning, Machine learning, Deep learning | Publications | View profile |
David Ripley Main topics: Logic, Language, Proof theory, Semantics | Publications | View profile |
Amin Sakzad Main topics: Cryptography, Algebraic number theory, Lattice coding theory | Publications | View profile |
Ron Steinfeld Main topics: Cryptography, Cybersecurity, Lattices | Publications | View profile |
Mark Wallace Main topics: Optimisation, Constraint programming, Planning, Search | Publications | View profile |
Ian Wanless Main topics: Combinatorics, Latin squares, Graph theory | Publications | View profile |
David Wood Main topics: Graph theory, Combinatorial geometry, Discrete mathematics | Publications | View profile |
Jiangshan Yu Main topics: Blockchain, Security, Privacy | Publications | View profile |