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.

Software engineering Engineering & Materials Science
Visualization Engineering & Materials Science
Requirements engineering Engineering & Materials Science
Query languages Engineering & Materials Science
Mobile devices Engineering & Materials Science
Specifications Engineering & Materials Science
Augmented reality Engineering & Materials Science
Data storage equipment Engineering & Materials Science

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

Profiles

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

Ana Maria Diniz Moreira

Person: Academic

20062019

Research Output 1998 2018

Data reduction
social network
Visualization
Data visualization
Electric network analysis
19 Citations (Scopus)

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

Linear Logic
Proposition
Type Systems
Calculus
Correspondence
3 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

Sustainability
Sustainable development
Modeling
Engineering
Model

Activities 2004 2014

  • 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)

Nuno Manuel Robalo Correia (Editor)
1 Jan 2011

Activity: Publication peer-review and editorial workEditorial activity