Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 47



1
TITLE: Quantitative Global Memory
AUTHORS: Sandra Alves ; Delia Kesner; Miguel Ramos;
PUBLISHED: 2023, SOURCE: Proceedings of the 29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023 in Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, VOLUME: 13923
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
2
TITLE: Linear Rank Intersection Types
AUTHORS: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 28th International Conference on Types for Proofs and Programs, TYPES 2022 in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, VOLUME: 269
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
3
TITLE: Quantitative Weak Linearisation
AUTHORS: Sandra Alves ; Daniel Ventura;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: Report on women in logic 2020 & 2021
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2
INDEXED IN: DBLP
IN MY: ORCID | DBLP
5
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
INDEXED IN: DBLP
IN MY: ORCID | DBLP
7
TITLE: An ML-style Record Calculus with Extensible Records  Full Text
AUTHORS: Alves, S ; Ramos, M ;
PUBLISHED: 2021, SOURCE: 37th International Conference on Mathematical Foundations of Programming Semantics, MFPS 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 351
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
8
TITLE: EVL: a typed functional language for event processing
AUTHORS: Sandra Alves ; Maribel Fernández; Miguel Ramos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.08960
INDEXED IN: DBLP
IN MY: ORCID | DBLP
9
TITLE: Preface to special issue: LSFA 2017 and 2018
AUTHORS: Sandra Alves ; Renata Wassermann;
PUBLISHED: 2021, SOURCE: Math. Struct. Comput. Sci., VOLUME: 31, ISSUE: 3
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Page 1 of 5. Total results: 47.

A place for researchers and their institutions

Useful Links

Get Help

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