2009

• Daniele Quercia and Licia Capra, FriendSensing: Recommending Friends Using Mobile Phones, in Proceedings of ACM International Conference on Recommender Systems (RecSys), New York, USA, October 2009
• V. Lempitsky, M. Verhoek, J. Alison Noble, and A. Blake, Random Forest Classification for Automatic Delineation of Myocardium in Real-time 3D Echocardiography, in Functional Imaging and Modeling of the Heart, June 2009
• Tony O'Donovan, John O'Donoghue, Cormac Sreenan, David Sammon, Philip O'Reilly, and Kieran A. O'Connor, A Context Aware Wireless Body Area Network (BAN), in Proc 3rd International Conference on Pervasive Computing Technologies for Healthcare 2009, 2009
• Johannes Kinder, Florian Zuleger, and Helmut Veith, An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries, in Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009), Springer, Savannah, GA, USA, January 2009
• Paolo Atzeni, Luigi Bellomarini, Francesca Bugiotti, and Giorgio Gianforme, A runtime approach to model-independent schema and data translation, in EDBT. To appear, ACM, 2009
• F. Schroff, L. Zitnick, and S. Baker, Clustering Videos by Location, in Proceedings of the 20th British Machine Vision Conference, London, 2009

2008

• A. Morgado and J. Marques-Silva, Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem, in RCRA Workshop on experimental evaluation of algorithms for solving problems with combinatorial explosion, Italy, December 2008
• Zoi Kaoudi, Iris Miliaraki, and Manolis Koubarakis, RDFS Reasoning and Query Answering on top of DHTs, in Proceedings of the 7th International Semantic Web Conference (ISWC2008) - To appear, Karlsruhe, Germany, October 2008
• Daniele Quercia, Stephen Hailes, and Licia Capra, MobiRate: Making Mobile Raters Stick to their Word, in Proceedings of the 10th ACM International Conference on Ubiquitous Computing (UbiComp), Seoul, Korea, September 2008
• Hickey, S., Fitzpatrick, and C., Out of the Closet! Signaling Software Reliability in Secondary PC Markets, in Electronics Goes Green 2008, Berlin, September 2008
• Cronin, E., Hickey, S., and Fitzpatrick C., Radio Frequency Identification as a Method of Providing Signaling Information in Second Hand Computers, in Mechatronics 2008, June 2008
• A. Morgado and J. Marques-Silva, A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem, in WCB08 - Workshop on Constraint Based Methods for Bioinformatics, France, May 2008
• Maurice Fallon and Simon Godsill, Multi Target Acoustic Source Tracking with an unknown and time varying number of targets, in Proceedings of HSCMA 2008, May 2008
• Hickey, S., Fitzpatrick, and C., Using Feedback to Enhance Use Phase Efficiency in PC Systems, in International Symposium for Electronics and the Environment (ISEE), San Francisco, May 2008
• Iris Miliaraki, Zoi Kaoudi, and Manolis Koubarakis, XML Data Dissemination using Automata on Top of Structured Overlay Networks, in Proceedings of the 17th International World Wide Web Conference (WWW2008) - To appear, Beijing, China, April 2008
• Cunningham, David, Gudka, Khilan, Eisenbach, and Susan, Keep Off The Grass: Locking the Right Path for Atomicity, in Compiler Construction 2008, March 2008
• J. Benson, T. O'Donovan, U. Roedig, and C.J. Sreenan, Opportunistic Aggregation over Duty Cycled Communications in Wireless Sensor Networks, in Proc. International Conference on Information Processing in Sensor Networks IPSN '08, 2008
• Giorgio Gianforme, Roberto De Virgilio, Stefano Paolozzi, Pierluigi Del Nostro, and Danilo Avola, A Novel Approach for Practical Semantic Web Data Management, in KES (2), 2008
• Paolo Atzeni, Luigi Bellomarini, Francesca Bugiotti, and Giorgio Gianforme, From Schema and Model Translation to a Model Management System, in BNCOD, Springer, 2008
• Corneliu Popeea, Dana N. Xu, and Wei-Ngan Chin, A practical and precise inference and specializer for array bound checks elimination, in PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, ACM, New York, NY, USA, 2008
• Paolo Atzeni, Luigi Bellomarini, Francesca Bugiotti, and Giorgio Gianforme, A platform for model-independent solutions to model management problems, in SEBD, 2008
• Russell P. McIver, Andrew C. Jones, and Richard J. White, Workflow Systems for Biodiversity Researchers: Existing Problems and Potential Solutions, in Proceeding of Biodiversity Informatics: challenges in modelling and managing biodiversity knowledge, 2008
• Anna Ritchie, Stephen Robertson, and Simone Teufel, Comparing Citation Contexts for Information Retrieval, in Proceedings of the 17th ACM Conference on Information and Knowledge Management (CIKM), ACM Press, 2008
• Paolo Atzeni and Giorgio Gianforme, Inheritance and Polymorphism in Datalog: an experience in Model Management, in EJC, 2008
• Andreas Podelsk, Andrey Rybalchenko, and Thomas Wies, Heap Assumptions on Demand, in Computer Aided Verification (CAV 2008), Springer, 2008
• A. Maule, W. Emmerich, and D. S. Rosenblum, Impact Analysis of Database Schema Changes, in Proc. of the 30th Int. Conference on Software Engineering, Leipzig, Germany, ACM Press, 2008
• T. O'Donovan, J. Benson, U. Roedig, and C.J. Sreenan, Priority interrupts of Duty Cycled communications in wireless sensor networks, in Proc. 33rd IEEE Conference on Local Computer Networks LCN 2008, 2008
• Anna Ritchie, Simone Teufel, and Stephen Robertson, Using Terms from Citations for IR: Some First Results, in Proceedings of the European Conference on Information Retrieval (ECIR), 2008
• Michael Kaisser and John Lowe, A Research Collection of Question Answer-Sentence Pairs, in Proceedings of the Sixth International Conference on Language Resources and Evaluation, LREC 2008, 2008
• Kester Clegg and Susan Stepney, Analogue Circuit Control through Gene Expression, in Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings, Springer, 2008
• Paolo Atzeni, Giorgio Gianforme, and Paolo Cappellari, Reasoning on Data Models in Schema Translation, in FoIKS, 2008
• Nick Taylor, Keith Cheverst, Alan Dix, Paula Alexandra Silva, and Mark Rouncefield, The Co-realisation of a Village Photo Display, in CHI 2008 Workshop on Collocated social practices surrounding photos, 2008
• Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, and Mooly Sagiv, Proving conditional termination, in CAV'2008: Computer-Aided Verification, Springer, 2008
• Michael J. A. Smith, Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions, in Proceedings of the 6th Workshop on Quantitative Aspects of Programming Languages (QAPL), 2008
• Tony O'Donovan, Jonathan P. Benson, and Cormac J. Sreenan, Priority Message Interrupts over a Duty Cycled MAC Protocol, in Adjunct Proceedings of the 5th European Confererence on Wireless Sensor Networks (EWSN 2008), 2008
• Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, and Ru-Gang Xu, Proving Non-Termination, in POPL'2008: Principles of Programming Languages, ACM Press, 2008
• Michael Kaisser, Marti Hearst, and John Lowe, Evidence for Varying Search Results Summary Lengths, in Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics, 2008

