1. 2022
  2. Published

    Robust and Fair Undersea Target Detection with Automated Underwater Vehicles for Biodiversity Data Collection

    Dinakaran, R., Zhang, L., Li, C-T., Bouridane, A. & Jiang, R., 1 Aug 2022, In: Remote Sensing. 14, 15, 17 p., 3680.

    Research output: Contribution to journalArticlepeer-review

  3. Forthcoming

    Hybrid Discrete-Continuous Path Planning for Lattice Traversal

    Franco Aixela, S., Sustarevas, J. & Bernardini, S., 30 Jul 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  4. Published

    A Deep Ensemble Neural Network with Attention Mechanisms for Lung Abnormality Classification Using Audio Inputs

    Wall, C., Zhang, L., Yu, Y., Kumar, A. & Gao, R., 26 Jul 2022, In: Sensors. 22, 15, 25 p., 5566.

    Research output: Contribution to journalArticlepeer-review

  5. Forthcoming

    A Hybrid Data-Driven Online Solar Energy Disaggregation System from the Grid Supply Point

    Zhang, X., Kuenzel, S. & Watkins, C., 7 Jul 2022, (Accepted/In press) In: Complex & Intelligent Systems.

    Research output: Contribution to journalArticlepeer-review

  6. Forthcoming

    Component Order Connectivity in Directed Graphs

    Bang-Jensen, J., Eiben, E., Gutin, G., Wahlström, M. & Yeo, A., 29 Jun 2022, (Accepted/In press) In: Algorithmica.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    The CODATA-RDA Data Steward School

    Shanahan, H., 15 Jun 2022, INTERNATIONAL JOURNAL OF DIGITAL CURATION. 1 ed. Edinburgh University Press, Vol. 15.

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

  8. Forthcoming

    Universes in Type-Theoretical Semantics (paper accompanying an invited talk)

    Luo, Z., 15 Jun 2022, (Accepted/In press) LACompLing 2021. (Studies in Computational Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Published

    A model of actors and grey failures

    Bocchi, L., Lange, J., Thompson, S. & Voinea, A. L., 14 Jun 2022, 24th International Conference on Coordination Models and Languages. Springer-Verlag, Vol. 12371.

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

  10. 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 proceedingConference contribution

  11. Published

    Constant inapproximability for PPA

    Deligkas, A., Fearnley, J., Hollender, A. & Melissourgos, T., 10 Jun 2022, ACM SIGACT Symposium on Theory of Computing, STOC 2022. p. 1010–1023

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

  12. E-pub ahead of print

    Directed Flow-Augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., 10 Jun 2022, (E-pub ahead of print) Proceedings of STOC 2022. Association for Computing Machinery (ACM), p. 938-947

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

  13. E-pub ahead of print

    Equilibrium Resolution for Epoch Partitioning

    Wisniewski, W., Kalnishkan, Y., Lindsay, D. & Lindsay, S., 10 Jun 2022, (E-pub ahead of print) Proceedings of the 18th International Conference on Artificial Intelligence Applications and Innovations. Springer, (SPRINGER IFIP AICT).

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

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

  15. Forthcoming

    Rethinking the A in FAIR Data: Issues of Data Access and Accessibility in Research

    Shanahan, H. & Bezuidenhout, L., 7 Jun 2022, (Accepted/In press) In: Frontiers in Research Metrics and Analytics.

    Research output: Contribution to journalArticlepeer-review

  16. Published

    Generalized Noise Role Mining

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., Jun 2022, p. 91-102.

    Research output: Contribution to conferencePaperpeer-review

  17. Published

    Iterative Message Passing Algorithm for Vertex-disjoint Shortest Paths

    Dai, G., Gutin, G., Zhang, X. & Zhang, Z., Jun 2022, In: IEEE Transactions on Information Theory. 68, 6, p. 3870 - 3878

    Research output: Contribution to journalArticlepeer-review

  18. Published

    Prediction with Expert Advice for a Finite Number of Experts: A Practical Introduction

    Kalnishkan, Y., Jun 2022, In: Pattern Recognition. 126, 108557.

    Research output: Contribution to journalArticlepeer-review

  19. Published

    Universal predictive systems

    Vovk, V., Jun 2022, In: Pattern Recognition. 126, 12 p., 108536.

    Research output: Contribution to journalArticlepeer-review

  20. Published

    Hack the Heap: Heap Layout Manipulation made Easy

    Gennissen, J. & O'Keeffe, D., 26 May 2022, Hack the Heap: Heap Layout Manipulation made Easy. 16th Workshop on Offensive Technologies (WOOT) 2022

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

  21. E-pub ahead of print

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 9 May 2022, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

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

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

  24. Forthcoming

    Prediction as a Basis for Skilled Reading: Insights from Modern Language Models

    Cevoli, B., Watkins, C. & Rastle, K., 29 Apr 2022, (Accepted/In press) In: Royal Society Open Science. 9, 6

    Research output: Contribution to journalArticlepeer-review

  25. E-pub ahead of print

    Valued Authorization Policy Existence Problem: Theory and Experiments

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., 21 Apr 2022, (E-pub ahead of print) In: ACM Transactions on Privacy and Security.

    Research output: Contribution to journalArticlepeer-review

  26. Published

    On d-panconnected tournaments with large semidegrees

    Darbinyan, S. & Gutin, G., 12 Apr 2022, In: Discrete Mathematics. 345, 8, 14 p., 112931.

    Research output: Contribution to journalArticlepeer-review

  27. Published

    Hyperbolic Personalized Tag Recommendation

    Zhao, W., Zhang, A., Shang, L., Yu, Y., Zhang, L., Wang, C., Chen, J. & Yin, H., 8 Apr 2022, International Conference on Database Systems for Advanced Applications. Vol. 13426. p. 216–231 (Lecture Notes in Computer Science).

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

  28. Submitted

    Privacy-Preserving Federated Learning for Value-Added Service Platform in Advanced Metering Infrastructure

    Zhang, X., Córdoba-Pachón, J-R., Watkins, C. & Kuenzel, S., 8 Apr 2022, (Submitted) In: IEEE Transactions on Computational Social Systems.

    Research output: Contribution to journalArticlepeer-review

  29. Published

    Multi-Quantile Recurrent Neural Network for Feeder-Level Probabilistic Energy Disaggregation Considering Roof-Top Solar Energy

    Zhang, X., Watkins, C. & Kuenzel, S., Apr 2022, In: Engineering Applications of Artificial Intelligence. 104707.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    FAIR Principles for Research Software (FAIR4RS Principles)

    Shanahan, H., 16 Mar 2022

    Research output: Other contribution

  31. E-pub ahead of print

    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., 10 Mar 2022, (E-pub ahead of print) Post-Proceedings of EMAS'21. Springer, (LNCS).

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

  32. Forthcoming

    Optimizing Reachability Sets in Temporal Graphs by Delaying

    Deligkas, A. & Potapov, I., 6 Mar 2022, (Accepted/In press) In: Information and Computation. 104890.

    Research output: Contribution to journalArticlepeer-review

  33. Published

    Dynamic cyber risk estimation with competitive quantile autoregression

    Dzhamtyrova, R. & Maple, C., Mar 2022, In: Data Mining and Knowledge Discovery. 36, p. 513–536

    Research output: Contribution to journalArticlepeer-review

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

  35. Published

    Admissible ways of merging p-values under arbitrary dependence

    Vovk, V., Wang, B. & Wang, R., Feb 2022, In: The Annals of Statistics. 50, 1, p. 351-375 25 p.

    Research output: Contribution to journalArticlepeer-review

  36. Published

    Sound classification using evolving ensemble models and Particle Swarm Optimization

    Zhang, L., Lim, C. P., Yu, Y. & Jiang, M., Feb 2022, In: Applied Soft Computing. 116, 108322.

    Research output: Contribution to journalArticlepeer-review

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

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

  39. Forthcoming

    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

  40. Published

    Twenty seconds of visual behaviour on social media gives insight into personality

    Woods, C., Luo, Z., Watling, D. & Durant, S., 21 Jan 2022, In: Scientific Reports. 12, 1, p. 1-11 11 p., 1178.

    Research output: Contribution to journalArticlepeer-review

  41. Published

    Deep Learning Based Fault Prediction in Wireless Sensor Network Embedded Cyber-Physical Systems for Industrial Processes

    Ruan, H., Dorneanu, B., Mohamed, A., Arellano-Garcia, H., Xiao, P. & Zhang, L., 20 Jan 2022, In: IEEE Access.

    Research output: Contribution to journalArticlepeer-review

  42. E-pub ahead of print

    Convergence and Correctness of Belief Propagation for Weighted Min-Max Flow

    Dai, G., Guo, L., Gutin, G., Zhang, X. & Zhang, Z., 13 Jan 2022, (E-pub ahead of print) In: Discrete Applied Mathematics.

    Research output: Contribution to journalArticlepeer-review

  43. E-pub ahead of print

    Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

    Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45

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

  44. Forthcoming

    Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation

    Bagga, P., Paoletti, N. & Stathis, K., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  45. Forthcoming

    Heterogeneous Facility Location with Limited Resources

    Deligkas, A., Filos-Ratsikas, A. & Voudouris, A., 2022, (Accepted/In press) AAAI Conference on Artificial Intelligence, AAAI 2022.

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

  46. Published

    How to be FAIR with your data

    Shanahan, H., 2022, Göttingen: Göttingen University Press. 203 p.

    Research output: Book/ReportBook

  47. Published

    Machine Learning for Probabilistic Prediction

    Manokhin, V., 2022

    Research output: ThesisDoctoral Thesis

  48. Published

    Malware in Motion

    Choudhury, R., Luo, Z. & Nguyen, K., 2022, p. 595-602.

    Research output: Contribution to conferencePaperpeer-review

  49. Forthcoming

    Modern Type Theories: Their Development and Applications

    Luo, Z., 2022, (Accepted/In press) Tsinghua University Press.

    Research output: Book/ReportBook

  50. Published

    Parameterized Complexity of Hotelling-Downs with Party Nominees

    Deligkas, A., Eiben, E. & Goldsmith, T-L., 2022, International Joint Conference on Artificial Intelligence, IJCAI 2022. p. 244-250

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

  51. Forthcoming

    Pizza Sharing is PPA-hard

    Deligkas, A., Fearnley, J. & Melissourgos, T., 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  52. Published

    The Complexity of Envy-Free Graph Cutting

    Deligkas, A., Eiben, E., Ganian, R., Hamm, T. & Ordyniak, S., 2022, International Joint Conference on Artificial Intelligence, IJCAI 2022. p. 237-243

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

  53. 2021
  54. Forthcoming

    Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

    Imai, K., Lange, J. & Neykova, R., 24 Dec 2021, (Accepted/In press) In: Lecture Notes in Computer Science. TACAS 2022

    Research output: Contribution to journalConference articlepeer-review

  55. Published

    Game-theoretic Simulations with Cognitive Agents

    Shahid, N., O'Keeffe, D. & Stathis, K., 21 Dec 2021, The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI). IEEE Computer Society, 6 p.

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

  56. Published

    Personalized Tag Recommendation via Denoising Auto-Encoder

    Zhao, W., Shang, L., Yu, Y., Zhang, L., Wang, C. & Chen, J., 20 Dec 2021, In: World Wide Web - Internet and Web Information Systems. 20 p.

    Research output: Contribution to journalArticlepeer-review

  57. E-pub ahead of print

    The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems

    Lagerkvist, V. & Wahlström, M., 15 Dec 2021, (E-pub ahead of print) In: ACM Transactions on Computation Theory (TOCT). 14, 1, p. 1-54 54 p., 2.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Protein Function Prediction for newly sequenced organisms

    Torres, M., Yang, H., Romero, A. E. & Paccanaro, A., 9 Dec 2021, In: Nature Machine Intelligence.

    Research output: Contribution to journalArticlepeer-review

  59. Published

    Evolving Deep Architecture Generation with Residual Connections for Image Classification Using Particle Swarm Optimization

    Lawrence, T., Zhang, L., Rogage, K. & Lim, C. P., 28 Nov 2021, In: Sensors. 21, 23, 7936.

    Research output: Contribution to journalArticlepeer-review

  60. Forthcoming

    Quasipolynomial multicut-mimicking networks and kernels for multiway cut problems

    Wahlström, M., 16 Nov 2021, (Accepted/In press) In: ACM Transactions on Algorithms (TALG).

    Research output: Contribution to journalArticlepeer-review

  61. E-pub ahead of print

    Machine learning and network medicine approaches for drug repositioning for COVID-19

    de Siquiera Santos, S., Torres, M., Galeano Galeano, D., Sanchez, M. D. M., Cernuzzi, L. & Paccanaro, A., 9 Nov 2021, (E-pub ahead of print) In: Cell Patterns.

    Research output: Contribution to journalArticlepeer-review

  62. Published

    Detecting Depression from Speech through an Attentive LSTM Network

    Zhao, Y., Xie, Y., LIANG, R., Zhang, L., Zhao, L. & Liu, C., 1 Nov 2021, In: IEICE Transactions on Information and Systems. E104.D, 11, p. 2019-2023 5 p.

    Research output: Contribution to journalArticlepeer-review

  63. Published

    Connected Subgraph Defense Games

    Akrida, E., Deligkas, A., Melissourgos, T. & Spirakis, P. G., Nov 2021, In: Algorithmica. 83, p. 3403-3431 29 p.

    Research output: Contribution to journalArticlepeer-review

  64. Published

    Testing randomness online

    Vovk, V., Nov 2021, In: Statistical Science. 36, 4, p. 595-611 17 p.

    Research output: Contribution to journalArticlepeer-review

  65. E-pub ahead of print

    Constrained Hitting Set Problem with Intervals

    Acharyya, A., Keikha, V., Majumdar, D. & Pandit, S., 20 Oct 2021, (E-pub ahead of print) The 27th International Computing and Combinatorics Conference: COCOON 2021. Springer-Verlag, p. 604-616 13 p. (Lecture Notes in Computer Science).

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

  66. Published

    Role of miR-2392 in driving SARS-CoV-2 infection

    UNC COVID-19 Pathobiology Consortium, 19 Oct 2021, In: Cell Reports. 37, 3, 109839.

    Research output: Contribution to journalArticlepeer-review

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

  68. Published

    Progress toward a comprehensive teaching approach to the FAIR data principles

    Shanahan, H., 8 Oct 2021, In: Data Intelligence. 2, 10

    Research output: Contribution to journalArticlepeer-review

  69. Published

    Use of Artificial Intelligence in Regulatory Decision-Making

    Jago, R., van der Gaag, A., Stathis, K., Petej, I., Lertvittayakumjorn, P., Krishnamurthy, Y., Gao, Y., Caceres Silva, J., Webster, M., Gallagher, A. & Austin, Z., 1 Oct 2021, In: Journal of Nursing Regulation. 12, 3, p. 11-19 9 p.

    Research output: Contribution to journalArticlepeer-review

  70. E-pub ahead of print

    Many-visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 30 Sep 2021, (E-pub ahead of print) In: Journal of Computer and System Sciences.

    Research output: Contribution to journalArticlepeer-review

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

  72. 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 proceedingConference contribution

  73. Published

    Deep Recurrent Neural Networks with Attention Mechanisms for Respiratory Anomaly Classification

    Wall, C., Zhang, L., Yu, Y. & Mistry, K., 20 Sep 2021, 2021 International Joint Conference on Neural Networks (IJCNN). International Joint Conference on Neural Networks (IJCNN): IEEE

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

  74. Published

    Conformal Changepoint Detection in Continuous Model Situations

    Nouretdinov, I., Vovk, V. & Gammerman, A., 10 Sep 2021, 1 p. COPA 2021 : 10th Symposium on Conformal and Probabilistic Prediction with Applications.

    Research output: Other contribution

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

  76. 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 proceedingConference contribution

  77. Published

    Multi-Head Attention-Based Long Short-Term Memory for Depression Detection From Speech

    Zhao, Y., Liang, Z., Du, J., Zhang, L., Liu, C. & Zhao, L., 26 Aug 2021, In: Frontiers in Neurorobotics. 15, 684037.

    Research output: Contribution to journalArticlepeer-review

  78. Published

    Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis

    Crampton, J., Gutin, G. & Majumdar, D., 19 Aug 2021, In: ACM Transactions on Privacy and Security. 24, 3, p. 1-22 22 p., 21.

    Research output: Contribution to journalArticlepeer-review

  79. Published

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., 18 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science: LIPIcs (Leibniz International Proceedings in Informatics). Schloss Dagstuhl –Leibniz Center for Informatics, p. 1-13 13 p. 54

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

  80. Published

    Ransomclave: Ransomware Key Management using SGX

    Bhudia, A., O'Keeffe, D., Sgandurra, D. & Hurley-Smith, D., 17 Aug 2021, 10th International Workshop on Cyber Crime (IWCC 2021): In proceedings of the International Conference on Availability, Reliability and Security (ARES 2021). p. 1-10 10 p. 58

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

  81. Published

    E-values: Calibration, combination, and applications

    Vovk, V. & Wang, R., 9 Aug 2021, In: The Annals of Statistics. 49, 3, p. 1736-1754 19 p.

    Research output: Contribution to journalArticlepeer-review

  82. Published

    Supporting Complaints Investigation for Nursing and Midwifery Regulatory Agencies

    Lertvittayakumjorn, P., Petej, I., Gao, Y., Krishnamurthy, Y., van der Gaag, A., Jago, R. & Stathis, K., 6 Aug 2021, p. 81-91. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  83. Published

    Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty

    Bagga, P., Paoletti, N. & Stathis, K., 5 Aug 2021, FUZZ-IEEE 2021. IEEE Xplore

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

  84. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, In: IEEE Robotics and Automation Letters.

    Research output: Contribution to journalArticlepeer-review

  85. Published

    Informed Autonomous Exploration of Subterranean Environments

    Akbari, A. & Bernardini, S., 4 Aug 2021, IEEE Xplore IROS 2021 Proceedings. IEEE Xplore, Vol. 6. p. 7957-7964 8 p.

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

  86. E-pub ahead of print

    Kings in Multipartite Hypertournaments

    Ai, J., Gerke, S. & Gutin, G., 2 Aug 2021, (E-pub ahead of print) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  87. Published

    A Unifying Look at Sequence Submodularity

    Bernardini, S., Fagnani, F. & Piacentini, C., Aug 2021, In: Artificial Intelligence. 297, 103486.

    Research output: Contribution to journalArticlepeer-review

  88. Published

    The Parameterized Complexity of Connected Fair Division

    Deligkas, A., Eiben, E., Ganian, R., Hamm, T. & Ordyniak, S., Aug 2021, International Joint Conference on Artificial Intelligence: IJCAI 2021. p. 139-145 7 p.

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

  89. Published

    Collapsible Pushdown Parity Games

    Hague, M., Serre, O., Carayol, A., Ong, C-H. L., Murawski, A. & Broadbent, C., 22 Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1 51 p., 16.

    Research output: Contribution to journalArticlepeer-review

  90. Published

    Two's Company, Three's a Crowd: Consensus-Halving for a Constant Number of Agents

    Deligkas, A., Filos-Ratsikas, A. & Hollender, A., 18 Jul 2021, ACM Conference on Economics and Computation: EC '21. p. 347-368 22 p.

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

  91. E-pub ahead of print

    Checking Data-Race Freedom of GPU Kernels, Compositionally

    Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 15 Jul 2021, (E-pub ahead of print) International Conference on Computer-Aided Verification. Springer-Verlag, Vol. 12759.

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

  92. E-pub ahead of print

    Privacy Boundary Determination of Smart Meter Data Using an Artificial Intelligence Adversary

    Zhang, X., Watkins, C., Cheong Took, C. & Kuenzel, S., 14 Jul 2021, (E-pub ahead of print) In: International Transactions on Electrical Energy Systems.

    Research output: Contribution to journalArticlepeer-review

  93. 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 journalConference articlepeer-review

  94. E-pub ahead of print

    Near-linear-time, Optimal Vertex Cut Sparsifiers in Directed Acyclic Graphs

    He, Z., Li, J. & Wahlström, M., 3 Jul 2021, (E-pub ahead of print) Proceedings of ESA 2021. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 1-14 14 p. 52

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

  95. Published

    Ranking Bracelets in Polynomial Time

    Adamson, D., Gusev, V., Potapov, I. & Deligkas, A., 30 Jun 2021, Symposium on Combinatorial Pattern Matching: CPM 2021. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 191. p. 1-17 17 p.

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

  96. Published

    Strong Subgraph Connectivity of Digraphs: A Survey

    Sun, Y. & Gutin, G., 12 Jun 2021, In: Journal of Interconnection Networks. 21, 4, p. 2142004.1-2142004.16 16 p.

    Research output: Contribution to journalArticlepeer-review

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

  98. Published

    Neural predictive monitoring and a comparison of frequentist and Bayesian approaches

    Bortolussi, L., Cairoli, F., Paoletti, N., Smolka, S. A. & Stoller, S. D., 24 May 2021, In: International Journal on Software Tools for Technology Transfer.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    Intelligent human action recognition using an ensemble model of evolving deep networks with swarm-based optimization

    Zhang, L., Lim, C. P. & Yu, Y., 23 May 2021, In: Knowledge-Based Systems. 220, 106918.

    Research output: Contribution to journalArticlepeer-review

  100. 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 proceedingConference contribution

  101. Published

    vPlanSim: An Open Source Graphical Interface for the Visualisation and Simulation of AI Systems

    Roberts, J., Mastorakis, G., Lazaruk, B., 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. 486-490 5 p.

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

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

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