SOFTWARE & TOOLS

Genodedup

GenoDedup is an algorithm that integrates efficient similarity-based deduplication and specialized delta-encoding for genome sequencing data. It increases data reduction gains and restores data faster than the generic compressors used in practice (e.g., GZIP), while...

read more

Ecological Mapping

Ecological Mapping is a mobile application that is used by experts and scientists to better understand the ecological landscape of urban parks and gardens. As a user, you can travel to specific marked locations, or to a location with some habitats (e.g, large urban...

read more

T-CBIR

T-CBIR supports searching large scale encrypted image databases based on the images' visual contents. T-CBIR leverages Searchable Symmetric Encryption (SSE) techniques, Content-Based Image Retrieval (CBIR) mechanisms, and trusted hardware (Intel SGX) for trustworthy...

read more

BISEN

BISEN is a searchable symmetric encryption scheme, allowing for secure boolean queries over remote datastores by leveraging Intel SGX for trustworthy computation. Team @ LASIGE: Bernardo Ferreira

read more

VisuaLeague III – Visual Analytics of Multiple Games

Prototype for analyzing League of Legend games of professional teams using visualization and clustering techniques. This version offers the most wanted features of static data analysis, a visual animated representation of individual matches, and options to search for...

read more

SGBisim

This tool decides whether two words are bisimilar, according to the labelled transition system defined by the given grammar's productions.

read more

FreeST

A concurrent programming language, based on a core functional language with primitives to fork new threads, create channels and exchange messages along these channels. The powerful type system of context-free session types governs the interactions on communication...

read more

OTD (OSINT Threat Detector pilot)

In the scope of the DiSIEM H2020 project, a pilot was built as a service to select cybersecurity threat intelligence from the Twitter stream, targeted to a specified information technology infrastructure. The pilot consists of a processing pipeline considering tweet...

read more

Æon compiler

A code compiler and synthesizer in the homonymous language, implemented in Python. The Æon language supports refined and dependent types with and without decidability restrictions.

read more

ARWithMaps+

This work aims to continue the previously developed project, called ARWithMaps, which implements techniques of visualization of points of interest in Augmented Reality including clues to points of interest outside the field of view and using maps. Additionally, it is...

read more

RoseTrajVis

RoseTrajVis is a system for analyzing trajectories using graphics inspired in wind roses. The elements of the rose include petals that aggregate trajectories given their direction and that also show their average speeds within an area around a point in a map, as...

read more

ChemRecSys

ChemRecSys (Chemical Compounds Recommender System) is a system for recommending Chemical Compounds, integrating collaborative-filtering algorithms for implicit feedback (Alternating Least Squares (ALS) and Bayesian Personalized Ranking(BPR)), a content-based algorithm...

read more

BiOnt

BiOnt is a system to perform relation extraction using a deep learning system. BiOnt, employs four types of biomedical ontologies, namely, the Gene Ontology, the Human Phenotype Ontology, the Human Disease Ontology, and the Chemical Entities of Biological Interest,...

read more

BFT ordering service for Hyperledger Fabric

This is a Byzantine fault-tolerant (BFT) ordering service for Hyperledger Fabric. This BFT ordering service is a wrapper around BFT-SMaRt, a Java open source BFT library maintained by the LaSIGE research unit at the University of Lisbon.

read more

QualWeb

QualWeb is an automatic web accessibility evaluator. QualWeb supports evaluation of pre and post processed pages, and includes some experimental modules that automate the evaluation of semantic rules, which typically demand for human evaluation.

read more

Rankores

This project’s objective is the development of mechanisms to take advantage of the knowledge that is in the crowd to validate news about football transfers. The project allows users to vote on news thus helping with their validation and taking advantage of social...

read more

Onde e quem vai ver

"Onde e quem vai ver" (Where and who's going) is an app that allow the user to browse, create and share the best events.

read more

O Mundo em Pessoa

“O Mundo em Pessoa” is a collaboration project with Sapo Labs for the celebration of the 125th year of birth of Fernando Pessoa. The team developed an web app where it’s possible to analyze the impact of the poet’s work in the social networks.

read more

Lusica

Lusica is a project of automatic collection of music quotes of Lusophone artists from the social networks. The initial aim is to produce a history of the popularity of the typical Lusophone music styles (i.e.: fado, samba, etc.) on the social networks. In this way,...

read more

Cooperari

Cooperari is a tool for cooperative testing of multithreaded Java applications.

read more

ASPA

aspa: a patching tool for JVM class files. aspa derives and applies patches between Java classes compiled to the Java Virtual Machine (JVM) bytecode format, resorting to an abstract syntax tree representation of JVM bytecode.

read more

TryIt

TryIt, learn and use RSS tools straight from your web browser.

read more

PAMPA

PAMPA (Power-Aware Message Propagation Algorithm) is a broadcast algorithm for mobile ad hoc networks (MANETS). PAMPA tries to save resources of participants in MANETs by reducing the number of nodes that are required to retransmit a message so that it gets delivered...

read more

mobIPLity

mobIPLity produces bonnmotion traces from the eduroam records collected by the Instituto Politécnico de Lisboa (IPL). Its goal is to provide to the mobile computing research community realistic mobility scenarios.

read more

KeyManager: admins management tool

KeyMgr, Key Manager, is a software package that facilitates the management of individual logins for system administrators of Linux servers. In contrast with traditional approaches, keymgr implements a solution that is completely independent of remote authentication...

read more

Epidemiology Ontology

The Epidemiology Ontology aims at increasing the amount of epidemiological data available, improving disease surveillance systems, and promoting the collaboration among epidemiological researchers. It currently covers the transmission of infection and epidemiology...

read more

GIN 2.0

GIN, Genome Inspector, was devised to design primers within microbial species or genus as broad as possible, for PCR gene-screening projects. It uses BLAST to find DNA sequences highly similar to the gene or sequence chosen by the user, in complete sequenced microbial...

read more

WAP

WAP 2.0 (Web Application Protection) is a source code static analysis and data mining tool to detect and correct input validation vulnerabilities in web applications written in PHP (version 4.0 or higher) with a low rate of false positives. This tool does taint...

read more

SASUL APP

SASULisboa App is a app available for Android and iOS that enables all the students to check the menus and balance in refectories of the University of Lisbon.

read more

Missinks

Missinks (Missinks: finding the missing links) is a web application that given a search query identifies the links in the first two pages of a given Google country search engine (e.g. google.ca - Canada) that are not present in the first four pages of another Google...

read more

CMPSim

CMPSim is a web tool that implements a novel approach to measure the similarity between chemical compounds and metabolic pathays using semantic similarity. Information about Chemical Compounds is gathered from the Chemical Entities of Biological Interest and...

read more

GRYFUN

GRYFUN (GRaph analYzer of FUNctional annotation) allows the visualization, filtering and subsequent analysis of Gene Ontology (GO) annotation profiles. A GO annotation functional profile consists of the collection of GO terms that annotate a given set of proteins....

read more

CESSM

CESSM (Collaborative Evaluation of GO-based Semantic Similarity Measures) is an online tool for the automated evaluation of GO-based semantic similarity measures, that enables the comparison of new measures against previously published ones in terms of performance...

read more

AgreementMakerLight

AgreementMakerLight is an automated and efficient ontology matching system derived from AgreementMaker that has been in development since the beginning of 2013. It is open source and freely available through GitHub both as an Eclipse project and as an executable jar....

read more

Therminfo

ThermInfo (Collecting, Retrieving, and Estimating Reliable Thermochemical Data) is a cheminformatics system designed and built with two main objectives in mind: collecting and retrieving critically evaluated thermochemical values, and estimating new data. In its...

read more

ProteInOn

ProteInOn is a web tool focused on calculating GO-based protein semantic similarity. It features a stepwise query selection menu, which together with the possibility of selecting results as input for new queries, makes it flexible and customizable. It also...

read more

NAMS

NAMS (Non-contiguous Atom Matching Structural Similarity) is a free Webtool to calculate similarity between molecules based on the structural/topological relationships of each atom towards all the others within a molecule. This functionality allows the calculation of...

read more

B3PP

B3PP (Blood Brain Barrier Penetration Prediction) is a web application that interfaces a machine learning model designed to predict the Blood-Brain Barrier penetration properties for any organic molecule. Compounds can be entered with their common name (in english),...

read more

CIDS

CIDS (Citation Impact Discerning Self-citations) is a user-friendly web tool that calculates different citation statistics, such as the h-index and g-index.

read more

SCFS

SCFS is a cloud-backed file system that provides strong consistency even on top of eventually-consistent cloud storage services. Its build on top of FUSE, thus providing a POSIX-like interface. SCFS provides also a pluggable backend that allows it to work with a...

read more

DepSky

DepSky is a system that improves the availability, confidentiality and integrity of stored data in the cloud. It reaches this goal by encrypting, enconding and replicating all the data on a set of differents clouds, forming a cloud-of-clouds. For the current...

read more

DNA Privacy Detector

The DNA privacy detector is a method that systematically detects privacy-sensitive DNA segments coming directly from an input stream, using as reference a knowledge database of known privacy-sensitive nucleic and amino acid sequences.

read more

JDNA

JDNA is a referential compressor for aligned DNA files.

read more

OpenRQ

OpenRQ is a Java library that implements the RaptorQ FEC scheme described in RFC 6330. The aim is to provide to developers a library that is easy to use and incorporate in their applications, whilst maintaining RaptorQ’s acclaimed performance and resilience. Forward...

read more

hsSim

hsSim is an Extensible Interoperable Object-Oriented n-Level Hierarchical Scheduling Simulator.

read more

Adaptare

Adaptare, a framework for automatic and dependable adaptation in dynamic environments.

read more

BFT-SMaRt

BFT-SMaRt is a high-performance Byzantine fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements. Our main objective is to provide a code base that can be used to build dependable services and also...

read more

DepSpace

DepSpace (Dependable Tuple Space) is fault and intrusion-tolerant secure tuple space implementation. The main objective of the system is to provide an extended tuple space abstraction that could be used to implement Byzantine fault tolerant applications.

read more

RT-PSS

Real-Time Proactive Secret Sharing Library for RTAI is an implementation of the Shamir's secret sharing scheme and Herzberg's proactive secret sharing algorithm. The library uses a port of GNU GMP in order to make multiple precision arithmetic operatio

read more

Appia

Appia is an open source layered communication toolkit implemented in Java and providing extended configuration and programming possibilities. The Appia toolkit is composed by (1) a core that is used to compose protocols and (2) a set of protocols that provide group...

read more

SePi

SePi is a concurrent, message-passing programming language based on the pi-calculus. The language features synchronous, bi-directional channel-based communication. Programs use primitives to send and receive messages as well as offer and select choices. Channel...

read more

ProPi

ProPi is a tool to statically verify whether message passing programs are free from deadlocks. The tool takes as input a system specified in the pi-calculus, together with typing annotations that describe the communications in the channels, as well as event...

read more

PESTT

PESTT (PESTT an Educational Testing Tool) is an Eclipse plug-in for learning and designing unit tests for the Java language. Currently, PESTT supports unit tests based on the control and data flow graphs (CFG) of methods. It generates the CFG based on the source code...

read more

ParTypes

ParTypes is a toolchain for validating and synthesising message-based programs for Message Passing Interface (MPI) programs. The general aim is to enforce program compliance with dependent-type based protocol specifications, enforcing properties such as protocol...

read more

MOOL

Mool is a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types. The specification formalizes (1) the available methods, (2) the tests clients must perform on the values...

read more

MIL

MIL (Multithreaded Intermediate Language) is an assembly language targeted at an abstract multi-processor equipped with a shared main memory. Each processor consists of a series of registers and of a local memory for instructions and for local data. The main memory is...

read more

ConGu

ConGu is a tool that supports the checking of Java classes against property-driven algebraic specifications. Checking classes consists in determining, at run-time, whether the classes that are subject to analysis behave as required by the specification. The first...

read more

BICA

Bica is an extension of the Java language that enables the verification of Java programs against a session type specification. This specification represents the changes in the interface of an object. In Java, the interface of an object is the set of methods declared...

read more

AguiaJ

AguiaJ is an pedagogical environment for experimenting object-oriented programming in Java. The tool enables users to interactively test object classes by creating and manipulating objects and visualizing the result of such interaction in terms of object state. The...

read more