Browse by Academic Unit (A-Z)

Article

Aboulker, P, Charbit, P, Trotignon, N et al. (1 more author) (2015) Vertex elimination orderings for hereditary graph classes. Discrete Mathematics, 338 (5). 825 - 834. ISSN 0012-365X

Aboulker, P, Radovanovic, M, Trotignon, N et al. (2 more authors) (2013) Linear balanceable and subcubic balanceable graphs. Journal of Graph Theory. ISSN 0364-9024

Aboulker, P, Radovanović, M, Trotignon, N et al. (1 more author) (2012) Graphs that do not contain a cycle with a node that has at least two neighbors on it. SIAM Journal on Discrete Mathematics, 26 (4). 1510 - 1531. ISSN 0895-4801

Abu-Khzam, FN, Feghali, C and Muller, H (2015) Partitioning a graph into disjoint cliques and a triangle-free graph. Discrete Applied Mathematics, 190-19. 1 - 12. ISSN 0166-218X

Adler, H and Adler, I (2014) Interpreting nowhere dense graph classes as a classical notion of model theory. European Journal of Combinatorics, 36. pp. 322-330. ISSN 0195-6698

Adler, I, Farley, AM and Proskurowski, A (2014) Obstructions for linear rank-width at most 1. Discrete Applied Mathematics, 168. pp. 3-13. ISSN 0166-218X

Adler, I and Kante, MM (2015) Linear rank-width and linear clique-width of trees. Theoretical Computer Science, 589. pp. 87-98. ISSN 0304-3975

Adler, I, Kolliopoulos, SG and Thilikos, DM (2016) Planar Disjoint-Paths Completion. Algorithmica, 76 (2). pp. 401-425. ISSN 0178-4617

Alsoghayer, R and Djemame, K (2014) Resource failures risk assessment modelling in distributed environments. Journal of Systems and Software, 88. 42 - 53. ISSN 0164-1212

Armstrong, D, Espling, D, Tordsson, J et al. (2 more authors) (2015) Contextualization: dynamic configuration of virtual machines. Journal of Cloud Computing, 4 (17). pp. 1-15. ISSN 2192-113X

Beyersdorff, O, Datta, S, Krebs, A et al. (5 more authors) (2013) Verifying proofs in constant depth. ACM Transactions on Computation Theory (TOCT), 5 (1). 2. ISSN 1942-3454

Beyersdorff, O, Galesi, N and Lauria, M (2013) Parameterized complexity of DPLL search procedures. ACM Transactions on Computational Logic, 14 (3). 20. ISSN 1529-3785

Beyersdorff, O, Galesi, N and Lauria, M (2013) A characterization of tree-like resolution size. Information Processing Letters, 113 (18). 666 - 671. ISSN 0020-0190

Beyersdorff, O, Galesi, N, Lauria, M et al. (1 more author) (2012) Parameterized Bounded-Depth Frege Is not Optimal. ACM Transactions on Computation Theory, 4 (3). 7.1 - 7.16 . ISSN 1942-3454

Beyersdorff, O, Meier, A, Mundhenk, M et al. (3 more authors) (2011) Model Checking CTL is Amost Always Inherently Sequential. Logical Methods in Computer Science, 7 (2). ISSN 1860-5974

Brucker, P and Shakhlevich, NV (2011) Inverse scheduling: two machine flow shop problem. Journal of Scheduling, 14 (3). 239 - 256. ISSN 1094-6136

Brucker, P and Shakhlevich, NV (2011) A polynomial-time algorithm for a flow-shop batching problem with equal-length operations. Journal of Scheduling, 14 (4). 371 - 389. ISSN 1094-6136

Bruns, F, Knust, S and Chakhlevitch, N (2016) Complexity results for storage loading problems with stacking constraints. European Journal of Operational Research, 249 (3). pp. 1074-1081. ISSN 0377-2217

Bulaov, AA, Dyer, M, Goldberg, LA et al. (2 more authors) (2013) The Expressibility of Functions on the Boolean Domain, with Applications to Counting CSPs. Journal of the ACM, 60 (5). 32. ISSN 1535-9921

Charbit, P, Habib, M, Trotignon, N et al. (1 more author) (2012) Detecting 2-joins faster. Journal of Discrete Algorithms, 17. 60 - 66. ISSN 1570-8675

Chudnovsky, M, Lo, I, Maffray, F et al. (2 more authors) (2015) Coloring Square-free Berge Graphs. arXiv. (Unpublished)

Condotta, A, Knust, S, Meier, D et al. (1 more author) (2012) Tabu search and lower bounds for a combined production-transportation problem. Computers and Operations Research, 40 (3). 886 - 900. ISSN 0305-0548

Condotta, A and Shakhlevich, NV (2014) Scheduling patient appointments via multilevel template: a case study in chemotherapy. Operations Research for Health Care, 3 (3). 129 - 144. ISSN 2211-6923

Deckelnick, K, Elliott, CM and Ranner, T (2014) Unfitted finite element methods using bulk meshes for surface partial differential equations. SIAM Journal on Numerical Analysis, 52 (4). 2137 - 2162. ISSN 0036-1429

Dickerson, CE, Ji, S, Clement, SJ et al. (7 more authors) (2015) A Demonstration of a Service Oriented Virtual Environment for Complex System Analysis. International Journal of Complex Systems, 3 (1). ISSN 2334-4830

Djemame, K orcid.org/0000-0001-5811-5263, Armstrong, D, Guitart, J et al. (1 more author) (2016) A Risk Assessment Framework for Cloud Computing. IEEE Transactions on Cloud Computing, 4 (3). pp. 265-278. ISSN 2168-7161

Djemame, K, Barnitzke, B, Corrales, M et al. (5 more authors) (2013) Legal issues in clouds: towards a risk inventory. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 371 (1983). 20120075. ISSN 1364-503X

Duffy, B, Carr, HA and Möller, T (2013) Integrating isosurface statistics and histograms. IEEE Transactions on Visualization and Computer Graphics, 19 (2). 263 - 277 (14). ISSN 1077-2626

Duke, DJ and Carr, H (2013) Joint contour nets. IEEE Transactions on Visualization and Computer Graphics. ISSN 1077-2626

Duke, DJ, Carr, H, Knoll, A et al. (3 more authors) (2012) Visualizing nuclear scission through a multifield extension of topological analysis. IEEE Transactions on Visualization and Computer Graphics, 18 (12). 2033 - 2040. ISSN 1077-2626

Dyer, M, Frieze, A and Greenhill, C (2015) On the chromatic number of a random hypergraph. Journal of Combinatorial Theory, Series B, 113. pp. 68-122. ISSN 0095-8956

Dyer, M, Frieze, A, Hayes, TP et al. (1 more author) (2013) Randomly Coloring Constant Degree Graphs. Random Structures and Algorithms, 43 (2). 181 - 200. ISSN 1042-9832

Dyer, M, Greenhill, C and Ullrich, M (2014) Structure and eigenvalues of heat-bath Markov chains. Linear Algebra and Its Applications, 454. 57 - 71. ISSN 0024-3795

Dyer, M, Kannan, R and Stougie, L (2014) A simple randomised algorithm for convex optimisation: Application to two-stage stochastic programming. Mathematical Programming, 147 (1-2). pp. 207-229. ISSN 0025-5610

Dyer, M and Richerby, D (2013) An effective dichotomy for the counting constraint satisfaction problem. SIAM Journal on Computing, 42 (3). 1245 - 1274. ISSN 0097-5397

Dyer, M and Stougie, L (2015) Erratum to: Computational complexity of stochastic programming problems. Mathematical Programming. ISSN 0025-5610

Dyer, ME and Muller, H (2015) Graph classes and the switch Markov chain for matchings. Annales de la Faculte des Sciences de Toulouse, 24 (4). pp. 885-993. ISSN 0240-2963

Elliott, CM and Ranner, T (2014) A computational approach to an optimal partition problem on surfaces. (Unpublished)

Finlay, S, Seedhom, BB, Carey, D et al. (3 more authors) (2016) In-vitro engineering of high modulus cartilage-like constructs. Tissue engineering. Part C, Methods, 22 (4). ISSN 1937-3384

Galati, A, Djemame, K orcid.org/0000-0001-5811-5263 and Greenhalgh, C (2015) Analysis of human mobility patterns for opportunistic forwarding in shopping mall environments. Social Network Analysis and Mining, 5 (1). 12. ISSN 1869-5450

Garraghan, P, McKee, D, Ouyang, X et al. (2 more authors) (2016) SEED: A Scalable Approach for Cyber-Physical System Simulation. IEEE Transactions on Services Computing, 9 (2). pp. 199-212. ISSN 1939-1374

