Mícheál Mac an Airchinnigh
According to our database1,
Mícheál Mac an Airchinnigh
authored at least 23 papers
between 1982 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
1
2
2
1
1
1
1
1
1
1
1
1
1
2
1
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Shifting Paradigms in Innovation Management - Organic Growth Strategies in the Cloud.
Proceedings of the Systems, Software and Services Process Improvement, 2019
2016
Proceedings of the Systems, Software and Services Process Improvement, 2016
2011
Proceedings of the Digital Publishing and Mobile Technologies, 2011
2010
Proceedings of the Publishing in the networked world: Transforming the Nature of Communication, 2010
2006
Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006
2004
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].
J. Univers. Comput. Sci., 2001
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
1998
Proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998, 1998
1994
Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994
Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994
1991
1988
Proceedings of the VDM '88, 1988
1987
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987
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.
Comput. Graph. Forum, 1985
Proceedings of the Second Annual Washington Ada Symposium on Ada, 1985
1984
ACM SIGCHI Bull., 1984
Comput. Graph. Forum, 1984
1983
1982