Research Output per year
Fingerprint Dive into the research topics where DI - Departamento de Informática is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Logic programming
Engineering & Materials Science
Semantics
Engineering & Materials Science
Software engineering
Engineering & Materials Science
Spreadsheets
Engineering & Materials Science
Ontology
Engineering & Materials Science
Logic Programs
Mathematics
Mobile devices
Engineering & Materials Science
Logic Programming
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Research Output 1986 2019
An annotated repository for MATLAB code
Relvas, A., Marques, N. C., Monteiro, M. P. & Carneiro, G., 11 Jul 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 497-502 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2019-July).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
MATLAB
Data mining
Seed
Visualization
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 1 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 1038-1055 18 p.Research output: Contribution to journal › Article
Open Access
Syntactics
Persistence
Concretes
Operator
Answer Set Programming
Between Tradition and Innovation: Giving Light to a Visionary Text in the Lorvão Beatus
Melo, M. J., Miranda, M. A., Castro, R., Lopes, J. & Sarraguça, J. M. G., 2019, Manuscripts in the Making: Art and Science. Panayotova, S. & Ricciardi, P. (eds.). Brepols PublishersResearch output: Chapter in Book/Report/Conference proceeding › Chapter
Prizes
Best Paper Award at CAISE 2014
Miguel Carlos Pacheco Afonso Goulão (Recipient), Jun 2014
Prize: Prize (including medals and awards)
MyPrivateEC2 - End-to-End Privacy Enhanced Services using AWS EC2 (EC2 / AWS CloudSerach / AWS S3)
Henrique João Lopes Domingos (Recipient), 2014
Prize: Fellowship awarded competitively
Middleware
Testing
Activities 1998 2018
Third International Workshop on Human Factors in Modeling (HuFaMo’18)
Silvia Abrahão (Organiser), Miguel Carlos Pacheco Afonso Goulão (Organiser), Patrick Heymans (Organiser), Xavier Le Pallec (Organiser), Emmanuel Renaux (Organiser)15 Oct 2018
Activity: Participating in or organising an event › Participation in workshop, seminar, course
11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018)
Antonia Bertolino (Chair), Vasco Amaral (Chair), Paulo Rupino da Cunha (Chair), Marco Vieira (Invited speaker)4 Sep 2018 → 7 Sep 2018
Activity: Participating in or organising an event › Participation in conference
Journal Of Logic And Computation (Journal)
João Alexandre Carvalho Pinheiro Leite (Editorial board member)20 Apr 2018
Activity: Publication peer-review and editorial work › Editorial activity