Glass, CA and Shakhlevich, NV (2013) Minimising the number of gap-zeros in binary matrices. European Journal of Operational Research, 229 (1). 45 - 58. ISSN 0377-2217

Harlen, OG, Hwang, WR and Walkley, MA (2013) An efficient iterative scheme for the highly constrained augmented Stokes problem for the numerical simulation of flows in porous media. Korea-Australia Rheology Journal, 25 (1). 55 - 64. ISSN 1226-119X

Head, D (2016) Biomechanical Analysis of Infectious Biofilms. Advances in Experimental Medicine and Biology, 915. pp. 99-114. ISSN 0065-2598

Head, D and Mizuno, D (2010) Nonlocal fluctuation correlations in active gels. Physical Review E, 81 (4). ISSN 1539-3755

Head, DA (2009) Critical scaling and aging in cooling systems near the jamming transition. Physical Review Letters, 102 (13). ISSN 0031-9007

Head, DA (2013) Linear surface roughness growth and flow smoothening in a three-dimensional biofilm model. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 88 (3). 032702. ISSN 1539-3755

Head, DA, Briels, WJ and Gompper, G (2014) Nonequilibrium structure and dynamics in a microscopic model of thin-film active gels. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 89 (3). 032705. ISSN 1539-3755

Head, DA, Gompper, G and Briels, WJ (2011) Microscopic basis for pattern formation and anomalous transport in two-dimensional active gels. Soft Matter, 7. 3116 - 3126 . ISSN 1744-683X

Head, DA, Ikebe, E, Nakamasu, A et al. (5 more authors) (2014) High-frequency affine mechanics and nonaffine relaxation in a model cytoskeleton. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 89 (4). 042711. ISSN 1539-3755

Head, DA and Mizuno, D (2013) Local mechanical response in semiflexible polymer networks subjected to an axisymmetric prestress. Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 88 (2). ARTN 022717. ISSN 1539-3755

Head, DA and Tanaka, H (2010) Superdiffusive mass transport as a causal mechanism for large-scale structure formation. EPL, 91. ISSN 0295-5075

Head, DA orcid.org/0000-0003-0216-6787, Tronci, G, Russell, SJ orcid.org/0000-0003-0339-9611 et al. (1 more author) (2016) In Silico Modeling of the Rheological Properties of Covalently Cross-Linked Collagen Triple Helices. ACS Biomaterials Science & Engineering, 2 (8). pp. 1224-1233. ISSN 2373-9878

Hinks, T, Carr, H, Gharibi, H et al. (1 more author) (2015) Visualisation of urban airborne laser scanning data with occlusion images. ISPRS Journal of Photogrammetry and Remote Sensing, 104. pp. 77-87. ISSN 0924-2716

Huettenberger, L, Heine, C, Carr, H et al. (2 more authors) (2013) Towards multifield scalar topology based on pareto optimality. Computer Graphics Forum, 32 (3 Pt 3). 341 - 350. ISSN 0167-7055

Karanasios, S, Allen, D, Norman, AWT et al. (3 more authors) (2013) Making Sense of Digital Traces: An Activity Theory Driven Ontological Approach. Journal of the American Society for Information Science and Technology, 64 (12). 2452 - 2467. ISSN 1532-2882

Kavanagh, R and Djemame, K (2014) An economic market for the brokering of time and budget guarantees. Concurrency and Computation: Practice and Experience. ISSN 1532-0634

Kirkham, T, Armstrong, D, Djemame, K et al. (1 more author) (2014) Risk driven Smart Home resource management using cloud services. Future Generation Computer Systems, 38. 13 - 22. ISSN 0167-739X

Koloz, B, Grant-Muller, SM and Djemame, K (2013) Modelling uncertainty in the sustainability of intelligent transport systems for highways using probabilistic data fusion. Environmental Modelling and Software, 49. 78 - 97. ISSN 1364-8152

Laefer, DF, Truong-Hong, L, Carr, H et al. (1 more author) (2014) Crack detection limits in unit based masonry with terrestrial laser scanning. NDT and E International, 62. 66 - 76. ISSN 0963-8695

Li, SS, Brucker, P, Ng, CT et al. (2 more authors) (2013) A note on reverse scheduling with maximum lateness objective. Journal of Scheduling, 16. 417 - 422. ISSN 1094-6136

Lin, Z and Kwan, RSK (2016) Local convex hulls for a special class of integer multicommodity flow problems. Computational Optimization and Applications, 64 (3). pp. 881-919. ISSN 0926-6003

Lin, Z and Kwan, RSK (2016) A branch-and-price approach for solving the train unit scheduling problem. Transportation Research Part B: Methodological, 94. pp. 97-120. ISSN 0191-2615

Lin, Z and Kwan, RSK (2014) A two-phase approach for real-world train unit scheduling. Public Transport, 6 (1-2). 35 - 65. ISSN 1866-749X

Marsh, PD, Head, DA and Devine, DA (2015) Dental plaque as a biofilm and a microbial community – implications for treatment. Journal of Oral Biosciences, 57 (4). 185 - 191 (7). ISSN 1349-0079

Marsh, PD, Head, DA and Devine, DA (2015) Ecological Approaches to Oral Biofilms: Control without Killing. Caries research, 49 Sup. 46 - 54. ISSN 0008-6568

Marsh, PD, Head, DA and Devine, DA (2014) Prospects of oral disease control in the future - an opinion. Journal of oral microbiology, 6. 26176 - . ISSN 2000-2297

Mizuno, D, Bacabac, R, Tardin, C et al. (2 more authors) (2009) High-resolution probing of cellular force transmission. Physical Review Letters, 102 (16). ISSN 0031-9007

Pretorius, AJ, Khan, IA and Errington, RJ (2015) Cell lineage visualisation. Computer Graphics Forum, 34 (3). 21 - 30. ISSN 0167-7055

Radovanović, M and Vušković, K (2012) A class of three-colorable triangle-free graphs. Journal of Graph Theory, 72 (4). 430 - 439. ISSN 0364-9024

Randell, R, Ambepitiya, T, Mello-Thoms, C et al. (4 more authors) (2015) Effect of display resolution on time to diagnosis with virtual pathology slides in a systematic search task. Journal of Digital Imaging, 28 (1). 68 - 76. ISSN 0897-1889

Randell, RS, Ruddle, RA and Treanor, D (2015) Barriers and facilitators to the introduction of digital pathology for diagnostic work. Studies in Health Technology and Informatics, 216. 443 - 447. ISSN 0926-9630

Ranner, T and Elliott, CM (2013) Finite element analysis for a coupled bulk–surface partial differential equation. IMA Journal of Numerical Analysis, 33 (2). 377 - 402. ISSN 0272-4979

Rizzi, L, Head, DA and Auer, S (2015) Universality in the morphology and mechanics of coarsening amyloid fibril networks. Physical Review Letters, 114 (7). 078102. ISSN 0031-9007

Rizzi, LG, Auer, S and Head, DA orcid.org/0000-0003-0216-6787 (2016) Importance of non-affine viscoelastic response in disordered fibre networks. Soft Matter, 12 (19). pp. 4332-4338. ISSN 1744-683X

Ruddle, RA, Howes, A, Payne, SJ et al. (1 more author) (2000) Effects of hyperlinks on navigation in virtual environments. International Journal of Human Computer Studies, 53 (4). 551 - 581. ISSN 1071-5819

Ruddle, RA, Payne, SJ and Jones, DM (1998) Navigating large-scale "desk-top" virtual buildings: Effects of orientation aids and familiarity. Presence: Teleoperators and Virtual Environments, 7 (2). 179 - 192. ISSN 1054-7460

Ruddle, RA, Payne, SJ and Jones, DM (1999) Navigating large-scale virtual environments: What differences occur between helmet-mounted and desk-top displays? Presence: Teleoperators and Virtual Environments, 8 (2). 157 - 168. ISSN 1054-7460

Ruddle, RA, Payne, SJ and Jones, DM (1999) The effects of maps on navigation and search strategies in very-large-scale virtual environments. Journal of Experimental Psychology: Applied, 5 (1). 54 - 75. ISSN 1076-898X

Ruddle, RA, Thomas, RG, Randell, RS et al. (2 more authors) (2015) Performance and interaction behaviour during visual search on large, high-resolution displays. Information Visualization, 14 (2). 137 - 147. ISSN 1473-8716

Ruddle, RA, Volkova, E and Buelthoff, HH (2013) Learning to Walk in Virtual Reality. ACM Transactions on Applied Perception, 10 (2). 11. ISSN 1544-3558

