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

43 Team Members
Filters -> Year: 2026
2461
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: 10
2462
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
2463
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
2464
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
2465
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
2466
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
2467
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
2468
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
2469
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
2470
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
2471
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
2472
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
2473
TÍTULO: Aspects of enumeration and generation with a string automata representation
AUTORES: Almeida, M; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2006, FONTE: 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 in 8th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2006 - Proceedings, PÁGINAS: 58-69
INDEXADO EM: Scopus DBLP
2474
TÍTULO: Clustering fetal heart rate tracings by compression PDF
AUTORES: Cristina Costa Santos; João Bernardes; Paul M. B. Vitányi; Luis Antunes ;
PUBLICAÇÃO: 2006, FONTE: CoRR, VOLUME: abs/q-bio/0612013
INDEXADO EM: DBLP arXiv
2475
TÍTULO: Clustering fetal heart rate tracings by compression  Full Text
AUTORES: Santos C Costa ; Bernardes, J ; Vitanyi, PMB; Antunes, L ;
PUBLICAÇÃO: 2006, FONTE: 19th IEEE Symposium on Computer-Based Medical Systems in 19TH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, VOLUME: 2006, PÁGINAS: 685-690
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
2476
TÍTULO: Combining color with spatial and temporal position of the endoscopic capsule for improved topographic classification and segmentation PDF
AUTORES: Coimbra, M ; Kustra, J; Campos, P; Silva Cunha, JP ;
PUBLICAÇÃO: 2006, FONTE: 1st International Conference on Semantic and Digital Media Technologies, SAMT 2006 in CEUR Workshop Proceedings, VOLUME: 233, PÁGINAS: 17-18
INDEXADO EM: Scopus DBLP
2477
TÍTULO: Computational depth: Concept and applications  Full Text
AUTORES: Antunes, L ; Fortnow, Lance ; van Melkebeek, D; Vinodchandran, NV;
PUBLICAÇÃO: 2006, FONTE: 14th International Symposium on Fundamentals of Computation Theory in THEORETICAL COMPUTER SCIENCE, VOLUME: 354, NÚMERO: 3, PÁGINAS: 391-404
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
2478
TÍTULO: Design of an end-to-end method to extract information from tables  Full Text
AUTORES: Ana Costa e Silva; Alipio M Jorge ; Luis Torgo ;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Document Layout Interpretation and its Applications (DLIA 2003) in INTERNATIONAL JOURNAL ON DOCUMENT ANALYSIS AND RECOGNITION, VOLUME: 8, NÚMERO: 2-3, PÁGINAS: 144-171
INDEXADO EM: Scopus WOS DBLP CrossRef: 68
2479
TÍTULO: Designing a solver for arithmetic constraints to support education in mathematics  Full Text
AUTORES: Ana Paula Tomas ; Nelma Moreira ; Nuno Pereira;
PUBLICAÇÃO: 2006, FONTE: 3rd IFIP Conference on Artificial Intelligence Applications and Innovation (AIAI 2006) in Artificial Intelligence Applications and Innovations, VOLUME: 204, PÁGINAS: 433-441
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2480
TÍTULO: Distribution rules with numeric attributes of interest
AUTORES: Alipio M Jorge ; Paulo J Azevedo ; Fernando Pereira;
PUBLICAÇÃO: 2006, FONTE: 10th European Conference on Principle and Practice of Knowledge Discovery in Databases in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2006, PROCEEDINGS, VOLUME: 4213, PÁGINAS: 247-258
INDEXADO EM: Scopus WOS DBLP CrossRef: 17

Results per Page: 20.
Página 124 de 140. Total de resultados: 2795.