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: 8247
531 Team MembersFilters -> Year: 2024
7161
TITLE: Synthesis of regular expressions for FPGAs Full Text
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 95, ISSUE: 7, PAGES: 685-704
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL OF ELECTRONICS, VOLUME: 95, ISSUE: 7, PAGES: 685-704
7162
TITLE: Systematic analysis of control panel interfaces using formal tools
AUTHORS: Creissac C Campos ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 72-85
AUTHORS: Creissac C Campos ; Harrison, MD ;
PUBLISHED: 2008, SOURCE: 15th International Workshop on Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, PROCEEDINGS, VOLUME: 5136, PAGES: 72-85
7163
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
7164
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
7165
TITLE: The dimension of ECOCs for multiclass classification problems Full Text
AUTHORS: Edgar Pimenta; Joao Gama ; Andre Carvalho;
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: Edgar Pimenta; Joao Gama ; Andre Carvalho;
PUBLISHED: 2008, SOURCE: 20th International-Florida-AI-Research-Society Conference in INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 3, PAGES: 433-447
7166
TITLE: The impact of contextual information on the accuracy of existing recommender systems for Web personalization
AUTHORS: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 789-792
AUTHORS: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 789-792
7167
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
7168
TITLE: The Mob core language and abstract machine (rev 0.2) PDF
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 
arXiv
DBLP arXiv7169
TITLE: The Objects and Arrows of Computational Design
AUTHORS: Don Batory; Maider Azanza; Joao Saraiva ;
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: Don Batory; Maider Azanza; Joao Saraiva ;
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-+
7170
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-717
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-717
7171
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
7172
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, ISSUE: C, PAGES: 181-198
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 204, ISSUE: C, PAGES: 181-198
7173
TITLE: Tools for the Information System Function Management: A Roadmap
AUTHORS: Antonio Trigo ; Joao Varajao; Joao Barroso ;
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-483
AUTHORS: Antonio Trigo ; Joao Varajao; Joao Barroso ;
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-483
7174
TITLE: Towards a Platform for Cooperative Creation of Scientific Publications
AUTHORS: Guilherme Saraiva; Orlando Carvalho; Benjamim Fonseca ; Hugo Paredes ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Cooperative Design, Visualization, and Engineering in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, VOLUME: 5220, PAGES: 84-88
AUTHORS: Guilherme Saraiva; Orlando Carvalho; Benjamim Fonseca ; Hugo Paredes ;
PUBLISHED: 2008, SOURCE: 5th International Conference on Cooperative Design, Visualization, and Engineering in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, PROCEEDINGS, VOLUME: 5220, PAGES: 84-88
7175
TITLE: Towards a specification of the ToonTalk language Full Text
AUTHORS: Leonel Morgado ; Ken Kahn;
PUBLISHED: 2008, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 19, ISSUE: 5, PAGES: 574-597
AUTHORS: Leonel Morgado ; Ken Kahn;
PUBLISHED: 2008, SOURCE: JOURNAL OF VISUAL LANGUAGES AND COMPUTING, VOLUME: 19, ISSUE: 5, PAGES: 574-597
7176
TITLE: Towards a Virtual Environment for Regulated Interaction Using the Social Theatres Model Full Text
AUTHORS: Ana Guerra; Hugo Paredes ; Benjamim Fonseca ; Mario M Martins ;
PUBLISHED: 2008, SOURCE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PAGES: 164-170
AUTHORS: Ana Guerra; Hugo Paredes ; Benjamim Fonseca ; Mario M Martins ;
PUBLISHED: 2008, SOURCE: 14th International Workshop of Groupware in GROUPWARE: DESIGN, IMPLEMENTATION, AND USE, VOLUME: 5411, PAGES: 164-170
7177
TITLE: Towards Typed Prolog
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-697
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-697
7178
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations Full Text
AUTHORS: Leandro A J Marzulo; Felipe M G Franca; Vitor Santos Costa ;
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-190
AUTHORS: Leandro A J Marzulo; Felipe M G Franca; Vitor Santos Costa ;
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-190
7179
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 WOS7180
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
Handle