ABOUT US
RESEARCH
PEOPLE
PUBLICATIONS
ARTICLES
BOOKS
BOOK CHAPTERS
DISSERTATIONS
EDITORIALS
IN PROCEEDINGS
ACTIVITIES
PROJECTS
GRADUATION ACTIVITIES
PROTOTYPES
SEMINARS
DISTINGUISHED LECTURES
EVENT ORGANIZATIONS
EDITORIAL COMMITTEES
SOCIETY
LOGIN
PROTOTYPES
Choose year
2022
2021
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
1999
1997
1990
["2022", "2021", "2019", "2018", "2017", "2016", "2015", "2014", "2013", "2012", "2011", "2010", "2009", "2008", "2007", "2006", "2005", "2004", "2003", "1999", "1997", "1990"]
Choose Research Area
Computer Systems
Multimodal Systems
Knowledge-Based Systems
Software Systems
["</option>\n", "</option>\n", "</option>\n", "</option>\n"]
Prototype
CRAWWWLER
1 Sep 2006
Gabriel Pereira Lopes
Prototype
TREX
1 Feb 2006
Gabriel Pereira Lopes
Prototype
The Spatial Logic Model Checker v1.3
1 Jan 2006
Luis Caires
,
Hugo Torres Vieira
Prototype
Mob Language Compiler and Run-time System
1 Jan 2006
Hervé Paulino
Prototype
RLC in C++ (for vector spaces)
1 Jan 2006
Margarida Mamede
Prototype
ComponentJ
1 Dec 2005
Luis Caires
,
João Costa Seco
Prototype
ALIGNER
1 Dec 2005
Gabriel Pereira Lopes
Prototype
REXX
1 Oct 2005
Gabriel Pereira Lopes
Prototype
SAI
1 Jul 2005
Gabriel Pereira Lopes
Prototype
TyCO - Typed Concurrent Objects (version 0.41)
1 Mar 2005
Hervé Paulino
,
Vasco Vasconcelos
,
Francisco Martins
Prototype
RLC in Java
1 Jan 2005
Margarida Mamede
Prototype
Cardinal
22 Sep 2004
Francisco Azevedo
<
1
…
18
19
20
>