Marco Giunti

Student

  • DI - Departamento de Informática
    Faculdade de Ciências e Tecnologia/UNL
    Edifício II
    Campus de Caparica
    2829-516 Caparica

    Portugal

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

Research activity per year

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

Fingerprint

Dive into the research topics where Marco Giunti 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)
  • Gopi: compiling linear and static channels in go

    Giunti, M., 2020, Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Proceedings. Bliudze, S. & Bocchi, L. (eds.). Cham: Springer, p. 137-152 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12134 LNCS).

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

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