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: 8181
531 Team MembersFilters -> Year: 2024
6841
TITLE: Refinement by Interpretation in a General Setting
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, ISSUE: C, PAGES: 105-121
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, ISSUE: C, PAGES: 105-121
6842
TITLE: Refinement via interpretation
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PAGES: 250-259
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PAGES: 250-259
6843
TITLE: Regression Trees from Data Streams with Drift Detection
AUTHORS: Elena Ikonomovska; Joao Gama ; Raquel Sebastiao ; Dejan Gjorgjevik;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 5808, PAGES: 121-135
AUTHORS: Elena Ikonomovska; Joao Gama ; Raquel Sebastiao ; Dejan Gjorgjevik;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 5808, PAGES: 121-135
6844
TITLE: Relação entre dimensões do autoconceito e consumo de álcool em alunos Full Text
AUTHORS: José Vasconcelos-Raposo ; Octávio V Gonçalves; Carla M Teixeira; Helder Miguel Fernandes;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Octávio V Gonçalves; Carla M Teixeira; Helder Miguel Fernandes;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
INDEXED IN: 
CrossRef
CrossRef6845
TITLE: Relação entre exercício físico, depressão e índice de massa corporal Full Text
AUTHORS: José Vasconcelos-Raposo ; Fernandes, HM ; Miriam Mano; Edith Martins;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
AUTHORS: José Vasconcelos-Raposo ; Fernandes, HM ; Miriam Mano; Edith Martins;
PUBLISHED: 2009, SOURCE: Motricidade, VOLUME: 5, ISSUE: 1
6846
TITLE: Relational Models for Tabling Logic Programs in a Database Full Text
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-116
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-116
6847
TITLE: Responding to questionnaires on the Web using XwQuest
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
INDEXED IN: 
Scopus
Scopus6848
TITLE: REUSE OF VIDEO ANNOTATIONS BASED ON LOW-LEVEL DESCRIPTOR SIMILARITY
AUTHORS: Mario Cordeiro ; Cristina Ribeiro ;
PUBLISHED: 2009, SOURCE: 10th International Workshop on Image Analysis for Multimedia Interactive Services in 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES, PAGES: 193-196
AUTHORS: Mario Cordeiro ; Cristina Ribeiro ;
PUBLISHED: 2009, SOURCE: 10th International Workshop on Image Analysis for Multimedia Interactive Services in 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES, PAGES: 193-196
6849
TITLE: SAGA Reloaded: Towards a Generic Platform for Developing Cooperative Applications
AUTHORS: Benjamim Fonseca ; Hugo Paredes ; Joao Paulo Sousa; Mario M Martins ; Eurico Carrapatoso;
PUBLISHED: 2009, SOURCE: 13th International Conference on Computer Supported Cooperative Work in Design in 2009 13TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PAGES: 331-337
AUTHORS: Benjamim Fonseca ; Hugo Paredes ; Joao Paulo Sousa; Mario M Martins ; Eurico Carrapatoso;
PUBLISHED: 2009, SOURCE: 13th International Conference on Computer Supported Cooperative Work in Design in 2009 13TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PAGES: 331-337
6850
TITLE: Schem@Doc: a web-based XML schema visualizer
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
INDEXED IN: 
Handle
Handle6851
TITLE: Search Optimizations in Structured Peer-to-peer Systems
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 10th International Conference on Intelligent Tutoring Systems18th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises in 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, PAGES: 111-115
AUTHORS: Nuno Lopes; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 10th International Conference on Intelligent Tutoring Systems18th IEEE International Workshop on Enabling Technologies - Infrastructure for Collaborative Enterprises in 2009 18TH IEEE INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURES FOR COLLABORATIVE ENTERPRISES, PAGES: 111-115
6852
TITLE: Second Life Information Desk System using Instant Messaging and Short Messaging Service Technologies
AUTHORS: Valerio, S; Pereira, J; Morgado, L ; Mestre, P ; C. Serôdio ; Carvalho, F;
PUBLISHED: 2009, SOURCE: 1st IEEE International Conference in Games and Virtual Worlds for Serious Applications (VS-GAMES 2009) in PROCEEDINGS OF THE IEEE VIRTUAL WORLDS FOR SERIOUS APPLICATIONS, PAGES: 125-132
AUTHORS: Valerio, S; Pereira, J; Morgado, L ; Mestre, P ; C. Serôdio ; Carvalho, F;
PUBLISHED: 2009, SOURCE: 1st IEEE International Conference in Games and Virtual Worlds for Serious Applications (VS-GAMES 2009) in PROCEEDINGS OF THE IEEE VIRTUAL WORLDS FOR SERIOUS APPLICATIONS, PAGES: 125-132
6853
TITLE: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PAGES: 235-253
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PAGES: 235-253
6854
TITLE: Selection of Heuristics for the Job-Shop Scheduling Problem Based on the Prediction of Gaps in Machines Full Text
AUTHORS: Pedro Abreu; Carlos Soares ; Jorge M S Valente ;
PUBLISHED: 2009, SOURCE: 3rd Conference on Learning and Intelligent Optimization in LEARNING AND INTELLIGENT OPTIMIZATION, VOLUME: 5851, PAGES: 134-147
AUTHORS: Pedro Abreu; Carlos Soares ; Jorge M S Valente ;
PUBLISHED: 2009, SOURCE: 3rd Conference on Learning and Intelligent Optimization in LEARNING AND INTELLIGENT OPTIMIZATION, VOLUME: 5851, PAGES: 134-147
6855
TITLE: Shopping centre image dynamics of a new entrant
AUTHORS: Brito, PQ ;
PUBLISHED: 2009, SOURCE: International Journal of Retail and Distribution Management, VOLUME: 37, ISSUE: 7, PAGES: 580-599
AUTHORS: Brito, PQ ;
PUBLISHED: 2009, SOURCE: International Journal of Retail and Distribution Management, VOLUME: 37, ISSUE: 7, PAGES: 580-599
6856
TITLE: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, PAGES: 81-90
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, PAGES: 81-90
6857
TITLE: Signalling in an International Cournot Model Full Text
AUTHORS: Ferreira, F. A. ; Humberto A Moreira; Alberto A Pinto ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2009, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS 1 AND 2, VOLUME: 1168, PAGES: 987-990
AUTHORS: Ferreira, F. A. ; Humberto A Moreira; Alberto A Pinto ; Theodore E Simos; George Psihoyios; Ch Tsitouras;
PUBLISHED: 2009, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS 1 AND 2, VOLUME: 1168, PAGES: 987-990
6858
TITLE: SMARTCLEAN: A TOOL FOR CLEANING INCREMENTAL DATA
AUTHORS: Paulo Jorge Oliveira; Maria de Fatima Rodrigues; Pedro Rangel Henriques ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 621-626
AUTHORS: Paulo Jorge Oliveira; Maria de Fatima Rodrigues; Pedro Rangel Henriques ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 621-626
INDEXED IN: 
WOS
WOS6859
TITLE: SmartClean: An Incremental Data Cleaning Tool Full Text
AUTHORS: Paulo Oliveira; Fatima Rodrigues ; Pedro Henriques ;
PUBLISHED: 2009, SOURCE: 9th International Conference on Quality Software (QSIC 2009) in 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), PAGES: 452-457
AUTHORS: Paulo Oliveira; Fatima Rodrigues ; Pedro Henriques ;
PUBLISHED: 2009, SOURCE: 9th International Conference on Quality Software (QSIC 2009) in 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), PAGES: 452-457
6860
TITLE: Software Knowledge Capture and Acquisition: Tool Support for Agile Settings
AUTHORS: Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), PAGES: 542-+
AUTHORS: Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), PAGES: 542-+
