Filter
Conference contribution

Search results

  • 2021

    A Computational Model of Cancer Metabolism for Personalised Medicine

    Occhipinti, A. & Angione, C., 6 Mar 2021, Building Bridges in Medical Science 2021. Cambridge Medical Journal, (Cambridge Medical Journal; vol. 28 Mar).

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

    Open Access
    File
    24 Downloads (Pure)
  • Promoting Fair Proposers, Fair Responders or Both? Cost-Efficient Interference in the Spatial Ultimatum Game

    Cimpeanu, T., Han, T. A. & Perret, C., 20 Jan 2021, (Accepted/In press) aamas.

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

  • 2020

    Account and Transaction Protocol of the Open Banking Standard

    Almehrej, A., Freitas, L. & Modesti, P., 22 May 2020, Rigorous State-Based Methods, 7th International Conference, ABZ 2020. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer International Publishing AG, Vol. 12071. 7 p. (LNCS).

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

    Open Access
    File
    18 Downloads (Pure)
  • Cost Effective Interventions in Complex Networks Using Agent-Based Modelling and Simulations: Doctoral Consortium

    Cimpeanu, T., 9 May 2020, Proceedings of AAMAS'20. Association for Computing Machinery (ACM), p. 2188-2190 (AAMAS Proceedings).

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

    Open Access
  • Curvature-Based Sparse Rule Base Generation for Fuzzy Interpolation Using Menger Curvature

    Zuo, Z., Li, J. & Yang, L., 31 Jan 2020, Advances in Computational Intelligence Systems - Contributions Presented at the 19th UK Workshop on Computational Intelligence, 2019. Ju, Z., Zhou, D., Gegov, A., Yang, L. & Yang, C. (eds.). Springer-Verlag, p. 53-65 13 p. (Advances in Intelligent Systems and Computing; vol. 1043).

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

    Open Access
    File
    21 Downloads (Pure)
  • Fear of punishment promotes the emergence of cooperation and enhanced social welfare in social dilemmas

    Cimpeanu, T. & Han, T. A., 9 May 2020, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020. An, B., El Fallah Seghrouchni, A. & Sukthankar, G. (eds.). Association for Computing Machinery (ACM), p. 1819-1821 3 p. (AAMAS Proceedings).

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

    Open Access
  • How Do API Selections Affect the Runtime Performance of Data Analytics Tasks?

    Tao, Y., Tang, S., Liu, Y., Xu, Z. & Qin, S., 9 Jan 2020, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. IEEE, p. 665-668 4 p. 8952224. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

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

    Open Access
    File
    40 Downloads (Pure)
  • Lost in Disclosure: On the Inference of Password Composition Policies

    Johnson, S., Ferreira, J., Mendes, A. & Cordry, J., 13 Feb 2020, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE, p. 264-269 6 p. (Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019).

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

    Open Access
    File
    19 Downloads (Pure)
  • Making an Example: Signalling Threat in the Evolution of Cooperation

    Cimpeanu, T. & Han, T. A., Jul 2020, 2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 9185749. (2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings).

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

  • MemLock: Memory Usage Guided Fuzzing

    Wen, C., Wang, H., Li, Y., Qin, S., Liu, Y., Xu, Z., Chen, H., Xie, X., Pu, G. & Liu, T., 27 Jun 2020, Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering, ICSE 2020. ACM, p. 765-777 13 p. 3380396. (Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering).

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

    Open Access
    File
    237 Downloads (Pure)
  • Reading to Level Up: Gamifying Reading Fluency

    Sezen, D., Massler, U., Ribeiro, P., Haake, S., Iurgel, I. & Parente, A., 29 Jan 2020, Technology, Innovation, Entrepreneurship and Education: Conference proceedings TIE 2019. Sylla, C. & Iurgel, I. (eds.). Springer, Vol. 307. p. 3-12

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

  • Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection

    Johnson, S., Ferreira, J. F., Mendes, A. & Cordry, J., 5 Oct 2020, ASIA CCS '20: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security: 2020 Proceeding. ACM, p. 101-115 15 p.

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

    Open Access
  • Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities

    Wang, H., Xie, X., Li, Y., Wen, C., Li, Y., Liu, Y., Qin, S., Chen, H. & Sui, Y., 1 May 2020, (Accepted/In press) 42nd International Conference on Software Engineering (ICSE 2020). ACM

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

    Open Access
    File
    252 Downloads (Pure)
  • 2019

    ABAC Requirements Engineering for Database Applications

    Longstaff, J. & He, M., 29 Jul 2019, Proceedings: 2019 13th International Symposium on Theoretical Aspects of Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 33 - 40 8 p.

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

    Open Access
    File
    57 Downloads (Pure)
  • Adaptive Activation Function Generation Through Fuzzy Inference for Grooming Text Categorisation

    Zuo, Z., Li, J., Wei, B., Yang, L., Fei, C. & Naik, N., 23 Jun 2019, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2019 .

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

    Open Access
    File
    97 Downloads (Pure)
  • A Data-driven Approach to Solve a Production Constrained Build-order Optimization Problem

    Wang, P., Zeng, Y., Chen, B. & Cao, L., 17 Oct 2019, Proceedings of the 38th Chinese Control Conference. Fu, M. & Sun, J. (eds.). IEEE, p. 2692-2697 (Chinese Control Conference (CCC); vol. 2019).

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

    Open Access
    File
    60 Downloads (Pure)
  • A Learning Design Framework to Support Children with Learning Disabilities Incorporating Gamification Techniques

    Shaban, A. & Pearson, E., 9 May 2019, Conference on Human Factors in Computing Systems - Proceedings: Weaving The Threads of CHI. p. 1-6 7 p. 3312806. (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access
    File
    354 Downloads (Pure)
  • An Empirical Research on the Investment Strategy of Stock Market based on Deep Reinforcement Learning model

    Li, Y., Ni, P. & Chang, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 52-58 7 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

  • A review on ethical issues for smart connected toys in the context of big data

    Chang, V., Li, Z. & Ramachandran, M., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 149-156 8 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

    Open Access
    File
    236 Downloads (Pure)
  • A review on how big data analytics can influence education

    Chang, V., Xu, Q. & Mendez, V., 1 Jan 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 130-138 9 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

    Open Access
    File
    49 Downloads (Pure)
  • A security framework to protect data in cloud storage

    Yahya, F., Chang, V., Walters, R. J. & Wills, G. B., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 307-314 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

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

  • A Social App that Combines Dating and Museum Visiting Experiences

    Akçalı, A., Iurgel, I. A. & Sezen, T., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, Vol. 265. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 265).

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

  • A Storytelling Smart-City Approach to Further Cross-Regional Tourism

    Fischöder, N., Iurgel, I. A., Sezen, T. I. & van Turnhout, K., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation: ArtsIT 2018, DLI 2018, Proceedings. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, p. 266-275

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

  • A survey on RFID security and privacy in smart medical: Threats and protections

    Shi, X., Cao, J., Lu, T. & Chang, V., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 278-285 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

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

  • Automated Game-Theoretic Verification of Security Systems

    Mu, C., 4 Sep 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

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

    Open Access
    File
    145 Downloads (Pure)
  • Bi-Abductive Inference for Shape and Ordering Properties

    Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

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

    Open Access
    File
    59 Downloads (Pure)
  • Blending into the white box of the art museum

    Lange, V., Van Beuzekom, M., Hansma, M., Jeurens, J., Van Den Oever, W., Regterschot, M., Treffers, J., Van Turnhout, K., Sezen, T. I., Iurgel, I. & Bakker, R., Nov 2019, HTTF 2019: Proceedings of the Halfway to the Future Symposium 2019. Fischer, J. E., Martindale, S., Porcheron, M., Reeves, S. & Spence, J. (eds.). Association for Computing Machinery (ACM), 25

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

  • Clustering and Classification of a Qualitative Colorimetric Test

    Hoque Tania, M., Lwin, K. T., Shabut, A. M. & Hossain, A., 7 Mar 2019, Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018. Excell, P. S., Ali, M., Jones, A., Soomro, S. & Miraz, M. H. (eds.). Institute of Electrical and Electronics Engineers Inc., 5 p. 8658480. (Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018).

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

  • Concolic Testing Heap-Manipulating Programs

    Pham, L. H., Le, Q. L., Phan, Q-S. & Sun, J., 12 Jun 2019, (Accepted/In press) 23rd International Symposium on Formal Methods (FM 2019). Springer, 21 p.

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

    Open Access
    File
    54 Downloads (Pure)
  • Ethical problems of smart wearable devices

    Chang, V., Xu, X., Wong, B. & Mendez, V., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 121-129 9 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

    Open Access
    File
    527 Downloads (Pure)
  • Exogenous Rewards for Promoting Cooperation in Scale-Free Networks

    Cimpeanu, T., Han, T. A. & Santos, F. C., 15 Jul 2019, ALIFE 2019: The 2019 Conference on Artificial Life. Fellermann, H., Bacardit, J., Goñi-Moreno, Á. & Füchslin, R. M. (eds.). 31 ed. MIT Press, p. 316-323 (Artificial Life Conference Proceedings; no. 31).

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

    Open Access
    File
    42 Downloads (Pure)
  • Locating Vulnerabilities in Binaries via Memory Layout Recovering

    Wang, H., Xie, X., Lin, S-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.

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

    Open Access
    File
    407 Downloads (Pure)
  • Modelling and influencing the AI bidding war: A research agenda

    Han, T. A., Pereira, L. M. & Lenaerts, T., 27 Jan 2019, AIES 2019 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society. Association for Computing Machinery, Inc, p. 5-11 7 p. (AIES 2019 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society).

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

    Open Access
    File
    71 Downloads (Pure)
  • Modelling and Influencing the AI Bidding War: A Research Agenda

    Han, T. A., Jan 2019, Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society - AIES '19. p. 5-11

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

  • Multiple Fake Classes GAN for Data Augmentation in Face Image Dataset

    Ali-Gombe, A., Elyan, E. & Jayne, C., 30 Sep 2019, 2019 International Joint Conference on Neural Networks, IJCNN 2019. Institute of Electrical and Electronics Engineers Inc., 8851953. (Proceedings of the International Joint Conference on Neural Networks; vol. 2019-July).

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

    Open Access
    File
    3 Citations (Scopus)
    56 Downloads (Pure)
  • ODE-Driven Sketch-Based Organic Modelling

    Li, O., Deng, Z., Bian, S., Noreika, A., Jin, X., Kazmi, I. K., You, L. & Zhang, J. J., 12 Jun 2019, Advances in Computer Graphics - 36th Computer Graphics International Conference, CGI 2019, Proceedings: 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17–20, 2019, Proceedings. Gavrilova, M., Thalmann, N. M., Ishikawa, H., Chang, J., Thalmann, N. M. & Hitzer, E. (eds.). p. 453-460 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11542 LNCS).

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

    Open Access
    File
    101 Downloads (Pure)
  • Pathways to Good Healthcare Services and Patient Satisfaction: An Evolutionary Game Theoretical Approach

    Alalawi, Z., Han, T. A., Zeng, Y. & Elragig, A. (ed.), 29 Jul 2019, Proceedings of the 2019 Conference on Artificial Life : Alife 2019. MIT Press, Vol. 31. 8 p.

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

    Open Access
    File
    33 Downloads (Pure)
  • Privacy and ethical issues of big data in the airline industry

    Chang, V., Ji, Z. & Arami, M., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 139-148 10 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

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

    Open Access
    File
    1325 Downloads (Pure)
  • Promoting Cooperation through External Interference

    Han, T. A., Tran-Thanh, L., Lynch, S., Cimpeanu, T-I. & Santos, F. C., 15 Jul 2019, ALIFE 2019: The 2019 Conference on Artificial Life. Fellermann, H., Bacardit, J., Goñi-Moreno, Á. & Füchslin, R. M. (eds.). 31 ed. MIT Press, p. 331-332 2 p. (Artificial Life Conference Proceedings; no. 31).

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

    Open Access
    File
    42 Downloads (Pure)
  • Random Decision DAG: An Entropy Based Compression Approach for Random Forest

    Liu, X., Liu, X., Lai, Y., Yang, F. & Zeng, Y., 24 Apr 2019, Database Systems for Advanced Applications - DASFAA 2019 International Workshops: BDMS, BDQM, and GDMA, Proceedings. Li, G., Gama, J., Tong, Y., Yang, J. & Natwichai, J. (eds.). Springer Verlag, p. 319-323 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11448 LNCS).

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

  • Self-Improving Generative Adversarial Reinforcement Learning

    Liu, Y., Zeng, Y., Chen, Y. & Tang, J., 15 May 2019, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. IFAAMAS, Vol. 1. p. 52-60 ( ACM International Conference on Autonomous Agents and Multiagent Systems. Proceedings ).

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

  • Smart healthcare and ethical issues

    Chang, V., Cao, Y., Li, T., Shi, Y. & Baudier, P., 5 May 2019, FEMIB 2019 - 1st International Conference on Finance, Economics, Management and IT Business. Baudier, P., Arami, M., Bu, R. & Chang, V. (eds.). SciTePress, p. 53-59 7 p. (FEMIB 2019 - 1st International Conference on Finance, Economics, Management and IT Business).

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

    Open Access
    File
    167 Downloads (Pure)
  • Using automated state space planning for effective management of visual information and learner’s attention in virtual reality

    Ladeinde, O., Razzaque, M. A. & Han, T. A., 24 Aug 2019, (E-pub ahead of print) Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer-Verlag, Vol. 1038. p. 24-40 17 p. 231009. (Advances in Intelligent Systems and Computing; vol. 1038).

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

    Open Access
    File
    31 Downloads (Pure)
  • Word Segmentation for Chinese Judicial Documents

    Yao, L., Ge, J., Li, C., Yao, Y., Li, Z., Zeng, J., Luo, B. & Chang, V., 13 Sep 2019, Data Science - 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Proceedings. Cheng, X., Jing, W., Song, X. & Lu, Z. (eds.). Springer-Verlag, p. 466-478 13 p. (Communications in Computer and Information Science; vol. 1058).

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

  • 2018

    A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints

    Le, Q. L. & He, M., 23 Oct 2018, Programming Languages and Systems. APLAS 2018. Ryu, S. (ed.). Springer, ( Lecture Notes in Computer Science; vol. 11275).

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

    Open Access
    File
    113 Downloads (Pure)
  • A Top-Down Narrative Design Approach for Networked Cultural Institutions

    Sezen, T. I., Iurgel, I., Fischöder, N., Bakker, R., Turnhout, K. V. & Sezen, D., 21 Nov 2018, Interactive Storytelling. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, p. 627-632 ( Lecture Notes in Computer Science; vol. 11318).

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

  • Benchmark framework for virtual students' behaviours

    Lugrin, J. L., Charles, F., Habel, M., Matthews, J., Porteous, J., Dudaczy, H., Oberdörfer, S., Wittmann, A., Seufert, C., Grafe, S. & Latoschik, M. E., 16 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 2236-2238 3 p. (AAMAS Electronic Proceedings).

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

    Open Access
    File
    29 Downloads (Pure)
  • Card-Based Methods in Interactive Narrative Prototyping

    Koenitz, H., Dubbelman, T., Knoller, N., Roth, C., Haahr, M., Sezen, D. & Sezen, T. I., 21 Nov 2018, Interactive Storytelling: 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, Vol. 11318. p. 552-555 4 p. (Lecture Notes in Computer Science).

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

  • Fostering Cooperation in Structured Populations Through Local and Global Interference Strategies

    Han, T. A., Lynch, S., Tran-Thanh, L. & Santos, F. C., 20 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI, p. 289-295 7 p. (Proceedings (IITA International Joint Conference on Artificial Intelligence)).

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

    Open Access
    File
    97 Downloads (Pure)
  • Frame inference for inductive entailment proofs in separation logic

    Le, Q. L., Sun, J. & Qin, S., 12 Apr 2018, Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14 – 20, 2018 Proceedings, Part I. Springer Open, p. 41-60 20 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    92 Downloads (Pure)