Search the dblp DataBase
Mícheál Mac an Airchinnigh :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mícheál Mac an Airchinnigh Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. [Citation Graph (0, 0)][DBLP ] FME, 2001, pp:396-418 [Conf ] Mícheál Mac an Airchinnigh Mathematical Structures and their Morphisms in Meta-IV. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1987, pp:287-320 [Conf ] Mícheál Mac an Airchinnigh Introduction to the VDM Tutorial. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1987, pp:356-361 [Conf ] Mícheál Mac an Airchinnigh Specification by Data Types. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1987, pp:362-388 [Conf ] Mícheál Mac an Airchinnigh Tutorial on the Irish School of the VDM. [Citation Graph (0, 0)][DBLP ] VDM Europe (2), 1991, pp:141-237 [Conf ] Ghee S. Teo , Mícheál Mac an Airchinnigh The Use of VDM in the Specification of Chinese Characters. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1988, pp:476-499 [Conf ] Mícheál Mac an Airchinnigh , Dag Belsnes , Gerard O'Regan Formal Methods and Service Specification. [Citation Graph (0, 0)][DBLP ] IS&N, 1994, pp:563-572 [Conf ] Mícheál Mac an Airchinnigh , Hans-Jürgen Kugler Service Engineering versus Software Engineering - A Foundational Study. [Citation Graph (0, 0)][DBLP ] IS&N, 1994, pp:39-49 [Conf ] Mícheál Mac an Airchinnigh Mathematics for Formal Methods, a Proposal for Education Reform. [Citation Graph (0, 0)][DBLP ] IWFM, 1998, pp:- [Conf ] Mícheál Mac an Airchinnigh The CONTEXT: a high-level structuring concept for GKS input. [Citation Graph (0, 0)][DBLP ] Computers & Graphics, 1985, v:9, n:3, pp:211-220 [Journal ] Anthony Karel Seda , Ted Hurley , Michel P. Schellekens , Mícheál Mac an Airchinnigh , Glenn Strong Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:1-2 [Journal ] Mícheál Mac an Airchinnigh An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]. [Citation Graph (0, 0)][DBLP ] J. UCS, 2001, v:7, n:8, pp:668-691 [Journal ] Preface. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs