| 2009 |
|---|
| 14 | EE | Anthony Karel Seda,
Menouer Boubekeur,
Ted Hurley,
Mícheál Mac an Airchinnigh,
Michel P. Schellekens,
Glenn Strong:
Preface.
Electr. Notes Theor. Comput. Sci. 225: 1-2 (2009) |
| 2006 |
|---|
| 13 | EE | Anthony Karel Seda,
Ted Hurley,
Michel P. Schellekens,
Mícheál Mac an Airchinnigh,
Glenn Strong:
Preface.
Electr. Notes Theor. Comput. Sci. 161: 1-2 (2006) |
| 2001 |
|---|
| 12 | EE | Mícheál Mac an Airchinnigh:
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.
FME 2001: 396-418 |
| 11 | EE | 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. UCS 7(8): 668-691 (2001) |
| 1998 |
|---|
| 10 | | Mícheál Mac an Airchinnigh:
Mathematics for Formal Methods, a Proposal for Education Reform.
IWFM 1998 |
| 1994 |
|---|
| 9 | | Mícheál Mac an Airchinnigh,
Hans-Jürgen Kugler:
Service Engineering versus Software Engineering - A Foundational Study.
IS&N 1994: 39-49 |
| 8 | | Mícheál Mac an Airchinnigh,
Dag Belsnes,
Gerard O'Regan:
Formal Methods and Service Specification.
IS&N 1994: 563-572 |
| 1991 |
|---|
| 7 | | Mícheál Mac an Airchinnigh:
Tutorial on the Irish School of the VDM.
VDM Europe (2) 1991: 141-237 |
| 1988 |
|---|
| 6 | | Ghee S. Teo,
Mícheál Mac an Airchinnigh:
The Use of VDM in the Specification of Chinese Characters.
VDM Europe 1988: 476-499 |
| 1987 |
|---|
| 5 | | Dines Bjørner,
Cliff B. Jones,
Mícheál Mac an Airchinnigh,
Erich J. Neuhold:
VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, Proceedings
Springer 1987 |
| 4 | | Mícheál Mac an Airchinnigh:
Mathematical Structures and their Morphisms in Meta-IV.
VDM Europe 1987: 287-320 |
| 3 | | Mícheál Mac an Airchinnigh:
Introduction to the VDM Tutorial.
VDM Europe 1987: 356-361 |
| 2 | | Mícheál Mac an Airchinnigh:
Specification by Data Types.
VDM Europe 1987: 362-388 |
| 1985 |
|---|
| 1 | EE | Mícheál Mac an Airchinnigh:
The CONTEXT: a high-level structuring concept for GKS input.
Computers & Graphics 9(3): 211-220 (1985) |
