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: 8139
531 Team MembersFilters -> Year: 2024
6301
TITLE: A contribution to the e-framework: a specification of a programming exercise evaluation service
AUTHORS: José P Leal ; Ricardo Queirós; Duarte Ferreira;
PUBLISHED: 2010
AUTHORS: José P Leal ; Ricardo Queirós; Duarte Ferreira;
PUBLISHED: 2010
INDEXED IN: 
Handle
Handle6302
TITLE: A Coordination Model for Interactive Components
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
6303
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: 
DBLP
DBLP6304
TITLE: A digital game development education project
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef6305
TITLE: A Facade Tracking System for Outdoor Augmented Reality
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
INDEXED IN: Scopus 
WOS
Scopus WOS6306
TITLE: A Gap Analysis Methodology for the Team Software Process
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
6307
TITLE: A Metamodel-Based Approach for Automatic User Interface Generation
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1, PAGES: 256-270
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1, PAGES: 256-270
6308
TITLE: A Query Processing Strategy for Conceptual Queries Based on Object-Role Modeling
AUTHORS: António Rosado; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 4th International Conference on Network and System Security, NSS 2010 in Fourth International Conference on Network and System Security, NSS 2010, Melbourne, Victoria, Australia, September 1-3, 2010, PAGES: 398-403
AUTHORS: António Rosado; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 4th International Conference on Network and System Security, NSS 2010 in Fourth International Conference on Network and System Security, NSS 2010, Melbourne, Victoria, Australia, September 1-3, 2010, PAGES: 398-403
6309
TITLE: A Simple Dense Pixel Visualization for Mobile Sensor Data Mining
AUTHORS: Pedro Pereira Rodrigues ; Joao Gama ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 175-189
AUTHORS: Pedro Pereira Rodrigues ; Joao Gama ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 175-189
6310
TITLE: A spatially stochastic epidemic model with partial immunization shows in mean field approximation the reinfection threshold
AUTHORS: Stollenwerk, N ; van Noort, S; Martins, J ; Aguiar, M ; Hilker, F; Pinto, A ; Gomes, G ;
PUBLISHED: 2010, SOURCE: Journal of Biological Dynamics, VOLUME: 4, ISSUE: 6, PAGES: 634-649
AUTHORS: Stollenwerk, N ; van Noort, S; Martins, J ; Aguiar, M ; Hilker, F; Pinto, A ; Gomes, G ;
PUBLISHED: 2010, SOURCE: Journal of Biological Dynamics, VOLUME: 4, ISSUE: 6, PAGES: 634-649
6311
TITLE: A survey of Adult Education Campi in Second Life
AUTHORS: Jorge Pereira; Joel Pereira; Cristovao Costa; Daniel Silva; Joao Varajao; Leonel Morgado ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 471-478
AUTHORS: Jorge Pereira; Joel Pereira; Cristovao Costa; Daniel Silva; Joao Varajao; Leonel Morgado ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 471-478
INDEXED IN: Scopus WOS
Scopus WOS6312
TITLE: A Traffic Differentiation Add-On to the IEEE 802.15.4 Protocol: implementation and experimental validation over a real-time operating system
AUTHORS: Ricardo Severino ; Manish Batsa; Mario Alves ; Anis Koubaa ;
PUBLISHED: 2010, SOURCE: 13th Euromicro Conference on Digital System Design on Architectures, Methods and Tools in 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PAGES: 501-508
AUTHORS: Ricardo Severino ; Manish Batsa; Mario Alves ; Anis Koubaa ;
PUBLISHED: 2010, SOURCE: 13th Euromicro Conference on Digital System Design on Architectures, Methods and Tools in 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PAGES: 501-508
6313
TITLE: A Visualization Paradigm for 3D Map-Based Mobile Services
AUTHORS: Freitas, M; Sousa, AA ; Coelho, A ;
PUBLISHED: 2010, SOURCE: 4th International Conference on Computer Graphics Theory and Applications in COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS: THEORY AND APPLICATIONS, VOLUME: 68, PAGES: 89-103
AUTHORS: Freitas, M; Sousa, AA ; Coelho, A ;
PUBLISHED: 2010, SOURCE: 4th International Conference on Computer Graphics Theory and Applications in COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS: THEORY AND APPLICATIONS, VOLUME: 68, PAGES: 89-103
6314
TITLE: A Wireless Sensor Network platform for structural health monitoring: Enabling accurate and synchronized measurements through COTS+custom-based design
AUTHORS: Severino, R; Gomes, R; Alves, M ; Sousa, P; Tovar, E ; Ramos, LF ; Aguilar, R; Lourenco, PB ;
PUBLISHED: 2010, SOURCE: 5th IFAC Conference on Management and Control of Production and Logistics, MCLP'10 in IFAC Proceedings Volumes (IFAC-PapersOnline), PAGES: 375-382
AUTHORS: Severino, R; Gomes, R; Alves, M ; Sousa, P; Tovar, E ; Ramos, LF ; Aguilar, R; Lourenco, PB ;
PUBLISHED: 2010, SOURCE: 5th IFAC Conference on Management and Control of Production and Logistics, MCLP'10 in IFAC Proceedings Volumes (IFAC-PapersOnline), PAGES: 375-382
6315
TITLE: Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning
AUTHORS: Rui Leite ; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215, PAGES: 309-314
AUTHORS: Rui Leite ; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215, PAGES: 309-314
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP6316
TITLE: Ada and the software vulnerabilities project
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Tucker Taft, S; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 3, PAGES: 191-215
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Tucker Taft, S; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 3, PAGES: 191-215
INDEXED IN: Scopus
Scopus6317
TITLE: Ada and the software vulnerabilities project: The SPARK Annex
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Taft, ST; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 4, PAGES: 278-289
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Taft, ST; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 4, PAGES: 278-289
INDEXED IN: Scopus
Scopus6318
TITLE: Ada User Journal: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 2, PAGES: 79
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 2, PAGES: 79
INDEXED IN: Scopus
Scopus6319
TITLE: Ada User Journal: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 3, PAGES: 151
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 3, PAGES: 151
INDEXED IN: Scopus
Scopus6320
TITLE: Ada User Journal: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 4, PAGES: 223
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 4, PAGES: 223
INDEXED IN: Scopus
Scopus