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

43 Team Members
Filters -> Year: 2025
2301
TÍTULO: The Power of Closed Reduction Strategies
AUTORES: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, NÚMERO: 10 SPEC. ISS., PÁGINAS: 57-74
INDEXADO EM: Scopus DBLP CrossRef: 3
2302
TÍTULO: Topic maps applied to PubMed
AUTORES: Librelotto, GR; Machado, HT; Martins, M; Ferreira, PGD ; Ramalho, JC; Henriques, PR ;
PUBLICAÇÃO: 2007, FONTE: Extreme Markup Languages 2007 Conference in Proceedings of Extreme Markup Languages 2007 Conference
INDEXADO EM: Scopus
2303
TÍTULO: Type-Based Static and Dynamic Website Verification
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: 2nd International Conference on Internet and Web Applications and Services, ICIW'07 in International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, PÁGINAS: 32
INDEXADO EM: Scopus DBLP CrossRef: 5
2304
TÍTULO: Ubiquitous access through the integration of mobile ad-hoc networks
AUTORES: Sargento, S ; Sarro, R; Duarte, R; Stupar, P; Gallera, F; Natkaniec, M; Vilela, JP ; Barros, J ;
PUBLICAÇÃO: 2007, FONTE: 16th IST Mobile and Wireless Communications in 2007 PROCEEDINGS OF THE 16TH IST MOBILE AND WIRELESS COMMUNICATIONS, VOLS 1-3, PÁGINAS: 1072-1077
INDEXADO EM: Scopus WOS CrossRef
2305
TÍTULO: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTORES: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2007, FONTE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502, PÁGINAS: 221-236
INDEXADO EM: Scopus WOS
2306
TÍTULO: Utility-based regression
AUTORES: Luis Torgo ; Rita Ribeiro ;
PUBLICAÇÃO: 2007, FONTE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in Knowledge Discovery in Databases: PKDD 2007, Proceedings, VOLUME: 4702, PÁGINAS: 597-604
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
2307
TÍTULO: Why Facilitate Patient Access to Medical Records
AUTORES: Ferreira, A ; Correia, A; Silva, A; Corte, A; Pinto, A; Saavedra, A; Pereira, AL; Pereira, AF; Cruz Correia, R ; Antunes, LF ;
PUBLICAÇÃO: 2007, FONTE: 4th Conference of the International-Council-on-Medical-and-Care-Compunetics in MEDICAL AND CARE COMPUNETICS 4, VOLUME: 127, PÁGINAS: 77-+
INDEXADO EM: Scopus WOS
2308
TÍTULO: XCentric: A Logic-Programming Language for XML Processing PDF
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007, PÁGINAS: 93-94
INDEXADO EM: DBLP
2309
TÍTULO: XCentric: logic programming for XML processing. logic programming for XML processing
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: 9th Annual ACM International Workshop on Web Information and Data Management, WIDM '07, Co-located with the 16th ACM Conference on Information and Knowledge Management, CIKM '07 in 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), Lisbon, Portugal, November 9, 2007, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef
2310
TÍTULO: A Calculus for Sensor Networks PDF
AUTORES: Miguel S. Silva; Francisco Martins; Luís M. B. Lopes ; João Barros;
PUBLICAÇÃO: 2006, FONTE: CoRR, VOLUME: abs/cs/0612093
INDEXADO EM: DBLP arXiv
2311
TÍTULO: A framework for point-free program transformation  Full Text
AUTORES: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLICAÇÃO: 2006, FONTE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PÁGINAS: 1-18
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
2312
TÍTULO: A mobile agent service-oriented scripting language encoded on a process calculus
AUTORES: Herve Paulino ; Luis Lopes ;
PUBLICAÇÃO: 2006, FONTE: 7th Joint Modular Languages Conference (JMLC 2006) in MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, VOLUME: 4228, PÁGINAS: 383-402
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2313
TÍTULO: A pipelined data-parallel algorithm for ILP
AUTORES: Fonseca, NA ; Silva, F ; Costa, VS ; Camacho, R ;
PUBLICAÇÃO: 2006, FONTE: IEEE International Conference on Cluster Computing in 2005 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), PÁGINAS: 253-262
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
2314
TÍTULO: A secure wireless architecture to access a virtual electronic patient record
AUTORES: Ana Ferreira ; Barreto, L. ; Pedro Brandão ; Ricardo João Cruz Correia ; Susana Sargento ; Luis Antunes ;
PUBLICAÇÃO: 2006, FONTE: 1st International ICST Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2006, Innsbruck, Austria, November 29 - December 1, 2006, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef: 1 Unpaywall
2315
TÍTULO: A service-oriented language for programming mobile agents
AUTORES: Paulino, H ; Lopes, L ;
PUBLICAÇÃO: 2006, FONTE: Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS in Proceedings of the International Conference on Autonomous Agents, VOLUME: 2006, PÁGINAS: 1294-1296
INDEXADO EM: Scopus DBLP CrossRef: 4
2316
TÍTULO: A web-based system to monitor the quality of meta-data in web portals
AUTORES: Marcos Auerlio Domingues; Carlos Soares ; Alipio Mario Jorge ;
PUBLICAÇÃO: 2006, FONTE: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006) in 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, Workshops Proceedings, PÁGINAS: 188-191
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2317
TÍTULO: Acyclic automata with easy-to-find short regular expressions  Full Text
AUTORES: Morais, JJ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 10th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 3845, PÁGINAS: 349-350
INDEXADO EM: WOS DBLP CrossRef: 3
2318
TÍTULO: An ensemble regression approach for bus trip time prediction
AUTORES: João M Moreira; Jorge F de Sousa; Alípio M Jorge ; Carlos Soares;
PUBLICAÇÃO: 2006
INDEXADO EM: Handle
2319
TÍTULO: An external module for implementing linear tabling in prolog (Extended abstract)
AUTORES: Claudio Silva; Ricardo Rocha ; Ricardo Lopes ;
PUBLICAÇÃO: 2006, FONTE: 22nd International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4079, PÁGINAS: 429-430
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2320
TÍTULO: April - An inductive logic programming system
AUTORES: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2006, FONTE: 10th European Conference on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4160, PÁGINAS: 481-484
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Handle

Results per Page: 20.
Página 116 de 133. Total de resultados: 2645.