Home > Research > Publications & Outputs
  1. Conference contribution/Paper
  2. Published

    Comparing Pre-Training Schemes for Luxembourgish BERT Models

    Lothritz, C., Ezzini, S., Purschke, C., Bissyande, T. F. D. A., Klein, J., Olariu, I., Boytsov, A., Lefebvre, C. & Goujon, A., 22/09/2023, Proceedings of the 19th Conference on Natural Language Processing (KONVENS 2023). Association for Computational Linguistics (ACL Anthology)

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  3. Forthcoming

    Information-guided Planning: An Online Approach for Partially Observable Problems

    do Carmo Alves, M. A., Varma, A., Elkhatib, Y. & Soriano Marcolino, L., 21/09/2023, (Accepted/In press) Thirty-seventh Conference on Neural Information Processing Systems.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  4. Published

    Building and Restructuring Social Media Platforms for Non-Binary Users: Pilot Survey of Non-Binary Social Media Users

    O'Reilly-Kime, M., 19/09/2023, ECCE '23: Proceedings of the European Conference on Cognitive Ergonomics 2023. New York: ACM, p. 11:1-11:3 3 p. 28

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Forthcoming

    Fuzzy Detectors Against Adversarial Attacks

    Li, Y., Angelov, P. & Suri, N., 15/09/2023, (Accepted/In press) IEEE Symposium Series on Computational Intelligence. Mexico, 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    In the Quest to Protect Users from Side-Channel Attacks - A User-Centred Design Space to Mitigate Thermal Attacks on Public Payment Terminals.

    Marky, K., Macdonald, S. A., Abdrabou, Y. & Khamis, M., 11/09/2023, 32nd USENIX Security Symposium, USENIX Security 2023. USENIX Association, p. 5235-5252 18 p. (32nd USENIX Security Symposium, USENIX Security 2023; vol. 7).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  7. Published

    Novel mmWave Wireless Power Transfer Systems Using Broadband Circularly Polarized Rectennas and Leaky Wave Transmitters

    Song, C., Wang, L., Wagih, M., Poveda-Garcìa, M. & Huang, Y., 7/09/2023, 2023 IEEE International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting (USNC-URSI). IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Letz Translate: Low-Resource Machine Translation for Luxembourgish

    Song, Y., Ezzini, S., Klein, J., Bissyande, T., Lefebvre, C. & Goujon, A., 6/09/2023, 2023 5th International Conference on Natural Language Processing. IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    Ditto: Towards Decentralised Similarity Search for Web3 Services

    Keizer, N., Ascigil, O., Król, M. & Pavlou, G., 6/09/2023, 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). IEEE, p. 66-75 10 p. (2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  10. Published

    Comparison of User Intent for Mixed Reality and Augmented Reality in Hedonistic Shopping Experiences

    Jin, L., 5/09/2023, Extended Reality - International Conference, XR Salento 2023, Proceedings. De Paolis, L. T., Arpaia, P. & Sacco, M. (eds.). Cham: Springer Nature, p. 437-455 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14218 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  11. Published

    How Unique do we Move? Understanding the Human Body and Context Factors for User Identification

    Abdrabou, Y., Mecke, L., Rivu, R., Prange, S., Nguyen, Q. D., Voigt, V., Alt, F. & Pfeuffer, K., 3/09/2023, Proceedings of Mensch und Computer 2023. Stolze, M., Loch, F., Baldauf, M., Alt, F., Schneegass, C., Kosch, T., Hirzle, T., Sadeghian, S., Draxler, F., Bektas, K., Lohan, K. & Knierim, P. (eds.). New York: ACM, p. 127-137 11 p. (Mensch und Computer 2023).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  12. Published

    Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

    Nalon, C., Hustadt, U., Papacchini, F. & Dixon, C., 2/09/2023, Automated Deduction – CADE 29 . Pientka, B. & Tinelli, C. (eds.). Cham: Springer, p. 382-400 19 p. (Lecture Notes in Computer Science; vol. 14132).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  13. Published

    FinAraT5: A text to text model for financial Arabic text understanding and generation

    Zmandar, N., El-Haj, M. & Rayson, P., 1/09/2023, Proceedings of the 4th Conference on Language, Data and Knowledge. Carvalho, S., Khan, A. F., Anić, A. O., Spahiu, B., Gracia, J., McCrae, J. P., Gromann, D., Heinisch, B. & Salgado, A. (eds.). Vienna, Austria: NOVA CLUNL, Portugal, p. 262-273 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  14. Published

    Digital Twin-Enhanced Incident Response for Cyber-Physical Systems

    Allison, D., Smith, P. & McLaughlin, K., 29/08/2023, ARES 2023 - 18th International Conference on Availability, Reliability and Security, Proceedings. New York: Association for Computing Machinery (ACM), p. 28:1-28:10 10 p. 28. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  15. Published

    Investigation of the Communication Channel of OAM Waves Through an Annular Aperture

    Zhang, T., Goussetis, G. & Wang, L., 29/08/2023, 2023 IEEE MTT-S International Wireless Symposium (IWS). IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  16. Published

    Investigating Relationship Conflict within the Social Network of Large IS Projects using a SIR Model

    Tang, Y. & Williams, R., 28/08/2023, 2022 IEEE International Symposium on Technology and Society (ISTAS). IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  17. Published

    Entropic Risk for Turn-Based Stochastic Games.

    Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 28/08/2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  18. Published

    Spatio-Textual Regions: Extracting Sense of Place from Spatial Narratives

    Steiner, E., Frank, Z., Gregory, I., Bodenhamer, D. & Ezeani, I., 26/08/2023, PLATIAL’23: International Symposium on Platial Information Science 19–21 September 2023 / Dortmund, Germany. p. 15-22 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  19. Published

    Playful, Curious, Creative, Equitable: Exploring Opportunities for AI Technologies with Older Adults

    Soubutts, E., Singh, A., Knowles, B., Ayobi, A., Dias, N. V., Schulte, B., McDowell, J., Swarbrick, C., Steptoe, A., Fledderjohann, J., Petrie, H., Harper, R. & Rogers, Y., 26/08/2023, Human-Computer Interaction – INTERACT 2023 - 19th IFIP TC13 International Conference, Proceedings. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Cham: Springer, p. 662-667 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14145 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  20. Published

    Exploring Eye Expressions for Enhancing EOG-Based Interaction

    Newn, J., Quesada, S., Hou, B. J., Khan, A. A., Weidner, F. & Gellersen, H., 26/08/2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part IV. Abdelnour Nocera, J., Lárusdóttir, M. K., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Cham: Springer, p. 68-79 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  21. Forthcoming

    Scale-Invariant Reinforcement Learning in Real-Time Strategy Games

    Harry Diniz Lemos, M. L., Vieira, R. E. S., Rocha Tavares, A., Soriano Marcolino, L. & Chaimowicz, L., 25/08/2023, (Accepted/In press) Proceedings of SBGames 2023.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  22. Published

    User-Centric Democratization towards Social Value Aligned Medical AI Services

    Zhang, Z. & Jiang, R., 19/08/2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 6326-6334 9 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  23. Forthcoming

    Greater Than The Sum Of Its Parts: Exploring a systemic design inspired responsible innovation framework for addressing ICT carbon emissions

    Smith, M. T., Knowles, B., Widdicks, K., Blair, G., Samuel, G., Jirotka, M., Lucivero, F., Ten Holter, C. & Somavilla, L., 16/08/2023, (Accepted/In press) Proceedings of Relating Systems Thinking and Design, RSD12. Tønsberg, Norway: Systemic Design Association, 22 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  24. Published

    Dynamic tongue movements in L1 Japanese and L2 English liquids

    Nagamine, T., 11/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences, Prague 2023. Skarnitzl, R. & Volin, J. (eds.). Guarant International, 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  25. Published

    Language specificity vs speaker variability of anticipatory labial coarticulation in German and English

    Lo, J. J. H., Carignan, C., Pouplier, M., Alderton, R., Rodriquez, F., Evans, B. G. & Reinisch, E., 11/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences. Skarnitzl, R. & Volín, J. (eds.). Guarant International, 314. (Proceedings of the 20th International Congress of Phonetic Sciences, Prague 2023).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  26. Published

    Being North Korean in Koreatown: The role of identity & experience in accommodation in the London North Korean community

    Evans, B. G., Shin, R. & Lo, J. J. H., 11/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences. Skarnitzl, R. & Volín, J. (eds.). Guarant International, 148. (Proceedings of the 20th International Congress of Phonetic Sciences, Prague 2023).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  27. Published

    The window of opportunity: Anticipatory nasal coarticulation in three languages

    Pouplier, M., Rodriquez, F., Alderton, R., Lo, J. J. H., Reinisch, E., Evans, B. G. & Carignan, C., 11/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences. Skarnitzl, R. & Volín, J. (eds.). Guarant International, 159. (Proceedings of the 20th International Congress of Phonetic Sciences, Prague 2023).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  28. Published

    What French speakers' nasal vowels tell us about anticipatory nasal coarticulation

    Rodriquez, F., Pouplier, M., Alderton, R., Lo, J. J. H., Evans, B. G., Reinisch, E. & Carignan, C., 11/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences. Skarnitzl, R. & Volín, J. (eds.). Guarant International, 1049. (Proceedings of the 20th International Congress of Phonetic Sciences, Prague 2023).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  29. Published

    Changes in fundamental frequency and F1 across chronological age

    Parkman, S., 11/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences. Skarnitzl, R. & Volín, J. (eds.). Guarant International, p. 3552-3556 5 p. (Proceedings of the 20th International Congress of Phonetic Sciences, Prague 2023).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  30. Published

    Reviewing the performance of formants for Forensic Voice Comparison: a meta-analysis of forensic speech science research

    Fairclough, L., Brown, G. & Kirchhuebel, C., 11/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences. Skarnitzl, R. & Volín, J. (eds.). Guarant International, p. 3834-3838 5 p. (Proceedings of the 20th International Congress of Phonetic Sciences, Prague 2023).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  31. Published

    Co-registration of simultaneous high-speed ultrasound and electromagnetic articulography for speech production research

    Kirkham, S., Strycharczuk, P., Gorman, E., Nagamine, T. & Wrench, A., 7/08/2023, Proceedings of the 20th International Congress of Phonetic Sciences. Skarnitzl, R. & Volin, J. (eds.). Guarant International, p. 3597-3601 5 p. 145

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  32. Published

    Acoustic and articulatory characteristics of rhoticity in the North-West of England

    Nance, C., Wang, D., Kirkham, S., Nagamine, T., Fairclough, L., Dewhurst, M., Turton, D. & Forster, P., 6/08/2023, Proceedings of the 20th International Congress of the Phonetic Sciences. Skarnitzl, R. & Volin, J. (eds.). Guarant International, p. 3572-3576 5 p. 217

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  33. E-pub ahead of print

    Interdisciplinary Research Projects: Six Lessons from a Family Business-Industry 4.0 Project

    Mismetti, M., Appleton, S., Rondi, E., Orzes, G., De Massis, A. & Matt, D., 4/08/2023, (E-pub ahead of print) ISIEA 2023: Towards a Smart, Resilient and Sustainable Industry . Springer, p. 274-285 12 p. (Smart Technologies in Urban Engineering).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  34. Published

    Dehydration analysis of poly-ethylene glycol hydrogels with terahertz imaging

    Baines, D., Bassu, G., Wright, K., Douglas, T., Degl'Innocenti, R., Laurati, M. & Lin, H., 3/08/2023, Technical Digest Series: Optica Sensing Congress 2023 (AIS, FTS, HISE, Sensors, ES). Optica Publishing Group, paper JW2A.3

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  35. Published

    Domain Generalization and Feature Fusion for Cross-domain Imperceptible Adversarial Attack Detection

    Li, Y., Angelov, P. & Suri, N., 2/08/2023, 2023 International Joint Conference on Neural Networks (IJCNN). Gold Coast, Australia: IEEE, 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  36. Published

    Water Pressure Optimisation for Leakage Management Using Q Learning

    Negm, A., Ma, X. & Aggidis, G., 2/08/2023, Proceedings - 2023 IEEE Conference on Artificial Intelligence, CAI 2023. IEEE, p. 270-271 2 p. (2023 IEEE Conference on Artificial Intelligence (CAI)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  37. Published

    To me, to you: Towards Secure PLC Programming through a Community-Driven Open-Source Initiative

    Derbyshire, R., Maesschalck, S., Staves, A., Green, B. & Hutchison, D., 31/07/2023, IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE, p. 358-362 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  38. Forthcoming

    Review of AI-Based Mental Health Apps

    Alotaibi, A. & Sas, C., 27/07/2023, (Accepted/In press) 36th International BCS Human-Computer Interaction Conference. 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  39. Forthcoming

    Patterns of Meaningful and Meaningless Smartphone Use: A Diary Study

    Almoallim, S. & Sas, C., 27/07/2023, (Accepted/In press) 36th International BCS Human-Computer Interaction Conference.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  40. Forthcoming

    Evaluation of Mindfulness Eating Apps

    Guluzade, L. & Sas, C., 27/07/2023, (Accepted/In press) 36th International BCS Human-Computer Interaction Conference. p. 1 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  41. Forthcoming

    Reflexivity, Interactions and Intersectionality in HCI and CSCW

    Ashcroft, A., 27/07/2023, (Accepted/In press) 36th International BCS Human-Computer Interaction Conference .

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  42. Published

    Improving Indoor Positioning Accuracy Using RIS-based RSS Optimization

    Bazin, S. & Navaie, K., 26/07/2023, EuCNC/6G Summit. Institute of Electrical and Electronics Engineers Inc., p. 663-668 6 p. (2023 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit)).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  43. Forthcoming

    Evaluating Budgeting Apps: Limited Support for Budgeting Compared to Tracking

    Alenazi, M. & Sas, C., 26/07/2023, (Accepted/In press) 36th International BCS Human-Computer Interaction Conference.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  44. Published

    Scalable Content-centric Routing for Hybrid ICN

    Rene, S., Pavlou, G. & Ascigil, O., 25/07/2023, 2023 IEEE 29th International Symposium on Local and Metropolitan Area Networks, LANMAN 2023. p. 1-6 6 p. (IEEE Workshop on Local and Metropolitan Area Networks; vol. 2023-July).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  45. Published

    Understanding Online Customer Touchpoints: A Deep Learning Approach to Enhancing Customer Experience in Digital Retail

    Yilin, Z., Fayoumi, A. & Shahgholian, A., 24/07/2023, The 9th International Conference on Information Technology Trends (ITT 2023) . IEEE

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  46. Published

    Learning to Walk: Towards Assessing the Maturity of OT Security Control Standards and Guidelines

    Staves, A., Maesschalck, S., Derbyshire, R., Green, B. & Hutchison, D., 24/07/2023, 2023 IFIP Networking Conference (IFIP Networking). IEEE, p. 1-6 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  47. Published

    The Use of SMS and Other Mobile Phone-based Messaging to Support Education at Scale: A Synthesis of Recent Evidence

    Jordan, K., Damani, K., Myers, C. & Zhao, A., 20/07/2023, L@S '23: Proceedings of the Tenth ACM Conference on Learning @ Scale. Association for Computing Machinery, Inc, p. 282-286 5 p. (L@S 2023 - Proceedings of the 10th ACM Conference on Learning @ Scale).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  48. Published

    Guessing Winning Policies in LTL Synthesis by Semantic Learning.

    Kretínský, J., Meggendorfer, T., Prokop, M. & Rieder, S., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 390-414 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  49. Published

    MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

    Akshay, S., Chatterjee, K., Meggendorfer, T. & Žikelić, Đ., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). p. 86-112 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  50. Forthcoming

    Robust Federated Learning Method against Data and Model Poisoning Attacks with Heterogeneous Data Distribution

    Alharbi, E., Soriano Marcolino, L., Gouglidis, A. & Ni, Q., 15/07/2023, (Accepted/In press) 26th European Conference on Artificial Intelligence ECAI 2023- IOS Press. 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  51. Published

    Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

    Kretínský, J., Meggendorfer, T. & Weininger, M., 14/07/2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. IEEE, p. 1-14 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Back to top