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: 25016
1714 Team MembersFilters -> Year: 2026
20001
TITLE: Certification of open-source software: A role for formal methods?
AUTHORS: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 273-281
AUTHORS: Luis S Barbosa ; Antonio Cerone; Alexander K Petrenko; Siraj A Shaikh;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 273-281
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP20002
TITLE: Change Detection with Kalman Filter and CUSUM
AUTHORS: Milton Severo ; João Gama ;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications, VOLUME: 6202, PAGES: 148-162
AUTHORS: Milton Severo ; João Gama ;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications, VOLUME: 6202, PAGES: 148-162
20003
TITLE: Characterization and testing of a shock absorber embedded sensor
AUTHORS: Ferreira, C ; Ventura, P; Grinde, C; Morais, R ; Valente, A ; Neves, C ; Reis, M ;
PUBLISHED: 2010, SOURCE: 24th Eurosensor Conference in EUROSENSORS XXIV CONFERENCE, VOLUME: 5, PAGES: 319-322
AUTHORS: Ferreira, C ; Ventura, P; Grinde, C; Morais, R ; Valente, A ; Neves, C ; Reis, M ;
PUBLISHED: 2010, SOURCE: 24th Eurosensor Conference in EUROSENSORS XXIV CONFERENCE, VOLUME: 5, PAGES: 319-322
20004
TITLE: Characterization of a double probe for local pulse wave velocity assessment Full Text
AUTHORS: Catarina C Pereira; Tania Pereira ; Vania Almeida ; Elisabeth Borges; Edite Figueiras; Basilio B Simoes ; Luis L Malaquias; Joao M R Cardoso ; Carlos M B Correia ;
PUBLISHED: 2010, SOURCE: PHYSIOLOGICAL MEASUREMENT, VOLUME: 31, ISSUE: 11, PAGES: 1449-1465
AUTHORS: Catarina C Pereira; Tania Pereira ; Vania Almeida ; Elisabeth Borges; Edite Figueiras; Basilio B Simoes ; Luis L Malaquias; Joao M R Cardoso ; Carlos M B Correia ;
PUBLISHED: 2010, SOURCE: PHYSIOLOGICAL MEASUREMENT, VOLUME: 31, ISSUE: 11, PAGES: 1449-1465
20005
TITLE: Characterization of nanolayer LPG refractometer according surrounding refractive index
AUTHORS: Simoes, E; Abe, I; Oliveira, J ; Pinto, JL; Caldas, P ; Frazao, O ;
PUBLISHED: 2010, SOURCE: Fourth European Workshop on Optical Fibre Sensors in FOURTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS, VOLUME: 7653
AUTHORS: Simoes, E; Abe, I; Oliveira, J ; Pinto, JL; Caldas, P ; Frazao, O ;
PUBLISHED: 2010, SOURCE: Fourth European Workshop on Optical Fibre Sensors in FOURTH EUROPEAN WORKSHOP ON OPTICAL FIBRE SENSORS, VOLUME: 7653
20006
TITLE: Characterization of position and orientation measurement uncertainties in a low-cost mobile platform
AUTHORS: Héber Sobreira ; Moreira, A. Paulo; João S Esteves;
PUBLISHED: 2010
AUTHORS: Héber Sobreira ; Moreira, A. Paulo; João S Esteves;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle20007
TITLE: Characterization of the response of a dual resonance of an arc-induced long-period grating to various physical parameters
AUTHORS: Paulo Caldas ; Gaspar Rego ; Oleg V Ivanov; Jose L Santos ;
PUBLISHED: 2010, SOURCE: APPLIED OPTICS, VOLUME: 49, ISSUE: 16, PAGES: 2994-2999
AUTHORS: Paulo Caldas ; Gaspar Rego ; Oleg V Ivanov; Jose L Santos ;
PUBLISHED: 2010, SOURCE: APPLIED OPTICS, VOLUME: 49, ISSUE: 16, PAGES: 2994-2999
20008
TITLE: Cheating by economics and business undergraduate students: an exploratory international assessment Full Text
AUTHORS: Aurora A C Teixeira ; Maria Fatima Rocha;
PUBLISHED: 2010, SOURCE: HIGHER EDUCATION, VOLUME: 59, ISSUE: 6, PAGES: 663-701
AUTHORS: Aurora A C Teixeira ; Maria Fatima Rocha;
PUBLISHED: 2010, SOURCE: HIGHER EDUCATION, VOLUME: 59, ISSUE: 6, PAGES: 663-701
20009
TITLE: Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples Full Text
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-130
AUTHORS: Stephen Muggleton; Aline Paes; Vitor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2010, SOURCE: 19th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 5989, PAGES: 123-130
20010
TITLE: Classification Models with Global Constraints for Ordinal Data
AUTHORS: Jaime S Cardoso ; Ricardo Gamelas Sousa;
PUBLISHED: 2010, SOURCE: 9th International Conference on Machine Learning and Applications, ICMLA 2010 in The Ninth International Conference on Machine Learning and Applications, ICMLA 2010, Washington, DC, USA, 12-14 December 2010, PAGES: 71-77
AUTHORS: Jaime S Cardoso ; Ricardo Gamelas Sousa;
PUBLISHED: 2010, SOURCE: 9th International Conference on Machine Learning and Applications, ICMLA 2010 in The Ninth International Conference on Machine Learning and Applications, ICMLA 2010, Washington, DC, USA, 12-14 December 2010, PAGES: 71-77
20011
TITLE: Clustering data streams with weightless neural networks PDF
AUTHORS: Cardoso, DO; Lima, PMV; De Gregorio, M; Gama, J ; Franca, FMG;
PUBLISHED: 2010, SOURCE: ESANN 2011 proceedings, 19th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, PAGES: 201-206
AUTHORS: Cardoso, DO; Lima, PMV; De Gregorio, M; Gama, J ; Franca, FMG;
PUBLISHED: 2010, SOURCE: ESANN 2011 proceedings, 19th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, PAGES: 201-206
INDEXED IN: Scopus DBLP
Scopus DBLP20012
TITLE: Clustering from Data Streams
AUTHORS: Thomas R Shultz; Scott E Fahlman; Susan Craw; Periklis Andritsos; Panayiotis Tsaparas; Ricardo Silva; Chris Drummond; Charles X Ling; Victor S Sheng; Chris Drummond; Pier Luca Lanzi; João Gama ; Paul P Wiegand; Prithviraj Sen; Galileo Namata; Mustafa Bilgic; Lise Getoor; Jun He; Sanjay Jain; Frank Stephan; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 180-183
AUTHORS: Thomas R Shultz; Scott E Fahlman; Susan Craw; Periklis Andritsos; Panayiotis Tsaparas; Ricardo Silva; Chris Drummond; Charles X Ling; Victor S Sheng; Chris Drummond; Pier Luca Lanzi; João Gama ; Paul P Wiegand; Prithviraj Sen; Galileo Namata; Mustafa Bilgic; Lise Getoor; Jun He; Sanjay Jain; Frank Stephan; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 180-183
20013
TITLE: Clustering Time Series of Sea Levels: Extreme Value Approach Full Text
AUTHORS: Manuel G Scotto ; Andres M Alonso; Susana M Barbosa ;
PUBLISHED: 2010, SOURCE: JOURNAL OF WATERWAY PORT COASTAL AND OCEAN ENGINEERING-ASCE, VOLUME: 136, ISSUE: 4, PAGES: 215-225
AUTHORS: Manuel G Scotto ; Andres M Alonso; Susana M Barbosa ;
PUBLISHED: 2010, SOURCE: JOURNAL OF WATERWAY PORT COASTAL AND OCEAN ENGINEERING-ASCE, VOLUME: 136, ISSUE: 4, PAGES: 215-225
20014
TITLE: Co-ordination in RoboCup's 2D simulation league: Setplays as flexible, multi-robot plans
AUTHORS: Mota, L ; Lau, N ; Reis, LP ;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Robotics, Automation and Mechatronics, RAM 2010 in 2010 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2010, PAGES: 362-367
AUTHORS: Mota, L ; Lau, N ; Reis, LP ;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Robotics, Automation and Mechatronics, RAM 2010 in 2010 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2010, PAGES: 362-367
20015
TITLE: Coarse WDM networking of self-referenced fiber-optic intensity sensors with reconfigurable characteristics Full Text
AUTHORS: Montero, DS; Vazquez, C; Baptista, JM ; Santos, JL ; Montalvo, J;
PUBLISHED: 2010, SOURCE: OPTICS EXPRESS, VOLUME: 18, ISSUE: 5, PAGES: 4396-4410
AUTHORS: Montero, DS; Vazquez, C; Baptista, JM ; Santos, JL ; Montalvo, J;
PUBLISHED: 2010, SOURCE: OPTICS EXPRESS, VOLUME: 18, ISSUE: 5, PAGES: 4396-4410
20016
TITLE: Collaborative group support in E-health
AUTHORS: Paulo Novais ; Costa, A; Costa, R ; Lima, L ;
PUBLISHED: 2010, SOURCE: 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010 in Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010, PAGES: 177-182
AUTHORS: Paulo Novais ; Costa, A; Costa, R ; Lima, L ;
PUBLISHED: 2010, SOURCE: 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010 in Proceedings - 9th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2010, PAGES: 177-182
20017
TITLE: Collective intelligence on dynamic manufacturing scheduling optimization
AUTHORS: Ana Madureira ; Ivo Pereira ; Nelson Sousa;
PUBLISHED: 2010, SOURCE: 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 in Fifth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, University of Hunan, Liverpool Hope University, Liverpool, United Kingdom / Changsha, China, September 8-10 and September 23-26, 2010, PAGES: 1693-1697
AUTHORS: Ana Madureira ; Ivo Pereira ; Nelson Sousa;
PUBLISHED: 2010, SOURCE: 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010 in Fifth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, University of Hunan, Liverpool Hope University, Liverpool, United Kingdom / Changsha, China, September 8-10 and September 23-26, 2010, PAGES: 1693-1697
20018
TITLE: Combining meta-learning and search techniques to SVM parameter selection
AUTHORS: Gomes, TAF; Prudencio, RBC; Soares, C ; Rossi, ALD; Carvalho, A;
PUBLISHED: 2010, SOURCE: 2010 11th Brazilian Symposium on Neural Networks, SBRN 2010 in Proceedings - 2010 11th Brazilian Symposium on Neural Networks, SBRN 2010, PAGES: 79-84
AUTHORS: Gomes, TAF; Prudencio, RBC; Soares, C ; Rossi, ALD; Carvalho, A;
PUBLISHED: 2010, SOURCE: 2010 11th Brazilian Symposium on Neural Networks, SBRN 2010 in Proceedings - 2010 11th Brazilian Symposium on Neural Networks, SBRN 2010, PAGES: 79-84
20019
TITLE: Comments on: Routing problems with loading constraints Full Text
AUTHORS: Jose F Oliveira ;
PUBLISHED: 2010, SOURCE: TOP, VOLUME: 18, ISSUE: 1, PAGES: 31-33
AUTHORS: Jose F Oliveira ;
PUBLISHED: 2010, SOURCE: TOP, VOLUME: 18, ISSUE: 1, PAGES: 31-33
20020
TITLE: Compact Lists for Tabled Evaluation
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-263
AUTHORS: Joao Raimundo; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 249-263
