ProfileOfResearchers

TÃTULO: Software engineering for 'quantum advantage'
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 18

NO MEU:

ORCID |

DBLP

TÃTULO: Topics in Theoretical Computer Science - Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020, Proceedings
AUTORES: Luís Soares Barbosa ; Mohammad Ali Abam;
PUBLICAÇÃO: 2020, FONTE: TTCS, VOLUME: 12281

INDEXADO EM:

DBLP

NO MEU:

ORCID |

DBLP

TÃTULO: Towards a register-based census in Oman
AUTORES: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Combining Advantages from Parameters in Modeling and Control of Discrete Event Systems
AUTORES: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLICAÇÃO: 2019, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef: 1

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: Deep Learning Powered Question-Answering Framework for Organizations Digital Transformation
AUTORES: Carvalho, NR; Barbosa, LS ;
PUBLICAÇÃO: 2019, FONTE: 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

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 2

NO MEU:

ORCID |

DBLP

TÃTULO: Generalising KAT to Verify Weighted Computations Full Text
AUTORES: Leonardo Gomes ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: SCIENTIFIC ANNALS OF COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 2

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 4

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: On the Generation of Equational Dynamic Logics for Weighted Imperative Programs
AUTORES: Leandro Gomes ; Alexandre Madeira ; Manisha Jain; Luís Soares Barbosa ;
PUBLICAÇÃO: 2019, FONTE: 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

INDEXADO EM:

Scopus

DBLP

CrossRef

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: A logic for the stepwise development of reactive systems Full Text
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744

INDEXADO EM:

Scopus

WOS

DBLP

CrossRef: 12

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE

TÃTULO: A Note on Reactive Transitions and Reo Connectors
AUTORES: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865

INDEXADO EM:

Scopus

DBLP

CrossRef: 4

NO MEU:

ORCID |

DBLP |

CIÊNCIAVITAE