Qais
Quantitative analysis of interacting systems: foundations and algorithms
Login
|
Register
|
Print
Overview
Home
Project Description
Team
Research Team
Job Opportunities
Results
Publications
WorkBench
(Bi)simulations in KAT
Project Workshops
Research
»
QAIS
»
WebHome
»
WebSideBar
»
Team
Research Team
Alexandra Silva
Alejandro Sanchez
Ana Maldonado
Elisabete Freire
José Nuno Oliveira
Luís Monteiro
Luís Barbosa
Nuno Oliveira
Daniel Murta (grant holder)
Collaborators
Ana Sokolova
(USalzburg, AU)
Filippo Bonchi
(ENS Lyon, FR)
Consultants
Christel Baier
(Dresden, DE)
Farhad Arbab
(CWI, NL)
Prakash Panangaden
(McGill, CA)
r3 - 17 Sep 2013 - 14:31:47 -
JoseNunoOliveira
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM