Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 187



61
TITLE: Collaborative Environments in Software Engineering Teaching: A FLOSS Approach
AUTHORS: Sara Fernandesand; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 15th European Conference on E-Learning (ECEL) in PROCEEDINGS OF THE 15TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2016)
INDEXED IN: WOS
IN MY: ORCID
62
TITLE: Continuity as a computational effect
AUTHORS: Renato Neves ; Luis S Barbosa ; Dirk Hofmann ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
63
TITLE: Digital Government and Administrative Burden Reduction
AUTHORS: Linda Veiga; Tomasz Janowski; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: 9th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in 9TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV 2016), VOLUME: 01-03-March-2016
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
64
TITLE: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
AUTHORS: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
65
TITLE: Electronic governance in Portugal. a silent pioneer
AUTHORS: Sara Fernandes; Luis Soares Barbosa ;
PUBLISHED: 2016, SOURCE: Proceedings of the International Conference on Electronic Governance and Open Society Challenges in Eurasia - EGOSE '16
INDEXED IN: CrossRef: 1
IN MY: ORCID
66
TITLE: Electronic governance in Portugal: a silent pioneer
AUTHORS: Sara Fernandes; Luís Soares Barbosa ;
PUBLISHED: 2016, SOURCE: Proceedings of the International Conference on Electronic Governance and Open Society - Challenges in Eurasia, EGOSE 2016, St. Petersburg, Russia, November 22-23, 2016
INDEXED IN: DBLP
IN MY: ORCID | DBLP
67
TITLE: Hybrid Automata as Coalgebras
AUTHORS: Renato Neves ; Luis S Barbosa ;
PUBLISHED: 2016, SOURCE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
68
TITLE: Proof theory for hybrid(ised) logics  Full Text
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2016, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 126
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
69
TITLE: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTHORS: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 85, ISSUE: 5
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
70
TITLE: Reuse and Integration of Specification Logics: The Hybridisation Perspective
AUTHORS: Luís Soares Barbosa ; Manuel A Martins ; Alexandre Madeira ; Renato Neves ;
PUBLISHED: 2016, SOURCE: Theoretical Information Reuse and Integration, VOLUME: 446
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 7 of 19. Total results: 187.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service