Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4652
60 Team MembersFilters -> Year: 2026
4021
TITLE: Recounting the rationals: Twice!
AUTHORS: Backhouse, R; Ferreira, JF ;
PUBLISHED: 2008, SOURCE: 9th International Conference on Mathematics of Program Construction, MPC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5133 LNCS, PAGES: 79-91
AUTHORS: Backhouse, R; Ferreira, JF ;
PUBLISHED: 2008, SOURCE: 9th International Conference on Mathematics of Program Construction, MPC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5133 LNCS, PAGES: 79-91
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef4022
TITLE: Regular expression matching in reconfigurable hardware Full Text
AUTHORS: Ioannis Sourdis; Stamatis Vassiliadis; Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 5th IEEE International Conference on Field Programmable Technology in JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 51, ISSUE: 1, PAGES: 99-121
AUTHORS: Ioannis Sourdis; Stamatis Vassiliadis; Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 5th IEEE International Conference on Field Programmable Technology in JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 51, ISSUE: 1, PAGES: 99-121
4023
TITLE: Retargeting, evaluating, and generating reconfigurable array-based architectures
AUTHORS: Morra, C; Cardoso, JMP ; Bispo, J ; Becker, J;
PUBLISHED: 2008, SOURCE: 2008 Symposium on Application Specific Processors in 2008 SYMPOSIUM ON APPLICATION SPECIFIC PROCESSORS, PAGES: 34-41
AUTHORS: Morra, C; Cardoso, JMP ; Bispo, J ; Becker, J;
PUBLISHED: 2008, SOURCE: 2008 Symposium on Application Specific Processors in 2008 SYMPOSIUM ON APPLICATION SPECIFIC PROCESSORS, PAGES: 34-41
4024
TITLE: Reverse engineered formal models for GUI testing Full Text
AUTHORS: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLISHED: 2008, SOURCE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916, PAGES: 218-233
AUTHORS: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLISHED: 2008, SOURCE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916, PAGES: 218-233
4025
TITLE: Scheduling Arbitrary-Deadline Sporadic Task Systems on Multiprocessors Full Text
AUTHORS: Bjoern Andersson; Konstantinos Bletsas ; Sanjoy Baruah;
PUBLISHED: 2008, SOURCE: Real Time Systems Symposium 2008 in RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PAGES: 385-394
AUTHORS: Bjoern Andersson; Konstantinos Bletsas ; Sanjoy Baruah;
PUBLISHED: 2008, SOURCE: Real Time Systems Symposium 2008 in RTSS: 2008 REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PAGES: 385-394
4026
TITLE: Sensing the world: Challenges on WSNs
AUTHORS: Rocha, V; Gil Gonçalves ;
PUBLISHED: 2008, SOURCE: 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition in 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition - Proceedings, VOLUME: 1, PAGES: 54-59
AUTHORS: Rocha, V; Gil Gonçalves ;
PUBLISHED: 2008, SOURCE: 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition in 2008 IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2008 - THETA 16th Edition - Proceedings, VOLUME: 1, PAGES: 54-59
INDEXED IN: Scopus CrossRef
Scopus CrossRef4027
TITLE: Solving Airline Operations Problems Using Specialized Agents in a Distributed Multi-Agent System
AUTHORS: Antonio J M Castro ; Eugenio Oliveira ;
PUBLISHED: 2008, SOURCE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ENTERPRISE INFORMATION SYSTEMS-BOOKS, VOLUME: 12, PAGES: 173-184
AUTHORS: Antonio J M Castro ; Eugenio Oliveira ;
PUBLISHED: 2008, SOURCE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ENTERPRISE INFORMATION SYSTEMS-BOOKS, VOLUME: 12, PAGES: 173-184
4028
TITLE: Sorting units for FPGA-based embedded systems Full Text
AUTHORS: Rui Marcelino; Horacio Neto ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PAGES: 11-22
AUTHORS: Rui Marcelino; Horacio Neto ; Joao M P Cardoso ;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PAGES: 11-22
4029
TITLE: Special track on embedded systems: Applications, solutions, and techniques. editorial message Full Text
AUTHORS: Bechini, A; Prete, CA; Altenbernd, P; Bartolini, S; Bertin, V; Buttazzo, G; Cardoso, JMP ; Dean, A; Engels, M; Foglia, P; Franke, B; Giorgi, R; Hansson, J; Jha, NK; Krall, A; Kuo, TW; Ledeczi, A; Lim, SS; Memik, G; Simeon, J; ...More
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1476
AUTHORS: Bechini, A; Prete, CA; Altenbernd, P; Bartolini, S; Bertin, V; Buttazzo, G; Cardoso, JMP ; Dean, A; Engels, M; Foglia, P; Franke, B; Giorgi, R; Hansson, J; Jha, NK; Krall, A; Kuo, TW; Ledeczi, A; Lim, SS; Memik, G; Simeon, J; ...More
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1476
INDEXED IN: Scopus CrossRef
Scopus CrossRef4030
TITLE: Sporadic multiprocessor scheduling with few preemptions Full Text
AUTHORS: Andersson, B; Bletsas, K ;
PUBLISHED: 2008, SOURCE: 20th Euromicro Conference on Real-Time Systems in ECRTS 2008: PROCEEDINGS OF THE 20TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PAGES: 243-252
AUTHORS: Andersson, B; Bletsas, K ;
PUBLISHED: 2008, SOURCE: 20th Euromicro Conference on Real-Time Systems in ECRTS 2008: PROCEEDINGS OF THE 20TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PAGES: 243-252
4031
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
4032
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
4033
TITLE: The potential of computation reuse in high-level optimization of a signal recognition system
AUTHORS: Demertzi, M; Diniz, PC ; Hall, MW; Gilbert, AC; Wang, Y;
PUBLISHED: 2008, SOURCE: 10th Workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE International Parallel and Distributed Processing Symposium in 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, PAGES: 2550-+
AUTHORS: Demertzi, M; Diniz, PC ; Hall, MW; Gilbert, AC; Wang, Y;
PUBLISHED: 2008, SOURCE: 10th Workshop on Advances in Parallel and Distributed Computational Models/22nd IEEE International Parallel and Distributed Processing Symposium in 2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, PAGES: 2550-+
4034
TITLE: The rationale behind the development of an airline operations control centre using Gaia-based methodology
AUTHORS: Castro, A ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: International Journal of Agent-Oriented Software Engineering, VOLUME: 2, ISSUE: 3, PAGES: 350-377
AUTHORS: Castro, A ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: International Journal of Agent-Oriented Software Engineering, VOLUME: 2, ISSUE: 3, PAGES: 350-377
4035
TITLE: Tomatic breast contour detection in digital photographs
AUTHORS: Jaime S Cardoso ; Luis F Teixeira ; Maria J Cardoso ;
PUBLISHED: 2008, SOURCE: 1st International Conference on Health Informatics (HEALTHINF 2008) in HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 2, VOLUME: 2, PAGES: 91-98
AUTHORS: Jaime S Cardoso ; Luis F Teixeira ; Maria J Cardoso ;
PUBLISHED: 2008, SOURCE: 1st International Conference on Health Informatics (HEALTHINF 2008) in HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 2, VOLUME: 2, PAGES: 91-98
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP4036
TITLE: Towards an Artificial Traffic Control System
AUTHORS: Rosaldo J F Rossetti ; Paulo A F Ferreira; Rodrigo A A Braga; Eugenio C Oliveira ;
PUBLISHED: 2008, SOURCE: 11th IEEE International Conference on Intelligent Transportation Systems (ITSC 2008) in PROCEEDINGS OF THE 11TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PAGES: 14-19
AUTHORS: Rosaldo J F Rossetti ; Paulo A F Ferreira; Rodrigo A A Braga; Eugenio C Oliveira ;
PUBLISHED: 2008, SOURCE: 11th IEEE International Conference on Intelligent Transportation Systems (ITSC 2008) in PROCEEDINGS OF THE 11TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, PAGES: 14-19
4037
TITLE: Towards an ontology mapping process for Business Process Composition Full Text
AUTHORS: Celia Talma Martins ; Americo Azevedo ; Sofia S Pinto ; Eugenio Oliveira ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 169-176
AUTHORS: Celia Talma Martins ; Americo Azevedo ; Sofia S Pinto ; Eugenio Oliveira ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 169-176
4038
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
Handle4039
TITLE: Use of temporal expressions in web search Full Text
AUTHORS: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2008, SOURCE: 30th European Conference on Information Retrieval (ECIR 2008) in ADVANCES IN INFORMATION RETRIEVAL, VOLUME: 4956, PAGES: 580-584
AUTHORS: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2008, SOURCE: 30th European Conference on Information Retrieval (ECIR 2008) in ADVANCES IN INFORMATION RETRIEVAL, VOLUME: 4956, PAGES: 580-584
4040
TITLE: USING A DATAWAREHOUSE TO EXTRACT KNOWLEDGE FROM ROBOCUP TEAMS
AUTHORS: Isabel Gonzalez; Pedro Abreu ; Luis Paulo Reis ;
PUBLISHED: 2008, SOURCE: 10th International Conference on Enterprise Information Systems in ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL DISI: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: DISI, PAGES: 511-514
AUTHORS: Isabel Gonzalez; Pedro Abreu ; Luis Paulo Reis ;
PUBLISHED: 2008, SOURCE: 10th International Conference on Enterprise Information Systems in ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL DISI: DATABASES AND INFORMATION SYSTEMS INTEGRATION, VOLUME: DISI, PAGES: 511-514
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP