CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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
7241
TITLE: A Metric for Paraphrase Detection
AUTHORS: Joao Cordeiro ; Gael Dias; Pavel Brazdil ;
PUBLISHED: 2007, SOURCE: 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07)
INDEXED IN: CrossRef: 13
7242
TITLE: A new plant modelling approach for formal verification purposes
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1, PAGES: 167-172
INDEXED IN: Scopus CrossRef Handle
7243
TITLE: A polynomial placement algorithm for data driven coarse-grained reconfigurable architectures
AUTHORS: Ricardo Ferreira; Alisson Garcia; Tiago Teixeira; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI in IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, PAGES: 61-66
INDEXED IN: Scopus WOS DBLP CrossRef: 10
7244
TITLE: A process calculus approach to sensor network programming
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
INDEXED IN: Scopus CrossRef: 1
7245
TITLE: A proposal to delegate GUI implementation using a source code based model
AUTHORS: Monteiro, M; Oliveira, P ; Goncalves, R ;
PUBLISHED: 2007, SOURCE: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 in 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, PAGES: 29-32
INDEXED IN: Scopus DBLP
7246
TITLE: A putative gene located at the MHC class I region around the D6S105 marker contributes to the setting of CD8+T-lymphocyte numbers in humans  Full Text
AUTHORS: Vieira, J ; Cardoso, C. ; Pinto, J ; Patil, K; Brazdil, P ; Cruz, E; Mascarenhas, C; Lacerda, R; Gartner, A; Almeida, S; Alves, H; Porto, G ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF IMMUNOGENETICS, VOLUME: 34, ISSUE: 5, PAGES: 359-367
INDEXED IN: Scopus WOS CrossRef: 7
7247
TITLE: A relação entre a percepção de competência física, índice de massa corporal e competência efectiva em jovens praticantes de basquetebol  Full Text
AUTHORS: Sandro Ferreira; Helder Miguel Fernandes; José Vasconcelos-Raposo ;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
INDEXED IN: CrossRef
7248
TITLE: A short overview of some behavioural scenarios for derivative pricing in incomplete markets  Full Text
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2007, SOURCE: Proc. Appl. Math. Mech. - PAMM, VOLUME: 7, ISSUE: 1, PAGES: 1060309-1060310
INDEXED IN: CrossRef: 1
7249
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, PAGES: 95-106
INDEXED IN: Scopus WOS DBLP CrossRef: 11
7250
TITLE: A shortest path approach for staff line detection
AUTHORS: Ana Rebelo ; Artur Capela ; Joaquim F Pinto da Costa ; Carlos Guedes ; Eurico Carrapatoso ; Jaime S Cardoso ;
PUBLISHED: 2007, SOURCE: 3rd International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution in AXMEDIS 2007: THIRD INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA CONTENT FOR MULTI-CHANNEL DISTRIBUTION, PROCEEDINGS, PAGES: 79-85
INDEXED IN: Scopus WOS CrossRef: 4
7251
TITLE: A step up with the HARVARD system: the HARVARD-g system
AUTHORS: Ramos, R; Camacho, R ;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 405-408
INDEXED IN: WOS Handle
7252
TITLE: A study of structural properties on profiles HMMs PDF
AUTHORS: Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0704.2010
INDEXED IN: DBLP arXiv
7253
TITLE: A tool for interactive subgroup discovery using distribution rules
AUTHORS: Joel P Lucas; Alipio M Jorge ; Fernando Pereira; Ana M PernaS; Amauri A Machado;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 426-436
INDEXED IN: Scopus WOS DBLP CrossRef: 4
7254
TITLE: A Tool for the Development of Robot Control Strategies
AUTHORS: Luiz C Figueiredo; Gilcésar Ávila; Francisco Reinaldo; Rui Camacho ; Demétrio R Magalhães; Luís P Reis ;
PUBLISHED: 2007
INDEXED IN: Handle
7255
TITLE: A type-level approach to component prototyping
AUTHORS: Barbosa, L ; Cunha, J ; Visser, J;
PUBLISHED: 2007, SOURCE: SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors: 6th ESEC(European Software Engineering Conference)/FSE(Foundations of Software Engineering) Joint Meeting in SYANCO'07: International Workshop on Synthesis and Analysis of Component Connectors - In conjunction with the 6th ESEC/FSE Joint Meeting, PAGES: 23-36
INDEXED IN: Scopus DBLP CrossRef
7256
TITLE: Aggressive loop pipelining for reconfigurable architectures
AUTHORS: Ricardo Menotti; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: 17th International Conference on Field Programmable Logic and Applications in 2007 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLS 1 AND 2, PAGES: 501-502
INDEXED IN: Scopus WOS DBLP CrossRef: 5
7257
TITLE: Alternativas informáticas-software livre
AUTHORS: Sousa, MJC; Malta, M ; Paulo Trigueiros ;
PUBLISHED: 2007, SOURCE: 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao: Novas Perspectivas em Sistemas e Tecnologias de Informacao, CISTI 2007 - 2nd Iberian Conference on Information Systems and Technologies: New Perspectives on Information Systems and Technologies, CISTI 2007 in Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007, PAGES: 249-256
INDEXED IN: Scopus
7258
TITLE: An autonomous hybrid robot system to navigate through unknown maze environments
AUTHORS: Pedro Ribeiro ;
PUBLISHED: 2007, SOURCE: 11th IASTED International Conference on Artificial Intelligence and Soft Computing in PROCEDINGS OF THE 11TH IASTED INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PAGES: 274-279
INDEXED IN: Scopus WOS
7259
TITLE: An evaluation framework for multidimensional multimedia Descriptor indexing
AUTHORS: Bruno Gonalves; Catalin Calistru; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2007, SOURCE: IEEE 23rd International Conference on Data Engineering Workshop in 2007 IEEE 23RD INTERNATIONAL CONFERENCE ON DATA ENGINEERING WORKSHOP, VOLS 1-2, PAGES: 95-102
INDEXED IN: Scopus WOS DBLP CrossRef: 4
7260
TITLE: An FPGA implementation for a kalman filter with application to mobile robotics
AUTHORS: Vanderlei Bonato; Rafael Peron; Denis F Wolf; Jose A M de Holanda; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, PAGES: 148-155
INDEXED IN: Scopus WOS DBLP CrossRef: 16

Results per Page: 20.
Page 363 of 414. Total results: 8280.