Classifying the user. - Mícheál Mac an Airchinnigh (ACM SIGCHI Bull., 1982)

The Σ-concept. - Mícheál Mac an Airchinnigh (ACM SIGCHI Bull., 1983)

The Specification and Implementation of GKS Application Software in ADA (R). - Mícheál Mac an Airchinnigh (Comput. Graph. Forum, 1984)

Some notes on the representation of the user's conceptual model. - Mícheál Mac an Airchinnigh (ACM SIGCHI Bull., 1984)

Computer graphics software in Ada using AdaM. - Mícheál Mac an Airchinnigh (WADAS, 1985)

The CONTEXT: a high-level structuring concept for GKS input. - Mícheál Mac an Airchinnigh (Comput. Graph., 1985)

Seeheim Workshop on User Interface Management Systems Report of the Working Group on the User's Conceptual Model. - Mícheál Mac an Airchinnigh (Comput. Graph. Forum, 1985)

Mathematical Structures and their Morphisms in Meta-IV. - Mícheál Mac an Airchinnigh (VDM Europe, 1987)

Introduction to the VDM Tutorial. - Mícheál Mac an Airchinnigh (VDM Europe, 1987)

Specification by Data Types. - Mícheál Mac an Airchinnigh (VDM Europe, 1987)

The Use of VDM in the Specification of Chinese Characters. - Ghee S. Teo; Mícheál Mac an Airchinnigh (VDM Europe, 1988)

Tutorial on the Irish School of the VDM. - Mícheál Mac an Airchinnigh (VDM Europe (2), 1991)

Formal Methods and Service Specification. - Mícheál Mac an Airchinnigh; Dag Belsnes; Gerard O'Regan (IS&N, 1994)

Service Engineering versus Software Engineering - A Foundational Study. - Mícheál Mac an Airchinnigh; Hans-Jürgen Kugler (IS&N, 1994)

Mathematics for Formal Methods, a Proposal for Education Reform. - Mícheál Mac an Airchinnigh (IWFM, 1998)

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. - Mícheál Mac an Airchinnigh (FME, 2001)

An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]. - Mícheál Mac an Airchinnigh (J. Univers. Comput. Sci., 2001)

Preface. - Anthony Karel Seda; Ted Hurley; Michel P. Schellekens; Mícheál Mac an Airchinnigh; Glenn Strong (MFCSIT, 2004)

Preface. - Anthony Karel Seda; Menouer Boubekeur; Ted Hurley; Mícheál Mac an Airchinnigh; Michel P. Schellekens; Glenn Strong (MFCSIT, 2006)

Social networks and the national art gallery (Dublin|...|Sofia). - Mícheál Mac an Airchinnigh; Glenn Strong (ELPUB, 2010)

What Makes a Great [Mobile | Digital] Art Exhibition? - Catherine Giltrap; Mike Brady 002; Mícheál Mac an Airchinnigh; Glenn Strong; Shane Brennan (ELPUB, 2011)

Formal Methods and Functional Safety. - Mícheál Mac an Airchinnigh (EuroSPI, 2016)

Shifting Paradigms in Innovation Management - Organic Growth Strategies in the Cloud. - Richard Messnarz; Gabriele Sauberer; Mícheál Mac an Airchinnigh; Miklós Biró; Damjan Ekert; Michael Reiner (EuroSPI, 2019)