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: 10637
536 Team MembersFilters -> Year: 2026
8741
TITLE: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 271-287
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 271-287
INDEXED IN: 
Scopus 
WOS
Scopus WOS8742
TITLE: Measuring Software Systems Scalability for Proactive Data Center Management
AUTHORS: Carvalho, NA; Pereira, J ;
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: 829-842
AUTHORS: Carvalho, NA; Pereira, J ;
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: 829-842
8743
TITLE: MEC – Monitoring Clusters' Transitions
AUTHORS: Oliveira Márcia; Gama João ;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications - STAIRS 2010
AUTHORS: Oliveira Márcia; Gama João ;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications - STAIRS 2010
INDEXED IN: 
CrossRef
CrossRef8744
TITLE: Message from the technical program co-chairs Full Text
AUTHORS: Joshi, A; Oliveira, R ; Prakash, A;
PUBLISHED: 2010, SOURCE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
AUTHORS: Joshi, A; Oliveira, R ; Prakash, A;
PUBLISHED: 2010, SOURCE: 29th IEEE Symposium on Reliable Distributed Systems, SRDS 2010 in Proceedings of the IEEE Symposium on Reliable Distributed Systems
INDEXED IN: Scopus CrossRef
Scopus CrossRef8745
TITLE: Meta-heuristics self-configuration for scheduling
AUTHORS: Ana M Madureira ; Nuno Fonseca; Ivo Pereira ;
PUBLISHED: 2010, SOURCE: Business Sustainablity I: Management, Technology and Learning for Individuals, Organisations and Society in Turbulent Environments
AUTHORS: Ana M Madureira ; Nuno Fonseca; Ivo Pereira ;
PUBLISHED: 2010, SOURCE: Business Sustainablity I: Management, Technology and Learning for Individuals, Organisations and Society in Turbulent Environments
INDEXED IN: 
Handle
Handle8746
TITLE: Meta-heuristics tunning using CBR for dynamic scheduling
AUTHORS: Pereira, I ; Madureira, A ;
PUBLISHED: 2010, SOURCE: 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010 in 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010
AUTHORS: Pereira, I ; Madureira, A ;
PUBLISHED: 2010, SOURCE: 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010 in 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010
8747
TITLE: Meta-Learning - Concepts and Techniques
AUTHORS: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: Data Mining and Knowledge Discovery Handbook, PAGES: 717-731
AUTHORS: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: Data Mining and Knowledge Discovery Handbook, PAGES: 717-731
8748
TITLE: Metalearning
AUTHORS: Pavel Brazdil ; Ricardo Vilalta; Christophe G Giraud Carrier; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
AUTHORS: Pavel Brazdil ; Ricardo Vilalta; Christophe G Giraud Carrier; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
INDEXED IN: 
DBLP CrossRef
DBLP CrossRef8749
TITLE: Minimal switching time of agent formations with collision avoidance
AUTHORS: Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2010, SOURCE: Springer Optimization and Its Applications, VOLUME: 40, PAGES: 305-321
AUTHORS: Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2010, SOURCE: Springer Optimization and Its Applications, VOLUME: 40, PAGES: 305-321
8750
TITLE: Mitotic cell-cycle progression is regulated by CPEB1 and CPEB4-dependent translational control Full Text
AUTHORS: Isabel Novoa; Javier Gallego; Pedro G Ferreira ; Raul Mendez;
PUBLISHED: 2010, SOURCE: NATURE CELL BIOLOGY, VOLUME: 12, ISSUE: 5, PAGES: 447-U82
AUTHORS: Isabel Novoa; Javier Gallego; Pedro G Ferreira ; Raul Mendez;
PUBLISHED: 2010, SOURCE: NATURE CELL BIOLOGY, VOLUME: 12, ISSUE: 5, PAGES: 447-U82
8751
TITLE: Model Migration Approach for Database Preservation
AUTHORS: Rahman, AU; David, G ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Asia-Pacific Digital Libraries in ROLE OF DIGITAL LIBRARIES IN A TIME OF GLOBAL CHANGE, VOLUME: 6102, PAGES: 81-90
AUTHORS: Rahman, AU; David, G ; Ribeiro, C ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Asia-Pacific Digital Libraries in ROLE OF DIGITAL LIBRARIES IN A TIME OF GLOBAL CHANGE, VOLUME: 6102, PAGES: 81-90
8752
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-+
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-+
8753
TITLE: Modeling 802.11 AP Usage through Daily Keep-Alive Event Counts
AUTHORS: Dossa Massa ; Ricardo Morla;
PUBLISHED: 2010, SOURCE: NBiS, PAGES: 195-200
AUTHORS: Dossa Massa ; Ricardo Morla;
PUBLISHED: 2010, SOURCE: NBiS, PAGES: 195-200
8754
TITLE: Modeling and planning collaboration using organizational constraints
AUTHORS: Michael Igler; Paulo Moura ; Matthias Faerber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: CollaborateCom, PAGES: 1-10
AUTHORS: Michael Igler; Paulo Moura ; Matthias Faerber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: CollaborateCom, PAGES: 1-10
INDEXED IN: Scopus DBLP
Scopus DBLP8755
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: Handle
Handle8756
TITLE: Monitoring Incremental Histogram Distribution for Change Detection in Data Streams
AUTHORS: Sebastiao, R ; Gama, J ; Rodrigues, PP ; Bernardes, J ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-+
AUTHORS: Sebastiao, R ; Gama, J ; Rodrigues, PP ; Bernardes, J ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-+
8757
TITLE: Motivations and trends for IT/IS adoption: Insights from portuguese companies
AUTHORS: João Eduardo Quintela Alves de Sousa Varajão; Antonio Trigo; João Manuel Pereira Barroso ;
PUBLISHED: 2010, PAGES: 1639-1656
AUTHORS: João Eduardo Quintela Alves de Sousa Varajão; Antonio Trigo; João Manuel Pereira Barroso ;
PUBLISHED: 2010, PAGES: 1639-1656
INDEXED IN: Scopus
Scopus8758
TITLE: Multi-agent Personal Memory Assistant
AUTHORS: Costa, A; Paulo Novais ; Costa, R ; Corchado, JM; Neves, J ;
PUBLISHED: 2010, SOURCE: 8th International Conference on Practical Applications of Agents and Multi-Agent Systems in TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 71, PAGES: 97-104
AUTHORS: Costa, A; Paulo Novais ; Costa, R ; Corchado, JM; Neves, J ;
PUBLISHED: 2010, SOURCE: 8th International Conference on Practical Applications of Agents and Multi-Agent Systems in TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 71, PAGES: 97-104
8759
TITLE: Multiresolution Motif Discovery in Time Series
AUTHORS: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: SDM, PAGES: 665-676
AUTHORS: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: SDM, PAGES: 665-676
8760
TITLE: Multiyear to daily radon variability from continuous monitoring at the Amram tunnel, southern Israel. Multiyear to daily radon variability Full Text
AUTHORS: Barbosa, SM ; Zafrir, H; Malik, U; Piatibratova, O;
PUBLISHED: 2010, SOURCE: GEOPHYSICAL JOURNAL INTERNATIONAL, VOLUME: 182, ISSUE: 2, PAGES: 829-842
AUTHORS: Barbosa, SM ; Zafrir, H; Malik, U; Piatibratova, O;
PUBLISHED: 2010, SOURCE: GEOPHYSICAL JOURNAL INTERNATIONAL, VOLUME: 182, ISSUE: 2, PAGES: 829-842
