31
TITLE: Generalising KAT to Verify Weighted Computations  Full Text
AUTHORS: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
32
TITLE: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLISHED: 2019, SOURCE: 21st International Conference on Formal Engineering Methods, ICFEM 2019 in Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, VOLUME: 11852
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
33
TITLE: A logic for the stepwise development of reactive systems  Full Text
AUTHORS: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
34
TITLE: A Note on Reactive Transitions and Reo Connectors
AUTHORS: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
35
TITLE: A Research Agenda on Quantum Algoritmics
AUTHORS: Luis S Barbosa ; Alexandre Madeira ;
PUBLISHED: 2018, SOURCE: ERCIM NEWS, VOLUME: 2018, ISSUE: 113
INDEXED IN: WOS DBLP
IN MY: ORCID | DBLP
36
TITLE: A taxonomy for planning and designing smart mobility services
AUTHORS: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
PUBLISHED: 2018, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1
INDEXED IN: WOS DBLP CrossRef: 41
IN MY: ORCID | DBLP
37
TITLE: Communities of Practice as a tool to support the GCIO function
AUTHORS: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
38
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
39
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
40
TITLE: Layered logics, coalgebraically
AUTHORS: Barbosa, LS ;
PUBLISHED: 2018, SOURCE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 4 of 19. Total results: 185.