Dissertations
 
   
Ongoing Dissertations


PhD Theses: 3
-Miguel NevesVasco Manquinho and Inês Lynce, Discrete Optimization Models and Tools for Energy Management in Data Centers PhD Thesis on IST - Universidade de Lisboa, work in progress, [bibTex]
-Pedro VarelaPedro T. Monteiro and Claudine Chaouiya, Efficient attractor characterization in large discrete event systems: application to biological regulatory networks PhD Thesis on Instituto Superior Técnico - Universidade de Lisboa, work in progress, [bibTex]
-Alessandro PrevitiJoao Marques Silva and António José dos Reis Morgado, Hitting set dualization problems and applications PhD Thesis on , work in progress, [bibTex]

MSc Theses: 3
-José Francisco Pires AmaralVasco Manquinho, Algorithms for Markov Logic Networks MSc Thesis on , work in progress, [bibTex]
-André Filipe Ribeiro dos ReisVasco Manquinho and Luis Guerra e Silva, Algorithms for Maximum Satisfiability using GPU MSc Thesis on , work in progress, [bibTex]
-João Pedro Mateus AlexandreVasco Manquinho, Automatic generation of test cases for MOOCs MSc Thesis on IST - Universidade de Lisboa, work in progress, [bibTex]