Mícheál Mac an Airchinnigh

Publication Activity (10 Years)

Years Active: 1982-2019
Publications (10 Years): 2

Top Topics

Temporal Properties

Project Management

Top Venues

Publications

Richard Messnarz, Gabriele Sauberer, Mícheál Mac an Airchinnigh, Miklós Biró, Damjan Ekert, Michael Reiner
Shifting Paradigms in Innovation Management - Organic Growth Strategies in the Cloud. EuroSPI (2019)
Mícheál Mac an Airchinnigh
Formal Methods and Functional Safety. EuroSPI (2016)
Catherine Giltrap, Mike Brady, Mícheál Mac an Airchinnigh, Glenn Strong, Shane Brennan
What Makes a Great [Mobile | Digital] Art Exhibition? ELPUB (2011)
Mícheál Mac an Airchinnigh, Glenn Strong
Social networks and the national art gallery (Dublin|...|Sofia). ELPUB (2010)
Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong
Preface. Electron. Notes Theor. Comput. Sci. 225 (2009)
Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong
Preface. Electron. Notes Theor. Comput. Sci. 161 (2006)
Mícheál Mac an Airchinnigh
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. FME (2001)
Mícheál Mac an Airchinnigh
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]. J. Univers. Comput. Sci. 7 (8) (2001)
Mícheál Mac an Airchinnigh
Mathematics for Formal Methods, a Proposal for Education Reform. IWFM (1998)
Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan
Formal Methods and Service Specification. IS&N (1994)
Mícheál Mac an Airchinnigh, Hans-Jürgen Kugler
Service Engineering versus Software Engineering - A Foundational Study. IS&N (1994)
Mícheál Mac an Airchinnigh
Tutorial on the Irish School of the VDM. VDM Europe (2) (1991)
Ghee S. Teo, Mícheál Mac an Airchinnigh
The Use of VDM in the Specification of Chinese Characters. VDM Europe (1988)
Mícheál Mac an Airchinnigh
Mathematical Structures and their Morphisms in Meta-IV. VDM Europe (1987)
Mícheál Mac an Airchinnigh
Introduction to the VDM Tutorial. VDM Europe (1987)
Mícheál Mac an Airchinnigh
Specification by Data Types. VDM Europe (1987)
Mícheál Mac an Airchinnigh
Computer graphics software in Ada using AdaM. WADAS (1985)
Mícheál Mac an Airchinnigh
The CONTEXT: a high-level structuring concept for GKS input. Comput. Graph. 9 (3) (1985)
Mícheál Mac an Airchinnigh
Seeheim Workshop on User Interface Management Systems Report of the Working Group on the User's Conceptual Model. Comput. Graph. Forum 4 (1) (1985)
Mícheál Mac an Airchinnigh
Some notes on the representation of the user's conceptual model. ACM SIGCHI Bull. 16 (2) (1984)
Mícheál Mac an Airchinnigh
The Specification and Implementation of GKS Application Software in ADA (R). Comput. Graph. Forum 3 (2) (1984)
Mícheál Mac an Airchinnigh
The Σ-concept. ACM SIGCHI Bull. 14 (4) (1983)
Mícheál Mac an Airchinnigh
Classifying the user. ACM SIGCHI Bull. 14 (2) (1982)