Publications

Publications

Our publications, by lab member, can be accessed through the links below.

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