Home > Computer Science home > Research > Profile > Publications

Type

Language

Publication year

Publication category

Peer-reviewed

Open Access status

1 - 500 out of 2,397Page size: 500

10
25
50
100
500

RSS feed of this list

Sort by: Title

Published
(Non-)existence of Polynomial Kernels for the Test Cover Problem
Gutin, G., Muciaccia, G. & Yeo, A., 2013, In: Information Processing Letters. 113, p. 123-126
Research output: Contribution to journal › Article › peer-review
Published
“Ethics When You Least Expect It”: A Modular Approach to Short Course Data Ethics Instruction
Bezuidenhout, L., Quick, R. & Shanahan, H., Aug 2020, In: Science and Engineering Ethics. 26, p. 2189-2213 25 p.
Research output: Contribution to journal › Article › peer-review
Submitted
“Ethics When You Least Expect It”: A Modular Approach to Data Ethics Instruction
Shanahan, H., Bezuidenhout, L. & Quick, R., 2018, (Submitted).
Research output: Contribution to conference › Paper › peer-review
Published
“Hands Busy, Eyes Busy”: Generating Stories from Sensor Data for Automotive applications
Tintarev, N., Reddington, J., Reiter, E., Black, R. & Waller, A., 2011.
Research output: Contribution to conference › Paper › peer-review
Published
12 paragraphs
Solovyev, V., 1994, Computer analysis of Genetic Macromolecules. Structure, Function and Evolution. Kolchanov, N. A. & Lim, H. A. (eds.). World Scientific
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
3D-structure calculations of a-helical domains of protein molecules using the quasispherical primary approximations
Solovyev, V., Salikhova, A. K., Lim, H. A. & Witten, M., 1992, Biomedical Modeling and Simulation. Eisenfeld, J. & Levin, D. (eds.). Elsevier Science Publishers B.V. (North-Holland), p. 201-211
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Submitted
9 Simple recommendations for teaching data skills
Shanahan, H., 16 Apr 2019, (Submitted) In: Data Science Journal.
Research output: Contribution to journal › Article › peer-review
Published
A (co)algebraic theory of succinct automata
Heerdt, G. V., Moerman, J., Sammartino, M. & Silva, A., Jun 2019, In: Journal of Logical and Algebraic Methods in Programming. 105, p. 112-125 14 p.
Research output: Contribution to journal › Article › peer-review
Published
A Biological Immune System (BIS) inspired Mobile Agent Platform (MAP) security architecture
Bagga, P., Hans, R. & Sharma, V., 15 Apr 2017, In: Expert Systems with Applications. 72, p. 269-282 14 p.
Research output: Contribution to journal › Article › peer-review
Published
A blended learning model for practical sessions
Barreiro, N. & Pinto de Matos, C., 7 Nov 2016, Computer Science and Information Systems (FedCSIS), 2016 Federated Conference on. Gdansk: IEEE, p. 903-912 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Broker Architecture for Integrating data Using a Web Services Environment
Bennett, K. H., Gold, N. E., Layzell, P. J., Zhu, F., Brereton, O. P., Budgen, D., Keane, J., Kotsiopoulos, I., Turner, M., Xu, J., Almilaji, O., Chen, J. C. & Owrak, A., 2003, 1st International Conference on Service-Oriented Computing, 15-18 December 2003, Trento, Italy. Orlowska, M. E., Weerawarana, S., Papazolglou, M. P. & Yang, J. (eds.). Berlin: Springer-Verlag, p. 409-422 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A case study on the usability of NXT-G programming language
Nguyen, K. A., Sep 2011, 23rd Annual Conference in Psychology of Programming (PPIG). York, England, 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A CASE Tool and Method to Support System Understanding and Modification
Layzell, P. J. & Freeman, M. J., 1993, CASE ‘93, Singapore 1993. p. 221-229 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A Categorical Account of Replicated Data Types
Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., Dec 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 150).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Census of Human Soluble Protein Complexes
Havugimana, P. C., Hart, G. T., Nepusz, T., Yang, H., Turinsky, A. L., Li, Z., Wang, P. I., Boutz, D. R., Fong, V., Phanse, S., Babu, M., Craig, S. A., Hu, P., Wan, C., Vlasblom, J., Dar, V-N., Bezginov, A., Clark, G. W., Wu, G. C., Wodak, S. J. & 4 others, Tillier, E. R. M., Paccanaro, A., Marcotte, E. M. & Emili, A., 31 Aug 2012, In: Cell. 150, 5, p. 1068–1081
Research output: Contribution to journal › Article › peer-review
Published
A characterization of horizontal visibility graphs and combinatorics on words
Gutin, G., Mansour, T. & Severini, S., 2011, In: Physica A: Statistical Mechanics and its Applications . 390, p. 2421-2428
Research output: Contribution to journal › Article › peer-review
E-pub ahead of print
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
Ciancia, V. & Sammartino, M., 23 Dec 2014, (E-pub ahead of print) In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8902, p. 97-111 15 p.
Research output: Contribution to journal › Article › peer-review
Published
A classification of locally semicomplete digraphs
Bang-Jensen, J., Guo, Y., Gutin, G. & Volkmann, L., 1997, In: Discrete Mathematics. 167/168, p. 101-114
Research output: Contribution to journal › Article
Forthcoming
A closer look at adaptive regret
Adamskiy, M., Koolen, W., Chernov, A. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568. p. 290 - 304 15 p. (Lecture Notes in Artificial Intelligence).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A closer look at adaptive regret
Adamskiy, D., Koolen, W., Chernov, A. & Vovk, V., Apr 2016, In: Journal of Machine Learning Research. 17, 23, p. 1-21 21 p.
Research output: Contribution to journal › Article › peer-review
Published
A coalgebraic semantics for causality in Petri nets
Bruni, R., Montanari, U. & Sammartino, M., Nov 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 6, p. 853-883 31 p.
Research output: Contribution to journal › Article › peer-review
Published
A Colored Path Problem and Its Applications
Eiben, E. & Kanj, I., Jun 2020, In: ACM Transactions on Algorithms (TALG). 16, 4, p. 1-48 48 p., 47.
Research output: Contribution to journal › Article › peer-review
Published
A Comparison of Three Implementations of Multi-Label Conformal Prediction
Wang, H., Liu, X., Nouretdinov, I. & Luo, Z., 3 Apr 2015, Statistical Learning and Data Sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 241-250 10 p. (Lecture Notes in Computer Science; vol. 9047).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Comparison of Venn Machine with Platt's Method in Probabilistic Outputs
Zhou, C., Nouretdinov, I., Luo, Z., Adamskiy, M., Coldham, N. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15-18, 2011, Proceedings , Part II. . p. 483-
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A complete characterization of complexity for Boolean constraint optimization problems
Cohen, D., Cooper, M. & Jeavons, P., 2004, p. 212-226.
Research output: Contribution to conference › Paper
Published
A Completeness Theory for Polynomial (Turing) Kernelization
Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., Mar 2015, In: Algorithmica. 71, 3, p. 702-730 29 p.
Research output: Contribution to journal › Article › peer-review
Published
A Completeness Theory for Polynomial (Turing) Kernelization
Hermelin, D., Kratsch, S., Soltys, K., Wahlström, M. & Wu, X., 2013, IPEC. Springer, Vol. LNCS 8246. p. 202 215 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Compositional Approach to Connector Construction
Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 2001, WADT. Springer, Vol. 2267. p. 201-220 20 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A computational tool that supports formal diagnosis of process design
Ramos, P. & Fiadeiro, J. L., 15 Oct 1998, In: Information and Software Technology. 40, 10, p. 555-565 11 p.
Research output: Contribution to journal › Article › peer-review
Published
A Computer-Aided Software Maintenance Process Model
Deraman, A. B. & Layzell, P. J., 1993, In: Journal of Knowledge Engineering. 6, 1, p. 36-42 7 p.
Research output: Contribution to journal › Article › peer-review
Unpublished
A Concurrent Bilateral Negotiation Model for Open E-Markets
Alrayes, B., 2016, (Unpublished) 217 p.
Research output: Thesis › Doctoral Thesis
Published
A construction which can be used to produce finitely presented infinite simple groups
Scott, E., 1984, In: Journal of Algebra. 90, p. 294-322
Research output: Contribution to journal › Article › peer-review
Published
A Constructive Approach for Proving Data Structures’ Linearizability
Lev-Ari, K., Chockler, G. & Keidar, I., 5 Nov 2015, Distributed Computing 29th International Symposium, DISC 2015 Tokyo, Japan, October 7–9, 2015 Proceedings. Moses, Y. (ed.). Springer-Verlag, Vol. 9363. p. 356–370 15 p. 97. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A contract-based event driven model for collaborative security in financial information systems
Baldoni, R., Lodi, G., Chockler, G., Dekel, E., Mulcahy, B. P. & Martufi, G., 2010, ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems. p. 147-153 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Cooperative Information System for the Connected Communities
Pitt, J., Mamdani, E. & Stathis, K., 1 May 1998, Proceedings of COOP'98: Improving the Design of Cooperative Systems. Darses, F. & Zarate, P. (eds.).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A coordination model for service-oriented interactions
Abreu, J. & Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5052 LNCS. p. 1-16 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A cost bounded possibilistic ATMS
Bigham, J., Luo, Z. & Banerjee, D., 1995, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Lecture Notes in Computer Science . Froidevaux, C. & Kohlas, J. (eds.). Springer, Vol. 946. p. 52-59
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A cost bounded possibilistic ATMS
Bigham, J., Luo, Z. & Banerjee, D., 1994, Proceedings of Expert Systems 94 . Bramer, M. A. & Macintosh, A. L. (eds.). p. 161-172
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A criterion for the existence of predictive complexity for binary games
Kalnishkan, Y., Vovk, V. & Vyugin, M. V., 2004, Proceedings of the Fifteenth International Conference on Algorithmic Learning Theory. Ben-David, S., Case, J. & Maruoka, A. (eds.). Heidelberg: Springer, Vol. 3244. p. 249-263 15 p. (Lecture Notes in Artificial Intelligence; vol. 3244).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A data-centric approach for scalable state machine replication
Chockler, G., Malkhi, D. & Dolev, D., 1 Jan 2003, In: Lecture Notes in Computer Science. 2584, p. 159-163 5 p.
Research output: Contribution to journal › Article › peer-review
Published
A data-gathering broker as a future-orientated approach to supporting EPR users
Rigby, M., Budgen, D., Turner, M., Kotsiopoulos, I., Brereton, P., Keane, J., Bennett, K., Russell, M., Layzell, P. & Zhu, F., 2007, In: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS. 76, 2-3, p. 137-144 8 p.
Research output: Contribution to journal › Article › peer-review
Published
A Data-Gathering Broker As a Future-Oriented Approach to Supporting EPR Users
Rigby, M., Budgen, D., Turner, M., Kotsiopoulos, I., Brereton, P., Keane, J., Bennett, K., Russell, M., Layzell, P. & Zhu, F., 2007, In: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS. 76, 2-3, p. 137-144 8 p.
Research output: Contribution to journal › Article › peer-review
E-pub ahead of print
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.
Research output: Contribution to conference › Paper › peer-review
Published
A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation
Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., Jul 2020, p. 297-303. 7 p.
Research output: Contribution to conference › Paper › peer-review
Published
A dialectic architecture for computational autonomy
Witkowski, M. & Stathis, K., 2004, Agents and computational autonomy: potential, risks, and solutions. Springer-Verlag, Vol. 2969. p. 261-273 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Dibutyl Phthalate Sensor Based on a Nanofiber Polyaniline Coated Quartz Crystal Monitor
Wang, Y., Ding, P., Hu, R., Zhang, J., Ma, X., Luo, Z. & Li, G., Jan 2013, In: Sensors. 13, 3, p. 3765-3775
Research output: Contribution to journal › Article › peer-review
Published
A Dichotomy for Minimum Cost Graph Homomorphisms
Gutin, G., Hell, P., Rafiey, A. & Yeo, A., May 2008, In: European Journal of Combinatorics. 29, 4, p. 900-911 12 p.
Research output: Contribution to journal › Article › peer-review
Published
A Distributed Treatment of Exceptions in Multiagent Contracts (Preliminary Report)
Kafali, O. & Yolum, P., 2011, Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Dynamic Distributed Architecture for Preserving Privacy of Medical IoT Monitoring Measurements
Darwish, S., Nouretdinov, I. & Wolthusen, S., 2018, 16th International Conference On Smart homes and health Telematics (ICOST'2018). Springer, p. 146-157 12 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Fact Gathering and Analysis Tool
Rego, H. B., Layzell, P. J. & Reis, J., 1989, Lima, Proc. CASE'89, Supplementary Volume. p. 335-338 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A FAST Front End Application
Stathis, K., 1 Apr 1994, Proceedings of the 2nd International Conference on the Practical Applications of Prolog (PAP'94). Sterling, L. (ed.). p. 537-548 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Fast Glimpse of Knowledge-Based Front-Ends as Games
Stathis, K. & Sergot, M. J., 1 Oct 1996, Proc. of 1st International Conference on Successes and Failures of Knowledge-Based Systems in Real World Applications. Batanov, D. & Brezillon, P. (eds.). Bangkok, Thailand: AIT Press, p. 19-33 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Faster Fixed-Parameter Approach to Drawing Binary Tanglegrams
Böcker, S., Hüffner, F., Truss, A. & Wahlström, M., 2009, Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009. Chen, J. & Fomin, F. V. (eds.). Copenhagen, Denmark: Springer, Vol. 5917. p. 38-49 12 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Feed-Forward Neural Network for Increasing the Hopfield-Network Storage Capacity
Zhao, S., Chen, B., Wang, H., Luo, Z. & Zhang, T., 6 May 2022, In: International Journal of Neural Systems. 16 p.
Research output: Contribution to journal › Article › peer-review
Published
A finitely presented simple group with unsolvable conjugacy problem
Scott, E., 1984, In: Journal of Algebra. 90, p. 333-353
Research output: Contribution to journal › Article › peer-review
Published
A flexible object-oriented system for teaching and learning structured IR
de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2007, Proceedings of the First International Workshop on Teaching and Learning of Information Retrieval. London (UK), 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A formal approach to event-based architectures
Fiadeiro, J. L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3922 LNCS. p. 18-32 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A formal approach to service component architecture
Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4184 LNCS. p. 193-213 21 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A Formal Framework of Virtual Organisations as Agent Societies
McGinnis, J., Stathis, K. & Toni, F., 25 Jan 2010, p. 1-14. 14 p.
Research output: Contribution to conference › Paper › peer-review
E-pub ahead of print
A Formal Model for Checking Cryptographic API Usage in JavaScript
Mitchell, D. & Kinder, J., 15 Sep 2019, (E-pub ahead of print) ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Springer, Vol. 11735. p. 341-360 20 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A formal model for service-oriented interactions
Fiadeiro, J., Lopes, A. & Abreu, J., 1 May 2012, In: Science of Computer Programming. 77, 5, p. 577-608 32 p.
Research output: Contribution to journal › Article › peer-review
Published
A formal model of agent-oriented virtual organisations and their formation
McGinnis, J., Stathis, K. & Toni, F., 29 Dec 2011, In: Multiagent and Grid Systems. 7, 6, p. 291-310
Research output: Contribution to journal › Article › peer-review
Published
A formal transformation and refinement method for re-engineering concurrent programs
Younger, E., Bennett, K. & Luo, Z., 1997, Proc of IEEE Inter. Conf. on Software Maintenance.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Framework for the Cryptographic Enforcement of Information Flow Policies
Alderman, J., Crampton, J. & Farley, N., 7 Jun 2017, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 143-154 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Full Operational Semantics for Asynchronous Relational Networks
Vissani, I., Lopez Pombo, C., Tutu, I. & Fiadeiro, J. L., 30 Dec 2015, Recent Advances in Algebraic Development Techniques. Springer, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
E-pub ahead of print
A Functional Perspective on Machine Learning via Programmable Induction and Abduction
Cheung, S., Davariu, V., Ghica, D., Muroya, K. & Rowe, R., 24 Apr 2018, (E-pub ahead of print) FLOPS 2018: Functional and Logic Programming. Springer, Vol. 10818. p. 84-98 15 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A game of prediction with expert advice
Vovk, V., 1995, Proceedings of the Eighth Annual Conference on Computational Learning Theory . Maass, W. (ed.). New York: ACM Press, p. 51-60
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A game of prediction with expert advice
Vovk, V., Apr 1998, In: Journal of Computer and System Sciences. 56, 2, p. 153-173 21 p.
Research output: Contribution to journal › Article › peer-review
Published
A Game-based Architecture for developing Interactive Components in Computational Logic
Stathis, K., Brogi, A. (ed.) & Hill, P. (ed.), 1 Mar 2000, In: Functional and Logic Programming, Special Issue on Logical Formalisms for Program Composition. 2000, 5
Research output: Contribution to journal › Article › peer-review
Published
A game-theoretic explanation of the $dt$ effect
Vovk, V. & Shafer, G., Jan 2003, (The Game-Theoretic Probability and Finance project, http://probabilityandfinance.com).
Research output: Working paper
Published
A Glucose Sensor Based on Glucose Oxidase Immobilized by Electrospinning Nanofibrous Polymer Membranes Modified with Carbon Nanotubes
Wang, Y., Xu, H., Wang, Z., Hu, R., Luo, Z., Xu, Z. & Li, G., May 2013, In: Sensors & Transducers Journal. 152, 5, p. 180-185 6 p.
Research output: Contribution to journal › Article › peer-review
Published
A graph based architectural (re)configuration language
Wermelinger, M., Lopes, A. & Fiadeiro, J. L., 1 Jan 2001, 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001. p. 21-32 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A graph transformation approach to software architecture reconfiguration
Wermelinger, M. & Fiadeiro, J. L., 1 Jul 2002, In: Science of Computer Programming. 44, 2, p. 133-155 23 p.
Research output: Contribution to journal › Article › peer-review
Published
A graph-based design framework for services
Lopes, A. & Fiadeiro, J. L., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7562 LNCS. p. 1-19 19 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A Hierarchical and Regional Deep Learning Architecture for Image Description Generation
Kinghorn, P., Zhang, L. & Shao, L., 1 Mar 2019, In: Pattern Recognition Letters. 119, p. 77-85 9 p.
Research output: Contribution to journal › Article › peer-review
Published
A high quality draft consensus sequence of the genome of a heterozygous grapevine variety
Velasco, R., Zharkikh, A., Troggio, M., Cartwright, D. A., Cestaro, A., Pruss, D., Pindo, M., Fitzgerald, L. M., Vezzulli, S., Reid, J., Malacarne, G., Iliev, D., Coppola, G., Wardell, B., Micheletti, D., Macalma, T., Facci, M., Mitchell, J. T., Perazzolli, M., Eldredge, G. & 37 others, Gatto, P., Oyzerski, R., Moretto, M., Gutin, N., Stefanini, M., Chen, Y., Segala, C., Davenport, C., Demattè, L., Mraz, A., Battilana, J., Stormo, K., Costa, F., Tao, Q., Si-Ammour, A., Harkins, T., Lackey, A., Perbost, C., Taillon, B., Stella, A., Solovyev, V., Fawcett, J. A., Sterck, L., Vandepoele, K., Grando, S. M., Toppo, S., Moser, C., Lanchbury, J., Bogden, R., Skolnick, M., Sgaramella, V., Bhatnagar, S. K., Fontana, P., Gutin, A., Van de Peer, Y., Salamini, F. & Viola, R., 2007, In: PLoS ONE. 2, 12, p. e1326
Research output: Contribution to journal › Article › peer-review
Published
A Higher-order Calculus and Theory Abstraction
Luo, Z., 1991, In: Information and Computation. 90, 1, p. 107-137 31 p.
Research output: Contribution to journal › Article › peer-review
Published
A Higher-order Calculus and Theory Abstraction
Luo, Z., 1988, LFCS Report Series.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Unpublished
A History of Cluster Analysis Using the Classification Society's Bibliography Over Four Decades
Murtagh, F. & J. Kurtz, M., 1 Sep 2012, (Unpublished) In: NA.
Research output: Contribution to journal › Article
Forthcoming
A Hybrid Short-Term Load Forecasting Method Based on Empirical Wavelet Transform and Bidirectional Long Short-Term Memory Neural Networks
Zhang, X., Kuenzel, S., Colombo, N. & Watkins, C., 25 Jan 2022, (Accepted/In press) In: Journal of Modern Power Systems and Clean Energy.
Research output: Contribution to journal › Article › peer-review
Published
A Knowledge-Based Requirements Engineering Support Environment
Loucopoulos, P., Layzell, P. J., Champion, R. E. M. & Gibson, M. D., 1988, Proc. Conf. on Knowledge Based Software Assistance (KBSA), Utica, USA, 2-4 August, 1988.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A labelling framework for probabilistic argumentation
Riveret, R., Baroni, P., Gao, Y., Governatori, G., Rotolo, A. & Sartor, G., May 2018, In: Annals of Mathematics and Artificial Intelligence. 83, 1, p. 21-71 51 p.
Research output: Contribution to journal › Article › peer-review
Published
A Lambek Calculus with Dependent Types
Luo, Z., 2015, Types for Proofs and Programs.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Language Enhancement Facility for COBOL
Triance, J. M. & Layzell, P. J., 1985, In: The Computer Journal.
Research output: Contribution to journal › Article › peer-review
Published
A large-scale evaluation of computational protein function prediction
Radivojac, P., Clark, W. T., Oron, T. R., Schnoes, A. M., Wittkop, T., Sokolov, A., Graim, K., Funk, C., Verspoor, K., Ben-Hur, A., Pandey, G., Yunes, J. M., Talwalkar, A. S., Repo, S., Souza, M. L., Piovesan, D., Casadio, R., Wang, Z., Cheng, J., Fang, H. & 82 others, Gough, J., Koskinen, P., Törönen, P., Nokso-Koivisto, J., Holm, L., Cozzetto, D., Buchan, D. W. A., Bryson, K., Jones, D. T., Limaye, B., Inamdar, H., Datta, A., Manjari, S. K., Joshi, R., Chitale, M., Kihara, D., Lisewski, A. M., Erdin, S., Venner, E., Lichtarge, O., Rentzsch, R., Yang, H., Romero, A. E., Bhat, P., Paccanaro, A., Hamp, T., Kaßner, R., Seemayer, S., Vicedo, E., Schaefer, C., Achten, D., Auer, F., Boehm, A., Braun, T., Hecht, M., Heron, M., Hönigschmid, P., Hopf, T. A., Kaufmann, S., Kiening, M., Krompass, D., Landerer, C., Mahlich, Y., Roos, M., Björne, J., Salakoski, T., Wong, A., Shatkay, H., Gatzmann, F., Sommer, I., Wass, M. N., Sternberg, M. J. E., Škunca, N., Supek, F., Bošnjak, M., Panov, P., Džeroski, S., Šmuc, T., Kourmpetis, Y. A. I., van Dijk, A. D. J., ter Braak, C. J. F., Zhou, Y., Gong, Q., Dong, X., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Di Camillo, B., Toppo, S., Lan, L., Djuric, N., Guo, Y., Vucetic, S., Bairoch, A., Linial, M., Babbitt, P. C., Brenner, S. E., Orengo, C., Rost, B., Mooney, S. D. & Friedberg, I., Mar 2013, In: Nature Methods. 10, 3, p. 221-7 7 p.
Research output: Contribution to journal › Article › peer-review
Published
A learnable representation for syntax using residuated lattices
Clark, A., 2009, Proceedings of the Conference on Formal Grammar.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Lightweight Service Registry for Unstable Ad-hoc Networks
Goncalves, P., Stathis, K. & Peach, N., 16 Nov 2011, Proceedings of the International Joint Conference on Ambient Intelligence (AmI 2011). p. 136-140 (Lecture Notes in Computer Science; vol. 7040/2011).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Linear Dependent Type Theory
Luo, Z. & Zhang, Y., May 2016, TYPES 2016: Book of Abstracts. p. 69-70 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
E-pub ahead of print
A Location-Aware Strategy for Agents Negotiating Load-balancing
Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 13 Feb 2020, (E-pub ahead of print) p. 1-8. 8 p.
Research output: Contribution to conference › Paper › peer-review
Published
A logic of probability, with application to the foundations of statistics (with discussion)
Vovk, V., 1993, In: Journal of the Royal Statistical Society: Series B (Statistical Methodology). 55, p. 317-351 35 p.
Research output: Contribution to journal › Article › peer-review
Published
A Logic-Programming Semantics of Services
Tutu, I. & Fiadeiro, J. L., 2013, p. 299-313.
Research output: Contribution to conference › Paper › peer-review
Published
A long-range self-similarity approach to segmenting DJ mixed music streams
Scarfe, T., Koolen, W. M. & Kalnishkan, Y., 2013, Artificial Intelligence Applications and Innovations: Proceedings of the 9th IFIP WG 12.5 International Conference, AIAI 2013, Paphos, Cyprus, September 30 – October 2, 2013. Papadopoulos, H., Andreou, A. S., Iliadis, L. & Maglogiannis, I. (eds.). Springer, p. 235-244 10 p. (IFIP Advances in Information and Communication Technology; vol. 412).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Lower Bound for a Prediction Algorithm under the Kullback-Leibler Game
Dzhamtyrova, R. & Kalnishkan, Y., Sep 2021, Conformal and Probabilistic Prediction and Applications 2021. Carlsson, L., Luo, Z., Cherubin, G. & An Nguyen, K. (eds.). Proceedings of Machine Learning Research, Vol. 152. p. 39-51 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A machine vision approach to the grading of crushed aggregate
Murtagh, F., Qiao, X., Crookes, D., Walsh, P., Basheer, P. A. M., Long, A. & Starck, J. L., 2005, In: Machine Vision and Applications. 16, 4, p. 229-235
Research output: Contribution to journal › Article
Published
A Mathematical Semantics for Architectural Connectors
Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 1 Jan 2003, In: Lecture Notes in Computer Science. 2793, p. 178-221 44 p.
Research output: Contribution to journal › Article › peer-review
Published
A maximal eigenvalue for detecting process representative genes by intergrating data from multiple sources
Yang, H., Bhat, P., Shanahan, H. & Paccanaro, A., 2008.
Research output: Contribution to conference › Other
Published
A maximal tractable class of soft constraints
Cohen, D., Cooper, M., Jeavons, P. & Krokhin, A., 2004, In: Journal of Artificial Intelligence Research. 22, p. 1-22
Research output: Contribution to journal › Article › peer-review
Published
A Memetic Algorithm for the Generalized Traveling Salesman Problem
Gutin, G. & Karapetyan, D., 2010, In: Natural Computing. 9, p. 47--60
Research output: Contribution to journal › Article › peer-review
Published
A Meta Model of Information Systems to Support Reverse Engineering
Freeman, M. J. & Layzell, P. J., 1994, In: Information and Software Technology. 36, 5, p. 283-294 12 p.
Research output: Contribution to journal › Article › peer-review
Published
A methodological approach to visual reasoning
Liu, X., Zhang, G. & Luo, Z., 1989, Proceeding of International workshop on industrial applications of machine intelligence and vision. Japan, p. 50-55
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Methodological Framework for the Basis of Explicit Modelling to Enhance Software Maintenance
Poo, C. C. & Layzell, P. J., 1990, In: Information and Software Technology. 32, 3, p. 175-186 12 p.
Research output: Contribution to journal › Article › peer-review
Unpublished
A Middleware for Ubiquitous Agents
Dipsis, N., 2015, (Unpublished) 243 p.
Research output: Thesis › Doctoral Thesis
Published
A Middleware Framework for Robust Applications in Wireless Ad Hoc Networks
Chockler, G., Demirbas, M., Gilbert, S. & Newport, C., Sep 2005, Proceeding of the 43rd Allerton Conference on Communication, Control, and Computing. Curran Associates
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A mobile phone based personal narrative system
Black, R., Waller, A., Tintarev, N., Reiter, E. & Reddington, J., 2011, The proceedings of the 13th international ACM SIGACCESS conference on Computers and accessibility. p. 171-178 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A model for dynamic reconfiguration in service-oriented architectures
Fiadeiro, J. L. & Lopes, A., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6285 LNCS. p. 70-85 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A model for dynamic reconfiguration in service-oriented architectures
Fiadeiro, J. L. & Lopes, A., 1 May 2013, In: Software and Systems Modeling. 12, 2, p. 349-367 19 p.
Research output: Contribution to journal › Article › peer-review
Published
A Model for Selecting CSCW Technologies for Distributed Software Maintenance Teams in Virtual Organisations
Tjortjis, C., Dafoulas, G., Layzell, P. J. & Macaulay, L. A., 2002, Proc. Twenty-Sixth Annual International Computer Software and Applications Conference (COMPSAC 02). IEEE Computer Society Press, p. 1104-1108 5 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A model of actors and grey failures
Bocchi, L., Lange, J., Thompson, S. & Voinea, A. L., 13 Jun 2022, 24th International Conference on Coordination Models and Languages. Springer-Verlag
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A model-checking approach for service component architectures
Abreu, J., Fiadeiro, J. L., Mazzanti, F. & Gnesi, S., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5522 LNCS. p. 219-224 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Unpublished
A Modular Hierarchy of Logical Frameworks
Adams, R., 2004, (Unpublished) 254 p.
Research output: Thesis › Doctoral Thesis
Published
A Modular Hierarchy of Logical Frameworks
Adams, R., 2004, Types for Proofs and Programs. Berardi, S., Coppo, M. & Damiani, F. (eds.). Springer, Vol. 3085. p. 1-16 16 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A multi-agent based management system for future ATM networks
Hayzelden, A., Bigham, J. & Luo, Z., 1999, Proceedings of the Fourth International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents (PAAM'99). p. 179-192
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A multi-agent based management system for service provider negotiation and charging
Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 1999, Proceedings of IFIP TC6 Workshop.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Multi-Population FA for Automatic Facial Emotion Recognition
Mistry, K., Rizvi, B., Rook, C., Iqbal, S., Zhang, L. & Joy, C. P., 28 Sep 2020, A Multi-Population FA for Automatic Facial Emotion Recognition. International Joint Conference on Neural Networks (IJCNN): IEEE
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Multi-Robot Platform for the Autonomous Operation and Maintenance of Offshore Wind Farms
Bernardini, S., Jovan, F., Jiang, Z., Watson, S., Weightman, A., Moradi, P., Richardson, T., Sadeghian, R. & Sareh, S., May 2020, International Conference on Autonomous Agents and Multi-Agent Systems 2020 . p. 1696-1700 5 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Multivariate Approach for Checking Resiliency in Access Control
Crampton, J., Gutin, G. & Watrigant, R., 2016, Algorithmic Aspects in Information and Management: AAIM 2016. Springer-Verlag, p. 173-184 12 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A negotiation description language
Elfatatry, A. & Layzell, P., 2005, In: SOFTWARE-PRACTICE. 35, 4, p. 323-343 21 p.
Research output: Contribution to journal › Article › peer-review
Published
A Network Flow Interpretation of Robust Goal Legibility in Path Finding
Bernardini, S., Fagnani, F., Franco, S. & Neacsu, A., 13 Jun 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling (ICAPS 2022). 1 ed. Vol. 32. p. 668 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
E-pub ahead of print
A network medicine approach to quantify distance between hereditary disease modules on the interactome
Caniza, H., Romero, A. E. & Paccanaro, A., 3 Dec 2015, (E-pub ahead of print) In: Scientific Reports. 5, p. 1-10 10 p., 17658.
Research output: Contribution to journal › Article › peer-review
Published
A network-conscious π-calculus and its coalgebraic semantics
Montanari, U. & Sammartino, M., 21 Aug 2014, In: Theoretical Computer Science. 546, p. 188-224 37 p.
Research output: Contribution to journal › Article › peer-review
Published
A new approach for the classification of functional regions of DNA sequences based on fractal representation
Solovyev, V., Korolev, S. V. & Lim, H. A., 1993, In: Int.J. Genomic. Res.. 1, 2, p. 108-127
Research output: Contribution to journal › Article › peer-review
Forthcoming
A New Approach to Population Sizing for Memetic Algorithms: A Case Study for the Multidimensional Assignment Problem
Karapetyan, D. & Gutin, G., 2011, (Accepted/In press) In: Evolutionary Computation. in press
Research output: Contribution to journal › Article › peer-review
Forthcoming
A new bound for 3-satisfiable MaxSat and its algorithmic application
Gutin, G., Jones, M., Scheder, D. & Yeo, A., 2013, (Accepted/In press) In: Information and Computation. 8 p.
Research output: Contribution to journal › Article › peer-review
Published
A new bound on the domination number of graphs with minimum degree two
Henning, M., Schiermeyer, I. & Yeo, A., 2011, In: The Electronic Journal of Combinatorics. 18, 1
Research output: Contribution to journal › Article › peer-review
Published
A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure
Cohen, D. A., 2003, p. 807-811.
Research output: Contribution to conference › Paper
Published
A New Efficient In Situ Sampling Model for Heuristic Selection in Optimal Search
Franco, S., Barley, M. W. & Riddle, P. J., 2013, AI 2013: Advances in Artificial Intelligence : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Cranefield, S. & Nayak, A. C. (eds.). Springer, p. 178-189 12 p. (Lecture Notes in Computer Science; vol. 8272).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A New Lower Bound on the Maximum Number of Satisfied clauses in Max-SAT and its algorithmic applications.
Crowston, R., Gutin, G., Jones, M. & Yeo, A., 2012, In: Algorithmica. doi: 10.1007/s00453-011-9550-1
Research output: Contribution to journal › Article › peer-review
Published
A New Randomized Algorithm to Approximate the Star Discrepancy Based on Threshold Accepting
Gnewuch, M., Wahlström, M. & Winzen, C., 2012, In: SIAM Journal on Numerical Analysis. 50, 2, p. 781-807 27 p.
Research output: Contribution to journal › Article › peer-review
Published
A New Sufficient Condition for a Digraph to be Hamiltonian
Bang-Jensen, J., Guo, Y. & Yeo, A., 1999, In: Discrete Applied Mathematics. 95, 1-3, p. 61-72 12 p.
Research output: Contribution to journal › Article › peer-review
Published
A new upper bound on the total domination number of a graph
Henning, M. & Yeo, A., 2007, In: The Electronic Journal of Combinatorics. 14, 1
Research output: Contribution to journal › Article › peer-review
Published
A non-perturbative calculation of the mass of the B-c
Shanahan, H. P., Boyle, P., Davies, C. T. H., Newton, H. & UKQCD Collaboration, 6 May 1999, In: Physics Letters B. 453, 3-4, p. 289-294 6 p.
Research output: Contribution to journal › Article › peer-review
E-pub ahead of print
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic
Docherty, S. & Rowe, R., 14 Aug 2019, (E-pub ahead of print) TABLEAUX 2019: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, p. 335-352 18 p. (Lecture Notes in Computer Science; vol. 11714).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A note about norbert wiener and his contribution to harmonic analysis and tauberian theorems
Almira, J. M. & Romero, A. E., 1 Jan 2009, AIP Conference Proceedings. Vol. 1124. p. 19-28 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A Note on Alternating Cycles in Edge-coloured Graphs
Yeo, A., 1997, In: Journal of Combinatorial Theory, Series B. 69, p. 222-225 4 p.
Research output: Contribution to journal › Article › peer-review
Published
A note on cardinality of certain classes of unlabeled multipartite tournaments
Gutin, G., 1998, In: Discrete Mathematics. 186, p. 277-280
Research output: Contribution to journal › Article
Published
A note on Contextual Binary Feature Grammars
Clark, A., Eyraud, R. & Habrard, A., 2009.
Research output: Contribution to conference › Paper › peer-review
Published
A Note on Local Ultrametricity in Text
Murtagh, F., 27 Jan 2007.
Research output: Working paper
Published
A novel high-throughput in vivo molecular screen for shade avoidance mutants identifies a novel phyA mutation
Wang, X., Roig-Villanova, I., Khan, S., Shanahan, H., Quail, P. H., Martinez-Garcia, J. F. & Devlin, P. F., 2011, In: Journal of Experimental Botany. 62, 8, p. 2973-2987 15 p.
Research output: Contribution to journal › Article › peer-review
Published
A novel method of protein sequence classification based on oligopeptide frequency analysis and its application to search for functional sites and to domain localization
Solovyev, V. V. & Makarova, K. S., 1 Feb 1993, In: Bioinformatics. 9, 1, p. 17-24 8 p.
Research output: Contribution to journal › Article › peer-review
Published
A Novel Method to Detect Bias in Short Read NGS Data
Alnasir, J. & Shanahan, H., 2017, In: Journal of Integrative Bioinformatics. 14, 3, p. 1-9 9 p.
Research output: Contribution to journal › Article › peer-review
Published
A novel type of RNase III family proteins in eukaryotes
Filippov, V., Solovyev, V., Filippova, M. & Gill, S. S., 7 Mar 2000, In: Gene. 245, 1, p. 213-21 9 p.
Research output: Contribution to journal › Article › peer-review
Published
A Pluralist Approach to the Formalisation of Mathematics
Adams, R. & Luo, Z., 2 Jul 2011, In: Mathematical Structures in Computer Science. 21, 4, p. 913-942 29 p.
Research output: Contribution to journal › Article › peer-review
Published
A Pluralist Approach to Type-Theoretic Foundations.
Luo, Z., 2013, Inter. Conf. on Type Theory, Homotopy Theory and Univalent Foundations. .
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A point-distribution index and its application to sensor-grouping in wireless sensor networks
Zhou, Y., Yang, H., Lyu, M. R. & Ngai, EC-H., 1 Jan 2006, IWCMC 2006 - Proceedings of the 2006 International Wireless Communications and Mobile Computing Conference. Vol. 2006. p. 1171-1176 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A Polynomial Algorithm for finding a cycle covering a given set of vertices in a semicomplete multipartite digraph
Yeo, A., 1999, In: Journal of Algorithms. 33, 1, p. 124-139 16 p.
Research output: Contribution to journal › Article › peer-review
Published
A polynomial algorithm for the Hamiltonian cycle problem in semicomplete multipartite digraphs
Bang-Jensen, J., Gutin, G. & Yeo, A., 1998, In: Journal of Graph Theory. 29, 2, p. 111-132
Research output: Contribution to journal › Article › peer-review
Published
A Polynomial Algorithm for the Inference of Context Free Languages
Clark, A., Eyraud, R. & Habrard, A., 1 Sep 2008, p. 29--42.
Research output: Contribution to conference › Paper › peer-review
Published
A polynomial kernel for 3-leaf power deletion
Ahn, J., Eiben, E., Kwon, O. J. & Oum, S. I., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. MFCS-2020-5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A polynomial kernel for line graph deletion
Eiben, E. & Lochet, W., 26 Aug 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 173).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A polynomial kernel for Multicut In Trees
Bousquet, N., Daligault, J., Thomasse, S. & Yeo, A., 2009, p. 183--194.
Research output: Contribution to conference › Paper
Published
A posteriori error bounds for joint matrix decomposition problems
Colombo, N. & Vlassis, N., Dec 2016, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 4950-4957 8 p.
Research output: Contribution to journal › Conference article › peer-review
Published
A probabilistic approach to problems parameterized above or below tight bounds
Gutin, G., Kim, E. J., Szeider, S. & Yeo, A., Mar 2011, In: Journal of Computer and System Sciences. 77, 2, p. 422-429
Research output: Contribution to journal › Article › peer-review
Published
A probabilistic argumentation framework for reinforcement learning agents
Riveret, R., Gao, Y., Governatori, G., Rotolo, A., Pitt, J. & Sartor, G., Mar 2019, In: Autonomous Agents and Multi-Agent Systems. 33, 1-2, p. 216-274 59 p.
Research output: Contribution to journal › Article › peer-review
Published
A probabilistic reasoning system based on a causal graph approach
Luo, Z. & Gammerman, A., 1990, Proceeding of IEE Colloquium on Knowledge Engineering.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic
Luo, Z., 1990, LFCS Report Series. LFCS, Edinburgh Univ
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A problem of finding an acceptable variant in some generalized project networks
Blokh, D., Gutin, G., Yeo, A. & Yeo, A., 2005, In: Journal of Applied Mathematics and Decision Science. 2, p. 75-81 7 p.
Research output: Contribution to journal › Article › peer-review
Published
A protocol compiler for secure sessions in ML
Corin, R. & Denielou, P-M., 2008, TRUSTWORTHY GLOBAL COMPUTING. Barthe, G. & Fournet, C. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 276-293 18 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A purely martingale version of Lindeberg's central limit theorem
Vovk, V., 1999.
Research output: Working paper
Published
A Recommender System Approach for Predicting Drug Side Effects
Galeano Galeano, D. & Paccanaro, A., 2018, IJCNN 2018: International Joint Conference on Neural Networks. IEEE Xplore, p. 1-7 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A RESTful and decentralised implementation of open objects
Goncalves, P. & Stathis, K., 2013, p. 1515-1524. 9 p.
Research output: Contribution to conference › Paper › peer-review
E-pub ahead of print
A RESTful middleware for AI controlled sensors, actuators and smart devices
Dipsis, N. & Stathis, K., 12 Sep 2019, (E-pub ahead of print) In: Journal of Ambient Intelligence and Humanized Computing. p. 1-24 24 p.
Research output: Contribution to journal › Article › peer-review
Published
A Rule-Based Approach to Information Systems Requirements
Assche, F. V., Layzell, P. J., Loucopoulos, P. & Speltincx, G., 1988, Proc. International Workshop on KBS in Software Engineering, UMIST, March 1988.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A Rule-Based Approach to the Construction and Evolution of Business Information Systems
Layzell, P. J. & Loucopoulos, P., 1988, Proc. 4th IEEE International Conference on Software Maintenance, Phoenix, Arizona, USA, October 1988. p. 258-264 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A Saturation Method for Collapsible Pushdown Systems
Broadbent, C., Carayol, A., Hague, M. & Serre, O., 2012, ICALP: International Colloquium on Automata, Languages and Programming.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A saturation method for the modal μ-calculus over pushdown systems
Hague, M. & Ong, C-HL., May 2011, In: Information and Computation. 209, 5, p. 799–821
Research output: Contribution to journal › Article › peer-review
Published
A secure compiler for session abstractions
Corin, R., Deniélou, P-M., Fournet, C., Bhargavan, K. & Leifer, J., 1 Jan 2008, In: Journal of Computer Security. 16, 5, p. 573-636 64 p.
Research output: Contribution to journal › Article › peer-review
Published
A Self-Healing Distributed Pervasive Health System
Bromuri, S., Schumacher, M. & Stathis, K., 2013, In: Int. J. of Web Engineering and Technology. 8, 2, p. 177 196 p.
Research output: Contribution to journal › Article › peer-review
Published
A Semantics of Business Configurations Using Symbolic Graphs
Mylonakis, N., Orejas, F. & Fiadeiro, J. L., 20 Aug 2015, Proceedings of the 12th IEEE International Conference on Services Computing. IEEE Computer Society Press, p. 146-153 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Service Oriented Approach for Ubiquitous Agents in AMI Systems Using EVATAR
Dipsis, N. & Stathis, K., 2010, p. 213. 220 p.
Research output: Contribution to conference › Paper › peer-review
Forthcoming
A Session Subtyping Tool
Lange, J., Bravetti, M., Bacchiani, L. & Zavattaro, G., 21 Apr 2021, (Accepted/In press) In: Lecture Notes in Computer Science.
Research output: Contribution to journal › Conference article › peer-review
Published
A Set-theoretic Setting for Structuring Theories in Proof Development
Luo, Z. & Burstall, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A simple method for the calculation of low energy packing of a-helices. A threshold Approximation. 1. The use of the method to estimate the effects of amino acid substitutions, deletions, and insertions in globins
Solovyev, V. & Kolchanov, N. A., 1984, In: J.Theor.Biol.. 11, p. 67-91
Research output: Contribution to journal › Article › peer-review
Published
A simplified Capital Asset Pricing Model
Vovk, V., 11 Nov 2011, 6 p.
Research output: Working paper
Published
A sound algorithm for asynchronous session subtyping
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 20 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 p. 38. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 4 Mar 2021, In: Logical Methods in Computer Science. 17, 1, p. 1-35 35 p.
Research output: Contribution to journal › Article › peer-review
Published
A static verification framework for message passing in Go using behavioural types
Lange, J., Ng, N., Toninho, B. & Yoshida, N., 27 May 2018, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018. IEEE Computer Society, p. 1137-1148 12 p. (Proceedings - International Conference on Software Engineering).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A stochastic simulation system and its application to causal models
Luo, Z. & Gammerman, A., 1990, Proceeding of 3rd International Conference on IPMU in Knowledge-Based Systems. p. 186-189
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A strictly martingale version of Kolmogorov's strong law of large numbers
Vovk, V., 1996, In: Theory of Probability and Its Applications. 41, 3
Research output: Contribution to journal › Article › peer-review
Published
A Structural Decomposition for Hypergraphs
Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1994, Jerusalem Combinatorics ’93. Barcelo, H. & Kalai, G. (eds.). American Mathematical Society, p. 161-177 17 p. (Contemporary Mathematics; vol. 178).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A Study of Communication and Cooperation in Distributed Software Project Teams
French, A. & Layzell, P. J., 1998, IEEE International Conference on Software Maintenance, Bethesda, November 1998. p. 146-155 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A study of the quenched (b)over-bar-c mass spectrum at beta=6.2
Davies, C. T. H., Lidsey, A. J. & Shanahan, H. P., Apr 1998, In: Nuclear Physics B - Proceedings Supplements. 63, p. 323-325 3 p.
Research output: Contribution to journal › Article › peer-review
Published
A Substitution Operation for Constraints
Jeavons, P. G., Cohen, D. A. & Cooper, M. C., 1 May 1994, Principles and Practice of Constraint Programming: Second International Workshop, PPCP '94 Rosario, Orcas Island, WA, USA, May 2–4, 1994 Proceedings. Borning, A. (ed.). Vol. 874. p. 1-9
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A sufficient condition for a semicomplete multipartite digraph to be Hamiltonian
Gutin, G., Bang-Jensen, J. & Huang, J., 1996, In: Discrete Mathematics. 161, p. 1-12
Research output: Contribution to journal › Article
E-pub ahead of print
A survey of deep learning approaches for WiFi-based indoor positioning
Feng, X., Nguyen, K. A. & Luo, Z., 20 Sep 2021, (E-pub ahead of print) In: Journal of Information and Telecommunication. 54 p.
Research output: Contribution to journal › Article › peer-review
Published
A Test for Tractability
Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1996, p. 267-281.
Research output: Contribution to conference › Paper
Published
A Theoretical Framework for Constraint Propagator Triggering
Cohen, D., Petrie, K. & Jefferson, C., 12 May 2016. 9 p.
Research output: Contribution to conference › Paper › peer-review
Published
A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances
Wahlström, M., 1 May 2008, 3rd International Workshop on Parameterized and Exact Computation (IWPEC 2008). Grohe, M. & Niedermeier, R. (eds.). Victoria (BC), Canada: Springer, Vol. 5018. p. 202-213 12 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A time- and message-optimal distributed algorithm for minimum spanning trees
Pandurangan, G., Robinson, P. & Scquizzato, M., 19 Jun 2017, STOC 2017: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. New York: Association for Computing Machinery (ACM), p. 743-756 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A timed component algebra for services
Delahaye, B., Fiadeiro, J. L., Legay, A. & Lopes, A., 2013, FMOODS/FORTE. Beyer, D. & Borelae, M. (eds.). Springer, p. 242-257 16 p. (Lecture Notes in Computer Science; vol. 7892).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Tool for Balance Control Training Using Muscle Synergies and Multimodal Interfaces
Galeano Galeano, D., Brunetti, F., Torricelli, D., Piazza, S. & Pons, J. L., 5 Mar 2014, In: BioMed research international.
Research output: Contribution to journal › Article › peer-review
Published
A tool for choreography-based analysis of message-passing software
Lange, J., Tuosto, E. & Yoshida, N., 31 Jul 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 125-146 22 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
A tour around finitely presented infinite simple groups
Scott, E., 1989, Algorithms And Classification in Combinatorial Group Theory. Springer-Verlag, p. 83-119
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Unpublished
A transformer conformal predictor for paraphrase detection
Giovannotti, P., 2020, (Unpublished).
Research output: Contribution to conference › Poster › peer-review
Published
A transition from total domination in graphs to transversals in hypergraphs
Henning, M. & Yeo, A., 2007, In: Quaestiones Mathematicae. 30, p. 1-20 20 p.
Research output: Contribution to journal › Article › peer-review
Published
A tutorial on conformal prediction
Shafer, G. & Vovk, V., 21 Jun 2007.
Research output: Working paper
Published
A tutorial on conformal prediction
Shafer, G. & Vovk, V., Mar 2008, In: Journal of Machine Learning Research. 9, p. 371-421 51 p.
Research output: Contribution to journal › Article › peer-review
Published
A type-theoretic framework for formal reasoning with different logical foundations
Luo, Z., 2007, Advances in Computer Science, Proc of the 11th Annual Asian Computing Science Conference. LNCS 4435. Springer
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A Unified Theory of Structural Tractability for Constraint Satisfaction and Spread Cut Decomposition.
Cohen, D. A., Jeavons, P. & Gyssens, M., 2005, p. 72-77.
Research output: Contribution to conference › Paper
Published
A unified theory of structural tractability for constraint satisfaction problems
Cohen, D., Jeavons, P. & Gyssens, M., Aug 2008, In: Journal of Computer and System Sciences. 74, 5, p. 721-743 23 p.
Research output: Contribution to journal › Article › peer-review
Published
A Unifying Framework for Characterizing and Computing Width Measures
Eiben, E., Ganian, R., Hamm, T., Jaffke, L. & Kwon, O. J., 25 Jan 2022, p. 63:1--63:23. 23 p.
Research output: Contribution to conference › Paper › peer-review
Published
A Unifying Framework for Tractable Constraints
Jeavons, P. G., Cohen, D. A. & Gyssens, M., 1995, p. 276-291.
Research output: Contribution to conference › Paper
Published
A Unifying Look at Sequence Submodularity
Bernardini, S., Fagnani, F. & Piacentini, C., Aug 2021, In: Artificial Intelligence. 297, 103486.
Research output: Contribution to journal › Article › peer-review
Published
A Unifying Theory of Dependent Types: the schematic approach
Luo, Z., 1992, Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
A universal well-calibrated algorithm for on-line classification
Vovk, V., Jun 2004, In: Journal of Machine Learning Research. 5, p. 575-604 30 p.
Research output: Contribution to journal › Article › peer-review
Published
A use-case driven approach to formal service-oriented modelling
Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Communications in Computer and Information Science. Vol. 17 CCIS. p. 155-169 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
A verification logic for rewriting logic
Martí-Oliet, N., Pita, I., Fiadeiro, J. L., Meseguer, J. & Maibaum, T., 1 Jun 2005, In: Journal of Logic and Computation. 15, 3, p. 317-352 36 p.
Research output: Contribution to journal › Article › peer-review
Published
A volume-based heat-diffusion classifier
Yang, H., Lyu, M. R. & King, I., 1 Jan 2009, In: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 39, 2, p. 417-430 14 p.
Research output: Contribution to journal › Article › peer-review
Published
Ab initio gene finding in Drosophila genomic DNA
Salamov, A. A. & Solovyev, V. V., Apr 2000, In: Genome Research. 10, 4, p. 516-522 7 p.
Research output: Contribution to journal › Article › peer-review
Unpublished
Above And Below Guarantee Parameterizations For Combinatorial Optimisation Problems
Jones, M., 2013, (Unpublished) 141 p.
Research output: Thesis › Doctoral Thesis
Published
Abstract Constraint Data Types
Fiadeiro, J. L. & Orejas, F., 2015, Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. de Nicola, R. & Hennicker, R. (eds.). Springer, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8950).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Abstract object types – a temporal perspective
SERNADAS, A., FIADEIRO, J., SERNADAS, C. & EHRICH, H. D., 1989, TEMPORAL LOGIC IN SPECIFICATION. BANIEQBAL, B., BARRINGER, H. & PNUELI, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 324-350 27 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Abstract probabilistic automata
Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A., 1 Nov 2013, In: Information and Computation. 232, p. 66–116 16 p.
Research output: Contribution to journal › Article › peer-review
Published
Abstraction preservation and subtyping in distributed languages
Deniélou, P-M. & Leifer, J. J., 1 Jan 2006, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Reppy, J. H. & Lawall, J. L. (eds.). ACM, Vol. 2006. p. 286-297 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
Abundance of plastid DNA insertions in nuclear genomes of rice and Arabidopsis
Shahmuradov, I. A., Akbarova, Y. Y., Solovyev, V. V. & Aliyev, J. A., Jul 2003, In: Plant Molecular Biology. 52, 5, p. 923-934 12 p.
Research output: Contribution to journal › Article › peer-review
Published
Abusing the Tutte Matrix: An Algebraic Instance Compression for the K-set-cycle Problem
Wahlström, M., 2013, STACS. p. 341-352 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Access Control in Publicly Verifiable Outsourced Computation
Alderman, J., Janson, C., Cid, C. & Crampton, J., 14 Apr 2015, Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIACCS 2015. ACM, p. 657-662 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Access-as-you-need: A computational logic framework for accessing resources in artificial societies
Toni, F. & Stathis, K., 2003, p. 126-140. 15 p.
Research output: Contribution to conference › Paper › peer-review
Published
Accessing External Applications from Knowledge-Based Systems
Cosmadopoulos, Y., Southwick, R. & Stathis, K., 1990, Proceedings of Expert Systems 90, Research and Development in Expert Systems VII. Addis, T. R. & Muir, R. M. (eds.). p. 54-65 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Accurate Hit Estimation for Iterative Screening Using Venn-ABERS Predictors
Buendia, R., Kogej, T., Engkvist, O., Carlsson, L., Linusson, H., Johansson, U., Toccaceli, P. & Ahlberg, E., 25 Mar 2019, In: Journal of Chemical Information and Modeling. 59, p. 1230-1237 8 p., 3.
Research output: Contribution to journal › Article › peer-review
Published
ACM International Conference Proceeding Series: Foreword
Allalouf, M., Ben-Yehuda, M., Factor, M., Feitelson, D. & Chockler, G., 2009, Proceedings of SYSTOR '09: ACM International Conference Proceeding Series.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
Action-Based Environment Modeling for Maintaining Trust
Kafali, O. & Yolum, P., 2008, Trust in Agent Societies. Vol. 5396. p. 81-98 18 p. (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Active disk Paxos with infinitely many processes
Chockler, G. & Malkhi, D., 1 Jul 2005, In: Distributed Computing. 18, 1, p. 73-84 12 p.
Research output: Contribution to journal › Article › peer-review
Published
Active Disk Paxos with infinitely many processes
Chockler, G. & Malkhi, D., 1 Jan 2002, Proceedings of the 21st Annual ACM Symposium on Principles of Distributed Computing (PODC 2002). p. 78-87 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Activity Recognition for an Agent-oriented Personal Health System
Kafali, O., Romero, A. E. & Stathis, K., Dec 2014, Principles and Practice of Multi-Agent Systems - 17th International Conference, PRIMA 2014. Khanh Dam, H., Pitt, J., Xu, Y., Governatori, G. & Ito, T. (eds.). Springer
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Activity Recognition for Diabetic Patients Using a Smartphone
Kvetkovic, B., Janko, V., Romero Lopez, A., Kafali, R., Stathis, K. & Lustrek, M., Dec 2016, In: Journal of Medical Systems. 40, p. 1-8 8 p., 256.
Research output: Contribution to journal › Article › peer-review
Published
Actor-based model checking for Software-Defined Networks
Albert, E., Gómez-Zamalloa, M., Isabel, M., Rubio, A., Sammartino, M. & Silva, A., Jan 2021, In: Journal of Logical and Algebraic Methods in Programming. 118, 25 p., 100617.
Research output: Contribution to journal › Article › peer-review
Published
Acyclicity in edge-colored graphs
Gutin, G., Jones, M., Sheng, B., Wahlstrom, M. & Yeo, A., 6 Feb 2017, In: Discrete Mathematics. 340, 2, p. 1-8 8 p.
Research output: Contribution to journal › Article › peer-review
Published
Adaptability checking in complex systems
Merelli, E., Paoletti, N. & Tesei, L., 2016, In: Science of Computer Programming. 115-116, p. 23-46 24 p.
Research output: Contribution to journal › Article › peer-review
Unpublished
Adapting Compiler Front Ends for Generalised Parsing
Walsh, R. M., 2016, (Unpublished) 264 p.
Research output: Thesis › Doctoral Thesis
Published
Adapting Reinforcement Learning For Trust: Effective Modeling in Dynamic Environments (Short Paper)
Kafali, O. & Yolum, P., 2009, IEEE / WIC / ACM International Conference on Web Intelligence. p. 383-386 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Adaptive bone abnormality detection in medical imagery using deep neural networks
Storey, O., Wei, B., Zhang, L. & Romuald Fotso Mtope, F., 15 Aug 2020, World Scientific Proceedings Series on Computer Engineering and Information Science. In: Developments of Artificial Intelligence Technologies in Computation and Robotics. World Scientific Proceedings Series on Computer Engineering and Information Science, 12.: World Scientific, Singapore, p. 915-922 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Adaptive Hedge
van Erven, T., Grünwald, P., M. Koolen, W. & de Rooij, S., 28 Oct 2011.
Research output: Working paper
Published
Adaptive Hedge
Erven, T. V., Rooij, S. D., Koolen, W. M. & Grünwald, P., 1 Dec 2011, Proceedings of the 25th Annual Conference on Neural Information Processing Systems (NIPS 2011).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Adaptive melanoma diagnosis using evolving clustering, ensemble and deep neural networks
Tan, T. Y., Zhang, L. & Lim, C. P., Jan 2020, In: Knowledge-Based Systems. 187, 104807.
Research output: Contribution to journal › Article › peer-review
Published
Adaptive Multi-agent System for Situated Task Allocation
Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 8 May 2019, p. 1790-1792. 3 p.
Research output: Contribution to conference › Paper › peer-review
Unpublished
Adaptive Online Learning
Adamskiy, M., 2013, (Unpublished)
Research output: Thesis › Doctoral Thesis
Published
Adaptive totally ordered multicast protocol that tolerates partitions
Chockler, G. V., Huleihel, N. & Dolev, D., 1998, Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC '98). ACM, p. 237-246 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Adaptive wavelet eye-gaze based video compression
Murtagh, F., Farid, M. & Kurugollu, F., 2002, In: Proceedings of the SPIE. 4877, p. 255-263
Research output: Contribution to journal › Article
Published
Adding mobility to software architectures
Lopes, A. & Fiadeiro, J. L., 22 Jul 2004, In: Electronic Notes in Theoretical Computer Science. 97, p. 241-258 18 p.
Research output: Contribution to journal › Article › peer-review
Published
Adding mobility to software architectures
Lopes, A. & Fiadeiro, J. L., 1 Jul 2006, In: Science of Computer Programming. 61, 2, p. 114-135 22 p.
Research output: Contribution to journal › Article › peer-review
Published
Adjectival and Adverbial Modification: The View from Modern Type Theories
Chatzikyriakidis, S. & Luo, Z., Mar 2017, In: Journal of Logic, Language and Information. 26, 1, p. 45–88 44 p.
Research output: Contribution to journal › Article › peer-review
Published
Admissible ways of merging p-values under arbitrary dependence
Vovk, V., Wang, B. & Wang, R., 17 Feb 2022, In: The Annals of Statistics. 50, 1, p. 351-375 25 p.
Research output: Contribution to journal › Article › peer-review
Published
Advancing Ensemble Learning Performance through data transformation and classifiers fusion in granular computing context
Liu, H. & Zhang, L., 1 Oct 2019, In: Expert Systems with Applications. 131, p. 20-29 10 p.
Research output: Contribution to journal › Article › peer-review
Published
Adversarial resilience of matchings in bipartite random graphs
Balister, P., Gerke, S. & McDowell, A., 2 Dec 2016, In: Journal of Combinatorics. 8, 1, p. 79-92 14 p.
Research output: Contribution to journal › Article › peer-review
Published
Agent interaction for network resource management
Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., Mar 1999, In: Interoperable Communication Networks Journal. 2, 1, p. 97-106
Research output: Contribution to journal › Article › peer-review
Published
Agent‐oriented activity recognition in the event calculus: An application for diabetic patients
Kafali, O., Romero, A. E. & Stathis, K., Nov 2017, In: Computational Intelligence. 33, 4, p. 899–925 27 p.
Research output: Contribution to journal › Article › peer-review
Published
Aggregating Algorithm for prediction of packs
Adamskiy, D., Bellotti, A., Dzhamtyrova, R. & Kalnishkan, Y., 15 Sep 2019, In: Machine Learning. 108, 8-9, p. 1231-1260 30 p.
Research output: Contribution to journal › Article › peer-review
Published
Aggregating strategies
Vovk, V., 1990, Proceedings of the Third Annual Workshop on Computational Learning Theory. Fulk, M. & Case, J. (eds.). San Mateo, CA: Morgan Kaufmann, p. 371-383 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Aggregation Algorithm vs. Average For Time Series Prediction
Jamil, W., Kalnishkan, Y. & Bouchachia, H., 23 Sep 2016, Proceedings of the ECML PKDD 2016 Workshop on Large-scale Learning from Data Streams in Evolving Environments, STREAMEVOLV-2016. p. 1-14 14 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
AGILE: Software Architecture for Mobility
Andrade, L., Baldan, P., Baumeister, H., Corradini, A., De Nicola, R., Fiadeiro, J. L., Gadducci, F., Gnesi, S., Hoffman, P., P., K., Kosiuczenko, H., Lapadula, P., Latella, F., Lopes, M., Loreti, N., Massink, A., Mazzanti, M., Montanari, F., Oliveira, F., Pugliese, R. & 5 others, Tarlecki, M., Wermelinger, U., Wirsing, R., Zawlocki, M. & Bruni, A., 1 Jan 2003, In: Lecture Notes in Computer Science. 2755, p. 1-33 33 p.
Research output: Contribution to journal › Article › peer-review
Published
Agility through coordination
Andrade, L. F. & Fiadeiro, J. L., 1 Sep 2002, In: Information Systems Management. 27, 6, p. 411-424 14 p.
Research output: Contribution to journal › Article › peer-review
Published
Agreement in Directed Dynamic Networks
Biely, M., Robinson, P. & Schmid, U., 2012, Structural Information and Communication Complexity - 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers. p. 73-84 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Alexey Chervonenkis's Bibliography: Introductory Comments
Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 2051-2066 16 p.
Research output: Contribution to journal › Editorial
Published
Alexey Chervonenkis's Bibliography
Gammerman, A. & Vovk, V., Sep 2015, In: Journal of Machine Learning Research. 16, p. 2067-2080 14 p.
Research output: Contribution to journal › Editorial
Published
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure
Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, ADT.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Algebraic Proof Complexity: Progress, Frontiers and Challenges
Pitassi, T. & Tzameret, I., 8 Jul 2016, ACM SIGLOG News. Immerman, N. (ed.). New York: ACM, Vol. 3. p. 21-43 23 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
Algebraic Proof Complexity: Progress, Frontiers and Challenges
Pitassi, T. & Tzameret, I., 2017, Electronic Colloquium on Computation Complexity .
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Algebraic Proofs over Noncommutative Formulas
Tzameret, I., 2010, 7th Annual Conference on Theory and Applications of Models of Computation. Berlin, Vol. 6108. p. 60 71 p. (Lecture Notes in Computer Science (LNCS)).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Algebraic Proofs over Noncommutative Formulas
Tzameret, I., 2011, In: Information and Computation. 209, 10, p. 1269-1292 24 p.
Research output: Contribution to journal › Article › peer-review
Published
Algebraic Semantics of Coordination or What Is in a Signature
Fiadeiro, J. L. & Lopes, A., 1999, AMAST. Springer, Vol. 1548. p. 293-307 15 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Algebraic semantics of design abstractions for context-awareness
Lopes, A. & Fiadeiro, J. L., 1 Jan 2005, In: Lecture Notes in Computer Science. 3423, p. 79-93 15 p.
Research output: Contribution to journal › Article › peer-review
Published
Algebraic semantics of service component modules
Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS. p. 37-55 19 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
Algebraic Software Architecture Reconfiguration
Wermelinger, M. & Fiadeiro, J. L., 1999, ESEC / SIGSOFT FSE. Springer, Vol. 1687. p. 393-409 17 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
E-pub ahead of print
Algebras for Tree Decomposable Graphs
Bruni, R., Montanari, U. & Sammartino, M., 23 Jun 2020, (E-pub ahead of print) Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 203-220 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12150 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Algorithm for Finding k-Vertex Out-trees and its Application to k-Internal Out-branching Problem.
Cohen, N., Fomin, F., Gutin, G., Kim, E. J., Saurabh, S. & Yeo, A., 2010, In: Journal of Computer and System Sciences. 76, p. 650-662
Research output: Contribution to journal › Article › peer-review
Published
Algorithmic construction of low-discrepancy point sets via dependent randomized rounding
Doerr, B., Gnewuch, M. & Wahlström, M., 2010, In: Journal of Complexity. 26, 5, p. 490-507 18 p.
Research output: Contribution to journal › Article › peer-review
Published
Algorithmic Learning in a Random World
Vovk, V., Gammerman, A. & Shafer, G., 2005, Springer.
Research output: Book/Report › Book
Published
Algorithms for generating convex sets in acyclic digraphs
Balister, P., Gerke, S., Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., Dec 2009, In: Journal of Discrete Algorithms. 7, 4, p. 509–518 10 p.
Research output: Contribution to journal › Article › peer-review
Published
Algorithms for hierarchical clustering: An Overview
Murtagh, F. & Contreras Albornoz, P., 2011, Data Mining and Knowledge Discovery, Wiley Interdisciplinary Reviews (WIRES). John Wiley & Sons, 12 p. (Wiley Interdisciplinary Reviews).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
Unpublished
Algorithms for Parameterized Constraint Satisfaction Problems
Crowston, R., 2013, (Unpublished) 125 p.
Research output: Thesis › Doctoral Thesis
Published
Algorithms for the workflow satisfiability problem engineered for counting constraints
Cohen, D., Crampton, J., Gagarin, A., Gutin, G. & Jones, M., Jul 2016, In: Journal of Combinatorial Optimization. 32, 1, p. 3–24 22 p.
Research output: Contribution to journal › Article › peer-review
Published
Algorithms for Workflow Satisfiability Problem with User-independent Constraints
Gutin, G. & Karapetyan, D., Mar 2020, In: International Journal of Graph Computing. 1, 1, p. 25-38 14 p.
Research output: Contribution to journal › Article › peer-review
Published
Algorithms with large domination ratio
Alon, N., Gutin, G. & Krivelevich, M., 2004, In: Journal of Algorithms. 50, 1, p. 118-131
Research output: Contribution to journal › Article
Published
All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Variables
Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2012, In: Journal of Computer and System Sciences. 78, p. 151--163
Research output: Contribution to journal › Article › peer-review
Forthcoming
All Ternary Permutation Constraint Satisfaction Problems Parameterized Above Average Have Kernels with Quadratic Number of Vertices
Gutin, G., van Iersel, L., Mnich, M. & Yeo, A., 2011, (Accepted/In press) In: Journal of Computer and System Sciences. in press
Research output: Contribution to journal › Article › peer-review
Published
All-solid-state carbonate-selective electrode based on screen-printed carbon paste electrode
Li, G., Lyu, X., Wang, Z., Rong, Y., Hu, R., Luo, Z. & Wang, Y., 12 Jan 2017, In: Measurement Science and Technology. 28, 2, p. 1-7 7 p., 025104.
Research output: Contribution to journal › Article › peer-review
Published
Almost all almost regular c-partite tournaments with $c geq 5$ are vertex pancyclic
Tewes, M., Volkmann, L. & Yeo, A., 2002, In: Discrete Mathematics. 242, 1-3, p. 201-228 28 p.
Research output: Contribution to journal › Article › peer-review
Published
Almost minimum diameter orientations of semicomplete multipartitite and extended digraphs
Gutin, G., Koh, K. M., Tay, E. G. & Yeo, A., 2002, In: Graphs and Combinatorics. 18, 3, p. 499-506 8 p.
Research output: Contribution to journal › Article › peer-review
Published
Alternating Control Flow Reconstruction
Kinder, J. & Kravchenko, D., Jan 2012, Proc. 13th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2012). Springer, p. 267-282
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Alternating cycles and trails in 2-edge-coloured multigraphs
Bang-Jensen, J. & Gutin, G., 1998, In: Discrete Mathematics. 188, 1, p. 61-72
Research output: Contribution to journal › Article
E-pub ahead of print
Alternative parameterizations of Metric Dimension
Gutin, G., Ramanujan, M. S., Reidl, F. & Wahlstrom, M., 25 Jan 2019, (E-pub ahead of print) In: Theoretical Computer Science. p. 1-11 11 p.
Research output: Contribution to journal › Article › peer-review
Published
AMADEUS- A Multi-Method Approach for Developing Universal Specifications
Loucopoulos, P., Black, W. J., Layzell, P. J. & Alabdul Razak, A. G. S., 1987, Esprit Technical Week, 1987.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Ambient Intelligence
Sadri, F. & Stathis, K., 2008, Encyclopedia of Artificial Intelligence. Idea Group Inc, p. 85-91
Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary
Published
Ambient Intelligence: 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings
Kameas, A. (ed.) & Stathis, K. (ed.), 2018, 233 p. (Information Systems and Applications, incl. Internet/Web, and HCI)
Research output: Book/Report › Scholarly edition
Published
Ambient intelligence using KGP agents
Stathis, K. & Toni, F., 1 Nov 2004, p. 351--362.
Research output: Contribution to conference › Paper
Published
Ambient Intelligence: Agents and Interaction in Connected Communities
Stathis, K., Spence, R., de Bruijn, O. & Purcell, P., 2006, Networked Neighbourhoods: The Connected Community in Context. Purcell, P. (ed.). London: Springer, p. 279-304
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Amending contracts for choreographies
Bocchi, L., Lange, J. & Tuosto, E., 31 Jul 2011, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 59, p. 111-129 19 p.
Research output: Contribution to journal › Conference article › peer-review
Published
Amino acid architecture and the distribution of polar atoms on the surfaces of proteins
Shanahan, H. P. & Thornton, J. M., 15 Aug 2005, In: BIOPOLYMERS. 78, 6, p. 318-328 11 p.
Research output: Contribution to journal › Article › peer-review
Published
Amnesic distributed storage
Chockler, G., Guerraoui, R. & Keidar, I., 1 Jan 2007, Proceedings of the 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Vol. 4731 LNCS. p. 139-151 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An abstract framework for globalising interactive systems
Stathis, K. & Sergot, M., Feb 1998, In: Interacting with Computers. 9, 4, p. 401-416 16 p.
Research output: Contribution to journal › Article › peer-review
Published
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Kinder, J., Zuleger, F. & Veith, H., 2009, Proc. 10th Int. Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI 2009). Springer, p. 214-228
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An abstract model of service discovery and binding
Fiadeiro, J. L., Lopes, A. & Bocchi, L., 1 Jul 2011, In: Formal Aspects of Computing. 23, 4, p. 433-463 31 p.
Research output: Contribution to journal › Article › peer-review
E-pub ahead of print
An adaptive multi-agent system for task reallocation in a MapReduce job
Baert, Q., Caron, A-C., Morge, M., Routier, J-C. & Stathis, K., 1 Apr 2021, (E-pub ahead of print) In: Journal of Parallel and Distributed Computing.
Research output: Contribution to journal › Article › peer-review
Published
An Adaptive Totally Ordered Multicast Protocol that Tolerates Partitions
Chockler, G., 1997
Research output: Thesis › Master's Thesis
Published
An Agent Architecture for Concurrent Bilateral Negotiations
Alrayes, B. & Stathis, K., 2014, Lecture Notes in Business Information Processing: Impact of Decision Support Systems for Global Environments. Springer, p. 79-89
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An agent development framework based on social positions
Lekeas, G. & Stathis, K., 2004, p. 5461-5466. 6 p.
Research output: Contribution to conference › Paper › peer-review
Published
An Agent Development Framework based on Social Positions
Lekeas, G. K. & Stathis, K., 1 Oct 2004, IEEE Interantional Conference on Systems, Man and Cybernetics. Thiessen, W. & Wieringa, P. (eds.).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An agile approach to language modelling and development
Johnstone, A., Mosses, P. D. & Scott, E., Mar 2010, In: Innovations in Systems and Software Engineering. 6, 1-2, p. 145-153 9 p.
Research output: Contribution to journal › Article › peer-review
Published
An algebraic characterisation of complexity for valued constraints
Cohen, D., Cooper, M. & Jeavons, P., 2006, p. 107-121.
Research output: Contribution to conference › Paper
Published
An Algebraic Characterization of Tractable Constraints
Jeavons, P. G. & Cohen, D. A., 1995, p. 633-642.
Research output: Contribution to conference › Paper
Published
An algebraic semantics of event-based architectures
Fiadeiro, J. L. & Lopes, A., 1 Oct 2007, In: Mathematical Structures in Computer Science. 17, 5, p. 1029-1073 45 p.
Research output: Contribution to journal › Article › peer-review
Published
An Algebraic Theory of Complexity for Discrete Optimisation
Cohen, D. A., Cooper, M. C., Creed, P., Jeavons, P. G. & Živný, S., 2013, In: SIAM Journal on Computing. 42, 5, p. 1915-1939 24 p.
Research output: Contribution to journal › Article › peer-review
Published
An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection
Cohen, D. A., Creed, P., Jeavons, P. G. & Živný, S., 2011, Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011: Proceedings. Springer, p. 231-242 (Lecture Notes in Computer Science; vol. 6907).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An algorithm for finding connected convex subgraphs of an acyclic digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E., Soleimanfallah, A. & Yeo, A., 2007, p. 69-82. 14 p.
Research output: Contribution to conference › Paper › peer-review
Published
An algorithm for finding input-output constrained convex sets in an acyclic digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E. & Yeo, A., May 2012, In: Journal of Discrete Algorithms. 13, p. 47-58 12 p.
Research output: Contribution to journal › Article › peer-review
Published
An Algorithm for Finding Input-Output Constrained Convex Sets in an Acyclic Digraph
Gutin, G., Johnstone, A., Reddington, J., Scott, E., Yeo, A., Broersma, H. (ed.), Erlebach, T. (ed.), Friedeizky, T. (ed.) & Paulusma, D. (ed.), 2008, In: Lecture Notes in Computer Science. 5344, p. 206-217 12 p.
Research output: Contribution to journal › Article › peer-review
Published
An Algorithm for the SAT Problem for Formulae of Linear Length
Wahlström, M., 2005, ESA. p. 107-118 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An Analysis of Active and Latent Errors During Object-Oriented Maintenance
Douce, C. R. & Layzell, P. J., 1998, PPIG-10 Annual workshop Proceedings, Open University, UK, 5-7 January 1998.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
An Analysis of Methodological and Quantitative Aspects in the Evaluation of Thematic Segmentation Algorithms
Georgescul, M., Clark, A. & Armstrong, S., 2006.
Research output: Contribution to conference › Paper
Published
An approximate algorithm for combinatorial optimization problems with two parameters
Blokh, D. & Gutin, G., 1996, In: Australasian Journal of Combinatorics. 14, p. 157-164
Research output: Contribution to journal › Article › peer-review
Published
An architectural approach to mobility - The handover case study
Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). p. 305-308 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
An Architectural Support for Self-Adaptive Software for Treating Faults
De Lemos, R. & Fiadeiro, J. L., 1 Jan 2002, Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). p. 39-42 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
An Argumentative Model for Service-oriented Agents
Morge, M., McGinnis, J., Bromuri, S., Mancarella, P. & Stathis, K., 1 Mar 2008, Proc. of the International Symposium on Architectures for Intelligent Theory-Based Agents. Balduccini, M. & Baral, C. (eds.). p. 6 1 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An automated proof of the correctness of a compiling specification
Scott, E., 1993, In: Workshops in Computing. p. 392-402
Research output: Contribution to journal › Article › peer-review
Published
An electronic nose-based assistive diagnostic prototype for lung cancer detection with conformal prediction
Zhan, X., Wang, Z., Yang, M., Luo, Z., Wang, Y. & Li, G., 1 Jul 2020, In: Measurement. 158, p. 1-10 10 p., 107588.
Research output: Contribution to journal › Article › peer-review
Published
An Empirical Study of Messaging Passing Concurrency in Go Projects
Dilley, N. & Lange, J., 18 Mar 2019, SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering. Shihab, E., Lo, D. & Wang, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 377-387 11 p. 8668036. (SANER 2019 - Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution, and Reengineering).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An evolutionary model that satisfies detailed balance
Lember, J. & Watkins, C., 9 Nov 2020, In: Methodology and Computing in Applied Probability. 37 p.
Research output: Contribution to journal › Article › peer-review
Published
An Evolutionary Structural Software Model for Software Maintenance
Poo, C. C. & Layzell, P. J., 1992, In: Journal of Systems and Software. 18, 2, p. 113-123 11 p.
Research output: Contribution to journal › Article › peer-review
Published
An evolving ensemble model of multi-stream convolutional neural networks for human action recognition in still images
Slade, S., Zhang, L., Yu, Y. & Lim, C. P., 30 Jan 2022, In: Neural Computing and Applications.
Research output: Contribution to journal › Article › peer-review
Published
An examination of the conservation of surface patch polarity for proteins
Shanahan, H. P. & Thornton, J. M., 22 Sep 2004, In: Bioinformatics. 20, 14, p. 2197-2204 8 p.
Research output: Contribution to journal › Article › peer-review
Published
An expanded evaluation of protein function prediction methods shows an improvement in accuracy
Jiang, Y., Oron, T. R., Clark, W. T., Bankapur, A. R., D'Andrea, D., Lepore, R., Funk, C. S., Kahanda, I., Verspoor, K. M., Ben-Hur, A., Koo, D. C. E., Penfold-Brown, D., Shasha, D., Youngs, N., Bonneau, R., Lin, A., Sahraeian, S. M. E., Martelli, P. L., Profiti, G., Casadio, R. & 127 others, Cao, R., Zhong, Z., Cheng, J., Altenhoff, A., Skunca, N., Dessimoz, C., Dogan, T., Hakala, K., Kaewphan, S., Mehryary, F., Salakoski, T., Ginter, F., Fang, H., Smithers, B., Oates, M., Gough, J., Törönen, P., Koskinen, P., Holm, L., Chen, C-T., Hsu, W-L., Bryson, K., Cozzetto, D., Minneci, F., Jones, D. T., Chapman, S., Bkc, D., Khan, I. K., Kihara, D., Ofer, D., Rappoport, N., Stern, A., Cibrian-Uhalte, E., Denny, P., Foulger, R. E., Hieta, R., Legge, D., Lovering, R. C., Magrane, M., Melidoni, A. N., Mutowo-Meullenet, P., Pichler, K., Shypitsyna, A., Li, B., Zakeri, P., ElShal, S., Tranchevent, L-C., Das, S., Dawson, N. L., Lee, D., Lees, J. G., Sillitoe, I., Bhat, P., Nepusz, T., Romero, A. E., Sasidharan, R., Yang, H., Paccanaro, A., Gillis, J., Sedeño-Cortés, A. E., Pavlidis, P., Feng, S., Cejuela, J. M., Goldberg, T., Hamp, T., Richter, L., Salamov, A., Gabaldon, T., Marcet-Houben, M., Supek, F., Gong, Q., Ning, W., Zhou, Y., Tian, W., Falda, M., Fontana, P., Lavezzo, E., Toppo, S., Ferrari, C., Giollo, M., Piovesan, D., Tosatto, S. C. E., del Pozo, A., Fernández, J. M., Maietta, P., Valencia, A., Tress, M. L., Benso, A., Di Carlo, S., Politano, G., Savino, A., Rehman, H. U., Re, M., Mesiti, M., Valentini, G., Bargsten, J. W., van Dijk, A. D. J., Gemovic, B., Glisic, S., Perovic, V., Veljkovic, V., Veljkovic, N., Almeida-e-Silva, D. C., Vencio, R. Z. N., Sharan, M., Vogel, J., Kansakar, L., Zhang, S., Vucetic, S., Wang, Z., Sternberg, M. J. E., Wass, M. N., Huntley, R. P., Martin, M. J., O'Donovan, C., Robinson, P. N., Moreau, Y., Tramontano, A., Babbitt, P. C., Brenner, S. E., Linial, M., Orengo, C. A., Rost, B., Greene, C. S., Mooney, S. D., Friedberg, I. & Radivojac, P., 7 Sep 2016, In: Genome Biology. 17, p. 1-19 19 p., 184.
Research output: Contribution to journal › Article › peer-review
Published
An experimental study of the intrinsic stability of random forest variable importance measures
Wang, H., Yang, F. & Luo, Z., 3 Feb 2016, In: BMC Bioinformatics. 17, p. 1-18 18 p., 60.
Research output: Contribution to journal › Article › peer-review
Published
An Exploratory Analysis on Drug Target Locality
Caceres Silva, J. & Paccanaro, A., Sep 2017, AGRANDA - Simposio Argentino de GRANdes DAtos 2017.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Unpublished
An Extended Calculus of Constructions
Luo, Z., 1990, (Unpublished) Univ of Edinburgh.
Research output: Thesis › Doctoral Thesis
Published
An extensive analysis of disease-gene associations using network integration and fast kernel-based gene prioritization methods
Valentini, G., Paccanaro, A., Caniza, H., Romero, A. E. & Re, M., Jun 2014, In: Artificial Intelligence in Medicine. 61, 2, p. 63-78 16 p.
Research output: Contribution to journal › Article › peer-review
Published
An identity for kernel ridge regression
Zhdanov, F. & Kalnishkan, Y., 18 Feb 2013, In: Theoretical Computer Science. 473, p. 157-178
Research output: Contribution to journal › Article › peer-review
Published
An Identity for Kernel Ridge Regression
Zhdanov, F. & Kalnishkan, Y., 2010, Learning Theory 21st International Conference, ALT 2010, Proceedings: volume 6331 of Lecture Notes in Computer Science. Springer, p. 405-419 (Lecture Notes in Computer Science; vol. 6331).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An Implementation of LF with Coercive Subtyping and Universes.
Callaghan, P. & Luo, Z., 2001, In: Journal of Automated Reasoning. 27, 1, p. 3-27 25 p.
Research output: Contribution to journal › Article › peer-review
Published
An Information Retrieval System for Parliamentary XML Documents based on Probabilistic Graphical Models
Romero, A. E., 2008, Bayesian Belief Networks A Practical Guide to Applications. Pourret, O., Naïm, P. & Marcot, B. (eds.). John Wiley & Sons, p. 203-224 22 p. (Statistics in Practice).
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
Published
An Innovative Heuristic for Planning-Based Urban Traffic Control
Franco, S., Lindsay, A., Vallati, M. & McCluskey, T. L., 2018, Computational Science - ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, V. V., Lees, M. H., Dongarra, J. J. & Sloot, P. M. A. (eds.). Springer, p. 181-193 13 p. (Lecture Notes in Computer Science; vol. 10860).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An Institutional Foundation for the K Semantic Framework
Chirita, C-E., 2014
Research output: Thesis › Master's Thesis
E-pub ahead of print
An Institutional Foundation for the K Semantic Framework
Chirita, C-E. & Serbanuta, T. F., 30 Dec 2015, (E-pub ahead of print) In: Lecture Notes in Computer Science. 9463, p. 9-29 21 p.
Research output: Contribution to journal › Article › peer-review
Published
An integrated gene annotation and transcriptional profiling approach towards the full gene content of the Drosophila genome
Hild, M., Beckmann, B., Haas, S. A., Koch, B., Solovyev, V., Busold, C., Fellenberg, K., Boutros, M., Vingron, M., Sauer, F., Hoheisel, J. D. & Paro, R., 2003, In: Genome Biology. 5, 1, p. R3
Research output: Contribution to journal › Article › peer-review
Published
An Interactive Evolution Strategy based Deep Convolutional Generative Adversarial Network for 2D Video Game Level Procedural Content Generation
Jiang, M. & Zhang, L., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). IEEE
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An interface theory for service-oriented design
Fiadeiro, J. L. & Lopes, A., 1 Jan 2011, Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Giannakopoulou, D. & Orejas, F. (eds.). p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 6603).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An interface theory for service-oriented design
Fiadeiro, J. L. & Lopes, A., 9 Sep 2013, In: Theoretical Computer Science. 503, p. 1-30
Research output: Contribution to journal › Article › peer-review
Published
An intuitive graphical visualization technique for the interrogation of transcriptome data
Bushati, N., Smith, J., Briscoe, J. & Watkins, C., 2011, In: Nucleic Acids Research. 39, 17, p. 7380-7389
Research output: Contribution to journal › Article › peer-review
Published
An Investigation into Software Maintenance
Layzell, P. J. & Macaulay, L., 1990, IEEE Conference on Software Maintenance, San Diego, USA. p. 130-140 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
An Investigation into Software Maintenance- Perception and Practices
Layzell, P. J. & Macaulay, L., 1994, In: Journal of Software Maintenance and Practice. 6, 3, p. 105-120 16 p.
Research output: Contribution to journal › Article › peer-review
Unpublished
An ontological approach to quantify distance between hereditary disease modules on the interactome.
Caniza Vierci, H., Feb 2016, (Unpublished) 162 p.
Research output: Thesis › Doctoral Thesis
Published
An optimal-control application of two paradigms of on-line learning
Vovk, V., 1994, Proceedings of the Seventh Annual Workshop on Computational Learning Theory. New York: ACM Press, p. 98-109 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
An Optimization Approach to Robust Goal Obfuscation
Bernardini, S., Fagnani, F. & Franco, S., Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoningg. International Joint Conferences on Artificial Intelligence, p. 119-129 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Forthcoming
An Overview of Gene Regulation
Shanahan, H. & Harrison, A., 2013, (Accepted/In press) Approaches to Integrative Bioinformatics. Chen, MI. & Hofstaedt, R. (eds.). Springer, p. 21-69
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
An Upper Bound for Aggregating Algorithm for Regression with Changing Dependencies
Kalnishkan, Y., 2016, Algorithmic Learning Theory : 27th International Conference, ALT 2016, Bari, Italy, October 19-21, 2016, Proceedings. Springer International Publishing, Vol. 9925. p. 238-252 15 p. (Lecture Notes in Computer Science; vol. 9925).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Analysing Mu‐Calculus Properties of Pushdown Systems (Tool Presentation)
Hague, M. & Ong, C-H. L., 2010, SPIN.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Analysis of canonical and non-canonical splice sites in mammalian genomes
Burset, M., Seledtsov, I. A. & Solovyev, V. V., 1 Nov 2000, In: Nucleic Acids Research. 28, 21, p. 4364-4375 12 p.
Research output: Contribution to journal › Article › peer-review
Published
Analysis of Data Reduction: Transformations give evidence for non-existence of polynomial kernels
Bodlaender, H. L., Thomasse, S. & Yeo, A., 2009, p. 635--646.
Research output: Contribution to conference › Paper
Published
Analysis of functional sites in pro- and eukaryotic genes
Solovyev, V., 1990, Methods of molecular genetics and gene engineering. Salganik, R. I. (ed.). Novosibirsk, p. 154-190
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Analysis of mutation rates in the SMCY/SMCX genes shows that mammalian evolution is male driven.
Agulnik, A. I., Bishop, C. E., Lerner, J. L., Agulnik, S. I. & Solovyev, V. V., 1997, p. 134-138. 5 p.
Research output: Contribution to conference › Abstract
Published
Analysis of the biosynthetic gene cluster for the polyether antibiotic monensin in Streptomyces cinnamonensis and evidence for the role of monB and monC genes in oxidative cyclization
Oliynyk, M., Stark, C. B., Bhatt, A., Jones, MA., Hughes-Thomas, Z. A., Wilkinson, C., Oliynyk, Z., Demydchuk, Y., Staunton, J. & Leadlay, P. F., 2003, In: Mol Microbiol. 49, 5, p. 1179-90 12 p.
Research output: Contribution to journal › Article › peer-review
Published
Analysis of update delays in signature-based network intrusion detection systems
Gascon, H., Orfila, A. & Blasco, J., 1 Nov 2011, In: Computers and Security. 30, 8, p. 613-624 12 p.
Research output: Contribution to journal › Article › peer-review
Published
Analyzing and Synthesizing Genomic Logic Functions
Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C. M. & Kugler, H., 2014, Computer Aided Verification. p. 343-357 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
ANEGMA: an automated negotiation model for e-markets
Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., 7 Jun 2021, In: Autonomous Agents and Multi-Agent Systems. 35, 27.
Research output: Contribution to journal › Article › peer-review
Published
Annotation of next-generation sequencing protocol steps in the SRA (sequence read archive) and Big data for Science
AlNasir, J. & Shanahan, H., 17 Feb 2015, p. 27. 1 p.
Research output: Contribution to conference › Abstract › peer-review
Published
Anomaly Detection in Video Games
Wilkins, B., Watkins, C. & Stathis, K., 20 May 2020, In: ArXiv.org. p. 1-4 4 p., 2005.10211.
Research output: Contribution to journal › Article
Published
Anomaly Detection of Trajectories with Kernel Density Estimation by Conformal Prediction
Smith, J., Nouretdinov, I., Craddock, R., Offer, C. & Gammerman, A., 19 Sep 2014, Artificial Intelligence Applications and Innovations: AIAI2014 Workshops. Rhodes, Greece: Springer, p. 271-280 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Anomaly-based exploratory analysis and detection of exploits in android mediaserver
Suárez-Tangil, G., Dash, S. K., García-Teodoro, P., Camacho, J. & Cavallaro, L., 16 Aug 2018, In: IET Information Security. 12, 5, p. 404-413 10 p.
Research output: Contribution to journal › Article › peer-review
Published
Another look at indirect negative evidence
Clark, A. & Lappin, S., 1 Mar 2009.
Research output: Contribution to conference › Paper › peer-review
Published
Another semantics for Pearl's action calculus
Vovk, V., 1996, Computational Learning and Probabilistic Reasoning. Gammerman, A. (ed.). New York: Wiley-Interscience, p. 127-146 20 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Anti-matroids
Gutin, G. & Yeo, A., 2002, In: Operations Research Letters. 30, 2, p. 97-99
Research output: Contribution to journal › Article › peer-review
Published
Antimicrobial resistance – a ‘rising tide’ of national (and international) risk
Cole, J., Jan 2016, In: Journal of Hospital Infection. 92, 1, p. 3-4 2 p.
Research output: Contribution to journal › Article › peer-review
Published
Antimicrobial resistance, infection control and planning for pandemics: : the importance of knowledge transfer in healthcare resilience and emergency planning
Cole, J., 2012, In: Journal of Business Continuity and Emergency Planning. 6, 2, p. 122 135 p.
Research output: Contribution to journal › Article › peer-review
Published
Application of an evolutionary algorithm-based ensemble model to job-shop scheduling. Journal of Intelligent Manufacturing
Tan, C. J., Neoh, S. C., Lim, C. P., Hanoun, S., Wong, W. P., Loo, C. K., Zhang, L. & Nahavandi, S., 15 Feb 2019, In: Journal of Intelligent Manufacturing. 30, p. 879–890 12 p.
Research output: Contribution to journal › Article › peer-review
Published
Application of conformal predictors to tea classification based on electronic nose
Nouretdinov, I., Li, G., Gammerman, A. & Luo, Z., 2010, Artificial Intelligence Applications and Innovations. Springer, p. 303-310
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Application of Inductive Confidence Machine to ICMLA competition data
Nouretdinov, I., Burford, B. & Gammerman, A., 2009, Proceedings of The Eighth International Conference on Machine Learning and Applications. p. 435-438 4 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Applications of mobile agents in healthcare domain: a literature survey
Bagga, P. & Hans, R., 31 Oct 2015, In: International Journal of Grid Distribution Computing. 8, 5, p. 55-72 28 p.
Research output: Contribution to journal › Article › peer-review
Published
Applying Apache Hadoop, Hive and Map Reduce to Legacy Systems and Applications
AlNasir, J., 28 May 2015.
Research output: Contribution to conference › Other › peer-review
Published
Applying Conformal Prediction to the Bovine TB Diagnosing
Adamskiy, M., Nouretdinov, I., Mitchell, A., Coldham, N. & Gammerman, A., 2011, 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, Artificial Intelligence Applications and Innovations 2011, Corfu, Greece, September 15--18, 2011, Proceedings , Part II. . p. 449-
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Approaches to integration of uncertain and temporal information in diagnostic reasoning
Bigham, J., Luo, Z., Cayrac, D., Nordbo, I. & Bouyssounous, B., 1994, Proceedings of Information Processing and the Management of Uncertainty in Knowledge Based Systems. p. 250-255
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Approximating the Existential Theory of the Reals
Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2022, In: Journal of Computer and System Sciences. 125, p. 106-128 23 p.
Research output: Contribution to journal › Article › peer-review
E-pub ahead of print
Approximation algorithms for general cluster routing problem
Zhang, X., Du, D., Gutin, G., Ming, Q. & Sun, J., 27 Aug 2020, (E-pub ahead of print) Computing and Combinatorics : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings. Kim, D., Uma, R. N., Cai, Z. & Lee, D. H. (eds.). Springer, p. 472-483 12 p. (Lecture Notes in Computer Science; vol. 12273).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
APRIL: Interactively Learning to Summarise by Combining Active Preference Learning and Reinforcement Learning
Gao, Y., Meyer, C. M. & Gurevych, I., 31 Oct 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Brussels, Belgium: Association for Computational Linguistics, p. 4120-4130 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Aquarius: A data-centric approach to CORBA fault-tolerance
Chockler, G., Malkhi, D., Merimovich, B. & Rabinowitz, D., 1 Jan 2003, In: Lecture Notes in Computer Science. 2889, p. 885-898 14 p.
Research output: Contribution to journal › Article › peer-review
Published
Arabidopsis RETINOBLASTOMA RELATED directly regulates DNA damage responses through functions beyond cell cycle control
Horvath, B., Kourova, H., Nagy, S., Nemeth, E., Magyar, Z., Papdi, C., Ahmad, Z., Sanchez-Perez, G. F., Perilli, S., Blilou, I., Pettkó-Szandtner, A., Darula, Z., Meszaros, T., Binarova, P., Bogre, L. & Scheres, B., 2 May 2017, In: EMBO Journal . 36, 9, p. 1261-1278 18 p.
Research output: Contribution to journal › Article › peer-review
Published
Arc-disjoint in- and out-branchings rooted at the same vertex in compositions of digraphs
Gutin, G. & Sun, Y., May 2020, In: Discrete Mathematics. 343, 5, p. 1-4 4 p., 111816.
Research output: Contribution to journal › Article › peer-review
Published
Arc-disjoint strong spanning subdigraphs in compositions and products of digraphs
Sun, Y., Gutin, G. & Ai, J., Aug 2019, In: Discrete Mathematics. 342, 8, p. 2297-2305 9 p.
Research output: Contribution to journal › Article › peer-review
E-pub ahead of print
Arc-disjoint Strong Spanning Subdigraphs of Semicomplete Compositions
Bang-Jensen, J., Gutin, G. & Yeo, A., 13 Apr 2020, (E-pub ahead of print) In: Journal of Graph Theory.
Research output: Contribution to journal › Article › peer-review
Published
Architectural Handling of Management Concerns in Service-Driven Business Processes
Al-Ghamdi, A. & Fiadeiro, J. L., 2006, MSVVEIS. INSTICC Press, p. 111-120 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Architectural primitives for distribution and mobility
Lopes, A., Fiadeiro, J. L. & Wermelinger, M., Nov 2002, In: Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering . 27, 6, p. 41-50 10 p.
Research output: Contribution to journal › Article › peer-review
Published
Architectural Transformations: From Legacy to Three-tier and Services
Heckel, R., Correia, R., Matos, C., El-Ramly, M., Koutsoukos, G. & Andrade, L., 2008, Software Evolution. Mens, T. & Demeyer, S. (eds.). Springer-Verlag, p. 139-170 32 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Architecture based evolution of software systems
Andrade, L. F. & Fiadeiro, J. L., 1 Jan 2003, In: Lecture Notes in Computer Science. 2804, p. 148-181 34 p.
Research output: Contribution to journal › Article › peer-review
Published
Architecture Migration driven by Code Categorization
Correia, R., Matos, C., Heckel, R. & El-Ramly, M., 2007, Proceedings of the European Conference on Software Architecture (ECSA). Oquendo, F. (ed.). Springer-Verlag, Vol. 4758. p. 115-122 8 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Are there Effective Frequency Separation Constraints for FAPs with Irregular Tx Placements?
Bater, J. E., Jeavons, P. G., Cohen, D. A. & Dunkin, N. W., 1 Oct 1998.
Research output: Contribution to conference › Paper
Published
Arguing over Motivations within the V3A-Architecture for Self-Adaptation
Morge, M., Stathis, K. & Vercouter, L., 2009, ICAART 2009: Proceedings of the International Conference on Agents and Artificial Intelligence. SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL, p. 214-219 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Argumentation accelerated reinforcement learning for cooperative multi-agent systems
Gao, Y. & Toni, F., 18 Aug 2014, ECAI'14 Proceedings of the Twenty-first European Conference on Artificial Intelligence. IOS Press, p. 333-338 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Argumentation sur les motivations propres dans l'architecture V3A pour des agents auto-adaptatifs
Morge, M., Stathis, K. & Vercouter, L., 2008, Actes des 16ème Journées Francophones sur les Systèmes Multi-Agen ts (JFSMA). France: Cepudes
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Argumentation-Based Multi-Agent Decision Making with Privacy Preserved
Gao, Y., Toni, F., Wang, H. & Xu, F., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems, p. 1153-1161 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Argumentative Agents for Service-Oriented Computing
Morge, M., McGinnis, J., Bromuri, S., Mancarella, P., Stathis, K. & Toni, F., 2013, Multiagent Systems and Applications. Ganzha, M. & Jain, L. C. (eds.). Springer-Verlag Berlin Heidelberg, p. 217-255 39 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
ARPPM: Administration in the RPPM model
Crampton, J. & Sellwood, J., 9 Mar 2016, CODASPY 2016 - Proceedings of the 6th ACM Conference on Data and Application Security and Privacy. ACM, p. 219-230 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Artemis -- Python library for reading/writing PDB files and computing dihedral angles
Alnasir, J., 1 Nov 2014
Research output: Non-textual form › Software
Published
Artificial Intelligence Applications in Biomedicine
Vlamos, P., Lefkimmiatis, K., Cocianu, C., State, L. & Luo, Z., 2013, In: Advances in Artificial Intelligence. 2 p.
Research output: Contribution to journal › Article › peer-review
Published
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback
Gerdes, A. & van Binsbergen, L. T., Mar 2017, In: International Journal of Artificial Intelligence in Education. 27, 1, p. 65-100 36 p.
Research output: Contribution to journal › Article › peer-review
Published
Assessing the limits of genomic data integration for predicting protein networks
Lu, L. J., Xia, Y., Paccanaro, A., Yu, H. & Gerstein, M., 2005, In: Genome Research. 15, 7, p. 945-53 9 p.
Research output: Contribution to journal › Article › peer-review
Published
Assignment of position-specific error probability to primary DNA sequence data.
Lawrence, C. B. & Solovyev, V. V., 1994, p. 1272-1280. 9 p.
Research output: Contribution to conference › Abstract
Published
Assignment problem based algorithms are impractical for the generalized TSP
Gutin, G. & Yeo, A., 2003, In: Australasian Journal of Combinatorics. 27, p. 149-154
Research output: Contribution to journal › Article › peer-review
Published
Assisting the Analyst- The Analyst Assist Project
Flynn, D. J., Layzell, P. J. & Loucopoulos, P., 1986, BCS Software Engineering 86, 1986.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Astronomical Image and Data Analysis
Murtagh, F. & Starck, J-L., 2006, Second ed. Springer. 335 p.
Research output: Book/Report › Book
Published
Asymptotic efficiency of estimators: an algorithmic approach
Vovk, V., 1991, In: Theory of Probability and Its Applications. 36, p. 329-343 15 p.
Research output: Contribution to journal › Article › peer-review
Published
Asymptotic optimality of transductive confidence machine
Vovk, V., 2002, Lecture Notes in Articial Intelligence. Vol. 2533. p. 336-350 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Asymptotic optimality of Transductive Confidence Machine
Vovk, V., May 2002, (On-line Compression Modelling project).
Research output: Working paper
Published
Asynchronous distributed monitoring for multiparty session enforcement
Chen, T-C., Honda, K., Bocchi, L., Deniélou, P-M. & Yoshida, N., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7173 LNCS. p. 25-45 21 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
Attention Guidance Agents for the MATBII cockpit task: Demo
Durant, S., Wilkins, B., Woods, C., Uliana, E. & Stathis, K., May 2021, 4 p.
Research output: Other contribution
Forthcoming
Attention Guidance Agents with Eye-tracking: A use-case based on the MATBII cockpit task
Durant, S., Wilkins, B., Woods, C., Uliana, E. & Stathis, K., 3 Oct 2021, (Accepted/In press) Post-Proceedings of EMAS'21. Springer, (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Attribute Expressions, Policy Tables and Attribute-Based Access Control
Crampton, J. & Williams, C., 7 Jun 2017, SACMAT'17: Proceedings of the 22nd ACM Symposium on Access Control Models and Technologies. ACM Press, p. 79-90 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Attribute-Based Encryption for Access Control Using Elementary Operations
Crampton, J. & Pinto, A., 2014, 27th Computer Security Foundations Symposium. IEEE, p. 125-139
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking
Crampton, J., Huth, M. & Huan-Pu Kuo, J., 2014, In: International Journal on Software Tools for Technology Transfer. 16, 1, p. 31-48
Research output: Contribution to journal › Article › peer-review
Published
Automated Debugging for Arbitrarily Long Executions
Zamfir, C., Kasikci, B., Kinder, J., Bugnion, E. & Candea, G., May 2013, Proc. 14th Workshop on Hot Topics in Operating Systems (HotOS 2013). USENIX
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Automated Planning for Urban Traffic Management
McCluskey, T. L., Vallati, M. & Franco, S., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 5238-5240 3 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems
Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2 Oct 2020, In: IEEE Access. 8, p. 180825-180843 19 p., 3028476.
Research output: Contribution to journal › Article › peer-review
Published
Automated Transformation of PDDL Representations
Riddle, P. J., Barley, M. W., Franco, S. & Douglas, J., 14 May 2015, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015: 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. Lelis, L. & Stern, R. (eds.). AAAI Press, p. 214-215 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Forthcoming
Automated Verification of Go Programs via Bounded Model Checking
Dilley, N. & Lange, J., 8 Jul 2021, (Accepted/In press) In: IEEE/ACM International Conference on Automated Software Engineering.
Research output: Contribution to journal › Conference article › peer-review
Published
Automated whole-genome multiple alignment of rat, mouse, and human
Brudno, M., Poliakov, A., Salamov, A., Cooper, G. M., Sidow, A., Rubin, E. M., Solovyev, V., Batzoglou, S. & Dubchak, I., 1 Apr 2004, In: Genome Research. 14, 4, p. 685-92 8 p.
Research output: Contribution to journal › Article › peer-review
Published
Automated Workflows using Dialectical Argumentation
McGinnis, J., Bromuri, S., Urovi, V. & Stathis, K., 1 May 2007, German e-Science Conference.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Automatic annotation of eukaryotic genes, pseudogenes and promoters
Solovyev, V., Kosarev, P., Seledsov, I. & Vorobyev, D., 2006, In: Genome Biology. 7 Suppl 1, p. S10.1-12
Research output: Contribution to journal › Article › peer-review
Published
Automatic cyclic termination proofs for recursive procedures in separation logic
Rowe, R. & Brotherston, J., 16 Jan 2017, CPP 2017 Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. ACM, p. 53-65 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Unpublished
Automatic Cyclic Termination Proofs for Recursive Procedures in Separation Logic
Rowe, R., 7 Aug 2016, (Unpublished).
Research output: Contribution to conference › Abstract › peer-review
Published
Automatic detection of microaneurysms in diabetic retinopathy fundus images using the L*a*b color space
Navarro, P., Alonso, D. & Stathis, K., 2016, In: JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION. 33, 1, p. 74-83 10 p.
Research output: Contribution to journal › Article › peer-review
Published
Automatic indexing from a thesaurus using Bayesian networks: Application to the classification of parliamentary initiatives
De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4724 LNAI. p. 865-877 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
Automatic recursion engineering of reduction incorporated parsers
Johnstone, A. & Scott, E., 1 Sep 2007, In: Science of Computer Programming. 68, 2, p. 95-110 16 p.
Research output: Contribution to journal › Article › peer-review
Published
Automatically generating stories from sensor data
Reddington, J. & Tintarev, N., 1 Jan 2011, p. 407-410. 4 p.
Research output: Contribution to conference › Paper
Published
Automating JSP Program Design and Development
Sutcliffe, A. G., Layzell, P. J. & Davies, C. G., 1987, International Conference on Computer-Based Tools for Automating Systems Development, Leicester, April 1987.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Automating Workflows using Dialetical Argumentation
Urovi, V., Bromuri, S., Mcginnis, J., Stathis, K. & Omicini, A., 2008, In: International Journal on Computer Science and Information Systems. 3, 2, p. 110-125 16 p.
Research output: Contribution to journal › Article › peer-review
Published
Autonomous Building of Structures in Unstructured Environments via AI Planning
Roberts, J., Franco Aixela, S., Stokes, A. & Bernardini, S., 17 May 2021, The 31st International Conference on Automated Planning and Scheduling (ICAPS 2021).. 1 ed. Vol. 31. p. 491-499 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Autonomous Target Search with Multiple Coordinated UAVs
Piacentini, C., Bernardini, S. & Beck, J. C., 8 Aug 2019, In: Journal of Artificial Intelligence Research. 65, p. 519-568 50 p.
Research output: Contribution to journal › Article › peer-review
Published
B meson decay constants from two-flavor lattice QCD with nonrelativistic heavy quarks
Khan, A. A., Aoki, S., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A. & Yoshie, T., 1 Sep 2001, In: Physical Review D . 6405, 5, p. - 24 p.
Research output: Contribution to journal › Article › peer-review
Published
BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews
Rizzo, C., Cavallaro, L. & Kinder, J., 2018, 21st International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2018). Springer, p. 25-46 22 p. (Lecture Notes in Computer Science (LNCS); vol. 11050).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Backoff protocols for distributed mutual exclusion and ordering
Chockler, G., Malkhi, D. & Reiter, M. K., 1 Jan 2001, Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS '01). p. 11-20 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Balancing act: matching growth with environment by the TOR signalling pathway
Henriques, R., Bogre, L., Horvath, B. & Magyar, Z., Jun 2014, In: Journal of Experimental Botany. 65, 10, p. 2691-2701 11 p.
Research output: Contribution to journal › Literature review › peer-review
Published
Batched bin packing
Gutin, G., Jensen, T. & Yeo, A., 2005, In: Discrete Optimization. 2, 1, p. 71-82
Research output: Contribution to journal › Article › peer-review
Published
Bayes factors for edge detection from wavelet product spaces
Murtagh, F. & Starck, J. L., May 2003, In: Optical Engineering. 42, p. 1375-1382
Research output: Contribution to journal › Article
Published
Bayesian inference for multiband image segmentation via model-based clustering trees
Murtagh, F., Raftery, A. E. & Starck, J. L., 2005, In: Image and Vision Computing. 23, 6, p. 587-596
Research output: Contribution to journal › Article
Published
Bayesian model selection for spatial clustering in 3D surveys
Murtagh, F., Donalek, C., Longo, G. & Tagliaferri, R., 2002, In: Proceedings of the SPIE. 4847, p. 391-401
Research output: Contribution to journal › Article
Published
Bayesian network models for hierarchical text classification from a thesaurus
de Campos, L. M. & Romero, A. E., Jul 2009, In: International Journal of Approximate Reasoning. 50, 7, p. 932-944 13 p.
Research output: Contribution to journal › Article › peer-review
Published
Bayesian segmentation and clustering for determining cloud mask images
Murtagh, F., Barreto, D. & Marcello, J., 2002, In: Proceedings of the SPIE. 4877, p. 144-155
Research output: Contribution to journal › Article
Published
Bayesian semi-supervised learning with graph Gaussian processes
Ng, Y. C., Colombo, N. & Silva, R., 3 Dec 2018, In: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. p. 1690-1701 12 p.
Research output: Contribution to journal › Conference article › peer-review
Published
BBOB: Nelder-Mead with resize and halfruns
Doerr, B., Fouz, M., Schmidt, M. & Wahlström, M., 2009, Proceedings of the 11th Annual Conference Companion on Genetic and Evolutionary Computation Conference (GECCO 2009). Rothlauf, F. (ed.). Montreal, Québec, Canada: ACM, p. 2239-2246 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Behavioural Aspects of Intelligent Knowledge-Based Information Systems
Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Aspects in Information Systems. p. 77-92 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Benchmarking segmentation results using a Markov model and a Bayes information criterion
Murtagh, F., Qiao, X., Crookes, D., Walsh, P., Basheer, P. A. M. & Long, A., 2002, In: Proceedings of the SPIE. 4877, p. 248-254
Research output: Contribution to journal › Article
Published
Better Rewards Yield Better Summaries: Learning to Summarise Without References
Böhm, F., Gao, Y., Meyer, C. M., Shapira, O., Dagan, I. & Gurevych, I., Nov 2019, Proceedings of 2019 Conference on Empirical Methods in Natural Language Processing (EMNLP 2019) . p. 3101–3111 11 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Better Than Optimal: Fast Identification of Custom Instruction Candidates
Reddington, J., Gutin, G., Johnstone, A., Scott, E. & Yeo, A., 2009, CSE '09: International Conference on Computational Science and Engineering, 2009. Vol. 2. p. 17-24 8 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Between the Information Economy and Student Recruitment: Present Conjuncture and Future Prospects
Murtagh, F., Oct 2008, In: UPGRADE: The European journal for the informatics professional. IX, 5, p. 56-64
Research output: Contribution to journal › Article › peer-review
Published
Betweenness parameterized above tight lower bound
Gutin, G., Kim, E. J., Mnich, M. & Yeo, A., Dec 2010, In: Journal of Computer and System Sciences. 76, 8, p. 872-878
Research output: Contribution to journal › Article › peer-review
Published
Beyond the Basic Conformal Prediction Framework
Vovk, V., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations, and Applications. Balasubramanian, V. N., Ho, S-S. & Vovk, V. (eds.). 1 ed. Elsevier, p. 21-46 26 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
E-pub ahead of print
Binarisation for Valued Constraint Satisfaction Problems
Cohen, D., Cooper, M., Jeavons, P., Krokhin, A., Powell, R. & Zivny, S., 3 Oct 2017, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 31, 4, p. 2279-2300 22 p.
Research output: Contribution to journal › Article › peer-review
Published
Binarisation via Dualisation for Valued Constraints
Cohen, D., Cooper, M., Jeavons, P. & Živný, S., Jan 2015, p. 3731-3737. 7 p.
Research output: Contribution to conference › Paper › peer-review
Published
Binary constraint satisfaction problems defined by excluded topological minors
Cohen, D., Cooper, M. C., Jeavons, P. G. & Zivny, S., Feb 2019, In: Infor. and Computation. 264, p. 12-31 20 p.
Research output: Contribution to journal › Article › peer-review
Published
Binary Search in Graphs Revisited
Deligkas, A., Mertzios, G. & Spirakis, P., 15 May 2019, In: Algorithmica. 81, p. 1757–1780 24 p.
Research output: Contribution to journal › Article › peer-review
Published
Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: The case study of PCBs in the Adriatic Sea
Taffi, M., Paoletti, N., Liò, P., Pucciarelli, S. & Marini, M., 24 Jun 2015, In: Ecological Modelling. 306, p. 205-215 11 p.
Research output: Contribution to journal › Article › peer-review
Published
Bioinformatics on the cloud computing platform Azure
Shanahan, H., Harrison, A. & Owen, A. M., 22 Jul 2014, In: PLoS ONE. 9, 7, p. e102642
Research output: Contribution to journal › Article › peer-review
Published
Biological Big Bytes: Integrative Analysis of Large Biological Datasets
Shanahan, H., Chen, M., Harrison, A. & Orlov, Y., 13 Sep 2017, In: Journal of Integrative Bioinformatics. 14, 3, 2 p.
Research output: Contribution to journal › Editorial
Published
Biomedical Applications: Diagnostic and Prognostic
Nouretdinov, I., Bellotti, T. & Gammerman, A., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 217-230 14 p. 11
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis
Taffi, M., Paoletti, N., Angione, C., Pucciarelli, S., Marini, M. & Liò, P., 2014, In: Frontiers in Genetics. 5, 319
Research output: Contribution to journal › Article › peer-review
E-pub ahead of print
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic
Gaina, D. & Tutu, I., 14 Aug 2019, (E-pub ahead of print) The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Springer, p. 277-293 17 p. (Lecture Notes in Computer Science; vol. 11714).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Black-Scholes formula without stochastic assumptions
Vovk, V., Mar 2000.
Research output: Working paper
Published
Black-Scholes formula without stochastic assumptions
Vovk, V., May 2000, Models for Credit Risk. London: UNICOM Seminars, p. 149-154 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Blending Human and Artificial Intelligence to Support Autistic Children's Social Communication Skills
Porayska-Pomsta, K., Alcorn, A., Avramides, K., Beale, S., Bernardini, S., Foster, M. E., Frauenberger, C., Good, J., Guldberg, K., Keay-Bright, W., Kossyvaki, L., Lemon, O., Mademtzi, M., Menzies, R., Pain, H., Rajendran, G., Waller, A., Wass, S. & Smith, T. J., 20 Dec 2018, In: ACM Transactions on Computer-Human Interaction (TOCHI). 25, 6, p. 1-35 35 p., 35.
Research output: Contribution to journal › Article › peer-review
Published
BOOM: Taking boolean program model checking one step further
Basler, G., Hague, M., Kroening, D., Ong, C-H. L., Wahl, T. & Zhao, H., 2010, TACAS: Tools and Algorithms for the Construction and Analysis of Systems.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Forthcoming
Boost AI Power: Data Augmentation Strategies With Unlabeled Data and Conformal Prediction, a Case in Alternative Herbal Medicine Discrimination With Electronic Nose
Liu, L., Zhan, X., Wu, R., Guan, X., Wang, Z., Zhang, W., Pilanci, M., Wang, Y., Luo, Z. & Li, G., 15 Oct 2021, (Accepted/In press) In: IEEE Sensors Journal . 21, 20, p. 22995 - 23005
Research output: Contribution to journal › Article › peer-review
Published
Boosting search guidance in problems with semantic attachments
Bernardini, S., Fox, M., Long, D. & Piacentini, C., 5 Jun 2017, Proceedings International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 29-37 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Bounded and Approximate Strong Satisfiability in Workflows
Crampton, J., Gutin, G. & Majumdar, D., 28 May 2019, Proceedings of ACM SACMAT 2019. ACM, p. 179-184 6 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Bounded verification of message-passing concurrency in Go using Promela and Spin
Dilley, N. & Lange, J., 3 Apr 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 314, p. 34-45 12 p.
Research output: Contribution to journal › Conference article › peer-review
Published
Brief Announcement: Gossiping with Latencies
Gilbert, S., Robinson, P. & Sourav, S., 25 Jul 2017, PODC '17 : Proceedings of the ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 255-257 3 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Brief Announcement: Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store
Chockler, G., Shraer, A. & Dobre, D., 2013.
Research output: Contribution to conference › Paper › peer-review
Published
Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures
Schwarz, M., Winkler, K., Schmid, U., Biely, M. & Robinson, P., 2014, Proceedings of the 2014 ACM symposium on Principles of distributed computing. p. 341-343 3 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks
Chung, H. C., Robinson, P. & Welch, J. L., 2010, Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. p. 89-91 3 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Brief Announcement: Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives
Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A., Oct 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Moses, Y. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 9363. p. 673-674 2 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement
Biely, M., Robinson, P. & Schmid, U., 2009, Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer Berlin / Heidelberg, p. 360-361 2 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
BRNGLR: a cubic Tomita-style GLR parsing algorithm
Scott, E., Johnstone, A. & Economopoulos, R., Oct 2007, In: Acta Informatica. 44, 6, p. 427-461 35 p.
Research output: Contribution to journal › Article › peer-review
Published
Broken hearted: How to attack ECG biometrics
Eberz, S., Paoletti, N., Roeschlin, M., Patanè, A., Kwiatkowska, M. & Martinovic, I., 27 Feb 2017, Network and Distributed System Security Symposium. p. 1-15 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Buffered Communication Analysis in Distributed Multiparty Sessions
Denielou, P-M. & Yoshida, N., 2010, CONCUR 2010 - CONCURRENCY THEORY. Gastin, P. & Laroussinie, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 343-357 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Building next generation Service-Oriented Architectures using Argumentation Agents
Curcin, V., Ghanem, M., Guo, Y., Stathis, K. & Toni, F., 1 Sep 2006, 3rd International Conference on Grid Services Engineering and Management (GSEM 2006).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Building Power Consumption Models from Executable Timed I/O Automata Specifications
Barbot, B., Kwiatkowska, M., Mereacre, A. & Paoletti, N., 11 Apr 2016, Hybrid Systems : Computation and Control. p. 195-204 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Building tractable disjunctive constraints
Cohen, D. A., Jeavons, P. G., Jonsson, P. & Koubarakis, M., 2000, In: Journal of the ACM. 47, p. 826-853 28 p.
Research output: Contribution to journal › Article › peer-review
Published
Bulletin Board: A scalable and robust eventually consistent shared memory over a peer-to-peer overlay
Bortnikov, V., Chockler, G., Roytman, A. & Spreitzer, M., 14 Apr 2010, In: Operating Systems Review. 44, 2, p. 64-70 7 p.
Research output: Contribution to journal › Article › peer-review
Published
Business Objects: Software Solutions
Spurr, K. (ed.), Layzell, P. J. (ed.), Jennison, L. (ed.) & Richards, N. (ed.), 1994, John Wiley & Sons.
Research output: Book/Report › Book
Published
Business process management
Dustdar, S., Fiadeiro, J. L. & Sheth, A., 1 Jan 2008, In: Data and Knowledge Engineering. 64, 1
Research output: Contribution to journal › Special issue › peer-review
Published
Buy low, sell high
Koolen, W. & Vovk, V., 2014, In: Theoretical Computer Science. 558, p. 144-158 15 p.
Research output: Contribution to journal › Article › peer-review
Forthcoming
Buy low, sell high
Koolen, W. & Vovk, V., 2012, (Accepted/In press) Proceedings of the Twenty Third International Conference on Algorithmic Learning Theory. Bshouty, N., Stoltz, G., Vayatis, N. & Zeugmann, T. (eds.). Berlin: Springer, Vol. 7568. p. 335 - 349 15 p. (Lecture Notes in Artificial Intelligence).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Bylands: reverse engineering safety-critical systems
Bull, T., Younger, E., Bennett, K. & Luo, Z., 1995, Proc. of Inter. Conf. on Software Maintenance.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Bypassing information leakage protection with trusted applications
Blasco, J., Hernandez-Castro, J. C., Tapiador, J. E. & Ribagorda, A., 1 Jun 2012, In: Computers and Security. 31, 4, p. 557-568 12 p.
Research output: Contribution to journal › Article › peer-review
Published
Byzantine disk paxos: Optimal resilience with byzantine shared memory
Abraham, I., Chockler, G., Keidar, I. & Malkhi, D., 1 Apr 2006, In: Distributed Computing. 18, 5, p. 387-408 22 p.
Research output: Contribution to journal › Article › peer-review
Published
Byzantine disk Paxos: Optimal resilience with byzantine shared memory
Abraham, I., Chockler, G. V., Keidar, I. & Malkhi, D., 2004, Proceedings of the 23rd Annual ACM SIGACT-SIGOPS Symposium on. Principles of Distributed Computing (PODC 2004). ACM, p. 226-235 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Caching and Auditing in the RPPM Model
Crampton, J. & Sellwood, J., 2014, Security and Trust Management - 10th International Workshop. Springer, p. 49-64 16 p. (Lecture Notes in Computer Science; vol. 8743).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Calculation of Discrepancy Measures and Applications
Doerr, C., Gnewuch, M. & Wahlström, M., 2014, A Panorama of Discrepancy Theory. Chen, W., Srivastav, A. & Travaglini, G. (eds.). Springer, p. 621-678 58 p. (Lecture Notes in Mathematics; vol. 2107).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
Calculation of K -> pi matrix elements in quenched domain-wall QCD
Khan, A. A., Aoki, S., Aoki, Y., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Izubuchi, T., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K. I., Noaki, J., Okawa, M., Shanahan, H. P., Taniguchi, Y., Ukawa, A., Yoshie, T. & 1 others, CP-PACS collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 283-286 4 p.
Research output: Contribution to journal › Article › peer-review
Published
CALF: Categorical automata learning framework
Van Heerdt, G., Sammartino, M. & Silva, A., Aug 2017, Computer Science Logic 2017, CSL 2017. Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-24 24 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 82).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Can we improve on the identification of transcription factor binding sites?
Shanahan, H. P., 2009, p. 39-40. 2 p.
Research output: Contribution to conference › Other
E-pub ahead of print
Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control
Crampton, J. & Williams, C., 22 Mar 2017, (E-pub ahead of print) 7th ACM Conference on Data and Application Security and Privacy. ACM Press, p. 47-58 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
CASE 2000 - THE FUTURE OF CASE TECHNOLOGY
KING, S., LAYZELL, P. & WILLIAMS, S., Jul 1994, In: SOFTWARE ENGINEERING JOURNAL. 9, 4, p. 138-139 2 p.
Research output: Contribution to journal › Editorial › peer-review
Published
CASE 2000: The Future of CASE Technology
King, S., Layzell, P. J. & West, S. W., 1994, In: SOFTWARE ENGINEERING JOURNAL. 9, 4, p. 138-140 3 p.
Research output: Contribution to journal › Article › peer-review
Published
CASE- Current Practice, Future Prospects
Spurr, K. (ed.) & Layzell, P. J. (ed.), 1992, John Wiley & Sons.
Research output: Book/Report › Book
Published
CASE On Trial
Spurr, K. (ed.) & Layzell, P. J. (ed.), 1990, John Wiley & Sons.
Research output: Book/Report › Book
Published
Categorical semantics of parallel program design
Fiadeiro, J. L. & Maibaum, T., 1 Apr 1997, In: Science of Computer Programming. 28, 2-3, p. 111-138 28 p.
Research output: Contribution to journal › Article › peer-review
Published
Categories for Software Engineering
Fiadeiro, J. L., 2005, Springer. 250 p.
Research output: Book/Report › Other report
E-pub ahead of print
Causal Trees, Finally
Bruni, R., Montanari, U. & Sammartino, M., 20 Nov 2015, (E-pub ahead of print) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G. & Priami, C. (eds.). Springer-Verlag, p. 27-43 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Published
CC# and Its Meta Theory
Luo, Z., 1988, LFCS Report Series. LFCS, Edinburgh Univ
Research output: Chapter in Book/Report/Conference proceeding › Other contribution
Published
Central limit theorem without probability
Vovk, V., 1999.
Research output: Working paper
Published
Characterisation of cyclic neuroprotective PDZ binding ligands
AlNasir, J. & Austen, B., 8 Feb 2011.
Research output: Contribution to conference › Poster › peer-review
Published
Characterising renaming within OCaml's module system: theory and implementation
Rowe, R., Férée, H., Thompson, S. & Owens, S., 8 Jun 2019, PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery (ACM), p. 950-965 16 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
Characterising Tractable Constraints
Cooper, M. C., Cohen, D. A. & Jeavons, P. G., 1994, In: Artificial Intelligence. 65, 2, p. 347-361 15 p.
Research output: Contribution to journal › Article › peer-review

Previous 1 2 3 4 5 Next

Computer Science home

Research

Profile

Researchers

Publications

Projects

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455