Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4625
61 Team MembersFilters -> Year: 2026
4001
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
4002
TITLE: Regular expression matching in reconfigurable hardware
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
4003
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-+
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-+
4004
TITLE: Reverse engineered formal models for GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Mendes, PMC;
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: Paiva, ACR ; Faria, JCP ; Mendes, PMC;
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
4005
TITLE: Scheduling Arbitrary-Deadline Sporadic Task Systems on Multiprocessors
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
4006
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
4007
TITLE: Solving Airline Operations Problems Using Specialized Agents in a Distributed Multi-Agent System
AUTHORS: Castro, AJM ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ENTERPRISE INFORMATION SYSTEMS-BOOKS, VOLUME: 12, PAGES: 173-184
AUTHORS: Castro, AJM ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: 9th International Conference on Enterprise Information Systems (ICEIS 2007) in ENTERPRISE INFORMATION SYSTEMS-BOOKS, VOLUME: 12, PAGES: 173-184
4008
TITLE: Sorting units for FPGA-based embedded systems
AUTHORS: Marcelino, R; Neto, H ; Cardoso, JMP ;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PAGES: 11-22
AUTHORS: Marcelino, R; Neto, H ; Cardoso, JMP ;
PUBLISHED: 2008, SOURCE: 20th World Computer Congress in DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, VOLUME: 271, PAGES: 11-22
4009
TITLE: Special track on embedded systems: Applications, solutions, and techniques. editorial message
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; Sheynin, Y; Sips, HJ; Talpin, JP; Tripakis, S; Velev, M; Yen, IL; ...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; Sheynin, Y; Sips, HJ; Talpin, JP; Tripakis, S; Velev, M; Yen, IL; ...More
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing, SAC'08 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1476
4010
TITLE: Sporadic multiprocessor scheduling with few preemptions
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
4011
TITLE: Synthesis of regular expressions for FPGAs
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
4012
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
4013
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-+
4014
TITLE: The rationale behind the development of an airline operations control centre using Gaia-based methodology
AUTHORS: António J M Castro ; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Int. J. Agent Oriented Softw. Eng., VOLUME: 2, ISSUE: 3, PAGES: 350-377
AUTHORS: António J M Castro ; Eugénio C Oliveira ;
PUBLISHED: 2008, SOURCE: Int. J. Agent Oriented Softw. Eng., VOLUME: 2, ISSUE: 3, PAGES: 350-377
4015
TITLE: Tomatic breast contour detection in digital photographs
AUTHORS: Cardoso, JS ; Teixeira, LF ; Cardoso, MJ ;
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-+
AUTHORS: Cardoso, JS ; Teixeira, LF ; Cardoso, MJ ;
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-+
4016
TITLE: Towards an Artificial Traffic Control System
AUTHORS: Rossetti, RJF ; Ferreira, PAF; Braga, RAA; Oliveira, EC ;
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: Rossetti, RJF ; Ferreira, PAF; Braga, RAA; Oliveira, EC ;
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
4017
TITLE: Towards an ontology mapping process for Business Process Composition
AUTHORS: Martins, CT ; Azevedo, A ; Pinto, HS ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 169-+
AUTHORS: Martins, CT ; Azevedo, A ; Pinto, HS ; Oliveira, E ;
PUBLISHED: 2008, SOURCE: 8th IFIP International Conference on Information Technology for Balanced Automation Systems in INNOVATION IN MANUFACTURING NETWORKS, VOLUME: 266, PAGES: 169-+
4018
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
4019
TITLE: Use of temporal expressions in web search
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2008, SOURCE: 30th European Conference on Information Retrieval (ECIR 2008) in ADVANCES IN INFORMATION RETRIEVAL, VOLUME: 4956, PAGES: 580-584
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2008, SOURCE: 30th European Conference on Information Retrieval (ECIR 2008) in ADVANCES IN INFORMATION RETRIEVAL, VOLUME: 4956, PAGES: 580-584
4020
TITLE: USING A DATAWAREHOUSE TO EXTRACT KNOWLEDGE FROM ROBOCUP TEAMS
AUTHORS: Gonzalez, I; Abreu, P ; Reis, LP ;
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, VOLUME: DISI, PAGES: 511-+
AUTHORS: Gonzalez, I; Abreu, P ; Reis, LP ;
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, VOLUME: DISI, PAGES: 511-+
