Search Results (Date:" [2018\-01\-01T00\:00\:00Z TO 2018\-12\-31T00\:00\:00Z] ", isMemberOf:"UNU:2948", Author ID:"Soares Barbosa, Luís")

Browse Results (4 results found)

Subscribe to the RSS feed for this result set  Subscribe to the RSS feed for this result set
 

Refine

  Search Relevance Abstract Views File Downloads
Madeira, Alexandre, Neves, Renato, Martins, Manuel and Soares Barbosa, Luís, (2018). Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science, 338 167-184  8.09 426  
Neves, Renato and Soares Barbosa, Luís, (2018). Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science, 744 113-142  8.09 413  
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  8.09 539  
Guillermina Cledou, Estevez, Elsa and Soares Barbosa, Luís, (2018). A taxonomy for planning and designing smart mobility services. Government Information Quarterly, 35(1), 61-76  8.09 621