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: 18089
1699 Team MembersFilters -> Year: 2024
12941
TITLE: Using Serious Games to Train Evacuation Behaviour PDF
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 
arXiv
Scopus WOS DBLP arXiv12942
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: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PAGES: 493-495
AUTHORS: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PAGES: 493-495
12943
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: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
AUTHORS: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PAGES: 239-244
12944
TITLE: USING UWB FOR HUMAN TRAJECTORY EXTRACTION PDF
AUTHORS: Goncalo Vasconcelos; Marcelo Petry ; Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca Coelho;
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: Goncalo Vasconcelos; Marcelo Petry ; Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca Coelho;
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 arXiv
Scopus WOS DBLP arXiv12945
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)
12946
TITLE: Vehicular sensing: Emergence of a massive urban scanner
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 1-14
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Gomes, P; D'Orey, PM ; Moreira Matias, L ; Gama, J ; Lima, F; Damas, L ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 1-14
12947
TITLE: Verification conditions for single-assignment programs Full Text
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1264-1270
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1264-1270
12948
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: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
12950
TITLE: Video streaming over multi-radio access networks: An access aggregation approach
AUTHORS: Novo, N; Gomes, A; Neves, P; Ricardo, M ; Oliveira, JM ;
PUBLISHED: 2012, SOURCE: 2012 20th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2012 in 2012 20th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2012, PAGES: 1-5
AUTHORS: Novo, N; Gomes, A; Neves, P; Ricardo, M ; Oliveira, JM ;
PUBLISHED: 2012, SOURCE: 2012 20th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2012 in 2012 20th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2012, PAGES: 1-5
INDEXED IN: Scopus DBLP
Scopus DBLP12951
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 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 817-822
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 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 817-822
INDEXED IN: Scopus WOS
Scopus WOS12952
TITLE: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Fernando Barbosa; Paula Alexandra Rego ; Pedro Miguel Moreira ; 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; Fernando Barbosa; Paula Alexandra Rego ; Pedro Miguel Moreira ; 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: WOS
WOS12953
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 Handle12954
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
12955
TITLE: Virtual Worlds and Metaverse Platforms. New Communication and Identity Paradigms
AUTHORS: Nelson Zagalo; Leonel Morgado ; Ana Boa-Ventura;
PUBLISHED: 2012
AUTHORS: Nelson Zagalo; Leonel Morgado ; Ana Boa-Ventura;
PUBLISHED: 2012
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary12956
TITLE: Vision-Based Assisted Teleoperation for Inspection Tasks with a Small ROV
AUTHORS: Maria J Costa; Pedro Goncalves; Alfredo Martins ; Eduardo Silva ;
PUBLISHED: 2012, SOURCE: MTS/IEEE Oceans Conference in 2012 OCEANS
AUTHORS: Maria J Costa; Pedro Goncalves; Alfredo Martins ; Eduardo Silva ;
PUBLISHED: 2012, SOURCE: MTS/IEEE Oceans Conference in 2012 OCEANS
12957
TITLE: Visual Analysis of Online Interactions through Social Network Patterns
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
12958
TITLE: Vital Analysis: Annotating sensed physiological signals with the stress levels of first responders in action
AUTHORS: Gomes, P; Kaiseler, M; Queiros, C ; Oliveira, M; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6695-6698
AUTHORS: Gomes, P; Kaiseler, M; Queiros, C ; Oliveira, M; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6695-6698
12959
TITLE: Vital Analysis: Field Validation of a Framework for Annotating Biological Signals of First Responders in Action
AUTHORS: Gomes, P; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2128-2131
AUTHORS: Gomes, P; Lopes, B; Coimbra, M ;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 2128-2131
12960
TITLE: Vital responder - Wearable sensing challenges in uncontrolled critical environments
AUTHORS: Coimbra, M ; Silva Cunha, JP ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 45-62
AUTHORS: Coimbra, M ; Silva Cunha, JP ;
PUBLISHED: 2012, SOURCE: 3rd International ICST Conference on Sensor Systems and Software, S-Cube 2012 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 102 LNICST, PAGES: 45-62
