eCite Digital Repository

Items where Subject is Field of Research, Information and Computing Sciences, Theory of computation, Computational logic and formal languages

Journal Article
Kelarev, AV and Sokratova, OV, Two algorithms for languages recognized by graph algebras, International Journal of Computer Mathematics, 79, (12) pp. 1317-1327. ISSN 0020-7160 (2002) [Refereed Article] 
Kelarev, AV and Sokratova, OV, Languages Recognised by a Class of Finite Automata, Acta Cybernetica, 15, (1) pp. 45-52. ISSN 0324-721X (2001) [Refereed Article] 
Weber, S and Nixon, PA, An object oriented DSM framework, External Technical Reports: Trinity College Dublin, Department of Computer Science (TDC-CS) Article 96-24. (1996) [Professional, Non Refereed Article]
Review
Kelarev, AV, Slender matrix languages (R. Stiebe), Mathematical Reviews, 2002, (k) pp. 1. (2002) [Review Single Work] 
Kelarev, AV, Some new results on primitive words and language classes (M. Kudlek), Mathematical Reviews, 2002, (d) pp. 1. (2002) [Review Single Work] 
Conference Publication
Gaudin , B and Vassev, EI and Hinchey, MG and Nixon, P, A control theory based approach for self-healing of un-handled runtime exceptions, ICAC '11 - Proceedings of the 8th ACM International Conference on Autonomic Computing , 14-18 June 2011, Karlsruhe, Germany, pp. 217-220. ISBN 978-1-4503-0607-2 (2011) [Refereed Conference Paper] 
Vassev, E and Hinchey, M and Gaudin, B and Nixon, P, Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles, C<sup>3</sup>S<sup>2</sup>E '11 - Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering, 16-18 May 2011, Montreal, Quebec, Canada, pp. 35-42. ISBN 978-1-4503-0626-3 (2011) [Refereed Conference Paper] 
Kelarev, AV and Trotter, PG, A combinatorial property of languages and monoids, Proceedings of the International Conference Words, Languages and Combinatorics III, 14-18 March, 2000, Kyoto, Japan, pp. 228-239. ISBN 981-02-4948-9 (2003) [Refereed Conference Paper] 
Kelarev, AV and Miller, M and Sokratova, OV, Directed Graphs and Closure Properties For Languages, Proceedings of the 12th Australasian Workshop on Combinatorial Algorithms, July 14-17, 2001, Bandung, Indonesia, pp. 118-125. (2001) [Refereed Conference Paper] 
Kelarev, AV and Sokratova, OV, An Algorithm for Languages Recognised by Graph Algebras, Proceedings of the Eleventh Australasian Workshop on Combinatorial Algorithms, July 2000, Newcastle, New South Wales, pp. 43-52. ISBN 0 7259 1098 4 (2000) [Refereed Conference Paper] 
Kelarev, AV and Quinn, SJ and Sokratova, OV, Automata with languages recognised by graph algebras, AISAT 2000 Proceedings, 17-20 December 2000, Hobart, pp. 296-301. (2000) [Refereed Conference Paper] 
Fearnley-Sander, DP, Autonomy for automata, AISAT 2000 Proceedings, 17-20 December 2000, Hobart, pp. 302-305. (2000) [Refereed Conference Paper] 
Fearnley-Sander, DP, Brain extensions - some thoughts on how to scramble a face, Proceedings of the Mathematics 2000 Festival, AAMT, January 2000, Melbourne, pp. 57-66. ISBN 1 875900 40 3 (2000) [Refereed Conference Paper] 
Kelarev, AV and Quinn, SJ and Smolikova, R, On fuzzy regular languages, AISAT 2000 Proceedings, 17-20 December 2000, Hobart, pp. 291-295. (2000) [Refereed Conference Paper] 
Thesis
Hepburn, M, Integrity Analysis and Coercion in Distributed Systems (2006) [PhD] 

This list was generated on Thu Dec 2 14:45:33 2021.