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

531 Team Members
Filters -> Year: 2024
7061
TÍTULO: Code Transformations  Full Text
AUTORES: João M P Cardoso ; Pedro C Diniz;
PUBLICAÇÃO: 2008, FONTE: Compilation Techniques for Reconfigurable Architectures, PÁGINAS: 67-107
INDEXADO EM: CrossRef
7062
TÍTULO: Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures
AUTORES: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLICAÇÃO: 2008, FONTE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PÁGINAS: 320-321
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
7063
TÍTULO: Compilation and Synthesis Flows  Full Text
AUTORES: João M P Cardoso ; Pedro C Diniz;
PUBLICAÇÃO: 2008, FONTE: Compilation Techniques for Reconfigurable Architectures, PÁGINAS: 33-65
INDEXADO EM: CrossRef
7064
TÍTULO: Compile the Hypothesis Space: Do it Once, Use it Often  Full Text
AUTORES: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
PUBLICAÇÃO: 2008, FONTE: 18th European Conference on Machine Learning (ECML 2007)/11th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007) in FUNDAMENTA INFORMATICAE, VOLUME: 89, NÚMERO: 1, PÁGINAS: 45-67
INDEXADO EM: Scopus WOS DBLP
7065
TÍTULO: Compilers for Reconfigurable Architectures  Full Text
AUTORES: João M P Cardoso ; Pedro C Diniz;
PUBLICAÇÃO: 2008, FONTE: Compilation Techniques for Reconfigurable Architectures, PÁGINAS: 155-176
INDEXADO EM: CrossRef
7066
TÍTULO: COMPSTAT 2008
AUTORES: Paula Brito ;
PUBLICAÇÃO: 2008
INDEXADO EM: CrossRef: 2 Openlibrary
7067
TÍTULO: Connecting Rigorous System Analysis to Experience-Centered Design
AUTORES: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLICAÇÃO: 2008, FONTE: Maturing Usability - Quality in Software, Interaction and Value, PÁGINAS: 56-74
INDEXADO EM: DBLP CrossRef: 1
7068
TÍTULO: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTORES: Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2008, FONTE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940, PÁGINAS: 193-209
INDEXADO EM: Scopus WOS DBLP CrossRef
7069
TÍTULO: Contextualization of Programming Learning: A Virtual Environment Study  Full Text
AUTORES: Micaela Esteves ; Bejamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLICAÇÃO: 2008, FONTE: IEEE Frontiers in Education Conference 2008 in FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, PÁGINAS: 644-649
INDEXADO EM: Scopus WOS CrossRef: 7
7070
TÍTULO: Controlo de assiduidade em aulas efectuadas em second life®
AUTORES: Madeira, A; Antunes, R; Morgado, L ; Pereira, A;
PUBLICAÇÃO: 2008, FONTE: 3rd Iberian Conference on Information Systems and Technologies, CISTI 2008 in Iberian Conference on Information Systems and Technologies, CISTI
INDEXADO EM: Scopus
7071
TÍTULO: Cooperative intelligent system for manufacturing scheduling
AUTORES: Madureira, A ; Santos, J; Pereira, I;
PUBLICAÇÃO: 2008, FONTE: 10th WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering in MMACTEE' 08: PROCEEDINGS OF THE 10TH WSEAS INTERNATIONAL CONFERENCE MATHERMATICAL METHODS AND COMPUTATIONAL TECHNIQUES IN ELECTRICAL ENGINEERING: COMPUTATIONAL METHODS AND INTELLIGENT SYSTEMS, PÁGINAS: 295-300
INDEXADO EM: WOS Handle
7072
TÍTULO: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTORES: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLICAÇÃO: 2008, FONTE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, PÁGINAS: 265-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
7073
TÍTULO: Coupling optimization to the algorithm for a mixer-settler system
AUTORES: Gomes, EF ; Pinto, GA; Guimaraes, MML; Ribeiro, LM;
PUBLICAÇÃO: 2008, FONTE: 6th International Conference on Engineering Computational Technology, ECT 2008 in Proceedings of the 6th International Conference on Engineering Computational Technology
INDEXADO EM: Scopus CrossRef
7074
TÍTULO: Deriving Sorting Algorithms PDF
AUTORES: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0802.3881
INDEXADO EM: DBLP arXiv
7075
TÍTULO: Design of a repository of programming problem
AUTORES: José P Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2008, FONTE: ACM-ICPC 2nd Competitive Learning Symposium - CLIS 2008
INDEXADO EM: Handle
7076
TÍTULO: Disciplined composition of aspects using tests
AUTORES: André Restivo ; Ademar Aguiar ;
PUBLICAÇÃO: 2008, FONTE: 4th Linking Aspect Technology and Evolution Workshop, LATE'08 - Held at the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008 in Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution, LATE@AOSD 2008, Brussels, Belgium, April 1, 2008, PÁGINAS: 8
INDEXADO EM: Scopus DBLP CrossRef: 5
7077
TÍTULO: Disentangling Denotational Semantics Definitions  Full Text
AUTORES: Fabio Tirelo; Roberto S Bigonha; Joao Saraiva ;
PUBLICAÇÃO: 2008, FONTE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 21, PÁGINAS: 3592-3607
INDEXADO EM: Scopus WOS DBLP
7078
TÍTULO: Dynamic joint stiffness of the ankle during walking: Gender-related differences  Full Text
AUTORES: Ronaldo C Gabriel ; Joao Abrantes ; Kevin Granata; Jose Bulas Cruz; Pedro Melo Pinto ; Vitor Filipe ;
PUBLICAÇÃO: 2008, FONTE: PHYSICAL THERAPY IN SPORT, VOLUME: 9, NÚMERO: 1, PÁGINAS: 16-24
INDEXADO EM: Scopus WOS CrossRef: 50
7079
TÍTULO: Early introduction of competitive programming
AUTORES: Ribeiro, P ; Guerreiro, P;
PUBLICAÇÃO: 2008, FONTE: International Conference Joint with the 20th International Olympiad in Informatics, IOI 2008 in Olympiads in Informatics, VOLUME: 2, PÁGINAS: 149-162
INDEXADO EM: Scopus
7080
TÍTULO: Editing Symbolic Data
AUTORES: Noirhomme Fraiture, M; Brito, P ; De Baenst Vandenbroucke, A; Nahimana, A;
PUBLICAÇÃO: 2008, FONTE: Symbolic Data Analysis and the SODAS Software, PÁGINAS: 81-92
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 354 de 414. Total de resultados: 8280.