Sandra Maria Mendes Alves


AuthID: R-000-G8E

Confirmed Publications: 48



1
TITLE: Quantitative Global Memory
AUTHORS: Sandra Alves ; Delia Kesner; Miguel Ramos;
PUBLISHED: 2023, SOURCE: Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, VOLUME: 13923
INDEXED IN: DBLP
IN MY: ORCID | DBLP
2
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13923 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
Page 1 of 5. Total results: 48.

A place for researchers and their institutions

Useful Links

Get Help

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