Navigation

Publications

Visualisation of the co-author graph based on UCD Research Repository publications. Image by Dr. Kevin McCarthy.

Visualisation of the co-author graph based on UCD Research Repository publications. Image by Dr. Kevin McCarthy.

UCD School of Computer Science & Informatics

UCD School of Computer Science & Informatics - Research Publications 2012/13

Below is the list of research publications for the UCD School of Computer Science & Informatics in the academic year 2012/13.




pdf Click here to download as a PDF (129 kbs)


Books

Dr Tony Veale
Tony Veale (2012) Exploding The Creativity Myth: The Computational Foundations of Linguistic Creativity. London: Bloomsbury Academic. Available Online  


Back to Top

Book Chapters

Ms Andrea Ballatore
Ballatore, A.; Wilson, D.C.; Bertolotto, M. (2013) 'A Survey of Volunteered Open Geo-Knowledge Bases in the Semantic Web' In: Pasi, Gabriella; Bordogna, Gloria; Jain, Lakhmi C (eds). Quality Issues in the Management of Web Information. Berlin: Springer. , pp.93-120 Available Online  
Dr Michela Bertolotto
Ballatore, A.; Wilson, D.C.; Bertolotto, M. (2013) 'A Survey of Volunteered Open Geo-Knowledge Bases in the Semantic Web' In: Pasi, Gabriella; Bordogna, Gloria; Jain, Lakhmi C (eds). Quality Issues in the Management of Web Information. Berlin: Springer. , pp.93-120 Available Online  
Mr David Lillis
Lillis, David and Collier, Rem W. and Jordan, Howell R. (2013) 'Evaluation of a Conversation Management Toolkit for Multi Agent Programming' In: Springer Verlag Heidelberg. , pp.90-107  
Dr James McDermott
James McDermott and Dylan Sherry and Una-May O'Reilly (2013) 'Evolutionary and Generative Music Informs Music HCI---and vice versa' In: Kate Wilkie and Simon Holland and Paul Mulholland and Allan Seago (eds). Music and Human-Computer Interaction. Heidelberg, Germany: Springer. , pp.223-240 Available Online  
James McDermott and Toby Gifford and Anders Bouwer and Mark Wagy (2013) 'Should Music Interaction Be Easy?' In: Kate Wilkie and Simon Holland and Paul Mulholland and Allan Seago (eds). Music and Human-Computer Interaction. Heidelberg, Germany: Springer. , pp.29-47 Available Online  
Dr Michael O'Neill
Hemberg E., Ho L., O'Neill M., Claussen H. (2013) 'Representing Communication and Learning in Femtocell Pilot Power Control Algorithms' In: Riolo, R. Vladislavleva, E. Ritchie, M.D. Moore, J.H (eds). Genetic Programming Theory and Practice X. Heidelberg: Springer.  
Dr Tony Veale
Tony Veale (2012) 'A Computational Exploration of Creative Simile' In: F. MacArthur, J. L. O. Martínez, M. S. García and A. M. P. Píriz (eds). Metaphor in Use: Context, Culture, and Communication. Amsterdam: John Benjamins.  
Tony Veale (2012) 'The Agile Cliché: Using Flexible Stereotypes as Building Blocks in the Construction of an Affective Lexicon' In: Oltramari, A., Vossen, P., Qin, L. & Hovy, E (eds). New Trends of Research in Ontologies and Lexical Resources. Berlin: Springer: Theory and Applications of Natural Language Processing.  
Dr Mel Ó Cinnéide
Ghaith, S; Ó Cinnéide, M (2012) 'Improving Software Security Using Search-Based Refactoring' In: Fraser, Gordon; Teixeira de Souza, Jerffeson (eds). Search Based Software Engineering. Heidelberg: Springer. , pp.121-135 Available Online  


Back to Top

Books Edited

Professor Pádraig Cunningham
Padraig Cunningham, Neil J. Hurley, Ido Guy, Sarabjot Singh Anand (Ed.). (2012) 6th ACM Conference on Recommender Systems, RecSys '12. New York: ACM. Available Online  
Dr James McDermott
Machado, Penousal and McDermott, James and Carballal, Adrian (Ed.). (2013) Proceedings of EvoMUSART, the Second International conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design. Heidelberg/Berlin: Springer.  
Dr Mel Ó Cinnéide
Mel Ó Cinnéide and Myra B. Cohen (Ed.). (2013) Special Issue of Journal of Empirical Software Engineering on Search-Based Software Engineering. New York: Springer. Available Online  


