Filter
Conference contribution

Search results

  • 2023

    Permissionless Clock Synchronization with Public Setup

    Garay, J., Kiayias, A. & Shen, Y., 1 Jan 2023, Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7–10, 2022, Proceedings, Part III. Kiltz, E. & Vaikuntanathan, V. (eds.). Springer, Cham, p. 181-211 31 p. (Lecture Notes in Computer Science; vol. 13749).

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

    Open Access
    File
  • 2022

    Duoidally enriched Freyd categories

    Heunen, C. & Sigal, J., 16 Dec 2022, (Accepted/In press) Proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2023). 22 p.

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

  • Language-Integrated Query for Temporal Data

    Fowler, S., Galpin, V. & Cheney, J., 1 Dec 2022, Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . Scholz, B. & Kameyama, Y. (eds.). ACM Association for Computing Machinery, p. 5-19 15 p.

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

    Open Access
    File
  • A Researcher’s Digest of GQL

    Francis, N., Gheerbrant, A., Guagliardo, P., Libkin, L., Marsault, V., Martens, W., Murlak, F., Peterfreund, L., Rogova, A. & Vrgoc, D., 28 Nov 2022, (Accepted/In press) Proceedings of the 26th International Conference on Database Theory (ICDT 2023). 22 p.

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

  • An Algebraic Theory for Shared-State Concurrency

    Dvir, Y., Kammar, O. & Lahav, O., 25 Nov 2022, Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. Sergey, I. (ed.). Springer, Cham, p. 2-24 22 p. (Lecture Notes in Computer Science; vol. 13658).

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

    Open Access
    File
  • Making Cache Monotonic and Consistent

    An, S. & Cao, Y., 18 Nov 2022, (Accepted/In press) Proceedings of the 49th International Conference on Very Large Data Bases. 14 p.

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

  • Minotaur: Multi-Resource Blockchain Consensus

    Fitzi, M., Wang, X., Kannan, S., Kiayias, A., Leonardos, N., Viswanath, P. & Wang, G., 7 Nov 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 1095-1108 17 p.

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

    Open Access
    File
  • PEReDi: Privacy-Enhanced, Regulated and Distributed Central Bank Digital Currencies

    Kiayias, A., Kohlweiss, M. & Sarencheh, A., 7 Nov 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 1739-1752 34 p.

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

    Open Access
    File
  • The Generals’ Scuttlebutt: Byzantine-Resilient Gossip Protocols

    Coretti, S., Kiayias, A., Russell, A. & Moore, C., 7 Nov 2022, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 595-608 14 p.

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

    Open Access
    File
  • Decentralization Analysis of Pooling Behavior in Cardano Proof of Stake

    Kiayias, A. & Ovezik, C., 26 Oct 2022, Proceedings of the 3rd ACM International Conference on AI in Finance (ICAIF 2022). Magazzeni, D., Kumar, S., Savani, R., Xu, R., Ventre, C., Horvath, B., Hu, R., Balch, T. & Toni, F. (eds.). Association for Computing Machinery (ACM), p. 18-26 9 p.

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

    Open Access
    File
  • Models as documents, documents as models

    Stevens, P., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, Cham, p. 28-34 7 p. (Lecture Notes in Computer Science; vol. 13702).

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

    Open Access
    File
  • Explainable Artificial Intelligence for Breast Tumour Classification: Helpful or Harmful

    Rafferty, A., Nenutil, R. & Rajan, A., 7 Oct 2022, Interpretability of Machine Intelligence in Medical Image Computing: 5th International Workshop, iMIMIC 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings. Reyes, M., Abreu, P. H. & Cardoso, J. (eds.). Springer, Cham, p. 104-123 18 p. (Lecture Notes in Computer Science; vol. 13611).

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

    Open Access
    File
  • Nominal Matching Logic

    Cheney, J. & Fernández, M., 20 Sep 2022, Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022). ACM Association for Computing Machinery, 20 p. 5

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

    Open Access
    File
  • Publishing Asynchronous Event Times with Pufferfish Privacy

    Ding, J., Ghosh, A., Sarkar, R. & Gao, J., 12 Sep 2022, Proceedings of The 18th International Conference on Distributed Computing in Sensor Systems 2022. Institute of Electrical and Electronics Engineers (IEEE), p. 53-60 8 p. (International Conference on Distributed Computing in Sensor Systems (DCOSS)).

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

    Open Access
    File
  • Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting

    Gheerbrant, A., Libkin, L., Rogova, A. & Sirangelo, C., 5 Sep 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022). Alviano, M. & Pieris, A. (eds.). CEUR-WS.org, p. 14-26 (CEUR Workshop Proceedings; vol. 3203).

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

    Open Access
    File
  • Catch Me If You Can: Blackbox Adversarial Attacks on Automatic Speech Recognition using Frequency Masking

    Wu, X. & Rajan, A., 25 Aug 2022, (Accepted/In press) Proceedings of 2022 29th Asia-Pacific Software Engineering Conference (APSEC). 10 p.

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

    Open Access
    File
  • Transaction Scheduling: From Conflicts to Runtime Conflicts

    Cao, Y., Fan, W., Ou, W., Xie, R. & Zhao, W., 16 Aug 2022, (Accepted/In press) Proceedings of the 2023 ACM SIGMOD International Conference on Management of Data (SIGMOD). 14 p.

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

  • UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

    Polgreen, E., Cheang, K., Gaddamadugu, P., Godbole, A., Laeufer, K., Lin, S., Manerkar, Y. A., Mora, F. & Seshia, S. A., 7 Aug 2022, Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. Shoham, S. & Vizel, Y. (eds.). Springer, Cham, p. 538–551 13 p. (Lecture Notes in Computer Science; vol. 13371).

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

    Open Access
    File
  • BenchPress: A Deep Active Benchmark Generator

    Tsimpourlas, F., Petoumenos, P., Xu, M., Cummins, C., Hazelwood, K., Rajan, A. & Leather, H., 5 Aug 2022, (Accepted/In press) Proceedings of The 31st International Conference on Parallel Architectures and Compilation Techniques 2022. 12 p.

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

    Open Access
    File
  • Competitive Consistent Caching for Transactions

    An, S., Cao, Y. & Zhao, W., 2 Aug 2022, Proceedings of 38th IEEE International Conference on Data Engineering. Institute of Electrical and Electronics Engineers (IEEE), p. 2154-2167 14 p. (International Conference on Data Engineering).

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

    Open Access
    File
  • The Shapley Value in Machine Learning

    Rozemberczki, B., Watson, L., Bayer, P., Yang, H-T., Kiss, O., Nilsson, S. & Sarkar, R., 23 Jul 2022, Proceedings of the 31st International Joint Conference on Artifical Intelligence, IJCAI-ECAI 2022. De Raedt, L. (ed.). International Joint Conferences on Artificial Intelligence Organization, p. 5572-5579 8 p.

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

    Open Access
    File
  • Generating Immune-aware SARS-CoV-2 Spike Proteins for Universal Vaccine Design

    Phillips, D., Gasser, H-C., Kamp, S., Pałkowski, A., Rabalski, L., Oyarzún, D. A., Rajan, A. & Alfaro, J. A., 22 Jul 2022, Proceedings of the 1st Workshop on Healthcare AI and COVID-19, ICML 2022. Xu, P., Zhu, T., Zhu, P., Clifton, D. A., Belgrave, D. & Zhang, Y. (eds.). PMLR, Vol. 184. p. 100-116 17 p. (Proceedings of Machine Learning Research; vol. 184).

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

    Open Access
    File
  • Babel Fees via Limited Liabilities

    Chakravarty, M. M. T., Karayannidis, N., Kiayias, A., Peyton Jones, M. & Vinogradova, P., 18 Jun 2022, Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Rome, Italy, June 20–23, 2022, Proceedings. Ateniese, G. & Venturi, D. (eds.). Springer, Cham, p. 707-726 20 p. (Lecture Notes in Computer Science; vol. 13269).

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

    Open Access
    File
  • Counting Database Repairs Entailing a Query: The Case of Functional Dependencies

    Calautti, M., Livshits, E., Pieris, A. & Schneider, M., 13 Jun 2022, Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 403–412 10 p. (PODS '22).

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

    Open Access
  • Uniform Operational Consistent Query Answering

    Calautti, M., Livshits, E., Pieris, A. & Schneider, M., 13 Jun 2022, Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 393–402 10 p. (PODS '22).

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

    Open Access
  • Graph Pattern Matching in GQL and SQL/PGQ

    Deutsch, A., Francis, N., Green, A., Hare, K., Li, B., Libkin, L., Lindaaker, T., Marsault, V., Martens, W., Michels, J., Murlak, F., Plantikow, S., Selmer, P., Voigt, H., van Rest, O., Vrgoc, D., Wu, M. & Zemke, F., 11 Jun 2022, Proceedings of the 2022 International Conference on Management of Data. Ives, Z., Bonifati, A., El Abbadi, A., Paparrizos, J. & Taft, R. (eds.). New York, NY, USA: ACM Association for Computing Machinery, p. 2246-2258 13 p.

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

    Open Access
    File
  • Islaris: Verification of Machine Code Against Authoritative ISA Semantics

    Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P., 9 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). ACM, p. 825-840 16 p.

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

    Open Access
    File
  • Quickstrom: property-based acceptance testing with LTL specifications

    O'Connor, L. & Wickström, O., 9 Jun 2022, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). New York, NY, USA: ACM Association for Computing Machinery, p. 1025-1038 14 p.

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

    Open Access
    File
  • On Cyclic Solutions to the Min-Max Latency Multi-Robot Patrolling Problem

    Afshani, P., Berg, M. D., Buchin, K., Gao, J., Loffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H-T., 1 Jun 2022, Proceedings of the 38th International Symposium on Computational Geometry. Goaoc, X. & Kerber, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 p. 2. (38th International Symposium on Computational Geometry).

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

    Open Access
    File
  • Supporting provenance of digital calibration certificates with temporal databases

    Galpin, V., Smith, I. & Hippolyte, J-L., 1 Jun 2022, (Accepted/In press) Proceedings of IMEKO TC6: First International Conference on Metrology and Digital Transformation (M4Dconf 2022). 4 p.

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

    Open Access
    File
  • Universal Properties of Partial Quantum Maps

    Andres Martinez, P., Heunen, C. & Kaarsgaard, R., 1 Jun 2022, (Accepted/In press) Proceedings of the 19th International Conference on Quantum Physics and Logic. 17 p.

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

    Open Access
    File
  • Measuring discord among multidimensional data sources

    Abelló, A. & Cheney, J., 25 Apr 2022, 24th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data, DOLAP 2022. Stefanidis, K. & Golab, L. (eds.). CEUR Workshop Proceedings, Vol. 3130. p. 96-100 5 p. (CEUR Workshop Proceedings).

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

    Open Access
    File
  • Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

    Bauereiss, T., Campbell, B., Sewell, T., Armstrong, A., Esswood, L., Stark, I., Barnes, G., Watson, R. N. M. & Sewell, P., 29 Mar 2022, Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Sergey, I. (ed.). Springer, p. 174-203 30 p. (Lecture Notes in Computer Science; vol. 13240).

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

    Open Access
    File
  • Automated Truncation of Differential Trails and Trail Clustering in ARX

    Biryukov, A., Cardoso dos Santos, L., Feher, D., Velichkov, V. & Vitto, G., 27 Mar 2022, Selected Areas in Cryptography: 28th International Conference, Virtual Event, September 29 – October 1, 2021, Revised Selected Papers. Al Tawy, R. & Hülsing, A. (eds.). Springer International Publishing, 31 p. (Lecture Notes in Computer Science; vol. 13203).

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

    Open Access
    File
  • Traffic Generation using Containerization for Machine Learning

    Clausen, H., Flood, R. & Aspinall, D., 25 Feb 2022, DYnamic and Novel Advances in Machine Learning and Intelligent Cyber Security Workshop Proceedings. ACM Association for Computing Machinery, 12 p. 3

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

    Open Access
    File
  • Localisable Monads

    Constantin, C., Dicaire, N. & Heunen, C., 27 Jan 2022, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Manea, F. & Simpson, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. (30th EACSL Annual Conference on Computer Science Logic).

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

    Open Access
    File
  • Filling the Tax Gap via Programmable Money

    Karakostas, D. & Kiayias, A., 23 Jan 2022, Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2021 International Workshops, DPM 2021 and CBT 2021, Darmstadt, Germany, October 8, 2021, Revised Selected Papers. Garcia-Alfaro, J., Muñoz-Tapia, J. L., Navarro-Arribas, G. & Soriano, M. (eds.). Cham: Springer International Publishing Switzerland, p. 281-288 8 p. (Lecture Notes in Computer Science; vol. 13140).

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

    Open Access
    File
  • Overcoming Restraint: Composing Verification of Foreign Functions with Cogent

    Cheung, L., O'Connor, L. & Rizkallah, C., 17 Jan 2022, CPP 2022: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. Popescu, A. & Zdancewic, S. (eds.). New York, NY, USA: ACM Association for Computing Machinery, p. 13-26 14 p.

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

    Open Access
    File
  • Satisfiability and Synthesis Modulo Oracles

    Polgreen, E., Reynolds, A. & Seshia, S. A., 14 Jan 2022, Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings. Finkbeiner, B. & Wies, T. (eds.). Cham, Switzerland: Springer International Publishing, p. 263-284 12 p. (Lecture Notes in Computer Science; vol. 13182).

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

    Open Access
    File
  • Evaluating Model Robustness to Adversarial Samples in Network Intrusion Detection

    Schneider, M., Aspinall, D. & Bastian, N. D., 13 Jan 2022, 2021 IEEE International Conference on Big Data (Big Data). Chen, Y., Ludwig, H., Tu, Y., Fayyad, U., Zhu, X., Hu, X., Byna, S., Liu, X., Zhang, J., Pan, S., Papalexakis, V., Wang, J., Cuzzocrea, A. & Ordonez, C. (eds.). IEEE, p. 3343-3352 10 p.

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

  • Theory and Practice of Networks of Models

    Stevens, P., 1 Jan 2022, Software Foundations for Data Interoperability: 5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers. Fletcher, G., Nakano, K. & Sasuki, Y. (eds.). Springer, p. 3-12 10 p. (Communications in Computer and Information Science; vol. 1457).

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

    Open Access
    File
  • 2021

    Astrolabous: A Universally Composable Time Lock Encryption Scheme

    Lamprou, N., Arapinis, M. & Zacharias, T., 1 Dec 2021, Advances in Cryptology – ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II. Tibouchi, M. & Wang, H. (eds.). Cham: Springer, Cham, Vol. 2. p. 398-426 30 p.

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

    Open Access
    File
  • Snarky Ceremonies

    Kohlweiss, M., Maller, M., Siim, J. & Volkhov, M., 1 Dec 2021, Advances in Cryptology -- ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part III. Tibouchi, M. & Wang, H. (eds.). Cham: Springer International Publishing Switzerland, p. 98-127 30 p. (Lecture Notes in Computer Science; vol. 13092).

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

    Open Access
    File
  • CAT: Change-focused Android GUI Testing

    Peng, C., Rajan, A. & Cai, T., 24 Nov 2021, Proceedings of 2021 IEEE International Conference on Software Maintenance and Evolution, ICSME 2021. Institute of Electrical and Electronics Engineers (IEEE), p. 460-470 11 p. (IEEE International Conference on Software Maintenance and Evolution).

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

    Open Access
    File
  • The Effect of Noise on the Performance of Variational Algorithms for Quantum Chemistry

    Saib, W., Wallden, P. & Akhalwaya, I., 19 Nov 2021, 2021 IEEE International Conference on Quantum Computing and Engineering (QCE) . Müller, H. A., Byrd, G., Culhane, C. & Humble, T. (eds.). Piscataway, NJ, United States: IEEE, p. 42-53 12 p.

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

    Open Access
    File
  • Controlling Network Traffic Microstructures for Machine-Learning Model Probing

    Clausen, H., Flood, R. & Aspinall, D., 3 Nov 2021, Security and Privacy in Communication Networks. Springer, Cham, p. 456-475 20 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 398).

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

    Open Access
    File
  • PyTorch Geometric Temporal: Spatiotemporal Signal Processing with Neural Machine Learning Models

    Rozemberczki, B., Scherer, P., He, Y., Panagopoulos, G., Riedel, A., Astefanoaei, M., Kiss, O., Beres, F., López, G., Collignon, N. & Sarkar, R., 26 Oct 2021, CIKM '21: Proceedings of the 30th ACM International Conference on Information & Knowledge Management. Association for Computing Machinery (ACM), p. 4564–4573 10 p.

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

    Open Access
    File
  • The Shapley Value of Classifiers in Ensemble Games

    Rozemberczki, B. & Sarkar, R., 26 Oct 2021, CIKM '21: Proceedings of the 30th ACM International Conference on Information & Knowledge Management. Association for Computing Machinery (ACM), p. 1558–1567 10 p.

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

    Open Access
    File
  • Another Look at Extraction and Randomization of Groth's zk-SNARK

    Baghery, K., Kohlweiss, M., Siim, J. & Volkhov, M., 23 Oct 2021, Financial Cryptography and Data Security. Borisov, N. & Diaz, C. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 457-475 19 p. (Lecture Notes in Computer Science; vol. 12674).

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

    Open Access
    File
  • Efficient State Management in Distributed Ledgers

    Karakostas, D., Karayannidis, N. & Kiayias, A., 23 Oct 2021, Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II. Borisov, N. & Diaz, C. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 319-338 20 p. (Lecture Notes in Computer Science; vol. 12675).

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

    Open Access
    File