Software Technology

Filter
Conference contribution

Search results

  • 2023

    Probabilistic Concurrency Testing for Weak Memory Programs

    Gao, M., Chakraborty, S. & Ozkan, B. K., 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery (ACM), p. 603-616 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Citations (Scopus)
    92 Downloads (Pure)

  • Probing BERT for Ranking Abilities

    Wallat, J., Beringer, F., Anand, A. & Anand, A., 2023, Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Proceedings. Kamps, J., Goeuriot, L., Crestani, F., Maistro, M., Joho, H., Davis, B., Gurrin, C., Caputo, A. & Kruschwitz, U. (eds.). Cham: Springer, p. 255-273 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13981).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    4 Citations (Scopus)
    44 Downloads (Pure)

  • Quality Assurance Awareness in Open Source Software Projects on GitHub

    Zaidman, A. E. & Khatami, A., 2023, Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Moonen, L., Newman, C. & Gorla, A. (eds.). IEEE Computer Society - Conference Publishing Services, p. 174-185 12 p. (Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    6 Downloads (Pure)

  • Quantum Network Utility Maximization

    Vardoyan, G. & Wehner, S., 2023, Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023. Muller, H., Alexev, Y., Delgado, A. & Byrd, G. (eds.). Piscataway, NJ, USA: IEEE, p. 1238-1248 11 p. (Proceedings - 2023 IEEE International Conference on Quantum Computing and Engineering, QCE 2023; vol. 1).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    7 Downloads (Pure)

  • Reinforcement Learning by Guided Safe Exploration

    Yang, Q., Simão, T. D., Jansen, N., Tindemans, S. H. & Spaan, M. T. J., 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 2858 - 2865 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    41 Downloads (Pure)

  • Renamingless Capture-Avoiding Substitution for Definitional Interpreters

    Poulsen, C. B., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10 p. 2. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    26 Downloads (Pure)

  • Reservation of Virtualized Resources with Optimistic Online Learning

    Monteil, J-B., Iosifidis, G. & Dusparic, I., 2023, Proceedings of the ICC 2023 - IEEE International Conference on Communications. IEEE, p. 5147-5153 7 p. (IEEE International Conference on Communications).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    9 Downloads (Pure)

  • Retrain AI Systems Responsibly! Use Sustainable Concept Drift Adaptation Techniques

    Poenaru-Olaru, L., Sallou, J., Cruz, L., Rellermeyer, J. S. & Van Deursen, A., 2023, Proceedings - 2023 IEEE/ACM 7th International Workshop on Green And Sustainable Software, GREENS 2023. IEEE, p. 17-18 2 p. (Proceedings - 2023 IEEE/ACM 7th International Workshop on Green And Sustainable Software, GREENS 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    29 Downloads (Pure)

  • Robust Learning via Golden Symmetric Loss of (un)Trusted Labels

    Ghiassi, A., Birke, R. & Chen, L. Y., 2023, 2023 SIAM International Conference on Data Mining, SDM 2023. Society for Industrial and Applied Mathematics, p. 568-576 9 p. (2023 SIAM International Conference on Data Mining, SDM 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    29 Downloads (Pure)

  • Role of Multimodal Learning Systems in Technology-Enhanced Learning (TEL): A Scoping Review

    Lee, Y., Limbu, B., Rusak, Z. & Specht, M., 2023, Responsive and Sustainable Educational Futures - 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Proceedings. Viberg, O., Jivet, I., Muñoz-Merino, P. J., Perifanou, M. & Papathoma, T. (eds.). Cham: Springer, p. 164-182 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14200 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    30 Downloads (Pure)

  • Rolling-Horizon Simulation Optimization For A Multi-Objective Biomanufacturing Scheduling Problem

    Van Den Houten, K., De Weerdt, M., Tax, D. M. J., Freydell, E., Christoupoulou, E. & Nati, A., 2023, Proceedings of the 2023 Winter Simulation Conference (WSC). IEEE, p. 1912-1923 12 p. (Proceedings - Winter Simulation Conference).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Downloads (Pure)

  • RULKNE: Representing User Knowledge State in Search-as-Learning with Named Entities

    El Zein, D., Câmara, A., Da Costa Pereira, C. & Tettamanzi, A., 2023, CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval. New York, NY, USA: Association for Computing Machinery (ACM), p. 388-393 6 p. (CHIIR 2023 - Proceedings of the 2023 Conference on Human Information Interaction and Retrieval).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • SaDe: Learning Models that Provably Satisfy Domain Constraints

    Goyal, K., Dumancic, S. & Blockeel, H., 2023, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2022, Proceedings. Amini, M-R., Canu, S., Fischer, A., Guns, T., Kralj Novak, P. & Tsoumakas, G. (eds.). Springer, p. 410-425 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13717 LNAI).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    2 Citations (Scopus)

  • Scope Graphs: The Story so Far

    Zwaan, A. & van Antwerpen, H., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 p. 32. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Searching for Quality: Genetic Algorithms and Metamorphic Testing for Software Engineering ML

    Applis, L. H., Panichella, A. & Marang, R. J., 2023, GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference. ACM/IEEE, p. 1490–1498 9 p. (GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    38 Downloads (Pure)

  • Searching for the Whole Truth: Harnessing the Power of Intellectual Humility to Boost Better Search on Debated Topics

    Rieger, A., Bredius, F., Tintarev, N. & Pera, M. S., 2023, CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), 8 p. 248. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    6 Citations (Scopus)
    74 Downloads (Pure)

  • Shrink-Perturb Improves Architecture Mixing During Population Based Training for Neural Architecture Search

    Chebykin, A., Dushatskiy, A., Alderliesten, T. & Bosman, P., 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press, p. 381-388 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    41 Downloads (Pure)

  • Slowdown as a Metric for Congestion Control Fairness

    Zapletal, A. & Kuipers, F. A., 2023, HotNets 2023 - Proceedings of the 22nd ACM Workshop on Hot Topics in Networks. Association for Computing Machinery (ACM), p. 205-212 8 p. (HotNets 2023 - Proceedings of the 22nd ACM Workshop on Hot Topics in Networks).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    28 Downloads (Pure)

  • SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts

    di Angelo, M., Durieux, T., Ferreira, J. F. & Salzer, G., 2023, Proceedings of the 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). Gurrola, J. (ed.). Piscataway: IEEE, p. 2102-2105 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    12 Downloads (Pure)

  • SpectraLux: Towards Exploiting the Full Spectrum with Passive VLC

    Ghiasi, S. K., Dsouza, V., Langendoen, K. & Zúñiga, M., 2023, IPSN 2023 - Proceedings of the 2023 22nd International Conference on Information Processing in Sensor Networks. New York: Association for Computing Machinery (ACM), p. 274-287 14 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    35 Downloads (Pure)

  • STACC: Code Comment Classification using SentenceTransformers

    Al-Kaswan, A., Izadi, M. & van Deursen, A., 2023, 2023 IEEE/ACM 2nd International Workshop on Natural Language-Based Software Engineering (NLBSE). IEEE, p. 28-31 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Standardisation landscape for 6G robotic services

    Ghassemian, M., Vukobratovic, D., Papadopoulos, C., An, X., Chatzimisios, P., Aijaz, A., Li, P., Valenzuela, A. M., Venkatesha Prasad, R. R. & More Authors, 2023, Proceedings of the 2023 IEEE Conference on Standards for Communications and Networking (CSCN). IEEE, p. 148-154 7 p. (2023 IEEE Conference on Standards for Communications and Networking, CSCN 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File

  • State4: State-preserving Reconfiguration of P4-programmable Switches

    Ji, C. & Kuipers, F. A., 2023, 2023 IEEE 9th International Conference on Network Softwarization: Boosting Future Networks through Advanced Softwarization, NetSoft 2023 - Proceedings. Bernardos, C. J., Martini, B., Rojas, E., Verdi, F. L., Zhu, Z., Oki, E. & Parzyjegla, H. (eds.). IEEE, p. 134-142 9 p. (2023 IEEE 9th International Conference on Network Softwarization: Boosting Future Networks through Advanced Softwarization, NetSoft 2023 - Proceedings).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    312 Downloads (Pure)

  • Students' Perceptions on Engaging Database Domains and Structures

    Miedema, D., Taipalus, T. & Aivaloglou, E. A., 2023, SIGCSE 2023 - Proceedings of the 54th ACM Technical Symposium on Computer Science Education. New York: Association for Computing Machinery (ACM), p. 122-128 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Supporting Requesters in Writing Clear Crowdsourcing Task Descriptions Through Computational Flaw Assessment

    Nouri, Z., Prakash, N., Gadiraju, U. & Wachsmuth, H., 2023, IUI 2023 - Proceedings of the 28th International Conference on Intelligent User Interfaces. New York: Association for Computing Machinery (ACM), p. 737-749 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    36 Downloads (Pure)

  • The (ab)use of Open Source Code to Train Large Language Models

    Al-Kaswan, A. & Izadi, M., 2023, Proceedings o the 2nd International Workshop on NL-based Software Engineering. p. 9-10 2 p. (Proceedings - 2023 IEEE/ACM 2nd International Workshop on Natural Language-Based Software Engineering, NLBSE 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    87 Downloads (Pure)

  • The impact of asynchrony on parallel model-based eas

    Guijt, A., Thierens, D., Alderliesten, T. & Bosman, P. A. N., 2023, GECCO 2023 - Proceedings of the 2023 Genetic and Evolutionary Computation Conference. New York: Association for Computing Machinery (ACM), p. 910-918 9 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    26 Downloads (Pure)

  • The NLBSE'23 Tool Competition

    Kallis, R., Izadi, M., Pascarella, L., Chaparro, O. & Rani, P., 2023, Proceedings of the 2023 IEEE/ACM 2nd International Workshop on Natural Language-Based Software Engineering, NLBSE 2023. O'Conner, L. (ed.). Piscataway: IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    7 Citations (Scopus)
    21 Downloads (Pure)

  • The Two Faces of AI in Green Mobile Computing: A Literature Review

    Siemers, W., Sallou, J. & Cruz, L., 2023, Proceedings of the 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). Ceballos, C. (ed.). Piscataway: IEEE, p. 301-309 9 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • TIM: A Novel Quality of Service Metric for Tactile Internet

    Kroep, H. J. C., Gokhale, V., Simha, A., Prasad, R. R. V. & Rao, V. S., 2023, ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023. Association for Computing Machinery (ACM), p. 199-208 10 p. (ICCPS 2023 - Proceedings of the 2023 ACM/IEEE 14th International Conference on Cyber-Physical Systems with CPS-IoT Week 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Topio: An Open-Source Web Platform for Trading Geospatial Data

    Ionescu, A., Patroumpas, K., Psarakis, K., Chatzigeorgakidis, G., Collarana, D., Barenscher, K., Skoutas, D., Katsifodimos, A. & Athanasiou, S., 2023, Web Engineering: 23rd International Conference, ICWE 2023. Garrigós, I., Rodríguez, J. M. M. & Wimmer, M. (eds.). Cham: Springer, p. 336-351 16 p. (Lecture Notes in Computer Science; vol. 13893).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    35 Downloads (Pure)

  • Topio Marketplace: Search and Discovery of Geospatial Data

    Ionescu, A., Alexandridou, A., Psarakis, K., Patroumpas, K., Chatzigeorgakidis, G., Skoutas, D., Athanasiou, S., Hai, R. & Katsifodimos, A., 2023, 26th International Conference on Extending Database Technology. p. 819-822

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    45 Downloads (Pure)

  • Towards Efficient Personalized Driver Behavior Modeling with Machine Unlearning

    Song, Q., Tan, R. & Wang, J., 2023, Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023 - Workshops. Association for Computing Machinery (ACM), p. 31-36 6 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    48 Downloads (Pure)

  • Towards Evaluating Stream Processing Autoscalers

    Siachamis, G., Kanis, J., Koper, W., Psarakis, K., Fragkoulis, M., Van Deursen, A. & Katsifodimos, A., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering Workshops, ICDEW 2023. IEEE, p. 95-99 5 p. (Proceedings - 2023 IEEE 39th International Conference on Data Engineering Workshops, ICDEW 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Towards Modular Compilation Using Higher-Order Effects

    Reinders, J. S., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 9 p. 22. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    26 Downloads (Pure)

  • Towards Understanding Machine Learning Testing in Practise

    Shome, A., Cruz, L. & Van Deursen, A., 2023, Proceedings - 2023 IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI, CAIN 2023. IEEE, p. 117-118 2 p. (Proceedings - 2023 IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI, CAIN 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    23 Downloads (Pure)

  • Uncertainty-Encoded Multi-Modal Fusion for Robust Object Detection in Autonomous Driving

    Lou, Y., Song, Q., Xu, Q., Tan, R. & Wang, J., 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press, p. 1593-1600 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    56 Downloads (Pure)

  • Uncovering Energy-Efficient Practices in Deep Learning Training: Preliminary Steps Towards Green AI

    Yarally, T., Cruz, L., Feitosa, D., Sallou, J. & Van Deursen, A., 2023, Proceedings - 2023 IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI, CAIN 2023. IEEE, p. 25-36 12 p. (Proceedings - 2023 IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI, CAIN 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    11 Citations (Scopus)
    29 Downloads (Pure)

  • Univalent Monoidal Categories

    Wullaert, K., Matthes, R. & Ahrens, B., 2023, 28th International Conference on Types for Proofs and Programs, TYPES 2022. Kesner, D. & Pedrot, P-M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 269).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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

  • Unlocking Energy Flexibility From Thermal Inertia of Buildings: A Robust Optimization Approach

    Li, Y., Yorke-Smith, N. & Keviczky, T., 2023, Proceedings of the 62nd IEEE Conference on Decision and Control (CDC 2023). IEEE, p. 2555-2562 8 p. (Proceedings of the IEEE Conference on Decision and Control).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Downloads (Pure)

  • Using Spoofax to Support Online Code Navigation

    Mosses, P. D., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12 p. 21. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    33 Downloads (Pure)

  • Value- Aware Active Learning

    Sayin, B., Yang, J., Passerini, A. & Casati, F., 2023, HHAI 2023: Augmenting Human Intellect - Proceedings of the 2nd International Conference on Hybrid Human-Artificial Intelligence. Lukowicz, P., Mayer, S., Koch, J., Shawe-Taylor, J. & Tiddi, I. (eds.). IOS Press, p. 215-223 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 368).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    41 Downloads (Pure)

  • Value-Based Hybrid Intelligence

    Sayin, B., Yang, J., Passerini, A. & Casati, F., 2023, HHAI 2023: Augmenting Human Intellect - Proceedings of the 2nd International Conference on Hybrid Human-Artificial Intelligence. Lukowicz, P., Mayer, S., Koch, J., Shawe-Taylor, J. & Tiddi, I. (eds.). IOS Press, p. 366-370 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 368).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    33 Downloads (Pure)

  • Variables in Practice. An Observation of Teaching Variables in Introductory Programming MOOCs

    Van Der Werf, V., Zhang, M. Y., Aivaloglou, E., Hermans, F. & Specht, M., 2023, ITiCSE 2023 - Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery (ACM), p. 208-214 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 1).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    107 Downloads (Pure)

  • Verifying Well-Typedness Preservation of Refactorings using Scope Graphs

    Miljak, L., Poulsen, C. B. & van Spaendonck, F., 2023, FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs. Tomb, A. (ed.). Association for Computing Machinery (ACM), p. 44-50 7 p. (FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    21 Downloads (Pure)

  • Viewpoint Diversity in Search Results

    Draws, T., Roy, N., Inel, O., Rieger, A., Hada, R., Yalcin, M. O., Timmermans, B. & Tintarev, N., 2023, Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Proceedings. Kamps, J., Goeuriot, L., Crestani, F., Maistro, M., Joho, H., Davis, B., Gurrin, C., Caputo, A. & Kruschwitz, U. (eds.). Cham: Springer, p. 279-297 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13980 ).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    7 Citations (Scopus)
    51 Downloads (Pure)

  • What You Show is What You Get! Gestures for Microtask Crowdsourcing

    Allen, G., Hu, A. & Gadiraju, U., 2023, IUI 2023 - Companion Proceedings of the 28th International Conference on Intelligent User Interfaces. New York: Association for Computing Machinery (ACM), p. 255-258 4 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    40 Downloads (Pure)

  • When to Let the Developer Guide: Trade-offs Between Open and Guided Test Amplification

    Brandt, C. E., Wang, D. & Zaidman, A. E., 2023, Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). Moonen, L., Newman, C. & Gorla, A. (eds.). IEEE Computer Society - Conference Publishing Services, p. 231-241 11 p. (Proceedings - 2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation, SCAM 2023).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    3 Downloads (Pure)

  • When VLC Meets Under-Screen Camera

    Ye, H., Xiong, J. & Wang, Q., 2023, MobiSys 2023 - Proceedings of the 21st Annual International Conference on Mobile Systems, Applications and Services. Association for Computing Machinery (ACM), p. 343-355 13 p. (MobiSys 2023 - Proceedings of the 21st Annual International Conference on Mobile Systems, Applications and Services).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    3 Citations (Scopus)
    41 Downloads (Pure)

  • Where a Little Change Makes a Big Difference: A Preliminary Exploration of Children’s Queries

    Pera, M. S., Murgia, E., Landoni, M., Huibers, T. & Aliannejadi, M., 2023, Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Proceedings. Kamps, J., Goeuriot, L., Crestani, F., Maistro, M., Joho, H., Davis, B., Gurrin, C., Caputo, A. & Kruschwitz, U. (eds.). Cham: Springer, p. 522-533 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13981 ).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    38 Downloads (Pure)