This website was discontinued on 20/12/2022. Visit the new website at www.fct.pt.
Electronic Health Patient Information System for Radiation Therapy Support and Radiobiological Research
Brígida Costa Ferreira
Universidade de Aveiro (UA)
MOBINET - Proposal and Study of Network Mobility Paradigms
Fernando Pedro Lopes Boavida Fernandes
Universidade de Coimbra (UC)
Multi-Agent Negotiation for Ontology Mapping -- NegOntMap
Maria João Monteiro Ferreira Viamonte
Instituto Superior de Engenharia do Porto (ISEP/IPP)
BAM - Business Alignment Methodology
Paula Cristina Negrão Ventura Martins
Universidade do Algarve (UAlg)
Virtual Physical Therapy
Nuno Miguel Feixa Rodrigues
Instituto Politécnico do Cávado e do Ave (IPCA)
Materials for Industrial Application Information System (SIMAI)
Fernando Miguel Rocha de Oliveira
Universidade de Aveiro (UA)
SaBER - SemAntic Biomedical knowledge Exploration and Retrieval
Sérgio Matos
Universidade de Aveiro (UA)
Simulated Task Enviroment for Collaborative Systems Evaluation
Pedro Antunes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
FLOR - Folksonomies for Learning Objects Repositories
Carlos Vaz de CARVALHO
Instituto Superior de Engenharia do Porto (ISEP/IPP)
CROWN: Cooperative Resource Optimization in Wireless Networks
Helena Rute Esteves Carvalho Sofia
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)
iCGH - interactive Computer Generated Holography
Luis Paulo Peixoto dos Santos
Universidade do Minho (UM)
ContACT - Context-Aware Conversation Tool for Persons with Special Needs
João Paulo Mestre Pinheiro Ramos e Barros
Instituto Politécnico de Beja (IPBeja)
mtDNAPhyloAnalyzer: a user-friendly tool for construction, management and analysis of phylogenetic trees for mitochondrial DNA genomes with application to clinical evaluation of cases versus controls
RUI CARLOS CAMACHO DE SOUSA FERREIRA DA SILVA
Faculdade de Engenharia da Universidade do Porto (FE/UP)
MEDEA: High Assurance Model Driven Engineering with Alloy
Manuel Alcino Pereira da Cunha
Universidade do Minho (UM)
ACE - Space Aware Cooperative Environments
MARIA ARMANDA SIMENTA RODRIGUES GRUEAU
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Humanistic approach to the representation of business processes
Pedro Antunes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
AutoICare: Automatic Image-based system for teleCare
João Miguel Fernandes Rodrigues
Centro de Investigação Tecnológica do Algarve (CINTAL/UAlg)
iCoReSol - Improving Conflict Resolution in Mediation and Negotiation Environments
Paulo Novais
Universidade do Minho (UM)
PlayMob6 - Internet-enabled 6LoWPAN Mobile Sensor Networks
Joel José Puga Coelho Rodrigues
Universidade da Beira Interior (UBI)
SoS T: NeverLost - Searches of similar trajectories for the “NeverLost“ Application
Fernanda Barbosa
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
iLow - an online VR system to treat depressive mood
pedro gamito
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)
BioSAGA - Intelligent Support System for Biological Samples Management in the Diagnosis of Metabolic Diseases
Jose Antonio dos Reis Tavares
Instituto Superior de Engenharia do Porto (ISEP/IPP)
VORN: Visual Object Recognition Network
Luís Filipe Barbosa de Almeida Alexandre
Instituto de Telecomunicações (IT)
CAFo - Contextually Augmented Folders
Daniel Jorge Viegas Gonçalves
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
EAL.PT - Encorajamento de Estilos de Vida Activos através de Tecnologias Persuasivas
António Eduardo Cardoso Pinto Baptista Dias
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Reuse - Facilitate Reusing Web Services using Semantic Mechanisms
Catarina Eufémia Domingues Alves Ferreira da Silva
Instituto Pedro Nunes - Associação para a Inovação e Desenvolvimento em Ciência e Tecnologia (IPN)
Services4SME
ANTÓNIO JORGE SILVA CARDOSO
Instituto Pedro Nunes - Associação para a Inovação e Desenvolvimento em Ciência e Tecnologia (IPN)
Building a fair online collaborative system
Pietro Speroni di Fenizio
Universidade de Coimbra (UC)
Humanitas - Network of Researchers in Social Sciences and Humanities
António Manuel Andrêa Lencastre Godinho
Centro de Estudos da População, Economia e Sociedade (CEPESE)
ROSECAST: Robust and Secure Coding for Peer-to-Peer Media Streaming
Maria Manuela Areias da Costa Pereira de Sousa
Universidade da Beira Interior (UBI)
Measuring and affecting social inclusion in primary schools through wearable sensor technology and persuasive games
Evangelos Karapanos
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)
Controlo de débito e congestão baseado em QoE para transmissão de vídeo 3D multivista na internet
Pedro António Amado de Assunção
Instituto de Telecomunicações (IT)
Exp4CIOpe - Expert System for CIO´ potential evaluation
João Eduardo Quintela Alves de Sousa Varajão
Universidade de Trás-os-Montes e Alto Douro (UTAD)
CROSS-Fire 2: A SDI/GRID based Decision Support System for fire management in Portugal
António Manuel Silva Pina
Universidade do Minho (UM)
Distributed cooperation in a network of nomadic devices: collective multimedia installation
Luis Miguel Pina Coelho Teixeira Botelho
Instituto de Telecomunicações (IT)
SOMER: Semantic Ontology Matching using External Resources
Francisco Couto
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Processpedia: an ecological environment for BPM stakeholders collaboration
António Manuel Ferreira Rito da Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
iCast - Improved broadcast for wireless mobile networks
HUGO ALEXANDRE TAVARES MIRANDA
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
META - MetagEnomic Algorithmic Techniques
Luís Manuel Silveira Russo
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Analysis of DNA sequences using inter symbolic distances
Carlos Alberto da Costa Bastos
Universidade de Aveiro (UA)
Organizational Information Systems in Health Units: maturity, metrics, storage, and resources´ qualifications
Alberto Armando Capelas da Conceicao Carneiro
C.E.U. - Cooperativa de Ensino Universitário, C.R.L. (CEU)
Decision support system for coronary Stent specification
Susana Margarida da Silva Vieira
Instituto de Engenharia Mecânica (IDMEC)
PREDICTS: Self-Stimulation for Failure Prediction
Marco Vieira
Universidade de Coimbra (UC)
BONE-ID Bone image analysis and classification for interspecies differentiation
Luís Miguel de Mendonça Rato
Universidade de Évora (UE)
DEP-WSN: DEpendable Perception in Wireless Sensor Networks
António Casimiro Ferreira da Costa
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
GCSTM - garbage collection for software transactional memory
Paulo Jorge Pires Ferreira
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
SPRING - Services for Concurrent and PaRallel ComputING
Hervé Miguel Cordeiro Paulino
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Protected Application Execution
ANDRÉ VENTURA DA CRUZ MARNÔTO ZÚQUETE
Universidade de Aveiro (UA)
MULTIFUSION: Fusion of Multi-Biometrics Data in Non-Cooperative Environments
Hugo Pedro Proença
Universidade da Beira Interior (UBI)
co.Ignition - A community portal for conceptual representations, reasoning and negotiation
António Lucas Soares
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
AQUILES - Assuring the QUality of Interfaces to Leverage E-gov through Semantics
Alexandre Julio Teixeira Santos
Universidade do Minho (UM)
Finding repetitions of unknown patterns in images
Armando J Pinho
Universidade de Aveiro (UA)
SwiftCloud - Building Fast and Transactional Clouds with CRDTs
Nuno Manuel Ribeiro Preguiça
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Configurable Dynamism in Real-Time Warehousing
Pedro Furtado
Universidade de Coimbra (UC)
SPRWINT - Spread Web Intelligence
Alípio Mário Guedes Jorge
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
BuildingDSL: Fast development of Building Automation Systems
Vasco Miguel Moreira do Amaral
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
TRIX - Techniques for the Removal of Redundant Information in XML Data
Pável Pereira Calado
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
CRITICAL DOMAINS - Towards a Dependable Platform For Civil Protection Applications
António Manuel Silva Pina
Universidade do Minho (UM)
MIRTIL: Multimedia Information Retrieval for Text Illustration on Large-scale Collections
Maria Cristina de Carvalho Alves Ribeiro
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
P2SHOCS, Performance Portability on Scalable HeterOgeneous Computing Systems: a Unified Development Framework
Alberto José Gonçalves de Carvalho Proença
Universidade do Minho (UM)
SData4All- Scientific data curation in a multi-disciplinary environment
Maria Cristina de Carvalho Alves Ribeiro
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
OntoloGEE -- Ontologies for veterinary Guideline Execution Engine
Teresa Cristina de Freitas Gonçalves
Universidade de Évora (UE)
Accessible multiplayer games for people with motor and speech disabilities
Fernando Miguel Pais da Graça Lobo
Universidade do Algarve (UAlg)
CODSS - Conversation oriented decision support system
Paulo José Guimarães Garrido
Universidade do Minho (UM)
Social-RE: A Collaborative Framework for Requirements Engineering based on Social Computing Approach
Alberto Manuel Rodrigues Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Advanced Traffic Engineering Approaches in P2P Environments
Pedro Nuno Miranda de Sousa
Universidade do Minho (UM)
OptimumCloud: Self-Optimizing Elastic Transactional Data Platform for the Cloud
Paolo Romano
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
DICE - Dynamic Imbalanced Classification Ensembles
Catarina Helena Branco Simões da Silva
Universidade de Coimbra (UC)
MISTIC Food - Mobile Integration of Semantics for Text Inductive Classification of Food
Catarina Helena Branco Simões da Silva
Universidade de Coimbra (UC)
PMEsimula - Implementation of HPC and Cloud Computing techniques on CAE software to be freely used by the Portuguese PME manufacturing companies
José Luis de Carvalho Martins Alves
Universidade do Minho (UM)
AGDSyS - Adaptative Group Decision System that considers Affective Aspects
Maria Goreti Carvalho Marreiros
Instituto Politécnico do Porto (IPP)
Middleware and Context Inference Techniques from Data-Streams for the Development of Context-Aware Services using Mobile Devices
João Cardoso
Faculdade de Engenharia da Universidade do Porto (FE/UP)
Telemedicine Network Services
CARLOS MANUEL AZEVEDO COSTA
Universidade de Aveiro (UA)
ViHumansLab- Virtual Humans Lab
Ana Paula Boler Cláudio
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Model Driven Software Development for Requirements Analysis and Architecture Design (Early MDD)
João Baptista da Silva Araújo Júnior
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Lossless compression of biomedical images
ANTÓNIO JOSÉ RIBEIRO NEVES
Universidade de Aveiro (UA)
PIDIDO - Pervasive and Intelligent Decision Support System for Inpatient and Discharge Optimization
Manuel Filipe Santos
Universidade do Minho (UM)
Tag4U.TV - Integrating User Generated Metadata and Multicriteria Recommendation systems in the Television Domain
Paula Maria Marques de Moura Gomes Viana
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
CloudSim - Communities for Overlay Network and Grid Computing Research
Luís Manuel Antunes Veiga
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Intelligent algorithm for intraoperative cerebral monitoring (iALICE)
CÉSAR ALEXANDRE DOMINGUES TEIXEIRA
Universidade de Coimbra (UC)
NEGEMI - New Generation of Linux Meta-installers
Paulo Ricardo Pacheco Rodrigues Trezentos
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)
CMSLang - A Multi-Language Framework for Developing CMS-based Web-Applications
Alberto Manuel Rodrigues Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
ReGeReM: Developing a computational platform for the reconstruction of genome-scale regulatory models
Rui Manuel Ribeiro Castro Mendes
Universidade do Minho (UM)
COAST - Complex Ontology Alignment through STrategies
Nuno Silva
Instituto Superior de Engenharia do Porto (ISEP/IPP)
FALLCOM - Detection and avoidance of Elderly falls, based on movement profile using Wireless Sensor Networks
António Manuel de Jesus Pereira
Instituto Politécnico de Leiria (IPLeiria)
mVoto - A mobile end-to-end verifiable and coercion-free voting system
Carlos Nuno da Cruz Ribeiro
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Application-Level Time Correctness Pattern and API for Heterogeneous Sensor Networks
Pedro Furtado
Universidade de Coimbra (UC)
Agreed Services
Fernando Brito e Abreu
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Development of scoring algorithms for high-accuracy proteomics
António Eduardo Ferreira
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
SHOT: Seamless HOtspot Tracking
Helena Rute Esteves Carvalho Sofia
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)
InteractIS - Rethinking Negotiation and Auditing of Internet Services
Paulo Manuel Martins de Carvalho
Universidade do Minho (UM)
PetriTransformED - Petri net Based Model Transformations for Embedded Systems Design
Luis Filipe dos Santos Gomes
Instituto de Desenvolvimento de Novas Tecnologias (UNINOVA)
EMDSCAN - Electricity Markets Dynamic Coalitions Support with Argumentation based Negotiations
Isabel Cecília Correia da Silva Praça Gomes Pereira
Instituto Politécnico do Porto (IPP)
Development of a Serious Game for Physiotherapy and Tracking of Patients with Friedreich´s Ataxia Using Image Processing Techniques
Vítor Carvalho
Universidade do Minho (UM)
ARO - Automating the Reuse of Ontologies
Eurico Manuel Elias Morais Carrapatoso
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
SAiL - Student Assistance in Learning considering aspects like emotion and personality
Ricardo Jorge da Silva Santos
Instituto Politécnico do Porto (IPP)
DECIMA - Detecting Extraneous Cases of Inexplicable Machine Anomalies
Manuel Eduardo Carvalho Duarte Correia
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
MetricVault - Secure resilient cloud storage for mobile applications
Sérgio Marco Duarte
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
iSchedP: Intelligent Management Scheduling for Health Care Professionals
Clara Silveira
Instituto Politécnico da Guarda (IPG)
Multi-Core Multi-Objective Evolutionary Algorithms in Uncertain Environments
Paulo André Pais Fazendeiro
Universidade da Beira Interior (UBI)
PROLEA - Adaptative platform to support PROgramming LEArning
Antonio Jose Mendes
Universidade de Coimbra (UC)
Gestão Autónoma de Recursos em Sistemas Embebidos com Qualidade de Serviço
Luís Nogueira
Instituto Superior de Engenharia do Porto (ISEP/IPP)
Motions - Monitoring and sTimulation in Multiple Sclerosis
Nuno Manuel Carvalho Ferreira Guimarães
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Fragrant Code
Fernando Brito e Abreu
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
HuRoboT - Cooperation within Teams of Humanoids and Humans
Nuno Lau
Universidade de Aveiro (UA)
SITBAL - Soccer Intelligent Tactical Behavioral Analysis and Learning
PEDRO MANUEL HENRIQUES DA CUNHA ABREU
Faculdade de Engenharia da Universidade do Porto (FE/UP)
HiPAS - Highly Parallel Accelerated Speech Processing
Hugo Daniel dos Santos Meinedo
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
PSyCO: Precondition Synthesis for Compiler Optimizations
José Carlos Alves Pereira Monteiro
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
SEMAFORM: Semantic context to agile data insertion on handwriting recognition based forms
José Saias
Universidade de Évora (UE)
IDEALISM - Information Diffusion, Evolution And Linking In Social Media
Fabien Gouyon
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
CAMP - Computational Analysis of MicroRNAs in Plants
Ana Teresa Correia de Freitas
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
InfluTrend-Influence and Tends in Social Network Systems
HSofia Pinto
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
SYMSET - intelligent SYstem for iMpaired Speech Evaluation and Therapy
Ovidiu Grigore
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
MobileCare: Home Biofeedback for Musculoskeletal Disorder Rehabilitation
Ian Oakley
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)
ParProf: Parallelisation and Profiling Tools to Reengineer Legacy Codes for Multicores
João Luis Ferreira Sobral
Universidade do Minho (UM)
A Model for Visual and Collaborative Design of Learning Design
Carlos Vaz de CARVALHO
Instituto Superior de Engenharia do Porto (ISEP/IPP)
CitySense: Large-scale opportunistic sensing in urban scenarios
Paulo Jorge Milheiro Mendes
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)
EPIC - Efficient Pattern-matching Image Compression on many-core systems
NUNO MIGUEL MORAIS RODRIGUES
Instituto de Telecomunicações (IT)
Fountain File System
João Pedro Faria Mendonça Barreto
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
specSTM: Software Transactional Memoty with Thread-Level Speculation Support
João Pedro Faria Mendonça Barreto
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
QoM - Quality of Service in Mobile Wireless Sensor Networks
Jorge Sá Silva
Universidade de Coimbra (UC)
iQIS - Intelligent Quality Information System
LUIS DA COSTA LIMA
Instituto Politécnico do Porto (IPP)
SURVEILL: Large-Scale Surveillance of Internet Applications
Luis Alexandre Serras Moura Silva
Universidade de Coimbra (UC)
PEGASUS - Platform for Scheduling Automatic Generation
Frederico Paulo Moreira Pereira Dias de Magalhães
Centro de Estudos da População, Economia e Sociedade (CEPESE)
AWARE: Automated Web Accessibility Repair and Evaluation
Luis Manuel Carriço
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Thermal flying identification, clustering and information retrieval
Sandra Cristina de Faria Ramos
Instituto Superior de Engenharia do Porto (ISEP/IPP)
IRON Made - Dependability in Wireless Sensor Networks
Jorge Sá Silva
Universidade de Coimbra (UC)
ComSeGPro - Complex Serious Games for real-time collaborative management in complex production scenarios
Goran Putnik
Universidade do Minho (UM)
Augmented Literacy
Nuno Miguel Feixa Rodrigues
Instituto Politécnico do Cávado e do Ave (IPCA)
COMODISSE?- COntext-aware MObile DIalogue SyStEms
Irene Pimenta Rodrigues
Universidade de Évora (UE)
Combine - Ontology alignment negotiation through concession and persuasion
Nuno Silva
Instituto Superior de Engenharia do Porto (ISEP/IPP)
CleOnto - Interoperability of Data Cleaning Operations in Different Databases through Ontologies
Paulo Jorge Machado Oliveira
Instituto Superior de Engenharia do Porto (ISEP/IPP)
Sistema Distribuído de Suporte a Decisão para a Smart Grid
Pedro Furtado
Universidade de Coimbra (UC)
S-CASE: Smart Client for Augmented Service Environments
Paulo Jorge Milheiro Mendes
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)
AutoBAM - Automatic Business Activity Monitoring of Critical Systems
Pedro Gustavo Santos Rodrigues Bizarro
Universidade de Coimbra (UC)
Encounter - Workload Sharing among CPUs and GPUs for HPC
João Manuel dos Santos Lourenço
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
MODyP - Engenharia de Algoritmos de Programação Dinâmica Multi-objectivo
Luís Paquete
Universidade de Coimbra (UC)
Digital and biological epidemiology: modelling and controlling the spread of pervasive computing malware and human disease
Vassilis Kostakos
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)
Intelligent Attacks Detection Tool in AmI (IADT)
Hoon Ko
Instituto Superior de Engenharia do Porto (ISEP/IPP)
Secure Remote Monitor / Control System in Smart Gird
Hoon Ko
Instituto Superior de Engenharia do Porto (ISEP/IPP)
CaLiCo - Linear Calculi and Complexity
Sandra Maria Mendes Alves
Faculdade de Ciências da Universidade do Porto (FCUP/UP)
Rights Access Control to Research and Educational Content
Carlos José Corredoura Serrão
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)
Liveness, statically
António Ravara
NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT)
FABIONET: Formal verification Approaches supporting BIOlogical NETwork modelling - application to multidrug resistance in yeast
Claudine Chaouiya
Fundação Calouste Gulbenkian (FCG)
Synthesizing Control Systems for Autonomous Robots using a Combination of Engineering and Artificial Evolution
Anders Lyhne Christensen
Instituto de Telecomunicações (IT)
VTL: Virtual Traffic Lights
Michel Ferreira
Instituto de Telecomunicações (IT)
OPAS - OPtimisation of Anti-SPAM Systems
Vitor Manuel Basto Fernandes
Instituto Politécnico de Leiria (IPLeiria)
NetDyn: Understanding real large networks, from structure to dynamics
ALEXANDRE PAULO LOURENÇO FRANCISCO
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Computer Assisted Proofs. Foundations and Applications
Reinhard Kahle
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Music Related Rights Management Automation
Carlos José Corredoura Serrão
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)
SocialArg - Social Abstract Argumentation
João Alexandre Carvalho Pinheiro Leite
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
COnVEM - Creating Ontology-based Virtual Learning Spaces from Multiple Data Sources
Pedro Manuel Rangel Santos Henriques
Universidade do Minho (UM)
PROCURE - Probabilistic Constraints for Uncertainty Reasoning in Science and Engineering Applications
Jorge Carlos Ferreira Rodrigues da Cruz
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
ADAM - Alzheimer`s Disease Advanced Monitoring
Adriana da Conceição Soares Sampaio
Universidade do Minho (UM)
MORPHIN: A GPU-based Shape Kernel for Molecular and Medical Bioinformatics
Abel João Padrão Gomes
Universidade da Beira Interior (UBI)
Leakage Resilient Cryptography in Software Security
Manuel Barbosa
Universidade do Minho (UM)
HEIDI (HEIGH Dimensional Indexing) or how to index on billion of vectors
Andreas Miroslaus Wichert
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Geometry Web Adaptative Laboratory (WebGeometryLab)
PEDRO HENRIQUE E FIGUEIREDO QUARESMA DE ALMEIDA
Universidade de Coimbra (UC)
BoolCluster - Modularity Clustering Algorithms using Boolean Optimization
Vasco Miguel Gomes Nunes Manquinho
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Extending reward-functions with generic objectives in reinforcement learning tasks
Luís Miguel Martins Nunes
Instituto de Telecomunicações (IT)
Self-Ant Systems for Optimization problems
Jorge Alexandre Silva Tavares
Universidade de Coimbra (UC)
SAKE - Support in Linux Kernel for Energy Efficiency
Paulo Ricardo Pacheco Rodrigues Trezentos
ISCTE - Instituto Universitário de Lisboa (ISCTE-IUL)
Semantic representation techniques for improved identification of disease-associated genes
Joel Arrais
Universidade de Aveiro (UA)
PATTERN - Programming AbsTracTions for wireless sEnsoR Networks
Nuno Alexandre Magalhaes Pereira
Instituto Superior de Engenharia do Porto (ISEP/IPP)
Search and Optimization with Adaptive Selection of Estimation of Distribution Algorithms
Fernando Miguel Pais da Graça Lobo
Universidade do Algarve (UAlg)
LaBWebS - Language Based Web Security
Ana Gualdina Almeida Matos
Instituto de Telecomunicações (IT)
COCODYN: COmmunication and COmputation in DYnamic Networks
Luis Eduardo Teixeira Rodrigues
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
ERRO - Efficient Reasoning with Rules and Ontologies
João Alexandre Carvalho Pinheiro Leite
NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT)
PrivacyMonitor - Monitoring and Tuned Noise Injection for Privacy Preservation in Online Social Networks
Joaquim Melo Henriques de Macedo
Universidade do Minho (UM)
Dynamic Decision MAking in uncertain Spatial-Temporal Environments (2D-MASTE)
Maria Rita Almeida Ribeiro
Instituto de Desenvolvimento de Novas Tecnologias (UNINOVA)
MUltimode real-time scheduling on MultiCores (MU-MC)
Vincent Michel Philippe Nelis
Instituto Superior de Engenharia do Porto (ISEP/IPP)
SUSPECT - SecUre SPEeCh Technologies
Isabel Maria Martins Trancoso
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Advanced Type Systems for Multicore Programming
Vasco Manuel Thudichum de Serpa Vasconcelos
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
Risk and regulation: A simulation platform in the framework of Solvency II
Rui Vilela Mendes
Instituto de Engenharia de Sistemas e Computadores Inovação (INOV/INESC/IST/ULisboa)
BUILDER - BimanUal Interaction for proceduraL moDeling in mixEd Reality
Joaquim Jorge
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
B2Jml: A Baker´s Recipe Inspired Tool to Translate B Machines to JML Specifications
Nestor Catano Collazos
MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI)
SCAN: Scalable Comparative Analysis of Networks
Fernando Manuel Augusto da Silva
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
Co-evolution of cognition and collective action
Francisco João Duarte Cordeiro Correia dos Santos
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
POLARIS: POLynomial hierARchy algorIthms and applicationS
João Paulo Marques da Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Reusable Deep Neural Networks: applications to Biomedical Data.
Luis Miguel Almeida da Silva
Instituto Nacional de Engenharia Biomédica - INEB Univ. Porto (INEB Porto)
Pattern-Based GUI Testing
Ana Cristina Ramada Paiva
Faculdade de Engenharia da Universidade do Porto (FE/UP)
ADE - Adverse Drug Effects Detection
Vítor Manuel de Morais Santos Costa
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
Calibration and 3D Reconstruction in Non-Central Vision Systems—Application to Colonoscopy/Endoscopy
Helder Araújo
Instituto de Sistemas e Robótica (ISR)
AutoSeer: Automated Test Oracles for Software Error Detection
Rui Abreu
Faculdade de Engenharia da Universidade do Porto (FE/UP)
Analysis and Verification of Critical Concurrent Programs
JORGE MIGUEL DE MATOS SOUSA PINTO
Universidade do Minho (UM)
Real-time scheduling on general purpose graphics processor units
Konstantinos Bletsas
Instituto Superior de Engenharia do Porto (ISEP/IPP)
FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
Manuel Alcino Pereira da Cunha
Universidade do Minho (UM)
Computer Aided Beam Angle Optimization in Intensity Modulated Radiotherapy
Joana Maria Pina Cabral Matos Dias
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)
Slack Management in Hierarchical Real-Time Systems (SMARTS)
Stefan M. Petters
Instituto Superior de Engenharia do Porto (ISEP/IPP)
Qais: Quantitative analysis of interacting systems: foundations and algorithms
Alexandra Martins da Silva
Universidade do Minho (UM)