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: 2637

43 Team Members
Filters -> Year: 2024
1181
TÍTULO: Distinguishing Two Probability Ensembles with One Sample from each Ensemble  Full Text
AUTORES: Luis Antunes ; Harry Buhrman; Armando Matos; Andre Souto ; Andreia Teixeira ;
PUBLICAÇÃO: 2016, FONTE: THEORY OF COMPUTING SYSTEMS, VOLUME: 59, NÚMERO: 3, PÁGINAS: 517-531
INDEXADO EM: Scopus WOS DBLP CrossRef
1182
TÍTULO: EduBridge Social Bridging Social Networks and Learning Management Systems
AUTORES: Oliveira, L ; Figueira, A ;
PUBLICAÇÃO: 2016, FONTE: 8th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1 (CSEDU), VOLUME: 1, PÁGINAS: 162-171
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
1183
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: 13 Handle
1184
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
1185
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
1186
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
1187
TÍTULO: Exploratory Study of the Cardiac Dynamic Trajectory in the Embedding Space PDF
AUTORES: Jorge Oliveira ; Bruna Cardoso; Miguel T Coimbra ;
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
1188
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
1189
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
1190
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: 14
1191
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
1192
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages
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
1193
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
1194
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: 31
1195
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
1196
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
1197
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: 17
1198
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: 12
1199
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
1200
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: 2 Unpaywall

Results per Page: 20.
Página 60 de 132. Total de resultados: 2637.