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
20261
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-+
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-+
20262
TITLE: Modelagem do problema de programação de bebidas baseado em um modelo do tipo ATSP
AUTHORS: Deisemara Ferreira; Alistair Clark; Bernardo A Lobo ; Reinaldo Morabito;
PUBLISHED: 2010
AUTHORS: Deisemara Ferreira; Alistair Clark; Bernardo A Lobo ; Reinaldo Morabito;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle20263
TITLE: Modeling 802.11 AP Usage through Daily Keep-Alive Event Counts
AUTHORS: Dossa Massa ; Ricardo Morla;
PUBLISHED: 2010, SOURCE: NBiS, PAGES: 195-200
AUTHORS: Dossa Massa ; Ricardo Morla;
PUBLISHED: 2010, SOURCE: NBiS, PAGES: 195-200
20264
TITLE: Modeling and control of a dragonfly-like robot Full Text
AUTHORS: Ferreira, NMF ; Couceiro, MS ; Tenreiro MacHado, JA ;
PUBLISHED: 2010, SOURCE: Journal of Control Science and Engineering, VOLUME: 2010, PAGES: 1-10
AUTHORS: Ferreira, NMF ; Couceiro, MS ; Tenreiro MacHado, JA ;
PUBLISHED: 2010, SOURCE: Journal of Control Science and Engineering, VOLUME: 2010, PAGES: 1-10
20265
TITLE: Modeling and Control of the MARES Autonomous Underwater Vehicle
AUTHORS: Bruno Ferreira ; Anibal Matos ; Nuno Cruz ; Miguel Pinto;
PUBLISHED: 2010, SOURCE: MARINE TECHNOLOGY SOCIETY JOURNAL, VOLUME: 44, ISSUE: 2, PAGES: 19-36
AUTHORS: Bruno Ferreira ; Anibal Matos ; Nuno Cruz ; Miguel Pinto;
PUBLISHED: 2010, SOURCE: MARINE TECHNOLOGY SOCIETY JOURNAL, VOLUME: 44, ISSUE: 2, PAGES: 19-36
20266
TITLE: Modeling and planning collaboration using organizational constraints
AUTHORS: Michael Igler; Paulo Moura ; Matthias Faerber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: CollaborateCom, PAGES: 1-10
AUTHORS: Michael Igler; Paulo Moura ; Matthias Faerber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: CollaborateCom, PAGES: 1-10
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP20267
TITLE: Modelling and Simulating Self-Organizing Agent-based Manufacturing Systems
AUTHORS: Barbosa, J ; Leitao, P ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 2702-2707
AUTHORS: Barbosa, J ; Leitao, P ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 2702-2707
20268
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: Handle
Handle20269
TITLE: Moderate electric fields can inactivate Escherichia coli at room temperature Full Text
AUTHORS: Luis F Machado ; Ricardo N Pereira ; Rui C Martins ; Jose A Teixeira ; Antonio A Vicente ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FOOD ENGINEERING, VOLUME: 96, ISSUE: 4, PAGES: 520-527
AUTHORS: Luis F Machado ; Ricardo N Pereira ; Rui C Martins ; Jose A Teixeira ; Antonio A Vicente ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FOOD ENGINEERING, VOLUME: 96, ISSUE: 4, PAGES: 520-527
20270
TITLE: Modern computing environment for power system reliability assessment
AUTHORS: Da Rosa, MA; Miranda, V ; Carvalho, L ; Da Silva, AML;
PUBLISHED: 2010, SOURCE: 2010 IEEE 11th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS 2010 in 2010 IEEE 11th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS 2010, PAGES: 664-671
AUTHORS: Da Rosa, MA; Miranda, V ; Carvalho, L ; Da Silva, AML;
PUBLISHED: 2010, SOURCE: 2010 IEEE 11th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS 2010 in 2010 IEEE 11th International Conference on Probabilistic Methods Applied to Power Systems, PMAPS 2010, PAGES: 664-671
20271
TITLE: Monitoring Incremental Histogram Distribution for Change Detection in Data Streams
AUTHORS: Sebastiao, R ; Gama, J ; Rodrigues, PP ; Bernardes, J ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-+
AUTHORS: Sebastiao, R ; Gama, J ; Rodrigues, PP ; Bernardes, J ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-+
20272
TITLE: Monitoring systems for wind generators maintenance
AUTHORS: Mesquita Brandao, RF; Beleza Carvalho, JA; Maciel Barbosa, FP ;
PUBLISHED: 2010, SOURCE: 2010 45th International Universities' Power Engineering Conference, UPEC 2010 in Proceedings of the Universities Power Engineering Conference
AUTHORS: Mesquita Brandao, RF; Beleza Carvalho, JA; Maciel Barbosa, FP ;
PUBLISHED: 2010, SOURCE: 2010 45th International Universities' Power Engineering Conference, UPEC 2010 in Proceedings of the Universities Power Engineering Conference
INDEXED IN: Scopus
Scopus20273
TITLE: Monitoring the quality of frying oils using a nanolayer coated optical fiber refractometer Full Text
AUTHORS: Abe, I; Oliveira, J ; Simoes, E; Caldas, P ; Frazao, O ;
PUBLISHED: 2010, SOURCE: TALANTA, VOLUME: 83, ISSUE: 1, PAGES: 291-293
AUTHORS: Abe, I; Oliveira, J ; Simoes, E; Caldas, P ; Frazao, O ;
PUBLISHED: 2010, SOURCE: TALANTA, VOLUME: 83, ISSUE: 1, PAGES: 291-293
20274
TITLE: MORSE: Tools for long-term strategic analysis of the Spanish electricity sector
AUTHORS: Villar, J ; Campos, FA; Díaz, CA; González, J; Diaz, A; Rodriguez, MA; Rodriguez, P;
PUBLISHED: 2010, SOURCE: 2010 7th International Conference on the European Energy Market, EEM 2010 in 2010 7th International Conference on the European Energy Market, EEM 2010
AUTHORS: Villar, J ; Campos, FA; Díaz, CA; González, J; Diaz, A; Rodriguez, MA; Rodriguez, P;
PUBLISHED: 2010, SOURCE: 2010 7th International Conference on the European Energy Market, EEM 2010 in 2010 7th International Conference on the European Energy Market, EEM 2010
20275
TITLE: Motivations and trends for IT/IS adoption: Insights from portuguese companies
AUTHORS: João Eduardo Quintela Alves de Sousa Varajão; Antonio Trigo; João Manuel Pereira Barroso ;
PUBLISHED: 2010, PAGES: 1639-1656
AUTHORS: João Eduardo Quintela Alves de Sousa Varajão; Antonio Trigo; João Manuel Pereira Barroso ;
PUBLISHED: 2010, PAGES: 1639-1656
INDEXED IN: Scopus
Scopus20276
TITLE: Moving the wavelength detection range in Surface Plasmon Resonance sensors based on tapered optical fibers
AUTHORS: Natalia Diaz Herrera; Agustin Gonzalez Cano; Diana Viegas ; Jose Luis Santos ; Maria Cruz Navarrete; Oscar Esteban;
PUBLISHED: 2010, SOURCE: Fourth European Workshop on Optical Fibre Sensors in FOURTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS, VOLUME: 7653
AUTHORS: Natalia Diaz Herrera; Agustin Gonzalez Cano; Diana Viegas ; Jose Luis Santos ; Maria Cruz Navarrete; Oscar Esteban;
PUBLISHED: 2010, SOURCE: Fourth European Workshop on Optical Fibre Sensors in FOURTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS, VOLUME: 7653
INDEXED IN: Scopus 
WOS
Scopus WOS20277
TITLE: Multi-agent Personal Memory Assistant
AUTHORS: Costa, A; Paulo Novais ; Costa, R ; Corchado, JM; Neves, J ;
PUBLISHED: 2010, SOURCE: 8th International Conference on Practical Applications of Agents and Multi-Agent Systems in TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 71, PAGES: 97-104
AUTHORS: Costa, A; Paulo Novais ; Costa, R ; Corchado, JM; Neves, J ;
PUBLISHED: 2010, SOURCE: 8th International Conference on Practical Applications of Agents and Multi-Agent Systems in TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 71, PAGES: 97-104
20278
TITLE: Multi-criteria Manipulator Trajectory Optimization Based on Evolutionary Algorithms
AUTHORS: Pires, EJS ; Oliveira, PBD ; Machado, JAT;
PUBLISHED: 2010, SOURCE: 5th International Workshop on Soft Computing Models in Industrial Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, VOLUME: 73, PAGES: 87-+
AUTHORS: Pires, EJS ; Oliveira, PBD ; Machado, JAT;
PUBLISHED: 2010, SOURCE: 5th International Workshop on Soft Computing Models in Industrial Applications in SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS, VOLUME: 73, PAGES: 87-+
20279
TITLE: Multi-Criteria Optimization Manipulator Trajectory Planning
AUTHORS: Solteiro Pires, EJ ; de B d Moura Oliveira; Tenreiro Machado, JA;
PUBLISHED: 2010, SOURCE: Robot Manipulators New Achievements
AUTHORS: Solteiro Pires, EJ ; de B d Moura Oliveira; Tenreiro Machado, JA;
PUBLISHED: 2010, SOURCE: Robot Manipulators New Achievements
20280
TITLE: Multi-objective Optimization of Parallel Manipulators using a Particle Swarm Algorithm
AUTHORS: Antonio M Lopes ; Helio Freire ; De Moura Oliveira, PB ; Solteiro Pires, EJS ; Cecilia Reis;
PUBLISHED: 2010, SOURCE: 10th WSEAS International Conference on Applied Informatics and Communications/3rd WSEAS International Conference on Biomedical Electronics and Biomedical Informatics in NEW ASPECTS OF APPLIED INFORMATICS, BIOMEDICAL ELECTRONICS AND INFORMATICS AND COMMUNICATION, PAGES: 103-108
AUTHORS: Antonio M Lopes ; Helio Freire ; De Moura Oliveira, PB ; Solteiro Pires, EJS ; Cecilia Reis;
PUBLISHED: 2010, SOURCE: 10th WSEAS International Conference on Applied Informatics and Communications/3rd WSEAS International Conference on Biomedical Electronics and Biomedical Informatics in NEW ASPECTS OF APPLIED INFORMATICS, BIOMEDICAL ELECTRONICS AND INFORMATICS AND COMMUNICATION, PAGES: 103-108
INDEXED IN: WOS
WOS