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