Computer And Information Sciences

  • Postal address

    United Kingdom

Filter
Conference contribution book

Search results

  • 2023

    An impact and risk assessment framework for national electronic identity (eID) systems

    Edu, J., Hooper, M., Maple, C. & Crowcroft, J., 21 Nov 2023, International Conference on AI and the Digital Economy (CADE 2023). Stevenage, p. 124-133 10 p.

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

    Open Access
    File
    2 Downloads (Pure)
  • Exploring the risks and challenges of national electronic identity (NeID) system

    Edu, J., Hooper, M., Maple, C. & Crowcroft, J., 21 Nov 2023, International Conference on AI and the Digital Economy (CADE 2023). Stevenage, p. 118-123 6 p.

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

    Open Access
    File
    3 Downloads (Pure)
  • Misinformation in third-party voice applications

    Bispham, M., Sattar, S. K., Zard, C., Ferrer-Aran, X., Edu, J., Suarez-Tangil, G. & Such, J., 19 Jul 2023, CUI '23: Proceedings of the 5th International Conference on Conversational User Interfaces. Lee, M. & Munteanu, C. (eds.). New York, NY., 6 p. 53

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

    Open Access
    File
    1 Citation (Scopus)
    40 Downloads (Pure)
  • Podify: a podcast streaming platform with automatic logging of user behaviour for academic research

    Meggetto, F. & Moshfeghi, Y., 18 Jul 2023, SIGIR 2023 - Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, NY, p. 3215-3219 5 p.

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

    Open Access
    File
    14 Downloads (Pure)
  • Making concurrency functional

    Winskel, G., 14 Jul 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Proceedings. Walukiewicz, I. (ed.). Piscataway, NJ: IEEE, p. 1-14 14 p.

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

    Open Access
    File
    11 Downloads (Pure)
  • Conducting multi-institutional studies of Parsons problems

    Ericson, B. J., Pearce, J. L., Rodger, S. H., Csizmadia, A., Garcia, R., Gutierrez, F. J., Liaskos, K., Padiyath, A., Scott, M. J., Smith, D. H., Warriem, J. & Bernuy, A. Z., 10 Jul 2023, ITiCSE 2023 : Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2. New York, NY., p. 571-572 2 p.

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

    Open Access
    File
    12 Downloads (Pure)
  • Investigating mobile instant messaging phishing: a study into user awareness and preventive measures

    Ahmad, R., Terzis, S. & Renaud, K., 9 Jul 2023, HCI for Cybersecurity, Privacy and Trust: 5th International Conference on HCI for Cybersecurity, Privacy and Trust. Moallem, A. (ed.). Cham, Switzerland: Springer, p. 381-398 18 p.

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

  • Wiring circuits is easy as {0,1,w}, or is it...

    de Muijnck-Hughes, J. & Vanderbauwhede, W., 8 Jul 2023, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Ali, K. & Salvaneschi, G. (eds.). Wadern, Germany, 28 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 263).

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

    Open Access
    File
    3 Downloads (Pure)
  • TRAIT: a trusted media distribution framework

    Rainey, J., Elawady, M., Abhayartne, C. & Bhowmik, D., 5 Jul 2023, 2023 24th International Conference on Digital Signal Processing (DSP). Piscataway, N.J.: IEEE, 5 p.

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

    Open Access
    File
    4 Downloads (Pure)
  • Tips for effective blended learning for computer science education

    Goodfellow, M. & Liaskos, K., 29 Jun 2023, ITiCSE 2023 - Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. New York, NY., p. 589-590 2 p.

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

    Open Access
    File
    11 Downloads (Pure)
  • Content analysis of persuasion principles in mobile instant message phishing

    Ahmad, R., Terzis, S. & Renaud, K., 26 May 2023, (Accepted/In press) Human Aspects of Information Security & Assurance: 17th International Symposium on Human Aspects of Information Security & Assurance. Cham, Switzerland: Springer

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

  • A study on written communication about client-side web security

    Rauti, S., Laato, S. & Farooq, A., 23 May 2023, Hybrid Intelligent Systems: 22nd International Conference on Hybrid Intelligent Systems (HIS 2022), December 13–15, 2022. Abraham, A., Abraham, A., Hong, T-P., Kotecha, K., Ma, K., Manghirmalani Mishra, P. & Gandhi, N. (eds.). Cham, Switzerland: Springer, p. 1154-1166 13 p.

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

  • Nodes number estimation based on ML for multi-operator unlicensed band sharing to extend indoor connectivity

    Baiyekusi, O., Lee, H. & Moessner, K., 12 May 2023, 2023 IEEE Wireless Communications and Networking Conference (WCNC). Piscataway, NJ.: IEEE

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

    Open Access
    File
    4 Downloads (Pure)
  • Curbing ghost worker fraud in developing countries using consortium blockchain

    Bello, M. I. & Thomas, D. R., 24 Apr 2023, IWSPA '23: Proceedings of the 9th ACM International Workshop on Security and Privacy Analytics. New York, NY., p. 77-83 7 p.

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

    Open Access
    File
    11 Downloads (Pure)
  • Preservation and reflection of bisimilarity via invertible steps

    Turkenburg, R., Kupke, C., Rot, J. & Schoen, E., 21 Apr 2023, Foundations of Software Science and Computation Structures. Kupferman, O. & Sobocinski, P. (eds.). Cham, Switzeraland: Springer, p. 328-348 21 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    1 Citation (Scopus)
    5 Downloads (Pure)
  • Builtin types viewed as inductive families

    Allais, G., 17 Apr 2023, Programming Languages and Systems. ESOP 2023. Wies, T. (ed.). Cham, Switzerland: Springer, Vol. 13990. p. 113-139 27 p. (Lecture Notes in Computer Science; vol. 13990 LNCS).

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

    Open Access
    File
    10 Downloads (Pure)
  • Why people skip music? On predicting music skips using deep reinforcement learning

    Meggetto, F., Revie, C., Levine, J. & Moshfeghi, Y., 23 Mar 2023, Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. New York, NY, p. 95-106 12 p.

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

    Open Access
    File
    23 Downloads (Pure)
  • Type theory as a language workbench

    de Muijnck-Hughes, J., Allais, G. & Brady, E., 21 Mar 2023, Eelco Visser Commemorative Symposium (EVCS 2023). Lämmel, R., Mosses, P. & Steimann, F. (eds.). Dagstuhl, Germany, Vol. 109. 14 p. 9. (Open Access Series in Informatics (OASIcs); vol. 109).

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

    Open Access
    File
    10 Downloads (Pure)
  • Driven to distraction: examining the influence of distractors on search behaviours, performance and experience

    Azzopardi, L., Maxwell, D., Halvey, M. & Hauff, C., 20 Mar 2023, CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. Gwizdka, J. & Rieh, S. Y. (eds.). New York, NY, p. 83-94 12 p.

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

    Open Access
    File
    3 Downloads (Pure)
  • Exploring older people's challenges on online banking/finance systems: early findings

    Thomas, D., Chowdhury, G. & Ruthven, I., 20 Mar 2023, CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. New York, p. 333–337 5 p.

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

    Open Access
    File
    174 Downloads (Pure)
  • Towards understanding and supporting exploratory searches

    Soufan, A., 20 Mar 2023, CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. New York, p. 490–494 5 p.

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

    Open Access
    File
    7 Downloads (Pure)
  • Confidence as part of searcher's cognitive context

    Michalkova, D., Parra Rodriguez, M. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 13811. p. 510-524 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

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

    22 Downloads (Pure)
  • Neural correlates of satisfaction of an information need

    Paisalnan, S., Pollick, F. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 443-457 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

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

  • On time series cross-validation for deep learning classification model of mental workload levels based on EEG signals

    Kingphai, K. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, Vol. 13811. p. 402-416 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

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

    2 Citations (Scopus)
    28 Downloads (Pure)
  • Revisiting neurological aspects of relevance: an EEG study

    Pinkosova, Z., McGeown, W. J. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, Vol. 13811. p. 549-563 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

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

    11 Downloads (Pure)
  • Role of punctuation in semantic mapping between brain and transformer models

    Lamprou, Z., Pollick, F. & Moshfeghi, Y., 10 Mar 2023, Machine Learning, Optimization, and Data Science - 8th International Conference, LOD 2022, Revised Selected Papers. Nicosia, G., Giuffrida, G., Ojha, V., La Malfa, E., La Malfa, G., Pardalos, P., Di Fatta, G. & Umeton, R. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 458-472 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13811 LNCS).

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

    5 Downloads (Pure)
  • Measure-theoretic semantics for quantitative parity automata

    Cîrstea, C. & Kupke, C., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic. Klin, B. & Pimentel, E. (eds.). Saarbrücken/Wadern, p. 14:1-14:20 20 p. 14. (Leibniz International Proceedings in Informatics; vol. 252).

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

    Open Access
    File
    2 Downloads (Pure)
  • Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively

    Daggitt, M. L., Atkey, R., Kokke, W., Komendantskaya, E. & Arnaboldi, L., 11 Jan 2023, CPP 2023 : Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. Krebbers, R., Traytel, D., Pientka, B. & Zdancewic, S. (eds.). New York, NY., p. 102-120 19 p.

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

    Open Access
    File
    1 Citation (Scopus)
    11 Downloads (Pure)
  • Energy level spoofing attacks and countermeasures in blockchain-enabled IoT

    Khan, A. H., Ikram, H., Ahmed, C. M., Hassan, N. U. & Uzmi, Z. A., 11 Jan 2023, GLOBECOM 2022 - 2022 IEEE Global Communications Conference. Piscataway, N.J.: IEEE, p. 4322-4327 6 p. (GLOBECOM 2022 - 2022 IEEE Global Communications Conference).

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

    Open Access
    File
    12 Downloads (Pure)
  • An alternative supervision model for postgraduate projects: a course specific approach

    Liaskos, K., 6 Jan 2023, 'CEP 23: Proceedings of the 7th Conference on Computing Education Practice. New York, NY: Association for Computing Machinery (ACM), p. 29-32 4 p. (Computing Education Practice).

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

    Open Access
    File
    21 Downloads (Pure)
  • Engaging students in threat thinking with the cyber security cinema

    Maguire, J., English, R. & Draper, S., 6 Jan 2023, CEP '23: Proceedings of the 7th Conference on Computing Education Practice. New York, NY, p. 13-16 4 p. (Computing Education Practice).

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

    Open Access
    File
    8 Downloads (Pure)
  • Research-led active learning sessions in cyber security through research paper reading

    Maguire, J., English, R. & Draper, S., 6 Jan 2023, CEP '23: Proceedings of the 7th Conference on Computing Education Practice. New York, NY, p. 33-36 4 p. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    16 Downloads (Pure)
  • 2022

    ELASTIC: numerical reasoning with adaptive symbolic compiler

    Zhang, J. & Moshfeghi, Y., 9 Dec 2022, Advances in Neural Information Processing Systems 35: 36th Conference on Neural Information Processing Systems (NeurIPS 2022). Red Hook, NY, 20 p.

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

    Open Access
    File
    1 Citation (Scopus)
    9 Downloads (Pure)
  • Accessing digital cultural heritage information: users vs institutional perspectives of metadata and searching

    Gibson, R. C., Chowdhury, S. & Chowdhury, G., 7 Dec 2022, From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries. ICADL 2022. Cham, Switzerland: Springer Nature Switzerland AG, p. 207-221 16 p. (Lecture Notes in Computer Science; vol. 13636).

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

    Open Access
    File
  • Breast cancer survival analysis with molecular subtypes: an initial step

    Zhang, L., Wu, J., Zhao, Y., Hu, W., Qin, A., Dong, F., Liu, E., Zeng, H., Xie, H. & Du, H., 14 Nov 2022, 2022 IEEE 22nd International Conference on Bioinformatics and Bioengineering (BIBE). Piscataway, NJ: IEEE, p. 363-366 4 p. (2022 IEEE 22nd International Conference on Bioinformatics and Bioengineering (BIBE)).

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

    Open Access
    File
    5 Downloads (Pure)
  • Unlinkability of an improved key agreement protocol for EMV 2nd gen payments

    Horne, R., Mauw, S. & Yurkov, S., 31 Oct 2022, 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022. Piscataway, NJ: IEEE, p. 364-379 16 p. (Proceedings - IEEE Computer Security Foundations Symposium; vol. 2022-August).

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

    3 Citations (Scopus)
  • Exploring the security and privacy risks of chatbots in messaging services

    Edu, J., Mulligan, C., Pierazzi, F., Polakis, J., Suarez-Tangil, G. & Such, J., 25 Oct 2022, IMC 2022 - Proceedings of the 2022 ACM Internet Measurement Conference. New York, p. 581-588 8 p.

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

    Open Access
    File
    4 Citations (Scopus)
    4 Downloads (Pure)
  • Designing with and for people with intellectual disabilities

    Soares Guedes, L., Gibson, R. C., Ellis, K., Sitbon, L. & Landoni, M., 22 Oct 2022, ASSETS 2022 - Proceedings of the 24th International ACM SIGACCESS Conference on Computers and Accessibility. New York, NY, p. 1-6 10 p. 106. (ASSETS 2022 - Proceedings of the 24th International ACM SIGACCESS Conference on Computers and Accessibility).

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

    Open Access
    File
    37 Downloads (Pure)
  • Gabor-based audiovisual fusion for Mandarin Chinese speech recognition

    Xu, Y., Wang, H., Dong, Z., Li, Y. & Abel, A., 18 Oct 2022, 2022 30th European Signal Processing Conference (EUSIPCO). Piscataway, NJ: IEEE, p. 603-607 5 p. (2022 30th European Signal Processing Conference (EUSIPCO)).

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

    Open Access
    File
    9 Downloads (Pure)
  • SOK : young children's cybersecurity knowledge, skills & practice: a systematic literature review

    Lamond, M., Renaud, K., Wood, L. & Prior, S., 29 Sept 2022, Proceedings - EuroUSEC 2022: 2022 European Symposium on Usable Security, EuroUSEC 2022. New York, p. 14-27 14 p. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    3 Citations (Scopus)
    28 Downloads (Pure)
  • Curse of system complexity and virtue of operational invariants: machine learning based system modeling and attack detection in CPS

    Shahid, M. O., Ahmed, C. M., Palleti, V. R. & Zhou, J., 26 Sept 2022, 2022 IEEE Conference on Dependable and Secure Computing (DSC). Piscataway, NJ: IEEE, p. 1-8 8 p.

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

    Open Access
    File
    1 Citation (Scopus)
    9 Downloads (Pure)
  • Crowdsourcing quality concerns: an examination of Amazon's mechanical turk

    Dupuis, M., Renaud, K. & Searle, R., 21 Sept 2022, SIGITE 2022 - Proceedings of the 23rd Annual Conference on Information Technology Education: Proceedings of the 23rd Annual Conference on Information Technology Education. New York, p. 127-129 3 p. (SIGITE 2022 - Proceedings of the 23rd Annual Conference on Information Technology Education).

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

    4 Citations (Scopus)
  • Diamonds for security: a non-interleaving operational semantics for the applied pi-calculus

    Aubert, C., Horne, R. & Johansen, C., 6 Sept 2022, 33rd International Conference on Concurrency Theory . Klin, B., Lasota, S. & Muscholl, A. (eds.). Wadern, Germany, p. 30:1-30:26 26 p.

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

    Open Access
    File
    3 Citations (Scopus)
  • A dynamic emotion recognition system based on convolutional feature extraction and recurrent neural network

    Yin, Y., Ayoub, M., Abel, A. & Zhang, H., 1 Sept 2022, Intelligent Systems and Applications: Proceedings of the 2022 Intelligent Systems Conference IntelliSys Volume 2. Arai, K. (ed.). Cham, Switzerland: Springer, p. 134-154 21 p. (Lecture Notes in Networks and Systems; vol. 543 LNNS).

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

    Open Access
    File
    4 Downloads (Pure)
  • Enhancing UK computing education research infrastructure with doctoral consortia

    Maguire, J., Fincher, S., Cutts, Q. & English, R., 1 Sept 2022, UKICER 2022 - Proceedings of the 2022 Conference on United Kingdom and Ireland Computing Education Research. New York, NY, USA, p. 1-2 2 p. 27. (ACM International Conference Proceeding Series).

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

    Open Access
    File
    5 Downloads (Pure)
  • The impact of test elements on students' performance in EFL

    Alrzini, J., Rasmussen Pennington, D. & Dunlop, M. D., 1 Sept 2022, 16th International Conference on Interfaces and Human Computer Interaction (IHCI 2022). Blashki, K. (ed.). [Portugal]

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

    Open Access
    File
    45 Downloads (Pure)
  • Predicting the onset of delirium on hourly basis in an intensive care unit following cardiac surgery

    Lapp, L., Roper, M., Kavanagh, K. & Schraag, S., 31 Aug 2022, 2022 IEEE 35th International Symposium on Computer-Based Medical Systems (CBMS). Shen, L., Gonzalez, A. R., Santosh, KC., Lai, Z., Sicilia, R., Almeida, J. R. & Kane, B. (eds.). Piscataway, N.J.: IEEE, p. 234-239 6 p.

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

    Open Access
    File
    1 Citation (Scopus)
    9 Downloads (Pure)
  • Drivers of information needs: a behavioural study – exploring searcher's feeling-of-knowing

    Michalkova, D., Parra Rodriguez, M. & Moshfeghi, Y., 25 Aug 2022, ICTIR '22: Proceedings of the 2022 ACM SIGIR International Conference on Theory of Information Retrieval. New York, NY, p. 171-181 11 p.

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

    Open Access
    File
    1 Citation (Scopus)
    4 Downloads (Pure)
  • Proof-of-communication-capability based authentication in blockchain-enabled wireless autonomous vehicular networks

    Khan, A. H., Ahmed, C. M., Hassan, N. U. & Uzmi, Z. A., 25 Aug 2022, 2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring). Piscataway, N.J.: IEEE, 6 p.

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

    Open Access
    File
    1 Citation (Scopus)
    3 Downloads (Pure)
  • Size measures and alphabetic equivalence in the μ-calculus

    Kupke, C., Marti, J. & Venema, Y., 5 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA, 13 p. 18. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    File
    2 Citations (Scopus)
    9 Downloads (Pure)