Back to Top

Peer Reviewed Journals

Dr Félix Balado Pumarino
Haughton, D.; Balado, F. (2013) 'BioCode: Two Biologically Compatible Algorithms for Embedding Data in Non-Coding and Coding Regions of DNA'. BMC Bioinformatics, 14 (121).  
Balado, F. (2013) 'Capacity of DNA Data Embedding Under Substitution Mutations'. IEEE Transactions on Information Theory, 59 (2):928-941.  
Ms Andrea Ballatore
Ballatore, A; Bertolotto, M; Wilson, DC (2012) 'Geographic Knowledge Extraction and Semantic Similarity in OpenStreetMap'. Knowledge and Information Systems . Available Online  
Dr Michela Bertolotto
Corcoran, P; Mooney, P; Bertolotto, M (2013) 'Interactive cartographic route descriptions'. GEOINFORMATICA .  
Schon, B,Mosa, AM,Laefer, DF,Bertolotto, M (2013) 'Octree-based indexing for 3D pointclouds within an Oracle Spatial DBMS'. Computers & Geosciences, 51 :430-438.  
Dr Chris Bleakley
Reviriego, P.; Bleakley, C.J.; and Maestro, J.A. (2013) 'Diverse Double Modular Redundancy: A New Direction for Soft Error Detection and Correction'. IEEE Design & Test of Computers, 30 (2):87-95. Available Online  
Kamal, A.R.M., Bleakley, C.J., and Dobson, S. (2013) 'Packet-Level Attestation (PLA):A framework for in-network sensor-data reliability'. ACM Transactions on Sensor Networks, 9 (2):19:1-19:28. Available Online  
Razzaque, M.A, Bleakley, C.J. and Dobson, S. (2013) 'Compression in Wireless Sensor Networks: a Survey and Comparative Evaluation'. ACM Transactions on Sensor Networks .  
Lim, J.C and Bleakley, C.J.; (2012) 'Trading Sensing Coverage for an Extended Network Lifetime'. Telecommunication Systems, :1-9. Available Online  
Reviriego et al. (2012) 'Area Efficient Concurrent Error Detection and Correction for Parallel Filters'. Electronics Letters, 48 :1258-1260. Available Online  
Dr Jonathan Byrne
Byrne, Jonathan and Hemberg, Erik and O'Neill, Michael and Brabazon, Anthony (2013) 'A methodology for user directed search in evolutionary design'. Genetic Programming and Evolvable Machines, 14 (3):287-314. Available Online  
Dr Abey Campbell
Campbell, A.; O'Hare, G.M.P. (2013) 'How, Why and When to use AuRAs (Augmented Reality Agents)'. Virtual Reality .  
Dr Arthur Cater
Hossari, Murhaf and Cater, Arthur (2012) 'Pattern-based enhancements to Unicode Bidirectional Algorithm'. Localisation Focus: The International Journal of Localisation, 11 (1):4-13.  
Dr Padraig Corcoran
Corcoran, P; Mooney, P; Bertolotto, M (2013) 'Interactive cartographic route descriptions'. GEOINFORMATICA .  
Corcoran, P; Mooney, P (2013) 'Characterising the metric and topological evolution of OpenStreetMap network representations'. The European Physical Journal - Special Topics, 215 (1):109-122.  
Corcoran, P; Mooney, P; Bertolotto, M (2012) 'Utilizing geometric coherence in the computation of map transformations'. Computers & Geosciences, 47 :151-159.  
Dr Fred Cummins
Cummins, Fred, Li, C., and Wang, B. (2013) 'Coupling among speakers during synchronous speaking in English and Mandarin'. Journal of Phonetics .  
Cummins, Fred (2013) 'Towards an enactive account of action: Speaking and joint speaking as exemplary domains'. Adaptive Behavior, 13 (3):178-186.  
Cummins, Fred (2013) 'Joint speech: The missing link between speech and music?'. PERCEPTA - Revista de Cognição Musical .  
Cummins, Fred, Lowit, Anja and Brenk, Fritz (2013) 'The quantitative assessment of inter-utterance stability: Application to dysarthria'. Journal of Speech, Language, and Hearing Research .  
Oertel, C,Cummins, F,Edlund, J,Wagner, P,Campbell, N (2013) 'D64: a corpus of richly recorded conversational interaction'. Journal on Multimodal User Interfaces, 7 :19-28.  
Fred Cummins (2013) 'Social cognition is not a special case, and the dark matter is more extensive than recognized'. Behavioral & Brain Sciences, 36 (4):415-416.  
Fred Cummins (2012) 'Oscillators and syllables: a cautionary note'. Frontiers in Psychology, 3 (364).  
Professor Pádraig Cunningham
Redmond, U., Cunningham, P., (2013) 'A temporal network analysis reveals the unprofitability of arbitrage in The Prosper Marketplace'. Expert Systems with Applications, 40 (9):3715-3721.  
Ryan CJ, Krogan NJ., Cunningham P, Cagney, G. (2013) 'All or nothing: protein complexes flip essentiality between distantly related eukaryotes'. Genome Biology and Evolution . Available Online  
Ryan CJ, Krogan NJ, Cunningham P, Cagney G (2013) 'All or Nothing: Protein Complexes Flip Essentiality between Distantly Related Eukaryotes'. Genome Biology and Evolution, 5 (6):1049-1059.  
Mr Erik Hemberg
McDermott, J, Swafford, JM, Hemberg, M, Byrne, J, Hemberg, E, Fenton, M, McNally, C, Shotton, E, & O'Neill, M; (2012) 'Advantages and limitations of string-rewriting grammars in evolutionary architectural design'. Environment and Planning B: Planning and Design, 39 (4):713-731.  
Mr David Lillis
O'Grady, Michael J. and Murdoch, Olga and Kroon, Barnard and Lillis, David and Carr, Dominic and Collier, Rem W. and O'Hare, Gregory M. P. (2013) 'Pervasive Sensing: Addressing the Heterogeneity Problem'. Journal of Physics: Conference Series, 450 (1).  
Dr Eleni Mangina
Miguel A. Patricio, Jesús García, Juan M. Corchado, Javier Bajo, Alaa Khamis, and Eleni E. Mangina5 (2013) 'Intelligent Systems in Context-Based Distributed Information Fusion (Editorial)'. International Journal of Distributed Sensor Networks, 2013 . Available Online  
Professor Joao Marques-Silva
Antonio Morgado, Federico Heras, Mark Liffiton, Jordi Planes, Joao Marques-Silva (2013) 'Iterative and core-guided MaxSAT solving: A survey and assessment'. Constraints, 18 (4):478-534.  
Anton Belov and In\^es Lynce and Joao Marques-Silva (2012) 'Towards efficient MUS extraction'. AI Communications, 25 (2):97-116.  
Mikoláš Janota and Ines Lynce and Vasco M. Manquinho and Joao Marques-Silva (2012) 'PackUp: Tools for Package Upgradability Solving'. JSAT, 8 (1/2):89-94.  
Joao Marques-Silva (2012) 'Computing Minimally Unsatisfiable Subformulas: State of the Art and Future Directions'. Journal of Multiple-Valued Logic and Soft Computing, 19 (1-3):163-183.  
Anton Belov and Joao Marques-Silva (2012) 'MUSer2: An Efficient MUS Extractor'. JSAT, 8 (1/2):123-128.  
Dr James McDermott
David R. White, James McDermott, Mauro Castelli, Luca Manzoni, Brian W. Goldman, Gabriel Kronberger, Wojciech Jaskowski, Una-May O'Reilly, and Sean Luke (2013) 'Better GP Benchmarks: Community Survey Results and Proposals'. Genetic Programming and Evolvable Machines, 14 (1):3-29.  
Edgar Galvan Lopez and James McDermott and Michael O'Neill and Anthony Brabazon (2012) 'Defining locality as a problem difficulty measure in genetic programming'. Genetic Programming and Evolvable Machines, 12 (4):365-401.  
James McDermott and Jonathan Byrne and John Mark Swafford and Martin Hemberg and Ciaran McNally and Elizabeth Shotton and Erik Hemberg and Michael Fenton and Michael O'Neill (2012) 'A Comparison of Shape Grammars and String-Rewriting Grammars in Evolutionary Architectural Design'. Environment and Planning B: Planning and Design, 39 (4):713-731. Available Online  
McDermott, J; Byrne, J; Mark Swafford, J; Hemberg, M; McNally, C; Shotton, E: Hemberg, E; Fenton, M; O'Neill, M; (2012) 'String-rewriting grammars for evolutionary architectural design'. Environment and Planning B: Planning and Design, 39 (4):713-731. Available Online  
Professor Gregory O'Hare
Hynes, G.; O'Grady, M.J.; O'Hare, G.M.P. (2013) 'Towards Accessible Technologies for Coaching'. International Journal of Sports Science & Coaching, 8 (1).  
O'Grady, M.J.; O'Hare, G.M.P; Poland, S. (2013) 'Smart Environment Interaction - A User Assessment of Embedded Agents'. Journal of Ambient Intelligence and Smart Environments .  
O'Grady, M.J.; O'Hare, G.M.P.; Caulfield, B. (2013) 'Advances in Personalised Health'. Journal of Ambient Intelligence and Humanized Computing .  
Russell, S.; O'Grady, M.J.; O'Hare, G.M.P.; Diamond, D. (2013) 'Monitoring &Validating the Transport of Waste (Special Issue Pervasive Computing for Transit and Transport)'. IEEE Journal of Pervasive Computing .  
Ye, J.; Stevenson, G.; Dobson, S.; O'Grady, M.J.; O'Hare, G.M.P. (2013) 'PI: Perceiver and Interpreter of Smart Home Datasets'. Journal of Ambient Intelligence and Humanized Computing .  
Campbell, A.; O'Hare, G.M.P. (2013) 'How, Why and When to use AuRAs (Augmented Reality Agents)'. Virtual Reality .  
Fortino, G.; Guerrieri, A.; O'Hare, G.M.P.; Ruzzelli, A. (2012) 'A flexible building management framework based on wireless sensor and actuator networks'. Journal of Network and Computer Applications, 35 (6):1934-1952. Available Online  
Muldoon, C.; Trigoni, N.; O'Grady, M.J.; & Tynan, R.; O'Hare, G.M.P. (2012) 'Distributed Constraint Optimization for Resource Limited Sensor Networks'. Science of Computer Programming .  
Dr Michael O'Neill
Uy, NQ,Hoai, NX,O'Neill, M,McKay, RI,Phong, DN (2013) 'On the roles of semantic locality of crossover in genetic programming'. Information Sciences, 235 :195-213.  
Hemberg, E,Ho, L,O'Neill, M,Claussen, H (2013) 'A comparison of grammatical genetic programming grammars for controlling femtocell network coverage'. Genetic Programming and Evolvable Machines, 14 :65-93.  
Fenton, M, McNally, C, Byrne, J, Hemberg, E & O'Neill, M (2013) 'Automatic innovative truss design using grammatical evolution'. International Research Journal of Automation in Construction .  
McDermott, J, Swafford, JM, Hemberg, M, Byrne, J, Hemberg, E, Fenton, M, McNally, C, Shotton, E, & O'Neill, M; (2012) 'Advantages and limitations of string-rewriting grammars in evolutionary architectural design'. Environment and Planning B: Planning and Design, 39 (4):713-731.  
Dr Gianluca Pollastri
C.Mirabello, G.Pollastri (2013) 'Porter, PaleAle 4.0: high-accuracy prediction of protein secondary structure and relative solvent accessibility'. Bioinformatics, 29 (16):2056-2058. Available Online  
A.Lusci, G.Pollastri, P.Baldi (2013) 'Deep Architectures and Deep Learning in Chemoinformatics: The Prediction of Aqueous Solubility for Drug-Like Molecules'. Journal of Chemical Information and Modeling, 53 (7):1563-1575. Available Online  
C.Mooney, N.Haslam, T.Holton, G.Pollastri, D.Shields (2013) 'PeptideLocator: Prediction of Bioactive Peptides in Protein Sequences'. Bioinformatics .  
C.Mooney, A.Cessieux, D.Shields, G.Pollastri (2013) 'SCL-Epred: A Generalised De novo Eukaryotic Protein Subcellular Localisation Predictor'. Amino Acids .  
V.Volpato, A.Adelfio, G.Pollastri (2013) 'Accurate prediction of protein enzymatic class by N-to-1 Neural Networks'. BMC Bioinformatics .  
Dr Michael Salter-Townshend
Salter-Townshend, M. and Murphy, T.B. (2013) 'Variational Bayesian inference for the latent position cluster model for network data'. Computational Statistics & Data Analysis, 57 (1):661-671.  
Professor Barry Smyth
Kelly, D,Smyth, B,Caulfield, B (2013) 'Uncovering Measurements of Social and Demographic Behavior From Smartphone Location Data'. Ieee Transactions On Human-Machine Systems, 43 :188-198.  