Schunck, N, Duke, DJ and Carr, H (2015) Description of induced nuclear fission with Skyrme energy functionals. II. Finite temperature effects. Physical Review C: Nuclear Physics, 91 (3). 034327. ISSN 0556-2813

Schunck, N, Duke, DJ, Carr, H et al. (1 more author) (2014) Description of induced nuclear fission with Skyrme energy functionals: static potential energy surfaces and fission fragment properties. Physical Review C: Nuclear Physics, 90 (5). ISSN 0556-2813

Sharaf, S and Djemame, K (2014) Enabling service-level agreement renegotiation through extending WS-Agreement specification. Service Oriented Computing and Applications, 9 (2). 177 - 191. ISSN 1863-2386

Shioura, A, Shakhlevich, NV and Strusevich, VA (2013) A submodular optimization approach to bicriteria scheduling problems with controllable processing times on parallel machines. SIAM Journal on Discrete Mathematics, 27 (1). 186 - 204 (19). ISSN 0895-4801

Toyota, T, Head, DA, Schmidt, CF et al. (1 more author) (2011) Non-Gaussian athermal fluctuations in active gels. Soft Matter, 7. 3234 - 3239 . ISSN 1744-683X

Truong-Hong, L, Laefer, DF, Hinks, T et al. (1 more author) (2013) Combining an angle criterion with voxelization and the flying voxel method in reconstructing building models from LiDAR data. Computer-Aided Civil and Infrastructure Engineering, 28 (2). 112 - 129. ISSN 1093-9687

Venters, C, Lau, LMS, Griffiths, M et al. (5 more authors) (2014) The Blind Men and the Elephant: Towards an Empirical Evaluation Framework for Software Sustainability. Journal of open research software, 2 (1). e8. ISSN 2049-9647

Wang, H orcid.org/0000-0002-2281-5679, Ho, ESL and Komura, T (2015) An energy-driven motion planning method for two distant postures. IEEE Transactions on Visualization and Computer Graphics, 21 (1). 1. pp. 18-30. ISSN 1077-2626

Weiß, C, Knust, S, Shakhlevitch, NV et al. (1 more author) (2016) The Assignment Problem with Nearly Monge Arrays and Incompatible Partner Indices. Discrete Applied Mathematics, 211. pp. 183-203. ISSN 0166-218X

Wijayathunga, VN, Ridgway, JP, Ingham, E et al. (6 more authors) (2015) A non-destructive method to distinguish the internal constituent architecture of the intervertebral discs using 9.4 Tesla Magnetic Resonance Imaging. Spine, 40 (24). E1315-E1322. ISSN 0362-2436

Wren, A, Fores, S, Kwan, A et al. (3 more authors) (2003) A flexible system for scheduling drivers. Journal of Scheduling, 6 (5). pp. 437-455. ISSN 1094-6136

da Silva, MVG and Vušković, K (2013) Decomposition of even-hole-free graphs with star cutsets and 2-joins. Journal of Combinatorial Theory. Series B, 103. 144 - 183. ISSN 0095-8956

Book Section

Beyersdorff, O and Kutz, O (2012) Proof complexity of non-classical logics. In: Bezhanishvili, N and Goranko, V, (eds.) Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes. Lecture Notes in Computer Science, 7388 . Springer Verlag , 1 - 54 . ISBN 978-3-642-31484-1

Brodlie, KW, Mason, SA, Thompson, MR et al. (2 more authors) (2006) Evolving dataflow visualization environments to grid computing. In: Bonneau, G-P, Ertl, T and Nielson, GM, (eds.) Scientific Visualization: The Visual Extraction of Knowledge from Data. Springer , 395 - 407. ISBN 9783540260660

Carr, H (2014) Feature analysis in multifields. In: Hansen, CD, Chen, M, Johnson, CR, Kaufman, AE and Hagen, H, (eds.) Scientific Visualization: Uncertainty, Multifield, Biomedical, and Scalable Visualization. Mathematics and Visualization . Springer-Verlag , London , pp. 197-204. ISBN 978-1-4471-6496-8

Christodoulou, S, Tzagarakis, M, Karacapilidis, N et al. (3 more authors) (2014) Collaboration and decision making in data-intensive and cognitively-complex settings: Lessons learned from the dicode project. In: Karacapilidis, N, (ed.) Mastering data-intensive collaboration and decision making. Springer Science & Business Media , 213 - 226. ISBN 3319026127

Duke, DJ and Carr, H (2014) Computational topology via functional programming: a baseline analysis. In: Bremer, P-T, Hotz, I, Pascucci, V and Peikert, R, (eds.) Topology-Based Methods in Visualization III. Springer , 73 - 88. ISBN 978-3-319-04099-8

Hauser, H and Carr, H (2014) Categorization. In: Hansen, CD, Chen, M, Johnson, CR, Kaufman, AE and Hagen, H, (eds.) Scientific Visualization: Uncertainty, Multifield, Biomedical, and Scalable Visualization. Mathematics and Visualization . Springer-Verlag , London , pp. 111-117. ISBN 978-1-4471-6496-8

Lau, LMS, Dimitrova, VG, Yang-Turner, F et al. (3 more authors) (2014) Understanding collaborative sensemaking behaviour using semantic types in interaction data. In: Neves-Silva, R, Tshirintzis, GA, Uskpv, V, Howlett, RJ and Jair, LC, (eds.) Smart Digital Futures 2014. Frontiers in Artificial Intelligence and Applications, 262 . IOS Press , 190 - 199. ISBN 978-1-61499-404-6

Lau, LMS, Yang-Turner, F and Karacapilidis, N (2014) Requirements for big data analytics supporting decision making: A sensemaking perspective. In: Karacapilidis, N, (ed.) Mastering data-intensive collaboration and decision making. Springer Science & Business Media , 49 - 70. ISBN 3319026127

Ruddle, RA (2013) The effect of translational and rotational body-based information on navigation. In: Steinicke, F, Visell, Y, Campos, J and Lecuyer, A, (eds.) Human Walking in Virtual Environments: Perception, Technology, and Applications. Springer , New York , pp. 99-112. ISBN 9781441984319

Thakker, D, Dimitrova, V, Lau, LMS et al. (2 more authors) (2014) Making sense of linked data: A semantic exploration approach. In: Karacapilidis, N, (ed.) Mastering data-intensive collaboration and decision making. Springer Science & Business Media , 71 - 87 (236). ISBN 3319026127

Tzagarakis, M, Karacapilidis, N, Christodoulou, S et al. (2 more authors) (2014) The dicode collaboration and decision making support services. In: Karacapilidis, N, (ed.) Mastering data-intensive collaboration and decision making. Springer Science & Business Media , 119 - 139. ISBN 3319026127

Proceedings Paper

Abdullahi, SD, Dyer, ME and Proll, LG (2003) Listing Vertices of Simple Polyhedra Associated with Dual LI(2) Systems. In: Calude, CS, Dinneen, MJ and Vajnovszki, V, (eds.) Discrete Mathematics and Theoretical Computer Science. 4th International Conference, DMTCS 2003, 07-12 Jul 2003, Dijon, France. Lecture Notes in Computer Science (2731). Springer-Verlag , Berlin, Germany , pp. 89-96. ISBN 978-3-540-40505-4

Abolkasim, E, Lau, LMS orcid.org/0000-0003-1062-9059 and Dimitrova, V (2016) A semantic-driven model for ranking digital learning objects based on diversity in the user comments. In: Adaptive and Adaptable Learning (Lecture Notes in Computer Science). 11th European Conference on Technology Enhanced Learning, 13-16 Sep 2016, Lyon, France. Springer Verlag , pp. 3-15.

Adler, I, Kante, MM and Kwon, O-J (2014) Linear Rank-Width of Distance-Hereditary Graphs. In: Kratsch, D and Todinca, I, (eds.) Graph-Theoretic Concepts in Computer Science. 40th International Workshop (WG 2014), 25-27 Jun 2014, Nouan-le-Fuzelier, France. Lecture Notes in Computer Science (8747). Springer , pp. 42-55. ISBN 978-3-319-12339-4

Al-Megren, S and Ruddle, RA (2016) Comparing Tangible and Multi-touch Interaction for Interactive Data Visualization Tasks. In: Proceedings of the TEI '16. 10th International Conference on Tangible, Embedded and Embodied Interaction, 14-17 Feb 2016, Eindhoven, Netherlands. ACM , pp. 279-286. ISBN 978-1-4503-3582-9

