Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
1
TÃTULO: Polymorphic higher-order context-free session types Full Text
AUTORES: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
AUTORES: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP2
TÃTULO: Linear Contextual Metaprogramming and Session Types Full Text
AUTORES: Pedro Ângelo; Atsushi Igarashi; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05475
AUTORES: Pedro Ângelo; Atsushi Igarashi; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05475
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP3
TÃTULO: Behavioural Types for Heterogeneous Systems (Position Paper) Full Text
AUTORES: Simon Fowler; Philipp Haller; Roland Kuhn; Sam Lindley; Alceste Scalas; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05479
AUTORES: Simon Fowler; Philipp Haller; Roland Kuhn; Sam Lindley; Alceste Scalas; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05479
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP4
TÃTULO: Simple grammar bisimilarity, with an application to session type equivalence
AUTORES: Diogo Poças; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.04063
AUTORES: Diogo Poças; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.04063
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: System Fμ ømega with Context-free Session Types
AUTORES: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
AUTORES: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
6
TÃTULO: Parameterized Algebraic Protocols
AUTORES: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: PLDI
AUTORES: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: PLDI
INDEXADO EM: WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP7
TÃTULO: Parameterized Algebraic Protocols
AUTORES: Andreia Mordido; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 7, NÚMERO: PLDI
AUTORES: Andreia Mordido; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 7, NÚMERO: PLDI
8
TÃTULO: Protocol-Based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido; Vasco T Vasconcelos;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Financial Cryptography and Data Security. FC 2022 International Workshops
AUTORES: Afonso Falcão; Andreia Mordido; Vasco T Vasconcelos;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Financial Cryptography and Data Security. FC 2022 International Workshops
9
TÃTULO: System Fωμ with Context-free Session Types
AUTORES: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
AUTORES: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
INDEXADO EM: WOS
WOS10
TÃTULO: AlgST
AUTORES: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2023
AUTORES: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP