The NP-Completeness of Some Edge-Partition Problems. - Ian Holyer (SIAM J. Comput., 1981)

The NP-Completeness of Edge-Coloring. - Ian Holyer (SIAM J. Comput., 1981)

Deterministic Concurrency. - Ian Holyer; David Carter (Functional Programming, 1993)

The Brisk Project: Concurrent and Distributed Functional Systems. - Ian Holyer; Neil Davies; Chris Dornan (Functional Programming, 1995)

Distributed Programming, a Purely Functional Approach. - Eleni Spiliopoulou; Ian Holyer; Neil Davies (ICFP, 1997)

The Brisk Machine: A Simplified STG Machine. - Ian Holyer; Eleni Spiliopoulou (Implementation of Functional Languages, 1997)

Concurrent Monadic Interfacing. - Ian Holyer; Eleni Spiliopoulou (IFL, 1998)

A Recovery Mechanism for Shells. - Ian Holyer; Hüseyin Pehlivan (Comput. J., 2000)

WebDAD: A WebDAV Implemetation for Authoring Databases. - Bita Shadgar; Ian Holyer (ICWI, 2002)

An Application for WebDAV-based Authoring of Databases - WebDAD. - Bita Shadgar; Ian Holyer (WWW (Posters), 2003)

Adapting databases and WebDAV protocol. - Bita Shadgar; Ian Holyer (WWW, 2004)

Towards Secure SPARQL Queries in Semantic Web Applications Using PHP. - Fatmah Bamashmoos; Ian Holyer; Theodore Tryfonas; Przemyslaw Woznowski (ICSC, 2017)

Towards Secure SPARQL Queries in Semantic Web Applications using PHP (Extended Version). - Fatmah Bamashmoos; Ian Holyer; Theo Tryfonas; Przemyslaw Woznowski (CoRR, 2017)