Publications

You can browse our publications using the list below or Google Scholar, Research Gate and the University's e-scholar publications system.

For a quick (e-scholar) search please use the filters.

2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | Complete list


2013

Conference contribution
  1. Korovin, K., & Morawska, B. (Eds.) (2013). 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. In EPiC Series. (Vol. 19). (EPiC Series). EasyChair. . Publication link: 52e74df2-b989-4a69-87ef-164f3cdc6247
  2. Bobba, S., Gaillardon, P. E., Seiculescu, C., Pavlidis, V. F., & De Micheli, G. (2013). 3.5-D integration: A case study. In 2013 IEEE International Symposium on Circuits and Systems, ISCAS 2013. (pp. 2087-2090). [6572285] DOI: 10.1109/ISCAS.2013.6572285. Publication link: 88ee809a-3cdd-4f45-a3c5-bfb1643dd143
  3. Riley, G. D., Osprey, A., Manjunathaiah, M., & Lawrence, B. N. (2013). A Benchmark-Driven Modelling Approach For Evaluating Deployment Choices On A Multi-Core Architecture. In host publication.. Publication link: 140a9286-6dc9-42ad-a34c-4e56f370dfa0
  4. Shardlow, M. (2013). A Comparison of Techniques to Automatically Identify Complex Words. In Proceedings of the Student Research Workshop at the 51st Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics. . Publication link: 4b775df0-1f4b-4d86-bcc8-566d598b9686
  5. Lau, K-K., Štepán, P., Tran, C., Saudrais, S., & Tchakalof, B. (2013). A Holistic (Component-based) Approach to AUTOSAR Designs. In host publication. (pp. 203-207). IEEE. . Publication link: 30668892-a273-4c37-a676-548ddb0a902e
  6. Banach, R., & Butler, M. (2013). A Hybrid Event-B Study of Lane Centering. In host publication. (pp. 97-111). Springer Verlag. . Publication link: 3d2834f2-30dc-4811-ae36-ec157483e1b5
  7. Parvizi, A., Jay, C., Mellish, C., Pan, J. Z., Ren, Y., Stevens, R., & van Deemter, K. (2013). A Pilot Experiment in Knowledge Authoring as Dialogue. In {Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013) - Short Papers}. (pp. 376-382). Association for Computational Linguistics. . Publication link: 07046f15-ab2a-4ae4-bfea-c6cf0c4dd209
  8. Khodadadi, M., Schmidt, R. A., Tishkovsky, D., Eiter, T. (Ed.), Glimm, B. (Ed.), Kazakov, Y. (Ed.), & Krötzsch, M. (Ed.) (2013). A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Proceedings of the 26th International Workshop on Description Logics (DL-2013). (Vol. Vol-1014, pp. 724-734). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 615f1d18-8cf7-477d-b311-7a53744572c5
  9. Loucopoulos, P., Sun, J., Zhao, L., & Heidari, F. (2013). A Systematic Classification and Analysis of NFRs. In 19th Americas Conference on Information Systems, AMCIS 2013 - Hyperconnected World: Anything, Anywhere, Anytime|19th Amer. Conf. Info. Syst., - Hyperconnected World: Anything, Anywhere, Anytime. (Vol. 1, pp. 208-217). U.S.A: AIS. DOI: 978-0-615-55907-0. Publication link: f08957bc-4933-425b-93ae-ecd537ed7bbe
  10. Tian, D., Gledson, A., Antoniades, A., Aristodimou, A., Dimitrios, N., Sahay, R., ... Keane, J. (2013). A bayesian association rule mining algorithm. In Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013|Proc. - IEEE Int. Conf. Syst., Man, Cybern., SMC. (pp. 3258-3264). IEEE Xplore. DOI: 10.1109/SMC.2013.555. Publication link: 046f4cec-681b-468a-b0d4-09e1780e4385
  11. Kaldis, E., Zhao, L., & Snowdon, R. (2013). A cooperative social platform to elevate cooperation to the next level - The case of a hotel chain: Short paper. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8186, pp. 35-41). Springer Verlag. DOI: 10.1007/978-3-642-41033-8_7. Publication link: deb2ca70-1066-456a-9221-7ab38ef7eee6
  12. Alnajem, A. A. I., & Zhang, N. (2013). A copula-based fraud detection (CFD) method for detecting evasive fraud patterns in a corporate mobile banking context. In 2013 International Conference on IT Convergence and Security, ICITCS 2013|Int. Conf. IT Convergence Secur., ICITCS. IEEE. DOI: 10.1109/ICITCS.2013.6717772. Publication link: 8e8bff44-0c5e-45f0-bb9e-91ff0b2de007
  13. Mihǎilǎ, C., & Ananiadou, S. (2013). A hybrid approach to recognising discourse causality in the biomedical domain. In Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine (BIBM) 2013. (pp. 361-366). IEEE. DOI: 10.1109/BIBM.2013.6732519. Publication link: 11d26261-1a3b-44bd-b69a-1b683a13a459
  14. Rast, A. D., Partzsch, J., Mayr, C., Schemmel, J., Hartmann, S., Plana, L. A., ... Furber, S. (2013). A location-independent direct link neuromorphic interface. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. USA: IEEE. DOI: 10.1109/IJCNN.2013.6706887. Publication link: b7ee6ecf-8f01-4e76-8c48-3e87831aa91b
  15. Heidari, F., Loucopoulos, P., Brazier, F., & Barjis, J. (2013). A meta-meta-model for seven business process modeling languages. In Proceedings - 2013 IEEE International Conference on Business Informatics, IEEE CBI 2013|Proc. - IEEE Int. Conf. Bus. Informatics, IEEE CBI. (pp. 216-221). IEEE Computer Society. DOI: 10.1109/CBI.2013.38. Publication link: 1c5d4754-a4a6-4834-90aa-aad20840e38e
  16. Gaber, T., Zhang, N., & Hassanien, A. E. (2013). A novel approach to allow multiple resales of DRM-protected contents. In Proceedings - 2013 8th International Conference on Computer Engineering and Systems, ICCES 2013|Proc. - Int. Conf. Comput. Eng. Syst., ICCES. (pp. 86-91). IEEE. DOI: 10.1109/ICCES.2013.6707177. Publication link: 2b175085-a527-4faf-8722-70a84958ffe1
  17. Reger, G., Barringer, H., & Rydeheard, D. (2013). A pattern-based approach to parametric specification mining. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. (pp. 658-663). IEEE. DOI: 10.1109/ASE.2013.6693129. Publication link: 95948aaf-06c4-472b-9e93-39ac029d646b
  18. Khodadadi, M., Schmidt, R. A., & Tishkovsky, D. (2013). A refined tableau calculus with controlled blocking for the description logic SHOI. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8123, pp. 188-202). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-40537-2_17. Publication link: 8df0994a-93d6-43a5-8041-65dcdfddc392
  19. Alsubait, T., Parsia, B., & Sattler, U. (2013). A similarity-based theory of controlling mcq difficulty. In e-Learning and e-Technologies in Education (ICEEE), 2013 Second International Conference on. (pp. 283-288). Publication link: bf11bda7-a406-460f-b5f2-038c092c29e4
  20. Belhajjam, K., Zhao, J., Garijo, D., Garrido, A., Soiland-Reyes, S., Alper, P., & Corcho, O. (2013). A workflow PROV-corpus based on Taverna and Wings. In Proceedings of the Joint EDBT/ICDT 2013 Workshops : New York, NY, USA. (pp. 331-332). ACM. DOI: 10.1145/2457317.2457376. Publication link: 433aaf30-efec-44b1-910b-cb64a32c535f
  21. Goodacre, J. (2013). ARM next generation 64bit processors for power efficient compute. In host publication. IEEE. DOI: 10.1109/VLDI-DAT.2013.6533862. Publication link: 5654cba8-abae-4510-aba3-3b24a614d7fe
  22. Anwar, F., Petrounias, I., Sampaio, S., Kodogiannis, V., & Morris, T. (2013). An efficient event definition framework for retail sector surveillance systems. In Proc IEEE ISM2013. Anaheim: IEEE Computer Society. . Publication link: cbbaf96a-981a-4687-9bcb-b719039cb4c7
  23. {Quesada-Mart{\'\i}nez}, M., {Fernández-Breis}, J. T., Stevens, R., Rojas, I. (Ed.), & {Ortuño-Guzman}, F. M. (Ed.) (2013). Analysis and Classification of Bio-ontologies by the Structure of their Labels. In I. Rojas, & F. M. {Ortuño-Guzman} (Eds.), {Proceedings of the International Work-Conference on Bioinformatics and Biomedical Engineering, (IWBBIO 2013)}. (pp. 713-720). Copicentro Editorial. . Publication link: 79db3b1e-59b9-46e4-895b-956225f8243c
  24. Song, W., & Garside, J. (2013). Automatic controller detection for large scale RTL designs. In Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013|Proc. - Euromicro Conf. Digit. Syst. Des., DSD. (pp. 844-851). Santander, Spain: Conference Publishing Services. DOI: 10.1109/DSD.2013.94. Publication link: 157971d5-d622-4d69-a7b2-90bcaa305bc0
  25. Rector, A. (2013). Axioms & templates: Distinctions & transformations amongst ontologies, frames, & information models. In Proceedings of the 7th International Conference on Knowledge Capture: "Knowledge Capture in the Age of Massive Web Data", K-CAP 2013|Proc. Int. Conf. Knowl. Capture: "Knowl. Capture Age Massive Web Data", K-CAP. ACM Press. . Publication link: 51453ef5-5fdb-4d8b-93cf-0062a92d11b7
  26. Dragan, I., Korovin, K., Kovács, L., & Voronkov, A. (2013). Bound Propagation for Arithmetic Reasoning in Vampire. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. (pp. 169-176). DOI: 10.1109/SYNASC.2013.30. Publication link: 3fc036f9-c061-4bed-a418-62b2a9c0bc80
  27. Vigo, M., & Harper, S. (2013). Challenging information foraging theory: Screen reader users are not always driven by information scent. In HT 2013 - Proceedings of the 24th ACM Conference on Hypertext and Social Media|HT - Proc. ACM Conf. Hypertext Soc. Media. (pp. 60-68). (HT '13). ACM. DOI: 10.1145/2481492.2481499. Publication link: 6f105916-eccb-43a8-9441-53871efb48d3
  28. Batista-Navarro, R. T., Rak, R., & Ananiadou, S. (2013). Chemistry-specific Features and Heuristics for Developing a CRF-based Chemical Named Entity Recogniser. In Proceedings of the Fourth BioCreative Challenge Evaluation Workshop. (Vol. 2, pp. 55-59). Publication link: 87835651-2c0b-4dc3-a9b2-4057009a4cb9
  29. Gonçalves, R. S., Parsia, B., & Sattler, U. (2013). Comparing Ontologies with ecco. In Proceedings of the {ISWC} 2013 Posters and Demonstrations Track. (Vol. 1035, pp. 49-52). ({CEUR} Workshop Proceedings). CEUR-WS.org. . Publication link: 1d6b0fdf-75cc-4a32-9dd7-15d0973626dc
  30. Brenninkmeijer, C. Y. A., Dunlop, I., Goble, C., Gray, A. J. G., Pettifer, S., Stevens, R., ... Splendiani, A. (Ed.) (2013). Computing Identity Co-Reference Across Drug Discovery Datasets. In A. Paschke, A. Burger, P. Romano, M. S. Marshall, & A. Splendiani (Eds.), {Proceedings of the 6th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS)}. (Vol. 1114). (CEUR Workshop Proceedings - Semantic Web Applications and Technologies for Life sciences (SWAT4LS)). CEUR-WS.org. . Publication link: c7b540e2-b1f8-4117-80d1-041884dc023d
  31. Papacchini, F., & Schmidt, R. A. (2013). Computing minimal models modulo subset-simulation for modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8152, pp. 279-294). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: 10.1007/978-3-642-40885-4_20. Publication link: 71baabd3-aaf5-4306-8e23-79d14b17ef28
  32. Vigo, M., & Harper, S. (2013). Considering people with disabilities as Überusers for eliciting generalisable coping strategies on the Web. In Proceedings of the 3rd Annual ACM Web Science Conference, WebSci 2013|Proc. Annu. ACM Web Sci. Conf., WebSci. (pp. 441-444). (WebSci '13). ACM. DOI: 10.1145/2464464.2464494. Publication link: cfed4906-3480-45da-b84d-91bead275036
  33. Lê, N. M., Guatto, A., Cohen, A., & Pop, A. (2013). Correct and efficient bounded FIFO queues. In Proceedings - Symposium on Computer Architecture and High Performance Computing|Proc. Symp. Comput. Archit. High Perform. Comput.. (pp. 144-151). IEEE Computer Society. DOI: 10.1109/SBAC-PAD.2013.8. Publication link: b806ddb4-0357-4a60-9916-f270ee4aa0ce
  34. Lê, N. M., Pop, A., Cohen, A., & Zappa Nardelli, F. (2013). Correct and efficient work-stealing for weak memory models. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP|Proc ACM SIGPLAN Symp Prins Pract Parall Program PPOPP. (pp. 69-79). New York, USA: Association for Computing Machinery. DOI: 10.1145/2442516.2442524. Publication link: 335cf90f-97d3-48c6-97f0-ae5c8d53f5d1
  35. Sharp, T., & Furber, S. (2013). Correctness and performance of the SpiNNaker architecture. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. USA: IEEE. DOI: 10.1109/IJCNN.2013.6706988. Publication link: d83a51a7-eed9-4b9b-923f-06ded075dff2
  36. Sander Frigau, M. (2013). Cross-layer transmit power and beacon rate adaptation for VANETs. In DIVANet 2013 - Proceedings of the 3rd ACM International Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications, Co-located with ACM MSWiM 2013|DIVANet - Proc. ACM Int. Symp. Des. Anal. Intelligent Veh. Networks Appl., Co-located ACM MSWiM. (pp. 129-136). USA: ACM SIGSIM. DOI: 10.1145/2512921.2518070. Publication link: edb04337-b15e-404a-a6cf-4e39c5058034
  37. Banach, R., & Butler, M. (2013). Cruise control in hybrid event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8049, pp. 76-93). LNCS 8049. DOI: 10.1007/978-3-642-39718-9-5. Publication link: e2ff1afa-faf0-4260-8327-1e9b5d1ca21d
  38. Rak, R., Batista-Navarro, R. T., Rowley, A., Carter, J., & Ananiadou, S. (2013). Customisable Curation Workflows in Argo. In Proceedings of the Fourth BioCreative Challenge Evaluation Workshop. (Vol. 1, pp. 270-278). Publication link: 12b1457a-63e5-46fc-9ede-15998bc17f4f
  39. Pourmirza, Z., & Brooke, J. M. (2013). Data Reduction for an ICT Network in the Smart Grid. In Proceedings - 9th International Conference on Intelligent Environments, IE 2013|Proc. - Int. Conf. Intelligent Environ., IE. (pp. 224-227). IEEE Computer Society. DOI: 10.1109/IE.2013.26. Publication link: 487751d5-5d5e-4215-8dd4-07eb6e6ef039
  40. Rak, R., Rowley, A., Carter, J., & Ananiadou, S. (2013). Development and Analysis of NLP Pipelines in Argo. In Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics: System Demonstrations. (pp. 115-120). Publication link: 79288ae2-428a-4bfd-b058-6bdeaf3aa8cf
  41. Pyysalo, S., Ginter, F., Moen, H., Salakoski, T., & Ananiadou, S. (2013). Distributional Semantics Resources for Biomedical Text Processing. In Proceedings of LBM 2013. (pp. 39-44). Publication link: 8b865ebe-417a-41fb-acb7-241efe6a5490
  42. Koch, D., Amano, H. (Ed.), Ha, Y. (Ed.), & Yamaguchi, Y. (Ed.) (2013). EasyPR — An easy usable open-source PR system. In H. Amano, Y. Ha, & Y. Yamaguchi (Eds.), 2013 International Conference on Field-Programmable Technology (FPT). (pp. 414-417). USA: IEEE. DOI: 10.1109/FPT.2013.6718402. Publication link: 9b075705-94a0-4410-a4e5-6975d81db2b3
  43. Pietri, I., Malawski, M., Juve, G., Deelman, E., Nabrzyski, J., & Sakellariou, R. (2013). Energy-constrained provisioning for scientific workflow ensembles. In Proceedings - 2013 IEEE 3rd International Conference on Cloud and Green Computing, CGC 2013 and 2013 IEEE 3rd International Conference on Social Computing and Its Applications, SCA 2013|Proc. - IEEE Int. Conf. Cloud Green Comput., CGC 2013 IEEE Int. Conf. Soc. Comput. Its Appl., SCA. (pp. 34-41). DOI: 10.1109/CGC.2013.14. Publication link: 47f98d7a-eafb-4fe8-8374-874fb9cd4d14
  44. Alper, P., Belhajjame, K., & Goble, C. (2013). Enhancing and Abstracting Scientific Workflow Provenance for Data Publishing. In host publication.. Publication link: d44fa34d-7817-46a6-a790-eeecea5416e9
  45. Bibi, N., Kleerekoper, A., Cheetham, B., & Filer, N. (2013). Equation-method for reducing the bit-errors caused by clipping distortion in OFDM signals. In Proceedings - UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation, EMS 2013|Proc. - UKSim-AMSS Eur. Model. Symp. Comput. Model. Simul., EMS. (pp. 652-656). IEEE Computer Society. DOI: 10.1109/EMS.2013.109. Publication link: f74ce6ab-4087-42e8-9d5d-97b323a0a36b
  46. Yesilada, Y., Harper, S., & Eraslan, S. (2013). Experiential transcoding: an EyeTracking approach. In Proceedings of the 10th International Cross-Disciplinary Conference on Web Accessibility. (pp. 1-4). (W4A '13). ACM DL: ACM. DOI: 10.1145/2461121.2461134. Publication link: f3e4a0f4-a851-409b-a477-e861f93d0e1d
  47. Mihaila, C., Kontonatsios, G., Thompson, P., Batista-Navarro, R. T., Mihaila, C., Korkontzelos, I., ... Hussain, S. (Ed.) (2013). Extending an interoperable platform to facilitate the creation of multilingual and multimodal NLP applications. In M. Butt, & S. Hussain (Eds.), Proceedings of the System Demonstration Session at The 51st Annual Meeting of the Association for Computational Linguistics. (pp. 43-48). Association for Computational Linguistics. . Publication link: 3d66b057-6d0e-452d-9adf-51d48c1997e9
  48. Copeland, M., Gonçalves, R. S., Parsia, B., Sattler, U., & Stevens, R. (2013). Finding fault: Detecting issues in a versioned ontology. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7955, pp. 113-124). (CEUR Workshop Proceedings). CEUR-WS.org. DOI: 10.1007/978-3-642-41242-4_10. Publication link: 5e72cac7-c7ec-4254-ba97-08a626bc85fe
  49. Copeland, M., Gonçalves, R. S., Parsia, B., Sattler, U., & Stevens, R. (2013). Finding fault: detecting issues in a versioned ontology. In Proceedings of the Second International Workshop on Debugging Ontologies and Ontology Mapping (WoDOOM 2013). (Vol. 999, pp. 9-20). ({CEUR} Workshop Proceedings). CEUR-WS.org. . Publication link: f2bf7f26-7113-431f-bdbd-4971b8abd5f3
  50. Kovács, L., & Voronkov, A. (2013). First-Order Theorem Proving and Vampire. In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. (pp. 1-35). DOI: 10.1007/978-3-642-39799-8_1. Publication link: 1effb5d9-4b48-465c-8f99-c05135863831
  51. Koopmann, P., & Schmidt, R. A. (2013). Forgetting concept and role symbols in ALCH-ontologies. In K. McMillan, A. Middeldorp, & A. Voronkov (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8312, pp. 552-567). Springer Verlag. DOI: 10.1007/978-3-642-45221-5_37. Publication link: 04ee0059-d1b9-4bc8-b5e4-2d885cc83831
  52. Korovin, K. (2013). From Resolution and DPLL to Solving Arithmetic Constraints. In Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. (pp. 261-262). DOI: 10.1007/978-3-642-40885-4_18. Publication link: d98d6e88-9ff4-4dc0-8be4-e9c7b912c76b
  53. Coppola, M., Falsafi, B., Goodacre, J., & Kornaros, G. (2013). From embedded multi-core SoCs to scale-out processors. In host publication. (pp. 947-951). IEEE. DOI: 10.7873/DATE.2013.199. Publication link: d6d23d6e-33a6-4984-b8fb-bbe60981b040
  54. Fontaine, P., Ringeissen, C., & Schmidt, R. A. (Eds.) (2013). Frontiers of Combining Systems -- FroCoS 2013. 9th International Symposium on Frontiers of Combining Systems, Nancy, September 18-20, 2013. Proceedings. In Lecture Notes in Artificial Intelligence. (Vol. 8152). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: http://link.springer.com/book/10.1007/978-3-642-40885-4/. Publication link: fa2fa5c9-67a9-4eb0-a297-f4a2e57bdb4c
  55. Kapur, D., Nieuwenhuis, R., Voronkov, A., Weidenbach, C., & Wilhelm, R. (2013). Harald Ganzinger's Legacy: Contributions to Logics and Programming. In Programming Logics - Essays in Memory of Harald Ganzinger. (pp. 1-18). DOI: 10.1007/978-3-642-37651-1_1. Publication link: 94160cd3-99ba-4290-aca2-7d48310fd786
  56. Bechhofer, S., Page, K., & De Roure, D. (2013). Hello cleveland! Linked data publication of live music archives. In International Workshop on Image Analysis for Multimedia Interactive Services|Int. Workshop Image Analysis Multimedia Interact. Serv.. IEEE. DOI: 10.1109/WIAMIS.2013.6616155. Publication link: 3438a3b7-c112-4103-a496-0ede5626a37e
  57. Hang, F., & Zhao, L. (2013). HyperMash: A heterogeneous service composition approach for better support of the end users. In Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013|Proc. - IEEE Int. Conf. Web Serv., ICWS. (pp. 435-442). U.S.A: IEEE Computer Society. DOI: 10.1109/ICWS.2013.65. Publication link: 776b411f-c3ae-4190-89e5-b10c340c41b3
  58. Brenninkmeijer, C. Y. A., Goble, C., Gray, A. J. G., Groth, P., Loizou, A., & Pettifer, S. (2013). Including Co-referent URIs in a SPARQL Query. In Proceedings of Fourth International Workshop on Consuming Linked Data (COLD2013). CEUR Workshop Proceedings. . Publication link: f13955a8-0dff-455d-add4-420aa9828fb9
  59. Goble, C., Gray, A. J. G., Harland, L., Karapetyan, K., Loizou, A., Mikhailov, I., ... Willighagen, E. (2013). Incorporating Private and Commercial Data into an Open Linked Data Platform for Drug Discovery. In host publication. Springer Verlag. . Publication link: c4480f0e-2180-4e04-a50d-0a11fc5b21a9
  60. Alshahrani, A., & Ramsay, A. (2013). Inference for Natural Language. In O. Popescu, A. Lavelli, & O. Popescu (Eds.), Proceedings of the Joint Symposium on Semantic Processing. Textual Inference and Structures in Corpora. (pp. 60-64). Trentino – Italy: ACL Anthology. . Publication link: 766fe747-29ef-4d98-84d8-1dec0bd87020
  61. Alshahrani, A., & Ramsay, A. M. (2013). Inference for Natural Language, In host publication. (pp. 60-64). Publication link: 66ed1f6d-492a-44a5-a4ff-09ea63b65798
  62. Korovin, K. (2013). Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. In Programming Logics - Essays in Memory of Harald Ganzinger. (pp. 239-270). DOI: 10.1007/978-3-642-37651-1_10. Publication link: 45e91218-a490-487b-b29c-2b97ce87a038
  63. Bjørner, N., Gurfinkel, A., Korovin, K., & Lahav, O. (2013). Instantiations, Zippers and EPR Interpolation. In {LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. (pp. 35-41). Publication link: 29ba8ea4-52bc-4c22-8a09-be2ac2dc9521
  64. Kozikowski, G., & Kubica, B. J. (2013). Interval arithmetic and automatic differentiation on GPU using OpenCL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7782, pp. 489-503). Helsinki: Springer Verlag. . Publication link: 4d0f4a00-f851-44c6-b51d-960a7faca7c6
  65. Meng, F-L., Zeng, X-J., & Ma, Q. (2013). Learning Customer Behaviour under Real-Time Pricing in the Smart Grid. In Systems, Man, and Cybernetics (SMC), 2013 IEEE International Conference on. (pp. 3186-3191). Publication link: c5defe01-7c05-4884-94cc-469d35e9e35e
  66. Quesada-Martínez, M., Fernández-Breis, J. T., & Stevens, R. (2013). Lexical characterization and analysis of the BioPortal ontologies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7885, pp. 206-215). (Lecture Notes in Computer Science (LNCS)). Springer Verlag. DOI: 10.1007/978-3-642-38326-7_31. Publication link: f1a89f9d-1abe-4b47-8cb5-8b24bc4199f2
  67. McMillan, K. L., Middeldorp, A., & Voronkov, A. (Eds.) (2013). Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. In Lecture Notes in Computer Science. (Vol. 8312). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-45221-5. Publication link: 8da1c7ed-d91c-44d9-8747-e485d5404d61
  68. Rak, R., & Ananiadou, S. (2013). Making UIMA Truly Interoperable with SPARQL. In Proceedings of the 7th Linguistic Annotation Workshop and Interoperability with Discourse. (pp. 88-97). Publication link: d468c3dc-044e-4f28-9bab-f8beacdb0c59
  69. Filannino, M., Brown, G., & Nenadic, G. (2013). ManTIME: Temporal expression identification and normalization in the TempEval-3 challenge. In Volume 2: Proceedings of the Seventh International Workshop on Semantic Evaluation (SemEval 2013). (pp. 53-57). Stroudsburg, PA 18360 USA: The Association for Computational Linguistics. . Publication link: 675dd9e9-7141-4aee-a832-8436dd310c64
  70. Guo, C., Hedeler, C., Paton, N. W., & Fernandes, A. A. A. (2013). MatchBench: Benchmarking schema matching algorithms for schematic correspondences. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7968, pp. 92-106). (LNCS). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-39467-6_11. Publication link: 331af993-4833-444e-abef-755f09a69d37
  71. Emran, N. A., Embury, S. M., Missier, P., Isa, M. N. M., & Muda, A. K. (2013). Measuring Data Completeness for Microbial Genomics Database. In Intelligent Information and Database Systems - 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I. (Vol. 7802, pp. 186-195). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-36546-1_20. Publication link: 2e0960e6-96cd-4711-960b-7b82d78fab44
  72. Ren, J., Liu, X., Li, B., Zhao, L., Liu, H., Liu, X., ... Wang, C. (2013). Measuring the Utility of Mobile Phone Video Service Based on A Service Value Network Model. In Proceedings of The 19th Americas Conference on Information Systems. U.S.A.: AIS. . Publication link: bd40d13b-fea3-4606-b58a-15f89e96d6c1
  73. José, R., Cardoso, J., Alt, F., Clinch, S., & Davies, N. (2013). Mobile Applications for Open Displays Networks: Common Design Considerations. In Proceedings of the 2013 International Symposium on Pervasive Displays. (pp. 97-102). (PerDis '13). New York, NY, USA: ACM. . Publication link: 35babd1d-5835-4ab8-b098-611755ee1d10
  74. Brajnik, G., Harper, S., Kun, A. (Ed.), & Froelich, P. (Ed.) (2013). Model-based engineering of user interfaces to support cognitive load estimation in automotive applications. In A. Kun, & P. Froelich (Eds.), Cognitive Load and In-Vehicle Human-Machine Interaction Workshop; adjuct Proceedings of the 5th Int. Conference on Automotive User Interfaces and Interactive Vehicular Applications. ACM Press. . Publication link: c5549d11-6711-4a46-bf4c-1befa6e75091
  75. Liu, Q., Patterson, C., Furber, S., Huang, Z., Hou, Y., & Zhang, H. (2013). Modeling populations of spiking neurons for fine timing sound localization. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. USA: IEEE. DOI: 10.1109/IJCNN.2013.6706931. Publication link: 678b19bb-fdb5-48cf-af88-eef7ad8b1400
  76. Rydeheard, D., & Rusmawati, Y. (2013). Modelling and Reasoning about Dynamic Networks as Concurrent Systems. In C. Choppy, & J. Sun (Eds.), Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). (Vol. 31, pp. 80-85). InProceedings: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. DOI: 10.4230/OASIcs.FSFMA.2013.80, http://dx.doi.org/10.4230/OASIcs.FSFMA.2013.80. Publication link: 34a171af-7da1-414b-a23f-a5669b271a93
  77. Pourmirza, Z., & Brooke, J. M. (2013). Monitoring and visualising a neighbourhood area sub-grid. In SMARTGREENS 2013 - Proceedings of the 2nd International Conference on Smart Grids and Green IT Systems|SMARTGREENS - Proc. Int. Conf. Smart Grids Green IT Syst.. (pp. 127-131). SciTePress. DOI: 10.5220/0004409101270131. Publication link: 7c7ae283-05a0-49e3-a3dd-acc5aef6e1c3
  78. Xiao, Y., Clinch, S., Davies, N., & Satyanarayanan, M. (2013). Move Closer: The Benefits of A Flexible Approach to Display and Application Placement. In Proceedings of the 2013 International Symposium on Pervasive Displays. (PerDis '13). ACM. . Publication link: c08bbb39-d740-4d8a-8afb-11546d52e69b
  79. Batista-Navarro, R. T., Rak, R., & Ananiadou, S. (2013). NaCTeM CTD Web Services. In Proceedings of the Fourth BioCreative Challenge Evaluation Workshop. (Vol. 1, pp. 85-89). Publication link: 34d6062d-6f23-4a40-8232-250f68f2b745
  80. Miwa, M., & Ananiadou, S. (2013). NaCTeM EventMine for BioNLP 2013 CG and PC tasks. In Proceedings of BioNLP Shared Task 2013 Workshop. (pp. 94-98). Association for Computational Linguistics. . Publication link: 3ac4b36f-5c1b-4684-ab0b-9079430abdd8
  81. Rak, R., Batista-Navarro, R. T., Rowley, A., Miwa, M., Carter, J., & Ananiadou, S. (2013). NaCTeM’s BioC Modules and Resources for BioCreative IV. In Proceedings of the Fourth BioCreative Challenge Evaluation Workshop. (Vol. 1, pp. 61-67). Publication link: 07d8ae4b-470b-43e9-8572-798c3f64f83c
  82. Thompson, P., Nawaz, R., Korkontzelos, I., Black, W., McNaught, J., & Ananiadou, S. (2013). News search using discourse analytics. In Proceedings of the DigitalHeritage 2013 - Federating the 19th Int'l VSMM, 10th Eurographics GCH, and 2nd UNESCO Memory of the World Conferences, Plus Special Sessions fromCAA, Arqueologica 2.0 et al.|Proc. Digit. Herit. Int. Congr., DigitalHeritage - Fed. Int. VSMM, Eurographics GCH, UNESCO Mem. World Conf., Plus Spec. Ses. (Vol. 1, pp. 597-604). Piscataway, NJ: IEEE. DOI: 10.1109/DigitalHeritage.2013.6743801. Publication link: c234c92d-a12b-489b-835d-61ef14cee0d8
  83. Korovin, K. (2013). Non-cyclic Sorts for First-Order Satisfiability. In Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. (pp. 214-228). DOI: 10.1007/978-3-642-40885-4_15. Publication link: 3c939e5c-92f6-4fbb-a9ec-5349c6685cf5
  84. Gonçalves, R. S., Bail, S., Jimenez-Ruiz, E., Matentzoglu, N., Parsia, B., Glimm, B., & Kazakov, Y. (2013). OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. In ORE. (pp. 1-18). Publication link: 3fc1c1de-19af-4f22-9e38-c4e649f7dfbc
  85. Holl, S., Garijo, D., Belhajjame, K., Zimmermann, O., Giovanni, R. D., Obst, M., & Goble, C. (2013). On Specifying and Sharing Scientific Workflow Optimization Results Using Research Objects. In Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science. (pp. 28-37). (WORKS '13). ACM. DOI: 10.1145/2534248.2534251. Publication link: 0010d026-093e-4788-a322-b452a5f63575
  86. Alper, P., Belhajjame, K., & Goble, C. (2013). On assisting scientific data curation in collection-based dataflows using labels. In Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science. (pp. 7-16). {ACM} Press. DOI: 10.1145/2534248.2534249. Publication link: 4a04c696-8400-4652-98fa-6fab2a81901e
  87. Heidari, F., Loucopoulos, P., & Brazier, F. (2013). Ontology for Quality Specification in Requirements Engineering. In host publication.. Publication link: 9fe397d6-e50c-44d9-9ec7-29f77f7e5ad3
  88. Dunlop, I., Ramgolam, R., Pettifer, S., Gray, A. J. G., Eales, J., Goble, C., & Velterop, J. (2013). Open PHACTS Explorer 2: Bringing the web to the semantic web. In Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2013). CEUR-WS. . Publication link: ec04847b-d8ef-40a5-82e1-2c1321d00b18
  89. Bechhofer, S., Kulovits, H., Kraxner, M., Plangg, M., & Becker, C. (2013). Open Preservation Data: Controlled vocabularies and ontologies for preservation ecosystems. In IPRES 2013 – Proceedings of the 10th International Conference on Preservation of Digital Objects ; ed. José Borbinha, Michael Nelson, Steve Knight.. Publication link: 1e254d3e-a075-4fce-b31d-b4cbe74f61a6
  90. Alabbas, M., & Ramsay, A. (2013). Optimising tree edit distance with subtrees for textual entailment. In International Conference Recent Advances in Natural Language Processing, RANLP|Int. Conf. Recent Adv. Nat. Lang. Proces., RANLP. (pp. 9-17). Publication link: 044b37e6-1bcc-4462-84ba-ff5a36b2d07f
  91. Pyysalo, S., Ohta, T., & Ananiadou, S. (2013). Overview of the Cancer Genetics (CG) task of BioNLP Shared Task 2013. In Proceedings of the BioNLP Shared Task 2013 Workshop. (pp. 58-66). Association for Computational Linguistics. . Publication link: 4d770228-292e-4a1e-a04c-319351f8b324
  92. Ohta, T., Pyysalo, S., Rak, R., Rowley, A., Chun, H-W., Jung, S. -J., ... Ananiadou, S. (2013). Overview of the Pathway Curation (PC) task of BioNLP Shared Task 2013. In Proceedings of the BioNLP Shared Task 2013 Workshop. (pp. 67-75). Association for Computational Linguistics. . Publication link: 9f4307bb-ed2d-444e-a21b-9933b961f4b3
  93. Pérez, J. A. N., & Voronkov, A. (2013). Planning with Effectively Propositional Logic. In Programming Logics - Essays in Memory of Harald Ganzinger. (pp. 302-316). DOI: 10.1007/978-3-642-37651-1_13. Publication link: 39e57b12-d3fe-4476-8dc9-d2e15146ed0f
  94. Banach, R. (2013). Pliant modalities in hybrid event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8051, pp. 37-53). LNCS 8051. DOI: 10.1007/978-3-642-39698-4_3. Publication link: b173b000-c06a-4afb-9901-58b4d282151f
  95. Stromatias, E., Galluppi, F., Patterson, C., & Furber, S. (2013). Power analysis of large-scale, real-time neural networks on SpiNNaker. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. (pp. 1570-1577). USA: IEEE. DOI: 10.1109/IJCNN.2013.6706927. Publication link: b986e749-b7bd-4e0b-8354-cefb7c5aeda4
  96. Buckley, D., Chen, K., & Knowles, J. (2013). Predicting skill from gameplay input to a first-person shooter. In IEEE Conference on Computatonal Intelligence and Games, CIG|IEEE Conf. Comput. Intell. Games, CIG. U.S.A.: IEEE Press. DOI: 10.1109/CIG.2013.6633655. Publication link: b0b87f0c-2087-414a-8425-5237d83d82b7
  97. Bechhofer, S., Sierman, B., Jones, C., & Elstrøm, G. (2013). Preservation Policy Levels in SCAPE. In IPRES 2013 – Proceedings of the 10th International Conference on Preservation of Digital Objects ; ed. José Borbinha, Michael Nelson, Steve Knight.. Publication link: d3ed2d09-6c25-4cd2-95d6-b45ec6b20ec3
  98. Supakkul, S., Zhao, L., Paech, B., Liu, L., Naish, J., & Chung, L. (2013). Proceedings of 2013 IEEE 3rd International Workshop on Requirements Patterns (RePa). In International Workshop on Requirements Patterns. (Vol. 1). (International Workshop on Requirements Patterns). Germany: IEEE. . Publication link: 3e5575e4-46e2-41d3-838d-7e4d5afb0b2d
  99. Castro, A. G., Lange, C., Lord, P. W., & Stevens, R. (Eds.) (2013). Proceedings of the 3rd Workshop on Semantic Publishing (SePublica'13). In CEUR Workshop Proceedings - Semantic Publishing. (Vol. 994). (CEUR Workshop Proceedings - Semantic Publishing). CEUR-WS.org. . Publication link: 783e8c54-2cd0-41f0-8e32-782eac226f06
  100. Voronkov, A., & Weidenbach, C. (Eds.) (2013). Programming Logics - Essays in Memory of Harald Ganzinger. In Lecture Notes in Computer Science. (Vol. 7797). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-37651-1. Publication link: ef79334b-687c-4e23-a084-5ce4892ca29d
  101. Sun, J., Zhao, L., Loucopoulos, P., & Zhou, B. (2013). QRA: A Quality Requirements Analysis Approach for Service Systems. In Proceedings - IEEE 10th International Conference on Services Computing, SCC 2013|Proc. - IEEE Int. Conf. Serv. Comput., SCC. (pp. 25-32). U.S.A: IEEE Press. DOI: 10.1109/SCC.2013.48. Publication link: 88bc827c-4a4a-4e41-8000-19e38d4d6175
  102. Denk, C., Llobet-Blandino, F., Galluppi, F., Plana, L. A., Furber, S., & Conradt, J. (2013). Real-time interface board for closed-loop robotic tasks on the SpiNNaker neural computing system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.: Lecture Notes in Computer Science. (Vol. 8131, pp. 467-474). Berlin Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-40728-4_59. Publication link: 84cf51f5-6627-4e88-90fc-920a6df558bc
  103. Emran, N. A., Embury, S. M., Missier, P., & Ahmad, N. (2013). Reference Architectures to Measure Data Completeness across Integrated Databases. In Intelligent Information and Database Systems - 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I. (Vol. 7802, pp. 216-225). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-36546-1_23. Publication link: 2c4f83b6-f772-43b9-ad5b-2673ca9a5d09
  104. Sun, J., Loucopoulos, P., & Zhao, L. (2013). Representing and elaborating quality requirements: The QRA approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8217, pp. 446-453). Springer Verlag. DOI: 10.1007/978-3-642-41924-9_37. Publication link: 028c3a4b-57c6-4bb3-adc4-77f2b5366587
  105. Goodacre, J. (2013). Scaling Mobile Compute to the Data Centre. In host publication. IEEE. . Publication link: 9e2ccc17-b9f0-4487-b674-d50eefdb73ba
  106. Brenninkmeijer, C., Evelo, C., Goble, C., Gray, A. J. G., Groth, P., Pettifer, S., ... Willighagen, E. (2013). Scientific Lenses: An Approach to Dynamically Vary the Relationships between Datasets. In Intelligent Systems for Molecular Biology and European Conference on Computational Biology (ISMB/ECCB 2013).. Publication link: 4ce44e29-fa5c-4afe-a5bf-6edfc3a251cf
  107. Dyer, J., Smari, W. W. (Ed.), Zeljkovic, V. (Ed.), & Zhang, N. (2013). Security issues relating to inadequate authentication in MapReduce applications. In W. W. Smari, & V. Zeljkovic (Eds.), High Performance Computing and Simulation (HPCS), 2013 International Conference on. (pp. 281-288). IEEE Xplore: IEEE. DOI: 10.1109/HPCSim.2013.6641427. Publication link: 3ec9c240-b9c8-4724-b5e1-6e743ae39f00
  108. Lau, K-K., Lamersdorf, W., & Pimentel, E. (2013). Service-Oriented and Cloud Computing. In Lecture Notes in Computer Science. (Vol. 8135). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 9365b4d2-d886-4d45-a7bd-9335c27be93a
  109. Voronkov, A., Sutcliffe, G., Baaz, M., & Fermüller, C. G. (Eds.) (2013). Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010. In EPiC Series. (Vol. 13). (EPiC Series). EasyChair. . Publication link: 71a133c1-b4a6-4650-a6b0-7806f1a887d2
  110. Mustafa, M. A., Zhang, N., Kalogridis, G., & Fan, Z. (2013). Smart electric vehicle charging: Security analysis. In 2013 IEEE PES Innovative Smart Grid Technologies Conference, ISGT 2013|IEEE PES Innovative Smart Grid Technol. Conf., ISGT. Washington, DC, USA: IEEE PES. DOI: 10.1109/ISGT.2013.6497830. Publication link: e0fd4f55-062d-4ed2-a69b-f9b865c09e22
  111. Madl, T., Franklin, S., Chen, K., & Trappl, R. (2013). Spatial Working Memory in the LIDA Cognitive Architecture. In Proceedings of International Conference on Cognitive Modelling.. Publication link: fd39110a-e828-4d9c-ae2a-173ddf3e9a7c
  112. Davies, S., Stewart, T., Eliasmith, C., & Furber, S. (2013). Spike-based learning of transfer functions with the SpiNNaker neuromimetic simulator. In Proceedings of the International Joint Conference on Neural Networks|Proc Int Jt Conf Neural Networks. USA: IEEE. DOI: 10.1109/IJCNN.2013.6706962. Publication link: b0e59c96-d2f0-49ec-aef7-e97570fdc4cd
  113. Christodoulou, K., Paton, N. W., & Fernandes, A. A. A. (2013). Structure inference for linked data sources using clustering. In ACM International Conference Proceeding Series|ACM Int. Conf. Proc. Ser.. (pp. 60-67). DOI: 10.1145/2457317.2457328. Publication link: aaffa20c-cf1a-4bdb-92f8-847091858fcc
  114. Batista-Navarro, R. T., Kontonatsios, G., Mihaila, C., Thompson, P., Nawaz, R., Korkontzelos, I., & Ananiadou, S. (2013). Supporting Discourse Phenomena in an Interoperable NLP Framework. In host publication.. Publication link: cd8dcfd4-6be7-41a3-a0b5-134362040738
  115. Letsholo, K. J., Zhao, L., & Chioasca, E. V. (2013). TRAM: A tool for transforming textual requirements into analysis models. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. (pp. 738-741). IEEE. DOI: 10.1109/ASE.2013.6693146. Publication link: e12e91ce-c127-410e-81ec-6d1a22e38304
  116. Kalankesh, L., Weatherall, J., Ba-Dhfari, T., Buchan, I., & Brass, A. (2013). Taming EHR data: Using semantic similarity to reduce dimensionality. In Studies in Health Technology and Informatics|Stud. Health Technol. Informatics. (Vol. 192, pp. 52-56). DOI: 10.3233/978-1-61499-289-9-52. Publication link: 53424f71-8273-4950-8e7c-15c382eb097c
  117. Soiland-Reyes, S., Cannata, N. (Ed.), Romano, P. (Ed.), Zhang, H., & Goble, C. (2013). Taverna Mobile: Taverna workflows on Android. In N. Cannata, & P. Romano (Eds.), NETTAB 2013 Workshop on “Semantic, Social, and Mobile Applications for Bioinformatics and Biomedical Laboratories” 16-18 October 2013, Lido of Venice, Italy http://www.nettab.org/2013/. (Vol. 19(suppl B)). EMBnet.journal. DOI: 10.14806/ej.19.B.727. Publication link: 75614ac7-7e40-4e43-bba2-929297586bfc
  118. Hoder, K., & Voronkov, A. (2013). The 481 Ways to Split a Clause and Deal with Propositional Variables. In Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. (pp. 450-464). DOI: 10.1007/978-3-642-38574-2_33. Publication link: f83878fd-eb74-4bd3-8877-847f6fcfe7b4
  119. Shardlow, M. (2013). The CW Corpus: Evaluating the Identification of Complex Words. In Proceedings of the Second Workshop on Predicting and Improving Text Readability for Target Reader Populations at the 51st Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics. . Publication link: 11b82ce9-2924-4813-945d-7bcc9a4ed581
  120. Jaf, S., & Ramsay, A. (2013). The Hybridisation of a Data-driven Parser for Natural Languages. In 6th International Conference on Language and Technology. (pp. 531-535). Publication link: 1dc87b44-5717-4b01-93e6-8b8221ef760c
  121. Ha, K., Pillai, P., Lewis, G., Simanta, S., Clinch, S., Davies, N., & Satyanarayanan, M. (2013). The Impact of Mobile Multimedia Applications on Data Center Consolidation. In Proceedings of the IEEE International Conference on Cloud Engineering. (pp. 166 - 176). (IC2E '13). IEEE. . Publication link: bb35c941-2b18-4e5d-bf03-03b20d17828a
  122. Kovács, L., Mantsivoda, A., & Voronkov, A. (2013). The Inverse Method for Many-Valued Logics. In Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I. (pp. 12-23). DOI: 10.1007/978-3-642-45114-0_2. Publication link: a820ae9e-e5de-4d80-b950-d0f9df5da624
  123. Gonçalves, R. S., Matentzoglu, N., Parsia, B., & Sattler, U. (2013). The empirical robustness of description logic classification. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 1014, pp. 197-208). ({CEUR} Workshop Proceedings). CEUR-WS.org. . Publication link: 054a2ba9-ce90-46e4-8296-266a7026d62c
  124. Goodacre, J. (2013). The evolution of the ARM architecture towards big data and the data-centre. In VHPC '13 Proceedings of the 8th Workshop on Virtualization in High-Performance Cloud Computing. ACM. DOI: 10.1145/2535800.2535921. Publication link: 12527581-55a2-4db6-b885-9b4aab25d44a
  125. Bail, S., Parsia, B., & Sattler, U. (2013). The logical diversity of explanations in OWL ontologies. In International Conference on Information and Knowledge Management, Proceedings|Int Conf Inf Knowledge Manage. (pp. 559-568). DOI: 10.1145/2505515.2505536. Publication link: 96255914-41dd-427c-ba58-04cec05137f8
  126. Pourmirza, Z., & Brooke, J. M. (2013). The wireless sensor network and local computational unit in the neighbourhood area network of the Smart Grid. In SENSORNETS 2013 - Proceedings of the 2nd International Conference on Sensor Networks|SENSORNETS - Proc. Int. Conf. Sens. Networks. (pp. 84-88). SCITEPRESS – Science and Technology Publications. . Publication link: 47cc8e63-800b-43dd-88b0-03915143f755
  127. Shapiro, J., Carvalho, C. M. (Ed.), & Ravikumar, P. (Ed.) (2013). Thompson Sampling in Switching Environments with Bayesian Online Change Point Detection. In C. M. Carvalho, & P. Ravikumar (Eds.), Workshop and Conference Proceedings Volume 31. (pp. 442-450). (Journal of Machine Learning Research Workshop and Conference Proceedings). Journal of Machine Learning Research (Online): JMLR.org. . Publication link: 85dcdc2b-b299-43c1-b131-324fe42b47fe
  128. Alayed, A., Lau, K-K., Štˇepán, P., & Tran, C. (2013). Towards Component-based Domain Engineering. In host publication. (pp. 106-113). IEEE. . Publication link: 4ac48628-d1de-47bf-96e1-73eed2e85578
  129. Mihaila, C., Kontonatsios, G., Batista-Navarro, R. T., Thompson, P., Korkontzelos, I., & Ananiadou, S. (2013). Towards a Better Understanding of Discourse: Integrating Multiple Discourse Annotation Perspectives Using UIMA. In Proceedings of the 7th Linguistic Annotation Workshop and Interoperability with Discourse. (pp. 79-88). Publication link: 535590d0-7e51-482c-9963-5fad56c39def
  130. Jaf, S., & Ramsay, A. (2013). Towards the development of a hybrid parser for natural langauges. In ICCSW13. (pp. 1-8). OpenAccess Series in Informatics (OASIcs): Schloss Dagstuhl. . Publication link: cf7c1290-e18a-4625-8cb6-7ca45ed6b9c3
  131. Mikroyannidi, E., Stevens, R., Iannone, L., {Rodriguez-Muro}, M. (Ed.), Jupp, S. (Ed.), & Srinivas, K. (Ed.) (2013). Tradeoffs in Measuring Entity Similarity for Pattern Detection in {OWL} Ontologies. In M. {Rodriguez-Muro}, S. Jupp, & K. Srinivas (Eds.), {Proceedings of the 10th International Workshop on {OWL} Experiences and Directions {(OWLED'13)} co-located with 10th Extended Semantic Web Conference {(ESWC'13)}}. (Vol. 1080). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 94ab1551-775c-4238-8b03-5d1f7fa48260
  132. Zhang, G., Song, W., Garside, J. D., Navaridas, J., & Wang, Z. (2013). Transient fault tolerant QDI interconnects using redundant check code. In Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013|Proc. - Euromicro Conf. Digit. Syst. Des., DSD. (pp. 3-10). Santander, Spain: Conference Publishing Services. DOI: 10.1109/DSD.2013.11. Publication link: 63566866-e64c-43b3-bd9c-b484c0874c98
  133. Koopmann, P., & Schmidt, R. A. (2013). Uniform interpolation of ALC-ontologies using fixpoints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8152, pp. 87-102). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: 10.1007/978-3-642-40885-4_7. Publication link: 3210aa5f-281c-4a91-8fab-862e39f7759e
  134. Kontonatsios, G., Korkontzelos, I., Tsujii, J., & Ananiadou, S. (2013). Using Random Forest to recognise translation equivalents of biomedical terms across languages. In Proceedings of the Sixth Workshop on Building and Using Comparable Corpora. (pp. 95-104). Association for Computational Linguistics. . Publication link: fd594c3d-7d75-4263-bd06-8de9da305cee
  135. Mih{\u{a}}il{\u{a}}, C., & Ananiadou, S. (2013). What causes a causal relation? Detecting causal triggers in biomedical scientific discourse. In I. Nikolova, E. Vecchi, A. Dey, & S. Krause (Eds.), 51st Annual Meeting of the Association for Computational Linguistics Proceedings of the Student Research Workshop. (pp. 38-45). Association for Computational Linguistics. . Publication link: b32bb001-a687-489f-93fc-192d52794cf8
  136. Clinch, S., Davies, N., Friday, A., & Clinch, G. (2013). Yarely: A Software Player for Open Pervasive Display Networks. In Proceedings of the 2013 International Symposium on Pervasive Displays. (pp. 25-30). (PerDis '13). New York, NY, USA: ACM. DOI: 10.1145/2491568.2491575 . Publication link: cd93f31f-71a8-4766-be69-9e9beab58848
  137. Garside, J., Mamaghani, M. J., & Toms, W. (2013). eTeak: A Data-driven Synchronous Elastic Synthesiser. In host publication.. Publication link: 7e1efa60-a359-458d-8d30-4b8f2396f14c
  138. Korovin, K., Schulz, S., & Ternovska, E. (Eds.) (2013). {IWIL} 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. In EPiC Series. (Vol. 22). (EPiC Series). EasyChair. . Publication link: 54108f42-6873-4bd0-9f60-82ee448aa6c3
  139. Constantin, A., Pettifer, S., & Voronkov, A. (2013). {PDFX:} fully-automated PDF-to-XML conversion of scientific literature. In {ACM} Symposium on Document Engineering 2013, DocEng '13, Florence, Italy, September 10-13, 2013. (pp. 177-180). Florence, Italy. DOI: 10.1145/2494266.2494271. Publication link: 8d09db22-4d6e-4781-95cc-9aa844a641f7
Article
  1. Mitchell, S., & Mendes, P. (2013). A Computational Model of Liver Iron Metabolism. PLoS Computational Biology, 9(11), [e1003299]. DOI: 10.1371/journal.pcbi.1003299. Publication link: 678c4d64-3d98-4efe-af6e-833f76486c18
  2. Matentzoglu, N., Bail, S., & Parsia, B. (2013). A Corpus of OWL DL Ontologies.Description Logics, 1014, 829-841. . Publication link: 4beb3406-b77b-4d71-b158-5371bc2375c1
  3. Tapinos, A., & Mendes, P. (2013). A Method for Comparing Multivariate Time Series with Different Dimensions. PLoS ONE, 8(2), [e54201]. DOI: 10.1371/journal.pone.0054201. Publication link: 4d40ba4d-d574-4e27-8d05-1aa2cf73429a
  4. Meng, F-L., & Zeng, X-J. (2013). A Stackelberg game-theoretic approach to optimal real-time pricing for the smart grid. Soft Computing, 17(12), 2365-2380. DOI: 10.1007/s00500-013-1092-9. Publication link: 39aa7df2-d7ac-4724-94ec-96f6792c9991
  5. Thiele, I., Swainston, N., Fleming, R. M. T., Hoppe, A., Sahoo, S., Aurich, M. K., ... Palsson, B. O. (2013). A community-driven global reconstruction of human metabolism. Nature Biotechnology, 31(5), 419-425. DOI: 10.1038/nbt.2488. Publication link: 56e01ac2-2d77-4826-be6e-6c0bb84d1d5a | PubMed:23455439
  6. Restificar, A., Korkontzelos, I., & Ananiadou, S. (2013). A method for discovering and inferring appropriate eligibility criteria in clinical trial protocols without labeled data. BMC Medical Informatics and Decision Making, 13(Suppl 1). DOI: 10.1186/1472-6947-13-S1-S6. Publication link: 7f225dbc-4440-49f7-a5a5-0afa3b2ca3b4
  7. Miwa, M., Ohta, T., Rak, R., Rowley, A., Kell, D. B., Pyysalo, S., & Ananiadou, S. (2013). A method for integrating and ranking the evidence for biochemical pathways by mining reactions from text.Bioinformatics (Oxford, England), 29(13), i44-i52. DOI: 10.1093/bioinformatics/btt227. Publication link: 54206554-9942-4ff4-bded-a6bb9aca5a34 | PubMed:23813008
  8. Smallbone, K., Messiha, H. L., Carroll, K. M., Winder, C. L., Malys, N., Dunn, W. B., ... Mendes, P. (2013). A model of yeast glycolysis based on a consistent kinetic characterisation of all its enzymes. FEBS Letters, 587(17), 2832-2841. DOI: 10.1016/j.febslet.2013.06.043. Publication link: a3f54ade-0bd7-4a03-934c-28be8a9bbf7a | PubMed:23831062
  9. Wang, D., Zeng, X. J., & Keane, J. A. (2013). A simplified structure evolving method for Mamdani fuzzy system identification and its application to high-dimensional problems. Information Sciences, 220, 110-123. DOI: 10.1016/j.ins.2011.12.033. Publication link: abbbb8e8-72fd-4916-a317-283f9ad46c34
  10. Maurer, M., Brandic, I., & Sakellariou, R. (2013). Adaptive resource configuration for Cloud infrastructure management. Future Generation Computer Systems, 29(2), 472-487. DOI: 10.1016/j.future.2012.07.004. Publication link: 16b1f003-c7fa-4924-b101-896548a5e45c
  11. Broomhead, D., Furber, S., & Johnson, M. (2013). Algebraic approach to time borrowing. IET Computers and Digital Techniques, 7(1), 1-10. DOI: 10.1049/iet-cdt.2012.0103. Publication link: 2e707f51-1498-4771-a7ac-ebd3b32944a0
  12. Letsholo, K., Chioasca, E-V., & Zhao, L. (2013). An Integrative Approach to Support Multi-Perspective Business Process Modeling. International Journal of Services Computing. . Publication link: f1757d5f-2985-43ea-b009-af31de4bc89b
  13. Swainston, N., Mendes, P., & Kell, D. B. (2013). An analysis of a 'community-driven' reconstruction of the human metabolic network. Metabolomics, 9(4), 757-764. DOI: 10.1007/s11306-013-0564-3. Publication link: 45f965f7-741a-4915-a397-0030e060b035 | PubMed:23888127
  14. Firczuk, H., Kannambath, S., Pahle, J., Claydon, A., Beynon, R., Duncan, J., ... McCarthy, J. E. (2013). An in vivo control map for the eukaryotic mRNA translation machinery. Molecular Systems Biology, 9, [635]. DOI: 10.1038/msb.2012.73. Publication link: c4a402f3-28d1-4287-b1a3-f931da8b0b3a | PubMed:23340841
  15. Harper, S., Jay, C., Michailidou, E., & Quan, H. (2013). Analysing the visual complexity of web pages using document structure. Behaviour and Information Technology, 32(5), 491-502. DOI: 10.1080/0144929X.2012.726647. Publication link: b08f0dbb-5329-4e10-bf55-8df8203e0019
  16. Alhazmi, S., Black, W., & McNaught, J. (2013). Arabic SentiWordNet in Relation to SentiWordNet 3.0. International Journal of Computational Linguistics, 4(1), 1-11. . Publication link: acaa87af-fa6c-4c61-9d22-7516203a1a81
  17. Banach, R., Jeske, C., Hall, A., & Stepney, S. (2013). Atomicity failure and the retrenchment atomicity pattern. Formal Aspects of Computing, 25(3), 439-464. DOI: 10.1007/s00165-011-0216-1. Publication link: d13ce9b8-5e12-421a-ae57-27883f601086
  18. Rodriguez-Martinez, E., Mu, T., Jiang, J., & Goulermas, J. Y. (2013). Automated induction of heterogeneous proximity measures for supervised spectral embedding. IEEE Transactions on Neural Networks and Learning Systems, 24(10), 1575-1587. . Publication link: 8bfbc46f-61a2-4feb-ad76-c8181d70fee1
  19. Mu, T., & Goulermas, J. Y. (2013). Automatic generation of co-embeddings from relational data with adaptive shaping. IEEE Transactions on Pattern Analysis and Machine Intelligence, 35(10), 2340-2356. . Publication link: ebed5b28-9062-410c-80a0-95f91e5a46a8
  20. Via, A., Blicher, T., Bongcam-Rudloff, E., Brazas, M. D., Brooksbank, C., Budd, A., ... Attwood, T. K. (2013). Best practices in bioinformatics training for life scientists. Briefings in Bioinformatics, 14(5), 528-537. [bbt043]. DOI: 10.1093/bib/bbt043. Publication link: de16e384-1dfb-4095-849e-48c110fefea7
  21. Zhao, M-J., Edakunni, N., Pocock, A., & Brown, G. (2013). Beyond Fano's Inequality: Bounds on the Optimal F-Score, BER, and Cost-Sensitive Risk and Their Implications. Journal of Machine Learning Research, 14(1), 1033-1090. . Publication link: 32db4b63-01d2-4ff9-989d-57cc9bad12f3
  22. Mihǎilǎ, C., Ohta, T., Pyysalo, S., & Ananiadou, S. (2013). BioCause: Annotating and analysing causality in the biomedical domain. BMC Bioinformatics, 14, [2]. DOI: 10.1186/1471-2105-14-2. Publication link: ac0972fc-0710-465d-8d95-390b308ae18c
  23. Duck, G., Nenadic, G., Brass, A., Robertson, D. L., & Stevens, R. (2013). BioNerDS: Exploring bioinformatics' database and software use through literature mining. BMC Bioinformatics, 14(1), [194]. DOI: 10.1186/1471-2105-14-194. Publication link: 705055ba-b73f-4ac1-b434-c91d5dec5042 | PubMed:23768135
  24. Overman, R., Debreczeni, J., Truman, C., McAlister, M., & Attwood, T. K. (2013). Biochemical and biophysical characterisation of four EphB kinase domains reveals contrasting thermodynamic, kinetic and inhibition profiles. Biosci. Rep., 33(3). DOI: pii:e00040.10.1042/BSR20130028. Publication link: 3b837f0a-9ea0-4d85-aceb-e3346ebc278b
  25. Zheng, W., & Sakellariou, R. (2013). Budget-Deadline Constrained Workflow Planning for Admission Control. Journal of Grid Computing, 11(4), 633-651. DOI: 10.1007/s10723-013-9257-4. Publication link: 7e40fd60-44aa-44c6-bf81-8a8a63bb2913
  26. Heidari, F., Loucopoulos, P., & Brazier, F. (2013). Business Process Modelling for Measuring Quality. International Journal on Advances in Intellingent Systems, 6(3 & 4), 342-355. . Publication link: 2dbe89fd-9865-4f93-8ef9-7cc5c9f83594
  27. Poliakoff, E., Beach, N., Best, R., Howard, T., & Gowen, E. (2013). Can looking at a hand make your skin crawl? Peering into the uncanny valley for hands. Perception, 42(9), 998-1000. DOI: 10.1068/p7569. Publication link: 2751a9ea-1909-4722-9fb4-62b23bff1bec | PubMed:24386720
  28. Jamieson, D. G., Roberts, P. M., Robertson, D. L., Sidders, B., & Nenadic, G. (2013). Cataloguing the biomedical world of pain through semi-automated curation of molecular interactions. Database, [bat033]. DOI: doi:10.1093/database/bat033. Publication link: 8dc3088c-3e50-43c3-9a45-409cdc068df1
  29. Kovačević, A., Dehghan, A., Filannino, M., Keane, J. A., & Nenadic, G. (2013). Combining rules and machine learning for extraction of temporal expressions and events from clinical narratives. Journal of the American Medical Informatics Association, 20(5), 859-866. DOI: 10.1136/amiajnl-2013-001625. Publication link: 6c459eae-4583-455d-9ec6-80adb154ef39
  30. Wang, Y., Jiang, J., & Mu, T. (2013). Context-aware and energy-driven route optimization for fully electric vehicles via crowdsourcing. IEEE Transactions on Intelligent Transportation Systems, 14(3), 1331-1345. . Publication link: 8e3911b3-4f66-4d81-ba5a-0bc953ec4b0f
  31. Harper, S., Chen, T., & Yesilada, Y. (2013). Controlled Experimentation in Naturalistic Mobile Settings. CoRR, abs/1306.3767. . Publication link: 373dd624-f633-4a0c-946e-b013e9957a28
  32. Vigo, M., & Harper, S. (2013). Coping tactics employed by visually disabled users on the web. International Journal of Human Computer Studies, 71(11), 1013-1025. DOI: 10.1016/j.ijhcs.2013.08.002. Publication link: 19e0f5c3-a7cb-4982-b163-266f5d413d0c
  33. Griffiths, R. A., Williams, A., Oakland, C., Roberts, J., Vijayaraghavan, A., & Thomson, T. (2013). Directed self-assembly of block copolymers for use in bit patterned media fabrication. Journal of Physics D: Applied Physics, 46(50), [503001]. DOI: 10.1088/0022-3727/46/50/503001. Publication link: 92ce88fe-d50f-48d5-8f7d-1e5ee31ed1b3
  34. Hickey, G. L., Grant, S. W., Murphy, G. J., Bhabra, M., Pagano, D., McAllister, K., ... Bridgewater, B. (2013). Dynamic trends in cardiac surgery: Why the logistic euroscore is no longer suitable for contemporary cardiac surgery and implications for future risk models. European Journal of Cardio-thoracic Surgery, 43(6), 1146-1152. [ezs584]. DOI: 10.1093/ejcts/ezs584. Publication link: 0f5f5b4e-d4f3-4cf2-a6fa-0bf6921cf371 | PubMed:23152436
  35. Ison, J., Kalaš, M., Jonassen, I., Bolser, D., Uludag, M., McWilliam, H., ... Rice, P. (2013). EDAM: An ontology of bioinformatics operations, types of data and identifiers, topics and formats. Bioinformatics, 29(10), 1325-1332. DOI: 10.1093/bioinformatics/btt113. Publication link: b95dccd5-fc5c-4724-8983-d81731207cee
  36. Jabeen, F., & Fernandes, A. A. A. (2013). Efficiently implementable algebra for distributed in-network spatial analysis. International Journal of Geographical Information Science, 27(4), 815-844. DOI: 10.1080/13658816.2012.730149. Publication link: 2df1a0b7-5d48-4107-b174-dbcfbc0f7100
  37. Valota, A. T., Toth, P., Kim, Y. J., Hong, B. H., Kinloch, I. A., Novoselov, K. S., ... Dryfe, R. A. W. (2013). Electrochemical investigation of chemical vapour deposition monolayer and bilayer graphene on the microscale. Electrochimica Acta, 110, 9-15. DOI: 10.1016/j.electacta.2013.03.187. Publication link: 2560832e-146b-4cc3-a370-1c79e9f19fe3
  38. Pedrosa Mendes, P., Lisko, K. A., Torres, R., Harris, R. S., Belisle, M., Vaughan, M. M., ... Lorence, A. (2013). Elevating vitamin C content via overexpression of myo-inositol oxygenase and l-gulono-1,4-lactone oxidase in Arabidopsis leads to enhanced biomass and tolerance to abiotic stresses. In Vitro Cellular and Developmental Biology - Plant, 49(6), 643-655. DOI: 10.1007/s11627-013-9568-y. Publication link: d080ce90-e60c-4e91-9579-e90ab390850c
  39. Al Balushi, T. H., Sampaio, P. R. F., & Loucopoulos, P. (2013). Eliciting and prioritizing quality requirements supported by ontologies: A case study using the ElicitO framework and tool. Expert Systems, 30(2), 129-151. DOI: 10.1111/j.1468-0394.2012.00625.x. Publication link: 521fb963-7686-460b-ac33-91555c223761
  40. Duque-Ramos, A., Fernández-Breis, J. T., Iniesta, M., Dumontier, M., Egaña Aranguren, M., Schulz, S., ... Stevens, R. (2013). Evaluation of the OQuaRE framework for ontology quality. Expert Systems with Applications, 40(7), 2696-2703. DOI: 10.1016/j.eswa.2012.11.004. Publication link: 0b4bacaa-7ed2-4ed9-83dc-8963bb72eb72
  41. Bland, W., Du, P., Bouteiller, A., Herault, T., Bosilca, G., & Dongarra, J. J. (2013). Extending the scope of the Checkpoint-on-Failure protocol for forward recovery in standard MPI. Concurrency and Computation: Practice & Experience, 25(17), 2381-2393. DOI: 10.1002/cpe.3100. Publication link: 66bfbd52-ffcf-499f-860a-b32e0c6d65b4
  42. Penneman, N., Kudinskas, D., Rawsthorne, A., De Sutter, B., & De Bosschere, K. (2013). Formal virtualization requirements for the ARM architecture. Journal of Systems Architecture, 59(3), 144-154. DOI: 10.1016/j.sysarc.2013.02.003. Publication link: c23f48db-b132-4961-be4f-d839e48385b9
  43. Delgrande, J., Meyer, T., & Sattler, U. (2013). Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). Dagstuhl Reports, 2(10), 105-116. DOI: http://dx.doi.org/10.4230/DagRep.2.10.105. Publication link: d9b56f03-d547-4f10-ac48-07e14228f611
  44. Pratt-Hartmann, I., & Düntsch, I. (2013). Functions definable by numerical set-expressions. Journal of Logic and Computation, 23(4), 873-895. DOI: 10.1093/logcom/exr050. Publication link: 0a7fc445-2f2a-4c55-8867-0989949573f9
  45. Levison, S. E., Fisher, P., Hankinson, J., Zeef, L., Eyre, S., Ollier, W. E., ... Pennock, J. L. (2013). Genetic analysis of the Trichuris muris-induced model of colitis reveals QTL overlap and a novel gene cluster for establishing colonic inflammation. BMC Genomics, 14(1), [127]. DOI: 10.1186/1471-2164-14-127. Publication link: 01cb1bd5-65c2-4bde-9f1e-6d4fdc3131cd | PubMed:23442222
  46. Saharan, L., Morrison, C., Ikeda, Y., Takano, K., Miles, J. J., Thomson, T., ... Hrkac, G. (2013). Grain boundaries in granular materials - A fundamental limit for thermal stability. Applied Physics Letters, 102(14), [142402]. DOI: 10.1063/1.4801316. Publication link: 2e293e37-14f5-4611-bd0e-d90dda73bc01
  47. Navarro Lopez, E., Navarro-López, E. M., & Laila, D. S. (2013). Group and total dissipativity and stability of multi-equilibria hybrid automata. IEEE Transactions on Automatic Control, 58(12), 3196-3202. [6512040]. DOI: 10.1109/TAC.2013.2261185. Publication link: 96171152-7a7e-434c-ad45-2f773ef5ae38
  48. Mu, T., Jiang, J., & Wang, Y. (2013). Heterogeneous delay embedding for travel time and energy cost prediction via regression analysis. IEEE Transactions on Intelligent Transportation Systems, 14(1), 214-224. . Publication link: 85e74ca3-cb0f-43eb-ac67-69dc57e5b36e
  49. Milosevic, N. (2013). History of malware. Digital forensics magazine, 1(16), 58-66. . Publication link: 3e813f75-1ce8-4ece-a40c-4245807b40ab
  50. Jimenez, R. C., Albar, J. P., Bhak, J., Blatter, M. C., Blicher, T., Brazas, M. D., ... Corpas, M. (2013). IAnn: An event sharing platform for the life sciences. Bioinformatics, 29(15), 1919-1921. DOI: 10.1093/bioinformatics/btt306. Publication link: 2cfb5d48-f185-4946-a681-56c5f40b9876
  51. Bhattacharya, B. S. (2013). Implementing the cellular mechanisms of synaptic transmission in a neural mass model of the thalamo-cortical circuitry. Frontiers in Computational Neuroscience, 7, 81. DOI: 10.3389/fncom.2013.00081. Publication link: 7b313132-99ae-4637-abf5-19e9cf12bb14 | PubMed:23847522
  52. Belhajjame, K., Paton, N. W., Embury, S. M., Fernandes, A. A. A., & Hedeler, C. (2013). Incrementally improving dataspaces based on user feedback. Information Systems, 38(5), 656-687. DOI: 10.1016/j.is.2013.01.006. Publication link: e25ad5ed-57d3-447b-910d-0e11ab20f6a6
  53. Mitchell, F. L., Neres, J., Ramraj, A., Raju, R. K., Hillier, I. H., Vincent, M. A., & Bryce, R. A. (2013). Insights into the activity and specificity of trypanosoma cruzi trans -Sialidase from molecular dynamics simulations. Biochemistry, 52(21), 3740-3751. DOI: 10.1021/bi301112p. Publication link: 684dad04-df4c-406c-b92c-a4f9956225aa | PubMed:23672572
  54. Dugan, K., Reeve, J., Brown, A., & Furber, S. (2013). Interconnection system for the SpiNNaker biologically inspired multi-computer. IET Computers and Digital Techniques, 7(3), 115-121. DOI: 10.1049/iet-cdt.2012.0139. Publication link: ce5ef5d4-d884-485a-b961-6a43aa2d679a
  55. Baker, T., Bechhofer, S., Isaac, A., Miles, A., Schreiber, G., & Summers, E. (2013). Key choices in the design of Simple Knowledge Organization System (SKOS). Web Semantics, 20, 35-49. DOI: 10.1016/j.websem.2013.05.001. Publication link: cf23d8d0-8802-47cb-873f-0875b5b9b421
  56. Van Landeghem, S., Björne, J., Wei, C. H., Hakala, K., Pyysalo, S., Ananiadou, S., ... Ginter, F. (2013). Large-scale event extraction from literature with multi-level gene normalization. PLoS ONE, 8(4). DOI: 10.1371/journal.pone.0055814. Publication link: 32ea34e0-fe1f-4786-adb9-53687c139ba5
  57. Smallbone, K., & Mendes, P. (2013). Large-scale metabolic models: From reconstruction to differential equations. Industrial Biotechnology, 9(4), 179-184. DOI: 10.1089/ind.2013.0003. Publication link: 470345e3-938e-4bf4-aa10-1fb854cced88
  58. Hakenberg, J., Nenadic, G., Rebholz-Schuhmann, D., & Kim, J. D. (2013). Literature mining solutions for life science research. Advances in Bioinformatics, 2013, [320436]. DOI: 10.1155/2013/320436. Publication link: 0bb073f7-f745-45d2-9360-b4240798d68c
  59. Balamoody, S., Williams, T. G., Wolstenholme, C., Waterton, J. C., Bowes, M., Hodgson, R., ... Hutchinson, C. E. (2013). Magnetic resonance transverse relaxation time T2 of knee cartilage in osteoarthritis at 3-T: a cross-sectional multicentre, multivendor reproducibility study. Skeletal Radiol, 42(4), 511-20. DOI: 10.1007/s00256-012-1511-5. Publication link: 7c8a284a-3d5d-4cfa-b2fa-744e84258af7 | PubMed:23053200
  60. Brown, A., Stevens, R., & Pettifer, S. (2013). Making graph-based diagrams work in sound: the role of annotation. Human Computer Interaction, 28(3), 193-221. DOI: 10.1080/07370024.2012.697010. Publication link: e29ffe52-126e-40f9-a029-be2f94661424
  61. Malone, J., & Stevens, R. (2013). Measuring the level of activity in community built bio-ontologies. Journal of Biomedical Informatics, 46(1), 5-14. DOI: 10.1016/j.jbi.2012.04.002. Publication link: 14999a28-115d-42ff-9768-004cac99aeae
  62. Ananiadou, S., Thompson, P., & Nawaz, R. (2013). Mining events from the literature for bioinformatics applications. ACM SIGWEB Newsletter, Autumn 2013. . Publication link: a133e6bc-0db0-4e85-89d1-d26772c5c687
  63. Saharan, L., Morrison, C., Miles, J. J., Thomson, T., Schrefl, T., & Hrkac, G. (2013). Modelling interfacial coupling in thin film magnetic exchange springs at finite temperature. Journal of Applied Physics, 114(15), [153908]. DOI: 10.1063/1.4826365. Publication link: e2db8919-49fb-4c71-b3c4-2d59369241f2
  64. Alabbas, M., & Ramsay, A. (2013). Natural language inference for arabic using extended tree edit distance with subtrees. Journal of Artificial Intelligence Research, 48, 1-22. DOI: http://www.jair.org/papers/paper3892.html. Publication link: d3fc7d1c-d620-49d4-a0e2-333f324107f0
  65. Nawaz, R., Thompson, P., & Ananiadou, S. (2013). Negated BioEvents: Analysis and Identification. BMC Bioinformatics, 14(1). DOI: doi:10.1186/1471-2105-14-14. Publication link: 3d881840-2bb1-48ad-8bfc-6d1a04645fe0
  66. Ashworth, I. W., Hillier, I. H., Nelson, D. J., Percy, J. M., & Vincent, M. A. (2013). Olefin metathesis by Grubbs-Hoveyda complexes: Computational and experimental studies of the mechanism and substrate-dependent kinetics. Acs Catalysis, 3(9), 1929-1939. DOI: 10.1021/cs400164w. Publication link: 944b76b6-ce09-42a4-a31d-384b3fb3b253
  67. Liang, S. F., Scott, D., Stevens, R., & Rector, A. (2013). OntoVerbal: a Generic Tool and Practical Application to {SNOMED} {CT}. International Journal of Advanced Computer Science and Applications (IJACSA), 4(6), 227-239. DOI: 10.14569/IJACSA.2013.040631. Publication link: 50fe5fdd-0d51-49db-b493-c1145ff6326d
  68. Pop, A., & Cohen, A. (2013). OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs. Transactions on Architecture and Code Optimization, 9(4), [53]. DOI: 10.1145/2400682.2400712. Publication link: 31c964b1-ccb9-47a4-be68-38f9f28a9500
  69. Furber, S. B., Lester, D. R., Plana, L. A., Garside, J. D., Painkras, E., Temple, S., & Brown, A. D. (2013). Overview of the SpiNNaker system architecture. IEEE Transactions on Computers, 62(12), 2454-2467. [6226357]. DOI: 10.1109/TC.2012.142. Publication link: 5b7e03a4-cd34-4502-9466-6d8a22766c32
  70. Wang, Y., Zhao, L., Wang, X., Yang, X., & Supakkul, S. (2013). PLANT: A pattern language for transforming scenarios into requirements models. International Journal of Human Computer Studies, 71(11), 1026-1043. DOI: 10.1016/j.ijhcs.2013.08.001. Publication link: a6dea1ad-608c-4ff0-9bf9-42817e1b833f
  71. Gil, Y., Miles, S., Belhajjame, K., Deus, H., Garijo, D., Klyne, G., ... Zednik, S. (2013). PROV Model Primer. W3C Working Group Note. . Publication link: f06eee90-45b4-45be-89cf-07100b3ce05c
  72. Müller, E. H., Ford, R., Hort, M. C., Huggett, L., Riley, G., & Thomson, D. J. (2013). Parallelisation of the Lagrangian atmospheric dispersion model NAME. Computer Physics Communications, 184(12), 2734-2745. DOI: 10.1016/j.cpc.2013.06.022. Publication link: aa60bd47-de57-4681-8b11-d9bacb6f5429
  73. Pedrosa Mendes, P., Büchel, F., Rodriguez, N., Swainston, N., Wrzodek, C., Czauderna, T., ... Le Novère, N. (2013). Path2Models: Large-scale generation of computational models from biochemical pathway maps. BMC systems biology, 7, [116]. DOI: 10.1186/1752-0509-7-116. Publication link: bd98dbaf-b5f2-454f-990b-b012cbce8331 | PubMed:24180668
  74. Wu, C., Schwartz, J-M., & Nenadic, G. (2013). PathNER: A tool for systematic identification of biological pathway mentions in the literature. BMC Systems Biology, 7(Suppl3). DOI: 10.1186/1752-0509-7-S3-S2. Publication link: c18b09b0-894d-42dd-9b15-38e7373e5939 | PubMed:24555844
  75. Shi, Y., Nutter, P. W., & Miles, J. J. (2013). Performance evaluation of bit patterned media channels with island size variations. Communications, IEEE Transactions on, 61(1), 228-236. [6341774]. DOI: 10.1109/TCOMM.2012.101812.120193. Publication link: 09a5e7a8-7c50-4db3-9272-e4a4e617edb4
  76. Jay, C., Brown, A., & Harper, S. (2013). Predicting whether users view dynamic content on the world wide web. ACM Transactions on Computer-Human Interaction, 20(2), [9]. DOI: 10.1145/2463579.2463580. Publication link: 05989431-74d9-4104-af1f-b109c0084685
  77. Jackman, P., Gray, A. J. G., Brass, A., Stevens, R., Shi, M., Scuffell, D., ... Grieve, B. (2013). Processing online crop disease warning information via sensor networks using ISA ontologies. Agricultural Engineering International: CIGR Journal, 15(3), 243-251. . Publication link: 8d4f11be-f4b2-4622-b6ac-c803e59bc0fb
  78. Klein, J., Eales, J., Zürbig, P., Vlahou, A., Mischak, H., & Stevens, R. (2013). Proteasix: A tool for automated and large-scale prediction of proteases involved in naturally occurring peptide generation. Proteomics, 13(7), 1077-1082. DOI: 10.1002/pmic.201200493. Publication link: 03fcdcce-a325-4bc6-ae28-b3c2b006e3b6
  79. Galpin, I., Fernandes, A. A. A., & Paton, N. W. (2013). QoS-aware optimization of sensor network queries. VLDB Journal, 22(4), 495-517. DOI: 10.1007/s00778-012-0300-z. Publication link: a1437f27-df10-4940-8985-944ccc55c86a
  80. Morrison, C., Saharan, L., Ikeda, Y., Takano, K., Hrkac, G., & Thomson, T. (2013). Quantifying exchange coupling in segregated granular materials. Journal of Physics D: Applied Physics, 46(47), [475002]. DOI: 10.1088/0022-3727/46/47/475002. Publication link: 9866e85f-a95d-413f-9286-d69547363574
  81. Mih{\u{a}}il{\u{a}}, C., Ananiadou, S., & Mihǎilǎ, C. (2013). Recognising Discourse Causality Triggers in the Biomedical Domain. Journal of Bioinformatics and Computational Biology, 11(6), [1343008]. DOI: 10.1142/S0219720013430087. Publication link: 868e3424-d42d-4e89-ab87-e8358a0fca86
  82. Tetlow, D. J., Vincent, M. A., Hillier, I. H., & Clayden, J. (2013). Reversible aryl migrations in metallated ureas: Controlled inversion of configuration at a quaternary carbon atom. Chemical Communications, 49(15), 1548-1550. DOI: 10.1039/c2cc38704b. Publication link: b1b88720-90df-409d-923b-40e097d7a3a5 | PubMed:23324729
  83. Zawidzki, M., Schmidt, R. A., & Tishkovsky, D. (2013). Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Information Processing Letters, 113(1-2), 34-38. DOI: 10.1016/j.ipl.2012.09.007. Publication link: c0173a11-1841-4262-9f07-5d231bafbf88
  84. Azzaoui, K., Jacoby, E., Senger, S., Rodríguez, E. C., Loza, M., Zdrazil, B., ... Ecker, G. F. (2013). Scientific competency questions as the basis for semantically enriched open pharmacological space development. Drug Discovery Today, 18(17-18), 843-852. DOI: 10.1016/j.drudis.2013.05.008. Publication link: d2ccbfa8-2f69-40ae-a2b3-f02c765c9135
  85. Lambrix, P., Qi, G., Horridge, M., & Parsia, B. (2013). Second International Workshop on Debugging Ontologies and Ontology Mappings-WoDOOM13. Unknown Journal. . Publication link: 5d4283bb-1667-4197-ab8d-1d6408859a41
  86. Tresadern, P. A., Berks, M., Murray, A., Dinsdale, G., Taylor, C. J., & Herrick, A. L. (2013). Simulating nailfold capillaroscopy sequences to evaluate algorithms for blood flow estimation. Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings, 2636-2639. [6610081]. DOI: 10.1109/EMBC.2013.6610081. Publication link: f9d3343e-bace-4afc-ae67-efe680d9ceeb | PubMed:24110268
  87. Clinch, S. (2013). Smartphones and Pervasive Public Displays. IEEE Pervasive Computing , 12(1), 92-95. DOI: 10.1109/MPRV.2013.16. Publication link: e4dc45f0-4434-409a-a4c8-22c319cdb39b
  88. Painkras, E., Plana, L. A., Garside, J., Temple, S., Galluppi, F., Patterson, C., ... Furber, S. B. (2013). SpiNNaker: A 1-W 18-core system-on-chip for massively-parallel neural network simulation. IEEE Journal of Solid State Circuits, 48(8), 1943-1953. [6515159]. DOI: 10.1109/JSSC.2013.2259038. Publication link: f4406b35-9f30-4f93-9ad3-f03bf572dbe0
  89. Navaridas, J., Furber, S., Garside, J., Jin, X., Khan, M., Lester, D., ... Yang, S. (2013). SpiNNaker: Fault tolerance in a power- and area- Constrained large-Scale neuromimetic architecture. Parallel Computing, 39(11), 693-708. DOI: 10.1016/j.parco.2013.09.001. Publication link: 4ca8e9cf-2847-48a1-a0ec-aa77fbe04fbb
  90. Overman, R., Green, I., Truman, C., Read, J., Embrey, K., McAlister, M., & Attwood, T. K. (2013). Stability and solubility engineering of the EphB4 receptor tyrosine kinase catalytic domain.Protein Eng. Des. Sel.. . Publication link: 0be81a69-5b37-47aa-b768-9972da12d0c7
  91. Wolstencroft, K., Owen, S., Horridge, M., Jupp, S., Krebs, O., Snoep, J., ... Goble, C. (2013). Stealthy annotation of experimental biology by spreadsheets. Concurrency and Computation: Practice & Experience, 25(4), 467-480. DOI: 10.1002/cpe.2941. Publication link: 6fcec1e2-5c8d-4e45-9992-2d0b94cbb4f2
  92. Zheng, W., & Sakellariou, R. (2013). Stochastic DAG scheduling using a Monte Carlo approach. Journal of Parallel and Distributed Computing, 73(12), 1673-1689. DOI: 10.1016/j.jpdc.2013.07.019. Publication link: 2b295c7f-2716-4c51-899a-5f3a08f5831e
  93. Stanford, N. J., Lubitz, T., Smallbone, K., Klipp, E., Mendes, P., & Liebermeister, W. (2013). Systematic construction of kinetic models from genome-scale metabolic networks. PLoS ONE, 8(11), [e79195]. DOI: 10.1371/journal.pone.0079195. Publication link: f9bf6e4e-99fa-4ba8-bf1e-0930eaf8a2e6
  94. Kalankesh, L., Weatherall, J., Ba-Dhfari, T., Buchan, I., & Brass, A. (2013). Taming EHR data: Using semantic similarity to reduce dimensionality. Studies in health technology and informatics, 192(1-2), 52-56. DOI: 10.3233/978-1-61499-289-9-52. Publication link: 92ca581b-6977-4c35-88bd-21b99128bc92 | PubMed:23920514
  95. Rutter, M., Ananiadou, S., Ohta, T., & Rutter, M. K. (2013). Text Mining Supporting Search for Knowledge Discovery in Diabetes. Current Cardiovascular Risk Reports, 7(1), 1-8. DOI: 10.1007/s12170-012-0288-3. Publication link: 157385a7-8973-4876-bdd3-1ccd60107927
  96. Clinch, S., & Martins, M. (2013). The 14th International Workshop on Mobile Computing Systems and Applications (ACM HotMobile 2013). ACM SIGMOBILE Mobile Computing and Communications Review, 17(2). DOI: 10.1145/2505395.2505397 . Publication link: f31bb7e1-c876-4116-bdf1-145b60fe3d95
  97. Gonçalves, R. S., Matentzoglu, N., Parsia, B., & Sattler, U. (2013). The Empirical Robustness of Description Logic Classification.Description Logics, 1014, 197-208. . Publication link: 287ed177-38d3-491a-8d29-b85d9cb1609d
  98. Sha, W., Martins, A. M., Laubenbacher, R., Mendes, P., & Shulaev, V. (2013). The Genome-Wide Early Temporal Response of Saccharomyces cerevisiae to Oxidative Stress Induced by Cumene Hydroperoxide. PLoS ONE, 8(9), [e74939]. DOI: 10.1371/journal.pone.0074939. Publication link: 0f6cce95-016e-496e-889a-5d9e7f521fcf
  99. Moulos, P., Klein, J., Jupp, S., Stevens, R., Bascands, J. L., & Schanstra, J. P. (2013). The KUPNetViz: A biological network viewer for multiple -omics datasets in kidney diseases. BMC Bioinformatics, 14(1), [235]. DOI: 10.1186/1471-2105-14-235. Publication link: d959862c-03b5-4e61-bc14-b6f9e3a4c4ff
  100. Pratt-Hartmann, I. (2013). The Relational Syllogism Revisted. Linguistic Issues in Language Technology, 9(10). . Publication link: 9b256f90-622c-4cf9-bbf6-8280a084d9ac
  101. Pratt-Hartmann, I. (2013). The Syllogistic with Unity. Journal of Philosophical Logic, 42(2), 391-407. DOI: 10.1007/s10992-012-9229-3. Publication link: 50ba6bcd-c2c8-40bf-a2e2-94f9b439113b
  102. Wolstencroft, K., Haines, R., Fellows, D., Williams, A., Withers, D., Owen, S., ... Goble, C. (2013). The Taverna workflow suite: designing and executing workflows of Web Services on the desktop, web or in the cloud.Nucleic acids research., 41, W557-561. DOI: 10.1093/nar/gkt328. Publication link: 12d0d33c-9e95-4b69-9a7a-952693295d09 | PubMed:23640334
  103. Sellers, E. A. C., Clark, I., Tavakoli, M., Dean, H. J., McGavock, J., & Malik, R. A. (2013). The acceptability and feasibility of corneal confocal microscopy to detect early diabetic neuropathy in children: a pilot study. Diabetic Medicine, 30(5), 630-1. DOI: 10.1111/dme.12125, 10.1111/dme.12125. Publication link: 542cc16c-37c6-4d53-9b8e-67f1ad142bd0 | PubMed:23323870
  104. Klinov, P., Parsia, B., & Muiño, D. P. (2013). The consistency of the medical expert system CADIAG-2: A probabilistic approach. Interdisciplinary Advances in Information Technology Research. . Publication link: 17809f90-a284-4cea-8f6c-3c9ea219bace
  105. Banach, R., & Bozzano, M. (2013). The mechanical generation of fault trees for reactive systems via retrenchment I: Combinational circuits. Formal Aspects of Computing, 25(4), 573-607. DOI: 10.1007/s00165-011-0202-7. Publication link: 86427fa0-78ce-4273-80d1-94644654d0c5
  106. Banach, R., & Bozzano, M. (2013). The mechanical generation of fault trees for reactive systems via retrenchment II: Clocked and feedback circuits. Formal Aspects of Computing, 25(4), 609-657. DOI: 10.1007/s00165-011-0203-6. Publication link: bf25979d-bca7-41f1-aa01-de1eebaa5aec
  107. Orlinski, M., & Filer, N. (2013). The rise and fall of spatio-temporal clusters in mobile ad hoc networks. Ad Hoc Networks, 11(5), 1641-1654. DOI: 10.1016/j.adhoc.2013.03.003. Publication link: 707da108-805f-4e7e-b479-6a8f08879e2a
  108. Xu, H., Pavlidis, V. F., Tang, X., Burleson, W., & De Micheli, G. (2013). Timing uncertainty in 3-D clock trees due to process variations and power supply noise. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 21(12), 2226-2239. [6410052]. DOI: 10.1109/TVLSI.2012.2230035. Publication link: 0247f5e4-c7df-4899-b00d-e8fb7a72bb58
  109. Kontchakov, R., Nenov, Y., Pratt-Hartmann, I., & Zakharyaschev, M. (2013). Topological logics with connectedness over euclidean spaces. ACM Transactions on Computational Logic, 14(2), [13]. DOI: 10.1145/2480759.2480765. Publication link: 1cf1d9da-4eff-4b53-b56e-c5340bba9299
  110. Horridge, M., Bail, S., Parsia, B., & Sattler, U. (2013). Toward cognitive support for OWL justifications. Knowledge Based Systems, 53, 66-79. DOI: 10.1016/j.knosys.2013.08.021. Publication link: d8d60170-a289-49ef-934a-082388391090
  111. Nawaz, R., Thompson, P., & Ananiadou, S. (2013). Towards Event-based Discourse Analysis of Biomedical Text. International Journal of Computational Linguistics and Applications, 4(2), 101-120. . Publication link: f55e9056-4229-4b62-baf4-95af59501c1e
  112. Carrasco, J., & Navarro-López, E. M. (2013). Towards ℓ2-stability of discrete-time reset control systems via dissipativity theory. Systems and Control Letters, 62(6), 525-530. DOI: 10.1016/j.sysconle.2013.02.014. Publication link: 1aa56c8e-d6fc-43f6-a256-942e7d5336d6
  113. Smethurst, C. A., Silvester, D. J., & Mihajlović, M. D. (2013). Unstructured finite element method for the solution of the Boussinesq problem in three dimensions. International Journal for Numerical Methods in Fluids, 73(9), 791-812. DOI: 10.1002/fld.3823. Publication link: 35b362de-63b4-4e54-a7aa-d290343b60aa
  114. Braide, S., Cao, Z., & Zeng, X-J. (2013). Volume discount pricing strategy in the VMI supply chain with price sensitive demand. Operational Research Society. Journal, 64(6), 833-847. DOI: 10.1057/jors.2012.85. Publication link: 86d8c54e-3535-4f7e-81e2-7021e0f20495
  115. Van den Hove, D. L. A., Kenis, G., Brass, A., Opstelten, R., Rutten, B. P. F., Bruschettini, M., ... Prickaerts, J. (2013). Vulnerability versus resilience to prenatal stress in male and female rats; Implications from gene expression profiles in the hippocampus and frontal cortex. European Neuropsychopharmacology, 23(10), 1226-1246. DOI: 10.1016/j.euroneuro.2012.09.011. Publication link: ceef7175-5107-44b9-9265-12163f19cc09 | PubMed:23199416
  116. Ciccarese, P., Soiland-Reyes, S., & Clark, T. (2013). Web annotation as a first-class object. IEEE Internet Computing, 17(6), 71-75. [6682930]. DOI: 10.1109/MIC.2013.123. Publication link: 16ac93c0-c2af-4e73-b5f8-7d0582556dd7
  117. Kent, E., Neumann, S., Kummer, U., & Mendes, P. (2013). What can we learn from global sensitivity analysis of biochemical systems?PLoS ONE, 8(11), [e79244]. DOI: 10.1371/journal.pone.0079244. Publication link: dfcb4b8e-5e37-47aa-9644-c3c1d5eaa6fc
  118. Bechhofer, S., Buchan, I., De Roure, D., Missier, P., Ainsworth, J., Bhagat, J., ... Goble, C. (2013). Why linked data is not enough for scientists. Future Generation Computer Systems, 29(2), 599-611. DOI: 10.1016/j.future.2011.08.004. Publication link: 479e591e-b295-4478-b0c7-a145c19dcd45
  119. Miwa, M., Pyysalo, S., Ohta, T., & Ananiadou, S. (2013). Wide coverage biomedical event extraction using multiple partially overlapping corpora. BMC Bioinformatics, 14(175). DOI: 10.1186/1471-2105-14-175. Publication link: 22fd4ab9-980c-42d5-92c0-9587fe0b2c51
  120. Chen, A. Q., Harper, S., Lunn, D., & Brown, A. (2013). Widget Identification: A High-Level Approach to Accessibility. World Wide Web, 16(1), 73-89. DOI: 10.1007/s11280-012-0156-6. Publication link: cab61199-1e1d-401f-88e3-c39f070cd892
  121. Ciccarese, P., Soiland-Reyes, S., Belhajjame, K., Gray, A. J. G., Goble, C., Clark, T., ... Groth, P. (2013). {PAV} ontology: Provenance, Authoring and Versioning. Journal of Biomedical Semantics, 4(37), [37]. DOI: 10.1186/2041-1480-4-37. Publication link: 79a302be-7b9a-4643-9e61-91b7b0f68493
