11
TÍTULO: Quantum privacy-preserving service for secure lane change in vehicular networks
AUTORES: Rahmani, Zeinab; Barbosa, Luis S. ; Pinto, Armando N.;
PUBLICAÇÃO: 2023, FONTE: IET QUANTUM COMMUNICATION, VOLUME: 4, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
12
TÍTULO: Stepwise Development of Paraconsistent Processes
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
13
TÍTULO: Structured Specification of Paraconsistent Transition Systems
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
14
TÍTULO: Weighted synchronous automata
AUTORES: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2023, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
15
TÍTULO: A Logic for Paraconsistent Transition Systems  Full Text
AUTORES: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, NÚMERO: 358
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
16
TÍTULO: A tribute to Jose Manuel Valenca
AUTORES: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
17
TÍTULO: Coalgebra for the working software engineer
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: FLAP, VOLUME: 9, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
18
TÍTULO: Modelling and control of manufacturing systems subject to context recognition and switching  Full Text
AUTORES: Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis ; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo;
PUBLICAÇÃO: 2022, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 61, NÚMERO: 10
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
19
TÍTULO: Variational Quantum Policy Gradients with an Application to Quantum Control
AUTORES: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2203.10591
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
20
TÍTULO: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
Página 2 de 19. Total de resultados: 190.