CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 10637

536 Team Members
Filters -> Year: 2026
8141
TITLE: Usability test of 3Dconnexion 3D mice versus keyboard plus mouse in Second Life undertaken by people with motor disabilities due to medullary lesions
AUTHORS: Martins, M ; Cunha, A ; Morgado, L ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 119-127
INDEXED IN: Scopus WOS DBLP CrossRef: 6
8142
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
INDEXED IN: Scopus WOS DBLP CrossRef: 5
8143
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
INDEXED IN: Scopus WOS DBLP
8144
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
INDEXED IN: Scopus DBLP CrossRef: 2
8145
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
INDEXED IN: Scopus DBLP CrossRef: 4
8146
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
INDEXED IN: Scopus DBLP CrossRef: 5
8147
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
INDEXED IN: Scopus DBLP CrossRef: 1
8148
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
INDEXED IN: Scopus DBLP CrossRef: 12 Unpaywall
8149
TITLE: Very Fast Decision Rules for multi-class problems
AUTHORS: Petr Kosina; João Gama ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 795-800
INDEXED IN: Scopus DBLP CrossRef: 10
8150
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)
INDEXED IN: Scopus WOS Handle
8151
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
INDEXED IN: Scopus WOS Handle
8152
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
INDEXED IN: Scopus DBLP CrossRef: 6
8153
TITLE: Web Accessibility and Digital Businesses: The Potential Economic Value of Portuguese People with Disability
AUTHORS: Rocha, T ; Bessa, M ; Gonçalves, R ; Peres, E ; Magalhaes, L ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 56-64
INDEXED IN: Scopus WOS DBLP CrossRef: 3
8154
TITLE: Where Are We Going? Predicting the Evolution of Individuals
AUTHORS: Zaigham Faraz Siddiqui; Márcia D B Oliveira ; João Gama ; Myra Spiliopoulou;
PUBLISHED: 2012, SOURCE: IDA, VOLUME: 7619 LNCS, PAGES: 357-368
INDEXED IN: Scopus DBLP CrossRef: 5
8155
TITLE: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PAGES: 82-93
INDEXED IN: Scopus WOS
8156
TITLE: Will it be identity crisis? [Serão crises de identidade?]
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 4, PAGES: 1-4
INDEXED IN: Scopus
8157
TITLE: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks
AUTHORS: Leitao, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, ISSUE: 11, PAGES: 2175-2188
INDEXED IN: Scopus WOS DBLP CrossRef: 11
8158
TITLE: 5th Workshop on Wikis for Software Engineering
AUTHORS: Ademar Aguiar ; Paulo Merson;
PUBLISHED: 2011, SOURCE: 7th Annual International Symposium on Wikis and Open Collaboration, WikiSym 2011 in Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011, Mountain View, CA, USA, October 3-5, 2011, PAGES: 233-234
INDEXED IN: Scopus DBLP CrossRef
8159
TITLE: A 3D simulation framework for safe ambient-assisted home care
AUTHORS: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PAGES: 61-66
INDEXED IN: Scopus
8160
TITLE: A aplicação do E-marketing em empresas de uma região Ultraperiférica - Região Autónoma da Madeira
AUTHORS: Sousa, S; Teixeira, MS ; Gonçalves, R ;
PUBLISHED: 2011, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: 7, PAGES: 17-31
INDEXED IN: Scopus

Results per Page: 20.
Page 408 of 532. Total results: 10637.