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: 18406
1699 Team MembersFilters -> Year: 2024
13821
TITLE: Partial Derivative Automata Formalized in Coq
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-68
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-68
13822
TITLE: Partial plant models in formal verification of industrial automation discrete systems
AUTHORS: José M Machado; Campos, J. Creissac ;
PUBLISHED: 2011
AUTHORS: José M Machado; Campos, J. Creissac ;
PUBLISHED: 2011
INDEXED IN: 
Handle
Handle13823
TITLE: Particle Swarm Optimization for Gantry Control: A Teaching Experiment Full Text
AUTHORS: Paulo B D de Moura Oliveira ; Eduardo J S Solteiro Pires ; Jose Boaventura Cunha ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 196-207
AUTHORS: Paulo B D de Moura Oliveira ; Eduardo J S Solteiro Pires ; Jose Boaventura Cunha ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 196-207
13824
TITLE: Patterns for Effectively Documenting Frameworks
AUTHORS: Ademar Aguiar ; Gabriel David ;
PUBLISHED: 2011, SOURCE: Transactions on Pattern Languages of Programming II - Special Issue on Applying Patterns, VOLUME: 2, PAGES: 79-124
AUTHORS: Ademar Aguiar ; Gabriel David ;
PUBLISHED: 2011, SOURCE: Transactions on Pattern Languages of Programming II - Special Issue on Applying Patterns, VOLUME: 2, PAGES: 79-124
13825
TITLE: Patterns of information classification
AUTHORS: Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: 18th Conference on Pattern Languages of Programs, PLoP 2011 in Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011, Portland, Oregon, USA, October 21-23, 2011, PAGES: 15:1-15:17
AUTHORS: Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2011, SOURCE: 18th Conference on Pattern Languages of Programs, PLoP 2011 in Proceedings of the 18th Conference on Pattern Languages of Programs, PLoP 2011, Portland, Oregon, USA, October 21-23, 2011, PAGES: 15:1-15:17
13826
TITLE: Performance and risk assessment framework for sustainable networks
AUTHORS: António Almeida; Robetto Piedade Francisco; João Bastos ; Américo Azevedo; Paulo Ávila;
PUBLISHED: 2011, SOURCE: Business Sustainability 2.0
AUTHORS: António Almeida; Robetto Piedade Francisco; João Bastos ; Américo Azevedo; Paulo Ávila;
PUBLISHED: 2011, SOURCE: Business Sustainability 2.0
INDEXED IN: Handle
Handle13827
TITLE: Performance Management in Collaborative Networks: a Methodological Proposal
AUTHORS: Rui Pinto Ferreira; Jorge Neves Silva; Faimara do Rocio Strauhs; Antonio Lucas Soares ;
PUBLISHED: 2011, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 17, ISSUE: 10, PAGES: 1412-1429
AUTHORS: Rui Pinto Ferreira; Jorge Neves Silva; Faimara do Rocio Strauhs; Antonio Lucas Soares ;
PUBLISHED: 2011, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 17, ISSUE: 10, PAGES: 1412-1429
INDEXED IN: 
Scopus 
WOS
Scopus WOS13828
TITLE: Periodic and transient radon variations at the Tiberias hot spring, Israel during 2000-2005
AUTHORS: Heiko Woith; Susana Barbosa ; Claudia Gajewski; Gideon Steinitz; Oksana Piatibratova; Uri Malik; Jochen Zschau;
PUBLISHED: 2011, SOURCE: 9th International Conference on Gas Geochemistry (ICGG) in GEOCHEMICAL JOURNAL, VOLUME: 45, ISSUE: 6, PAGES: 473-482
AUTHORS: Heiko Woith; Susana Barbosa ; Claudia Gajewski; Gideon Steinitz; Oksana Piatibratova; Uri Malik; Jochen Zschau;
PUBLISHED: 2011, SOURCE: 9th International Conference on Gas Geochemistry (ICGG) in GEOCHEMICAL JOURNAL, VOLUME: 45, ISSUE: 6, PAGES: 473-482
INDEXED IN: Scopus WOS
Scopus WOS13829
TITLE: Persistent Scatterer InSAR: A comparison of methodologies based on a model of temporal deformation vs. spatial correlation selection criteria Full Text
AUTHORS: Joaquim J Sousa ; Andrew J Hooper; Ramon F Hanssen; Luisa C Bastos ; Antonio M Ruiz;
PUBLISHED: 2011, SOURCE: REMOTE SENSING OF ENVIRONMENT, VOLUME: 115, ISSUE: 10, PAGES: 2652-2663
AUTHORS: Joaquim J Sousa ; Andrew J Hooper; Ramon F Hanssen; Luisa C Bastos ; Antonio M Ruiz;
PUBLISHED: 2011, SOURCE: REMOTE SENSING OF ENVIRONMENT, VOLUME: 115, ISSUE: 10, PAGES: 2652-2663
13830
TITLE: Personalized travel suggestions for tourism websites
AUTHORS: Coelho, A ; Rodrigues, A;
PUBLISHED: 2011, SOURCE: 2011 11th International Conference on Intelligent Systems Design and Applications, ISDA'11 in International Conference on Intelligent Systems Design and Applications, ISDA, PAGES: 118-123
AUTHORS: Coelho, A ; Rodrigues, A;
PUBLISHED: 2011, SOURCE: 2011 11th International Conference on Intelligent Systems Design and Applications, ISDA'11 in International Conference on Intelligent Systems Design and Applications, ISDA, PAGES: 118-123
13831
TITLE: PExIL: Programming Exercises Interoperability Language
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2011, SOURCE: Conferência Nacional XATA: XML, aplicações e tecnologias associadas, 9.ª
INDEXED IN: Handle
Handle13832
TITLE: PhenoSat - A tool for vegetation temporal analysis from satellite image data
AUTHORS: Rodrigues, A; Marcal, ARS ; Cunha, M ;
PUBLISHED: 2011, SOURCE: 2011 6th International Workshop on the Analysis of Multi-Temporal Remote Sensing Images, Multi-Temp 2011 in 2011 6th International Workshop on the Analysis of Multi-Temporal Remote Sensing Images, Multi-Temp 2011 - Proceedings, PAGES: 45-48
AUTHORS: Rodrigues, A; Marcal, ARS ; Cunha, M ;
PUBLISHED: 2011, SOURCE: 2011 6th International Workshop on the Analysis of Multi-Temporal Remote Sensing Images, Multi-Temp 2011 in 2011 6th International Workshop on the Analysis of Multi-Temporal Remote Sensing Images, Multi-Temp 2011 - Proceedings, PAGES: 45-48
13833
TITLE: Photodynamic Antimicrobial Chemotherapy in Aquaculture: Photoinactivation Studies of Vibrio fischeri
AUTHORS: Alves, E; Faustino, MAF ; Tome, JPC ; Neves, MGPMS ; Tome, AC ; Cavaleiro, JAS ; Cunha, A ; Gomes, NCM ; Almeida, A ;
PUBLISHED: 2011, SOURCE: PLOS ONE, VOLUME: 6, ISSUE: 6
AUTHORS: Alves, E; Faustino, MAF ; Tome, JPC ; Neves, MGPMS ; Tome, AC ; Cavaleiro, JAS ; Cunha, A ; Gomes, NCM ; Almeida, A ;
PUBLISHED: 2011, SOURCE: PLOS ONE, VOLUME: 6, ISSUE: 6
13834
TITLE: Physical exercise as a therapeutic tool: What role for scientific journals? [Saúde e exercício físico como instrumento terapêutico: Que papel para as revistas científicas?]
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2011, SOURCE: Motricidade, VOLUME: 7, ISSUE: 2, PAGES: 1-5
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2011, SOURCE: Motricidade, VOLUME: 7, ISSUE: 2, PAGES: 1-5
INDEXED IN: Scopus
Scopus13835
TITLE: Piezoelectric probe for pressure waveform estimation in flexible tubes and its application to the cardiovascular system Full Text
AUTHORS: Almeida, VG ; Pereira, HC; Pereira, T ; Figueiras, E; Borges, E; Cardoso, JMR ; Correia, C ;
PUBLISHED: 2011, SOURCE: SENSORS AND ACTUATORS A-PHYSICAL, VOLUME: 169, ISSUE: 1, PAGES: 217-226
AUTHORS: Almeida, VG ; Pereira, HC; Pereira, T ; Figueiras, E; Borges, E; Cardoso, JMR ; Correia, C ;
PUBLISHED: 2011, SOURCE: SENSORS AND ACTUATORS A-PHYSICAL, VOLUME: 169, ISSUE: 1, PAGES: 217-226
13836
TITLE: Planning of a usability test for 3D controllers in Second Life / OpenSimulator virtual worlds
AUTHORS: Catia Dias; Odete Fernandes; António Cunha ; Leonel Morgado ;
PUBLISHED: 2011, SOURCE: 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011 in 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011, Braga, Portugal, November 16-18, 2011, PAGES: 1-4
AUTHORS: Catia Dias; Odete Fernandes; António Cunha ; Leonel Morgado ;
PUBLISHED: 2011, SOURCE: 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011 in 2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011, Braga, Portugal, November 16-18, 2011, PAGES: 1-4
13837
TITLE: PopAffiliator: online calculator for individual affiliation to a major population group based on 17 autosomal short tandem repeat genotype profile Full Text
AUTHORS: Pereira, L ; Alshamali, F; Andreassen, R; Ballard, R; Chantratita, W; Cho, NS; Coudray, C; Dugoujon, JM; Espinoza, M; Gonzalez Andrade, F; Hadi, S; Immel, UD; Marian, C; Gonzalez Martin, A; Mertens, G; Parson, W; Perone, C; Prieto, L; Takeshita, H; Villalobos, HR; ...More
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 125, ISSUE: 5, PAGES: 629-636
AUTHORS: Pereira, L ; Alshamali, F; Andreassen, R; Ballard, R; Chantratita, W; Cho, NS; Coudray, C; Dugoujon, JM; Espinoza, M; Gonzalez Andrade, F; Hadi, S; Immel, UD; Marian, C; Gonzalez Martin, A; Mertens, G; Parson, W; Perone, C; Prieto, L; Takeshita, H; Villalobos, HR; ...More
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF LEGAL MEDICINE, VOLUME: 125, ISSUE: 5, PAGES: 629-636
13838
TITLE: Position-Based Jamming for Enhanced Wireless Secrecy
AUTHORS: Joao P Vilela ; Pedro C Pinto; Joao Barros ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 3, PAGES: 616-627
AUTHORS: Joao P Vilela ; Pedro C Pinto; Joao Barros ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 3, PAGES: 616-627
13839
TITLE: Post-stroke patients functional task characterization through accelerometry data for rehabilitation intervention and monitoring
AUTHORS: Claudia S Silva; Carla M Borges; António J Salazar; Ana S Silva; Miguel V Correia ; Rubim S Santos;
PUBLISHED: 2011
AUTHORS: Claudia S Silva; Carla M Borges; António J Salazar; Ana S Silva; Miguel V Correia ; Rubim S Santos;
PUBLISHED: 2011
INDEXED IN: Handle
Handle13840
TITLE: Power Indices Applied to Portuguese Parliament
AUTHORS: Jose M Alonso Meijide; Flavio Ferreira; Mikel Alvarez Mozos; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: International Conference DYNA 2008 in DYNAMICS, GAMES AND SCIENCE II, VOLUME: 2, PAGES: 97-105
AUTHORS: Jose M Alonso Meijide; Flavio Ferreira; Mikel Alvarez Mozos; Alberto A Pinto ;
PUBLISHED: 2011, SOURCE: International Conference DYNA 2008 in DYNAMICS, GAMES AND SCIENCE II, VOLUME: 2, PAGES: 97-105
