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: 10704
536 Team MembersFilters -> Year: 2026
9521
TITLE: Systematic analysis of control panel interfaces using formal tools
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 72-+
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 72-+
9522
TITLE: TEL practices in preschool and kindergarten education: Integrating computer use and computer programming inoff-computer activities. Integrating Computer Use and Computer Programming in Off-Computer Activities
AUTHORS: Morgado, L ;
PUBLISHED: 2008, SOURCE: Technology Enhanced Learning: Best Practices, PAGES: 28-56
AUTHORS: Morgado, L ;
PUBLISHED: 2008, SOURCE: Technology Enhanced Learning: Best Practices, PAGES: 28-56
9523
TITLE: Testing a unit root based on aggregate time series Full Text
AUTHORS: Paulo Teles ; William W S Wei; Erin M Hodgess;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, VOLUME: 37, ISSUE: 4, PAGES: 565-590
AUTHORS: Paulo Teles ; William W S Wei; Erin M Hodgess;
PUBLISHED: 2008, SOURCE: COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, VOLUME: 37, ISSUE: 4, PAGES: 565-590
9524
TITLE: The dimension of ECOCs for multiclass classification problems Full Text
AUTHORS: Pimenta, E; Gama, J ; Carvalho, A;
PUBLISHED: 2008, SOURCE: 20th International-Florida-AI-Research-Society Conference in INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 3, PAGES: 433-447
AUTHORS: Pimenta, E; Gama, J ; Carvalho, A;
PUBLISHED: 2008, SOURCE: 20th International-Florida-AI-Research-Society Conference in INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 3, PAGES: 433-447
9525
TITLE: The Impact of Contextual Information on the Accuracy of Existing Recommender Systems for Web Personalization
AUTHORS: Marcos Aurélio Domingues; Alípio Mário Jorge ; Carlos Soares ;
PUBLISHED: 2008, SOURCE: Web Intelligence, PAGES: 789-792
AUTHORS: Marcos Aurélio Domingues; Alípio Mário Jorge ; Carlos Soares ;
PUBLISHED: 2008, SOURCE: Web Intelligence, PAGES: 789-792
9526
TITLE: The Life of a Logic Programming System
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
9527
TITLE: The Mob core language and abstract machine (rev 0.2)
AUTHORS: Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
AUTHORS: Hervé Paulino ; Luís M B Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
INDEXED IN: 
DBLP
DBLP9528
TITLE: The number, age, sharing and relatedness of S-locus specificities in Prunus
AUTHORS: Jorge Vieira ; Nuno A Fonseca ; Raquel A M Santos; Tsuyoshi Habu; Ryutaro Tao; Cristina P Vieira ;
PUBLISHED: 2008, SOURCE: GENETICS RESEARCH, VOLUME: 90, ISSUE: 1, PAGES: 17-26
AUTHORS: Jorge Vieira ; Nuno A Fonseca ; Raquel A M Santos; Tsuyoshi Habu; Ryutaro Tao; Cristina P Vieira ;
PUBLISHED: 2008, SOURCE: GENETICS RESEARCH, VOLUME: 90, ISSUE: 1, PAGES: 17-26
9529
TITLE: The Objects and Arrows of Computational Design
AUTHORS: Batory, D; Azanza, M; Saraiva, J ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301, PAGES: 1-+
AUTHORS: Batory, D; Azanza, M; Saraiva, J ;
PUBLISHED: 2008, SOURCE: 11th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5301, PAGES: 1-+
9530
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-+
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-+
9531
TITLE: Time series analysis of sea-level records: Characterising long-term variability
AUTHORS: Barbosa, SM ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2008, SOURCE: Lecture Notes in Earth Sciences, VOLUME: 112, PAGES: 157-173
AUTHORS: Barbosa, SM ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2008, SOURCE: Lecture Notes in Earth Sciences, VOLUME: 112, PAGES: 157-173
9532
TITLE: Tools for the Information System Function Management: A Roadmap
AUTHORS: Antonio Trigo ; Varajao, J ; Barroso, J ;
PUBLISHED: 2008, SOURCE: 1st World Summit on the Knowledge Society (WSKS 2008) in OPEN KNOWLEDGE SOCIETY: A COMPUTER SCIENCE AND INFORMATION SYSTEMS MANIFESTO, VOLUME: 19, PAGES: 476-+
AUTHORS: Antonio Trigo ; Varajao, J ; Barroso, J ;
PUBLISHED: 2008, SOURCE: 1st World Summit on the Knowledge Society (WSKS 2008) in OPEN KNOWLEDGE SOCIETY: A COMPUTER SCIENCE AND INFORMATION SYSTEMS MANIFESTO, VOLUME: 19, PAGES: 476-+
9533
TITLE: Towards a Platform for Cooperative Creation of Scientific Publications
AUTHORS: Saraiva, G; Carvalho, O; Fonseca, B ; Paredes, H ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Cooperative Design, Visualization, and Engineering in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, VOLUME: 5220, PAGES: 84-+
AUTHORS: Saraiva, G; Carvalho, O; Fonseca, B ; Paredes, H ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Cooperative Design, Visualization, and Engineering in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, VOLUME: 5220, PAGES: 84-+
9534
TITLE: Towards a specification of the ToonTalk language Full Text
AUTHORS: Morgado, L ; Kahn, K;
PUBLISHED: 2008, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 19, ISSUE: 5, PAGES: 574-597
AUTHORS: Morgado, L ; Kahn, K;
PUBLISHED: 2008, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 19, ISSUE: 5, PAGES: 574-597
9535
TITLE: Towards a Virtual Environment for Regulated Interaction Using the Social Theatres Model Full Text
AUTHORS: Guerra, A; Paredes, H ; Fonseca, B ; Martins, FM ;
PUBLISHED: 2008, SOURCE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PAGES: 164-+
AUTHORS: Guerra, A; Paredes, H ; Fonseca, B ; Martins, FM ;
PUBLISHED: 2008, SOURCE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PAGES: 164-+
9536
TITLE: Towards Typed Prolog
AUTHORS: Schrijvers, T; Costa, VS ; Wielemaker, J; Demoen, B;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-+
AUTHORS: Schrijvers, T; Costa, VS ; Wielemaker, J; Demoen, B;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-+
9537
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations Full Text
AUTHORS: Marzulo, LAJ; França, FMG; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 183-+
AUTHORS: Marzulo, LAJ; França, FMG; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING, PROCEEDINGS, PAGES: 183-+
9538
TITLE: Transforming Data by Calculation
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2008, SOURCE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235, PAGES: 134-195
AUTHORS: Jose N Oliveira ;
PUBLISHED: 2008, SOURCE: 2nd International Summer School on Generative and Transformational Techniques in Software Engineering in GENERATIVE AND TRANSFORMATIONAL TECHNIQUES IN SOFTWARE ENGINEERING II, VOLUME: 5235, PAGES: 134-195
INDEXED IN: 
Scopus 
WOS
Scopus WOS9539
TITLE: Travel time prediction for the planning of mass transit companies: a machine learning approach
AUTHORS: João P C L Mendes Moreira ;
PUBLISHED: 2008
AUTHORS: João P C L Mendes Moreira ;
PUBLISHED: 2008
INDEXED IN: 
Handle
Handle9540
TITLE: Two-way ANOVA for the Watson distribution defined on the hypersphere Full Text
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2008, SOURCE: STATISTICAL PAPERS, VOLUME: 49, ISSUE: 2, PAGES: 363-376
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2008, SOURCE: STATISTICAL PAPERS, VOLUME: 49, ISSUE: 2, PAGES: 363-376
