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

531 Team Members
Filters -> Year: 2024
6901
TITLE: Code Transformations  Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 67-107
INDEXED IN: CrossRef
6902
TITLE: Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures
AUTHORS: Morra, C; Bispo, J ; Cardoso, JMP ; Becker, J;
PUBLISHED: 2008, SOURCE: 16th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PAGES: 320-321
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
6903
TITLE: Compilation and Synthesis Flows  Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 33-65
INDEXED IN: CrossRef
6904
TITLE: Compile the Hypothesis Space: Do it Once, Use it Often  Full Text
AUTHORS: Nuno A Fonseca ; Rui Camacho ; Ricardo Rocha ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 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, ISSUE: 1, PAGES: 45-67
INDEXED IN: Scopus WOS DBLP
6905
TITLE: Compilers for Reconfigurable Architectures  Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz;
PUBLISHED: 2008, SOURCE: Compilation Techniques for Reconfigurable Architectures, PAGES: 155-176
INDEXED IN: CrossRef
6906
TITLE: COMPSTAT 2008
AUTHORS: Paula Brito ;
PUBLISHED: 2008
INDEXED IN: CrossRef: 2 Openlibrary
6907
TITLE: Connecting Rigorous System Analysis to Experience-Centered Design
AUTHORS: Michael D Harrison ; José Creissac Campos ; Gavin J Doherty; Karsten Loer;
PUBLISHED: 2008, SOURCE: Maturing Usability - Quality in Software, Interaction and Value, PAGES: 56-74
INDEXED IN: DBLP CrossRef: 1
6908
TITLE: Considering Context and Users in Interactive Systems Analysis  Full Text
AUTHORS: Jose Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2008, SOURCE: Engineering Interactive Systems (EIS 2007) - Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007 in ENGINEERING INTERACTIVE SYSTEMS, VOLUME: 4940, PAGES: 193-209
INDEXED IN: Scopus WOS DBLP CrossRef
6909
TITLE: Contextualization of Programming Learning: A Virtual Environment Study  Full Text
AUTHORS: Micaela Esteves ; Bejamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLISHED: 2008, SOURCE: IEEE Frontiers in Education Conference 2008 in FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, PAGES: 644-649
INDEXED IN: Scopus WOS CrossRef: 7
6910
TITLE: Controlo de assiduidade em aulas efectuadas em second life®
AUTHORS: Madeira, A; Antunes, R; Morgado, L ; Pereira, A;
PUBLISHED: 2008, SOURCE: 3rd Iberian Conference on Information Systems and Technologies, CISTI 2008 in Iberian Conference on Information Systems and Technologies, CISTI
INDEXED IN: Scopus
6911
TITLE: Cooperative intelligent system for manufacturing scheduling
AUTHORS: Madureira, A ; Santos, J; Pereira, I;
PUBLISHED: 2008, SOURCE: 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, PAGES: 295-300
INDEXED IN: WOS Handle
6912
TITLE: COORDINSPECTOR: a tool for extracting coordination data from legacy code
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2008, SOURCE: 8th IEEE International Working Conference on Source Code Analysis and Manipulation in EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, PAGES: 265-266
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6913
TITLE: Coupling optimization to the algorithm for a mixer-settler system
AUTHORS: Gomes, EF ; Pinto, GA; Guimaraes, MML; Ribeiro, LM;
PUBLISHED: 2008, SOURCE: 6th International Conference on Engineering Computational Technology, ECT 2008 in Proceedings of the 6th International Conference on Engineering Computational Technology
INDEXED IN: Scopus CrossRef
6914
TITLE: Deriving Sorting Algorithms PDF
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0802.3881
INDEXED IN: DBLP arXiv
6915
TITLE: Design of a repository of programming problem
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2008, SOURCE: ACM-ICPC 2nd Competitive Learning Symposium - CLIS 2008
INDEXED IN: Handle
6916
TITLE: Disciplined composition of aspects using tests
AUTHORS: André Restivo ; Ademar Aguiar ;
PUBLISHED: 2008, SOURCE: 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, PAGES: 8
INDEXED IN: Scopus DBLP CrossRef: 5
6917
TITLE: Disentangling Denotational Semantics Definitions  Full Text
AUTHORS: Fabio Tirelo; Roberto S Bigonha; Joao Saraiva ;
PUBLISHED: 2008, SOURCE: 12th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, ISSUE: 21, PAGES: 3592-3607
INDEXED IN: Scopus WOS DBLP
6918
TITLE: Dynamic joint stiffness of the ankle during walking: Gender-related differences  Full Text
AUTHORS: Ronaldo C Gabriel ; Joao Abrantes ; Kevin Granata; Jose Bulas Cruz; Pedro Melo Pinto ; Vitor Filipe ;
PUBLISHED: 2008, SOURCE: PHYSICAL THERAPY IN SPORT, VOLUME: 9, ISSUE: 1, PAGES: 16-24
INDEXED IN: Scopus WOS CrossRef: 47
6919
TITLE: Early introduction of competitive programming
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2008, SOURCE: International Conference Joint with the 20th International Olympiad in Informatics, IOI 2008 in Olympiads in Informatics, VOLUME: 2, PAGES: 149-162
INDEXED IN: Scopus
6920
TITLE: Editing Symbolic Data
AUTHORS: Noirhomme Fraiture, M; Brito, P ; De Baenst Vandenbroucke, A; Nahimana, A;
PUBLISHED: 2008, SOURCE: Symbolic Data Analysis and the SODAS Software, PAGES: 81-92
INDEXED IN: Scopus CrossRef

Results per Page: 20.
Página 346 de 406. Total de resultados: 8111.