Publications

Costello FJ
Costello FJ and Keane MT
"Testing two theories of conceptual combination: Alignment versus diagnosticity in the comprehension and production of combined concepts."
Journal of Experimental Psychology: Learning, Memory & Cognition, 27(1), 2001, pp 255-271.

Costello FJ
"Classification in combined phrases: noun-noun conjunctions and intersective, subsective and privative adjective-noun conjunctions."
In Proceedings of AICS 2001, 12th Irish Conference on Artificial Intelligence & Cognitive Science, 2001.

Costello FJ
A computational model of categorisation and category combination: "Identifying diseases and new disease combinations."
In Proceedings of the 23rd Annual Conference of the Cognitive Science Society, 2001, pp 238-243.

Duncan H
Wang Y, King G and Duncan H
"Deriving Personal Software Processes from Current Software Engineering Process Models."
Proceedings of EuroSPI 2000, Copenhagen, November 2000.

Morisio M, Escala D, Coleman G, Escalante M, McGowan G, Mercier C O'Connor R, Duncan H and Wang Y
"Improving Individual Software Engineering Skills."
Proceedings of EuroSPI 2000, Copenhagen, November 2000.

O'Connor R, Duncan H, Coleman G, Escalante M, McGowan G, Escala D, Morisio M, Mercier C and Wang Y,
"A Tool to Support the Capture of Individual Process Data."
Proceedings of EuroSPI 2000, Copenhagen, November 2000.

Moynihan T and Duncan H
"COPING WITH CLIENT-BASED 'PEOPLEPROBLEMS'. How experienced IS project managers say they do it."
Proceedings of ISD2001, London, August 2001.

