White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Browse by Academic Unit (A-Z)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [feed] RSS 2.0 Altmetric
Group by: Creators Name | Item Type
Jump to: A | B | C | D | E | G | H | K | L | M | R | S | T | V | Y
Number of items at this level: 106.

A

Aboulker, P, Charbit, P, Trotignon, N and Vuskovic, K Vertex elimination orderings for hereditary graph classes. Discrete Mathematics. (In Press)

Aboulker, P, Radovanovic, M, Trotignon, N, Trunck, T and Vuskovic, K (2013) Linear balanceable and subcubic balanceable graphs. Journal of Graph Theory. ISSN 0364-9024

Aboulker, P, Radovanović, M, Trotignon, N and Vušković, K (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

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

B

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 April 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 September 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, 7 - 11 June, 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 December 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, 8-12 June 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, 8-12 July 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 December 2007, New Delhi, India. Lecture Notes in Computer Science, 4855 . Springer Verlag , 241 - 252 .

Beyersdorff, O and Chew, L (2014) The complexity of theorem proving in circumscription and minimal entailment. In: Demri, S, Kapur, D and Weidenbach, C, (eds.) Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. 7th International Joint Conference, IJCAR 2014, 19-22 July 2014, Vienna, Austria. Lecture Notes in Computer Science , 8562 L . Springer , 403 - 417. ISBN 978-3-319-08586-9

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 August 2014, Budapest, Hungary. Springer , 81 - 93. ISBN 978-3-662-44464-1

Beyersdorff, O, Datta, S, Krebs, A, Mahajan, M, Scharfenberger-Fabian, G, Sreenivasaiah, K, Thomas, M and Vollmer, H (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 (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 June 2011, Ann Arbor, MI, USA. Springer Verlag , 5 - 18 . ISBN 978-3-642-21580-3

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 and Razborov, A (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, 4-8 July 2011, Zurich, Switzerland. Lecture Notes in Computer Science, 6755 (Part 1). Springer Verlag , 630 - 641 . ISBN 978-3-642-22005-0

Beyersdorff, O, Galesi, N, Lauria, M and Razborov, AA (2012) Parameterized Bounded-Depth Frege Is not Optimal. ACM Transactions on Computation Theory, 4 (3). 7.1 - 7.16 . ISSN 1942-3454

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, 2-8 April 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 July 2014, Vienna, Austria. Lecture Notes in Computer Science , 8561 L . Springer , 170 - 187.

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

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

Beyersdorff, O, Meier, A, Mundhenk, M, Schneider, T, Thomas, M and Vollmer, H (2011) Model Checking CTL is Amost Always Inherently Sequential. Logical Methods in Computer Science, 7 (2). ISSN 1860-5974

Beyersdorff, O, Meier, A, Thomas, M and Vollmer, H (2009) The Complexity of Reasoning for Fragments of Default Logic. In: Theory and Applications of Satisfiability Testing 2009. 12th International Conference, SAT 2009, 30 June - 03 July 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, Vollmer, H, Mundhenk, M and Schneider, T (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 July 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, 7 - 11 June 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 June - 3 July 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 September 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, Mahajan, M, Sreenivasaiah, K, Scharfenberger-Fabian, G and Thomas, M (2011) Verifying proofs in constant depth. In: Proceedings MFCS 2011. Mathematical Foundations of Computer Science 2011, 22 - 26 August 2011, Warsaw, Poland. Springer Verlag , 84 - 95 . ISBN 978-3-642-22992-3

Brodlie, KW, Mason, SA, Thompson, MR, Walkley, MA and Wood, J (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

Bulatov, AA, Dyer, ME, Goldberg, LA and Jerrum, M (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 February - 3 March 2012, Paris, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik , 302 - 313. ISBN 978-3-939897-35-4

C

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

Charbit, P, Habib, M, Trotignon, N and Vušković, K (2012) Detecting 2-joins faster. Journal of Discrete Algorithms, 17. 60 - 66. ISSN 1570-8675

Condotta, A, Knust, S, Meier, D and Shakhlevich, NV (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

D

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 March 2013, Redwood City. IEEE , 182 - 191. ISBN 978-1-4673-5659-6

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 1095-7170

Denaux, R, Dimitrova, V, Lau, LMS, Brna, P, Thakker, D and Steiner, C (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, Thakker, D, Ascolose, A and Pannese, L (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 July 2013, Memphis, USA. Springer , 121 - 130. ISBN 978-3-642-39111-8

Despotakis, D, Dimitrova, VG, Lau, L and Thakker, D (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-14th June 2013, Rome, Italy. Springer , 51 - 63 (13). ISBN 978-3-642-38843-9

Dimitrova, V, Lau, LMS, Thakker, D, Yang-Turner, F and Despotakis, D (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, Barnitzke, B, Corrales, M, Kiran, M, Jiang, M, Armstrong, D, Forgó, N and Nwankwo, I (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, Schunck, N, Nam, HA and Staszczak, A (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

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.) Proc. ACM Workshop on Functional High-Performance Computing. The 3rd ACM SIGPLAN Workshop on Functional High-Performance Computing, 4 September 2014, Gothenburg, Sweden. ACM Press . (In Press)

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

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

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

E

Elliott, CM and Ranner, T (2013) Evolving surface finite element method for the Cahn-Hilliard equation. Numerische Mathematik. ISSN 0029-599X (In Press)

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

G

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), 9-11 January 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

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

H

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

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 , 4-7 April 2011, University of York, UK. Society for the Study of Artificial Intelligence and Simulation of Behaviour , 43 - 48.

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, Zhang, P, Villaruz, LG, Kinoshita, S, Ando, S and Mizuno, D (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, Marsh, PD and Devine, DA (2014) Non-lethal control of the cariogenic potential of an agent-based model for dental plaque. PloS one, 9 (8). e105012 - ?. ISSN 1932-6203

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

Huettenberger, L, Heine, C, Carr, H, Scheuermann, G and Garth, C (2013) Towards multifield scalar topology based on pareto optimality. Computer Graphics Forum, 32 (3 Pt 3). 341 - 350. ISSN 0167-7055

K

Karanasios, S, Allen, D, Norman, AWT, Thakker, DA, Lau, L and Dimitrova, V (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 and Jiang, M (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

L

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

Lau, LMS, Dimitrova, VG, Yang-Turner, F, Tzagarakis, M, Karacapilidis, N and Christodoulou, S (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

Li, SS, Brucker, P, Ng, CT, Shakhlevich, NV and Yuan, JJ (2013) A note on reverse scheduling with maximum lateness objective. Journal of Scheduling, 16. 417 - 422. ISSN 1094-6136

M

Mizuno, D, Bacabac, R, Tardin, C, Head, D and Schmidt, CF (2009) High-resolution probing of cellular force transmission. Physical Review Letters, 102 (16). ISSN 0031-9007

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 July 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 June 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.

R

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

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

Ruddle, RA, Fateen, W, Treanor, D, Quirke, P and Sondergeld, P (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 October 2013, Atlanta, Georgia. IEEE , 89 - 96.

Ruddle, RA, Howes, A, Payne, SJ and Jones, DM (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, Volkova, E and Buelthoff, HH (2013) Learning to Walk in Virtual Reality. ACM Transactions on Applied Perception, 10 (2). 11. ISSN 1544-3558

S

Sargeant, AJ, Webster, DE, Djemame, K and Xu, J (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 June - 1 July 2010, Bradford. , Bradford, UK , 1263 - 1268 .

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, 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

Smith, R, Xu, J, Hima, S and Johnson, O (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 March 2013, Redwood City. IEEE , 292 - 297. ISBN 978-1-4673-5659-6

Solis Moreno, I, Garraghan, P, Townend, PM and Xu, J (2013) An Approach for Characterizing Workloads in Google Cloud to Derive Realistic Resource Utilization Models. In: Service Oriented System Engineering (SOSE), 2013 IEEE 7th International Symposium on. UNSPECIFIED. IEEE , 49 - 60 (12). ISBN 978-1-4673-5659-6

Sridhar, M, Cohn, AG and Hogg, DC (2010) Discovering an Event Taxonomy from Video using Qualitative Spatio-temporal Graphs. In: Coelho, H, Suder, R and Wooldridge, M, (eds.) ECAI 2010 - 19th European Conference on Artificial Intelligence,Proceedings. 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal. IOS Press , 1103 - 1104 . ISBN 160750605X

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 July 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 July 2010, Atlanta, Georgia, USA. AAAI Press , North America , 1631 - 1638 . ISBN 157735463X

T

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, Yang-Turner, F and Despotakis, D (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 July 2013, North Denmark. Springer-Verlag , 376 - 383. ISBN 978-3-642-39199-6

Townend, P, Viduto, V, Webster, D, Djemame, K, Lau, L, Dimitrova, V, Xu, J, Fores, S, Dibsdale, C, Austin, J, McAvoy, J and Hobson, S (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 July 2013, Santa Clara, CA. IEEE , 392 - 399. ISBN 978-0-7695-5026-8

Townend, P, Webster, D, Venters, CC, Dimitrova, V, Djemame, K, Lau, L, Xu, J, Fores, S, Viduto, V, Dibsdale, C, Taylor, N, Austin, J, McAvoy, J and Hobson, S (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 March 2013, Redwood City, USA. IEEE , 329 - 334. ISBN 978-1-4673-5659-6

Toyota, T, Head, DA, Schmidt, CF and Mizuno, D (2011) Non-Gaussian athermal fluctuations in active gels. Soft Matter, 7. 3234 - 3239 . ISSN 1744-683X

Truong-Hong, L, Laefer, DF, Hinks, T and Carr, H (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

V

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

Y

Yang-Turner, F, Lau, LMS, Dimitrova, V and Thakker, D (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 .

This list was generated on Sat Oct 25 12:55:55 2014 BST.