Aldossary, M and Djemame, K orcid.org/0000-0001-5811-5263 (2016) Energy Consumption-based Pricing Model for Cloud Computing. In: Awan, I and Cullen, A, (eds.) 32nd UK Performance Engineering Workshop. 32nd UK Performance Engineering Workshop, 08-09 Sep 2016, Bradford, United Kingdom. University of Bradford , pp. 16-27. ISBN 978-1-4276-5567-7

Aljahdali, H, Albatli, A, Garraghan, P et al. (3 more authors) (2014) Multi-tenancy in cloud computing. In: Proceedings of the 8th IEEE International Symposium on Service-Oriented System Engineering. 2014 IEEE 8th International Symposium on Service Oriented System Engineering (SOSE), 07-11 Apr 2014, Oxford, UK. IEEE , 344 - 351. ISBN 978-1-4799-2504-9

Alzamil, I, Djemame, K orcid.org/0000-0001-5811-5263, Armstrong, D et al. (1 more author) (2015) Energy-Aware Profiling for Cloud Computing Environments. In: Bull, P, Guan, L and Thomas, N, (eds.) Electronic Notes in Theoretical Computer Science. Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops (UKPEW), 19 Sep 2014, Newcastle, UK. Elsevier , pp. 91-108.

Armstrong, D, Djemame, K, Espling, D et al. (2 more authors) (2013) Runtime virtual machine recontextualization for clouds. In: Caragiannis, I, (ed.) Euro-Par 2012: Parallel Processing Workshops. Revised Selected Papers. Euro-Par 2012, 27-31 Aug 2012, Rhodes Islands, Greece. Lecture notes in computer science . Springer , 567 - 576. ISBN 978-3-642-36948-3

Armstrong, D, Djemame, K, Nair, S et al. (2 more authors) (2011) Towards a contextualization solution for cloud platform services. In: Lambrinoudakis, C, Rizomiliotis, P and Wlodarczyk, TW, (eds.) Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science. Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom , 29 Nov - 01 Dec 2011, Athens, Greece. IEEE , 328 - 331. ISBN 9780769546223

Armstrong, D, Kavanagh, R and Djemame, K (2015) Towards an interoperable energy efficient Cloud computing architecture-practice & experience. In: 2015 IEEE International Conference on Communication Workshop, ICCW 2015. 2015 IEEE International Conference on Communication Workshop (ICCW),, 08-12 Jun 2015, London, United Kingdom. Institute of Electrical and Electronics Engineers , 1807 - 1812. ISBN 9781467363051

Beyersdorff, O (2006) Disjoint NP-pairs from propositional proof systems. In: Cai, J, Cooper, SB and Li, A, (eds.) Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Proceedings. Third International Conference, TAMC, 15-20 May 2006, Bejing, China. Lecture Notes in Computer Science, 3959 . Springer Verlag , 236 - 247 . ISBN 3-540-34021-1

Beyersdorff, O (2008) Logical closure properties of propositional proof systems - (Extended abstract). In: Agrawal, M, Du, D, Duan, Z and Li, A, (eds.) Theory and Applications of Models of Computation. 5th International Conference on Theory and Applications of Models of Computation, 25-28 Apr 2009, Xi'an, China. Lecture Notes in Computer Science, 4978 (Lectur). Springer Verlag , Germany , 318 - 329 . ISBN 978-3-540-79227-7

Beyersdorff, O (2009) On the existence of complete disjoint NP-pairs. In: SYNASC 2009 - 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. 11th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing, 26-29 Sep 2009, Timisoara, Romania. IEEE , 282 - 289 . ISBN 978-1-4244-5910-0

Beyersdorff, O (2010) Proof Complexity of Non-classical Logics. In: Kratochvíl, J, Li, A, Fiala, J and Kolman, P, (eds.) Theory and Applications of Models of Computation7th Annual Conference, TAMC 2010, Proceedings. Theory and Applications of Models of Computation, 7th Conference, 07-11 Jun 2010, Prague, Czech Republic. Lecture Notes in Computer Science, 108 (6). Springer , 15 - 27 . ISBN 978-3-642-13561-3

Beyersdorff, O (2004) Representable Disjoint NP-Pairs. In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science. FSTITCS 2004, 16-18 Dec 2004, Chennai, India. Springer Verlag , 122 - 134 . ISBN 3-540-24058-6

Beyersdorff, O (2006) Tuples of disjoint NP-sets. In: Grigoriev, D, Harrison, J and Hirsch, EA, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). First International Computer Science Symposium in Russia, 08-12 Jun 2006, St Petersburg, Russia. Lecture Notes in Computer Science, Lectur (3967). Springer Verlag , 80 - 91 .

Beyersdorff, O (2013) The complexity of theorem proving in autoepistemic logic. In: Järvisalo, M and Van Gelder, A, (eds.) Theory and Applications of Satisfiability Testing – SAT 2013, 16th International Conference, Proceedings. SAT 2013, 16th International Conference on Theory and Applications of Satisfiability Testing, 08-12 Jul 2013, Helsinki, Finland. Springer , 365 - 376.

