1. Anthology › Research
  2. Published

    Proceedings of the Workshop on Psychocomputational Models of Human Language Acquisition

    Sakas, W. G. (ed.), Clark, A. (ed.), Cussens, J. (ed.) & Xanthos, A. (ed.), 1 Jun 2005, Ann Arbor, Michigan: Association for Computational Linguistics.

    Research output: Book/ReportAnthology

  3. Scholarly edition › Research
  4. 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/ReportScholarly edition

  5. Published

    Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday

    Artikis, A. (ed.), Craven, R. (ed.), Cicekli, N. K. (ed.), Sadighi, B. (ed.) & Stathis, K. (ed.), 2012, SPRINGER-VERLAG BERLIN.

    Research output: Book/ReportScholarly edition

  6. Other report › Research
  7. Published

    Categories for Software Engineering

    Fiadeiro, J. L., 2005, Springer. 250 p.

    Research output: Book/ReportOther report

  8. Unpublished

    Håstad‘s Separation of Constant-Depth Circuits Using Sipser Functions

    Tzameret, I., 2015, (Unpublished) Expository Note. 15 p.

    Research output: Book/ReportOther report

  9. Patent › Research
  10. Published

    Continuous Operation During Reconfiguration Periods

    Bortnikov, V., Chockler, G., Perelman, D., Shachor, S., Shnayderman, I. & Roytman, A., 2015, Patent No. US Patent 8,943,178

    Research output: Patent

  11. Published

    Data classication apparatus and method thereof

    Gammerman, A. & Vovk, V., Jul 2004, Patent No. 1129428

    Research output: Patent

  12. Published

    Method for Separately Permissioned Communication

    Watkins, C. & Denker, J., 2000, IPC No. US Patent, Patent No. 6064878

    Research output: Patent

  13. Published

    Method of Automatic Verification of Personal Identity

    Watkins, C., 1998, IPC No. US Patent, Patent No. 5719560

    Research output: Patent

  14. Published

    Propagating changes in topic subscription status of processes in an overlay network

    Chockler, G., Bortnikov, V., Roytman, A. & Spreitzer, M., 25 Feb 2014, IPC No. G06F15/16, G06F15/173, Patent No. US 8661080 B2, Priority date 15 Jul 2010

    Research output: Patent

  15. Article › Research › Not peer-reviewed
  16. 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 journalArticle

  17. 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 journalArticle

  18. 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 journalArticle

  19. 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 journalArticle

  20. 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 journalArticle

  21. 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 journalArticle

  22. 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 journalArticle

  23. 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 journalArticle

  24. 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 journalArticle

  25. 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 journalArticle

  26. 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 journalArticle

  27. 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 journalArticle

  28. 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 journalArticle

  29. 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 journalArticle

  30. Published

    Characterizations of vertex pancyclic and pancyclic ordinary semicomplete multipartite digraphs

    Gutin, G., 1995, In: Discrete Mathematics. 141, p. 153-162

    Research output: Contribution to journalArticle

  31. Published

    Computer display control and interaction using eye-gaze

    Murtagh, F., Farid, M. & Starck, J. L., 2002, In: Journal of the Society for Information Display. 10, 3, p. 289-293

    Research output: Contribution to journalArticle

  32. Published

    Decision Boundaries Using Bayes Factors: The Case of Cloud Masks

    Murtagh, F., Barreto, D. & Marcello, J., Dec 2003, In: IEEE Transactions on Geoscience and Remote Sensing. 41, 12, p. 2952-2958 6 p.

    Research output: Contribution to journalArticle

  33. Published

    Deconvolution in astronomy: a review

    Murtagh, F., Starck, J. L. & Pantin, E., 2002, In: Publications of the astronomical society of the pacific. 114, p. 1051-1069

    Research output: Contribution to journalArticle

  34. Published

    Distributed Algorithmic Foundations of Dynamic Networks

    Augustine, J., Pandurangan, G. & Robinson, P., 10 Mar 2016, In: SIGACT News. 47, 1, p. 69-98 30 p.

    Research output: Contribution to journalArticle

  35. Published

    Distributed visual information management in astronomy

    Murtagh, F., Starck, J. L. & Louys, M., 2002, In: Computing in Science and Engineering. 4, 6, p. 14-23

    Research output: Contribution to journalArticle

  36. Published

    Editorial

    Fiadeiro, J. L., Gnesi, S. & Maibaum, T., 1 Mar 2012, In: Formal Aspects of Computing. 24, 2, p. 161-162 2 p.

    Research output: Contribution to journalArticle

  37. Published

    Evaluation of the contract-or-patch heuristic for the Asymmetric TSP

    Gutin, G. & Zverovitch, A., 2005, In: INFOR: Information Systems and Operational Research. 43, 1, p. 23-31

    Research output: Contribution to journalArticle

  38. 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

  39. 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

  40. 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

  41. Published

    Generalizations of tournaments: A survey

    Bang-Jensen, J. & Gutin, G., 1998, In: Journal of Graph Theory. 28, 4, p. 171-202

    Research output: Contribution to journalArticle

  42. Published

    Gray and color image contrast enhancement by the curvelet transform

    Murtagh, F., Starck, J. L., Candes, E. J. & Donoho, D. L., Jun 2003, In: IEEE Transactions on Image Processing. 12, 6, p. 706-717

    Research output: Contribution to journalArticle

  43. Published

    High-quality still images from video frame sequences

    Murtagh, F., Geradts, Z. & Rudin, L. I., 2002, In: Proceedings of the SPIE. 4709, p. 49-59

    Research output: Contribution to journalArticle

  44. Published

    How to base probability theory on perfect-information games

    Shafer, G., Vovk, V. & Chychyla, R., Feb 2010, In: Bulletin of the European Association for Theoretical Computer Science. 100, p. 115-148 34 p.

    Research output: Contribution to journalArticle

  45. Published

    Interactive visual user interfaces: a survey

    Murtagh, F., Taskaya, T., Contreras, P. & Mothe, J., 2003, In: Artificial Intelligence Review. 19, 4, p. 263-283

    Research output: Contribution to journalArticle

  46. Submitted

    Learning to Identify Perceptual Bugs in 3D Video Games

    Wilkins, B. & Stathis, K., 28 Feb 2022, (Submitted) In: ArXiv.org.

    Research output: Contribution to journalArticle

  47. Published

    Maximizing traveling salesman problem for special matrices

    Blokh, D. & Gutin, G., 1995, In: Discrete Applied Mathematics. 56, 1, p. 83-86

    Research output: Contribution to journalArticle

  48. Published

    Minimizing and maximizing the diameter in orientations of graphs

    Gutin, G., 1994, In: Graphs and Combinatorics. 10, p. 225-230

    Research output: Contribution to journalArticle

  49. Published

    Multiband segmentation based on a hierarchical Markov model

    Murtagh, F. & Collet, C., 2004, In: Pattern Recognition. 37, 12, p. 2337-2347

    Research output: Contribution to journalArticle

  50. Published

    Multiresolution filtering and segmentation of multispectral images

    Murtagh, F., Collet, C., Louys, M. & Starck, J. L., 2002, In: Proceedings of the SPIE. 4847, p. 354-361

    Research output: Contribution to journalArticle

  51. Published

    Paths and cycles in extended and decomposable digraphs

    Bang-Jensen, J. & Gutin, G., 1997, In: Discrete Mathematics. 164, p. 5-19

    Research output: Contribution to journalArticle

  52. Published

    Predictions controlees en apprentissage automatique

    Gammerman, A. & Vovk, V., 2010, In: La Revue Modulad. 42, p. 16-33 18 p.

    Research output: Contribution to journalArticle

  53. Published

    Properly colored Hamilton cycles in edge colored complete graphs

    Gutin, G. & Alon, N., 1997, In: Random Structures and Algorithms. 11, 2, p. 179-186

    Research output: Contribution to journalArticle

  54. Published

    Quantization from Bayes factors with application to multilevel thresholding

    Murtagh, F. & Starck, J. L., 2003, In: Pattern Recognition Letters. 24, 12, p. 2001-2007

    Research output: Contribution to journalArticle

  55. Published

    Relationships, Paths and Principal Matching: A New Approach to Access Control

    Crampton, J. & Sellwood, J., 29 May 2015, In: ArXiv.org.

    Research output: Contribution to journalArticle

  56. Published

    Semantic description of signal and image databases

    Murtagh, F., Contreras, P., Kokuer, M. & Louys, M., 2002, In: Proceedings of the SPIE. 4877, p. 230-237

    Research output: Contribution to journalArticle

  57. Published

    Solution of a conjecture of Volkmann on the number of vertices in longest paths and cycles of strong semicomplete multipartite digraphs

    Gutin, G. & Yeo, A., 2001, In: Graphs and Combinatorics. 17, 3, p. 473-477

    Research output: Contribution to journalArticle

  58. Published

    Sufficient conditions for a digraph to be Hamiltonian

    Gutin, G., Bang-Jensen, J. & Li, H., 1996, In: Journal of Graph Theory. 22, 2, p. 181-187

    Research output: Contribution to journalArticle

  59. Published

    Vertex heaviest paths and cycles in quasi-transitive digraphs.

    Gutin, G. & Bang-Jensen, J., 1996, In: Discrete Mathematics. 163, 1-3, p. 217-223

    Research output: Contribution to journalArticle

  60. Published

    Vladimir Vovk’s contribution to the Discussion of ‘Testing by betting: A strategy for statistical and scientific communication’ by Glenn Shafer

    Vovk, V., 5 May 2021, In: Journal of the Royal Statistical Society: Series A (Statistics in Society). 184, 2, p. 445-446 2 p.

    Research output: Contribution to journalArticle

  61. Published

    Wavelet-based combined signal filtering and prediction

    Murtagh, F., Renaud, O. & Starck, J-L., 2005, In: IEEE Transactions on Systems, Man and Cybernetics, Part B: Cybernetics. 35, 6, p. 1241-1251

    Research output: Contribution to journalArticle

  62. Article › Research › Peer-reviewed
  63. 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 journalArticlepeer-review

  64. 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 journalArticlepeer-review

  65. Submitted

    9 Simple recommendations for teaching data skills

    Shanahan, H., 16 Apr 2019, (Submitted) In: Data Science Journal.

    Research output: Contribution to journalArticlepeer-review

  66. 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 journalArticlepeer-review

  67. 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 journalArticlepeer-review

  68. 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 journalArticlepeer-review

  69. 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 journalArticlepeer-review

  70. 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 journalArticlepeer-review

  71. 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 journalArticlepeer-review

  72. 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 journalArticlepeer-review

  73. 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 journalArticlepeer-review

  74. 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 journalArticlepeer-review

  75. 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 journalArticlepeer-review

  76. 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 journalArticlepeer-review

  77. 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 journalArticlepeer-review

  78. 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 journalArticlepeer-review

  79. 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 journalArticlepeer-review

  80. 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 journalArticlepeer-review

  81. 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 journalArticlepeer-review

  82. 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 journalArticlepeer-review

  83. 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 journalArticlepeer-review

  84. 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 journalArticlepeer-review

  85. 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 journalArticlepeer-review

  86. 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 journalArticlepeer-review

  87. 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 journalArticlepeer-review

  88. 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 journalArticlepeer-review

  89. 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 journalArticlepeer-review

  90. 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 journalArticlepeer-review

  91. 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 journalArticlepeer-review

  92. 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 journalArticlepeer-review

  93. 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 journalArticlepeer-review

  94. 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 journalArticlepeer-review

  95. 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 journalArticlepeer-review

  96. Published

    A Language Enhancement Facility for COBOL

    Triance, J. M. & Layzell, P. J., 1985, In: The Computer Journal.

    Research output: Contribution to journalArticlepeer-review

  97. 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 journalArticlepeer-review

  98. 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 journalArticlepeer-review

  99. 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 journalArticlepeer-review

  100. 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 journalArticlepeer-review

  101. 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 journalArticlepeer-review

  102. 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 journalArticlepeer-review

  103. 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 journalArticlepeer-review

  104. 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 journalArticlepeer-review

  105. Published

    A negotiation description language

    Elfatatry, A. & Layzell, P., 2005, In: SOFTWARE-PRACTICE. 35, 4, p. 323-343 21 p.

    Research output: Contribution to journalArticlepeer-review

  106. 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 journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 ...24 Next