CITI - Centro de Informática e Tecnologias da Informação

Organization profile

Profile Information

Former organisational unit. 31/12/14. Taken over by NOVALincs

Fingerprint Dive into the research topics where CITI - Centro de Informática e Tecnologias da Informação is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Profiles

    No photo of Adriano Martins Lopes
    20032013
    Photo of Ana Maria Diniz Moreira

    Ana Maria Diniz Moreira

    Person: Academic

    19962019

    Research Output

  • Linear logic propositions as session types

    Caires, L., Pfenning, F. & Toninho, B., 1 Mar 2016, In : Mathematical Structures in Computer Science. 26, 3, p. 367-423 57 p.

    Research output: Contribution to journalArticle

  • 26 Citations (Scopus)

    Modeling for sustainability

    Combemale, B., Cheng, B. H. C., Moreira, A., Bruel, J. M. & Gray, J., 14 May 2016, Proceedings - 8th International Workshop on Modeling in Software Engineering, MiSE 2016. Association for Computing Machinery, Inc, p. 62-66 5 p.

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

  • 4 Citations (Scopus)

    Activities

    • 16 Editorial activity

    Innovations in Systems and Software Engineering (Journal)

    Miguel Carlos Pacheco Afonso Goulão (Guest editor)
    1 Jan 2014

    Activity: Publication peer-review and editorial workEditorial activity

    International Journal of Creative Interfaces and Computer Graphics (IJCICG) (Journal)

    Teresa Isabel Lopes Romão (Guest editor)
    2013

    Activity: Publication peer-review and editorial workEditorial activity

    International Journal Of Arts And Technology (Journal)

    Teresa Isabel Lopes Romão (Guest editor)
    2011

    Activity: Publication peer-review and editorial workEditorial activity