Publications in Computing Science ordered by Year. (3465)
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
1978
1977
1976
1975
1974
1973
1972
1971
1970
1969
2010A C++-embedded Domain-Specific Language for Programming the MORA Soft Processor ArrayVanderbauwhede,W. Margala,M. Chalamalasetti,S.R. Purohit,S., TBP Proc. ASAP 2010 — 21st IEEE International Conference on Application-specific Systems, Architectures and Processors, Rennes, France, July 2010 [More Details]. A Dynamic Probabilistic Route Discovery for Mobile Ad Hoc Networks Abdulai,J. Ould-Khaoua,M. Mackenzie,L.M. Mohammed,A., International Journal of Communication Networks and Distributed Systems, Volume 4(1), pp 108 - 130 [More Details]. A Framework For Evaluating Automatic Image Annotation Algorithms Athanasakos,K. Stathopoulos,V. Jose,J.M., 32nd European Conference on Information Retrieval, Springer [More Details]. A Model and Analysis of the AKAP Scaffold Andrei,O. Calder,M., To appear in Proceedings of CS2Bio, Elsevier Science [More Details]. A SAT based algorithm for the matching problem in bigraphs with sharing Sevegnani,M. Unsworth,C. Calder,M., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. An Approach to Probabilistic Symmetry Reduction Power,C. Miller,A., Proceedings of the Automated Reasoning Workshop 2010 (ARW'10), pp 32-33 [More Details]. An Experimental Study of Home Gateway Characteristics Hätönen,S. Nyrhinen,A. Eggert,L. Strowes,S. Sarolahti,P. Kojo,M., ACM SIGCOMM Internet Measurement Conference (IMC), ACM [More Details]. Analysis of SVM with Indefinite Kernels Ying,Y. Campbell,C. Girolami,M., NIPS 2009, MIT Press [More Details]. Assume-Guarantee Verification for Probabilistic Systems Kwiatkowska,M. Norman,G. Parker,D. Qu,H., Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10) [More Details]. Bigraphs with sharing Calder,M. Sevegnani,M., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Comment on scattering length for fermionic alkali atoms Ouerdane,H. Jamieson,M.J., European Physical Journal D, pp In press [More Details]. Credit Crunch Origins and Orientation Cockshott,W.P. Zachariah,D., Science and Socieyt, pp 343-361 [More Details]. Dependence of the scattering length for hydrogen atoms on effective mass Jamieson,M.J. Cheung,A.S.-C. Ouerdane,H., European Physical Journal D 56, pp 181 [More Details]. Developing the Quantum Probability Ranking Principle Zuccon,G. Azzopardi,L., IIR 2010, Proceedings of the First Italian Information Retrieval Workshop, pp 21-22 [More Details]. Diamond-free Degree Sequences Miller,A. Prosser,P., DCS Technical Report Series, pp 1 to 9, Dept of Computing Science, University of Glasgow [More Details]. Dogan Göçmen, The Adam Smith Problem Cockshott,W.P., Journal of Critical Realism, pp 119-121 [More Details]. Extending Handivote to handle digital economic decisions Renaud,K. Cockshott,W.P., Proceedings of the 2010 ACM-BCS Visions of Computer Science Conference [More Details]. Fractional solutions for NTU-games Biro,P. Fleiner,T., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. HexServer: an FFT-based protein docking server powered by graphics processors MACINDOE,G. MAVRIDIS,L. VENKATRAMAN,V. DEVIGNES,M. RITCHIE,D.W., Nucleic Acids Research, Oxford University Press [More Details]. High-level Programming of Dynamically Reconfigurable NoC-based Heterogeneous Multicore SoCs Vanderbauwhede,W., Dynamic Reconfigurable Network-on-Chip Design: Innovations for Computational Processing and Communication, Idea Group Publishing [More Details]. Inference test Macneill,S.D., Someplace, pp 2, Dept of Computing Science, University of Glasgow [More Details]. Integral Stable Allocation Problem on Graphs Biro,P. Fleiner,T., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Keeping partners together: Algorithmic results for the Hospitals / Residents problem with couples McDermid,E.J. Manlove,D.F., Journal of Combinatorial Optimization, volume 19, number 3, pp 279-303, Springer [More Details]. Matching with sizes (or scheduling with processing set restrictions) Biro,P. McDermid,E., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Matrix element sums evaluated via differential equations in calculations of atomic and molecular properties Jamieson,M.J., Proceedings of the Dalgarno Celebratory Symposium, pp Chapter 4, World Scientific [More Details]. Modelling and and Analysis of Biochemical Signalling Pathway Crosstalk. Calder,M. Donaldson,R. [More Details]. Modelling Multi-agent systems Kirwan,R. Miller,A., Proceedings of the Automated Reasoning Workshop 2010 (ARW'10), pp 18-19 [More Details]. Modular Session Types for Distributed Object-Oriented Programming Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Modular Session Types for Distributed Object-Oriented Programming Gay,S.J. Vasconcelos,V.T. Ravara,A. Gesbert,N. Caldeira,A.Z., POPL'10, 37th ACM symposium on Principles of programming languages, Madrid, pp 299-312, ACM [More Details]. Non-classical computing: feasible versus infeasible. Cockshott,P. Mackenzie,L.M. Michaelson,G., ACM-BCS Visions of Computer Science 2010 International Academic Research Conference, 14-16 April 2010, Edinburgh, UK. [More Details]. Oekonomisches Uebergagnsprogramm zum Sozialismus des 21. Jahrhundreds in der Europaischen Union Cockshott,W.P. Dieterich,H.S. Cottrell,A., Conference Proceedings Sozialismus XXI, Berlin, pp 29-54 [More Details]. Open Interface Workshop: The Challenges of Engineering Multimodal Interaction McGee-Lennon,M.R. Denef,S. Gray,P. Nigay,L., DCS Technical Report Series, pp 56, Dept of Computing Science, University of Glasgow [More Details]. Packet Loss Characteristics of IPTV-like Traffic on Residential Links Ellis,M. Perkins,C., CCNC 2010: Proceedings of the 7th Annual IEEE Consumer Communications & Networking Conference, Workshop on Emerging Internet Video Technologies, IEEE [More Details]. Popular matchings in the Marriage and Roommates problems Biro,P. Irving,R.W. Manlove,D.F., Proceedings of CIAC 2010: the 7th International Conference on Algorithms and Complexity, Lecture Notes in Computer Science, Springer [More Details]. Popular Matchings in the Weighted Capacitated House Allocation Problem Sng,C.T.S. Manlove,D.F., Journal of Discrete Algorithms, volume 8, pp 102-116, Elsevier Science [More Details]. Practical Applications of Probabilistic Model Checking to Communication Protocols Duflot,M. Kwiatkowska,M. Norman,G. Parker,D. Peyronnet,S. Picaronny,C. Sproston,J., S. Gnesi and T. Margaria (editors) FMICS Handbook on Industrial Critical Systems, IEEE Computer Society Press [More Details]. Predictive response-relevant clustering of expression data provides insights into disease processes Hopcroft,L.E. McBride,M.W. Harris,K. Sampson,A.K. McClure,J.D. Graham,D. Young,G. Holyoake,T.L. Girolami,M.A. Dominiczak,A.F., Nucleic Acids Research [More Details]. Probabilistic Model Checking for Systems Biology Kwiatkowska,M. Norman,G. Parker,D., Symbolic Systems Biology [More Details]. Process Algebra with Hooks for Models of Pattern Formation Degasperi,A. Calder,M., To appear in Proceedings of CS2Bio, Elsevier Science [More Details]. Protein Interaction Detection in Sentences via Gaussian Processes: A preliminary evaluation Polajnar,T. Rogers,S. Girolami,M., International Journal of Data Mining and Bioinformatics [More Details]. Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration Calder,M. Degasperi,A., Proceedings of CS2BIO 2010, Elsevier Science [More Details]. Size versus stability in the Marriage problem Biro,P. Manlove,D.F. Mittal,S., Theoretical Computer Science, volume 411, pp 1828-1841, Elsevier Science [More Details]. Stable matching with couples -- an empirical study Biro,P. Irving,R.W., DCS Technical Report Series, pp 25, Dept of Computing Science, University of Glasgow [More Details]. Stochastic Process Algebra with Hooks for Models of Pattern Formation Degasperi,A. Calder,M., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Technical Report: A Study of Ranking Paradigms and Their Integrations for Subtopic Retrieval Leelanupab,T. Zuccon,G. Jose,J.M., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Trade-Offs between Latency, Complexity, and Load Balancing with Multicast Algorithms Al Dubai,A.Y. Ould Khaoua,M. Mackenzie,L.M., IEEE Transactions on Computers, Volume 59, pp 159-173, IEEE Computer Society Press [More Details]. Triangle Packing with Constraint Programming Prosser,P., 9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010), pp 1-15 [More Details]. TV news story segmentation based on semantic coherence and content similarity Misra,H. Hopfgartner,F. Goyal,A. Punitha,P. Jose,J.M., The 16th International Conference on Multimedia Modeling [More Details]. Understanding Signalling Networks as Collections of Signal Transduction Pathways Donaldson,R. Talcott,C. Knapp,M. Calder,M., ACM [More Details]. Unsupervised clustering in Hough space for recognition of multiple instances of the same object in a cluttered scene Aragon-Camarasa,G. Siebert,J.P., Pattern Recognition Letters, in press, Elsevier Science [More Details]. Using the Quantum Probability Ranking Principle to Rank Interdependent documents Zuccon,G. Azzopardi,L., Advances in Information Retrieval, 32nd European Conference on Information Retrieval (ECIR 2010), Springer Verlag [More Details]. Verification of a Symmetry Detection Technique using PVS Ripon,S. Miller,A., Proceedings of the 10th International Conference on Automated Verification of Critical Systems (AVOCS'10) [More Details]. Von Mises Kantorovich and in-natura calculation Cockshott,w.p., Intervention, European Journal of Economics and Economic Policies, pp 167-200 [More Details]. What's up Prof? Current Issues in the Visual Effects and Postproduction Industry Dodgson,N. Patterson,J. Willis,P., Leonardo, Vol 43 Issue 1, MIT Press [More Details]. 2009"Automatic topic detection strategy for information retrieval in spoken documentsJin,S. Misra,H. Sikora,T. Jose,J.M., 10th International Workshop on Image Analysis for Multimedia Interactive Services [More Details]. A Clinical Grid Infrastructure Supporting Adverse Hypotensive Event Prediction Stell,A.J. Sinnott,R.O. Jiang,J. Piper,I., HealthGrid workshop, CCGrid 2009, Shanghai, China, May 2009. [More Details]. A Communication Model of Broadcast in Wormhole-Routed Networks-on-Chip Moadeli,M. Vanderbauwhede,W., The IEEE 23rd International Conference on Advanced Information Networking and Applications (AINA-09), pp 315-322 [More Details]. A Hierarchy of Visual Behaviours in an Active Binocular Robot Head Aragon-Camarasa,G. Siebert,J.P., Towards Autonomous Robotic Systems, TAROS 2009, University of Ulster, Derry, August 31st - September 2nd, 2009, pp 88-95 [More Details]. A Low Cost Reconfigurable Soft Processor for Multimedia Applications: Design Synthesis and Programming Model Chalamalasetti,S. Vanderbauwhede,W. Purohit,S. Margala,M., 19th IEEE International Conference on Field Programmable Logic and Applications (FPL09), pp 534-538, IEEE [More Details]. A performance model of multicast communication in wormhole-routed networks on-chip Moadeli,M. Vanderbauwhede,W., IEEE International Symposium on Parallel & Distributed Processing, 2009. IPDPS 2009., pp 1-8, IEEE [More Details]. A Semantic Embedding of Promela-Lite in PVS Ripon,S. Miller,A. Donaldson,D., Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS'09) [More Details]. A Simulated Evaluation of Image Browsing Using High-Level Classi cation Leelanupab,T. Feng,Y. Stathopoulos,V. Jose,J.M., 4th International Conference on Semantic and Digital Media Technologies, SAMT 2009 [More Details]. A Stakeholder Centered Exploration of the Current Barriers to the Uptake of Home Care Technology in the UK Clark,J.S. McGee-Lennon,M.R., DCS Technical Report Series, pp 1-24, Dept of Computing Science, University of Glasgow [More Details]. A study of exchange interactions in alkali molecular ion dimers with application to charge transfer in cold Cs Jamieson,M.J. Dalgarno,A. Aymar,M. Tharamel,J., Journal of Physics B: Atomic, Molecular and Optical Physics 42, pp 095203 [More Details]. A Study of Selective Collection Enrichment for Enterprise Search Peng,J. Macdonald,C. He,B. Ounis,I., In Proceedings of the ACM Conference on Information and Knowledge Management (CIKM 2009), November 2-6, 2009, Hong Kong., ACM Press [More Details]. A Theory of Contracs for Web Services Castagna,G. Gesbert,N. Padovani,L., ACM Transactions on Programming Languages and Systems, Vol. 31, No 5., pp 19:1-19:61, ACM Press [More Details]. Accelerating Bayesian Inference over Nonlinear Differential Equations with Gaussian Processes Calderhead,B. Girolami,M. Lawrence,N., Advances in Neural Information Processing Systems 21 (2009), pp 217-224, MIT Press [More Details]. AIR 2008: Second International Workshop on Adaptive Information Retrieval Joho,H. Hopfgartner,F. Jose,J.M. van Rijsbergen,C.J., SIGIR Forum, 43 (1), pp 55-58 [More Details]. An Analogy between the Double Slit Experiment and Document Ranking Zuccon,G., FDIA 2009 [More Details]. An Architecture for Life-long User Modelling Elliott,D. Hopfgartner,F. Leelanupab,T. Moshfeghi,Y. Jose,J.M., LLUM'09 - Proceedings of the Lifelong User Modelling Workshop, Trento, Italy, pp 9-16 [More Details]. An aspectual interface for supporting complex search tasks Villa,R. Cantador,I. Joho,H. Jose,J., Proceedings of the 32nd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR 2009), ACM [More Details]. An Improved Rebroadcast Probability Function for an Efficient Counter-Based Broadcast Scheme in MANETs Mohammed,A. Ould-Khaoua,M. Mackenzie,L.M., 25th Annual UK Performance Engineering Workshop (UKPEW’09) [More Details]. An inductive technique for parameterised model checking of degenerative distributed randomised protocols Graham,D. Calder,M. Miller,A., ENTCS, volume 250(1), pp 87-103, Electronic Notes in Theoretical Computer Science [More Details]. An Introduction to 3D Computer Vision Techniques and Algorithms Cyganek,B. Siebert,J.P., Published by WileyBlackwell, pp 504, Wiley [More Details]. Application and Evaluation of Multi-Dimensional Diversity Leelanupab,T. Halvey,M. Jose,J.M., Corfu, Greece [More Details]. Architectural Comparison of Instruments for Transaction Level Monitoring of FPGA-Based Packet Processing Systems McKechnie,P. Blott,M. Vanderbauwhede,W., 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines (FCCM09), pp 175-182, IEEE [More Details]. Architectural Design Patterns for Security-oriented Workflows in the Social Science Domain Sinnott,R.O. Hussain,S., Proceedings of International Conference on e-Social Science, Cologne, Germany, May 2009. [More Details]. Aspect-based Video Browsing - A User Study Hopfgartner,F. Urruty,T. Hannah,D. Elliott,D. Jose,J.M., ICME'09 - Proceedings of the IEEE International Conference on Multimedia and Expo, New York, USA, pp 946-949, IEEE [More Details]. Audio-visual Feature Aggregation for Query Generation Ren,R. Halvey,M. Jose,J.M., ICME 2009, IEEE Computer Society Press [More Details]. Automated Instrumentation of FPGA-based Systems for System-level Transaction Monitoring McKechnie,P. Blott,M. Vanderbauwhede,W., International Symposium on System-on-Chip - SoC '09, IEEE [More Details]. Bayesian Methods to Detect Dye Labelled DNA Oligonucleotides in Multiplexed Raman Spectra Zhong,M. Girolami,M. Faulds,K. Graham,D., pp 20 [More Details]. Bayesian Mixture Hierarchies for Automatic Image Annotation Stathopoulos,V. Jose,J.M., European Conference on Information Retrieval, Springer [More Details]. Browsing Recommendation based on the Intertemporal Choice Model Azman,A. Ounis,I., In Proceedings of the 8th International Flexible Query Answering Systems (FQAS 2009) Conference, Roskilde, Denmark, October 2009. LNAI., Springer [More Details]. Can RDB2RDF Tools Feasibly Expose Large Science Archives for Data Integration? Gray,A. Gray,N. Ounis,I., In Proceedings of ESWC'09. Heraklion, Greece, 2009, LNCS, Springer [More Details]. Cantor diagonalisation and planning Cockshott,W.P. Michaelson,G.J. Cottrell,A., Journal of Unconventional Computing, pp :223-236 [More Details]. Class Prediction from Disparate Biological Data Sources using an Iterative Multi-kernel Algorithm Ying,Y. Campbell,C. Damoulas,T. Girolami,M.A., Lecture Notes in Bioinformatics, Proceedings of the 4th IAPR International Conference, Pattern Recognition in Bioinformatics 2009 (PRIB 2009), pp 427-438, Springer Verlag [More Details]. Classical Econophysics Cockshott,W.P. Michaelson,G.J. Cottrell,A. Wright,I. Yakovenko,V., pp 364, Routledge [More Details]. Classification of Protein Interaction Sentences via Gaussian Processes Polajnar,T. Rogers,S. Girolami,M., Lecture Notes in Bioinformatics, Proceedings of 4th IAPR International Conference, Pattern Recognition in Bioinformatics 2009, pp 282–292, Springer Verlag [More Details]. Combining Feature Spaces for Classification Damoulas,T. Girolami,M.A., Pattern Recognition, Volume 42, Issue 11, pp 2671-2683, Elsevier Science [More Details]. Comparing Distributed Indexing: To MapReduce or Not? McCreadie,R. Macdonald,C. Ounis,I., In Proceedings of LSDS 2009, Boston, USA, July 2009., ACM Press [More Details]. Comparison of Balancing Techniques for Multimedia IR over Imbalanced Datasets Bermejo,P. Hopfgartner,F. Gámez,J.A. Puerta Callejón,J.M. Jose,J.M., ISCIS'09 - Proceedings of the 24th International Symposium on Computer and Information Sciences, Morphou, Cyprus [More Details]. Comparison of Feature Construction Methods for Video Relevance Prediction Lopez,P. Joho,H. Jose,J.M. Villar,R., Proceedings of the 15th International MultiMedia Modeling Conference (MMM2009), pp to appear [More Details]. Concept, Content and Convict Tuomola,M. Korpilahti,T. Pesonen,J. Singh,A. Villa,R. Punitha,P. Yue,F. Jose,J.M., ACM MultiMedia 2009, Interactive art program and exhibition track, Beijing, China [More Details]. Constraint Specification By Example in a Meta-CASE Tool Qattous,H., Foundations of Software Engineering Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium Amsterdam, The Netherlands, pp 13-16 [More Details]. Data Privacy by Design: Digital Infrastructures for Clinical Collaborations Sinnott,R.O. Ajayi,O. Stell,A.J., International Conference on Security and Privacy, Orlando, USA, July 2009. [More Details]. Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring McKechnie,P. Blott,M. Vanderbauwhede,W., Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems (LCTES09), pp 129-136, ACM [More Details]. Definition of Valid Proteomic Biomarkers: A Bayesian Solution Harris,K. Girolami,M. Mischak,H., Pattern Recognition In Bioinformatics 2009, Springer Verlag [More Details]. Design and implementation of the Quarc Network on-Chip Moadeli,M. Maji,P.P., IEEE International Symposium on Parallel & Distributed Processing, 2009. IPDPS 2009., pp 1-9, IEEE [More Details]. Design and implementation of the Quarc Network on-Chip Moadeli,M. Maji,P.P. Vanderbauwhede,W., IEEE International Symposium on Parallel & Distributed Processing, 2009. (IPDPS09-RAW)., pp 1 - 9, IEEE [More Details]. Developing energy efficient filtering systems Azzopardi,L. Vanderbauwhede,W. Moadeli,M., Proceedings of the 32nd international ACM SIGIR conference on Research and development in information retrieval (SIGIR09), pp 664-665, ACM [More Details]. Diversity, Assortment, Dissimilarity, Variety: A Study of Diversity Measures Using Low Level Features for Video Retrieval Halvey,M. Punitha,P. Hannah,D. Villa,R. Hopfgartner,F. Jose,J.M., ECIR'09 - 31st European Conference on Information Retrieval, Toulouse, pp 126-137, Springer Verlag [More Details]. Dynamic counter-based broadcast in MANETs Al-Humoud,S. Mackenzie,L. Vanderbauwhede,W., Proceedings of the 4th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, pp 84-88, ACM [More Details]. Dynamic interfaces Vasconcelos,V.T. Gay,S.J. Ravara,A. Gesbert,N. Caldeira,A.Z., FOOL'09, international workshop on foundations of object-oriented languages, pp 12 [More Details]. Enabling Cutting-edge Semiconductor Simulation through Grid Technology Reid,D. Sinnott,R.O. Millar,C. Roy,G. Roy,S. Stewart,G. Asenov,A., Journal of the Philosophical Transactions of the Royal Society A, May 2009. [More Details]. Enabling Quantitative Data Analysis through e-Infrastructures Tan,L. Lambert,P. Turner,K.J. Blum,J. Bowes,A. Bell,D. Gayle,V. Jones,S. Maxwell,M. Sinnott,R.O. Warner,G., Social Science Computer Review, January 2009 [More Details]. Energy relaxation in collisions of hydrogen and deuterium with oxygen atoms Zhang,P. Kharchenko,V. Dalgarno,A. Jamieson,M.J., Journal of Geophysical Research - Space Physics 114, pp A07101 [More Details]. Enlighten test3 Macneill,S.D. [More Details]. Eraser Lattices and Semantic Contents: An Exploration of the Semantic Contents in Order Relations between Erasers Huertas-Rosero,A.F. Azzopardi,L. van Rijsbergen,C.J., Lecture Notes in Artificial Intelligence Series: Lecture Notes in Computer Science, volume 5494, pp 266–275, Springer Verlag [More Details]. Estimating Bayes Factors via Thermodynamic Integration and Population MCMC Calderhead,B. Girolami,M., Computational Statistics and Data Analysis 53 (2009). DOI information: 10.1016/j.csda.2009.07.025, pp 4028-4045, Elsevier Science [More Details]. Evaluation of a mobile phone-based, advanced symptom management system (ASyMS©) in the management of chemotherapy-related toxicity Kearney,N. McCann,L. Norrie,J. Taylor,L. Gray,P. McGee-Lennon,M.R. Sage,M. Miller,M. Maguire,R., Supportive Care in Cancer, pp 437-444, Springer [More Details]. Facet-based Browsing in Video Retrieval: A Simulation-based Evaluation Hopfgartner,F. Urruty,T. Villa,R. Jose,J.M., Proceedings of the 15th International Conference on Multimedia Modeling, Sophia Antipolis, France, pp 472-483, Springer Verlag [More Details]. Federating Distributed Clinical Data for the Prediction of Adverse Hypotensive Events Stell,A.J. Sinnott,R.O. Piper,I. Jiang,J. Donald,R., Journal of the Philosophical Transactions of the Royal Society A, May 2009 [More Details]. Finding Good Feedback Documents He,B. Ounis,I., In Proceedings of the ACM Conference on Information and Knowledge Management (CIKM 2009), November 2-6, 2009, Hong Kong., ACM Press [More Details]. Finding large stable matchings Irving,R.W. Manlove,D.F., ACM Journal of Experimental Algorithmics, vol 14, section 1, article no. 2, pp 1-30, ACM [More Details]. Fitting Score Distribution for Blog Opinion Retrieval He,B. Peng,J. Ounis,I., In Proceedings of the 32nd Annual ACM SIGIR Conference, Boston, USA, July 2009., ACM Press [More Details]. Formal methods for biochemical signalling pathways Calder,M. Gilmore,S. Hillston,J. Vyshemirsky,V., Formal Methods: State of the Art and New Directions, Springer [More Details]. FPGA-Accelerated Information Retrieval: High-Efficiency Document Filtering Vanderbauwhede,W. Azzopardi,L. Moadeli,M., 19th IEEE International Conference on Field Programmable Logic and Applications (FPL09), pp 417-422 [More Details]. General Highlight Detection In Sport Videos Ren,R. Jose,J.M., 15th International Multimedia Modelling Conference, Springer [More Details]. HandiVote: Simple, Anonymous, and Auditable Electronic Voting Renaud,K. Cockshott,P., Journal of Information Technology & Politics, Volume 6, Issue 1, pp 60-80, Routledge [More Details]. Hilbert Space Models Commodity Exchanges Cockshott,W.P., Quantum Interaction, pp 299-307, Springer Verlag [More Details]. Impact of Device Variability in the Communication Structures for Future Synchronous SoC Designs ul Hassan,F. Cheng,B. Vanderbauwhede,W. Rodriguez,F., International Symposium on System-on-Chip - SoC '09, IEEE [More Details]. Inferring Meta-covariates in Classification Harris,K. Hopcroft,L.E. Girolami,M., Pattern Recognition In Bioinformatics 2009, Springer Verlag [More Details]. Infinite Factorization of Multiple Non-parametric Views Rogers,S.D. Klami,A. Sinkkonen,J. Girolami,M.A. Kaski,S., Machine Learning, Springer [More Details]. Integrating Proximity to Subjective Sentences for Blog Opinion Retrieval Santos,R. He,B. Macdonald,C. Ounis,I., In Proceedings of ECIR'09. Toulouse, France, 2009., LNCS, Springer [More Details]. Is Spam an Issue for Opinionated Blog Post Search? Macdonald,C. Ounis,I. Soboroff,I., In Proceedings of the 32nd Annual ACM SIGIR Conference, Boston, USA, July 2009., ACM Press [More Details]. Keeping Everyone Happy: Multiple Stakeholder Requirements for Home Care Technology McGee-Lennon,M.R. Gray,P., Proceedings of the 3rd International Conference on Pervasive Computing Technologies for Healthcare, April 2009. [More Details]. Language-level Symmetry Reduction for Probabilistic Model Checking Donaldson,A.F. Miller,A. Parker,D., Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09), pp 289-298, IEEE Computer Society Press [More Details]. Learning Bayesian Network Equivalence Classes with Ant Colony Optimization Daly,R. Shen,Q., Journal of Artificial Intelligence Research, pp 391--447, AAAI Press [More Details]. Learning Bayesian Networks: Approaches and Issues Daly,R. Shen,Q. Aitken,S., The Knowledge Engineering Review, Cambridge University Press [More Details]. Local Feature Extraction and Matching on Range Images: 2.5D SIFT Lo,T.W.R. Siebert,J.P., Computer Vision and Image Understanding (2009), doi: 10.1016/j.cviu.2009.06.005, Elsevier Science [More Details]. MAW: A Reliable Lightweight Multi-hop Wireless Sensor Network Routing Protocol Patel,K. Chern,L.J. Bleakley,C.J. Vanderbauwhede,W., 2009 International Conference on Computational Science and Engineering, pp 487-493, IEEE [More Details]. Maximum weight cycle packing in directed graphs, with application to kidney exchange programs Biro,P. Manlove,D.F. Rizzi,R., Discrete Mathematics, Algorithms and Applications, volume 1, number 4, pp 499-517, World Scientific [More Details]. Maximum weight cycle packing in optimal kidney exchange programs Biro,P. Manlove,D.F. Rizzi,R., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Monitoring in Neurocritical Care Enblad,P. Piper,I. Sinnott,R.O., International Journal of Information Processing, Data Acquisition and Storage, Computers, Engineering and the future (Section VII), eds. Le Roux, Levine, Kofke, 2009. [More Details]. MORA – An Architecture and Programming Model for a Resource Efficient Coarse Grained Reconfigurable Processor Chalamalasetti,S. Purohit,S. Margala,M. Vanderbauwhede,W., 2009 NASA/ESA Conference on Adaptive Hardware and Systems (AHS09) [More Details]. Movie Recommender: Semantically Enriched Unified Relevance Model for Rating Prediction in Collaborative Filtering Moshfeghi,Y. Agarwal,D. Piwowarski,B. Jose,J.M., ECIR '09: European Conference on Information Retrieval, Springer [More Details]. Non-parametric video shot boundary detection inspired by corner detection Punitha,P. Jose,J.M., 4th International Conference on Semantic and Digital Media Technologies, SAMT 2009, Graz, Austria [More Details]. On Perfect Document Rankings for Expert Search. Macdonald,C. Ounis,I., In Proceedings of the 32nd Annual ACM SIGIR Conference, Boston, USA, July 2009., ACM Press [More Details]. On Single-Pass Indexing with MapReduce. McCreadie,R. Macdonald,C. Ounis,I., In Proceedings of the 32nd Annual ACM SIGIR Conference, Boston, USA, July 2009., ACM Press [More Details]. On Social Networks and Collaborative Recommendation Konstas,I. Stathopoulos,V. Jose,J.M., 32nd Annual ACM SIGIR conference, ACM [More Details]. On the constructive orbit problem Donaldson,A. Miller,A., Annals of Mathematics and Artificial Intelligence, pp 1-102, Springer [More Details]. On the Performance of Traffic Locality Oriented Route Discovery Algorithm with Delay AL-Rodhaan,M. Mackenzie,L.M. Ould-Khaoua,M., Accepted for publication in the International Journal of Communications, Network and System Sciences (IJCNS),Scientific Research Publishing, California, USA, Volume 2, Number 3,, pp 203--210 [More Details]. On User Modelling for Personalised News Video Recommendation Hopfgartner,F. Jose,J.M., UMAP'09 - Proceedings of the Seventeenth International Conference on User Modeling, Adaptation, and Personalization, Trento, Italy, pp 403-408, Springer Verlag [More Details]. Overview of the TREC Blog Track 2008 Ounis,I. Macdonald,C. Soboroff,I., In Proceedings of TREC Conference. Gaithersburg, Maryland, USA, 2009., National Institute of Standards and Technology [More Details]. Performance Analysis of an Adaptive Probabilistic Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks Mohammed,A. Ould-Khaoua,M. Mackenzie,L.M. Abdulai,J., International Journal of Simulation Systems Science and Technology, Volume 10 (1), pp xx [More Details]. Popular matchings in the Marriage and Roommates problems Biro,P. Irving,R.W. Manlove,D.F., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Popular matchings: structure and algorithms McDermid,E. Irving,R.W., Proceedings of COCOON 2009, 15th Annual International Computing and Combinatorics Conference, Niagara Falls USA, July 2009, Lecture Notes in Computer Science vol. 5609, pp 506-515, Springer [More Details]. Predicting the Usefulness of Collection Enrichment for Enterprise Search Peng,J. He,B. Ounis,I., In Proceedings of the 2nd International Conference on the Theory of Information Retrieval (ICTIR 2009), Cambridge, UK, September 2009. LNCS., Springer [More Details]. Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems Miller,A. Calder,M., Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS'08). Electronic Notes in Computer Science vol 250(2), pp 1-2, Elsevier Science [More Details]. Probabilistic assignment of formulas to mass peaks in metabolomics experiments Rogers,S. Scheltema,R. Girolami,M.A. Breitling,R., Bioinformatics, 25(4), pp 512--518, Oxford University Press [More Details]. Probabilistic Counter-Based Route Discovery for Mobile Ad hoc Networks Mohammed,A. Ould-Khaoua,M. Mackenzie,L.M. Perkins,C. Abdulai,J., Proceedings of the 5th International Wireless Communication and Mobile Computing Conference (IWCMC 2009), pp 1335 - 1339, ACM [More Details]. Process algebra modelling styles for biomolecular processes Calder,M. Hillston,J., Transactions on Computational Systems Biology XI, LNBI 5750, pp 1-25, Springer Verlag [More Details]. Programming Model and Low-level Language for a Coarse-Grained Reconfigurable Multimedia Processor Vanderbauwhede,W. Margala,M. Chalamalasetti,S. Purohit,S., 2009 International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA'09), pp 195-201, CSREA Press [More Details]. PYRAMIDAL MULTI-VIEW PBR A Point-Based Algorithm for Multi-view Multi-resolution Rendering of Large Data Sets from Range Images Farooq,S. Siebert,J.P., GRAPP2009 - The International Joint Conference on Computer Vision, Imaging and ComputerGraphics Theory and Applications [More Details]. Quarc: a High-Efficiency Network on-Chip Architecture Moadeli,M. Maji,P.P. Vanderbauwhede,W., The IEEE 23rd International Conference on Advanced Information Networking and Applications (AINA-09), pp 99-105, IEEE [More Details]. Query Generation From Multiple Media Examples Ren,R. Jose,J.M., the 7th International Workshop on Content-Based Multimedia Indexing, pp 138-143, IEEE Computer Society Press [More Details]. Recognition Primed Decision Making and the Organisational Response to Accidents: Ueberlingen and the Challenges of Safety Improvement in European Air Traffic Management Johnson,C.W. Kirwan,B. Licu,A. Statsny,P., Safety Science, 47, pp 853-872 [More Details]. Reconstructing Vectorised Photographic Images Patterson,J.W. Taylor,C.D. Willis,P.J., CVMP 2009, IEEE Computer Society Press [More Details]. Reversible Jump MCMC for Non-Negative Matrix Factorization Zhong,M. Girolami,M., In D. Dyk and M. Welling, editors, Proceedings of the 12th International Conference on Artificial Intelligence and Statistics, volume 5, pages 663-670, 2009, pp 8 [More Details]. Revisiting IR techniques for collaborative search strategies Joho,H. Hannah,D. Jose,J.M., Advances in Information Retrieval, 31st European Conference on Information Retrieval (ECIR'09), pp to appear, Springer [More Details]. Riemannian Manifold Hamiltonian Monte Carlo Girolami,M. Calderhead,B. Chin,S., DCS Technical Report Series, pp 35, Dept of Computing Science, University of Glasgow [More Details]. SALERO Intelligent Media Annotation and Search Weiss,W. Buerger,T. Villa,R. Punitha,P. Halb,W. [More Details]. Searching and Exploring Controlled Vocabularies Gray,A. Gray,N. Ounis,I., In Proceedings of the ESAIR'09. Barcelona, Spain, 2009., ACM [More Details]. Selective Application of Query-independent Features in Web Information Retrieval Peng,J. Ounis,I., In Proceedings of ECIR'09. Toulouse, France, 2009., LNCS, Springer [More Details]. Self-Correction of 3D Reconstruction from Multi-view Stereo Images JU,X. Siebert,J.P., The 2009 IEEE International Workshop on 3-D Digital Imaging and Modeling,October 3-4, 2009 Kyoto, Japan.(held in conjunction with ICCV 2009) [More Details]. Semantic Embedding of Promela-lite in PVS Ripon,S. Miller,A., Proceedings of the 16th Workshop on Automated reasoning [More Details]. Semantic Security: Specification and Enforcement of Semantic Policies for Security-driven Collaborations Sinnott,R.O. Doherty,T. Gray,N. Lusted,J., Proceedings of 7th HealthGrid Conference, Berlin, Germany, July 2009. [More Details]. Semantic Spaces: Measuring the Distance between Subspaces Zuccon,G. Azzopardi,L. van Rijsbergen,C.J., QI 2009, LNAI 5494, LNCS, Springer [More Details]. Semi-Parametric Analysis of Multi-Rater Data Rogers,S. Girolami,M. Polajnar,T., Statistics and Computing, Springer [More Details]. Semi-supervised Prediction of Protein Interaction Sentences Exploiting Semantically Encoded Metrics Polajnar,T. Girolami,M., Lecture Notes in Bioinformatics, Proceedings of the 4th IAPR International Conference, Pattern Recognition in Bioinformatics 2009, pp 270–281, Springer Verlag [More Details]. SIFT Keypoint Descriptors for Range Image Analysis Lo,T.W.R. Siebert,J.P., Annals of the BMVA, Vol. 2008, Number 3, pp 1-17 [More Details]. Simulated Evaluation of Faceted Browsing based on Feature Selection Hopfgartner,F. Urruty,T. Bermejo Lopez,P. Villa,R. Jose,J.M., Multimedia Tools and Applications: Special Issue on Emerging Multimedia Applications, Springer Verlag [More Details]. Size versus stability in the Marriage problem Biro,P. Manlove,D.F. Mittal,S., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. Size versus stability in the Marriage problem Biro,P. Manlove,D.F. Mittal,S., Proceedings of WAOA 2008: the 6th Workshop on Approximation and Online Algorithms, volume 5426 of Lecture Notes in Computer Science, pp 15-28, Springer [More Details]. Socio-Technical Approaches to Risk Assessment in National Critical Infrastructures Johnson,C.W., Risk Management, Volume 11, Number 3, pp 155-159 [More Details]. Spatial Data e-Infrastructure Higgins,C. Sinnott,R.O. Koutroumpas,M. Watt,J. Hume,A. Turner,A.G.D., Proceedings of International Conference on e-Social Science, Cologne, Germany, May 2009. [More Details]. Split and Merge based Story Segmentation in News Videos Goyal,A. Punitha,P. Hopfgartner,F. Jose,J.M., ECIR'09 - 31st European Conference on Information Retrieval, pp 766-770, Springer Verlag [More Details]. Stable Marriage with Ties and Bounded Length Preference Lists Irving,R.W. Manlove,D.F. O'Malley,G., Journal of Discrete Algorithms, volume 7, pp 213-219, Elsevier Science [More Details]. Statement-based Semantic Annotation in Media Productions Weiss,W. Burger,T. Villa,R. Punitha,P. Halb,W., International Conference on Semantic and Digital Media Technologies, SAMT 2009, Graz, Austria. [More Details]. Studying Query Expansion Effectiveness He,B. Ounis,I., In Proceedings of ECIR'09. Toulouse, France, 2009., LNCS, Springer [More Details]. Supporting Aspect-Based Video Browsing -- Analysis of a User Study Urruty,T. Hopfgartner,F. Hannah,D. Elliott,D. Jose,J.M., CIVR'09 - Proceedings of the ACM International Conference on Image and Video Retrieval, Santorini, Greece, pp 74-81, ACM Press [More Details]. Supporting Security-oriented, Inter-disciplinary Research: Crossing the Social, Clinical and Geospatial Domains Sinnott,R.O. Doherty,T. Higgins,C. Lambert,P. McCafferty,S. Stell,A.J. Turner,K.J. Watt,J., Proceedings of International Conference on e-Social Science, Cologne, Germany, May 2009. [More Details]. S-wave and p-wave scattering in a cold gas of Na and Rb atoms Ouerdane,H. Jamieson,M.J., European Physical Journal D 53, pp 27 [More Details]. Symmetry Reduction of Partially Symmetric Systems Power,C. Miller,A., Proceedings of the 16th Workshop on Automated Reasoning [More Details]. Temporal Attention Estimation For General Sports Video Highlight Detection Jose,J.M., 15th International Multimedia Modelling Conference, pp 39-52, Springer [More Details]. Text segmentation via topic modeling: An analytical study Misra,H. Yvon,F. Jose,J.M. Cappe,O., The 18th ACM Conference on Information and Knowledge Management, pp 1553--1556 [More Details]. The College Admissions problem with lower and common quotas Biró,P. Fleiner,T. Irving,R.W. Manlove,D.F., DCS Technical Report Series, pp 1-30, Dept of Computing Science, University of Glasgow [More Details]. The Influence of the Document Ranking in Expert Search Macdonald,C. Ounis,I., In Proceedings of the 18th ACM Conference on Information and Knowledge Management (CIKM 2009), November 2-6, 2009, Hong Kong., ACM Press [More Details]. The Interation Between Safety Culture and Degraded Modes: A Survey of National Infrastructures for Air Traffic Management Johnson,C.W. Kirwan,B. Licu,A., Risk Management, Volume 11, Number 3, pp 241-284 [More Details]. The Quantum Probability Ranking Principle for Information Retrieval Zuccon,G. Azzopardi,L., ICTIR 2009 - Second International Conference on the Theory of Information Retrieval, pp 232-240, Springer Verlag [More Details]. The University of Glasgow at ImageClefPhoto 2009 Zuccon,G. Leelanupab,T. Goyal,A. Halvey,M. Punitha,P. Jose,J.M., Corfu, Greece [More Details]. Tightly coupled verification of pervasive systems Calder,M. Gray,P.D. Unsworth,C., Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009) [More Details]. Topic Prerogative Feature Selection using Multiple Query Examples for Automatic Video Retrieval Punitha,P. Jose,J. Goyal,A., pp 804-805 [More Details]. Toward an Adaptive Video Retrieval System Hopfgartner,F. Jose,J.M., Advances in Semantic Media Adaptation and Personalization, pp 113-135, CRC Press [More Details]. Towards a Unified Visual Framework in a Binocular Active Robot Vision System Aragon-Camarasa,G. Fattah,H. Siebert,J.P., Journal of Robotics and Autonomous Systems, Special Issue: TAROS 2008, Elsevier Science [More Details]. Towards a Virtual Research Environment for Paediatric Endocrinology across Europe Jiang,J. Sinnott,R.O. Stell,A.J. Ahmed,F. Hiort,O., HealthGrid workshop, CCGrid 2009, Shanghai, China, May 2009. [More Details]. Towards the Verification of Pervasive Systems Arapinis,M. Calder,M. Denis,L. Fisher,M. Gray,P. Konur,S. Miller,A. Ritter,E. Ryan,M. Schewe,S. Unsworth,C. Yasmin,R., Proceedings of Third International Workshop on Formal Methods in Interactive Systems (FMIS 2009). Electronic Communications of the EASST. [More Details]. Towards Verifying Correctness of Wireless Sensor Network Applications using Insense and Spin Sharma,O. Lewis,J. Miller,A. Dearle,A. Balasubramaniam,D. Morrison,R. Sventek,J., Proceedings of the 16th Spin workshop (Spin'09), Lecture Notes in Computing Science 5758, pp 223--240, Springer [More Details]. Traffic Locality Oriented Route Discovery Algorithm with Chase Packets for Mobile Ad Hoc Networks AL-Rodhaan,M. Mackenzie,L.M. Ould-Khaoua,M., The 2009 International Conference on Wireless Networks (ICWN'09), USA, July 13-16, 2009. [More Details]. Traffic Locality Oriented Route Discovery Algorithm with Delay Al-Rodhaan,M. Mackenzie,L.M. Ould-Khaoua,M., Accepted for publication in the International Journal of Computers and Their Applications (IJCA), pp 21 [More Details]. University of Glasgow at ImageCLEF 2009 Leelanupab,T. Zuccon,G. Goyal,A. Halvey,M. Punitha,P. Jose,J.M. [More Details]. Usefulness of Click-through data in Expert Search. Macdonald,C. White,R., Proceedings of the 32nd Annual ACM SIGIR Conference, pp 816-817, ACM Press [More Details]. Usefulness of Quality Click-through Data for Training Macdonald,C. Ounis,I., In Proceedings of WSCD'09, Barcelona, Spain, 2009, ACM [More Details]. User centred evaluation of a recommendation based image browsing system Leelanupab,T. Hopfgartner,F. Jose,J.M., 4th Indian International Conference on Artificial Intelligence, Tumkur, India [More Details]. User Configuration of Activity Awareness McBryan,T. Gray,P., Proceedings of IWANN '09, pp 748--751, Springer Verlag [More Details]. User evaluation of OIDE: a rapid prototyping platform for multimodal interaction McGee-Lennon,M.R. Ramsay,A. McGookin,D. Gray,P., Proceedings of EICS '09, pp 237--242, Association of Computing Machinery [More Details]. User Variance and its impact on Video Retrieval Benchmarking Wilkins,P. Byrne,D. Smeaton,A. Troncy,R. Amin,A. Halvey,M. Punitha,P. Villa,R. [More Details]. Using Higher-Order Dynamic Bayesian Networks to Model Periodic Data from the Circadian Clock of Arabidopsis Thaliana Daly,R. Edwards,K.D. O'Neill,J.S. Aitken,S. Millar,A.J. Girolami,M., Proceedings of the Fourth IAPR International Conference on Pattern Recognition in Bioinformatics (PRIB 2009), pp 67--78, LNCS, Springer [More Details]. Vertex and edge covers with clustering properties: complexity and algorithms Fernau,H. Manlove,D.F., Journal of Discrete Algorithms, volume 7, number 2, pp 149-167, Elsevier Science [More Details]. XenoContiki Harvey,P., DCS Technical Report Series, pp 1-70, Dept of Computing Science, University of Glasgow [More Details]. 2008A 3/2-approximation algorithm for general stable marriageMcDermid,E., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. A Case Study in Model-driven Synthetic Biology Gilbert,D.R. Heiner,M. Rosser,S. Fulton,F. Gu,X. Trybilo,M., Biologically Inspired Cooperative Computing: BICC 2008, IFIP [More Details]. A Cluster-based Simulation of Facet-based Search Hopfgartner,F. Jose,J.M., JCDL'08 - Proceedings of the Joint Conference on Digital Libraries [More Details]. A Cluster-based Simulation of Facet-based Search Urruty,T. Hopfgartner,F. Villa,R. Gildea,N. Jose,J.M., JCDL'08 - Proceedings of the Joint Conference on Digital Libraries, pp 472, ACM Press [More Details]. A Coarse-Grained Dynamically Reconfigurable MAC Processor for Power-Sensitive Multi-Standard Devices Nabi,S.W. Vanderbauwhede,W. Wells,C.C., 21st International SOC Conference [More Details]. A Content-Adaptive Method for Fractional Image Rescaling Based On Constrained Seam Carving Xiao,Y. Siebert,J.P. Cockshott,W.P., IAENG International Conference on Imaging Engineering 2008 [More Details]. A Dynamically Reconfigurable Hardware Co-Processor for a Multi-Standard Wireless MAC Processor Nabi,S.W. Vanderbauwhede,W. Wells,C.C., NASA/ESA Conference on Adaptive Hardware and Systems, pp 368-375, IEEE Computer Society Press [More Details]. A Formal Semantics for Control and Data flow in the Gannet Service-based System-on-Chip Architecture Vanderbauwhede,W., The International Conference on Engineering of Reconfigurable Systems and Algorithms, ERSA 2008 [More Details]. A Formalization of Logical Imaging for Information Retrieval using Quantum Theory Zuccon,G. Azzopardi,L. van Rijsbergen,C.J., IEEE proceedings of the 5th International Workshop on Text-based Information Retrieval, IEEE [More Details]. A Grouping Interface for Video Search Halvey,M. Jose,J.M., 3rd International Conference on Semantic and Digital Media Technologies, SAMT 2008 [More Details]. A Hardware Relaxation Paradigm for Solving NP-Hard Problems Cockshott,W.P. Koltes,A. O'Donnell,J.T. Prosser,P. Vanderbauwhede,W., Visions of Computer Science, BCS International Academic Research Conference, pp 1-12 [More Details]. A Hybrid Approach for Classification Based Multimedia Retrieval Feng,Y. Jose,J., 3rd international conference on Semantic and Digital Media Technologies, Koblenz, Germany [More Details]. A Language Modeling Framework for Expert Search Balog,K. Azzopardi,L. de Rijke,M., Information Processing & Management [More Details]. A Mobility Analysis of Adjusted Counter-Based Broadcast in MANETs Al-Humoud,S. Mackenzie,L. Ould-Khaoua,M. Abdulai,J., The 9th Annual PostGraduate Symposium on the Convergence of Telecommunications, Networking and Broadcasting, (PGNET 2008), Liverpool John Moores University, UK, 23-24 June 2008. UK, pp 51-62 [More Details]. A Model-Based Approach to Supporting Configuration in Ubiquitous Systems McBryan,T. Gray,P.D., Proceedings of DSV-IS 2008 (Design, Specification and Verification of Interactive Systems 2008), Kingston, Ontario, Candada., pp 167-180, LNCS, Springer [More Details]. A Monte Carlo Model Checker for Probabilistic LTL with Numerical Constraints Donaldson,R. Gilbert,D., DCS Technical Report Series, Dept of Computing Science, University of Glasgow [More Details]. A New Modelling Approach of Wormhole-Switched Networks with Finite Buffers Alzeidi,N. Ould-Khaoua,M. Khonsari,A., To appear in International Journal of Parallel, Distributed, and Emergent Systems, 2008. [More Details]. A Performance Model of Communication in the Quarc NoC Moadeli,M. Vanderbauwhede,W. |
Departmental Research Publications
| People Finder: |
Computing Science is a member of the Faculty of Information and Mathematical Sciences