Mchel Mac an Airchinnigh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
2
Active years
1987–2019
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | EuroSPI | Shifting Paradigms in Innovation Management - Organic Growth Strategies in the Cloud. | Richard Messnarz, Gabriele Sauberer, Mchel Mac an Airchinnigh, Mikls Bir, Damjan Ekert, Michael Reiner |
| 2016 | EuroSPI | Formal Methods and Functional Safety. | Mchel Mac an Airchinnigh |
| 2001 | FM | Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. | Mchel Mac an Airchinnigh |
| 1991 | FM | Tutorial on the Irish School of the VDM. | Mchel Mac an Airchinnigh |
| 1988 | FM | The Use of VDM in the Specification of Chinese Characters. | Ghee S. Teo, Mchel Mac an Airchinnigh |
| 1987 | FM | Mathematical Structures and their Morphisms in Meta-IV. | Mchel Mac an Airchinnigh |
| 1987 | FM | Introduction to the VDM Tutorial. | Mchel Mac an Airchinnigh |
| 1987 | FM | Specification by Data Types. | Mchel Mac an Airchinnigh |