Back to Top

Conference Publications

Mr Daniel Archambault
Daniel Archambault and Helen C. Purchase (2012) Mental Map Preservation Helps User Orientation in Dynamic Graphs Graph Drawing 2012,  
Dr Félix Balado Pumarino
Balado, F.; Haughton, D. (2013) Permutation Codes and Steganography 38th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Vancouver, Canada, 2954 - 2958  
Haughton, D.; Balado, F. (2013) A Modified Watermark Synchronisation Code for Robust Embedding of Data in DNA 38th IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Vancouver, Canada, 1148 - 1152  
Ms Andrea Ballatore
Andrea Ballatore, David C. Wilson, and Michela Bertolotto (2012) The Similarity Jury: Combining expert judgements on geographic concepts . In: Castano et al eds. SeCoGIS 2012 (part of ER 2012), Florence, Italy, 231 - 240  
Professor Julie Berndsen
Zahra, A. and Carson-Berndsen, J. (2013) Unique n-Phone Ranking Based Spoken Language Identification 5th international conference on Computational Intelligence, Communication Systems and Networks (CICSyN),  
Ahmed, Z., Steiner, I., Székely, É., Carson-Berndsen, J. (2013) Progress in Facial Expression based Affective Speech Translation Konferenz zur Elektronischen Sprachsignalverarbeitung (ESSV),  
Ahmed, Z., Steiner, I., Székely, É., Carson-Berndsen, J (2013) A System for Facial Expression-based Affective Speech Translation International Conference on Intelligent User Interfaces (IUI),  
Székely, É., Csapó, T. G., Tóth, B., Mihajlik, P., Carson-Berndsen, J., (2012) Synthesising expressive speech from amateur audiobook recordings IEEE Workshop on Spoken Language Technology (SLT),  
Ogbureke, U. K., J. Cabral and J. Carson-Berndsen. (2012) ). Explicit duration modelling in HMM-based speech synthesis using a hybrid hidden Markov model-multilayer perceptron SAPA-SCALE 2012,  
Székely, É., Ahmed, Z., Steiner, I., Carson-Berndsen, J (2012) Facial expression as an input annotation modality for affective speech-to-speech translation International Workshop on Multimodal Analyses for Human Machine Interaction (MA3),  
Dr Chris Bleakley
Kamal, A.R.M., Bleakley, C.J., and Dobson, S. (2012) Congestion Mitigation using In-network Sensor Data Summarization 9th ACM Int. Symp. on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN), Cyprus,  
Saad, M., et al. (2012) High accuracy Location Estimation of a Mobile Tag using One-way UWB Signalling Ubiquitous Positioning Indoor Navigation and Location Based Service (UPINLBS), Helsinki, Finland,  
Yadav, N., and Bleakley, C.J. (2012) Hybrid Bayesian Fusion of Range-based and Sourceless Location Estimates Under Varying Observability 6th IEEE Int. Conf. on Intelligent Systems (IS), Sofia, Bulgaria, 90 - 95 Available Online  
Dr Fred Cummins
Mc Gann, Marek and Cummins, Fred (2013) No mental; health . In: Joel Parthemore and Blay Whitby eds. AISB 2013, 1 - 5 Available Online  
Professor Pádraig Cunningham
Stabeler M., Lee C., Cunningham P., (2012) An Assessment of Community Finding Algorithms for Community-Based Message Routing in DTNs 10th International Conference on Wired/Wireless Internet Communication, 244 - 256 Available Online  
O'Callaghan, D; Greene, D.;Conway, M.; Carthy, J.; Cunningham, P. (2012) An Analysis of Interactions Within and Between Extreme Right Communities in Social Media 3rd International Workshop on Mining Ubiquitous and Social Environments (MUSE 2012) at ECML 2012, Bristol, UK,  
Brigadir, I.; Greene, D.; Cunningham, P. (2012) A System for Twitter User List Curation ACM RecSys 2012, Dublin, Ireland,  
Greene, D.; O'Callaghan, D.; Cunningham, P. (2012) Identifying Topical Twitter Communities via User List Aggregation 2nd International Workshop on Mining Communities and People Recommenders (COMMPER 2012) at ECML 2012, Bristol, UK,  
Greene, D.; Sheridan, G.; Smyth, B.; Cunningham, P. (2012) Aggregating Content and Network Information to Curate Twitter User Lists RSWeb '12 Proceedings of the 4th ACM RecSys workshop on recommender systems and the social web, Dublin, Ireland,  
Lee C., Cunningham P., (2012) The Geographic Flow of Music International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2012), Istanbul, Turkey, Available Online  
Dr Mauro Dragone
Sandygulova , A.; Swords, D.; Abdel-Naby, S.; O'Hare, G.M.P.; Dragone, M. (2013) A Study of Effective Social Cues within Ubiquitous RoboticsA Study of Effective Social Cues within Ubiquitous Robotics 8th ACM/IEEE International Conference on Human Robot Interaction (HRI2013), 3rd-6th March 2013, Tokyo, Japan,  
Dr Derek Greene
Hulpus, I.; Hayes, C.; Karnstedt, M.; Greene, D. (2013) Unsupervised Graph-Based Topic Labelling using DBPedia 6th ACM WSDM Conference (WSDM'13), Rome, Italy,  
O'Callaghan, D; Greene, D.;Conway, M.; Carthy, J.; Cunningham, P. (2012) An Analysis of Interactions Within and Between Extreme Right Communities in Social Media 3rd International Workshop on Mining Ubiquitous and Social Environments (MUSE 2012) at ECML 2012, Bristol, UK,  
Brigadir, I.; Greene, D.; Cunningham, P. (2012) A System for Twitter User List Curation ACM RecSys 2012, Dublin, Ireland,  
Greene, D.; O'Callaghan, D.; Cunningham, P. (2012) Identifying Topical Twitter Communities via User List Aggregation 2nd International Workshop on Mining Communities and People Recommenders (COMMPER 2012) at ECML 2012, Bristol, UK,  
Greene, D.; Sheridan, G.; Smyth, B.; Cunningham, P. (2012) Aggregating Content and Network Information to Curate Twitter User Lists RSWeb '12 Proceedings of the 4th ACM RecSys workshop on recommender systems and the social web, Dublin, Ireland,  
Dr Alexey Lastovetsky
Dichev, K; Reid, F; Lastovetsky, A (2012) Efficient and Reliable Network Tomography in Heterogeneous Networks Using BitTorrent Broadcasts and Clustering Algorithms ACM/IEEE International Conference on High Performance Computing, Networking, Storage and Analysis (SC'12), Available Online  
Zhong, Z; Rychkov, V; Lastovetsky, A (2012) Data Partitioning on Heterogeneous Multicore and Multi-GPU Systems Using Functional Performance Models of Data-Parallel Applications 2012 IEEE International Conference on Cluster Computing (Cluster 2012), Available Online  
Dr Eleni Mangina
Olapeju Latifat Ayoola & Eleni Mangina (2013) Bulding an Ubiquitous and Social Learning Environment for Third Level Education The Fourth International Conference on e-Learning(ICEL2013),  
Eleni Mangina (2013) UCD SPRINGBOARD Courses in ICT: Bridging the gap between market ICT skills and unemployment International Conference on Information Communication Technologies in Education,  
Conor K., Ruzzelli A., Mangina E. (2013) Using Electricity Market Analytics to Reduce Cost and Environmental Impact IEEE Fifth Annual Green Technologies Conference, Available Online  
Professor Joao Marques-Silva
Alessandro Previti and Joao Marques-Silva (2013) Partial MUS Enumeration AAAI,  
Joao Marques-Silva and Mikolas Janota and Anton Belov (2013) Minimal Sets over Monotone Predicates in Boolean Formulae CAV, 592 - 607  
Anton Belov and Matti Jarvisalo and Joao Marques-Silva (2013) Formula Preprocessing in MUS Extraction TACAS, 108 - 123  
Alexey Ignatiev and Mikolas Janota and Joao Marques-Silva (2013) Quantified Maximum Satisfiability: - A Core-Guided Approach SAT, 250 - 266  
Anton Belov and Norbert Manthey and Joao Marques-Silva (2013) Parallel MUS Extraction SAT, 133 - 149  
Mikolas Janota and Joao Marques-Silva (2013) On Propositional QBF Expansions and Q-Resolution SAT, 67 - 82  
Joao Marques-Silva and Federico Heras and Mikolas Janota and Alessandro Previti and Anton Belov (2013) On Computing Minimal Correction Subsets IJCAI,  
Anton Belov and Huan Chen and Alan Mishchenko and Joao Marques-Silva (2013) Core minimization in SAT-based abstraction DATE, 1411 - 1416  
William Klieber and Mikolas Janota and Joao Marques-Silva and Edmund M. Clarke (2013) Solving QBF with Free Variables CP, 415 - 431  
Federico Heras and Antonio Morgado and Jordi Planes and Joao Marques-Silva (2012) Iterative SAT Solving for Minimum Satisfiability ICTAI, 922 - 927 Available Online  
Dr James McDermott
James McDermott and Paula Carroll (2013) Program Optimisation with Dependency Injection . In: Krzysztof Krawiec and Alberto Moraglio eds. EuroGP, Vienna, Austria,  
Dr Miguel Nicolau
Nicolau, M; O'Neill, M; Brabazon, A (2012) Applying Genetic Regulatory Networks to Index Trading . In: Carlos A. Coello Coello and Vincenzo Cutello and Kalyanmoy Deb and Stephanie Forrest and Giuseppe Nicosia and Mario Pavone eds. Parallel Problem Solving from Nature - PPSN XII, 12th International Conference, Taormina, Italy, 428 - 437 Available Online  
Professor Gregory O'Hare
Sandygulova , A.; Swords, D.; Abdel-Naby, S.; O'Hare, G.M.P.; Dragone, M. (2013) A Study of Effective Social Cues within Ubiquitous RoboticsA Study of Effective Social Cues within Ubiquitous Robotics 8th ACM/IEEE International Conference on Human Robot Interaction (HRI2013), 3rd-6th March 2013, Tokyo, Japan,  
Campana, T.; O'Hare, G.M.P. (2013) Intellectus Intelligent Sensor Motes in Wireless Sensor Network SensorNets 2013, 2nd International Conference on Sensor Networks, 19th-21st February, Barcelona, Spain, 2013, Barcelona,  
Matheus, C.; Boran, A.; Carr, D.; Collier, R.; Kroon, B.; Murdoch, O.; O'Hare, G.M.P.; O'Grady, M.J. (2012) Semantic Network Monitoring and Control over Heterogeneous Network Models and ProtocolsSemantic Network Monitoring and Control over Heterogeneous Network Models and Protocols 2012 International Conference on Active Media Technology (AMT'12), , Macau SAR, China, Macau SAR, China,  
Sanchez, M.; O'Hare, G.M.P.; O'Grady, M.J.; Carvalho, D.; Zlydareva, O.; Muldoon, C.; Meijer, W.; O'Sullivan, J.; O'Keefe, B. (2012) An Agent-based Wireless Sensor Network for Water Quality Data Collection 6th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2012), Vitoria-Gasteiz, Spain, 454 - 461  
Carr, D.; O' Grady, M.J.; O'Hare, G.M.P.; Collier, R. (2012) SIXTH: A Middleware for Supporting Ubiquitous Sensing in Personal Health MonitoringSIXTH: A Middleware for Supporting Ubiquitous Sensing in Personal Health Monitoring International Workshop on Advances in Personalized Healthcare Services, Wearable Mobile Monitoring, and Social Media Pervasive Technologies, November 23rd , 2012, Paris, France,  
Abdel-Naby, S.; Sandygulova, A.; Zlydareva, O.; O'Hare, G.M.P. (2012) Investigating Agent-based Mobile Service Applications Integration with Reliable Wireless CommunicationInvestigating Agent-based Mobile Service Applications Integration with Reliable Wireless Communication EEE Wireless Days 2012 (WD IFIP), November 21st -23rd, Dublin, Ireland,  
Cao, N.; Higgs, R.; O'Hare, G.M.P. (2012) An Intelligent Evaluation Model based on the LEACH Protocol in Wireless Sensor Networks Proceedings of International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery (CyberC 2012), Sanya, Hainan, China,  
Dr Michael O'Neill
Tuite, C., Agapitos, A., O'Neill, M. and Brabazon, A. (2013) Towards a Dynamic Benchmark for Genetic Programming Genetic and Evolutionary Computation Conference (GECCO 2013), Amsterdam,  
Fenton, M, McNally, C & O'Neill, M (2013) The Interaction between Objectives and Constraints in Evolutionary Structural Engineering Optimisation 12th U.S. National Congress on Computational Mechanics (USNCCM12), Raleigh, North Carolina,  
Agapitos, A., O'Neill, M. and Brabazon, A. (2013) Adaptive Distance Metrics for Nearest Neighbour Classification based on Genetic Programming 16th European Conference on Genetic Programming (EuroGP 2013), Vienna,  
Pham T.A., Nguyen Q.U., Nguyen X.H., O'Neill M. (2013) Examining the Diversity Property of Semantic Similarity based Crossover EuroGP 2013 the 16th European Conference on Genetic Programming,  
Fagan D., Hemberg E., O'Neill M., McGarraghy S. (2013) Understanding Expansion Order and Phenotypic Connectivity in piGE EuroGP 2013 the 16th European Conference on Genetic Programming,  
Shaker N., Yannakakis G.N., Togelius J., Nicolau M., O'Neill M. (2012) Evolving Personalized Content for Super Mario Bros Using Grammatical Evolution Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-12),  
Agapitos, A., O'Neill, M. and Brabazon, A. (2012) Controlling Overfitting in Symbolic Regression based on a Bias/Variance Error Decomposition 12th International Conference on Parallel Problem Solving From Nature (PPSN 2012), Taormina, Sicily, Italy, 438 - 447  
Nicolau, M., O'Neill, M. and Brabazon, A. (2012) Applying Genetic Regulatory Networks to Index Trading 12th International Conference on Parallel Problem Solving From Nature (PPSN 2012), Taormina, Sicily, Italy, 428 - 437  
Swafford, J.M., Hemberg, E., O'Neill, M. and Brabazon, A. (2012) Analyzing Module Usage in Grammatical Evolution 12th International Conference on Parallel Problem Solving From Nature (PPSN 2012), Taromina, Sicily, Italy, 347 - 356  
Murphy, E., Nicolau, M., Hemberg, E., O'Neill, M. and Brabazon, A. (2012) Differential Gene Expression with Tree-Adjunct Grammars 12th International Conference on Parallel Problem Solving From Nature (PPSN 2012), Taromina, Sicily, Italy, 377 - 386  
O'Neill M., Brabazon A. (2012) An Analysis of Natural Computing Publication Venues: A focus on Immunocomputing 11th International Conference on Artificial Immune Systems ICARIS 2012,  
O'Neill M., Brabazon A. (2012) A Survey of Immunocomputing in Business Analytics and Finance 11th International Conference on Artificial Immune Systems ICARIS 2012,  
Shaker N., Nicolau M., Yannakakis G.N., Togelius J., O'Neill M. (2012) Evolving Levels for Super Mario Bros Using Grammatical Evolution CIG 2012 IEEE Conference on Computational Intelligence and Games,  
Hemberg E., Ho L., O'Neill M., Claussen H. (2012) Evolving Femtocell Algorithms with Dynamic & Stationary Training Scenarios 12th Int. Conf. on Parallel Problem Solving from Nature - PPSN XII,  
Dr Rachael Rafter
Zurina Saaya, Markus Schaal, Rachael Rafter and Barry Smyth (2013) Recommending Topics for Web Curation The 21st International Conference on User Modelling, Adaptation and Personalization (UMAP '13),  
Steven Bourke, Michael P. O'Mahony, Rachael Rafter and Barry Smyth (2013) Ranking in Information Streams The 2013 International Conference on Intelligent User Interfaces (IUI '13),  
Steven Bourke, Michael P. O'Mahony, Rachael Rafter, Kevin McCarthy and Barry Smyth (2012) Collaborative Filtering for Recommendation in Online Social Networks The Thirty-second SGAI Interntional Conference on Artificial Intelligence (AI-2012),  
Dr Mel Ó Cinnéide
Ó Cinnéide, M.; Tratt, L.;Harman, M.; Counsell, S.; Hemati Moghadam, I (2012) Experimental Assessment of Software Metrics using Automated Refactoring . In: Emilia Mendes and Martin Host eds. ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, Lund, Sweden [best paper],  


Back to Top