Beyersdorff, O (2007) The deduction theorem for strong propositional proof systems. In: Arvind, V and Prasad, S, (eds.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Foundations of software technology and theoretical computer science, 12-14 Dec 2007, New Delhi, India. Lecture Notes in Computer Science, 4855 . Springer Verlag , 241 - 252 .

Beyersdorff, O, Bonacina, I and Chew, L (2016) Lower bounds: from circuits to QBF proof systems. In: Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. ITCS '16, 14-16 Jan 2016, Cambridge, Massachusetts, USA. ACM , pp. 249-260. ISBN 978-1-4503-4057-1

Beyersdorff, O, Chew, L and Janota, M (2014) On unification of QBF resolution-based calculi. In: Csuhaj-Varjú, E, Dietzfelbinger, M and Ésik, Z, (eds.) Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Part II, Proceedings. 39th International Symposium, MFCS 2014, 25-29 Aug 2014, Budapest, Hungary. Springer , 81 - 93. ISBN 978-3-662-44464-1

Beyersdorff, O, Chew, L and Janota, M (2015) Proof complexity of resolution-based QBF calculi. In: LIPI Symposium on Theoretical Aspects of Computer Science (STACS'15). 32nd International Symposium on Theoretical Aspects of Computer Science, 04 Mar 2015. Schloss Dagstuhl - Leibniz International Proceedings in Informatics , 76 - 89. ISBN 9783939897781

Beyersdorff, O, Chew, L, Mahajan, M et al. (1 more author) (2016) Are Short Proofs Narrow? QBF Resolution is not Simple. In: Ollinger, N and Vollmer, H, (eds.) 33rd Symposium on Theoretical Aspects of Computer Science (STACS'16). Symposium on Theoretical Aspects of Computer Science (STACS'16), 17-20 Feb 2016, Orleans, France. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 978-3-95977-001-9

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Mahajan, M et al. (1 more author) (2016) Understanding Cutting Planes for QBFs. In: Proceedings of Foundations of Software Technology and Theoretical Computer Science (FSTTCS). 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 13-15 Dec 2016, Chennai, India. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing , pp. 1-15.

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L, Schmidt, RA et al. (1 more author) (2016) Lifting QBF Resolution Calculi to DQBF. In: Theory and Applications of Satisfiability Testing – SAT 2016 ( Lecture Notes in Computer Science ). 19th International Conference on Theory and Applications of Satisfiability Testing, 05-08 Jul 2016, Bordeaux, France. Springer Verlag , pp. 490-499. ISBN 978-3-319-40969-6

Beyersdorff, O, Galesi, N and Lauria, M (2011) Parameterized complexity of DPLL search procedures. In: Sakallah, KA and Simon, L, (eds.) Theory and Applications of Satisfiability Testing - SAT 2011. SAT 2011, 19-22 Jun 2011, Ann Arbor, MI, USA. Springer Verlag , 5 - 18 . ISBN 978-3-642-21580-3

Beyersdorff, O, Galesi, N, Lauria, M et al. (1 more author) (2011) Parameterized bounded-depth Frege is not optimal. In: Aceto, L, Henzinger, M and Sgall, J, (eds.) Automata, languages and programmes, proceedings ICALP. ICALP 2011, 04-08 Jul 2011, Zurich, Switzerland. Lecture Notes in Computer Science, 6755 (Part 1). Springer Verlag , 630 - 641 . ISBN 978-3-642-22005-0

Beyersdorff, O, Koebler, J and Mueller, S (2009) Nondeterministic Instance Complexity and Proof Systems with Advice. In: Dediu, AH, Ionescu, AM and Martin-Vide, C, (eds.) Language and Automata Theory and Applications. Third International Conference, LATA 2009, 02-08 Apr 2009, Tarragona, Spain. Lecture Notes in Computer Science, 5457 . Springer Verlag , 164 - 175 . ISBN 978-3-642-00981-5

Beyersdorff, O and Kullmann, O (2014) Unified characterisations of resolution hardness measures. In: Sinz, C and Egly, U, (eds.) Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. 17th International Conference, Held as Part of the Vienna Summer of Logic, 14-17 Jul 2014, Vienna, Austria. Lecture Notes in Computer Science , 8561 L . Springer , 170 - 187.

Beyersdorff, O, Meier, A, Mueller, S et al. (2 more authors) (2010) Proof Complexity of Propositional Default Logic. In: Strichman, O and Szeider, S, (eds.) Theory and applications of satisfiability testing. SAT 2010, 11-14 Jul 2010, Edinburgh, UK. Lecture notes in computer science, 6175 . Springer Verlag , 30 - 43 . ISBN 978-3-642-14185-0

Beyersdorff, O, Meier, A, Thomas, M et al. (1 more author) (2009) The Complexity of Reasoning for Fragments of Default Logic. In: Theory and Applications of Satisfiability Testing 2009. 12th International Conference, SAT 2009, 30 Jun - 03 Jul 2009, Swansea. Lecture Notes in Computer Science, 5584 (Lectur). Springer Verlag , 51 - 64 . ISBN 978-3-642-02776-5

Beyersdorff, O, Meier, A, Thomas, M et al. (3 more authors) (2009) Model Checking CTL is Almost Always Inherently Sequential. In: Lutz, C and Raskin, J-F, (eds.) 16th International Symposium on Temporal Representation and Reasoning 2009. International Symposium on Temporal Representation and Reasoning, 23-25 Jul 2009, Bressanone, Brixen, Italy. IEEE , 21 - 28 . ISBN 978-0-7695-3727-6

Beyersdorff, O and Mueller, S (2010) Different Approaches to Proof Systems. In: Kratochvil, J, Li, A, Fiala, J and Kolman, P, (eds.) Theory and Applications of Models of Computation, 7th Annual Conference, TAMC 2010, Proceedings. 7th Annual Conference, TAMC 2010, 07-11 Jun 2010, Prague, Czech Republic. Springer Verlag , 50 - 59 . ISBN 978-3-642-13561-3

Beyersdorff, O and Mueller, S (2009) Does Advice Help to Prove Propositional Tautologies? In: Kullmann, O, (ed.) Theory and Applications of Satisfiability Testing SAT 2009. 12th International Conference, SAT 2009, 30 Jun - 03 Jul 2009, Swansea, UK. Lecture Notes in Computer Science, 5584 (Lectur). Springer Verlag , 65 - 72 . ISBN 978-3-642-02776-5

Beyersdorff, O and Mueller, S (2008) A Tight Karp-Lipton Collapse Result in Bounded Arithmetic. In: Kaminiski, M and Martini, S, (eds.) Proceedings of Computer Science Logic. 17th Annual Conference of the EACSL, 16-19 Sep 2008, Bertinoro, Italy. Lecture Notes in Computer Science, 5213 . Springer Verlag , 199 - 214 . ISBN 978-3-540-87530-7

Beyersdorff, O and Nebesov, Y (2009) Edges as Nodes - a New Approach to Timetable Information. In: ATMOS 2009. Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS), 10 September 2009, University of Cophenhagen, Denmark. Dagstuhl Research Online Publication Server (DROPS) . ISBN 978-3-939897-11-8

Beyersdorff, O and Sadowski, Z (2009) Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes. In: Frid, AE, Morozov, A, Rybalchenko, A and Wagner, KW, (eds.) CSR. UNSPECIFIED. Springer , 47 - 58 . ISBN 978-3-642-03350-6

Beyersdorff, O, Vollmer, H, Datta, S et al. (4 more authors) (2011) Verifying proofs in constant depth. In: Proceedings MFCS 2011. Mathematical Foundations of Computer Science 2011, 22-26 Aug 2011, Warsaw, Poland. Springer Verlag , 84 - 95 . ISBN 978-3-642-22992-3

Bulatov, AA, Dyer, ME, Goldberg, LA et al. (1 more author) (2012) Log-supermodular functions, functional clones and counting CSPs. In: Dürr, C and Wilke, T, (eds.) 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012). Symposium on Theoretical Aspects of Computer Science (STACS), 29 Feb - 03 Mar 2012, Paris, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , 302 - 313. ISBN 978-3-939897-35-4

Carey, D, Wijayathunga, VN, Bulpitt, AJ et al. (1 more author) (2015) A Novel Approach for the Colour Deconvolution of Multiple Histological Stains. In: Lambrou, T and Ye, X, (eds.) Proceedings of the 19th Conference of Medical Image Understanding and Analysis. Medical Image Understanding and Analysis, 15-17 Jul 2015, Lincoln, UK. BMVA , 156 - 162. ISBN 1-901725-54-5

Carr, H and Duke, D (2013) Joint contour nets: computation and properties. In: Visualization Symposium (PacificVis), 2013 IEEE Pacific. 2013 IEEE Pacific Visualization Symposium, 27 Feb 2013, Sydney. IEEE , 161 - 168. ISBN 978-1-4673-4797-6

Carr, H, Sewell, C, Lo, L-T et al. (1 more author) (2016) Hybrid Data-Parallel Contour Tree Computation. In: Turkay, C and Wan, TR, (eds.) Computer Graphics & Visual Computing. CGVC 2016, 15-16 Sep 2016, Bournemouth, UK. The Eurographics Association . ISBN 978-3-03868-022-2

Caruana, S and Lau, LMS (2014) Stakeholders Influence in Maltese Tourism Higher Education Curriculum Development. In: Proceedings of the International Conference on e-Learning 2014. 8th International Conference on e-Learning, 15-18 Jul 2014, Lisbon, Portugal. International Association for Development of the Information Services (IADIS) , pp. 289-293. ISBN 978-989-8704-08-5

Chen, X, Dyer, M, Goldberg, LA et al. (4 more authors) (2013) The complexity of approximating conservative counting CSPs. In: Portier, N and Wilke, T, (eds.) Leibniz International Proceedings in Informatics, LIPIcs. 30th Symposium on Theoretical Aspects of Computer Science (STACS’13), 27 Feb - 02 Mar 2013, Kiel, Germany. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, Dagstuhl Publishing , pp. 148-159.

Cook, S and Ruddle, RA (2014) Effect of simplicity and attractiveness on route selection for different journey types. In: Freksa, C, Nebel, B, Hegarty, M and Barkowsky, T, (eds.) Spatial Cognition IX International Conference, Spatial Cognition 2014, Proceedings. Spatial Cognition 2014, 15-19 Sep 2014, Bremen, Germany. Springer Verlag , 190 - 205. ISBN 9783319112145

De Gyves Avila, S and Djemame, K (2014) Proactive adaptation in service composition using a fuzzy logic based optimization mechanism. In: Helfert, M, Desprez, F, Ferguson, D, Leymann, F and Muñoz, VM, (eds.) Proceedings of the 4th International Conference on Cloud Computing and Services Science. CLOSER 2014, 03-05 Apr 2014, Barcelona, Spain. SCITEPRESS (Science and Technology Publications, Lda) , pp. 257-267. ISBN 978-989-758-019-2

De Gyvés Avila, S and Djemame, K (2013) Fuzzy logic based qos optimization mechanism for service composition. In: Proceedings - 2013 IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE 2013. 2013 IEEE 7th International Symposium on Service Oriented System Engineering (SOSE), 25-28 Mar 2013, Redwood City. IEEE , 182 - 191. ISBN 978-1-4673-5659-6

Denaux, R, Dimitrova, V, Lau, LMS et al. (3 more authors) (2014) Employing linked data and dialogue for modelling cultural awareness of a user. In: IUI '14 Proceedings of the 19th international conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces, 24-27 Feb 2014, Haifa, Israel. ACM , 241 - 246. ISBN 978-1-4503-2184-6

Despotakis, D, Dimitrova, V, Lau, LMS et al. (3 more authors) (2013) Views in user generated content for enriching learning environments: a semantic sensing approach. In: Lane, HC, Yacef, K, Mastow, J and Pavlik, P, (eds.) Lecture Notes in Computer Science. International conference on Artificial Intelligence in Education, 09-13 Jul 2013, Memphis, USA. Springer , 121 - 130. ISBN 978-3-642-39111-8

