Organization profile

Profile Information

The NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) is a Portuguese leading research unit in the area of Computer Science and Engineering.

It is hosted at the Departamento de Informática of Faculdade de Ciências e Tecnologia of Universidade NOVA de Lisboa (DI-FCT-NOVA), a leading academic department in Portugal.

NOVA LINCS was awarded the highest research rating – Excellent – by the last Portuguese R&D Units Evaluation exercise (2013), among all national units focused exclusively in Computer Science and Informatics.

Fingerprint Dive into the research topics where NOVALincs 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
Ontology Engineering & Materials Science
Spreadsheets Engineering & Materials Science
Logic Programs Mathematics
Mobile devices Engineering & Materials Science
Logic Programming Mathematics
Software engineering Engineering & Materials Science

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

Research Output 1991 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 proceedingConference contribution

Open Access
MATLAB
Data mining
Seed
Visualization
4 Citations (Scopus)

An augmented reality application to support deployed emergency teams

Nunes, I. L., Lucas, R., Simões-Marques, M. & Correia, N., 1 Jan 2019, Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018) - Volume V: Human Simulation and Virtual Environments, Work With Computing Systems WWCS, Process Control. Fujita, Y., Bagnara, S., Tartaglia, R., Albolino, S. & Alexander, T. (eds.). Springer Verlag, p. 195-204 10 p. (Advances in Intelligent Systems and Computing; vol. 822).

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

Augmented reality
Application programs
Mobile devices
Testing
Disasters

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 journalArticle

Open Access
Syntactics
Persistence
Concretes
Operator
Answer Set Programming

Prizes

Best Paper Award at CAISE 2014

Miguel Carlos Pacheco Afonso Goulão (Recipient), Jun 2014

Prize: Prize (including medals and awards)

Prémio Científico IBM Portugal 2015

Matthias Knorr (Recipient), 2016

Prize: Prize (including medals and awards)

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 eventParticipation 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 20187 Sep 2018

Activity: Participating in or organising an eventParticipation 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 workEditorial activity