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

43 Team Members
Filters -> Year: 2025
1481
TÍTULO: An Infra-Structure for Performance Estimation and Experimental Comparison of Predictive Models in R PDF
AUTORES: Luis Torgo ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1412.0436
INDEXADO EM: DBLP arXiv
1482
TÍTULO: An Online Learning Framework for Predicting the Taxi Stand's Profitability
AUTORES: Luis Moreira Matias ; Joao Mendes Moreira ; Michel Ferreira ; Joao Gama ; Luis Damas;
PUBLICAÇÃO: 2014, FONTE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 2009-2014
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1483
TÍTULO: Assessing Cosmetic Results After Breast Conserving Surgery. The Evolution of Cosmetic Evaluation  Full Text
AUTORES: Maria Joao Cardoso ; Helder Oliveira ; Jaime Cardoso ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SURGICAL ONCOLOGY, VOLUME: 110, NÚMERO: 1, PÁGINAS: 37-44
INDEXADO EM: Scopus WOS CrossRef: 36
1484
TÍTULO: Bidirectional Spreadsheet Formulas
AUTORES: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PÁGINAS: 161-168
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1485
TÍTULO: BiFluX: A Bidirectional Functional Update Language for XML. A Bidirectional Functional Update Language for XML
AUTORES: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PÁGINAS: 147-158
INDEXADO EM: Scopus DBLP CrossRef: 18
1486
TÍTULO: CAOVerif: An open-source deductive verification platform for cryptographic software implementations  Full Text
AUTORES: Jose Bacelar Almeida ; Manuel Barbosa ; Jean Christophe Filliatre; Jorge Sousa Pinto ; Barbara Vieira;
PUBLICAÇÃO: 2014, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, NÚMERO: PART B, PÁGINAS: 216-233
INDEXADO EM: Scopus WOS DBLP CrossRef
1487
TÍTULO: Challenges in Computing Semantic Relatedness for Large Semantic Graphs
AUTORES: Costa, T ; Leal, JP ;
PUBLICAÇÃO: 2014, FONTE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PÁGINAS: 376-377
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1488
TÍTULO: Classifying Heart Sounds using SAX Motifs, Random Forests and Text Mining techniques
AUTORES: Gomes, Elsa Ferreira ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLICAÇÃO: 2014, FONTE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PÁGINAS: 334-337
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Handle
1489
TÍTULO: Compiling CAO: From cryptographic specifications to C implementations
AUTORES: Barbosa, M ; Castro, D; Silva, PF ;
PUBLICAÇÃO: 2014, FONTE: 3rd International Conference on Principles of Security and Trust, POST 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8414 LNCS, PÁGINAS: 240-244
INDEXADO EM: Scopus DBLP CrossRef: 1
1490
TÍTULO: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTORES: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PÁGINAS: 285-301
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1491
TÍTULO: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTORES: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLICAÇÃO: 2014, FONTE: 7th International Workshop on Network on Chip Architectures, NoCArc 2014 in 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, VOLUME: 13-December-2014, PÁGINAS: 200-206
INDEXADO EM: Scopus DBLP CrossRef: 2
1492
TÍTULO: Couillard: Parallel programming via coarse-grained Data-flow Compilation  Full Text
AUTORES: Leandro A J Marzulo; Tiago A O Alves; Felipe M G Franca; Vitor Santos Costa ;
PUBLICAÇÃO: 2014, FONTE: PARALLEL COMPUTING, VOLUME: 40, NÚMERO: 10, PÁGINAS: 661-680
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
1493
TÍTULO: Counting Equivalent Linear Finite Transducers Using a Canonical Form
AUTORES: Ivone Amorim ; Antonio Machiavelo ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PÁGINAS: 70-83
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1495
TÍTULO: Demo: wireless IP mesh on android for fire-fighters monitoring. wireless IP mesh on android for fire-fighters monitoring
AUTORES: Ana Aguiar ; Eduardo Soares ; Pedro Brandão ; Tiago Magalhães; José Maria Fernandes ; Ilídio Castro Oliveira;
PUBLICAÇÃO: 2014, FONTE: 9th ACM MobiCom Workshop on Challenged Networks, CHANTS 2014 in Proceedings of the 9th ACM MobiCom workshop on Challenged networks, CHANTS '14, Maui, Hawaii, USA, September 7, 2014, PÁGINAS: 89-92
INDEXADO EM: Scopus DBLP CrossRef: 3
1496
TÍTULO: Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs
AUTORES: Flávio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLICAÇÃO: 2014, FONTE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PÁGINAS: 43-54
INDEXADO EM: Scopus DBLP CrossRef: 3
1497
TÍTULO: Detecting melanoma in dermoscopy images using scale adaptive local binary patterns
AUTORES: Farhan Riaz; Ali Hassan; Muhammad Younus Javed; Miguel Tavares Coimbra ;
PUBLICAÇÃO: 2014, FONTE: 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014 in 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014, Chicago, IL, USA, August 26-30, 2014, PÁGINAS: 6758-6761
INDEXADO EM: Scopus DBLP CrossRef: 19
1499
TÍTULO: DIABETES MANAGEMENT ON SMARTPHONES
AUTORES: Graca, J; Brandao, P ; Neves, C; Esteves, C; Pereira, M; Belo, S; Sousa, Z; Carvalho, D;
PUBLICAÇÃO: 2014, FONTE: DIABETES TECHNOLOGY & THERAPEUTICS, VOLUME: 16
INDEXADO EM: WOS
1500
TÍTULO: Discovering Colored Network Motifs
AUTORES: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLICAÇÃO: 2014, FONTE: Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014, VOLUME: 549, PÁGINAS: 107-118
INDEXADO EM: Scopus DBLP CrossRef: 18

Results per Page: 20.
Página 75 de 134. Total de resultados: 2675.