Department of Computer Science

Search results

  • Conference Article in proceeding

    Local Differential Privacy for Data Clustering

    Bruder, L. & Alishahi, M., 2024, Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024. Di Vimercati, S. D. C. & Samarati, P. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 820-825 6 p. (Proceedings of the International Conference on Security and Cryptography).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Location-Private Interstellar Communication

    Jonker, H. L., Mauw, S. & Radomirović, S., 2015, Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March 31 - April 2, 2015, Revised Selected Papers. Christianson, B., Švenda, P., Matyáš, V., Malcolm, J., Stajano, F. & Anderson, J. (eds.). Cham: Springer International Publishing, p. 105-115 11 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9379). (Security and Cryptology (LNCS subseries), Vol. 9379).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Low-Level Reachability Analysis Based on Formal Logic

    Naus, N., Verbeek, F., Schoolderman, M. & Ravindran, B., Jul 2023, Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings. Prevosto, V. & Seceleanu, C. (eds.). 1 ed. Springer, Cham, p. 21-39 19 p. (Lecture Notes in Computer Science, Vol. 14066).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Maintaining Unit Tests During Refactoring

    Passier, H. J. M., Bijlsma, A. & Bockisch, C. M., 2016, PPPJ '16: Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools. New York, NY: Association for Computing Machinery (ACM), p. 1-6 6 p. 18

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Making Continuous Time Bayesian Networks More Flexible

    Liu, M., Stella, F., Hommersom, A. & Lucas, P. J. F., 1 Nov 2018, Proceedings of the Ninth International Conference on Probabilistic Graphical Models. Kratochvíl, V. & Studený, M. (eds.). Prague, Czech Republic: PMLR, Vol. 72. p. 237-248 12 p. (Proceedings of Machine Learning Research).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Man-in-the-middle attacks evolved... but our security models didn’t

    Jonker, H., Mauw, S. & Trujillo-Rasua, R., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer Nature Switzerland AG, p. 19-25 7 p. (Lecture Notes in Computer Science; No. 10368).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Man-in-the-Middle Attacks Evolved...but Our Security Models Didn’t (Transcript of Discussion)

    Jonker, H. L., 2017, Security Protocols XXIV: 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Anderson, J., Matyáš, V., Christianson, B. & Stajano, F. (eds.). Cham: Springer International Publishing AG, p. 26-34 9 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 10368).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Maximally Permissive Reward Machines

    Varricchione, G., Alechina, N., Dastani, M. & Logan, B., 16 Oct 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings: 27th European Conference on Artificial Intelligence 19–24 October 2024, Santiago de Compostela, Spain . Endriss, U., Melo, F. S., Bach, K., Bugarín-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (eds.). IOS Press BV, Vol. 392. p. 1181-1188 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 392).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Membership Inference Attacks Against Indoor Location Models

    Moghtadaiee, V., Fathalizadeh, A. & Alishahi, M., 2024, Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024. Di Vimercati, S. D. C. & Samarati, P. (eds.). SCITEPRESS-Science and Technology Publications, Lda., p. 584-591 8 p. (Proceedings of the International Conference on Security and Cryptography).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Mining Hierarchical Pathology Data Using Inductive Logic Programming

    Op De Beéck, T., Hommersom, A., Van Haaren, J., van der Heijden, M., Davis, J., Lucas, P. J. F., Overbeek, L. & Nagtegaal, I., 2015, Artificial Intelligence in Medicine: 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Pavia, Italy, June 17-20, 2015. Proceedings. Holmes, J. H., Bellazzi, R., Sacchi, L. & Peek, N. (eds.). Cham: Springer International Publishing AG, p. 76-85 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • MOBIUS: Smart Mobility Tracking with Smartphone Sensors

    Di Mitri, D., Asyraaf Mat Sanusi, K., Trebing, K. & Bromuri, S., 2021, Science and Technologies for Smart Cities - 6th EAI International Conference, SmartCity360°, Proceedings. Paiva, S., Lopes, S. I., Zitouni, R., Gupta, N., Lopes, S. F. & Yonezawa, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 462-475 14 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Model-based Probabilistic Diagnosis in Large Cyberphysical Systems

    Lucas, P. J. F., Dal, G. H., Hommersom, A. J. & Grievink, G., 27 Jun 2024, Proceedings of the European Conference of the PHM Society 2024. Do, P. & Ezhilarasu, C. (eds.). 1 ed. PHM Society, Vol. 8. p. 643-654 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Modeling the Dynamics of Multiple Disease Occurrence by Latent States

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F., Lobo, M. & Rodrigues, P. P., 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer International Publishing AG, p. 93-107 15 p. (Lecture Notes in Computer Science; No. 11142).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Modelling and simulation of high capacity waterside container handling systems at deep-sea terminals

    Geldof, F., Haarlem, B. C. V., Lock, W. & Roubtsova, E. E., Apr 2008, SpringSim '08: Proceedings of the 2008 Spring simulation multiconference. San Diego: Society for Computer Simulation International, p. 198-205 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Modelling Responsible Digital Security Behaviour for Countering Social Media Manipulation

    Maathuis, C. & Chockalingam, S., 2023, Proceedings of the 10th European Conference on Social Media: ECSM 2023. Dr Iwona Lupa-Wójcik & Dr Marta Czyżewska (eds.). Academic Conferences Ltd, p. 144-152 9 p. (Proceedings of the European Conference on Social Media, ECSM).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Model solutions and properties for diagnosing student programs in Ask-Elle

    Jeuring, J. T., van Binsbergen, L. T., Gerdes, A. & Heeren, B. J., Nov 2014, CSERC '14: Proceedings of the Computer Science Education Research Conference. Barendsen, E. & Dagienė, V. (eds.). New York, NY: Association for Computing Machinery (ACM), p. 31-40 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Modular Behaviour Modelling of Service Providing Business Processes

    Roubtsova, E. E., Wedemeijer, L., Lemmen, K. & McNeile, A. T., 2009, Proceedings of the 11th International Conference on Enterprise Information Systems. Filipe, J. & Cordeiro, J. (eds.). Setúbal: SCITEPRESS-Science and Technology Publications, Lda., Vol. 1. p. 338-341 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Modular Programming of Synchronization and Communication among Tasks in Parallel Programs

    van Veen, B. & Jongmans, S.-S., 3 Aug 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, p. 425-435 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    142 Downloads (Pure)

  • Motivation and Guaranteed Completion in Workflow

    McNeile, A. T. & Roubtsova, E. E., 2012, International Symposium on Business Modeling and Software Design: BMSD 2012: Business Modeling and Software Design. Shishkov, B. (ed.). Berlin: Springer, Vol. 142. p. 16-42 27 p. (Lecture Notes in Business Information Processing, Vol. 142).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Motivation modelling for human-service interaction

    Roubtsova, E. E., 2012, BM-FA '12: Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications. New York: Association for Computing Machinery (ACM), p. 1-8 9 p. 4

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Multi-Agent Intention Recognition and Progression

    Dann, M., Yao, Y., Alechina, N., Logan, B., Meneguzzi, F. & Thangarajah, J., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 91-99 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Multiparty Session Typing in Java, Deductively

    Bouma, J., de Gouw, S. & Jongmans, S. S., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Mutation Operators for UML Class Diagrams

    Granda, M. F., Condori Fernandez, N., Vos, T. E. J. & Pastor, O., 2016, Advanced Information Systems Engineering: 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Cham: Springer International Publishing AG, p. 325-341 17 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9694). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 9694).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Naturalistic Physical Adversarial Patch for Object Detectors

    Hu, Y.-C.-T., Kung, B.-H., Tan, D. S., Chen, J.-C., Hua, K.-L. & Cheng, W.-H., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021: ICCV 2021. IEEE, p. 7828-7837 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Non-formal Techniques for Early Assessment of Design Ideas for Services

    van der Veer, G. C. & Vyas, D., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 135-149 15 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Nooit meer met de rug naar de klas?

    Mofers, F. & Passier, H., 20 Dec 2004, NIOC 2004 Proceedings. Smedinga, R. & Tolboom, J. (eds.). 2004 ed. Groningen: Uitgeverij Passage, p. 96-104

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    33 Downloads (Pure)

  • Novelty-Driven Evolutionary Scriptless Testing

    Hufkens, L. V., Vos, T. E. J. & Marín, B., 2024, Research Challenges in Information Science - 18th International Conference, RCIS 2024, Proceedings. Araújo, J., de la Vara, J. L., Santos, M. Y. & Assar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 100-108 9 p. (Lecture Notes in Business Information Processing, Vol. 514 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Observing Abstraction in Young Children Solving Algorithmic Tasks

    Faber, H., Koning, J. I., Wierdsma, M., Steenbeek, H. & Barendsen, E., 11 Nov 2019, Informatics in Schools. New Ideas in School Informatics: 12th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019, Proceedings. Pozdniakov, S. N. & Dagienė, V. (eds.). Cham: Springer Nature Switzerland AG, p. 95-106 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 11913).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Offline oracles for accessibility evaluation with the TESTAR tool

    de Gier, F., Kager, D., de Gouw, S. & Vos, T. E. J., May 2019, IEEE RCIS 2019 Proceedings: Towards a design science for information systems: The IEEE Thirteen International Conference on Research Challenges in Information Science, May 29-31, Brussels, Belgium. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Canada, p. 129-140 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • On the Road to Designing Responsible AI Systems in Military Cyber Operations

    Maathuis, C., 8 Jun 2022, Proceedings of the 21st European Conference on Cyber Warfare and Security. Eze, T., Khan, N. & Onwubiko, C. (eds.). Academic Conferences International Limited, p. 170-177 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case

    Gouw, S. D., Rot, J., Boer, F. S. D., Bubel, R. & Hähnle, R., 2015, Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. D. K. & Păsăreanu, C. S. (eds.). Springer, p. 273-289 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata.

    Bojanczyk, M., Klin, B. & Moerman, J., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-13 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis

    Ferreira, F. & Jongmans, S. S., Jul 2023, ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. Just, R. & Fraser, G. (eds.). Association for Computing Machinery (ACM), p. 1511-1514 4 p. (ISSTA: International Symposium on Software Testing and Analysis. Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Pair-wise selective classification with dynamic sampling for shipment importer prediction

    Chen, X., Tan, D. S., Gupta, P. & Bromuri, S., 7 Sept 2023, ICMLC 2023: Proceedings of the 2023 15th International Conference on Machine Learning and Computing. Association for Computing Machinery, p. 152-157 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Parsons Problems for Equivalence Proofs in Logic

    van den Berg, M., Heeren, B. J. & Rahimi, E., 13 Nov 2024, Koli Calling '24: The 24th Koli Calling International Conference on Computing Education Research. ACM Digital Library, p. 1-12 10

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Peer production & peer support at the Free Technology Academy

    Potters, H., Berlanga, A. & Bijlsma, L., 7 Apr 2011, CSERC '11: Computer Science Education Research Conference. Gerrit C van der Veer, Peter B Sloep & M. C. J. D. Van Eekelen (eds.). Open Universiteit Nederland, p. 49-56 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • Perception or Pixels: Designing a Visual World from the User’s Point of View

    Rogier, E. S. M. H., van der Veer, G. C., Benvenuti, L. & Consiglio, T., 2014, Building Bridges: HCI, Visualization, and Non-formal Modeling: IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers. Ebert, A., van der Veer, G. C., Domik, G., Gershon, N. D. & Scheler, I. (eds.). Berlin: Springer, p. 95-123 29 p. (Lecture Notes in Computer Science (LNCS), Vol. 8345). (Information Systems and Applications, incl. Internet/Web, and HCI (LNISA), Vol. 8345).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Ph.D. Forum: Intelligent Home Energy Management: Developing AI-Driven Systems for Sustainable Living

    Sheng, Y., 4 Nov 2024, SenSys 2024: Proceedings of the 2024 ACM Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, Inc, p. 914-915 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Pixels Who Violate Our Privacy! Deep Learning for Identifying Images’ Key Pixels

    Veenker, C., Opdam, D. & Alishahi, M., 2024, Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, 2023, Revised Selected Papers. Katsikas, S., Abie, H., Ranise, S., Verderame, L., Cambiaso, E., Ugarelli, R., Praça, I., Li, W., Meng, W., Furnell, S., Katt, B., Pirbhulal, S., Shukla, A., Ianni, M., Dalla Preda, M., Choo, K.-K. R., Pupo Correia, M., Abhishta, A., Sileno, G., Alishahi, M., Kalutarage, H. & Yanai, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 552-568 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14399 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Poster: Formally Verified Binary Lifting to P-Code

    Naus, N., Verbeek, F., Atla, S. & Ravindran, B., 9 Dec 2024, CCS '24: Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security. Luo, B., Liao, X. & Xu, J. (eds.). ACM Digital Library, p. 4973-4975 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • PrDK: Protocol Programming with Automata

    Jongmans, S.-S. & Arbab, F., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Chechik, M. & Raskin, J.-F. (eds.). Berlin: Springer-Verlag Berlin Heidelberg, p. 547-552 6 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 9636). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 9636).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Presence Patterns and Privacy Analysis

    Roubtsova, E. E., Roubtsov, S. A. & Alpár, G., 30 Jun 2018, Business Modeling and Software Design: 8th International Symposium, BMSD 2018. Vienna, Austria, July 2-4, 2018. Proceedings. van der Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M. J. & Szyperski, C. (eds.). Cham: Springer, Vol. 319. p. 298-307 10 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    60 Downloads (Pure)

  • Principles to facilitate design-based learning environments for programming in secondary education while making learning visible in an authentic way

    van Zadelhoff, B., Rahimi, E. & Barendsen, E., 18 Nov 2021, Proceedings of 21st Koli Calling International Conference on Computing Education Research, Koli Calling 2021. Seppälä, O. & Petersen, A. (eds.). Association for Computing Machinery (ACM), 10 p. 12

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

    Różowski, W., Kappé, T., Kozen, D., Schmid, T. & Silva, A., Jul 2023, 50th International Colloquium on Automata, Languages, and Programming, ICALP 2023. Etessami, K., Feige, U. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 261. 20 p. 136. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 261).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Probabilistic Temporal Logic for Reasoning about Bounded Policies

    Motamed, N., Alechina, N., Dastani, M., Doder, D. & Logan, B., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). p. 3296-3303 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Programming in Protocols - A Paradigm of Behavioral Programming

    McNeile, A. T. & Roubtsova, E. E., 2008, ENASE 2008: 3rd International Conference on Evaluation of Novel Approaches to Software Engineering. INSTICC Press, p. 23-30 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced

    Seraj, M., Verano Merino, M., Rahimi, E. & Ochoa Venegas, L., 17 Oct 2024, SPLASH-E 2024: 2024 ACM SIGPLAN International Symposium on SPLASH-E. Hermans, F. & Bohrer, R. (eds.). p. 45-55

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Program Synthesis Using Example Propagation

    Mulleners, N., Jeuring, J. & Heeren, B., Jan 2023, Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Proceedings. Hanus, M. & Inclezan, D. (eds.). 1 ed. Springer, Cham, p. 20-36 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13880 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Progressions and Innovations in Model-Driven Software Engineering: EXTREME: EXecuTable Requirements Engineering, Management, and Evolution

    Roubtsova, E. E., Jun 2013, Progressions and Innovations in Model-Driven Software Engineering. García Díaz, V., Cueva Lovelle, J. M., Pelayo García-Bustelo, B. C. & Sanjuán Martinez, O. (eds.). Hershey: IGI Global, p. 65-89 25 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Professional

  • Property Driven Mining in Workflow Logs

    Roubtsova, E. E., 2005, Intelligent Information Processing and Web Mining: Proceedings of the International IIS: IIPWM’ 05 Conference. Kłopotek, M. A., Wierzchoń, S. T. & Trojanowski, K. (eds.). Berlin: Springer Heidelberg, Vol. 31. p. 471-475 5 p. (Advances in Soft Computing, Vol. 31).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review