Personal tools
You are here: Home → Research → Projects → Current projects
Navigation
Log in


Forgot your password?
 
Document Actions

Current projects

Up one level
SCIEnce — by ZopePlone — last modified 2006-12-21 01:58 AM
Symbolic Computation in Europe
PhaseTrans — by ZopePlone — last modified 2007-02-08 08:57 PM
Phase Transitions in Computational Complexity and Formal Verification – Towards Generic and Realistic Approaches
GRAPH — by ZopePlone — last modified 2007-12-11 07:31 PM
Algoritmi pentru identificarea structurii in grafuri masive: aplicatii in lingvistica computationala si in modelarea matematica a dinamicii sociale. Proiect CNCSIS PN II-IDEI
DEHEMS — by ZopePlone — last modified 2009-01-04 03:44 PM
Digital Environmental Home Energy Management System
AVANTSSAR — by ZopePlone — last modified 2009-01-04 03:57 PM
Automated Validation of Trust and Security of Service-Oriented Architectures
PracticalVerification — by ZopePlone — last modified 2009-01-04 04:04 PM
Practical formal verification using automated reasoning and model checking
AEMTIA — by ZopePlone — last modified 2009-01-04 04:11 PM
Automated Exploration of Mathematical Theories for Industrial Applications
« July 2010 »
Su Mo Tu We Th Fr Sa
123
45678910
11121314151617
18192021222324
25262728293031
 
Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: