CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10678
536 Team MembersFilters -> Year: 2026
8841
TITLE: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTHORS: Brito, E ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 97-110
AUTHORS: Brito, E ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 97-110
8842
TITLE: Providing user context for mobile and social networking applications
AUTHORS: Santos, AC; Cardoso, JMP ; Ferreira, DR; Diniz, PC ; Chaínho, P;
PUBLISHED: 2010, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 6, ISSUE: 3, PAGES: 324-341
AUTHORS: Santos, AC; Cardoso, JMP ; Ferreira, DR; Diniz, PC ; Chaínho, P;
PUBLISHED: 2010, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 6, ISSUE: 3, PAGES: 324-341
8843
TITLE: Publicar em revistas lusófonas: Uma meta para uma academia consolidada Full Text
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira;
PUBLISHED: 2010, SOURCE: Motricidade, VOLUME: 6, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Carla Maria Teixeira;
PUBLISHED: 2010, SOURCE: Motricidade, VOLUME: 6, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef8844
TITLE: QoS-aware Component Composition
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PAGES: 1008-1013
AUTHORS: Barbosa, LS ; Meng, S;
PUBLISHED: 2010, SOURCE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PAGES: 1008-1013
8845
TITLE: Quality of Information and Communications Technology, 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings
AUTHORS: Fernando Brito e Abreu ; João Pascoal Faria ; Ricardo Jorge Machado ;
PUBLISHED: 2010, SOURCE: QUATIC
AUTHORS: Fernando Brito e Abreu ; João Pascoal Faria ; Ricardo Jorge Machado ;
PUBLISHED: 2010, SOURCE: QUATIC
INDEXED IN: 
DBLP
DBLP8846
TITLE: Real-Time Wireless Location and Tracking System with Motion Pattern Detection
AUTHORS: Pedro Abreu ; Vasco Vinhas; Pedro Mendes; Luis Paulo ; Julio Gargant ;
PUBLISHED: 2010, SOURCE: Robot Localization and Map Building
AUTHORS: Pedro Abreu ; Vasco Vinhas; Pedro Mendes; Luis Paulo ; Julio Gargant ;
PUBLISHED: 2010, SOURCE: Robot Localization and Map Building
8847
TITLE: Realidade Aumentada e Ubiquidade na Educação
AUTHORS: Maria Manuela Cruz Cunha ; Reis, MGAD; Emanuel Peres ; João Varajão ; Maximino Bessa ; Luís Magalhães ; Luís Barbosa ; João Barreira;
PUBLISHED: 2010, SOURCE: Rev. Iberoam. de Tecnol. del Aprendiz., VOLUME: 5, ISSUE: 4, PAGES: 167-174
AUTHORS: Maria Manuela Cruz Cunha ; Reis, MGAD; Emanuel Peres ; João Varajão ; Maximino Bessa ; Luís Magalhães ; Luís Barbosa ; João Barreira;
PUBLISHED: 2010, SOURCE: Rev. Iberoam. de Tecnol. del Aprendiz., VOLUME: 5, ISSUE: 4, PAGES: 167-174
INDEXED IN: 
Scopus DBLP
Scopus DBLP8848
TITLE: Recommending access to web resources based on user's profile and traceability
AUTHORS: Bettencourt, N; Silva, N ;
PUBLISHED: 2010, SOURCE: 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010 in Proceedings - 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010, PAGES: 1108-1113
AUTHORS: Bettencourt, N; Silva, N ;
PUBLISHED: 2010, SOURCE: 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010 in Proceedings - 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010, PAGES: 1108-1113
8849
TITLE: Reconstruction of High Frame Rate Image Sequences in Biomechanical Related Areas
AUTHORS: Costa, M; Soares, Salviano Soares, Pinto Soares ; Barroso, J ;
PUBLISHED: 2010, SOURCE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 9-12
AUTHORS: Costa, M; Soares, Salviano Soares, Pinto Soares ; Barroso, J ;
PUBLISHED: 2010, SOURCE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 9-12
8850
TITLE: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-+
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-+
8851
TITLE: Representation of their knowledge in the field of football: development of an ontology
AUTHORS: Pedro Abreu ; Mario Faria; Luis Paulo Reis ; Julio Gargarnta;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 414-419
AUTHORS: Pedro Abreu ; Mario Faria; Luis Paulo Reis ; Julio Gargarnta;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 414-419
INDEXED IN: 
WOS
WOS8852
TITLE: Resource Aware Distributed Knowledge Discovery
AUTHORS: João Gama ; Antoine Cornuéjols;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery, VOLUME: 6202 LNAI, PAGES: 40-60
AUTHORS: João Gama ; Antoine Cornuéjols;
PUBLISHED: 2010, SOURCE: Ubiquitous Knowledge Discovery, VOLUME: 6202 LNAI, PAGES: 40-60
8853
TITLE: Resource-bounded Outlier Detection using Clustering Methods
AUTHORS: Luís Torgo ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 84-98
AUTHORS: Luís Torgo ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 84-98
8854
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
8855
TITLE: Reusable and Inter-Operable Web-Based Intelligent Tutoring Systems Using SCORM 2004
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
INDEXED IN: Scopus WOS
Scopus WOS8856
TITLE: Reverse Engineering of GUI Models for Testing
AUTHORS: Andre M P Grilo; Ana C R Paiva ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 284-289
AUTHORS: Andre M P Grilo; Ana C R Paiva ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 284-289
INDEXED IN: Scopus WOS
Scopus WOS8857
TITLE: Rules for contrast sets Full Text
AUTHORS: Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, ISSUE: 6, PAGES: 623-640
AUTHORS: Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, ISSUE: 6, PAGES: 623-640
8858
TITLE: Runtime Programming through Model-Preserving, Scalable Runtime Patches
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2010, SOURCE: FACS, VOLUME: 6921 LNCS, PAGES: 290-294
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2010, SOURCE: FACS, VOLUME: 6921 LNCS, PAGES: 290-294
8859
TITLE: Safe Integration of Annotated Components in Open Source Projects
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXED IN: Scopus DBLP
Scopus DBLP8860
TITLE: Scalable Transactions in the Cloud: Partitioning Revisited
AUTHORS: Maia, F ; Armendáriz Iñigo, JE; Ruiz Fuertes, MI; Oliveira, R ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 785-+
AUTHORS: Maia, F ; Armendáriz Iñigo, JE; Ruiz Fuertes, MI; Oliveira, R ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 785-+
