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

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

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

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

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

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

  8. Forthcoming

    Constrained Hitting Set Problem with Intervals

    Acharyya, A., Keikha, V., Majumdar, D. & Pandit, S., 15 Aug 2021, (Accepted/In press) The 27th International Computing and Combinatorics Conference: COCOON 2021. Springer-Verlag, (Lecture Notes in Computer Science).

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

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

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

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

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

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

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

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

  16. Forthcoming

    Kings in Multipartite Hypertournaments

    Ai, J., Gerke, S. & Gutin, G., 15 Jul 2021, (Accepted/In press) In: Journal of Graph Theory.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  21. Forthcoming

    Admissible ways of merging p-values under arbitrary dependence

    Vovk, V., Wang, B. & Wang, R., 15 Jun 2021, (Accepted/In press) In: The Annals of Statistics.

    Research output: Contribution to journalArticlepeer-review

  22. Published

    Strong Subgraph Connectivity of Digraphs: A Survey

    Sun, Y. & Gutin, G., 12 Jun 2021, In: Journal of Interconnection Networks.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

  27. Forthcoming

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

    Bagga, P., Paoletti, N. & Stathis, K., 7 May 2021, (Accepted/In press) FUZZ-IEEE 2021.

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

  28. Forthcoming

    Universal predictive systems

    Vovk, V., 5 May 2021, (Accepted/In press) In: Pattern Recognition.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  47. Unpublished
  48. Published

    Conformal testing in a binary model situation

    Vovk, V., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 131-150 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Published

    Retrain or not retrain: Conformal test martingales for change-point detection

    Vovk, V., Petej, I., Nouretdinov, I., Ahlberg, E., Carlsson, L. & Gammerman, A., 2021, Proceedings of Machine Learning Research. Carlsson, L., Luo, Z., Cherubin, G. & Nguyen, K. (eds.). Vol. 152. p. 191-210 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Published

    Transformer-based conformal predictors for paraphrase detection

    Giovannotti, P. & Gammerman, A., 2021, p. 243-265. 23 p.

    Research output: Contribution to conferencePaperpeer-review

  51. Forthcoming

    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., 2021, (Accepted/In press) In: Journal of Nursing Regulation. 12, 3

    Research output: Contribution to journalArticlepeer-review

  52. Forthcoming

    Valued Authorization Policy Existence Problem

    Crampton, J., Eiben, E., Gutin, G., Karapetyan, D. & Majumdar, D., 2021, (Accepted/In press) Proceedings of 26th ACM SACMAT.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  55. Published

    Component Order Connectivity in Directed Graphs

    Bang-Jensen, J., Eiben, E., Gutin, G., Wahlström, M. & Yeo, A., 4 Dec 2020, Proceedings of IPEC 2020, LIPIcs . Vol. 180. p. 2:1-2:16 16 p.

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

  56. Published

    Parameterized Complexity of Deletion to Scattered Graph Classes

    Jacob, A., Majumdar, D. & Raman, V., 4 Dec 2020, The 15th International Symposium on Parameterized and Exact Computation. LIPIcs, Vol. 180. p. 1-17 17 p. 18

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

  57. Published

    Randomized contractions meet lean decompositions

    Cygan, M., Komosa, P., Lokshtanov, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S. & Wahlström, M., Dec 2020, In: ACM Transactions on Algorithms (TALG). 17, 1, 30 p., 6.

    Research output: Contribution to journalArticlepeer-review

  58. Published

    Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search

    Kaznatcheev, A., Cohen, D. & Jeavons, P., 29 Nov 2020, In: Journal of Artificial Intelligence Research. 69, p. 1077-1102 26 p., 12156.

    Research output: Contribution to journalArticlepeer-review

  59. E-pub ahead of print

    Implementation Correctness for Replicated Data Types, Categorically

    Gadducci, F., Melgratti, H., Roldán, C. & Sammartino, M., 25 Nov 2020, (E-pub ahead of print) Theoretical Aspects of Computing – ICTAC 2020 - 17th International Colloquium, 2020, Proceedings. Pun, V. K., Stolz, V. & Simao, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 283-303 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12545 LNCS).

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

  60. Published

    The Design of Prometheus: A Reconfigurable UAV for Subterranean Mine Inspection

    Brown, L., Clarke, R., Akbari, A., Bhandari, U., Bernardini, S., Chhabra, P., Marjanovic, O., Richardson, T. & Watson, S., 18 Nov 2020, In: Robotics. 9 , 4, p. 1-21 21 p., 95.

    Research output: Contribution to journalArticlepeer-review

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

  62. Published

    An evolutionary model that satisfies detailed balance

    Lember, J. & Watkins, C., 9 Nov 2020, In: Methodology and Computing in Applied Probability. 37 p.

    Research output: Contribution to journalArticlepeer-review

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

  64. Published

    Towards a Polynomial Kernel for Directed Feedback Vertex Set

    Bergougnoux, B., Eiben, E., Ganian, R., Ordyniak, S. & Ramanujan, M. S., 4 Nov 2020, In: Algorithmica. 21 p.

    Research output: Contribution to journalArticlepeer-review

  65. Published

    k-Ary spanning trees contained in tournaments

    Ai, J., Lei, H., Shi, Y., Yao, S. & Zhang, Z. B., 15 Oct 2020, In: Discrete Applied Mathematics. 285, p. 141-146 6 p.

    Research output: Contribution to journalArticlepeer-review

  66. Forthcoming

    Testing randomness online

    Vovk, V., 15 Oct 2020, (Accepted/In press) In: Statistical Science.

    Research output: Contribution to journalArticlepeer-review

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

  68. E-pub ahead of print

    Successive shortest paths in complete graphs with random edge weights

    Gerke, S., Mezei, B. & Sorkin, G., 13 Oct 2020, (E-pub ahead of print) In: Random Structures and Algorithms. 57, 4, p. 1205-1247 43 p.

    Research output: Contribution to journalArticlepeer-review

  69. E-pub ahead of print

    A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

    Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.

    Research output: Contribution to conferencePaperpeer-review

  70. Published

    Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

    Shmarov, F., Soudjani, S., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A. & Zuliani, P., 2 Oct 2020, In: IEEE Access. 8, p. 180825-180843 19 p., 3028476.

    Research output: Contribution to journalArticlepeer-review

  71. Published

    Target Search on Road Networks with Range-Constrained UAVs and Ground-Based Mobile Recharging Vehicles

    Booth, K. & Bernardini, S., Oct 2020, International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, p. 6702-6709 8 p. 3038

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

  72. Published

    Prediction with Expert Advice for Value at Risk

    Dzhamtyrova, R. & Kalnishkan, Y., 28 Sep 2020, Proceedings of The 2020 International Joint Conference on Neural Networks (IJCNN 2020). IEEE, 8 p.

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

  73. Published
  74. Published

    Evaluation and Extension of Inductive Venn-Abers Predictive Distribution

    Nouretdinov, I., Gammerman, J. & Rehal, D., 11 Sep 2020, 1 p. Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications.

    Research output: Other contribution

  75. Published

    Predicting the Frequencies of Drug Side effects

    Galeano, D., Li, S., Gerstein, M. & Paccanaro, A., 11 Sep 2020, In: Nature Communications. 11, p. 1-14 14 p., 4575.

    Research output: Contribution to journalArticlepeer-review

  76. E-pub ahead of print

    Epidemic contact tracing with smartphone sensors

    Nguyen, D. K. A., Luo, Z. & Watkins, C., 1 Sep 2020, (E-pub ahead of print) In: Journal of Location Based Services. 37 p.

    Research output: Contribution to journalArticlepeer-review

  77. Published

    An Optimization Approach to Robust Goal Obfuscation

    Bernardini, S., Fagnani, F. & Franco, S., Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoningg. International Joint Conferences on Artificial Intelligence, p. 119-129 11 p.

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

  78. Published

    Conformal calibration

    Vovk, V., Petej, I., Toccaceli, P., Gammerman, A., Ahlberg, E. & Carlsson, L., Sep 2020, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Cherubin, G. (eds.). Vol. 128. p. 84-99 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  79. Published

    Practical investment with the long-short game

    Al-Baghdadi, N., Lindsay, D., Kalnishkan, Y. & Lindsay, S., Sep 2020, Conformal and Probabilistic Prediction and Applications: COPA 2020. Proceedings of Machine Learning Research, Vol. 128. p. 209-228 20 p. (Proceedings of Machine Learning Research ).

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

  80. Published

    Reasoning about plan robustness versus plan cost for partially informed agents

    Keren, S., Bernardini, S., Kwapong, K. & Parkes, D. C., Sep 2020, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence, p. 550-559 10 p. 64

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

  81. Published

    Training conformal predictors

    Colombo, N. & Vovk, V., Sep 2020, Proceedings of Machine Learning Research. Gammerman, A., Vovk, V., Luo, Z., Smirnov, E. & Cherubin, G. (eds.). Vol. 128. p. 55-64 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. E-pub ahead of print

    Approximation algorithms for general cluster routing problem

    Zhang, X., Du, D., Gutin, G., Ming, Q. & Sun, J., 27 Aug 2020, (E-pub ahead of print) Computing and Combinatorics : 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings. Kim, D., Uma, R. N., Cai, Z. & Lee, D. H. (eds.). Springer, p. 472-483 12 p. (Lecture Notes in Computer Science; vol. 12273).

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

  83. E-pub ahead of print

    Uniqueness of DP-Nash Subgraphs and D-sets in Weighted Graphs of Netflix Games

    Gutin, G., Neary, P. & Yeo, A., 27 Aug 2020, (E-pub ahead of print) p. 360-371. 12 p.

    Research output: Contribution to conferencePaperpeer-review

  84. Published

    A polynomial kernel for line graph deletion

    Eiben, E. & Lochet, W., 26 Aug 2020, 28th Annual European Symposium on Algorithms, ESA 2020. Grandoni, F., Herman, G. & Sanders, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 42. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 173).

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

  85. Published

    Many visits TSP revisited

    Kowalik, L., Li, S., Nadara, W., Smulewicz, M. & Wahlström, M., 26 Aug 2020, ESA 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 173. p. 1-22 22 p. 66

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

  86. Published

    Residual Nominal Automata

    Moerman, J. & Sammartino, M., 26 Aug 2020, LIPCs. Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 2017. p. 44:1-44:21 21 p. 44

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

  87. Published

    Conformal anomaly detection for visual reconstruction using gestalt principles

    Nouretdinov, I., Balinsky, A. & Gammerman, A., 21 Aug 2020, Proceedings of the Ninth Symposium on Conformal and Probabilistic Prediction and Applications. Vol. 128. p. 151-170 20 p.

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

  88. Published

    Learning automata with side-effects

    van Heerdt, G., Sammartino, M. & Silva, A., 21 Aug 2020, Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Proceedings. Petrisan, D. & Rot, J. (eds.). Springer, p. 68-89 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12094 LNCS).

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

  89. Published

    A polynomial kernel for 3-leaf power deletion

    Ahn, J., Eiben, E., Kwon, O. J. & Oum, S. I., 18 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020. Esparza, J., Kral�, D. & Kral�, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-14 14 p. MFCS-2020-5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 170).

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

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

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

  92. E-pub ahead of print

    Target Search on Road Networks with Range-Constrained UAVs and Ground-based Mobile Recharging Vehicles

    Booth, K., Piacentini, C., Bernardini, S. & Beck, C., 11 Aug 2020, (E-pub ahead of print) In: IEEE Robotics and Automation Letters. 8 p.

    Research output: Contribution to journalArticlepeer-review

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

  94. Published

    Non-well-founded Proof Theory of Transitive Closure Logic

    Cohen, L. & Rowe, R., Aug 2020, In: ACM Transactions on Computational Logic. 21, 4, p. 1-31 31 p., 31.

    Research output: Contribution to journalArticlepeer-review

  95. Published

    Computationally efficient versions of conformal predictive distributions

    Vovk, V., Petej, I., Nouretdinov, I., Manokhin, V. & Gammerman, A., 15 Jul 2020, In: Neurocomputing. 397, p. 292-308 17 p.

    Research output: Contribution to journalArticlepeer-review

  96. Published

    Universal algorithms for multinomial logistic regression under Kullback-Leibler game

    Dzhamtyrova, R. & Kalnishkan, Y., 15 Jul 2020, In: Neurocomputing. 397, p. 369-380 12 p.

    Research output: Contribution to journalArticlepeer-review

  97. Published

    What is semantic diversity and why does it facilitate visual word recognition?

    Cevoli, B., Watkins, C. & Rastle, K., 14 Jul 2020, In: Behavior Research Methods. p. 1-17 17 p.

    Research output: Contribution to journalArticlepeer-review

  98. Published

    Silent speech decoding using spectrogram features based on neuromuscular activities

    Wang, Y., Zhang, M., Wu, R., Gao, H., Yang, M., Luo, Z. & Li, G., 11 Jul 2020, In: Brain Sciences. 10, 7, p. 1-14 14 p., 442.

    Research output: Contribution to journalArticlepeer-review

  99. Published

    An electronic nose-based assistive diagnostic prototype for lung cancer detection with conformal prediction

    Zhan, X., Wang, Z., Yang, M., Luo, Z., Wang, Y. & Li, G., 1 Jul 2020, In: Measurement. 158, p. 1-10 10 p., 107588.

    Research output: Contribution to journalArticlepeer-review

  100. Forthcoming

    Intelligent Exploration and Autonomous Navigation in Confined Spaces

    Akbari, A. & Bernardini, S., 1 Jul 2020, (Accepted/In press) International Conference on Intelligent Robots and Systems (IROS): 2020 IEEE/RSJ. IEEE Xplore, p. 2157-2164 8 p. 1209

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

  101. Published

    A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

    Bagga, P., Paoletti, N., Alrayes, B. & Stathis, K., Jul 2020, p. 297-303. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  102. Published

    On Generating Efficient Data Summaries for Logistic Regression: A Coreset-based Approach

    Riquelme Granada, N., Nguyen, D. K. A. & Luo, Z., Jul 2020, 9th International Conference on Data Science, Technology and Applications (DATA 2020). Vol. 1. p. 78-89 12 p.

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

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