2007

• Claudia-Lavinia Ignat, Gérald Oster, Pascal Molli, Michèle Cart, Jean Ferrié, Anne-Marie Kermarrec, Pierre Sutra, Marc Shapiro, Lamia Benmouffok, Jean-Michel Busca, and Rachid Guerraoui, A Comparison of Optimistic Approaches to Collaborative Editing of Wiki Pages, White Plains, NY, USA, November 2007
• Maurice Fallon and Simon Godsill, Multi-Target Acoustic Source Tracking Using Track Before Detect, in Proceedings of the Workshop on Applications of Signal Processing to Audio and Acoustics (WASPAA), October 2007
• Daniele Quercia, Stephen Hailes, and Licia Capra, Lightweight Distributed Trust Propagation, in Proceedings of the 7th IEEE International Conference on Data Mining, Omaha, US, October 2007
• Maurice Fallon and Simon Godsill, Multi Target Acoustic Source Tracking Using Track Before Detect, in Proceedings of WASPAA 2007, October 2007
• Lamia Benmouffok, Jean-Michel Busca, and Marc Shapiro, Semantic Middleware for Designing Collaborative Applications in Mobile Environment, in Middleware for Network Eccentric and Mobile Apps. W. (MiNEMA), Magdeburg, Germany, September 2007
• Stewart Hickey and Colin Fitzpatrick, Signalling Information from Embedded Sensors to Promote Lifetime Extension in Electrical and Electronic Equipment, in Sensors and their Applications XIV (SENSORS07), Liverpool, September 2007
• Daniele Quercia, Stephen Hailes, and Licia Capra, TRULLO - local trust bootstrapping for ubiquitous devices, in Proceedings of the 4th IEEE International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous), Philadelphia, US, August 2007
• Stewart Hickey and Colin Fitzpatrick, Tackling Adverse Selection in Secondary PC Markets, in Advances in Life Cycle Engineering for Sustainable Manufacturing Businesses, Springer Verlag, June 2007
• J. Barton, J. Buckley, B. O'Flynn, S.C. O'Mathuna, J.P. Benson, T. O'Donovan, U. Roedig, and C. Sreenan, The D-Systems Project - Wireless Sensor Networks for Car-Park Management, in Vehicular Technology Conference, 2007. VTC2007-Spring. IEEE 65th, April 2007
• Steve Hodges, Shahram Izadi, Alex Butler, Alban Rrustemi, and Bill Buxton, ThinSight: versatile multi-touch sensing for thin form-factor displays, in UIST '07: Proceedings of the 20th annual ACM symposium on User interface software and technology, ACM, New York, NY, USA, 2007
• Amberg, Brian, Blake, Andrew, Fitzgibbon, Andrew, Romdhani, Sami, Vetter, and Thomas, Reconstructing High Quality Face-Surfaces using Model Based Stereo, in Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on, 2007
• Michael Kaisser and Bonnie Webber, Question Answering based on Semantic Roles, in Proceedings of the ACL 2007 Deep Linguistic Processing Workshop, ACL-DLP 2007, 2007
• Kester Clegg, Susan Stepney, and Tim Clarke, Using feedback to regulate gene expression in a developmental control architecture, in Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, ACM, 2007
• Byron Cook, Andreas Podelski, and Andrey Rybalchenko, Proving thread termination, in PLDI'2007: Programming Language Design and Implementation, ACM Press, 2007
• Michael J. A. Smith, Stochastic Bounding of PEPA Models, in Proceedings of Process Algebra and Stochastically Timed Activities (PASTA) 2007, 2007
• H. Rowe and J. Crampton, Avoiding key redistribution in key assignment schemes, in Proceedings of the Fourth International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, 2007
• Steve Hodges, Shahram Izadi, Alex Butler, and Alban Rrustemi, ThinSight: A new interaction technology for ubicomp, in In Adjunct proceedings of 9th international Conference on Ubiquitous Computing, 2007
• Jonathan P. Benson, Tony O'Donovan, Cormac J. Sreenan, and Utz Roedig, Reliability Control for Aggregation in Wireless Sensor Networks, in LCN '07: Proceedings of the 32nd IEEE Conference on Local Computer Networks, IEEE Computer Society, Washington, DC, USA, 2007
• Shahram Izadi, Steve Hodges, Alex Butler, Alban Rrustemi, and Bill Buxton, ThinSight: integrated optical multi-touch sensing through thin form-factor displays, in EDT '07: Proceedings of the 2007 workshop on Emerging displays technologies, ACM, New York, NY, USA, 2007
• Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, and Hongseok Yang, Shape Analysis for Composite Data Structures, in Computer Aided Verification (CAV 2007), Springer, 2007
• Anna Ritchie, Stephen Robertson, and Simone Teufel, Creating a Test Collection: Relevance Judgements of Cited & Non-cited Papers, in Proceedings of the International Conference on Recherche d'Information Assistée par Ordinateur (RIAO), 2007
• Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, in GECCO, ACM, 2007
• Amberg, B., Romdhani, S., Vetter, and T., Optimal Step Nonrigid ICP Algorithms for Surface Registration, in Computer Vision and Pattern Recognition, 2007. CVPR '07. IEEE Conference on, 2007
• Field-Programmable Logic and Applications: FPL07, Amsterdam, in Field-Programmable Logic and Applications: FPL07, Amsterdam, IEEE Press, 2007
• Schroff, F., Criminisi, A., Zisserman, and A., Harvesting Image Databases from the Web, in Proceedings of the 11th International Conference on Computer Vision, Rio de Janeiro, Brazil, 2007
• Guillem Rull, Carles Farré, Ernest Teniente, and Toni Urpí, Computing explanations for unlively queries in databases, in CIKM '07: Proceedings of the sixteenth ACM conference on Conference on information and knowledge management, ACM, New York, NY, USA, 2007
• Paolo Atzeni, Paolo Cappellari, and Giorgio Gianforme, MIDST: model independent schema and data translation, in SIGMOD Conference, ACM, 2007
• Hage, Jurriaan, Holdermans, Stefan, Middelkoop, and Arie, A generic usage analysis with subeffect qualifiers, in Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1–3, 2007, ACM Press, 2007
• Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, and Andrey, Path invariants, in PLDI'2007: Programming Language Design and Implementation, ACM Press, 2007
• Kester Clegg, Susan Stepney, and Tim Clarke, Evolutionary Search Applied to Reconfigurable Analogue Control, in Field-Programmable Logic and Applications: FPL07, Amsterdam, IEEE Press, 2007
• Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin C. Rinard, Using First-Order Theorem Provers in the Jahob Data Structure Verification System, in Verification, Model Checking, and Abstract Interpretation (VMCAI 2007), Springer, 2007
• Nick Taylor, Keith Cheverst, Dan Fitton, Nicholas J. P. Race, Mark Rouncefield, and Connor Graham, Probing communities: study of a village photo display, in OZCHI '07: Proceedings of the 2007 conference of the computer-human interaction special interest group (CHISIG) of Australia on Computer-human interaction: design: activities, artifacts and environments, ACM, New York, NY, USA, 2007
• Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko, Precise Thread-Modular Verification, in SAS'2007: Static Analysis Symposium, Springer, 2007
• F. Corblin, L. Bordeaux, Y. Hamadi, E. Fanchon, and L. Trilling, A SAT-based approach to decipher Gene Regulatory Networks, in Integrative Post-Genomics, RIAMS'07, Lyon, 2007
• Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, and Martin Rinard, Verifying Complex Properties using Symbolic Shape Analysis, in Workshop on Heap Analysis and Verification (HAV 2007), 2007

2006

• Hickey, S, Fitzpatrick, and C., An Onboard Diagnostic System for PC Re-Use Analysis, in CARE Innovation Vienna, Austria, November 2006
• Maurice Fallon, Simon Godsill, and Andrew Blake, Joint Acoustic Source Location and Orientation Estimation Using Sequential Monte Carlo, in Proc. of the Int. Conf. on Digital Audio Effects (DAFx-06), Montreal, Quebec, Canada, September 2006
• Michael Kaisser, Web Question Answering by Exploiting Wide-Coverage Lexical Resources, in Proceedings of the 11th ESSLLI Student Session, 2006
• Michael Kaisser, Silke Scheible, and Bonnie Webber, Experiments at the University of Edinburgh for the TREC 2006 QA track, in The Proceedings of the 2006 Edition of the Text REtrieval Conference, TREC 2006, 2006
• Dana N. Xu, Extended static checking for haskell, in Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, ACM, New York, NY, USA, 2006
• Thomas Wies, Viktor Kuncak, Patrick Lam, and Andreas Podelski Martin Rinard, Field Constraint Analysis, in Verification, Model Checking, and Abstract Interpretation (VMCAI 2006), Springer, 2006
• Mathieu Verbaere, Ran Ettinger, and Oege de Moor, JunGL: a Scripting Language for Refactoring, in ICSE '06: Proceedings of the 28th International Conference on Software Engineering, ACM Press, New York, NY, USA, 2006
• J.P. Benson, T. O'Donovan, P. O'Sullivan, U. Roedig, C. Sreenan, J. Barton, A. Murphy, and B. O'Flynn, Car-Park Management using Wireless Sensor Networks, in Proc. 31st IEEE Conference on Local Computer Networks, 2006
• Mathieu Verbaere, Arnaud Payement, and Oege de Moor, Scripting refactorings with JunGL, in OOPSLA '06: Companion to the 21th ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications, ACM Press, New York, NY, USA, 2006

2005

• F. Corblin, E. Fanchon, and L. Trilling, Inférer et simuler un modèle biologique intervenant dans l'adhérence entre cellules, in JFPC 05 (Journées Francophones de Programmation par Contraintes), Lens, 2005
• E. Fanchon, F. Corblin, L. Trilling, B. Hermant, and D. Gulino, Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming, in Computational Methods in Systems Biology, Springer, 2005
• F. Corblin, E. Fanchon, and L. Trilling, Modélisation d'un réseau contrôlant l'adhésion cellulaire sous la forme d'un réseau multivalué asynchrone : mise en œuvre en PLC, in JOBIM 2005 (Journées Ouvertes Biologie Informatique Mathématiques), Lyon, 2005
• Andreas Podelski and Thomas Wies, Boolean Heaps, in Static Analysis Symposium (SAS 2005), Springer, 2005
• F. Corblin, E. Fanchon, and L. Trilling, Constraint Logic Programming for modeling a biological system described by a logical network, in CP05 (International Conference on Principles and Practice of Constraint Programming), Workshop WCB05 (Workshop on Constraint Based Methods for Bioinformatics), Sitges Espagne, 2005