Browse by all authors Browse By Author ID - Madeira, Alexandre

Browse Results (3 results found)

Subscribe to the RSS feed for this result set  Subscribe to the RSS feed for this result set
 
  Abstract Views File Downloads
Madeira, Alexandre, Soares Barbosa, Luís, Hennicker, Rolf and Martins, Manuel, (2018). A logic for the stepwise development of reactive systems. Theoretical Computer Science, 744 78-96 525  
Gomes, Leandro, Madeira, Alexandre and Soares Barbosa, Luís, (2021). A semantics and a logic for Fuzzy Arden Syntax. Soft Computing, 25(9), 6789-6805 225  
Madeira, Alexandre, Neves, Renato, Martins, Manuel and Soares Barbosa, Luís, (2018). Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science, 338 167-184 411