Chapter
  1. Hedeler, C., Fernandes, A. A. A., Belhajjame, K., Mao, L., Guo, C., Paton, N. W., ... Jain, L. C. (Ed.) (2013). A Functional Model for Dataspace Management Systems. In Intelligent Systems Reference Library|Intell. Syst. Ref. Libr.. (Vol. 36, pp. 305-341). (Intelligent Systems Reference Library). Springer Berlin Heidelberg. DOI: 10.1007/978-3-642-28323-9_12. Publication link: b838fb7b-2feb-493c-aa27-44ab97366062
  2. Matentzoglu, N., Bail, S., & Parsia, B. (2013). A Snapshot of the OWL Web. In The Semantic Web-ISWC 2013. (pp. 331-346). Springer Berlin Heidelberg. . Publication link: 9508bb0d-bf8f-478f-bb32-60f5a21b0643
  3. Reger, G., Falcone, Y., & Havelund, K. (2013). A Tutorial on Runtime Verification. In Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems. (Vol. 34). NATO Science for Peace and Security Series - D: Information and Communication Security: IOS Press. . Publication link: d2f15e14-7ff8-410c-b86a-66b4044dd431
  4. Zhang, N., Gaber, T., El-Gohary, H. (Ed.), & Eid, R. (Ed.) (2013). Analyzing the Digital LicenseReselling Problem and ItsImpact on E-Commerce. In E-Marketing in Developed and Developing Countries: Emerging Practices. (pp. 116-136). IGI Global. . Publication link: aebd8715-aaa0-4727-9f1d-536eacd259ef
  5. Lau, K-K., Pantel, M., Chen, D., Persson, M., Törngren, M., Tran, C., ... Wahl, T. (Ed.) (2013). Component-based Development. In CESAR – Cost-efficient Methods and Processes for Safety-relevant Embedded Systems. (pp. 179-212). Springer Verlag. . Publication link: 3aec6f74-cd69-49e0-a689-d36d09684510
  6. Navarro Lopez, E., Navarro-Lopez, E. M., Mosterman, P. (Ed.), & Zander, J. (Ed.) (2013). DYVERSE: From formal verification to biologically-inspired real-time self-organizing systems. In Computation for Humanity: Information Technology to Advance Society. (1 ed., Vol. 1, pp. 301-346). USA: CRC Press. . Publication link: a6cecebf-d642-41ed-8578-8bdc658fe98c
  7. Del Vescovo, C., Klinov, P., Parsia, B., Sattler, U., Schneider, T., & Tsarkov, D. (2013). Empirical study of logic-based modules: Cheap is cheerful. In The Semantic Web-ISWC 2013. (pp. 84-100). Springer Berlin Heidelberg. . Publication link: 048415ca-0820-4777-8b16-4b0f48b38c61
  8. Ananiadou, S., Thompson, P., & Nawaz, R. (2013). Enhancing Search: Events and their Discourse Context. In Computational Linguistics and Intelligent Text Processing. (Vol. 7817, pp. 318-334). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-37256-8_27. Publication link: 18ea668e-394f-4a00-8897-74595f479029
  9. Batista-Navarro, R. T., Kontonatsios, G., Mihǎilǎ, C., Thompson, P., Rak, R., Nawaz, R., ... Ananiadou, S. (2013). Facilitating the analysis of discourse phenomena in an interoperable NLP platform. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7816, pp. 559-571). (Lecture Notes in Computer Science). Berlin, Germany: Springer Berlin Heidelberg. DOI: 10.1007/978-3-642-37247-6_45. Publication link: 4a56f75f-ae30-4b93-88af-50cefd4a1169
  10. Copeland, M., Gonçalves, R. S., Parsia, B., Sattler, U., & Stevens, R. (2013). Finding fault: Detecting issues in a versioned ontology. In The Semantic Web: ESWC 2013 Satellite Events. (pp. 113-124). Springer Berlin Heidelberg. . Publication link: ab49860b-9e62-4747-855e-25f2315837f0
  11. Schmidt, R. A., & Hustadt, U. (2013). First-order resolution methods for modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7797, pp. 345-391). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-37651-1_15. Publication link: 02af288a-61cd-413a-bb92-58a7940645c2
  12. Orlinski, M., & Filer, N. (2013). Movement speed based inter-probe times for neighbour discovery in mobile Ad-Hoc networks. In Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST|Lect. Notes Inst. Comput. Sci. Soc. Informatics Telecommun. Eng.: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. (Vol. 111, pp. 316-331). Berlin Heidelberg, Germany: Springer Verlag. DOI: 10.1007/978-3-642-36958-2_22. Publication link: c2dbc842-8054-433f-939d-505ed14dc7f5
  13. Klinov, P., & Parsia, B. (2013). Pronto: A practical probabilistic description logic reasoner. In Uncertainty Reasoning for the Semantic Web II. (pp. 59-79). Springer Berlin Heidelberg. . Publication link: b6cd5545-4b64-4182-9145-7ac13d9ca302
  14. Loucopoulos, P., Cordeiro, J. (Ed.), Maciaszek, L. (Ed.), & Filipe, J. (Ed.) (2013). Requirements Engineering for Emergent Application Software. In Lecture Notes in Business Information Processing (LNBIP). (Vol. 141, pp. pp. 1-11). Springer Verlag. . Publication link: dbfe5b95-aeeb-438b-822a-3bdfe96e4c5c
  15. Howard, T. L. J., Cooper, S. B. (Ed.), & van Leeuwen, J. (Ed.) (2013). Turing's contributions to the early Manchester computers. In Alan Turing: His Work and Impact. Elsevier. . Publication link: dda98383-65d3-4e03-ac5d-1c591fec683e
  16. Klinov, P., & Parsia, B. (2013). Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. In Uncertainty Reasoning for the Semantic Web II. (pp. 41-58). Springer Berlin Heidelberg. . Publication link: 1c7f4418-59a0-45b7-ac9d-6b9416eda4fe
