Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 24967
1716 Team MembersFilters -> Year: 2026
22481
TITLE: A comparison of voltage stability indices
AUTHORS: Reis, C; Maciel Barbosa, FP ;
PUBLISHED: 2006, SOURCE: 2006 IEEE Mediterranean Electrotechnical Conference, MELECON 2006 in Proceedings of the Mediterranean Electrotechnical Conference - MELECON, VOLUME: 2006, PAGES: 1007-1010
AUTHORS: Reis, C; Maciel Barbosa, FP ;
PUBLISHED: 2006, SOURCE: 2006 IEEE Mediterranean Electrotechnical Conference, MELECON 2006 in Proceedings of the Mediterranean Electrotechnical Conference - MELECON, VOLUME: 2006, PAGES: 1007-1010
INDEXED IN: 
Scopus
Scopus22482
TITLE: A Complex Protocol Layer as a linux User-Space Process
AUTHORS: Antonio Barros ; Filipe de Faria Pacheco ; Luís Miguel Pinho ;
PUBLISHED: 2006, SOURCE: IES, PAGES: 1-4
AUTHORS: Antonio Barros ; Filipe de Faria Pacheco ; Luís Miguel Pinho ;
PUBLISHED: 2006, SOURCE: IES, PAGES: 1-4
22483
TITLE: A creative information system based on the whiteboard creativity technique [Um sistema de informação criativo baseado na técnica de criatividade whiteboard]
AUTHORS: Mamede, HS ; Santos, V;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 1, PAGES: 297-303
AUTHORS: Mamede, HS ; Santos, V;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 1, PAGES: 297-303
INDEXED IN: Scopus
Scopus22484
TITLE: A dynamic model for a settler unit using a kinetic formulation
AUTHORS: Gomes, EF ; Guimaraes, MML; Pinto, GA; Ribeiro, LM;
PUBLISHED: 2006, SOURCE: 5th International Conference on Engineering Computational Technology, ECT 2006 in Proceedings of the 5th International Conference on Engineering Computational Technology
AUTHORS: Gomes, EF ; Guimaraes, MML; Pinto, GA; Ribeiro, LM;
PUBLISHED: 2006, SOURCE: 5th International Conference on Engineering Computational Technology, ECT 2006 in Proceedings of the 5th International Conference on Engineering Computational Technology
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef22485
TITLE: A dynamic programming approach for solving single-source uncapacitated concave minimum cost network flow problems
AUTHORS: Fontes, DBMM ; Hadjiconstantinou, E; Christofides, N;
PUBLISHED: 2006, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 174, ISSUE: 2, PAGES: 1205-1219
AUTHORS: Fontes, DBMM ; Hadjiconstantinou, E; Christofides, N;
PUBLISHED: 2006, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 174, ISSUE: 2, PAGES: 1205-1219
22486
TITLE: A formal specification approach for holonic control systems: The ADACOR case
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2006, SOURCE: International Journal of Manufacturing Technology and Management, VOLUME: 8, ISSUE: 1-3, PAGES: 37-57
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLISHED: 2006, SOURCE: International Journal of Manufacturing Technology and Management, VOLUME: 8, ISSUE: 1-3, PAGES: 37-57
22487
TITLE: A framework for describing interference in ubiquitous computing environments
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2006, SOURCE: 4th IEEE Annual International Conference on Pervasive Computing and Communications in FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, VOLUME: 2006, PAGES: 632-+
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2006, SOURCE: 4th IEEE Annual International Conference on Pervasive Computing and Communications in FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, VOLUME: 2006, PAGES: 632-+
22488
TITLE: A framework for point-free program transformation
AUTHORS: Cunha, A ; Pinto, JS ; Proença, J ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PAGES: 1-+
AUTHORS: Cunha, A ; Pinto, JS ; Proença, J ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PAGES: 1-+
22489
TITLE: A fuzzy decision model for the active and reactive dispatch in market environment
AUTHORS: Gornes, MH; Saraiva, JT ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Probabilistic Methods Applied to Power Systems in 2006 International Conference on Probabilistic Methods Applied to Power Systems, Vols 1 and 2, PAGES: 229-235
AUTHORS: Gornes, MH; Saraiva, JT ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Probabilistic Methods Applied to Power Systems in 2006 International Conference on Probabilistic Methods Applied to Power Systems, Vols 1 and 2, PAGES: 229-235
INDEXED IN: 
WOS
WOS22490
TITLE: A fuzzy decision model for the active and reactive dispatch in market environment
AUTHORS: Gomes, MH; Saraiva, JT ;
PUBLISHED: 2006, SOURCE: 2006 9th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS in 2006 9th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS
AUTHORS: Gomes, MH; Saraiva, JT ;
PUBLISHED: 2006, SOURCE: 2006 9th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS in 2006 9th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS
INDEXED IN: Scopus CrossRef
Scopus CrossRef22491
TITLE: A holonic approach to dynamic manufacturing scheduling Full Text
AUTHORS: Paulo Leitao ; Francisco Restivo ;
PUBLISHED: 2006, SOURCE: 7th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services in Information Technology for Balanced Manufacturing Systems, VOLUME: 220, PAGES: 37-46
AUTHORS: Paulo Leitao ; Francisco Restivo ;
PUBLISHED: 2006, SOURCE: 7th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services in Information Technology for Balanced Manufacturing Systems, VOLUME: 220, PAGES: 37-46
22492
TITLE: A hybrid genetic algorithm for the early/tardy scheduling problem Full Text
AUTHORS: Jorge M S Valente ; Jose Fernando Goncalves ; Rui A F S Alves ;
PUBLISHED: 2006, SOURCE: ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 23, ISSUE: 3, PAGES: 393-405
AUTHORS: Jorge M S Valente ; Jose Fernando Goncalves ; Rui A F S Alves ;
PUBLISHED: 2006, SOURCE: ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 23, ISSUE: 3, PAGES: 393-405
22493
TITLE: A kinematical, imagiological and acoustical biofeedback system for the technical training in breaststroke swimming
AUTHORS: António B Lima; P. Semblano; Daniel Fernandes; Pedro Gonçalves; Pedro Morouço; Filipa Sousa; Ricardo J Fernandes; Tiago M Barbosa; Miguel Velhote Correia ; G. Tani; João P Vilas Boas;
PUBLISHED: 2006, SOURCE: Revista Portuguesa de Ciências do Desporto
AUTHORS: António B Lima; P. Semblano; Daniel Fernandes; Pedro Gonçalves; Pedro Morouço; Filipa Sousa; Ricardo J Fernandes; Tiago M Barbosa; Miguel Velhote Correia ; G. Tani; João P Vilas Boas;
PUBLISHED: 2006, SOURCE: Revista Portuguesa de Ciências do Desporto
INDEXED IN: 
Handle
Handle22494
TITLE: A Line Balancing Simulation System for the Footwear Industry
AUTHORS: Juan Aires Marques; Jose Soeiro Ferreira ;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PAGES: 3-18
AUTHORS: Juan Aires Marques; Jose Soeiro Ferreira ;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PAGES: 3-18
INDEXED IN: Scopus WOS
Scopus WOS22495
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2006, SOURCE: TERMGRAPH@ETAPS, VOLUME: 176, ISSUE: 1, PAGES: 139-163
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2006, SOURCE: TERMGRAPH@ETAPS, VOLUME: 176, ISSUE: 1, PAGES: 139-163
22496
TITLE: A low-power oscillation based LNA BIST scheme
AUTHORS: da Silva, JM ;
PUBLISHED: 2006, SOURCE: International Conference on Design and Test of Integrated Systems in Nanoscale Technology in IEEE DTIS: 2006 International Conference on Design & Test of Integrated Systems in Nanoscale Technology, Proceedings, PAGES: 268-272
AUTHORS: da Silva, JM ;
PUBLISHED: 2006, SOURCE: International Conference on Design and Test of Integrated Systems in Nanoscale Technology in IEEE DTIS: 2006 International Conference on Design & Test of Integrated Systems in Nanoscale Technology, Proceedings, PAGES: 268-272
22497
TITLE: A maintenance float system with periodic overhauls
AUTHORS: Lopes, IS; Leitao, ALF ; Pereira, GAB ;
PUBLISHED: 2006, SOURCE: European Safety and Reliability Conference (ESREL 2006) in Safety and Reliability for Managing Risk, Vols 1-3, VOLUME: 1, PAGES: 613-618
AUTHORS: Lopes, IS; Leitao, ALF ; Pereira, GAB ;
PUBLISHED: 2006, SOURCE: European Safety and Reliability Conference (ESREL 2006) in Safety and Reliability for Managing Risk, Vols 1-3, VOLUME: 1, PAGES: 613-618
INDEXED IN: Scopus WOS
Scopus WOS22498
TITLE: A Methodology for Auditing e-Voting Processes and Systems used at the Elections for the Portuguese Parliament
AUTHORS: João Falcão e Cunha ; Mário Jorge Leitão; João Pascoal Faria ; Miguel Pimenta Monteiro; Maria Antónia Carravilla ;
PUBLISHED: 2006, SOURCE: Electronic Voting, PAGES: 145-154
AUTHORS: João Falcão e Cunha ; Mário Jorge Leitão; João Pascoal Faria ; Miguel Pimenta Monteiro; Maria Antónia Carravilla ;
PUBLISHED: 2006, SOURCE: Electronic Voting, PAGES: 145-154
INDEXED IN: Scopus 
DBLP
Scopus DBLP22499
TITLE: A methodology to design FPGA-based PID controllers
AUTHORS: Lima, J; Menotti, R; Cardoso, JMP ; Marques, E;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, VOLUME: 3, PAGES: 2577-+
AUTHORS: Lima, J; Menotti, R; Cardoso, JMP ; Marques, E;
PUBLISHED: 2006, SOURCE: IEEE International Conference on Systems, Man and Cybernetics in 2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, VOLUME: 3, PAGES: 2577-+
22500
TITLE: A mobile agent service-oriented scripting language encoded on a process calculus
AUTHORS: Paulino, H ; Lopes, L ;
PUBLISHED: 2006, SOURCE: 7th Joint Modular Languages Conference (JMLC 2006) in MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, VOLUME: 4228, PAGES: 383-402
AUTHORS: Paulino, H ; Lopes, L ;
PUBLISHED: 2006, SOURCE: 7th Joint Modular Languages Conference (JMLC 2006) in MODULAR PROGRAMMING LANGUAGES, PROCEEDINGS, VOLUME: 4228, PAGES: 383-402
