Login
Research

Software Systems

Software Systems

Information Team Publications Projects Graduations Prototypes Seminars

CoreShellClustering

Prototype

Authors

Susana Nascimento, Alexandre Martins, Boris Mirkin,

The GoPi compiler

Prototype

Authors

Marco Giunti,

VM (Variability Modeling and Configuration Language and Editor)

Prototype

Authors

Ankica Barisic,

iStarLab

Prototype

Authors

Catarina Gralha, Miguel Goulão, João Araújo,

Deception-based Security Modeling Tool

Prototype

Authors

Cristiano De Faveri, Ana Moreira, Tiago Silva,

LOCKRES: a session type checker resolving deadlocks

Prototype

Authors

Marco Giunti,

SpreadsheetDoc – Document Your Spreadsheets

Prototype

Authors

Jácome Cunha, Diogo Canteiro,

FUZZYUPWELL – Fuzzy Modelling Tool for Upwelling Recognition from SST Satellite Images

Prototype

Authors

Susana Nascimento, Pedro Franco,

Gluon — Verification of Contracts for Concurrency

Prototype

Authors

João Lourenço, Carla Ferreira,

SheetGit – A Version Control System for Spreadsheets

Prototype

Authors

Jácome Cunha, Ricardo Moreira,

Integrating Geo-referenced Historical Infomation

Prototype

Authors

Armanda Rodrigues, Nuno Correia, Ruben Fonseca,

Visita virtual à primeira exposição da Fundação Calouste Gulbenkian

Prototype

Authors

Nuno Correia, Ankica Barisic,

Epik – Edutainment by Playing and Interacting with Knowledge

Prototype

Authors

Carmen Morgado, Fernanda Barbosa,

IES-CBIR

Prototype

Authors

Henrique Domingos, Bernardo Ferreira,

SNITCH

Prototype

Authors

Eduardo Geraldo, João Costa Seco,

CxProlog version 0.97.5

Prototype

Authors

Artur Miguel Dias,

VisualAUThor – Uma plataforma de visualização de relações de colaboração

Prototype

Authors

Armanda Rodrigues, Ankica Barisic,

CryptoSearchCloud

Prototype

Authors

Henrique Domingos, Bernardo Ferreira,

Reseda: Declaring Live Event-driven Computations as Reactive Semi-structured Data

Prototype

Authors

Thomas Hildebrandt, Tijs Slaats, Ankica Barisic,

Zib v0.8 – Language and Compiler for the Parallel Computing Environment Elina

Prototype

Authors

Hervé Paulino, Artur Miguel Dias,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems