CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
8601
TITLE: Adaptive Bayes
AUTHORS: Gama, J ; Castillo, G;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 765-774
INDEXED IN: Scopus WOS DBLP CrossRef: 11
8602
TITLE: An Analysis of Functional Trees
AUTHORS: João Gama ;
PUBLISHED: 2002, SOURCE: Machine Learning, Proceedings of the Nineteenth International Conference (ICML 2002), University of New South Wales, Sydney, Australia, July 8-12, 2002, PAGES: 155-162
INDEXED IN: DBLP
8603
TITLE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTHORS: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLISHED: 2002, SOURCE: APPSEM, VOLUME: 2395
INDEXED IN: DBLP
8604
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 183-197
INDEXED IN: DBLP CrossRef: 2
8605
TITLE: Component-based programming for higher-order attribute grammars PDF
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2487, PAGES: 268-282
INDEXED IN: Scopus WOS DBLP CrossRef: 3
8606
TITLE: Displays for direct comparison of ARIMA models
AUTHORS: Heiberger, RM; Teles, P ;
PUBLISHED: 2002, SOURCE: AMERICAN STATISTICIAN, VOLUME: 56, ISSUE: 2, PAGES: 131-138
INDEXED IN: WOS CrossRef
8607
TITLE: Distributed shared memory in kernel mode
AUTHORS: Trevisan, TS; Costa, VS ; Whately, L; Amorim, CL;
PUBLISHED: 2002, SOURCE: 14th Symposium on Computer Architecture and High Performance Computing in 14TH SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 159-166
INDEXED IN: WOS DBLP CrossRef: 2
8608
TITLE: Encoding linear logic with interaction combinators  Full Text
AUTHORS: Mackie, I; Pinto, JS ;
PUBLISHED: 2002, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 176, ISSUE: 2, PAGES: 153-186
INDEXED IN: Scopus WOS DBLP CrossRef: 11
8609
TITLE: Fast and guaranteed C compilation onto the PACT-XPP (TM) reconfigurable computing platform
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PAGES: 291-292
INDEXED IN: WOS DBLP CrossRef: 3
8610
TITLE: From simulation to practice. cache performance study of a Prolog system
AUTHORS: Ricardo Lopes; Luís Fernando Castro; Vítor Santos Costa ;
PUBLISHED: 2002, SOURCE: Proceedings of the workshop on Memory system performance - MSP '02
INDEXED IN: CrossRef
8611
TITLE: From simulation to practice: Cache performance study of a Prolog system
AUTHORS: Lopes, R; Castro, LF; Costa, VS ;
PUBLISHED: 2002, SOURCE: 2002 Workshop on Memory System Performance, MSP 2002 in Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002, PAGES: 56-64
INDEXED IN: Scopus
8612
TITLE: Hybrid wired/wireless PROFIBUS networks supported by bridges/routers
AUTHORS: Ferreira, L ; Alves, M ; Tovar, E ;
PUBLISHED: 2002, SOURCE: 4th IEEE International Workshop on Factory Communication Systems in 4TH IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, VOLUME: 2002-January, PAGES: 193-202
INDEXED IN: Scopus WOS CrossRef
8613
TITLE: Improved dataset characterisation for meta-learning
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
INDEXED IN: Scopus WOS DBLP CrossRef: 76
8614
TITLE: Mapping rules to convert from ODL to XML-SCHEMA  Full Text
AUTHORS: de Sousa, AA ; Pereira, JL; Carvalho, JA ;
PUBLISHED: 2002, SOURCE: 22nd International Conference of the Chilean-Computer-Science-Society in XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, VOLUME: 2002-January, PAGES: 133-141
INDEXED IN: Scopus WOS DBLP CrossRef
8615
TITLE: Motion of the foot and ankle during the stance phase in rats  Full Text
AUTHORS: Varejao, ASP ; Cabrita, AM ; Meek, MF; Bulas Cruz, J; Gabriel, RC ; Filipe, VM ; Melo Pinto, P ; Winter, DA;
PUBLISHED: 2002, SOURCE: MUSCLE & NERVE, VOLUME: 26, ISSUE: 5, PAGES: 630-635
INDEXED IN: Scopus WOS CrossRef: 57
8616
TITLE: Multiple dimension approach for ontology mapping
AUTHORS: Silva, N ; Rocha, J ;
PUBLISHED: 2002, SOURCE: 6th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2002)/8th International Conference on Information Systems Analysis and Synthesis (ISAS 2002) in 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XII, PROCEEDINGS: INDUSTRIAL SYSTEMS AND ENGINEERING II, PAGES: 102-107
INDEXED IN: WOS
8617
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types PDF
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 259-274
INDEXED IN: DBLP
8618
TITLE: Optimistic total order in wide area networks  Full Text
AUTHORS: Sousa, A ; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 190-199
INDEXED IN: Scopus WOS DBLP CrossRef: 22
8619
TITLE: P-3: Parallel peer to peer an - Internet parallel programming environment
AUTHORS: Oliveira, L ; Lopes, L ; Silva, F ;
PUBLISHED: 2002, SOURCE: International Workshop on Web Engineering/International Workshop on Peer-to-Peer Computing held Jointly with Networking 2002 in WEB ENGINEERING AND PEER TO PEER COMPUTING, VOLUME: 2376, PAGES: 274-288
INDEXED IN: Scopus WOS DBLP CrossRef: 11
8620
TITLE: Performance evaluation of fast Ethernet, Giganet and Myrinet on a cluster
AUTHORS: Lobosco, M; Costa, VS ; de Amorim, CL;
PUBLISHED: 2002, SOURCE: International Conference on Computational Science in COMPUTATIONAL SCIENCE-ICCS 2002, PT I, PROCEEDINGS, VOLUME: 2329, ISSUE: PART 1, PAGES: 296-305
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 431 de 449. Total de resultados: 8962.