Publications
 
   
Publications for year between 2016 and 2017


International Journal Articles: 1
2017
-Pedro Varela and Inês Lynce and Vasco Manquinho and Claudine Chaouiya and Pedro T. Monteiro, Stable states of Boolean regulatory networks composed over hexagonal grids, article in Electronic Notes in Theoretical Computer Science, to appear on 2017, [bibTex]
International Conferences: 3
2017
-Filipe Gouveia and Pedro T. Monteiro and Vasco Manquinho and Inês Lynce, Logic-Based Encodings for Ricochet Robots, presented at EPIA Conference on Artificial Intelligence (EPIA'17), Sep. 2017, [DOI Article link][bibTex]
2016
-Miguel Neves and Inês Lynce and Vasco Manquinho, Non-Portfolio Approaches for Distributed Maximum Satisfiability, presented at IEEE International Conference on Tools with Artificial Intelligence, Nov. 2016, IEEE Press, [DOI Article link][bibTex]
-Pedro Varela and Inês Lynce and Vasco Manquinho and Claudine Chaouiya and Pedro T. Monteiro, SAT-based identification of stable states in composed Boolean regulatory networks, presented at International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep. 2016, [bibTex]

MSc Theses: 1
2016
-Alexandre Lemos advised by Pedro T. Monteiro and Inês Lynce, Inference in Biological Regulatory Networks, MSc Thesis on Instituto Superior Técnico - Universidade de Lisboa, Sep. 2016, [bibTex]

Technical Reports: 1