Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 2794

43 Team Members
Filters -> Year: 2026
1341
TÍTULO: Enki: A Pedagogical Services Aggregator for Learning Programming Languages. A Pedagogical Services Aggregator for Learning Programming Languages
AUTORES: José Carlos Paiva ; José Paulo Leal ; Ricardo Alexandre Peixoto Queirós ;
PUBLICAÇÃO: 2016, FONTE: 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016 in Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016, VOLUME: 11-13-July-2016, PÁGINAS: 332-337
INDEXADO EM: Scopus DBLP CrossRef: 15 Handle
1342
TÍTULO: Eshu: An Extensible Web Editor for Diagrammatic Languages
AUTORES: José Paulo Leal ; Helder Correia ; José Carlos Paiva ;
PUBLICAÇÃO: 2016, FONTE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51, PÁGINAS: 12:1-12:13
INDEXADO EM: Scopus DBLP
1343
TÍTULO: Estimation-Based Search Space Traversal in PILP Environments
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: 26th International Conference on Inductive Logic Programming, ILP 2016 in Inductive Logic Programming - 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers, VOLUME: 10326, PÁGINAS: 1-13
INDEXADO EM: Scopus DBLP CrossRef: 2
1344
TÍTULO: Expedite Feature Extraction for Enhanced Cloud Anomaly Detection  Full Text
AUTORES: Bruno L Dalmazo; Joao P Vilela ; Paulo Simoes; Marilia Curado ;
PUBLICAÇÃO: 2016, FONTE: IEEE/IFIP Network Operations and Management Symposium (NOMS) in NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, PÁGINAS: 1215-1220
INDEXADO EM: Scopus WOS CrossRef: 9
1345
TÍTULO: Exploratory Study of the Cardiac Dynamic Trajectory in the Embedding Space PDF
AUTORES: Oliveira, J ; Cardoso, B; Coimbra, MT ;
PUBLICAÇÃO: 2016, FONTE: 43rd Computing in Cardiology Conference (CinC) in 2016 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 43, VOLUME: 43, PÁGINAS: 193-196
INDEXADO EM: Scopus WOS DBLP CrossRef
1346
TÍTULO: Exploring the Solution Space of Self-Automated Parking Lots: An Empirical Evaluation of Vehicle Control Strategies
AUTORES: d'Orey, PM ; Azevedo, J; Ferreira, M ;
PUBLICAÇÃO: 2016, FONTE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1134-1140
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1347
TÍTULO: FastStep: Scalable Boolean Matrix Decomposition
AUTORES: Miguel Araujo ; Pedro Ribeiro ; Christos Faloutsos ;
PUBLICAÇÃO: 2016, FONTE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PÁGINAS: 461-473
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1348
TÍTULO: Feature Nets: behavioural modelling of software product lines  Full Text
AUTORES: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4, PÁGINAS: 1181-1206
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
1349
TÍTULO: Fitting of Breast Data Using Free Form Deformation Technique
AUTORES: Hooshiar Zolfagharnasab ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLICAÇÃO: 2016, FONTE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PÁGINAS: 608-615
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1350
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages PDF  Full Text
AUTORES: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, NÚMERO: 2, PÁGINAS: 53-68
INDEXADO EM: Scopus WOS DBLP arXiv
1351
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2016, PÁGINAS: 14
INDEXADO EM: DBLP
1352
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2016, FONTE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PÁGINAS: 245-260
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
1353
TÍTULO: Gamification of Learning Activities with the Odin service  Full Text
AUTORES: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2016, FONTE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, NÚMERO: 3, PÁGINAS: 809-826
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle
1354
TÍTULO: Generating error control codes with automata and transducers
AUTORES: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2016, FONTE: Eighth Workshop on Non-Classical Models of Automata and Applications, NCMA 2016, Debrecen, Hungary, August 29-30, 2016. Proceedings, VOLUME: 321, PÁGINAS: 211-226
INDEXADO EM: DBLP
1355
TÍTULO: Geometry-Based Propagation Modeling and Simulation of Vehicle-to-Infrastructure Links
AUTORES: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLICAÇÃO: 2016, FONTE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
INDEXADO EM: Scopus WOS CrossRef: 20
1356
TÍTULO: GTE-Rank: A time-aware search engine to answer time-sensitive queries  Full Text
AUTORES: Ricardo Campos ; Gael Dias; Alipio Jorge ; Celia Nunes ;
PUBLICAÇÃO: 2016, FONTE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 52, NÚMERO: 2, PÁGINAS: 273-298
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1357
TÍTULO: Hail-a-Drone: Enabling teleoperated taxi fleets
AUTORES: Pedro M d'Orey ; Amin Hosseini; Jose Azevedo; Frank Diermeyer; Michel Ferreira ; Markus Lienkamp;
PUBLICAÇÃO: 2016, FONTE: IEEE Intelligent Vehicles Symposium (IV) in 2016 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PÁGINAS: 774-781
INDEXADO EM: WOS DBLP CrossRef: 10
1358
TÍTULO: Hierarchical time series forecast in electrical grids
AUTORES: Almeida, V ; Ribeiro, R ; Gama, J ;
PUBLICAÇÃO: 2016, FONTE: International Conference on Information Science and Applications, ICISA 2016 in Lecture Notes in Electrical Engineering, VOLUME: 376, PÁGINAS: 995-1005
INDEXADO EM: Scopus CrossRef: 3 Unpaywall
1359
TÍTULO: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTORES: Ramachandran, GS; Proenca, J ; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, NÚMERO: 1, PÁGINAS: 4:1-4:15
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
1360
TÍTULO: How Well Can The Fusion of Gabor Filters And Local Binary Patterns Help In Identifying Gastric Lesions?
AUTORES: Farhan Riaz; Ali Hassan; Pedro Pimentel Nunes ; Diogo L E J Libnio e Jorge Lage; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PÁGINAS: 1204-1207
INDEXADO EM: WOS DBLP CrossRef

Results per Page: 20.
Página 68 de 140. Total de resultados: 2794.