This website was discontinued on 20/12/2022. Visit the new website at www.fct.pt.
SHIPs: Sat-based Haplotype Inference by Pure Parsimony
Inês Lynce
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
ASPAS: Algorithms and Software for Hard Packing and Scheduling Problems
Cláudio Alves
Universidade do Minho (UM)
Rapid Prototyping of User Interfaces for Control Systems based in specification models
Vasco Miguel Moreira do Amaral
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Algorithms and data structures for the dynamic shortest path problem
João Pedro Pedroso
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
Development of a decision support system integrating different multiobjective linear programming approaches
Maria João Teixeira Gomes Alves
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)
DUAL: Dual Interface for Solid Modeling
João Paulo Jorge Pereira
Instituto Superior de Engenharia do Porto (ISEP/IPP)
VIZIR - Visualizing Massive 3D Data Sets Interactively on Commodity Clusters
JOÃO ANTÓNIO MADEIRAS PEREIRA
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
AMBER iTest - An automated model-based user interface testing environment
João Carlos Pascoal Faria
Faculdade de Engenharia da Universidade do Porto (FE/UP)
PROTOL: Prototyping of Software Product Lines
Ricardo Jorge Silvério de Magalhães Machado
Universidade do Minho (UM)
GeoThms - Geometry Laboratory
PEDRO HENRIQUE E FIGUEIREDO QUARESMA DE ALMEIDA
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
CamSpace - Human body representation and interaction in mixed reality spaces
Nuno Manuel Robalo Correia
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCTUNL/UNL)
MediaRecall - A system to retrieve multimedia information in personal memories
Nuno Manuel Robalo Correia
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCTUNL/UNL)
The effects of neighborhood functions on the connectedness of the efficient set in multiobjective combinatorial optimization
Luís Paquete
Universidade do Algarve (UAlg)
Virtual Contexts for Collaborative Learning and Creation
LEONEL CASEIRO MORGADO
Universidade de Trás-os-Montes e Alto Douro (UTAD)
META-RURAL - Rural Postman and related Arc Routing Problems solved by Metaheuristics
José António Soeiro Ferreira
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
AHEAD - Accessible Home Environment: Assisting the Disabled
Joaquim Jorge
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Computer-aided imaging methods for the assessment of behavioral morpho-dynamics patterns of the Zebra fish animal model
AUGUSTO MARQUES FERREIRA DA SILVA
Universidade de Aveiro (UA)
4th Generation Grandparents
Jorge Sá Silva
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
LearningMovies - Media Integration for Cross-Platform Video Based Learning Environments
Maria Teresa Caeiro Chambel
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
MetaIT - Metamodeling for Integrate Textual Requirements with Graphical Models, in the ProjectIT context
Alberto Manuel Rodrigues Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Computer Imaging in the Cultural Heritage (CICH): techniques to foster the use of reflective transformation imaging with large artefacts
Alberto José Gonçalves de Carvalho Proença
Universidade do Minho (UM)
CreaTiVE: A Toolkit for the design of Multimedia and Collaborative Virtual Environments
Paulo Nazareno Maia Sampaio
Universidade da Madeira (UMA)
IViHumans: a Visualization Platform for Multi-Agents Systems
Ana Paula Boler Cláudio
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
DAFSTEPS - Declarative Approach For STEP Standards
Paulo Jorge Lopes de Moura
Universidade da Beira Interior (UBI)
DIGeSMo: Development of Computational Tools for Data Integration and Genome-Scale Modelling in Systems Biology
Miguel Rocha
Universidade do Minho (UM)
Quality Assurance, Control and Optimization of Pharmaceutical Biotechnology Cultivation Processes by Neural Network and Artificial Life Dynamic Modelling
Tito Lívio dos Santos Silva
Faculdade de Engenharia da Universidade Católica Portuguesa (FE/UCP)
Highly accurate reconstruction of real environments on multiple platforms
Luis Paulo Peixoto dos Santos
Universidade do Minho (UM)
Risk Assessment of Life-Threatening Cardiac Arrhythmias
Jorge Henriques
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
Dyablo: Models for the Dynamic Behavior of Biological Networks
Arlindo Limede de Oliveira
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Building robust adaptive operators in multiobjective evolutionary approaches
Álvaro Filipe Peixoto Cardoso de Oliveira Gomes
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)
AIM:UP - Advanced Integrated Modeling for Usage-centered Processes
Duarte Nuno Jardim Nunes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
ReBuilder 2 - Intelligent Reuse of Software Specifications
Paulo Jorge de Sousa Gomes
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
PaToo- Patterns and Tools to Solve Combinatorial Problems using Hybrid CP/MIP Approaches
MARIA ANTÓNIA DA SILVA LOPES E CARRAVILLA
Faculdade de Engenharia da Universidade do Porto (FE/UP)
Generic web-server dedicated to algorithmic processes execution
João Coutinho-Rodrigues
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)
Gaspar: A General-Purpose Aspect-Oriented Framework for Parallel and Distributed Systems
João Luis Ferreira Sobral
Universidade do Minho (UM)
A Disciplined Approach to Composition of Aspects applied to a Multi-Agent Systems Framework
Ademar Aguiar
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
3DISE: 3D IST Search Engine
Manuel João Caneira Monteiro da Fonseca
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Signal aware estimation of blood flow parameters
Maria Margarida da Cruz Silva Andrade Madeira e Carvalho de Moura
Faculdade de Ciências e Tecnologia da Universidade do Algarve (FCT/UAlg)
PUReM - Pure Foundations for Model-Driven Engineering
Johannes Michiel Willem Visser
Universidade do Minho (UM)
VMIRROR - Virtual Mirrors as Advanced Interactive Display Systems
Paulo José Monteiro Peixoto
Instituto de Sistemas e Robótica (ISR)
ASIM - Analysis and Simulation of the Impact of Software Development Models in the Embedded Systems and Information Systems Development Contexts
Pedro Miguel Gonzalez de Abreu Ribeiro
Universidade do Minho (UM)
BSOLO - Boolean constraint SOLving and Optimization
Vasco Miguel Gomes Nunes Manquinho
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
COBRA: Constraint Programming for Bioinformatics Research and Applications
Ludwig Krippahl
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCTUNL/UNL)
RESCUE, REliable and Safe Code execUtion for Embedded systems
SIMÃO PATRÍCIO MELO DE SOUSA
Faculdade de Ciências da Universidade do Porto (FCUP/UP)
IGIDE-Interactive Global illumination within Dynamic Environments
Luis Paulo Peixoto dos Santos
Universidade do Minho (UM)
VirtualActor - Development of a software framework for animating 3D virtual characters, employing partially autonomous virtual actors
Ido Aharon Iurgel
Universidade do Minho (UM)
AMADEUS: ASPECTS AND COMPILER OPTIMIZATIONS FOR MATLAB SYSTEM DEVELOPMENT
João Cardoso
Faculdade de Engenharia da Universidade do Porto (FE/UP)
DEFORMIX - A Geometric Kernel for Deformable Implicit Surfaces and its Applications to Computer Games, Animation and Virtual Reality
Abel João Padrão Gomes
Universidade da Beira Interior (UBI)
DNA finite-contex models
Armando J Pinho
Universidade de Aveiro (UA)