2010

• Viktor Kuncak, Ruzica Piskac, Philippe Suter, and Thomas Wies, Building a Calculus of Data Structures, in Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), Springer, 2010
• Simon Schubert, Frank Uyeda, Nedeljko Vasic, Naveen Cherukuri, and Dejan Kostic, Bandwidth Adaptation in Streaming Overlays, in Proceedings of The Second International Conference on COMmunication Systems and NETworkS (COMSNETS), 2010
• Andreas Podelski and Thomas Wies, Counterexample-guided focus, in ACM Symposium on Principles of Programming Languages (POPL 2010), ACM, 2010

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
• Michael Backes, Martin P. Grochulla, Cătălin Hriţcu, and Matteo Maffei, Achieving Security Despite Compromise Using Zero-knowledge, in 22th IEEE Symposium on Computer Security Foundations (CSF 2009), IEEE Computer Society Press, July 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
• Brian Amberg, Pascal Paysan, and Thomas Vetter, Weight, Sex, and Facial Expressions: On the Manipulation of Attributes in Generative 3D Face Models, in Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part I, 2009
• A. Vedaldi, V. Gulshan, M. Varma, and A. Zisserman, Multiple Kernels for Object Detection, in Proceedings of the International Conference on Computer Vision, 2009
• Laura Dietz, Modeling Shared Tastes in Online Communities, in NIPS Workshop on Applications for Topic Models: Text and Beyond, 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
• N. Taylor, K. Cheverst, and J. Müller, Affordances and Signifiers of Community Noticeboards, in Pervasive 2009 Workshop on Pervasive Advertising, 2009
• Brian Amberg, Andrew Blake, and Thomas Vetter, On compositional Image Alignment, with an application to Active Appearance Models, in 2009 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2009), 20-25 June 2009, Miami, Florida, USA, 2009
• Eugenio Giordano, Flavio Fabbri, and Roberto Verdone, An Analytical Model for IEEE802.11 Networks Running Query-Based Applications, in The 12-th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM), 2009
• U. Ali, M. Kieffer, and P. Duhamel, Joint Protocol-Channel Decoding for Robust Aggregated Packet Recovery at WiMAX MAC Layer., in IEEE 10th Workshop on Signal Processing Advances in Wireless Communications, 2009. SPAWC2009, 2009
• Paolo Costa, Thomas Zahn, Ant Rowstron, Greg O'Shea, and Simon Schubert, Why should we integrate services, servers, and networking in a data center?, in WREN '09: Proceedings of the 1st ACM workshop on Research on enterprise networking, ACM, New York, NY, USA, 2009
• David Hopkins and C. -H. Ong, Homer: A Higher-Order Observational Equivalence Model checkER, in CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification, Springer-Verlag, 2009
• Laura Dietz, Valentin Dallmeier, Andreas Zeller, and Tobias Scheffer, Localizing Bugs in Program Executions with Graphical Models, in Advances in Neural Information Processing Systems, 2009
• Pascal Paysan, Marcel Lüthi, Thomas Albrecht, Anita Lerch, Brian Amberg, Francesco Santini 0002, and Thomas Vetter, Face Reconstruction from Skull Shapes and Physical Attributes, in Pattern Recognition, 31st DAGM Symposium, Jena, Germany, September 9-11, 2009. Proceedings, 2009
• Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, and Thomas Wies, It's Doomed; We Can Prove It, in Formal Methods (FM 2009), Springer, 2009
• Pascal Paysan, Reinhard Knothe, Brian Amberg, Sami Romdhani, and Thomas Vetter, A 3D Face Model for Pose and Illumination Invariant Face Recognition, in Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2009, 2-4 September 2009, Genova, Italy, 2009
• Thomas Wies, Ruzica Piskac, and Viktor Kuncak, Combining Theories with Shared Set Operations, in Symposium on Frontiers of Combining Systems (FroCos 2009), Springer, 2009
• F. Schroff, L. Zitnick, and S. Baker, Clustering Videos by Location, in Proceedings of the 20th British Machine Vision Conference, London, 2009
• Nikola Knezevic, Simon Schubert, and Dejan Kostic, Towards a Cost-Effective Networking Testbed, in Proceedings of the 4th Workshop on Real Overlays and Distributed Systems (ROADS), 2009
• David Stynes and Kenneth N. Brown, Realtime Online Solving of Quantified CSPs, in To appear in Proceedings of CP, 2009
• Eugenio Giordano, Raphael Frank, Abhishek Ghosh, Giovanni Pau, and Mario Gerla, Two Ray or not Two Ray this is the price to pay, in First International Workshop on Intelligent Vehicular Networks Co-Located with IEEE MASS 2009, 2009
• Dana N. Xu, Simon L. Peyton Jones, and Koen Claessen, Static contract checking for Haskell, in Principles of Programming Languages, POPL, 2009
• Panagiotis Koutsourakis, Loic Simon, Olivier Teboul, Georgios Tziritas, and Nikos Paragios, Single View Reconstruction Using Shape Grammars for Urban Environments, in ICCV 2009: Proceedings of Eleventh IEEE International Conference on Computer Vision, IEEE Computer Society Press, Los Alamitos, USA, 2009
• Martin Rohrmeier and Ian Cross, Tacit tonality: Implicit learning of context-free harmonic structure, in ESCOM 2009: 7th Triennial Conference of European Society for the Cognitive Sciences of Music, 2009
• Umar Mohammed, Simon J. D. Prince, and Jan Kautz, Visio-lization: generating novel facial images, in SIGGRAPH '09: ACM SIGGRAPH 2009 papers, ACM, New York, NY, USA, 2009
• Mohamed Nassim Seghir, Andreas Podelski, and Thomas Wies, Abstraction Refinement for Quantified Array Assertions, in Static Analysis Symposium (SAS 2009), Springer, 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
• 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
• Y. Y. Li (on behalf of the LHCb collaboration), Prospect for γ measurements at LHCb, in Fundamental Interactions, proceedings of the 24th Lake Louise Winter Institute, 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
• Michael Backes, Cătălin Hriţcu, and Matteo Maffei, Type-checking Zero-knowledge, in 15th ACM Conference on Computer and Communications Security (CCS 2008), ACM Press, October 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
• 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
• 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
• Michael Backes, Cătălin Hriçtcu, and Matteo Maffei, Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus, in 21th IEEE Symposium on Computer Security Foundations (CSF 2008), IEEE Computer Society Press, June 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
• 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
• 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
• 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
• N. Taylor, K. Cheverst, C. Satchell, M. Foth, and I. McColl, Public Situated Displays to Support Communities, in OZCHI 2008 Workshop, 2008
• Guillem Rull, Carles Farré, Ernest Teniente, and Toni Urpí, Providing Explanations for Database Schema Validation, in DEXA, 2008
• Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, and Mooly Sagiv, Proving conditional termination, in CAV'2008: Computer-Aided Verification, Springer, 2008
• David Stynes and Kenneth N. Brown, Realtime Online Solving of Quantified CSPs, in Proceedings of Workshop on Quantification in Constraint Programming, QiCP, 2008
• Paolo Atzeni, Giorgio Gianforme, and Paolo Cappellari, Reasoning on Data Models in Schema Translation, in FoIKS, 2008
• Lynne Hamill and Nigel Gilbert, A Simple but More Realistic Agent-based Model of a Social Network, in The Fifth Conference of the European Social Simulation Association (ESSA), 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
• Daniel Cederman and Philippas Tsigas, On Dynamic Load Balancing on Graphics Processors, in Proceedings of the 11th Graphics Hardware (GH 2008), ACM press, 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
• Paolo Atzeni and Giorgio Gianforme, Inheritance and Polymorphism in Datalog: an experience in Model Management, in EJC, 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
• 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
• Laura Dietz and Valentin Dallmeier, Probabilistic Graph Models for Debugging Software, in NIPS Workshop on Analyzing Graphs: Theory and Applications, 2008
• N. Taylor and K. Cheverst, "This might be stupid, but...": participatory design with community displays and postcards, in OZCHI '08: Proceedings of the 20th Australasian Conference on Computer-Human Interaction, ACM, New York, NY, USA, 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
• 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
• Loïc Fejoz and Stephan Merz, Towards automatic proofs of lock-free algorithms, in Exploiting Concurrency Efficiently and Correctly, Princeton États-Unis d'Amérique, 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
• Michael Kaisser, The QuALiM Question Answering Demo: Supplementing Answers with Paragraphs drawn from Wikipedia, in Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics (ACL-08), 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
• 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
• A. Middelkoop, A. Dijkstra, and S. D. Swierstra, A Leaner Specification for Generalized Algebraic Data Types, in Proceedings of The Ninth Symposium on Trends in Functional Programming, 2008
• Michael Pedersen and Gordon D. Plotkin, A Language for Biochemical Systems, in CMSB, 2008
• Paolo Atzeni, Luigi Bellomarini, Francesca Bugiotti, and Giorgio Gianforme, A platform for model-independent solutions to model management problems, in SEBD, 2008
• Brian Amberg, Reinhard Knothe, and Thomas Vetter, SHREC'08 entry: Shape based face recognition with a Morphable Model, in 2008 International Conference on Shape Modeling and Applications (SMI 2008), June 4-6, 2008, Stony Brook, NY, USA, 2008
• Daniel Cederman and Philippas Tsigas, A Practical Quicksort Algorithm for Graphics Processors, in Proceedings of the 16th Annual European Symposium on Algorithms (ESA 2008), Lecture Notes in Computer Science Vol.: 5193, Springer-Verlag, 2008
• Hyduke Noshadi, Eugenio Giordano, Hagop Hagopian, Giovanni Pau, Mario Gerla, and Majid Sarrafzadeh, Remote Medical Monitoring Through Vehicular Ad Hoc Network, in 2nd IEEE International Symposium on Wireless Vehicular Communications, 2008
• Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, and John van Schie, Report on the tenth ICFP programming contest, in Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, ICFP 2008, September 22–24, 2008, ACM Press, 2008
• Olga Morawczynski, Surviving in the dual system How M-PESA is fostering urban-to-rural remittances in a Kenyan Slum, in IFIP WG 9.4-University of Pretoria Joint Workshop, 2008
• Carles Farré, Guillem Rull, Ernest Teniente, and Toni Urpí, SVTe: a tool to validate database schemas giving explanations, in DBTest '08: Proceedings of the 1st international workshop on Testing database systems, ACM, New York, NY, USA, 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
• Martin Rohrmeier and Ian Cross, Statistical Properties of Tonal Harmony in Bach’s Chorales, in 10th International Conference of Music Perception and Cognition (ICMPC), 2008
• Michael Kaisser, Marti Hearst, and John Lowe, Improving Search Result Quality by Customizing Summary Lengths, in Proceedings of the 46th Annual Meeting of the Association for Computational Linguistics (ACL-08), 2008
• Eugenio Giordano, Abhishek Ghosh, Giovanni Pau, and Mario Gerla, Experimental Evaluation of Peer to Peer Applications in Vehicular Ad-hoc Networks, in The First Annual International Symposium on Vehicular Computing Systems, 2008
• S. Vicente, V. Kolmogorov, and C. Rother, Graph cut based image segmentation, in IEEE Conference on Computer Vision and Pattern Recognition, 2008
• Eugenio Giordano, Abhishek Ghosh, Giovanni Pau, and Mario Gerla, C-VeT, The UCLA Campus Vehicular Testbed: Preliminary Measurements and Results, in The Sixth International Conference on Mobile Systems, Applications and Services (MobiSys), 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
• N. Taylor, M. Rouncefield, K. Cheverst, and I. Shahram, Encouraging Community Spirit with Situated Displays, in AISB 2008 Symposium on Persuasive Technology, AISB, 2008
• Olga Morawczynski and Gianluca Miscione, Examining trust in mobile banking transactions: The case of M-PESA in Kenya, in Social Dimensions of Information And Communication Technology Policy, Proceedings of the Eighth International Conference on Human Choice and Computers (HCC8), IFIP TC 9, Pretoria, South Africa, September 25-26, 2008, 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
• 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
• 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
• E. Giordano, A. Tomatis, A. Ghosh, G. Pau, and M. Gerla, C-VeT An Open Research Platform for VANETs: Evaluation of Peer to Peer Applications in Vehicular Networks, in IEEE 68th Vehicular Technology Conference, 2008. VTC 2008-Fall, 2008
• N. Taylor and K. Cheverst, Exploring the Use of Non-Digital Situated Displays in a Rural Community, in OZCHI 2008 Workshop on Public and Situated Displays to Support Communities, 2008
• Michael Pedersen, Compositional Definitions of Minimal Flows in Petri Nets, in CMSB, 2008
• Paolo Atzeni, Luigi Bellomarini, Francesca Bugiotti, and Giorgio Gianforme, From Schema and Model Translation to a Model Management System, in BNCOD, Springer, 2008
• Michael Kaisser and John B. Lowe, Creating a Research Collection of Question Answer Sentence Pairs with Amazon’s Mechanical Turk, in Proceedings of the Sixth International Conference on Language Resources and Evaluation, LREC 2008, 2008
• Brian Amberg, Reinhard Knothe, and Thomas Vetter, Expression invariant 3D face recognition with a Morphable Model, in 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), Amsterdam, The Netherlands, 17-19 September 2008, 2008
• Michael Kaisser and John Lowe, Creating a Research Collection of Question Answer Sentence Pairs with Amazon's Mechanical Turk, in Proceedings of the Sixth International Conference on Language Resources and Evaluation (LREC-08), 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
• 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, Newport, Rhode Island, USA, Association for Computing Machinery, Inc., New York, NY, USA, October 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
• 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
• C.E. Goodyer, V. Grau, T. Mansoori, J.E. Schneider, K.W. Brodlie, and P. Kohl, 3D Visualization of Cardiac Anatomical MRI Data with Para-Cellular Resolution, in Engineering in Medicine and Biology Society, 2007. EMBS 2007. 29th Annual International Conference of the IEEE, August 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
• Loïc Fejoz and Stephan Merz, Dérivation d'algorithmes sans verrou à partir d'une spécification atomique, in Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL07 Actes de la 8e conférence AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Presses universitaires de Namur, 2007, Namur, Belgique, June 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
• T. Mansoori, Plank G, R. Burton, J. Schneider, P. Kohl, D. Gavaghan, and V. Grau, An Iterative Method for Registration of High-Resolution Cardiac Histo-Anatomical and MRI Images, in Biomedical Imaging: From Nano to Macro, 2007. ISBI 2007. 4th IEEE International Symposium on, April 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
• 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
• Gérard Basler, Daniel Kroening, and Georg Weissenbacher, SAT-Based Summarization for Boolean Programs, in SPIN, 2007
• Hans Hüttel and Michael D. Pedersen, A Logical Characterisation of Static Equivalence, Elsevier Science Publishers B. V., 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
• Laura Dietz, Steffen Bickel, and Tobias Scheffer, Unsupervised Prediction of Citation Influences, in Proceedings of the 24th International Conference on Machine Learning, 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
• 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
• 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
• 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
• Gustavo Marfia, Giovanni Pau, Enzo De Sena, Eugenio Giordano, and Mario Gerla, Evaluating vehicle network strategies for downtown Portland: opportunistic infrastructure and the importance of realistic mobility models, in MobiOpp '07: Proceedings of the 1st international MobiSys workshop on Mobile opportunistic networking, ACM, New York, NY, USA, 2007
• Gregory Hale, SIFT: Schematic Instances For Transmedia, in ACE workshop, ‘Transmedial Interactions and Digital Games’, 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
• Michael J. A. Smith, Stochastic Bounding of PEPA Models, in Proceedings of Process Algebra and Stochastically Timed Activities (PASTA) 2007, 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
• 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
• Lynne Hamill, Different Ways of Modelling Phone Adoption, in The Fourth European Social Simulation Association Conference (ESSA), 2007
• Maharaj T, Rodriguez B, Plank G, Prassl A, Mansoori T, Grau V, Kohl P, Gavaghan D, and Trayanova N, Shock-induced virtual electrodes in a microanatomically accurate wedge model, in Annual Scientific Sessions Meeting Abstracts2007; P01-12–Heart Rhythm Society's 30th Annual Scientific Sessions; May 17-20, 2007; Denver, Colorado, USA., 2007
• Alexander Malkis, Andreas Podelski, and Andrey Rybalchenko, Precise Thread-Modular Verification, in SAS'2007: Static Analysis Symposium, Springer, 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
• Beyer, Dirk, Henzinger, Thomas A., Majumdar, Rupak, Rybalchenko, and Andrey, Path invariants, in PLDI'2007: Programming Language Design and Implementation, ACM Press, 2007
• David Stynes and Kenneth N. Brown, Value Ordering for Quantified CSPs, in Proceedings of CP2007 Doctoral Programme, 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
• 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
• Andrew Weeks, Susan Stepney, and Fiona A. C. Polack, Neutral Emergence: a proposal, in Symposium on Complex Systems Engineering, RAND Corporation, Santa Monica, CA, USA, 11-12 January 2007, 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
• Paolo Atzeni, Paolo Cappellari, and Giorgio Gianforme, MIDST: model independent schema and data translation, in SIGMOD Conference, 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
• Daniel Kroening and Georg Weissenbacher, Lifting Propositional Interpolants to the Word-Level, in FMCAD, 2007
• D. Serrano, M. Patino-Martinez, R. Jimenez-Peris, and B. Kemme, Boosting Database Replication Scalability through Partial Replication and 1-Copy-Snapshot-Isolation, in PRDC '07: Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing, IEEE Computer Society, Washington, DC, USA, 2007
• Field-Programmable Logic and Applications: FPL07, Amsterdam, in Field-Programmable Logic and Applications: FPL07, Amsterdam, IEEE Press, 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
• Gregory Hale, Pumping up the Fun on Web 2.0. Can Psychology Give a Helping Hand?, in Towards a Social Science of Web 2.0 conference, 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
• 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
• Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, in GECCO, ACM, 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
• Byron Cook, Andreas Podelski, and Andrey Rybalchenko, Proving thread termination, in PLDI'2007: Programming Language Design and Implementation, ACM Press, 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
• 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
• 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
• Daniele Quercia, Stephen Hailes, and Licia Capra, B-Trust: Bayesian Trust Framework for Pervasive Computing, in Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings, Springer, 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
• Gregory Hale, Insights into the Design of Computer Entertainment from Schemas in Film, in Technologies for Interactive Digital Storytelling and Entertainment, Proceedings of TIDSE 2006 International Conference, 2006
• Philippe-Alexandre Pouille, Emmanuel Beaurepaire, and Emmanuel Farge, In silico modelling of embryonic morphogenesis, in The 7th International Conference on Systems Biology, 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
• Gregory Hale, SCUSI? Story Content Using Schematic Instances, in TIDSE 2006 workshop on interactive storytelling, 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
• Daniel Kroening and Georg Weissenbacher, Counterexamples with Loops for Predicate Abstraction, in CAV, 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
• Ben Rudiak-Gould, Alan Mycroft, and Simon L. Peyton Jones, Haskell Is Not Not ML, in European Symposium on Programming, ESOP, 2006
• Daniele Quercia, Stephen Hailes, and Licia Capra, TATA: Towards Anonymous Trusted Authentication, in Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings, Springer, 2006
• Michael Kaisser, Web Question Answering by Exploiting Wide-Coverage Lexical Resources, in Proceedings of the 11th ESSLLI Student Session, 2006
• Dan Dobre and Neeraj Suri, One-step Consensus with Zero-Degradation, in DSN '06: Proceedings of the International Conference on Dependable Systems and Networks, IEEE Computer Society, Washington, DC, USA, 2006
• David Stynes and Kenneth N. Brown, Adversarial Constraint Satisfaction plays sHex, in Proceedings of CP2006 Doctoral Programme, 2006
• Daniele Quercia, Manish Lad, Stephen Hailes, Licia Capra, and Saleem Bhatti, STRUDEL: supporting trust in the dynamic establishment of peering coalitions, in Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, ACM, 2006

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
• 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
• 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
• 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
• Andreas Podelski and Thomas Wies, Boolean Heaps, in Static Analysis Symposium (SAS 2005), Springer, 2005
• Daniele Quercia and Stephen Hailes, MOTET: Mobile Transactions using Electronic Tickets, in SECURECOMM '05: Proceedings of the First International Conference on Security and Privacy for Emerging Areas in Communications Networks, IEEE Computer Society, Washington, DC, USA, 2005
• Gregory Hale, Re-conceptualising ‘fun’ through viewer’s experiences to build new home system interfaces., in Home-Orientated Informatics and Telematics, 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
• Gregory Hale, A qualitative exploration of entertainment experiences, in Proceedings of ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, 2005
• Mohamed Ahmed, Daniele Quercia, and Stephen Hailes, A Statistical Matching Approach to Detect Privacy Violation for Trust-Based Collaborations, in WOWMOM '05: Proceedings of the First International IEEE WoWMoM Workshop on Trust, Security and Privacy for Ubiquitous Computing, IEEE Computer Society, Washington, DC, USA, 2005

2002

• D. Quercia, L. Docio-Fernandez, C. Garcia-Mateo, L. Farinetti, and C. De, Performance analysis of distributed speech recognition over IP networks on the AURORA database, in Acoustics, Speech, and Signal Processing, 2002. Proceedings. (ICASSP '02). IEEE International Conference on, 2002