Research Output per year
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.
Profiles
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 proceeding › Conference 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 proceeding › Conference 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 journal › Article
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)
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
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 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