21
TÍTULO: Deciding the Bisimilarity of Context-Free Session Types
AUTORES: Bernardo Almeida; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, VOLUME: 12079
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: DBLP
22
TÍTULO: Mixed Sessions
AUTORES: Vasconcelos, VT ; Casal, F ; Almeida, B; Mordido, A ;
PUBLICAÇÃO: 2020, FONTE: 29th European Symposium on Programming (ESOP) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, VOLUME: 12075
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
23
TÍTULO: Mixed Sessions: the Other Side of the Tape  Full Text
AUTORES: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
24
TÍTULO: FreeST: Context-free Session Types in a Functional Language PDF
AUTORES: Almeida, B; Mordido, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: 11th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) Co-located with European Joint Conferences on Theory and Practice of Software (ETAPS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 291, NÚMERO: 291
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 5
NO MEU: ORCID | DBLP
25
TÍTULO: Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities  Full Text
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2019, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 781
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
26
TÍTULO: Probabilistic logic over equations and domain restrictions
AUTORES: Mordido, A ; Caleiro, C;
PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
27
TÍTULO: Classical Generalized Probabilistic Satisfiability
AUTORES: Carlos Caleiro ; Filipe Casal ; Andreia Mordido ;
PUBLICAÇÃO: 2017, FONTE: 26th International Joint Conference on Artificial Intelligence, IJCAI 2017 in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
28
TÍTULO: Generalized Probabilistic Satisfiability
AUTORES: Caleiro, C; Casal, F ; Mordido, A ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 332
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
29
TÍTULO: An Equation-Based Classical Logic
AUTORES: Andreia Mordido ; Carlos Caleiro;
PUBLICAÇÃO: 2015, FONTE: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, VOLUME: 9160
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
Página 3 de 3. Total de resultados: 29.