Poster
  1. Riley, G. D., Osprey, A., Manjunathaiah, M., & Lawrence, B. N. (2013). A benchmark-driven modelling approach for evaluating deployment choices on a multi-core architecture. Poster session presented at EASC2013: Solving Software Challenges for Exascale, Edinburgh, .. Publication link: 4d011918-a17c-46bc-9436-aa28f98c6966
  2. Partzsch, J., Mayr, C., Vogginger, B., Schuffny, R., Rast, A., Plana, L., & Furber, S. (2013). Live demonstration: Ethernet communication linking two large-scale neuromorphic systems. Poster session presented at 2013 European Conference on Circuit Theory and Design, ECCTD 2013, Dresden, .DOI: 10.1109/ECCTD.2013.6662196. Publication link: 0463a85d-2770-4d8c-af70-6079dab06fb5
  3. Thomas, J., O'Mara-Eves, A., McNaught, J., & Ananiadou, S. (2013). The potential of text mining to reduce screening workload in systematic reviews: a retrospective evaluation. 5-5. Poster session presented at 21st Cochrane Colloquium, Quebec, .. Publication link: fc5da96d-54a7-40b5-b41b-571c413eeebb
Doctoral Thesis
  1. Navarro Lopez, E., & Carter, R. (2013). Verification of liveness properties on hybrid dynamical systems University of Manchester. Publication link: 2487d611-6a39-418f-bd26-28f6071161d0
Commissioned report
  1. Heidari, F., Loucopoulos, P., & Brazier, F. (2013). An Ontology Driven Quality Requirements Specification and Measurement. Harokopio University of Athens.. Publication link: f6f20d36-f0d6-4991-bdb2-617463fe5b32
  2. Soiland-Reyes, S., Sanderson, R., Ciccarese, P., & Van De Sompel, H. (2013). Designing the W3C open annotation data model. (W3C Community Draft). http://www.openannotation.org/spec/core/: W3C Open Annotation Community Group. DOI: 10.1145/2464464.2464474. Publication link: 873b5e02-bedc-4b9d-a799-4d771feb3d27
  3. Klyne, G., Groth, P., Moreau, L., Hartig, O., Simmhan, Y., Myers, J., ... Soiland-Reyes, S. (2013). PROV-AQ: Provenance Access and Query. (W3C Working Group Note). http://www.w3.org/TR/prov-aq/: W3C.. Publication link: 4f0b0e63-46df-48fe-80e0-93007455e7d9
  4. Moreau, L., Missier, P., Cheney, J., & Soiland-Reyes, S. (2013). PROV-N: The Provenance Notation. (W3C Recommendation). http://www.w3.org/TR/prov-n/: W3C.. Publication link: dd8e80e0-b7ca-46e4-b39e-980b411fd712
  5. Lebo, T., Sahoo, S., McGuinness, D., Belhajjame, K., Cheney, J., Corsar, D., ... Zhao, J. (2013). PROV-O: The PROV Ontology. (W3C Recommendation). http://www.w3.org/TR/prov-o/: W3C.. Publication link: 733f89c6-5e48-44f9-aabc-ae1c276a5602
Letter
  1. Thomas, J. M., O'Mara-Eves, A., Mcnaught, J., & Ananiadou, S. (2013). Re: The automation of systematic reviews. British Medical Journal, 346. . Publication link: 5b2df045-65aa-4a16-ae2f-7c97b102beba
Editorial
  1. Rapanotti, L., Zhao, L., & Hall, J. (2013). Special Section on Advances and Applications of Problem Orientation (http://onlinelibrary.wiley.com/doi/10.1111/exsy.2013.30.issue-3/issuetoc). Expert Systems, 30(3). . Publication link: a5baf606-020c-4a65-b99c-e455985d8ab1
Master's Thesis
  1. Clinch, S. (2013). Supporting User Appropriation of Public Displays. Publication link: cb3811c3-bfa6-4863-9b28-38c055c0d77b
Other
  1. Ananiadou, S., Thompson, P., & Nawaz, R. (2013). Enhancing search: Events and their discourse context. 318-334. 14th Annual Conference on Intelligent Text Processing and Computational Linguistics, CICLing 2013, Samos, .DOI: 10.1007/978-3-642-37256-8_27. Publication link: e1bf77df-5d06-4e5f-98c8-50e19158a2b2
▲ Up to the top