Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 195



31
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
32
TITLE: Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer  Full Text
AUTHORS: Guimaraes, JD; Tavares, C ; Barbosa, LS ; Vasilevskiy, MI;
PUBLISHED: 2020, SOURCE: COMPLEXITY, VOLUME: 2020
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
33
TITLE: Software engineering for 'quantum advantage'
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 42nd IEEE/ACM International Conference on Software Engineering Workshops, ICSEW 2020 in ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID | DBLP
34
TITLE: Topics in Theoretical Computer Science. Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
AUTHORS: Luís S. Barbosa ; Mohammad Ali Abam;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef Openlibrary
35
36
TITLE: Towards a register-based census in Oman
AUTHORS: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 13th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2020 in ICEGOV 2020: 13th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, 23-25 September, 2020
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
37
TITLE: Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
AUTHORS: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 in 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, VOLUME: 2019-September
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
38
TITLE: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTHORS: Carvalho, NR; Barbosa, LS ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
39
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: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
40
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 | CIÊNCIAVITAE
Page 4 of 20. Total results: 195.

footer slogan

Useful Links

Get Help

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