Human-Centered Computing and Information Science (HumanISE)
Computação Centrada No Humano e Ciência da Informação
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY7
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: 4554
213 Team MembersFilters -> Year: 2026
3601
TITLE: Specification-Driven Unit Test Generation for Java Generic Classes
AUTHORS: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 296-311
AUTHORS: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 296-311
3602
TITLE: Specifying Compiler Strategies for FPGA-based Systems
AUTHORS: Cardoso, JMP ; Teixeira, J; Alves, JC ; Nobre, R ; Diniz, PC ; Coutinho, JGF; Luk, W;
PUBLISHED: 2012, SOURCE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PAGES: 192-199
AUTHORS: Cardoso, JMP ; Teixeira, J; Alves, JC ; Nobre, R ; Diniz, PC ; Coutinho, JGF; Luk, W;
PUBLISHED: 2012, SOURCE: 20th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) in 2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), PAGES: 192-199
3603
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 312-326
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS, PAGES: 312-326
3604
TITLE: Sports with values: Constructing a fairer society [Num desporto com valores: Construir uma sociedade mais justa]
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 2, PAGES: 1-7
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 2, PAGES: 1-7
INDEXED IN: 
Scopus
Scopus3605
TITLE: State of the Art on Methodologies for the Development of a Metadata Application Profile
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 61-73
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2012, SOURCE: 6th Research Conference on Metadata and Semantics Research in METADATA AND SEMANTICS RESEARCH, VOLUME: 343, PAGES: 61-73
3606
TITLE: Studying a Personality Coreference Network in a News Stories Photo Collection
AUTHORS: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2012, SOURCE: ECIR, VOLUME: 7224 LNCS, PAGES: 485-488
AUTHORS: José Luís Devezas ; Filipe Coelho; Sérgio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2012, SOURCE: ECIR, VOLUME: 7224 LNCS, PAGES: 485-488
3607
TITLE: Telling stories with digital technologies in corporative training context
AUTHORS: Josias R Hack; Fernando Ramos; Arnaldo Santos ;
PUBLISHED: 2012, SOURCE: DST 2012: International Conference on Digital Storytelling
AUTHORS: Josias R Hack; Fernando Ramos; Arnaldo Santos ;
PUBLISHED: 2012, SOURCE: DST 2012: International Conference on Digital Storytelling
INDEXED IN: 
Handle
Handle3608
TITLE: Test Generation from UML Sequence Diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; Yang, ZL;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 245-250
AUTHORS: Faria, JP ; Paiva, ACR ; Yang, ZL;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 245-250
3609
TITLE: The Recognition of Web Pages' Hyperlinks by People with Intellectual Disabilities: An Evaluation Study Full Text
AUTHORS: Tania Rocha ; Maximino Bessa ; Martinho Goncalves; Luciana Cabral ; Francisco Godinho; Emanuel Peres ; Manuel C Reis ; Luis Magalhaes ; Alan Chalmers;
PUBLISHED: 2012, SOURCE: JOURNAL OF APPLIED RESEARCH IN INTELLECTUAL DISABILITIES, VOLUME: 25, ISSUE: 6, PAGES: 542-552
AUTHORS: Tania Rocha ; Maximino Bessa ; Martinho Goncalves; Luciana Cabral ; Francisco Godinho; Emanuel Peres ; Manuel C Reis ; Luis Magalhaes ; Alan Chalmers;
PUBLISHED: 2012, SOURCE: JOURNAL OF APPLIED RESEARCH IN INTELLECTUAL DISABILITIES, VOLUME: 25, ISSUE: 6, PAGES: 542-552
3610
TITLE: Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum
AUTHORS: Joao Gomes Fonseca; Antonio H J Moreira; Pedro L Rodrigues; Jaime C Fonseca ; Pinho, ACM ; Jorge Correia Pinto ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging, Tomography, and Therapy in MEDICAL IMAGING 2012: ULTRASONIC IMAGING, TOMOGRAPHY, AND THERAPY, VOLUME: 8320
AUTHORS: Joao Gomes Fonseca; Antonio H J Moreira; Pedro L Rodrigues; Jaime C Fonseca ; Pinho, ACM ; Jorge Correia Pinto ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging, Tomography, and Therapy in MEDICAL IMAGING 2012: ULTRASONIC IMAGING, TOMOGRAPHY, AND THERAPY, VOLUME: 8320
3611
TITLE: Time mesh: An educational historical game
AUTHORS: David Gouveia; Duarte Lopes; Carlos Vaz De Carvalho; Ricardo Batista ;
PUBLISHED: 2012, SOURCE: Proceedings 2012 4th IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, DIGITEL 2012, PAGES: 171-173
AUTHORS: David Gouveia; Duarte Lopes; Carlos Vaz De Carvalho; Ricardo Batista ;
PUBLISHED: 2012, SOURCE: Proceedings 2012 4th IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, DIGITEL 2012, PAGES: 171-173
3612
TITLE: Tolerating Transient Communication Faults with Online Traffic Scheduling
AUTHORS: Marques, L ; Vasconcelos, V ; Pedreiras, P ; Almeida, L ;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Conference on Industrial Technology, ICIT 2012 in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), PAGES: 396-402
AUTHORS: Marques, L ; Vasconcelos, V ; Pedreiras, P ; Almeida, L ;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Conference on Industrial Technology, ICIT 2012 in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), PAGES: 396-402
3613
TITLE: Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices
AUTHORS: Isabel Lopes Margarido; João Pascoal Faria ; Raul Moreira Vidal; Marco Vieira ;
PUBLISHED: 2012, SOURCE: PROFES, VOLUME: 7343 LNCS, PAGES: 361-365
AUTHORS: Isabel Lopes Margarido; João Pascoal Faria ; Raul Moreira Vidal; Marco Vieira ;
PUBLISHED: 2012, SOURCE: PROFES, VOLUME: 7343 LNCS, PAGES: 361-365
3614
TITLE: TOWARDS A SERIOUS GAMES EVACUATION SIMULATOR PDF
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
AUTHORS: Ribeiro, J; Almeida, JE; Rossetti, RJF ; Coelho, A ; Coelho, AL;
PUBLISHED: 2012, SOURCE: 26th European Conference on Modelling and Simulation (ECMS 2012) in PROCEEDINGS 26TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2012, PAGES: 697-702
3615
TITLE: Towards an Overarching Classification Model of CSCW and Groupware: A Socio-technical Perspective
AUTHORS: Armando Cruz ; António Correia ; Hugo Paredes ; Benjamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLISHED: 2012, SOURCE: CRIWG, VOLUME: 7493 LNCS, PAGES: 41-56
AUTHORS: Armando Cruz ; António Correia ; Hugo Paredes ; Benjamim Fonseca ; Leonel Morgado ; Paulo Martins ;
PUBLISHED: 2012, SOURCE: CRIWG, VOLUME: 7493 LNCS, PAGES: 41-56
3616
TITLE: Towards Location-based Augmented Reality games
AUTHORS: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PAGES: 318-319
AUTHORS: Jacob, J ; da Silva, H; Coelho, A ; Rodrigues, R ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 4TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES'12), VOLUME: 15, PAGES: 318-319
3617
TITLE: TOWARDS THE IMPLEMENTATION OF A HANDBALL PLAYER AGENT FRAMEWORK
AUTHORS: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PAGES: 204-209
AUTHORS: Jacob, J ; Rosaldo J F Rossetti ; Antonio Coelho ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 24th European Modeling and Simulation Symposium (EMSS) in 24TH EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2012), PAGES: 204-209
INDEXED IN: Scopus 
WOS
Scopus WOS3618
TITLE: Trends in ozone concentrations in the Iberian Peninsula by quantile regression and clustering Full Text
AUTHORS: Monteiro, A ; Carvalho, A; Ribeiro, I; Scotto, M ; Barbosa, S ; Alonso, A; Baldasano, JM; Pay, MT; Miranda, AI ; Borrego, C ;
PUBLISHED: 2012, SOURCE: ATMOSPHERIC ENVIRONMENT, VOLUME: 56, PAGES: 184-193
AUTHORS: Monteiro, A ; Carvalho, A; Ribeiro, I; Scotto, M ; Barbosa, S ; Alonso, A; Baldasano, JM; Pay, MT; Miranda, AI ; Borrego, C ;
PUBLISHED: 2012, SOURCE: ATMOSPHERIC ENVIRONMENT, VOLUME: 56, PAGES: 184-193
3619
TITLE: Uma reflexão crítica sobre a prática científica e o seu contributo para a qualidade de vida da sociedade Full Text
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira; Fernandes, HM ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef3620
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
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
