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: 25010
1716 Team MembersFilters -> Year: 2026
18861
TITLE: USING MOBILE DEVICES FOR TOPOLOGICAL INFERENCE OF INDOOR ENVIRONMENTS
AUTHORS: Paiva, M; Marcelo R. Petry ; Rossetti, RJF ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Agents and Artificial Intelligence in ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PAGES: 427-432
AUTHORS: Paiva, M; Marcelo R. Petry ; Rossetti, RJF ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Agents and Artificial Intelligence in ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PAGES: 427-432
18862
TITLE: Using Peano-Hilbert space filling curves for fast bidimensional ensemble EMD realization Full Text
AUTHORS: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLISHED: 2012, SOURCE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, ISSUE: 1, PAGES: 181
AUTHORS: Paulo Costa; Joao Barroso ; Hugo Fernandes ; Leontios J Hadjileontiadis;
PUBLISHED: 2012, SOURCE: EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, VOLUME: 2012, ISSUE: 1, PAGES: 181
18863
TITLE: Using Permutation Tests to Study How the Dimensionality, the Number of Classes, and the Number of Samples Affect Classification Analysis
AUTHORS: Mohammed Sadeq Al Rawi; Joao Paulo Silva Cunha ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT I, VOLUME: 7324, ISSUE: PART 1, PAGES: 34-42
AUTHORS: Mohammed Sadeq Al Rawi; Joao Paulo Silva Cunha ;
PUBLISHED: 2012, SOURCE: 9th International Conference on Image Analysis and Recognition (ICIAR) in IMAGE ANALYSIS AND RECOGNITION, PT I, VOLUME: 7324, ISSUE: PART 1, PAGES: 34-42
18864
TITLE: Using Photovoltaic Systems to Improve Voltage Control in Low Voltage Networks
AUTHORS: Rodrigues, JM ; Resende, FO ;
PUBLISHED: 2012, SOURCE: 3rd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies Europe (ISGT Europe) in 2012 3RD IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE)
AUTHORS: Rodrigues, JM ; Resende, FO ;
PUBLISHED: 2012, SOURCE: 3rd IEEE PES International Conference and Exhibition on Innovative Smart Grid Technologies Europe (ISGT Europe) in 2012 3RD IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE)
18865
TITLE: Using Serious Games to Train Evacuation Behaviour
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PAGES: 771-776
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, VOLUME: abs/1303.3828, PAGES: 771-776
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP18866
TITLE: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS, PAGES: 493-495
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAT, VOLUME: 7317 LNCS, PAGES: 493-495
18867
TITLE: Using the overlapping community structure of a network of tags to improve text clustering
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: HT, PAGES: 239-244
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: HT, PAGES: 239-244
18868
TITLE: USING UWB FOR HUMAN TRAJECTORY EXTRACTION
AUTHORS: Vasconcelos, G; Marcelo R. Petry ; Almeida, JE; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), VOLUME: abs/1303.4696, PAGES: 428-433
AUTHORS: Vasconcelos, G; Marcelo R. Petry ; Almeida, JE; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), VOLUME: abs/1303.4696, PAGES: 428-433
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP18869
TITLE: Validation of a waveform delineator device for cardiac studies: repeatability and data mining analysis
AUTHORS: Almeida, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, JMR ; Correia, C ;
PUBLISHED: 2012, SOURCE: 2nd IEEE Portuguese Meeting in Bioengineering (ENBENG) in 2012 IEEE 2ND PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
AUTHORS: Almeida, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, JMR ; Correia, C ;
PUBLISHED: 2012, SOURCE: 2nd IEEE Portuguese Meeting in Bioengineering (ENBENG) in 2012 IEEE 2ND PORTUGUESE MEETING IN BIOENGINEERING (ENBENG)
18870
TITLE: Vehicular Sensing: Emergence of a Massive Urban Scanner
AUTHORS: Michel Ferreira ; Ricardo Fernandes; Hugo Conceição ; Pedro Emanuel Rodrigues Gomes; Pedro M d'Orey ; Luís Moreira Matias ; João Gama ; Fernanda Lima; Luís Damas ;
PUBLISHED: 2012, SOURCE: S-CUBE, VOLUME: 102 LNICST, PAGES: 1-14
AUTHORS: Michel Ferreira ; Ricardo Fernandes; Hugo Conceição ; Pedro Emanuel Rodrigues Gomes; Pedro M d'Orey ; Luís Moreira Matias ; João Gama ; Fernanda Lima; Luís Damas ;
PUBLISHED: 2012, SOURCE: S-CUBE, VOLUME: 102 LNICST, PAGES: 1-14
18871
TITLE: Ventilation guidelines based on real world indoor air quality and ventilation related problems (prescriptive guidelines)
AUTHORS: Seppanen, O; Bischof, W; Brelih, N; Leal, V ; Wargocki, P;
PUBLISHED: 2012, SOURCE: 10th International Conference on Healthy Buildings 2012 in 10th International Conference on Healthy Buildings 2012, VOLUME: 2, PAGES: 1194-1199
AUTHORS: Seppanen, O; Bischof, W; Brelih, N; Leal, V ; Wargocki, P;
PUBLISHED: 2012, SOURCE: 10th International Conference on Healthy Buildings 2012 in 10th International Conference on Healthy Buildings 2012, VOLUME: 2, PAGES: 1194-1199
INDEXED IN: Scopus
Scopus18872
TITLE: Verification conditions for single-assignment programs
AUTHORS: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 1264-1270
AUTHORS: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 1264-1270
18873
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: EuroMPI, VOLUME: 7490 LNCS, PAGES: 291-293
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: EuroMPI, VOLUME: 7490 LNCS, PAGES: 291-293
18874
TITLE: Very Fast Decision Rules for multi-class problems
AUTHORS: Petr Kosina; João Gama ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 795-800
AUTHORS: Petr Kosina; João Gama ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 795-800
18875
TITLE: Vibrations in AO control: A short analysis of on-sky data around the world
AUTHORS: Kulcsar, C; Sivo, G; Raynaud, HF; Neichel, B; Rigaut, F; Christou, J; Guesalaga, A; Correia, C ; Veran, JP; Gendron, E; Vidal, F; Rousset, G; Morris, T; Esposito, S; Quiros Pacheco, F; Agapito, G; Fedrigo, E; Pettazzi, L; Clare, R; Muradore, R; ...More
PUBLISHED: 2012, SOURCE: Adaptive Optics Systems III in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 8447
AUTHORS: Kulcsar, C; Sivo, G; Raynaud, HF; Neichel, B; Rigaut, F; Christou, J; Guesalaga, A; Correia, C ; Veran, JP; Gendron, E; Vidal, F; Rousset, G; Morris, T; Esposito, S; Quiros Pacheco, F; Agapito, G; Fedrigo, E; Pettazzi, L; Clare, R; Muradore, R; ...More
PUBLISHED: 2012, SOURCE: Adaptive Optics Systems III in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 8447
INDEXED IN: Scopus
Scopus18876
TITLE: Vibrations in AO control: a short analysis of on-sky data around the world
AUTHORS: Kulcsár, C; Sivo, G; Raynaud, HF; Neichel, B; Rigaut, F; Christou, J; Guesalaga, A; Correia, C ; Véran, JP; Gendron, É; Vidal, F; Rousset, G; Morris, T; Esposito, S; Quirós Pacheco, F; Agapito, G; Fedrigo, E; Pettazzi, L; Clare, R; Muradore, R; ...More
PUBLISHED: 2012, SOURCE: ADAPTIVE OPTICS SYSTEMS III, VOLUME: 8447
AUTHORS: Kulcsár, C; Sivo, G; Raynaud, HF; Neichel, B; Rigaut, F; Christou, J; Guesalaga, A; Correia, C ; Véran, JP; Gendron, É; Vidal, F; Rousset, G; Morris, T; Esposito, S; Quirós Pacheco, F; Agapito, G; Fedrigo, E; Pettazzi, L; Clare, R; Muradore, R; ...More
PUBLISHED: 2012, SOURCE: ADAPTIVE OPTICS SYSTEMS III, VOLUME: 8447
18877
TITLE: Video streaming over multi-radio access networks: An access aggregation approach
AUTHORS: Nuno Novo; Álvaro Gomes; Pedro Neves; Manuel Ricardo ; José Manuel Oliveira ;
PUBLISHED: 2012, SOURCE: SoftCOM, PAGES: 1-5
AUTHORS: Nuno Novo; Álvaro Gomes; Pedro Neves; Manuel Ricardo ; José Manuel Oliveira ;
PUBLISHED: 2012, SOURCE: SoftCOM, PAGES: 1-5
INDEXED IN: Scopus DBLP
Scopus DBLP18878
TITLE: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Paula Alexandra Rego ; Pedro Miguel Moreira ; Fernando Barbosa ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Armando Sousa ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Paula Alexandra Rego ; Pedro Miguel Moreira ; Fernando Barbosa ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Armando Sousa ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: Scopus WOS 
Handle
Scopus WOS Handle18879
TITLE: Virtual City Neurocognitive Rehabilitation of Acquired Brain Injury
AUTHORS: Dores, AR; Miranda, MJ; Carvalho, IP ; Mendes, L; Barbosa, F ; Coelho, A ; de Sousa, L ; Caldas, AC ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
AUTHORS: Dores, AR; Miranda, MJ; Carvalho, IP ; Mendes, L; Barbosa, F ; Coelho, A ; de Sousa, L ; Caldas, AC ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: Scopus WOS Handle
Scopus WOS Handle18880
TITLE: Virtual Enterprise Management: Perspective of Process-Based Business Collaboration
AUTHORS: Shamsuzzoha, A; Ferreira, F ; Faria, J ; Azevedo, A ; Hao, Y; Helo, P;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), PAGES: 2028-2032
AUTHORS: Shamsuzzoha, A; Ferreira, F ; Faria, J ; Azevedo, A ; Hao, Y; Helo, P;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), PAGES: 2028-2032
