Login

Prototypes

LID

Prototype

Authors

Joaquim Ferreira da Silva, Gabriel Pereira Lopes,

CombO for AORA

Prototype

Authors

Ana Moreira, João Araújo, Isabel Brito,

PHAROS

Prototype

Authors

Gabriel Pereira Lopes,

VideoStore & mEmLearn

Prototype

Authors

Nuno Correia, Diogo Cabral,

CxProlog version 0.94.1

Prototype

Authors

Artur Miguel Dias,

CRAWWWLER

Prototype

Authors

Gabriel Pereira Lopes,

TREX

Prototype

Authors

Gabriel Pereira Lopes,

RLC in C++ (for vector spaces)

Prototype

Authors

Margarida Mamede,

The Spatial Logic Model Checker v1.3

Prototype

Authors

Luis Caires, Hugo Torres Vieira,

Mob Language Compiler and Run-time System

Prototype

Authors

Hervé Paulino,