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.
2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | Complete list
2013
Conference contribution- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- {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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Alshahrani, A., & Ramsay, A. M. (2013). Inference for Natural Language, In host publication. (pp. 60-64). Publication link: 66ed1f6d-492a-44a5-a4ff-09ea63b65798
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Heidari, F., Loucopoulos, P., & Brazier, F. (2013). Ontology for Quality Specification in Requirements Engineering. In host publication.. Publication link: 9fe397d6-e50c-44d9-9ec7-29f77f7e5ad3
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Goodacre, J. (2013). Scaling Mobile Compute to the Data Centre. In host publication. IEEE. . Publication link: 9e2ccc17-b9f0-4487-b674-d50eefdb73ba
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Harper, S., Chen, T., & Yesilada, Y. (2013). Controlled Experimentation in Naturalistic Mobile Settings. CoRR, abs/1306.3767. . Publication link: 373dd624-f633-4a0c-946e-b013e9957a28
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Milosevic, N. (2013). History of malware. Digital forensics magazine, 1(16), 58-66. . Publication link: 3e813f75-1ce8-4ece-a40c-4245807b40ab
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Pratt-Hartmann, I. (2013). The Relational Syllogism Revisted. Linguistic Issues in Language Technology, 9(10). . Publication link: 9b256f90-622c-4cf9-bbf6-8280a084d9ac
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Navarro Lopez, E., & Carter, R. (2013). Verification of liveness properties on hybrid dynamical systems University of Manchester. Publication link: 2487d611-6a39-418f-bd26-28f6071161d0
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Clinch, S. (2013). Supporting User Appropriation of Public Displays. Publication link: cb3811c3-bfa6-4863-9b28-38c055c0d77b
- 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