Dunne CR
Dunne CR
"Using Mobile Agents for Network Resource Discovery in Peer-to-Peer Networks."
ACM SIGecom Exchanges, 2(3), 2001, pp 1-9.
Available at [http://www.acm.org/sigs/sigecom/exchanges/issue-2.3/Dunne.pdf]

Farren M
Farren M, Mooney M and Pentony D
"University-School Collaboration Project."
Computer Education Society of Ireland (CESI) publications, Dublin, November 2001.

Farren M
"Improving the use of ICT in Higher Education through Action Reseach."
The Second International Conference on Technology in Teaching and Learning in Higher Education, Samos, Greece, June 2001.

Farren M and Tweedy E
"Integrating Video Conferencing into Educational Practice."
1st Diverse International Conference on Video and Videoconferencing in Further and Higher Education, University of Derby, July 2001.
To be published in Video and VideoConferencing book.

Gray D
Gray D
"Implementing Public-Key Cryptography."
Haskell, May 2001.

Gray D, Hamilton G, Power J and Sinclair D
"A Specification of TCP/IP using Mixed Intuitionistic Linear Logic."
2nd Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, 20 April, 2001.

Hamilton G
Hamilton, G.W.
"Extending Higher Order Deforestation: Transforming Programs to Eliminate Even More Trees."
Proceedings of the Third Scottish Functional Programming Workshop, Stirling, Scotland, August 2001.

Aziz B, Gray D, Hamilton GW, Oehl F, Power J and Sinclair D
"Implementing Protocol Verification for E-Commerce."
Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, Italy, August 2001.

Power B and Hamilton GW
"Declassification: Transforming Java Programs to Remove Intermediate Classes." Proceedings of the Workshop on Intermediate Representation Engineering for the Java Virtual Machine, Orlando, Florida, USA, July 2001.

Aziz B and Hamilton GW
"A Denotational Semantics for the Pi-Calculus."
Proceedings of the Fifth Irish Workshop on Formal Methods, Dublin, Ireland, July 2001.

Gray D, Hamilton GW, Power J and Sinclair D
"A Specification of TCP/IP using Mixed Intuitionistic Linear Logic."
Proceedings of the 2nd Joint Workshop on Formal Specification of Computer-Based Systems, Washington DC, USA, April 2001.

Horgan JM
Horgan J M
"List Sequential Selection of Line Items in Substantive Testing."
Proceedings of the American Accounting Association Western Meeting, 2001, 46.

Daly C and Horgan JM
"Automatic Plagiarism Detection."
Proceedings of the IASTED International Conference Applied Informatics, 2001, pp 255-259.

Horgan J M
"A Fixed-Sample-Size Without-Replacement Method for Substantive Testing."
Proceedings of the AAA Ohio Meeting, 2001.

Gregg D, Horgan JM and Waldron, J
"Identification and Quantification of Hotspots in Grande Java Programs Using a Cost Center Design Pattern, Proceedings of the European Conference of Java in High Performance Computing."
Lecture Notes in Computer Science, Springer-Verlag, ISBN: 0302-9743, 2001.

Horgan JM, Power J and Waldron J
"Measurement and Analysis of Runtime Profiling Data for Java Programs."
Technical Report NUIM-CS-TR-2001-04, Department of Computer Science, NUI Maynooth, 2001.

Horgan, J.M. and Bimpeh, Y.
"Monetary Unit Selection with Fixed Sample Size."
Research Paper, CA-0501, School of Computer Applications, Dublin City University, 2001.

Humphrys M
Humphrys M
"Distributing a Mind on the Internet: The World-Wide-Mind."
Proceedings of the 6th European Conference on Artificial Life (ECAL-01), Springer-Verlag LNCS/LNAI Series, volume LNAI 2159, pp669-80.

Walshe R and Humphrys M
"First Implementation of the World-Wide-Mind."
Proceedings of the 6th European Conference on Artificial Life (ECAL-01), Springer-Verlag LNCS/LNAI Series, volume LNAI 2159, pp714-8.

Humphrys M
"The World-Wide-Mind: Draft Proposal."
Technical Report no. CA-0301, Dublin City University, School of Computer Applications.

Kelleher J
Kelleher J and O Nuallain S
"The SONAS Algorithm for the Interpretation of Spatial Prepositions."
In proceedings of the Seventh International Colloquim on Cognitive Science (ICCS01), Donostia - San Sebastian, Spain, 2001.

Kelleher J, Doris T et al.
"SONAS: Multimodal, Multi-user Interaction with a Modelled Environment. Spatial Cognition - Foundation and Applications."
S. Ó Nualláin. Amsterdam/Philadelphia, John Benjamins Publishing: 2000, pp171-185.

McLoughlin A
McLoughlin A
"Matrix Multiplication Using Products of 3 by 3 and 3 by 4 Rectangular Matrices."
Paper accepted for Third International Conference on Discrete Mathematics and Theoretical Computer Science, Constanza, Romania, July 2-6, 2001.

McLoughlin A
"New Noncommutative Bilinear Algorithms for 3 by 3 Matrix Multiplication."
Paper accepted for Seventeenth annual British Coloquium for Theoretical Computer Science, Glasgow, Scotland, April 9-12, 2001.

McLoughlin A
"New Noncommutative Bilinear Algorithm for 4 by 4 Matrix Multiplication."
Paper submitted to Ninth Annual European Symposium on Algorithms, Aarhus, Denmark, August 28-31, 2001,

Moynihan T
Moynihan T
"Coping with Requirements Uncertainty."
Journal of Systems and Software, 53, 2000, pp 99-109.

O' Brien D
Monaghan AIC O'Brien D and Monaghan, AIC
"Concatenative Synthesis Based on a Harmonic Model."
IEEE Transactions on Speech and Audio Processing, 9(1), 2001, pp 11-20.

O'Connor R
O'Connor R and Coleman G
"PIPSI - The Results of a Two Year SPI Experiment."
Proceedings of European Software Process Improvement Conference (EuroSPI 2001), pp 12.19-12.23, LIT Press, ISBN 0-9541582-0-2, 2001.

O'Connor R
"Automating the Collaborative Decision Making Process in Software Project Planning."
Advances in Computer Based and Web-Based Collaborative Systems, Phol, J. and Fowler, T. (Eds.), pp 61 - 73, The International Institute for Advanced Studies in Systems Research and Cybernetics, ISBN 1-894613-17-1, 2001.

O'Connor R and Johnston M
"Using Generic Project Models to Aid Decision Making."
Advances in Decision Technology and Intelligent Information Systems Volume II, Engemann, K. and Lasker, G. (Eds.), pp 28-32, The International Institute for Advanced Studies in Systems Research and Cybernetics, ISBN 1-894613-08-2, 2001.

O'Connor R, Coleman G and Morisio M
"Software Process Improvement Education - A European Experiment."
Proceedings of 6th Annual Conference on Innovation and Technology in Computer Science Education, ACM Press, ISBN 1-58113-330-8, 2001.

O'Connor R and Coleman G
"Individual Software Process Improvement - Does Europe Need It?"
Proceedings of 12th European Software Control and Metrics conference, London, April 2001.

O'Connor R and Duncan H
"The Importance of a Quality Process in Software Development."
The Engineers Journal, The Institution of Engineers of Ireland, May 2001.

O'Connor R, Duncan H, Coleman G, Escalante M, McGowan C, Escala D, Morisio M, Mercier C and Wang Y
"A Tool to Support the Capture of Individual Process Data."
Proceedings, Euro SPI'2000, Copenhagen, Denmark, 2000.

O'Connor R and Duncan H
"Importance of a Quality Process in Software Development."
Irish Computer Society Newsletter, June 2001.

O'Connor R and Duncan H
"Improving Professional Software Skills in Industry."
The Irish Scientist Yearbook, No. 9, November 2001.

Coleman G, Escalante M, McGowan C, Escala D, Morisio M, Mercier C, O'Connor R, Duncan H and Wang Y.
"Improving individual software engineering skills."
Proceedings, EuroSPI'2000, Copenhagen, Denmark, 2000.

Ó Nualláin
Kelleher, J. and Ó Nualláin, S.
"The SONAS Algorithm for the Interpretation of Spatial Prepositions."
In proceedings of Seventh International Colloquim on Cognitive Science (ICCS01), Donostia - San Sebastian, Spain, 2001.

Kelleher J, Doris T, et al.
"SONAS: Multimodal, Multi-user Interaction with a Modelled Environment. Spatial Cognition - Foundation and Applications."
S. Ó Nualláin. Amsterdam/Philadelphia, John Benjamins Publishing: 2000, pp 171-185.

Ó Nualláin S
"Two Sciences of Mind."
Second Edition, Intellect, England

Pahl C
Pahl C
"Interactivity and Integration in Virtual Courses."
Proceedings of the International Conference on Advanced Learning Technologies ICALT 2001, Madison, Wisconsin, US. 2001, pp 395-396. IEEE Press.

Pahl C
"Formalising Dynamic Composition and Evolution in Java."
ECOOP European Connference on Object-Oriented Programming, workshop on Formal Techniques for Java Programming FTfJP'2001, Budapest, Hungary, 2001. Published as Technical Report, Fernuniversität Hagen, 2001.

Pahl C and Donnellan D
"Evaluation of Usage Patterns for Web-based Educational Systems using Web Mining."
Proceedings of ECITE'2001 European Conference on Information Technology Evaluation, Oriel College, Oxford, UK. MCIL, 2001, pp 473-478.

Pahl C
"Analysis and Test Case Generation for Security Protocols using Abstraction."
Proceedings of the Joint 7th International Conference on Information Systems Analysis and Synthesis ISAS'2001 and 5th Multiconference on Systemics, Cybernetics and Informatics SCI'2001, Orlando, Florida, 2001, pp V.294-V.299.

Pahl C
"The Evaluation of Educational Service Integration in Integrated Virtual Courses." Proceedings of IEEE SAINT'2001 Symposium on Applications and the Internet, workshop on Internet-Supported Education, 2001, pp 61-66. IEEE Press.

Pahl C
"The Use of XML-technologies as the Basis for an Infrastructure for Web-based Virtual Courses."
(Poster). Proceedings of the Conference on the World Wide Web WWW10, Hong Kong, 2001, pp 94-95.

Pahl C
"Components, Contracts, and Connectors for the Unified Modeling Language." Proceedings of the FME'01 Symposium Formal Methods Europe, Springer-Verlag. LNCS Series No. 2021, 2001, pp 259-277.

Roantree M
Kambur D and Roantree M
"Using Stored Behaviour in Object-Oriented Databases."
4th International Workshop on Engineering Federated Information Systems, (EFIS 2001), 2001.

Becarevic D and Roantree M
"Distributed Transactions for ODMG Federated Databases."
In New Developments in Distributed Applications and Interoperable Systems, Zielinski, Geihs, Laurentowski (eds), Kluwer Academic Publishers, 2001.

Roantree M, Kennedy J and Barclay P
"Interoperable Services for Federations of Database Systems."
5th East-European Conference on Advances in Databases and Information Systems (ADBIS 2001), 2001.

Roantree M, Kennedy J and Barclay P
"Constructing View Schemata Using an Extended ODL."
9th International IFCIS Conference on Cooperative Information Systems (CoopIS 2001), LNCS 2172, Springer, 2001.

Roantree M, Kennedy J and Barclay P
"Using a Metadata Software Layer in Information Systems Integration."
(Napier University). 13th Conference on Advanced Information Systems Engineering (CaiSE 2001), LNCS 2068, Springer, June 2001.

Byrne R and Roantree M
"An Object Transport Architecture for ODMG Databases."
Proceedings of HICSS 34, IEEE Computer Press, January 2001.

Hasselbring W, van den Heuvel W, Houben G, Kutsche R, Rieger, B, Roantree M and Subieta K
"Research and Practice in Federated Information Systems."
ACM SIGMOD Record 29:4, December 2000.

Ruskin HJ
Ruskin HJ, Feng Y and Zhu B
Physica A, 293, 2001, 315.
"Effects of Viral Mutation on Cellular Dynamics of an HIV immune response model in 3-D."
Accepted Mannion, R., Ruskin, H.J. and Pandey, R.B. (for Dec.2001) Theor. in Biosciences.

Ruskin HJ and Feng Y
for Conference on Horizons in Complex Systems, Sicily, Dec. 2001 (to appear in Physica A).

Refereed/Published Abstracts:
Pandey RB, Ruskin HJ and Mannion R
Abstract APS, American Physical Society meeting, Washington, USA, March 12th-16th, 2001.

Wang R and Ruskin HJ
Abstract CCP, Conf. on Computational Physics, Aachen, Sept. 5th-8th, 2001.

Submitted currently:
Feng, Y., Ruskin, H.J. and Zhu, B.
"Phase Dynamics for Constrained Geometries in a Soap Froth."
to Intl . J. Mod. Phys. C.

Ruskin HJ and Wang R
"Modelling Traffic Flow at an Urban Unsignalized Intersection."
to Intl. Conf. on Computational Science, Amsterdam, 2002,

Ruskin HJ and Liu Y
"A Mesoscopic Approach to Modelling Immunological Memory."
to Intl. Conf. on Computational Science, Amsterdam, 2002.

Sinclair D
Sinclair D, Gray D, Hamilton G and Power J
(NUIM); "Specifying and Verifying TCP/IP using Mixed Intuitionistic Linear Logic." Proceedings of IEEE 2nd Workshop on Formal Specification of Computer Based Systems, Washington D.C., April 2001.

Sinclair D and Power J
(NUIM); "A Formal Model of Forth Control Words in the Pi-Calculus."
Proceedings of the 6th International Workshop on Formal Methods for Industrial Critical Systems, Paris, France, July 2001.

Sinclair D, Aziz B, Gray D, Hamilton G and Oehl F
"Implementing Protocol Verification for E-Commerce."
Proceedings of the Symposium on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet, L'Aquila, Italy, August 2001.

Smeaton AF
Smeaton AF
Proceedings of the Second DELOS Network of Excellence Workshop on "Personalisation and Recommender Systems in Digital Libraries", Dublin City University, Ireland, 18-20 June 2001, published as ERCIM Workshop Proceedings - No. 01/W03, available at http://www.ercim.org/publications/ws-proceedings/DelNoe02/index.shtml

Smeaton AF
Workshop Report on Joint NSF-DELOS Workshop on "Personalisation and Recommender Systems in Digital Libraries", Alan F. Smeaton and Jamie Callan, SIGIR Forum, 35(1), Spring 2001.

Smeaton AF
"Físchlár on a PDA: A Hand-Held User-Interface to Digital Video."
H. Lee and A.F. Smeaton, ERCIM News No 46, July 2001.

Sutherland A
Sutherland A
"Irish Sign Language Recognition Using Hierarchical PCA" (with Hai Wu).
Proceeding of the Irish Machine Vision and Image Processing Conference, 2001 pp158-165.

Sutherland A
"Classification of Co-articulation and Partly-occluded Hand Gestures" (with Atid Shamaie).
Proceeding of the Irish Machine Vision and Image Processing Conference 2001 pp.259

Sutherland A
"Hand-Gesture Recognition for HCI" (with Atid Shamaie and Wu Hai ).
ERCIM News, No.46 July 2001, pp20-21.

van Genabith, J.
Hepple M and van Genabith J
"Experiments in Structure-Preserving Grammar Compaction."
1st Meeting on Speech Technology Transfer, Universidad de Sevilla and Universidad de Granada, Seville, Spain, Nov. 6th - 10th, 2000.

Crouch D, Frank A and van Genabith J
"Linear Logic Based Transfer and Structural Misalignment."
in: Proceedings of the Fourth International Workshop for Computational Semantics IWCS-4, January 10-12, 2001, Tilburg, The Netherlands, eds.) Harry Bunt, Ielka van der Suis and Elias Thijsse, pp.35-49, ISBN 90-74029-16-7.

