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
2421
TÍTULO: Inferring cost equations for recursive, polymorphic and higher-order functional programs
AUTORES: Vasconcelos, PB ; Hammond, Kevin ;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3145, PÁGINAS: 86-101
INDEXADO EM: Scopus CrossRef: 47
2422
TÍTULO: Integrity for electronic patient record reports
AUTORES: Ferreira, A ; Correia, R ; Antunes, L ; Palhares, E; Marques, P ; Costa, P; Pereira, AD ;
PUBLICAÇÃO: 2004, FONTE: 17th IEEE Symposium on Computer-Based Medical Systems in 17TH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, VOLUME: 17, PÁGINAS: 4-9
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
2423
TÍTULO: Linearization of the lambda-calculus and its relation with intersection type systems
AUTORES: Florido, M ; Damas, L ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, NÚMERO: 5, PÁGINAS: 519-546
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
2424
TÍTULO: Model-based collaborative filtering for team building support
AUTORES: Veloso, M; Jorge, A ; Azevedo, PJ ;
PUBLICAÇÃO: 2004, FONTE: ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems in ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems, PÁGINAS: 241-248
INDEXADO EM: Scopus DBLP
2425
TÍTULO: On avoiding redundancy in inductive logic programming
AUTORES: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2004, FONTE: 14th International Conference on Inductive Logic Programming (ILP 2004) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3194, PÁGINAS: 132-146
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
2426
TÍTULO: Partitioning orthogonal polygons by extension of all edges incident to reflex vertices: Lower and upper bounds on the number of pieces
AUTORES: Bajuelos, AL ; Tomas, AP ; Marques, F;
PUBLICAÇÃO: 2004, FONTE: International Conference on Computational Science and Its Applications (ICSSA 2004) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3, VOLUME: 3045, PÁGINAS: 127-136
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2427
TÍTULO: Performance evaluation of the RSVP reservation aggregation model
AUTORES: Prior, R ; Sargento, S ; Brandao, P ; Crisostomo, S ;
PUBLICAÇÃO: 2004, FONTE: 7th IEEE International Conference on High Speech Networks and Multimedia Communications in HIGH SPEED NETWORKS AND MULTIMEDIA COMMUNICATIONS, PROCEEDINGS, VOLUME: 3079, PÁGINAS: 167-178
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2428
TÍTULO: Pruning in the extended Andorra model  Full Text
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057, PÁGINAS: 120-134
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2429
TÍTULO: Quadratic-time linear-space algorithms for generating orthogonal polygons with a given number of vertices
AUTORES: Tomas, AP ; Bajuelos, AL ;
PUBLICAÇÃO: 2004, FONTE: International Conference on Computational Science and Its Applications (ICSSA 2004) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 3, VOLUME: 3045, PÁGINAS: 117-126
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
2430
TÍTULO: Query transformations for improving the efficiency of ILP systems  Full Text
AUTORES: Costa, VS ; Srinivasan, A; Camacho, R ; Blockeel, H; Demoen, B; Janssens, G; Struyf, J; Vandecasteele, H; Van Laer, W;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Inductive Logic Programming (ILP2000) in JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 4, NÚMERO: 4, PÁGINAS: 465-491
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
2431
TÍTULO: Random start local search and tabu search for a discrete lot-sizing and scheduling problem
AUTORES: Pereira, A ; Carvalho, F; Constantino, M; Pedroso, JP ;
PUBLICAÇÃO: 2004, FONTE: 4th Metaheuristics International Conference in METAHEURISTICS: COMPUTER DECISION-MAKING, VOLUME: 86, PÁGINAS: 575-600
INDEXADO EM: WOS CrossRef
2432
TÍTULO: Secure routing in ad hoc networks for reactive next hop routing protocols
AUTORES: Brandao, P ; Sargento, S ; Crisostomo, S ; Prior, R ;
PUBLICAÇÃO: 2004, FONTE: International Conference on Wireless Networks/International Conference on Pervasive Computing and Communications in ICWN'04 & PCC'04, VOLS, 1 AND 2, PROCEEDINGS, VOLUME: 1, PÁGINAS: 109-115
INDEXADO EM: Scopus WOS DBLP
2433
TÍTULO: Segmentation of moving pedestrians within the compressed domain
AUTORES: Miguel T Coimbra ; Mike Davies;
PUBLICAÇÃO: 2004, FONTE: Proceedings - IEEE International Conference on Acoustics, Speech, and Signal Processing in 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2004, Montreal, Quebec, Canada, May 17-21, 2004, VOLUME: 3, PÁGINAS: 605-608
INDEXADO EM: Scopus DBLP CrossRef: 2
2434
TÍTULO: Speculative computations in or-parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132, PÁGINAS: 254-268
INDEXADO EM: Scopus WOS DBLP CrossRef
2435
TÍTULO: SRBQ and RSVPRAgg: A comparative study
AUTORES: Prior, R ; Sargento, S ; Brandao, P ; Crisostomo, S ;
PUBLICAÇÃO: 2004, FONTE: 11th International Conference on Telecommunications in TELECOMMUICATIONS AND NETWORKING - ICT 2004, VOLUME: 3124, PÁGINAS: 1210-1217
INDEXADO EM: Scopus WOS DBLP CrossRef
2436
TÍTULO: Study of hybrid coherence protocols for parallel logic programming systems
AUTORES: De Oliveira, EPG; Ramos, F; De Dutra, IC ; De Castro, MCS;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PÁGINAS: 821-826
INDEXADO EM: Scopus
2437
TÍTULO: The decidability of a fragment of BB ' IW-logic  Full Text
AUTORES: Broda, S ; Damas, L ; Finger, M; Silva, PSE;
PUBLICAÇÃO: 2004, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 318, NÚMERO: 3, PÁGINAS: 373-408
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2438
TÍTULO: The MyYapDB deductive database system
AUTORES: Ferreira, M ; Rocha, R ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229, PÁGINAS: 710-713
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2439
TÍTULO: A CLP-based tool for computer aided generation and solving of maths exercises
AUTORES: Tomas, AP ; Leal, JP ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PÁGINAS: 223-240
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
2440
TÍTULO: A multi-agent system for automated timetabling with shared resources
AUTORES: Pedroso, JP ;
PUBLICAÇÃO: 2003, FONTE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PÁGINAS: 359-363
INDEXADO EM: Scopus WOS

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