1. Published

    Exact and approximate algorithms for computing a second hamiltonian cycle

    Deligkas, A., Mertzios, G. B., Spirakis, P. G. & Zamaraev, V., 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-13 13 p. MFCS-2020-27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Published

    Exception Diagnosis in Multiagent Contract Executions

    Kafali, O. & Torroni, P., 2012, In: Annals of Mathematics and Artificial Intelligence. 64, 1, p. 73-107 35 p.

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Executable component-based semantics

    van Binsbergen, L. T., Mosses, P. D. & Sculthorpe, N., Feb 2019, In: Journal of Logical and Algebraic Methods in Programming. 103, p. 184-212 29 p.

    Research output: Contribution to journalArticlepeer-review

  4. Unpublished

    Executable Formal Specification of Programming Languages with Reusable Components

    van Binsbergen, L. T., 2019, (Unpublished) 274 p.

    Research output: ThesisDoctoral Thesis

  5. Published

    Existentially Closed Groups

    Higman, G. & Scott, E., 1988, Oxford: Oxford University Press. 170 p.

    Research output: Book/ReportBook

  6. Published

    Experience Realising a Meta-Model for Wide System Understanding: The Global System Model

    Freeman, M. J. & Layzell, P. J., 1994, In: Software- Practice and Experience. 24, 8, p. 703-728 26 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    Experiences in Automated Workflow using Dialectical Argumentation

    Urovi, V., Bromuri, S., McGinnis, J., Stathis, K. & Omicini, A., 1 Jul 2007, Proceedings of Intelligent Systems and Agents International Conference (IADIS07).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Experimental Analysis of Heuristics for the ATSP

    Gutin, G., Johnson, D. S., McGeoch, L., Yeo, A., Zhang, Q. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    Experimental and numerical investigation of rubber damping ring and its application in multi-span shafting

    Zhu, H., Chen, W., Li, M., Zhu, R., Zhang, L., Fu, B., Wang, S. & Lu, X., 3 Jan 2021, In: Journal of the Brazilian Society of Mechanical Sciences and Engineering. 43, 43.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    Experiments with the K29 algorithm

    Vovk, V., 1 Sep 2004.

    Research output: Working paper

  11. E-pub ahead of print

    Explaining Deep Learning Models with Constrained Adversarial Examples

    Moore, J., Hammerla, N. & Watkins, C., 23 Aug 2019, (E-pub ahead of print) Pacific Rim International Conference on Artificial Intelligence. Springer, p. 43-56 14 p. (Lecture Notes in Computer Science; vol. 11670).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Published

    Exploitation System Documentation for Design Recovery

    Black, W. J., Gianetti, A., Layzell, P. J. & Stanitsas, G., 1992, Proc. Conference on Software Engineering and its Applications, Toulouse, December 1992.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. Published

    Exploiting uncertain and temporal information in correlation

    Bigham, J. & Luo, Z., 1996, Proceedings of the 6th International Conference Information Processing and the Management of Uncertainty (IPMU-96).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Published

    Exploring the evolutionary path of plant MAPK networks

    Dóczi, R., Okrész, L., Romero, A. E., Paccanaro, A. & Bogre, L., 2012, In: Trends in Plant Science.

    Research output: Contribution to journalArticlepeer-review

  15. Published

    Exploring the limits of single-iteration clarification dialogs

    Lin, J., Wu, P., Demner-Fushman, D. & Abels, E., 31 Oct 2006, Proceedings of the Twenty-Ninth Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Vol. 2006. p. 469-476 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Published

    Exponential Neighborhoods and Domination Analysis for the TSP

    Gutin, G., Yeo, A. & Zverovitch, A., 2002, The TSP and Its Variations. Gutin, G. & Punnen, A. P. (eds.). 12 ed. (Combinatorial Optimization; no. 12).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Published

    ExpoSE: practical symbolic execution of standalone JavaScript

    Loring, B., Mitchell, D. & Kinder, J., 13 Jul 2017, SPIN 2017 : Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, p. 196–199 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Published

    Expression of msl-2 causes assembly of dosage compensation regulators on the X chromosomes and female lethality in Drosophila

    Kelley, R. L., Solovyeva, I., Lyman, L. M., Richman, R., Solovyev, V. & Kuroda, M. I., 16 Jun 1995, In: Cell. 81, 6, p. 867-77 11 p.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Extended Computation Tree Logic (Extended Abstract)

    Alexsson, R., Hague, M., Kreutzer, S., Lange, M. & Latte, M., 2010, LPAR International Conference on Logic for Programming Artificial Intelligence and Reasoning.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. E-pub ahead of print

    Extended Path Partition Conjecture for Semicomplete and Acyclic Compositions

    Ai, J., Gutin, G., Gerke, S. & Zhou, Y., Nov 2022, In: Discrete Mathematics. 345, 11, 113019.

    Research output: Contribution to journalArticlepeer-review

  21. Published

    Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, ADVANCES IN THEORY AND FORMAL METHODS OF COMPUTING. Edalat, A., Jourdan, S. & McCusker, G. (eds.). LONDON: Imperial College Press, p. 228-239 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Published

    Extending nearly complete 1-planar drawings in polynomial time

    Eiben, E., Ganian, R., Hamm, T., Klute, F. & Nöllenburg, M., 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-16 16 p. MFCS-2020-31. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Published

    Extending partial 1-planar drawings

    Eiben, E., Ganian, R., Hamm, T., Klute, F. & Nöllenburg, M., 29 Jun 2020, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020. Czumaj, A., Dawar, A. & Merelli, E. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-19 19 p. 43. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 168).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Published

    Extending the Ami Approach to Encompass the Foundation Activity

    Gorbutt, J. & Layzell, P. J., 1997, STEP97, London, July 1997. IEEE Computer Society Press, p. 198-208 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

    Extending UML with coordination contracts

    Lano, K. & Fiadeiro, J. L., 1 Jun 2006, In: Software and Systems Modeling. 5, 2, p. 110-120 11 p.

    Research output: Contribution to journalArticlepeer-review

  26. Published

    Extracting mutual exclusion invariants from lifted temporal planning domains

    Bernardini, S., Fagnani, F. & Smith, D., May 2018, In: Artificial Intelligence. 258, p. 1-65 65 p.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    Extremal problems for the p-spectral radius of Berge hypergraphs

    Zhou, Y., Kang, L., Liu, L. & Shan, E., 1 Sep 2020, In: Linear Algebra and Its Applications. 600, p. 22-39

    Research output: Contribution to journalArticlepeer-review

  28. Published

    Eye-movements and voice as interface modalities to computer systems

    Murtagh, F. & Farid, M., 2002, In: Proceedings of the SPIE. 4877, p. 115-125

    Research output: Contribution to journalArticle

  29. Published

    Facilitating plausible deniability for cloud providers regarding tenants' activities using trusted execution

    O'Keeffe, D., Vranaki, A., Pasquier, T. & Eyers, D., 19 May 2020, Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020. Institute of Electrical and Electronics Engineers Inc., p. 59-65 7 p. (Proceedings - 2020 IEEE International Conference on Cloud Engineering, IC2E 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Published

    Facilitating program comprehension by mining association rules from source code

    Tjortjis, C., Sinos, L. & Layzell, P., 2003, 11th IEEE International Workshop on Program Comprehension, Portland, USA, May 2003. p. 125-132 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Published

    FAIR Principles for Research Software (FAIR4RS Principles)

    Shanahan, H., 16 Mar 2022

    Research output: Other contribution

  32. Forthcoming

    Fair Refinement for Asynchronous Session Types

    Bravetti, M., Lange, J. & Zavattaro, G., 22 Dec 2020, (Accepted/In press) In: Lecture Notes in Computer Science.

    Research output: Contribution to journalConference articlepeer-review

  33. Unpublished

    Faithful Visualisation of Similarities in High Dimensional Data

    Kou, J., 2016, (Unpublished) 197 p.

    Research output: ThesisDoctoral Thesis

  34. Published

    Fast byzantine agreement in dynamic networks

    Augustine, J., Pandurangan, G. & Robinson, P., 2013, ACM Symposium on Principles of Distributed Computing, PODC '13, Montreal, QC, Canada, July 22-24, 2013. p. 74-83 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Published

    Fast Byzantine Leader Election in Dynamic Networks

    Augustine, J., Pandurangan, G. & Robinson, P., 2015, Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, 2015. Proceedings. Springer Berlin / Heidelberg, Vol. 9363. p. 276-291 16 p. (Lecture Notes in Computer Science; vol. 9363).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Published

    Fast Distributed Algorithms for Connectivity and MST in Large Graphs

    Pandurangan, G., Robinson, P. & Scquizzato, M., 19 Sep 2018, In: Transactions on Parallel Computing. 5, 1, p. 1-22 22 p.

    Research output: Contribution to journalArticlepeer-review

  37. Published

    Fast Distributed Algorithms for Connectivity and MST in Large Graphs

    Pandurangan, G., Robinson, P. & Scquizzato, M., 11 Jul 2016, SPAA '16: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures. ACM, p. 429-438 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Published

    Fast probabilistic prediction for kernel SVM via enclosing balls

    Riquelme-Granada, N., Nguyen, D. K. A. & Luo, Z., 2020, Proceedings of Machine Learning Research: Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 128. p. 189-208 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Published

    Fast redshift clustering with the Baire (ultra) metric

    Murtagh, F. & Contreras, P., 20 Apr 2011.

    Research output: Contribution to conferencePaperpeer-review

  40. Published

    Fast, Linear Time Hierarchical Clustering using the Baire Metric

    Contreras, P. & Murtagh, F., 2012, In: Journal of Classification. 29, p. 118-143 26 p.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Fast, Linear Time, m-Adic Hierarchical Clustering for Search and Retrieval using the Baire Metric, with linkages to Generalized Ultrametrics, Hashing, Formal Concept Analysis, and Precision of Data Measurement

    Murtagh, F. & Contreras, P., 2012, In: p-Adic Numbers, Ultrametric Analysis and Applications. 4, 1, p. 45-56

    Research output: Contribution to journalArticlepeer-review

  42. Published

    Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

    Wahlström, M., 2005, SAT. p. 309-323 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. E-pub ahead of print

    Faster FPT Algorithms for Deletion to Pairs of Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 9 Sep 2021, (E-pub ahead of print).

    Research output: Contribution to conferencePaperpeer-review

  44. Published

    FastMotif: spectral sequence motif discovery

    Colombo, N. & Vlassis, N., 15 Aug 2015, In: Bioinformatics. 31, 16, p. 2623-2631 9 p.

    Research output: Contribution to journalArticlepeer-review

  45. Published

    Fault-Tolerance in Storage-Centric Systems

    Chockler, G., 2005

    Research output: ThesisDoctoral Thesis

  46. Published

    Featherweight Go

    Griesemer, R., Hu, R., Kokke, W., Lange, J., Taylor, I. L., Toninho, B., Wadler, P. & Yoshida, N., 15 Nov 2020, In: Proceedings of the ACM on Programming Languages, OOPSLA. 4, 29 p., 149.

    Research output: Contribution to journalConference articlepeer-review

  47. Published

    Feature Modeling and Composition with Coordination Contracts

    Andrade, L. F. & Fiadeiro, J. L., 2001, FICS. University of Karlsruhe, Institut für Programmstrukturen und Datenorganisation, Vol. 2001-14. p. 49-54 6 p. (Technical Report).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Published

    Feature Selection

    Bellotti, T., Nouretdinov, I., Yang, M. & Gammerman, A., 2014, Conformal Prediction for Reliable Machine Learning: Theory, Adaptations and Applications. Balasubramanian, V., Ho, S-S. & Vovk, V. (eds.). Elsevier, p. 115-130 16 p. 6

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Published

    Feature Selection by Conformal Predictor

    Yang, M., Nouretdinov, I., Luo, Z. & 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 proceedingConference contribution

  50. Published

    Feature Selection Using Enhanced Particle Swarm Optimisation for Classification Models

    Xie, H., Zhang, L., Lim, C. P., Yu, Y. & Liu, H., 5 Mar 2021, In: Sensors. 21, 5, 1816.

    Research output: Contribution to journalArticlepeer-review

  51. Published

    Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking

    Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In: Software Engineering, IEEE Transactions on. 39, 8, p. 1069-1089 21 p.

    Research output: Contribution to journalArticlepeer-review

  52. Unpublished

    Features Handling by Conformal Predictors

    Yang, M., 2015, (Unpublished) 143 p.

    Research output: ThesisDoctoral Thesis

  53. Published

    Feeder-Level Deep Learning-based Photovoltaic Penetration Estimation Scheme

    Zhang, X., Kuenzel, S. & Watkins, C., 13 Oct 2020.

    Research output: Contribution to conferencePaperpeer-review

  54. Published

    Fencing off Go: Liveness and safety for channel-based programming

    Lange, J., Ng, N., Toninho, B. & Yoshida, N., Jan 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery (ACM), p. 748-761 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. Published

    Finding a longest path in a complete multipartite digraph

    Gutin, G., 1993, In: SIAM Journal on Discrete Mathematics. 6, 2, p. 270-273

    Research output: Contribution to journalArticle

  56. Published

    Finding cheapest cycles in vertex-weighted quasi-transitive digraphs and extended semicomplete digraphs

    Bang-Jensen, J., Gutin, G. & Yeo, A., 2006, In: Discrete Optimization. 3, 1, p. 86-94 9 p.

    Research output: Contribution to journalArticlepeer-review

  57. Published

    Finding genes by computer: probabilistic and discriminative approaches

    Solovyev, V., 2002, Current Topics in Computational Biology. Jiang, T., Smith, T., Xu, Y. & Zhang, M. (eds.). MIT Press, p. 365-401

    Research output: Chapter in Book/Report/Conference proceedingChapter

  58. Published
  59. Published

    First International Conference on Bioinformatics of Genome Regulation and Structure 1998

    Kolchanov, N. A. & Solovyev, V. V., 1999, In: Bioinformatics. 15, 7-8, p. 527-527 1 p.

    Research output: Contribution to journalEditorialpeer-review

  60. Published

    First-class protocols for agent-based coordination of scientific instruments

    Miller, T., McBurney, P., McGinnis, J. & Stathis, K., 2007, WET ICE 2007: 16TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 41-46 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. Published

    Fixed-Parameter Complexity of Minimum Profile Problems

    Gutin, G., Szeider, S. & Yeo, A., 2008, In: Algorithmica. 52, 2, p. 133-152 20 p.

    Research output: Contribution to journalArticlepeer-review

  62. E-pub ahead of print

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 15 Jan 2015, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 29, 1, p. 122-144 23 p.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    Fixed-Parameter Tractability of Multicut in Directed Acyclic Graphs

    Kratsch, S., Pilipczuk, M., Pilipczuk, M. & Wahlström, M., 2012, ICALP (1). p. 581-593 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. Published

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2014, In: Algorithmica. 68, p. 739-757

    Research output: Contribution to journalArticlepeer-review

  65. Forthcoming

    Fixed-parameter tractability of satisfying beyond the number of variables

    Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S. & Yeo, A., 2012, (Accepted/In press) SAT 2012. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. Published

    Fixed-Parameter Tractability of Workflow Satisability in the Presence of Seniority Constraints

    Crampton, J., Crowston, R., Gutin, G., Jones, M. & Ramanujan, M. S., 2013, FAW-AAIM 2013: Lecture Notes in Computer Science. Vol. 7924. p. 198-209

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. Published

    Flexible decentralised control of connection admission

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., 2000, Agent Technology for Communications Infrastructure. Hayzelden, A. & Bourne, R. A. (eds.). John Wiley & Sons, p. 144-155

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Published

    Flexible decentralised control of connection admission communications networks and the IMPACT of software agents

    Bigham, J., Cuthbert, L., Hayzelden, A. & Luo, Z., Nov 1999, Proceedings of IMPACT'99 .

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Published

    FlowWatcher: Defending against Data Disclosure Vulnerabilities in Web Applications

    Muthukumaran, D., O'Keeffe, D., Priebe, C., Eyers, D. M., Shand, B. & Pietzuch, P. R., 12 Oct 2015, CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security. p. 603-615 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  70. Published

    Follow the Leader If You Can, Hedge If You Must

    de Rooij, S., van Erven, T., D. Grünwald, P. & M. Koolen, W., 3 Jan 2013, In: ArXiv.org.

    Research output: Contribution to journalArticle

  71. Published

    Forecasting point and continuous processes: prequential analysis

    Vovk, V., 1993, In: Test. 2, p. 189-217 29 p.

    Research output: Contribution to journalArticlepeer-review

  72. Published

    Foreword

    Bahsoun, J. P., Fiadeiro, J. L. & Galmiche, D., 1999, In: Mathematical Structures in Computer Science. 9, 3, p. 225-226 2 p.

    Research output: Contribution to journalEditorialpeer-review

  73. Published

    Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

    Luo, Z., 2014, Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings. Asher, N. & Soloviev, S. (eds.). Springer, p. 177-188 12 p. (Lecture Notes in Computer Science; vol. 8535).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  74. Published
  75. Published

    Formalized Metatheory with Terms Represented by an Indexed Family of Types

    Adams, R., 2006, Types for Proofs and Programs. Filliatre, J-C., Paulin-Mohring, C. & Werner, B. (eds.). Springer, Vol. 3839. p. 1-16 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Published

    FORM-FACTORS FOR B-]PI-L(V)OVER-BAR(L) AND B-]K-ASTERISK-GAMMA DECAYS ON THE LATTICE

    BURFORD, D. R., DUONG, H. D., FLYNN, J. M., GOUGH, B. J., HAZEL, N. M., NIEVES, J. & SHANAHAN, H. P., 7 Aug 1995, In: Nuclear Physics B. 447, 2-3, p. 425-437 13 p.

    Research output: Contribution to journalArticlepeer-review

  77. E-pub ahead of print

    Fostering global data sharing: highlighting the recommendations of the Research Data Alliance COVID-19 working group

    Research Data Alliance & Shanahan, H., 9 Nov 2020, (E-pub ahead of print) In: Wellcome Open Research. 267.

    Research output: Contribution to journalArticlepeer-review

  78. Published
  79. Published

    Foundations for structuring behavioural specifications

    Diaconescu, R. & Tutu, I., 2014, In: Journal of Logic and Algebraic Programming. 83, p. 319-338 3-4.

    Research output: Contribution to journalArticlepeer-review

  80. Forthcoming

    Foundations of Graph Transformation as a Logic-Programming Language

    Tutu, I. & Fiadeiro, J. L., 4 Jul 2016, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  81. Published

    FPGA-based discrete wavelet transforms system

    Murtagh, F., Nibouche, M., Bouridane, A., Brebner, G. (ed.) & Woods, R. (ed.), 2001, Field-Programmable Logic and Applications. 2147 ed. Berlin: Springer-Verlag, p. 607-612 (Lecture Notes in Computer Science; no. 2147).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. Published

    FPT Algorithms and Kernels for the Directed k-Leaf Problem

    Daligault, J., Gutin, G., Kim, E. J. & Yeo, A., Mar 2010, In: Journal of Computer and System Sciences. 76, 2, p. 144-152 9 p.

    Research output: Contribution to journalArticlepeer-review

  83. Published

    Fractal graphical representation and analysis of DNA and protein sequences: Computational Molecular Biology

    Solovyev, V. V., 1993, In: BioSystems. 30, 1-3, p. 137-160 24 p.

    Research output: Contribution to journalArticlepeer-review

  84. Published

    Fredholm Multiple Kernel Learning for Semi-Supervised Domain Adaptation

    Wang, W., Wang, H., Zhang, C. & Gao, Y., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, p. 2732-2738 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  85. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J., May 2016, (Accepted/In press). 8 p.

    Research output: Contribution to conferencePaperpeer-review

  86. Unpublished

    Freezing and Sleeping: Tracking Experts that Learn by Evolving Past Posteriors

    M. Koolen, W. & van Erven, T., 27 Aug 2010, (Unpublished).

    Research output: Working paper

  87. Published

    From Architectural to Behavioural Specification of Services

    Bocchi, L., Fiadeiro, J. L., Lapadula, A., Pugliese, R. & Tiezzi, F., 6 Oct 2009, In: Electronic Notes in Theoretical Computer Science. 253, 1, p. 3-21 19 p.

    Research output: Contribution to journalArticlepeer-review

  88. Published

    From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS. p. 92-107 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  89. Published

    From classical proof theory to P vs. NP: a guide to bounded theories

    Tzameret, I., 14 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. .

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  90. Published

    From communicating machines to graphical choreographies

    Lange, J., Tuosto, E. & Yoshida, N., Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 221-232 12 p.

    Research output: Contribution to journalArticlepeer-review

  91. Published

    From conformal to probabilistic prediction

    Vovk, V., Petej, I. & Fedorova, V., 2014, COPA 2014 Proceedings.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  92. Published

    From conventional to institution-independent logic programming

    Tutu, I. & Fiadeiro, J. L., 1 Sep 2017, In: Journal of Logic and Computation. 27, 6, p. 1679-1716 38 p.

    Research output: Contribution to journalArticlepeer-review

  93. Published

    From Data to the p-Adic or Ultrametric Model

    Murtagh, F., 2009, In: p-Adic Numbers, Ultrametric Analysis and Applications. 1, p. 58-68

    Research output: Contribution to journalArticlepeer-review

  94. Published

    From Local to Global Knowledge and Back

    Hoch, N., Monreale, G. V., Montanari, U., Sammartino, M. & Siwe, A. T., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 185-220 36 p.

    Research output: Contribution to journalArticlepeer-review

  95. Published

    From Separation Logic to First‐Order Logic

    Calcagno, C., Gardner, P. & Hague, M., 2005, FoSSaCS: Foundations of Software Science and Computation Structures.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. Published

    From System Comprehension to Program Comprehension

    Tjortjis, C., Gold, N. E., Layzell, P. J. & Bennett, K. H., 2002, COMPSAC 2002, Oxford, UK, 2002.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Published

    Frontier: resilient edge processing for the internet of things

    O'Keeffe, D., Salonidis, T. & Pietzuch, P. R., Jun 2018, In: VLDB Endowment. 11, 10, p. 1178-1191 14 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Full Custom VLSI Design for Computer Scientists

    Johnstone, A., 1 Jan 1989, In: INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING EDUCATION. 26, 1-2, p. 103-112 10 p.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Full QCD light hadron spectrum and quark masses: Final results from CP-PACS

    Khan, A. A., Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Ishizuka, N., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Manke, T., Nagai, K. I., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP PACS Collaboration, Mar 2001, In: Nuclear Physics B - Proceedings Supplements. 94, p. 229-232 4 p.

    Research output: Contribution to journalArticlepeer-review

  100. Published

    Full QCD light hadron spectrum from the CP-PACS

    Aoki, S., Boyd, G., Burkhalter, R., Ejiri, S., Fukugita, M., Hashimoto, S., Iwasaki, Y., Kanaya, K., Kaneko, T., Kuramashi, Y., Nagai, K., Okawa, M., Shanahan, H. P., Ukawa, A., Yoshie, T. & CP-PACS Collaboration, Mar 1999, In: Nuclear Physics B - Proceedings Supplements. 73, p. 192-194 3 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1...6 7 8 9 10 11 12 13 ...24 Next