Department of Computer Science

Publications

  1. 2022
  2. Accepted/In press

    Text mining tweets on e-cigarette risks and benefits using machine learning following a vaping related lung injury outbreak in the USA

    Hassan, L., Elkaref, M., de Mel, G., Bogdanovica, I. & Nenadic, G., Nov 2022, (Accepted/In press) In: Healthcare Analytics. 2, 100066.

    Research output: Contribution to journalArticlepeer-review

  3. Accepted/In press

    Counter-Example Guided Neural Network Compression Refinement (CEG4N)

    Matos Junior, J. B. P., Manino, E., Song, X., Bessa, I. V. & Cordeiro, L. C., 18 Jun 2022, (Accepted/In press) 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  4. Accepted/In press

    Control flow graph, formal verification and constraint programming techniques

    Deveza, J., Santos, L., de Freitas, R. & Cordeiro, L., 15 Jun 2022, (Accepted/In press) 10th Latin American Workshop on Cliques in Graphs (LAWCG).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  5. Accepted/In press

    Embodied Attention in Word-Object Mapping: A Developmental Cognitive Robotics Model

    Raggioli, L. & Cangelosi, A., 14 Jun 2022, (Accepted/In press) 2022 IEEE International Conference on Development and Learning (ICDL 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  6. Accepted/In press

    Should AI Systems in Nuclear Facilities Explain Decisions the Way Humans Do? An Interview Study

    Taylor, H. M., Jay, C., Lennox, B., Cangelosi, A. & Dennis, L., 31 May 2022, (Accepted/In press) 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  7. Accepted/In press

    Exploring Theory of Mind for Human-Robot Collaboration

    Romeo, M., Mckenna, P. E., Robb, D., Rajendran, G., Nesset, B., Cangelosi, A. & Hastie, H., 30 May 2022, (Accepted/In press) 31st IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2022).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  8. Accepted/In press

    ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC

    Brauße, F., Shmarov, F., Menezes, R., Gadelha, M. R., Korovin, K., Reger, G. & Cordeiro, L., 27 May 2022, (Accepted/In press) ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  9. Accepted/In press

    ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation

    Menezes, R., Moura, D., Cavalcante, H., de Freitas, R. & Cordeiro, L., 27 May 2022, (Accepted/In press) ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  10. E-pub ahead of print

    Understanding the growth mechanisms of TiO2/Al2O3 mixed scales formed on Al-depleted Ti2AlC at 1000–1200 °C

    Liu, X., Chen, Y., Li, L., Zhang, H., Huang, A., Fan, X., Zhao, X. & Lu, J., 1 Aug 2022, In: Corrosion Science . 204, p. 110393

    Research output: Contribution to journalArticlepeer-review

  11. Published

    Methods Included: Standardizing Computational Reuse and Portability with the Common Workflow Language

    Crusoe, M. R., Abeln, S., Iosup, A., Amstutz, P., Chilton, J., Tijanić, N., Ménager, H., Soiland-Reyes, S., Gavrilović, B., Goble, C. A. & The CWL Community, 20 May 2022, In: Communications of the ACM. 65, 6, p. 54–63 10 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 ...769 Next
Return to faculty and school overview