Despotakis, D, Dimitrova, VG, Lau, L et al. (1 more author) (2013) Semantic aggregation and zooming of user viewpoints in social media content. In: Carberry, S, Weibelzahl, S, Micarelli, A and Semeraro, G, (eds.) User Modeling, Adaptation, and Personalization. 21st International Conference on User Modeling, Adaptation, and Personalization, 10-14 Jun 2013, Rome, Italy. Springer , 51 - 63 (13). ISBN 978-3-642-38843-9

Dimitrova, V, Lau, LMS, Thakker, D et al. (2 more authors) (2013) Exploring exploratory search: a user study with linked semantic data. In: Proceedings of the 2nd International Workshop on Intelligent Exploration of Semantic Data. 2nd International Workshop on Intelligent Exploration of Semantic Data (IESD 2013), 01 May 2013, New York, NY, USA. ACM , 2:1 - 2:8 (8). ISBN 978-1-4503-2006-1

Djemame, K, Armstrong, D, Kavanagh, R et al. (18 more authors) (2014) Energy efficiency embedded service lifecycle: Towards an energy efficient cloud computing architecture. In: Penzenstadler, B and Lohmann, W, (eds.) CEUR Workshop Proceedings. Joint Workshop Proceedings of the 2nd International Conference on ICT for Sustainability 2014 , 24-27 Aug 2014, Stockholm, Sweden. CEUR Workshop Proceedings , 1 - 6.

Duke, DJ and Hosseini, F (2015) Skeletons for Distributed Topological Computation. In: Rompf, T and Mainland, G, (eds.) FHPC 2015 Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing. Functional High Performance Computing, 03 Sep 2015, Vancouver, Canada. ACM Press , pp. 35-44. ISBN 978-1-4503-3807-3

Duke, DJ, Hosseini, F and Carr, H (2014) Parallel Computation of Multifield Topology: Experience of Haskell in a Computational Science Application. In: Sheeran, M and Newton, R, (eds.) Proceedings of the ACM Workshop on Functional High-Performance Computing. The 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing, 04 Sep 2014, Gothenburg, Sweden. ACM Press , pp. 11-21. ISBN 978-1-4503-3040-4

Dyer, ME, Jerrum, MR and Muller, H (2016) On the switch Markov chain for perfect matchings. In: Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 10-12 Jan 2016, Arlington, Virginia, USA. SIAM , pp. 1972-1983. ISBN 978-1-611974-12-6

Farooq, T, Kavanagh, RE, Mohd Zaki, Z et al. (1 more author) (2014) Protecting and sharing of semantically-enabled, user-orientated electronic laboratory notebook focusing on a case study in the e-science domain. In: Future Computing 2014. Future Computing 2014. The Sixth International Conference on Future Computational Technologies and Applications, 25-29 May 2014, Venice, Italy. Thinkmind.org , 50 - 58. ISBN 978-1-61208-339-1

Fores, S and Proll, L (1998) Driver scheduling by integer linear programming: the TRACS II approach. In: Borne, P, Ksouri, M and El Kamel, A, (eds.) Proceedings CESA'98 Computational Engineering in Systems Applications. Symposium on Industrial and Manufacturing Systems, 01-04 Apr 1998, Nabeul Hammamet, Tunisia. CESA , pp. 213-218.

Fores, S, Proll, L and Wren, A (1999) An improved ILP system for driver scheduling. In: Wilson, NMH, (ed.) Computer-Aided Transit Scheduling. 7th International Workshop on Computer-Aided Scheduling of Public Transport, 05-08 Aug 1997, Cambridge, MA, USA. Lecture Notes in Economics and Mathematical Systems (471). Springer-Verlag , Berlin , pp. 43-61. ISBN 978-3-540-65775-0

Galati, A, Djemame, K orcid.org/0000-0001-5811-5263, Fletcher, M et al. (3 more authors) (2014) A WS-Agreement Based SLA Implementation for the CMAC Platform. In: Altmann, J, Vanmechelen, K and Rana, OF, (eds.) Economics of Grids, Clouds, Systems, and Services (Lecture Notes in Computer Science). Economics of Grids, Clouds, Systems, and Services: 11th International Conference, GECON 2014, 16-18 Sep 2014, Cardiff, UK. Springer , pp. 159-171. ISBN 978-3-319-14608-9

Garraghan, P, Perks, S, Ouyang, X et al. (2 more authors) (2016) Tolerating Transient Late-Timing Faults in Cloud-Based Real-Time Stream Processing. In: Proceedings: 2016 IEEE 19th International Symposium on Real-Time Distributed Computing. ISORC 2016, 17-20 May 2016, York, UK. IEEE , pp. 108-115. ISBN 978-1-4673-9032-3

Garraghan, P, Townend, P and Xu, J (2012) Real-time fault-tolerance in federated cloud environments. In: Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2012. UNSPECIFIED. IEEE , 118 - 123. ISBN 978-1-4673-0900-4

Garraghan, P, Townend, P and Xu, J (2014) An empirical failure-analysis of a large-scale cloud computing environment. In: Clarke, PJ, Zulkernine, N, Paul, RA and Xu, J, (eds.) Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014. 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE), 09-11 Jan 2014, Miami, Florida, USA. IEEE Computer Society , 113 - 120. ISBN 978-1-4799-3465-2

Garraghan, P, Townend, PM and Xu, J (2013) An Analysis of the Server Characteristics and Resource Utilization in Google Cloud. In: IC2E '13 Proceedings of the 2013 IEEE International Conference on Cloud Engineering. UNSPECIFIED. IEEE , 124 - 131. ISBN 978-0-7695-4945-3

Garraghan, PM, Ouyang, X, Townend, P et al. (1 more author) (2015) Timely Long Tail Identification through Agent Based Monitoring and Analytics. In: Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on. IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC), 13-17 Apr 2015, Auckland, New Zealand. Institute of Electrical and Electronics Engineers , 19 - 26.

Harrison, DG and De Kamps, M (2011) A dynamical model of feature-based attention with strong lateral inhibition to resolve competition among candidate feature locations. In: AISB 2011 Convention - Proceedings of the AISB 2011 Symposium on Architectures for Active Vision. AISB 2011 Convention , 04-07 Apr 2011, University of York, UK. Society for the Study of Artificial Intelligence and Simulation of Behaviour , 43 - 48.

Ho, ESL, Wang, H orcid.org/0000-0002-2281-5679 and Komura, T (2014) A multi-resolution approach for adapting close character interaction. In: Proceedings. 20th ACM Symposium on Virtual Reality Software and Technology (VRST 14), 11-13 Nov 2014, Edinburgh, Scotland. ACM , pp. 97-106. ISBN 978-1-4503-3253-8

Jiang, W, Wo, T, Zhang, M et al. (2 more authors) (2015) A method for private car transportation dispatching based on a passenger demand model. In: Lecture Notes in Computer Science. The 2nd International Conference on Internet of Vehicles (IOV 2015), 19-21 Dec 2015, Chengdu, China. Springer Verlag (Germany) , pp. 37-48. ISBN 9783319272924

Jimack, PK, Walkley, MA and Zhang, J (2015) Scalable Parallel Multigrid Preconditioning for High Fidelity Finite Element and Finite Difference Simulations. In: Ivanyi, P and Topping, BHV, (eds.) Proceedings of the Fourth International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Fourth International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering, 24-27 Mar 2015, Dubrovnik. Civil-Comp Press .

Kavanagh, R orcid.org/0000-0002-9357-2459, Armstrong, D, Djemame, K orcid.org/0000-0001-5811-5263 et al. (2 more authors) (2016) Towards an Energy-Aware Cloud Architecture for Smart Grids. In: Altmann, J, Silaghi, GC and Rana, OF, (eds.) Economics of Grids, Clouds, Systems, and Services. 12th International Conference, GECON 2015, 15-17 Sep 2015, Cluj-Napoca, Romania. Lecture Notes in Computer Science (9512). Springer International Publishing , Cham, Switzerland , pp. 190-204. ISBN 978-3-319-43176-5

Kavanagh, R and Djemame, K (2012) The ISQoS Grid Broker for Temporal and Budget Guarantees. In: Vanmechelen, K, Altmann, J and Rana, O, (eds.) Economics of Grids, Clouds, Systems, and Services. GECON 2012, 27-28 Nov 2012, Berlin, Germany. Lecture notes in computer science, 7714 . Springer , 76 - 90. ISBN 978-3-642-35193-8

Kavanagh, R and Djemame, K (2012) Negotiated economic grid brokering for quality of service. In: Yeo, S-S, Pan, Y, Lee, YS and Chang, HB, (eds.) Computer Science and its Applications. 4 FTRA International Conference on Computer Science and its applications (CSA-12), 22-25 Nov 2012, Jeju, Korea. Lecture Notes in Electrical Engineering, 203 . Springer , 87 - 96. ISBN 978-94-007-5698-4

