Login

Prototypes

LID

Prototype

Authors

Joaquim Ferreira da Silva, Gabriel Pereira Lopes,

PHAROS

Prototype

Authors

Gabriel Pereira Lopes,

VideoStore & mEmLearn

Prototype

Authors

Nuno Correia, Diogo Cabral,

CombO for AORA

Prototype

Authors

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

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,