1. 2022
  2. 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

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

  7. E-pub ahead of print

    Directed Flow-Augmentation

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

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

  8. Forthcoming

    Generalized Noise Role Mining

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., Apr 2022, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

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

  10. Forthcoming

    Perfect Forests in Graphs and Their Extensions

    Gutin, G. & Yeo, A., Apr 2022, (Accepted/In press) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

  11. E-pub ahead of print

    Optimizing Reachability Sets in Temporal Graphs by Delaying

    Deligkas, A. & Potapov, I., 14 Mar 2022, (E-pub ahead of print) In: Information and Computation. 104890.

    Research output: Contribution to journalArticlepeer-review

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

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

  14. E-pub ahead of print

    Universal predictive systems

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

  18. E-pub ahead of print

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

    Kalnishkan, Y., 25 Jan 2022, (E-pub ahead of print) In: Pattern Recognition. 108557.

    Research output: Contribution to journalArticlepeer-review

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

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

  21. Forthcoming

    Iterative Message Passing Algorithm for Vertex-disjoint Shortest Paths

    Dai, G., Gutin, G., Zhang, X. & Zhang, Z., 18 Jan 2022, (Accepted/In press) In: IEEE Transactions on Information Theory.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  25. Published

    Malware in Motion

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

    Research output: Contribution to conferencePaperpeer-review

  26. Forthcoming

    Pizza Sharing is PPA-hard

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

    Research output: Contribution to conferencePaperpeer-review

  27. 2021
  28. Forthcoming

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

    Dai, G., Guo, L., Gutin, G., Zhang, X. & Zhang, Z., 27 Dec 2021, (Accepted/In press) In: Discrete Applied Mathematics.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

  38. Published

    Testing randomness online

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

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

  48. Forthcoming

    Game-theoretic Simulations with Cognitive Agents

    Shahid, N., O'Keeffe, D. & Stathis, K., 11 Sep 2021, (Accepted/In press) 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  77. Published
  78. Published

    Computing exact solutions of consensus halving and the Borsuk-Ulam theorem

    Deligkas, A., Fearnley, J., Melissourgos, T. & Spirakis, P. G., May 2021, In: Journal of Computer and System Sciences. 117, p. 75-98 24 p.

    Research output: Contribution to journalArticlepeer-review

  79. Published

    Valued Authorization Policy Existence Problem

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., May 2021, Proceedings of 26th ACM SACMAT. p. 83-94

    Research output: Chapter in Book/Report/Conference proceedingChapter

  80. Published

    Walrasian Equilibria in Markets with Small Demands

    Deligkas, A., Melissourgos, T. & Spirakis, P. G., May 2021, International Conference on Autonomous Agents and Multiagent Systems: AAMAS '21. p. 413-419 7 p.

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

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

  82. Published

    Spons & Shields: practical isolation for trusted execution

    Sartakov, V. A., O'Keeffe, D., Eyers, D. M., Vilanova, L. & Pietzuch, P. R., 16 Apr 2021, VEE 2021: Proceedings of the 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments. ACM, p. 186-200 15 p.

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

  83. E-pub ahead of print

    Modeling and dynamic analysis of spiral bevel gear coupled system of intermediate and tail gearboxes in a helicopter

    Zhu, H., Chen, W., Zhu, R., Zhang, L., Fu, B. & Lu, X., 13 Apr 2021, (E-pub ahead of print) In: Proceedings of the Institution of Mechanical Engineers, Part C: Journal of Mechanical Engineering Science.

    Research output: Contribution to journalArticlepeer-review

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

  85. E-pub ahead of print

    Parameterized Pre-coloring Extension and List Coloring Problems

    Gutin, G., Majumdar, D., Ordyniak, S. & Wahlström, M., 29 Mar 2021, (E-pub ahead of print) In: SIAM Journal on Discrete Mathematics. 35, 1, p. 575-596 22 p.

    Research output: Contribution to journalArticlepeer-review

  86. Published

    Strong subgraph connectivity of digraphs

    Sun, Y. & Gutin, G., 18 Mar 2021, In: Graphs and Combinatorics. 37, p. 951-970 20 p.

    Research output: Contribution to journalArticlepeer-review

  87. E-pub ahead of print

    Speech neuromuscular decoding based on spectrogram images using conformal predictors with Bi-LSTM

    Wang, Y., Zhang, M., Wu, R., Wang, H., Luo, Z. & Li, G., 16 Mar 2021, (E-pub ahead of print) In: Neurocomputing. 451, p. 25-34

    Research output: Contribution to journalArticlepeer-review

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

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

  90. Published

    The Effect of Social Distancing on the Reach of an Epidemic in Social Network

    Gutin, G., Hirano, T., Hwang, S-H., Neary, P. & Toda, A. A., 3 Mar 2021, In: Journal of Economic Interaction and Coordination.

    Research output: Contribution to journalArticlepeer-review

  91. Published

    Proximity and Remoteness in Directed and Undirected Graphs

    Ai, J., Gerke, S., Gutin, G. & Mafunda, S., Mar 2021, In: Discrete Mathematics. 344, 3, 112252.

    Research output: Contribution to journalArticlepeer-review

  92. Published

    The Project Strategy Matrix: Systematizing the Design and Management of an Explicit Project Strategy

    Koutsoukos, G., Feb 2021, In: IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT. 68, 1, p. 249-264 16 p., 8809922.

    Research output: Contribution to journalReview articlepeer-review

  93. Published

    Particle Swarm Optimization for Automatically Evolving Convolutional Neural Networks for Image Classification

    Lawrence, T., Zhang, L., Lim, C. P. & Phillips, E-J., 18 Jan 2021, In: IEEE Access. 9, p. 14369-14386 18 p.

    Research output: Contribution to journalArticlepeer-review

  94. Published

    Parameterized Complexity of Conflict-Free Set Cover

    Jacob, A., Majumdar, D. & Raman, V., 12 Jan 2021, In: Theory of Computing Systems. 26 p.

    Research output: Contribution to journalArticlepeer-review

  95. Published

    Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

    Part, F. & Tzameret, I., 8 Jan 2021, In: Computational Complexity. 30, 1, 2.

    Research output: Contribution to journalArticlepeer-review

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

  97. Published

    Over-fitting suppression training strategies for deep learning-based atrial fibrillation detection

    Zhang, X., Li, J., Cai, Z., Zhang, L., Chen, Z. & Liu, C., 2 Jan 2021, In: Medical & Biological Engineering & Computing. 59, p. 165–173 9 p.

    Research output: Contribution to journalArticlepeer-review

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

  99. Published

    r-Simple k-Path and Related Problems Parameterized by k/r

    Gutin, G., Wahlström, M. & Zehavi, M., Jan 2021, In: ACM Transactions on Algorithms (TALG). 17, 1, p. 1-64 64 p., 10.

    Research output: Contribution to journalArticlepeer-review

  100. Published

    Solving hard cut problems via flow-augmentation

    Kim, E. J., Kratsch, S., Pilipczuk, M. & Wahlström, M., Jan 2021, Proceedings of SODA 2021. 20 p.

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

  101. Published

    Uniform, Integral, and Feasible Proofs for the Determinant Identities

    Tzameret, I. & Cook, S., Jan 2021, In: Journal of the ACM. 68, 2, 80 p., 12.

    Research output: Contribution to journalArticlepeer-review

  102. Published

    Collapsible Pushdown Parity Games

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

    Research output: Contribution to journalArticlepeer-review

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