Kavanagh, RE and Djemame, KD (2011) A grid broker pricing mechanism for temporal and budget guarantees. In: Thomas, N, (ed.) Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. 8th European Performance Engineering Workshop 2011, 12-13 Oct 2011, Borrowdale, UK. Lecture Notes in Computer Science, 6977 . Springer , 295 - 309. ISBN 978-3-642-24748-4

Leesakul, W, Townend, P, Garraghan, P et al. (1 more author) (2014) Fault-Tolerant Dynamic Deduplication for Utility Computing. In: 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 10-12 Jun 2014, Reno, NV. IEEE , pp. 397-404.

Liu, K, Wo, T, Cui, L et al. (2 more authors) (2014) FENet: An SDN-based scheme for virtual network management. In: 20th IEEE International Conference on Parallel and Distributed Systems. ICPADS, 16-19 Dec 2014, Hsinchu, Taiwan. IEEE , pp. 249-256. ISBN 978-1-4799-7615-7

Mckee, DW, Webster, D and Xu, J (2015) Enabling decision support for the delivery of real-time services. In: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE). High Assurance Systems Engineering, 08-10 Jan 2015, Daytona Beach, Florida, USA. IEEE , 60 - 67. ISBN 978-1-4799-8110-6

Muller, H and Wilson, S (2013) An FPT certifying algorithm for the vertex-deletion problem. In: Lecroq, T and Mouchard, L, (eds.) Combinatorial Algorithms, 24th International Workshop, IWOCA 2013, Revised Selected Papers. 24th International Workshop, IWOCA 2013, 10-12 Jul 2013, Rouen, France. Springer , 468 - 472. ISBN 978-3-642-45277-2

Müller, H (2012) On the stable degree of graphs. In: Golumbic, MC, Stern, M, Levy, A and Morgenstern, G, (eds.) Graph-Theoretic Concepts in Computer Science. 38th International Workshop, WG 2012, 26-28 Jun 2012, Jerusalem, Israel. Lecture notes in computer science . Springer Verlag , 148 - 159.

Müller, H and Wilson, S (2013) Characterising subclasses of perfect graphs with respect to partial orders related to edge contraction. In: Cornelissen, K, Hoeksma, R, Hurink, J and Manthey, B, (eds.) Proceedings of the 12th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (CTW 2013). 12th Cologne-Twente Workshop on Graphs & Combinatorial Optimization, 21-23 May 2013, University of Twente, Enschede, The Netherlands. Centre for Telematics and Information Technology, University of Twente , 183 - 186.

Ouyang, X, Garraghan, P, McKee, D et al. (2 more authors) (2016) Straggler Detection in Parallel Computing Systems through Dynamic Threshold Calculation. In: 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA). The 30th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 23-25 Mar 2016, Crans-Montana, Switzerland. IEEE , pp. 414-421. ISBN 978-1-5090-1857-4

Ouyang, X, Garraghan, P, Yang, R et al. (2 more authors) (2016) Reducing Late-Timing Failure at Scale: Straggler Root-Cause Analysis in Cloud Datacenters. In: Fast Abstracts in the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 28 Jun - 01 Jul 2016, Toulouse, France. DSN .

Patel, J, Jindal, V, Yen, IL et al. (3 more authors) (2015) Workload Estimation for Improving Resource Management Decisions in the Cloud. In: Proceedings - 2015 IEEE 12th International Symposium on Autonomous Decentralized Systems, ISADS 2015. 2015 IEEE Twelfth International Symposium on Autonomous Decentralized Systems, 25-27 Mar 2015, Taichung , Taiwan. IEEE , 25 - 32. ISBN 9781479982615

Pretorius, AJ, Purchase, HC and Stasko, JT (2014) Tasks for multivariate network analysis. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dagstuhl Seminar , 12-17 May 2013, Dagstuhl Castle, Germany. Springer Verlag , 77 - 95. ISBN 9783319067926

Ramli, AK and Djemame, K (2014) Autonomic management for convergent networks to support robustness of appliance technologies. In: Poet, R and Rajarajan, M, (eds.) Proceedings of the 7th International Conference on Security of Information and Networks. 7th International Conference on Security of Information and Networks (SIN '14), 09-11 Sep 2014, Glasgow, Scotland. Association for Computing Machinery (ACM) , pp. 47-51. ISBN 9781450330336

Rooney, C and Ruddle, RA (2015) HiReD: a high-resolution multi-window visualisation environment for cluster-driven displays. In: EICS '15 Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 23-26 Jul 2015, Duisburg, Germany. Association for Computing Machinery , 2 - 11. ISBN 978-1-4503-3646-8

Ruddle, RA, Bernard, J, May, T et al. (2 more authors) (2016) Methods and a research agenda for the evaluation of event sequence visualization techniques. In: Proceedings of the IEEE VIS 2016 Workshop on Temporal & Sequential Event Analysis. The Event Event: Temporal & Sequential Event Analysis - An IEEE VIS 2016 Workshop, 24 Oct 2016, Baltimore, Maryland, USA. .

Ruddle, RA, Fateen, W, Treanor, D et al. (2 more authors) (2013) Leveraging wall-sized high-resolution displays for comparative genomics analyses of copy number variation. In: BioVis 2013 - IEEE Symposium on Biological Data Visualization 2013, Proceedings. 2013 IEEE Symposium on Biological Data Visualization (BioVis), 13-14 Oct 2013, Atlanta, Georgia. IEEE , 89 - 96.

Sargeant, A, Townend, P, Xu, J orcid.org/0000-0002-4598-167X et al. (1 more author) (2013) An Evaluation Framework for Assessing the Dependability of Dynamic Binding in Service-Oriented Computing. In: 2013 IEEE 16th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. ISORC, 19-21 Jun 2013, Paderborn, Germany. IEEE . ISBN 978-1-4799-2111-9

Sargeant, AJ, Webster, DE, Djemame, K et al. (1 more author) (2010) Testing the Effectiveness of Dynamic Binding in Web Services. In: 10th International conference on computer and information technology. International Workshop on Dependable Service-Oriented Computing (DSOC 2010) at the 10th IEEE International Conference on Computer and Information Technology (CIT 2010), 29 Jun - 01 Jul 2010, Bradford. , Bradford, UK , 1263 - 1268 .

Saxena, G, Jimack, PK and Walkley, MA (2016) A Cache-Aware Approach to Domain Decomposition for Stencil-Based Codes. In: 2016 International Conference on High Performance Computing and Simulation (HPCS 2016). 2016 International Conference on High Performance Computing and Simulation (HPCS 2016), 18-22 Jul 2016, Innsbruck, Austria. IEEE . ISBN 978-1-5090-2088-1

Shakhlevich, NV (2013) Scheduling divisible loads to optimize the computation time and cost. In: Altmann, J, Vanmechelen, K and Rana, OF, (eds.) Economics of Grids, Clouds, Systems, and Services, 10th International Conference (GECON 2013), Proceedings. 10th International Conference (GECON 2013), 18-20 Sep 2013, Zaragoza, Spain. Springer , 138 - 148. ISBN 978-3-319-02413-4

Shioura, A, Chakhlevitch, NV and Strusevich, VA (2016) Handling Scheduling Problems with Controllable Parameters by Methods of Submodular Optimization. In: Kochetov, Y, Khachay, M, Beresnev, V, Nurminski, E and Pardalos, P, (eds.) Discrete Optimization and Operations Research. 9th International Conference, DOOR, 19-23 Sep 2016, Vladivostok, Russia. Lecture Notes in Computer Science (9869). Springer International Publishing , Cham, Switzerland , pp. 74-90. ISBN 978-3-319-44913-5

Shioura, A, Shakhlevich, NV and Strusevich, VA (2015) Energy optimization in speed scaling models via submodular optimization. In: Marchetti-Spaccamela, A, Crama, Y, Goossens, D, Leus, R, Schyn, M and Schyns, F, (eds.) Proceedings of the 12th Workshop on Models and Algorithms for Planning and Scheduling Problems. MAPS 2015, 08-12 Jun 2015, La Roche-en-Ardenne, Belgium. KULeuven Faculty of Business and Economics , pp. 143-145. ISBN 9789081409971

Shioura, A, Shakhlevich, NV and Strusevich, VA (2015) Scheduling imprecise computations on parallel machines with linear and nonlinear error penalties. In: Marchetti-Spaccamela, A, Crama, Y, Goossens, D, Leus, R, Schyn, M and Schyns, F, (eds.) Proceedings of the 12th Workshop on Models and Algorithms for Planning and Scheduling Problems. MAPS 2015, 08-12 Jun 2015, La Roche-en-Ardenne, Belgium. KULeuven Faculty of Business and Economics , pp. 196-198. ISBN 9789081409971

Shum, HPH, Wang, H orcid.org/0000-0002-2281-5679, Ho, ESL et al. (1 more author) (2016) SkillVis: A Visualization Tool for Boxing Skill Assessment. In: MIG '16 Proceedings of the 9th International Conference on Motion in Games. The 9th International Conference on Motion in Games (MIG '16), 10-12 Oct 2016, Burlingame, California, USA. ACM , New York, USA , pp. 145-153. ISBN 978-1-4503-4592-7

