João Daniel da Luz Mota

Student - Mestrado Integrado em Engenharia Informática

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity per year

If you made any changes in Pure these will be visible here soon.


Dive into the research topics where João Daniel da Luz Mota is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
  • Java Typestate Checker

    Mota, J., Giunti, M. & Ravara, A., 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Cham: Springer, p. 121-133 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12717 LNCS).

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

    2 Citations (Scopus)
  • Typestates to automata and back: A tool

    Trindade, A., Mota, J. & Ravara, A., 17 Sep 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 324, p. 25-42 18 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
    1 Citation (Scopus)