Mícheál Mac an Airchinnigh

According to our database, Mícheál Mac an Airchinnigh authored at least 23 papers between 1982 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2019

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

Proceedings of the Systems, Software and Services Process Improvement, 2019

2016

Formal Methods and Functional Safety.

Mícheál Mac an Airchinnigh

Proceedings of the Systems, Software and Services Process Improvement, 2016

2011

What Makes a Great [Mobile | Digital] Art Exhibition?

Catherine Giltrap, Mike Brady, Mícheál Mac an Airchinnigh, Glenn Strong, Shane Brennan

Proceedings of the Digital Publishing and Mobile Technologies, 2011

2010

Social networks and the national art gallery (Dublin|...|Sofia).

Mícheál Mac an Airchinnigh, Glenn Strong

Proceedings of the Publishing in the networked world: Transforming the Nature of Communication, 2010

2006

Preface.

Anthony Karel Seda, Menouer Boubekeur, Ted Hurley, Mícheál Mac an Airchinnigh, Michel P. Schellekens, Glenn Strong

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2004

Preface.

Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

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

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.

Mícheál Mac an Airchinnigh

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1998

Mathematics for Formal Methods, a Proposal for Education Reform.

Mícheál Mac an Airchinnigh

Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998

1994

Service Engineering versus Software Engineering - A Foundational Study.

Mícheál Mac an Airchinnigh, Hans-Jürgen Kugler

Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994

Formal Methods and Service Specification.

Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan

Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994

1991

Tutorial on the Irish School of the VDM.

Mícheál Mac an Airchinnigh

Proceedings of the VDM '91, 1991

1988

The Use of VDM in the Specification of Chinese Characters.

Ghee S. Teo, Mícheál Mac an Airchinnigh

Proceedings of the VDM '88, 1988

1987

Specification by Data Types.

Mícheál Mac an Airchinnigh

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

Introduction to the VDM Tutorial.

Mícheál Mac an Airchinnigh

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

Mathematical Structures and their Morphisms in Meta-IV.

Mícheál Mac an Airchinnigh

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

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

The CONTEXT: a high-level structuring concept for GKS input.

Mícheál Mac an Airchinnigh

Comput. Graph., 1985

Computer graphics software in Ada using AdaM.

Mícheál Mac an Airchinnigh

Proceedings of the Second Annual Washington Ada Symposium on Ada, 1985

1984

Some notes on the representation of the user's conceptual model.

Mícheál Mac an Airchinnigh

ACM SIGCHI Bull., 1984

The Specification and Implementation of GKS Application Software in ADA (R).

Mícheál Mac an Airchinnigh

Comput. Graph. Forum, 1984

1983

The Σ-concept.

Mícheál Mac an Airchinnigh

ACM SIGCHI Bull., 1983

1982

Classifying the user.

Mícheál Mac an Airchinnigh

ACM SIGCHI Bull., 1982