Smith, R, Xu, J, Hima, S et al. (1 more author) (2013) GATEway to the cloud: Case study: A privacy-aware environment for electronic health records research. In: Proceedings - 2013 IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE 2013. IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE , 25-28 Mar 2013, Redwood City. IEEE , 292 - 297. ISBN 978-1-4673-5659-6

Sridhar, M, Cohn, AG and Hogg, DC (2008) Learning functional object categories from a relational spatio-temporal representation. In: Ghallab, M, Spyropoulos, CD, Fakotakis, N and Avouris, NM, (eds.) ECAI 2008: 18th European Conference on Artificial Intelligence (Frontiers in Artificial Intelligence and Applications). ECAI 2008 18th European Conference on Artificial Intelligence, 21-25 Jul 2008, Patras, Greece. IOS Press , 606 - 610 . ISBN 978-1-58603-891-5

Sridhar, M, Cohn, AG and Hogg, DC (2010) Unsupervised Learning of Event Classes from Video. In: Fox, M and Poole, D, (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence, 11-15 Jul 2010, Atlanta, Georgia, USA. AAAI Press , North America , 1631 - 1638 . ISBN 157735463X

Thakker, D, Dimitrova, V and Lau, LMS (2013) I-CAW: intelligent data browser for informal learning on cultural variations in interpersonal communications. In: The Eighth European Conference on Technology Enhanced Learning (EC-TEL 2013). Workshop on Culturally-aware Technology Enhanced Learning, 17 Sep 2013, Paphos, Cyprus. . (Unpublished)

Thakker, D, Dimitrova, V, Lau, LMS et al. (2 more authors) (2013) Assisting User Browsing over Linked Data: Requirements Elicitation with a User Study. In: Daniel, F, Dolog, P and Li, Q, (eds.) Proceedings of the International Conference on Web Enginnering (ICWE 2013). 13th International Conference on Web Engineering, 08-12 Jul 2013, North Denmark. Springer-Verlag , 376 - 383. ISBN 978-3-642-39199-6

Thakker, D, Lau, L, Denaux, R et al. (3 more authors) (2014) Using DBpedia as a knowledge source for culture-related user modelling questionnaires. In: Dimitrova, V, Kuflik, T, Chin, D, Ricci, F, Dolog, P and Houben, G-J, (eds.) User Modeling, Adaptation, and Personalization 22nd International Conference, UMAP 2014, Proceedings. 22nd International Conference, UMAP 2014, 07-11 Jul 2014, Aalborg, Denmark. Lecture Notes in Computer Science . Springer , 207 - 218 (10). ISBN 978-3-319-08785-6

Thomassé, S, Trotignon, N and Vušković, K (2014) A polynomial turing-Kernel for weighted independent set in bull-free graphs. In: Kratsch, D and Todinca, I, (eds.) Graph-Theoretic Concepts in Computer Science, Lecture Notes in Computer Science. UNSPECIFIED. Springer Verlag , 408 - 419. ISBN 9783319123394

Townend, P, Viduto, V, Webster, D et al. (9 more authors) (2013) Risk assessment and trust in services computing: applications and experience. In: 10th IEEE International Conference on Services Computing (SCC 2013). 2013 IEEE International Conference on Services Computing (SCC), 27 Jun - 02 Jul 2013, Santa Clara, CA. IEEE , 392 - 399. ISBN 978-0-7695-5026-8

Townend, P, Webster, D, Venters, CC et al. (11 more authors) (2013) Personalised provenance reasoning models and risk assessment in business systems: a case study. In: Proceedings - 2013 IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE 2013. 2013 IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE 2013, 25-28 Mar 2013, Redwood City, USA. IEEE , 329 - 334. ISBN 978-1-4673-5659-6

Venters, CC, Jay, C, Lau, LMS et al. (6 more authors) (2014) Software Sustainability: The Modern Tower of Babel. In: Penzenstadler, B, Mahaux, M and Salinesi, C, (eds.) CEUR Workshop Proceedings. RE4SuSy: Third International Workshop on Requirements Engineering for Sustainable Systems, 26 Aug 2014, Karlskrona, Sweden. CEUR , 7 - 12.

Viduto, V, Djemame, K, Townend, PM et al. (9 more authors) (2014) Trust and Risk Relationship Analysis on a Workflow Basis: A Use Case. In: ICIMP 2014 The Ninth International Conference on Internet Monitoring and Protection. Ninth International Conference on Internet Monitoring and Protection, 20-24 Jul 2014, Paris, France. International Academy, Research, and Industry Association ( IARIA ) , pp. 7-12. ISBN 9781634390071

Vuskovic, K (2013) The world of hereditary graph classes viewed through Truemper configurations. In: Surveys in Combinatorics 2013. 24th British Combinatorial Conference, 30 Jun - 05 Jul 2013, Royal Holloway, University of London. Cambridge University Press , 265 - 325. ISBN 978-1-107-65195-1

Wang, H orcid.org/0000-0002-2281-5679 and O'Sullivan, C (2016) Globally Continuous and Non-Markovian Crowd Activity Analysis from Videos. In: Computer Vision - ECCV 2016: Lecture Notes in Computer Science. European Conference on Computer Vision (ECCV) 2016, 08 Oct 2016, Amsterdam. Springer , pp. 527-544. ISBN 978-3-319-46454-1

Wang, H orcid.org/0000-0002-2281-5679, Ondřej, J and O'Sullivan, C (2016) Path Patterns: Analyzing and Comparing Real and Simulated Crowds. In: Wyman, C, Yuksel, C and Spencer, SN, (eds.) Proceedings. I3D '16: 20th ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, 26-28 Feb 2016, Redmond, WA, USA. ACM , pp. 49-57. ISBN 978-1-4503-4043-4

Webster, D, Townend, P and Xu, J (2014) Restructuring web service interfaces to support evolution. In: Proceedings - IEEE 8th International Symposium on Service Oriented System Engineering, SOSE 2014. Service Oriented System Engineering (SOSE), 2014 IEEE 8th International Symposium on, 07-11 Apr 2014, Oxford, UK. IEEE Computer Society , 158 - 159. ISBN 9781479925049

Weiß, C, Knust, S, Shakhlevich, NV et al. (1 more author) (2015) On the assignment problem with a nearly Monge matrix and its applications in scheduling. In: Marchetti-Spaccamela, A, Crama, Y, Goossens, D, Leus, R, Schyn, M and Schyns, F, (eds.) Proceedings of the 12th Workshop on Models and Algorithms for Planning and Scheduling Problems. MAPS 2015, 08-12 Jun 2015, La Roche-en-Ardenne, Belgium. KULeuven Faculty of Business and Economics , pp. 202-204. ISBN 9789081409971

Wu, Z, Li, X, Garraghan, PM et al. (3 more authors) (2016) Virtual Machine Level Temperature Profiling and Prediction in Cloud Datacenters. In: 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). IEEE International Conference on Distributed Computing Systems (ICDCS 2016), 27-30 Jun 2016, Nara, Japan. Institute of Electrical and Electronics Engineers (IEEE) , pp. 735-736. ISBN 978-1-5090-1483-5

Yang, R and Xu, J orcid.org/0000-0002-4598-167X (2016) Computing at massive scale: Scalability and dependability challenges. In: Proceedings - 2016 IEEE Symposium on Service-Oriented System Engineering, SOSE 2016. 2016 IEEE Symposium on Service-Oriented System Engineering (SOSE), 29 Mar - 02 Apr 2016, Oxford, United Kingdom. IEEE , pp. 386-397. ISBN 9781509022533

Yang-Turner, F, Lau, LMS, Dimitrova, V et al. (1 more author) (2013) Profiling exploratory browsing behaviour with a semantic data browser. In: AMCIS 2013 Proceedings. Americas Conference on Information Systems (AMCIS), 15-17 Aug 2013, Chicago, USA. AIS .