van Genabith J
Metaphors, Logic and Type Theory, Journal of Metaphor & Symbol, Vol. 16, No. 1&2, 2001, Lawrence Erlbaum Publishers, New Jersey, pp.43-57, ISSN 1092-6488

van Genabith J, Frank A and Way A
"Treebank vs. Xbar-based Automatic Feature-Structure Annotation."
The 6th International Lexical-Functional Grammar Conference, LFG'2001, The University of Hong Kong, Hong Kong, 25-27 June 2001, (eds.) Miriam Butt and Tracy Holloway King, CSLI Publications
(http://csliPublications.stanford.edu/) Stanford, CA, ISSN 1098-6782.

Frank A and van Genabith J
"Linear Logic-Based Semantics Construction for LTAG."
The 6th International Lexical-Functional Grammar Conference, LFG'2001, The University of Hong Kong, Hong Kong, 25-27 June 2001, (eds.) Miriam Butt and Tracy Holloway King, CSLI Publications
(http://csliPublications.stanford.edu/) Stanford, CA, ISSN 1098-6782, CA.

Waldron J
Waldron J and Power J
"Comparison of Bytecode and Stack Frame Usage by Eiffel and Java Programs in the Java Virtual Machine."
Proceedings of the 2nd International Workshop on Computer Science and Information Technologies, CSIT'2000, Ufa, Russia, 2000.

Walshe R
Farren M Walshe R and O'Neil R
"Collaborative ICT Project to improve teaching and learning."
Seventh International Conference, Integrating Learning Technology: Practice, Policy and Partnership. UMIST, Manchester, UK September 2000.

Walshe R, Farren M and O'Neill R
"Developing a school based intranet."
World Conference on Internet and World Wide Web. San Antonio, Texas, November 2000.

Walshe R and Humphrys M
2001), First Implementation of the World-Wide-Mind, poster in Jozef Kelemen and Petr Sosik, eds., Advances in Artificial Life: Proceedings of the 6th European Conference on Artificial Life (ECAL-01), Prague, Czech Republic, September 10-14, 2001. Published by Springer-Verlag as part of the LNCS/LNAI Series. --

Walshe R
(2001) The Origin of the Speeches: Language Evolution through Collaborative Reinforcement Learning in Angelico de Antonio and Ruth Aylett et al (Eds.), Intelligent Virtual Agents: Proceedings from Third International Workshop, IVA 2001, Madrid, Spain, September 2001. Published by Springer-Verlag as part of the LNCS/LNAI Series.

Way A
Way A
"Terminological Activity in Ireland."
Terminology, 6(1), pp145-148, John Benjamins, Amsterdam, The Netherlands (with L. Bowker, J. Pearson and D. Ui Bhraonain).

Way A
"Treebank vs. X-BAR based Automatic F-Structure Annotation."
in Proceedings of 6th International Conference on Lexical Functional Grammar (LFG), CSLI Publications, Stanford, CA (with J. van Genabith and A. Frank), 2001, pp 127-146.

Way A
"LFG-DOT: Translation via c-structures with monolingual f-structure filtering."
in Proceedings of 6th International Conference on Lexical Functional Grammar (LFG), CSLI Publications, Stanford, CA, 2001, pp 305-323.

"Translating with Examples."
in Proceedings of the Workshop on Example-Based Machine Translation, MT Summit VIII, Santiago de Compostela, Spain, pp 66-80.

Way A
"Teaching Machine Translation & Translation Technology: A Contrastive Study."
in Proceedings of the Workshop on Teaching Machine Translation, MT Summit VIII, Santiago de Compostela, Spain (with D. Kenny), pp13-18.

Way A
"Classroom of the Future."
Working Paper, School of Computer Applications, Dublin City University (with G. Cleary).