Type Inference using Constraint Handling Rules. - Sandra Alves; Mário Florido (WFLP, 2001)

On the Relation between Rank 2 Intersection Types and Simple Types. - Sandra Alves; Mário Florido (APPIA-GULP-PRODE, 2002)

Linearization by Program Transformation. - Sandra Alves; Mário Florido (LOPSTR, 2003)

Weak linearization of the lambda calculus. - Sandra Alves; Mário Florido (Theor. Comput. Sci., 2005)

The Power of Linear Functions. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (CSL, 2006)

The Power of Closed Reduction Strategies. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (WRS@FLoC, 2006)

Linear Recursive Functions. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (Rewriting, Computation and Proof, 2007)

Iterator Types. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (FoSSaCS, 2007)

Minimality in a Linear Calculus with Iteration. - Sandra Alves; Mário Florido; Ian Mackie; François-Régis Sinot (WRS@RDP, 2007)

Linear Recursion - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (CoRR, 2010)

Linearity and iterator types for Gödel's System. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (High. Order Symb. Comput., 2010)

Gödel's system tau revisited. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (Theor. Comput. Sci., 2010)

Linearity and recursion in a typed Lambda-calculus. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (PPDP, 2011)

A new graphical calculus of proofs - Sandra Alves; Maribel Fernández; Ian Mackie (TERMGRAPH, 2011)

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. - Sandra Alves; Anatoli Degtyarev; Maribel Fernández (LOPSTR, 2014)

Liquid Intersection Types. - Mário Pereira; Sandra Alves; Mário Florido (ITRS, 2014)

A Framework for the Analysis of Access Control Policies with Emergency Management. - Sandra Alves; Maribel Fernández (LSFA, 2014)

Linearity: A Roadmap. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (J. Log. Comput., 2014)

A Typed Language for Events. - Sandra Alves; Sabine Broda; Maribel Fernández (LOPSTR, 2015)

A short note on type-inhabitation: Formula-trees vs. game semantics. - Sandra Alves; Sabine Broda (Inf. Process. Lett., 2015)

The G-ACM Tool: using the Drools Rule Engine for Access Control Management. - João Sá; Sandra Alves; Sabine Broda (CoRR, 2016)

Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. - Sandra Alves (ACM SIGLOG News, 2016)

Inhabitation machines: determinism and principality. - Sandra Alves; Sabine Broda (NCMA, 2017)

Preface. - Sandra Alves; Renata Wasserman (LSFA, 2017)

A graph-based framework for the analysis of access control policies. - Sandra Alves; Maribel Fernández (Theor. Comput. Sci., 2017)

A Unifying Framework for Type Inhabitation. - Sandra Alves; Sabine Broda (FSCD, 2018)

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types. - Sandra Alves; Sabine Broda (LSFA, 2018)

Pattern-based calculi with finitary matching. - Sandra Alves; Besik Dundua; Mário Florido; Temur Kutsia (Log. J. IGPL, 2018)

Preface to special issue: LINEARITY 2014. - Sandra Alves; Iliano Cervesato (Math. Struct. Comput. Sci., 2018)

A Quantitative Understanding of Pattern Matching. - Sandra Alves; Delia Kesner; Daniel Ventura (TYPES, 2019)

EVL: A Typed Higher-order Functional Language for Events. - Sandra Alves; Maribel Fernández; Miguel Ramos 002 (LSFA, 2020)

An ML-style record calculus with extensible records. - Sandra Alves; Miguel Ramos 002 (MFPS, 2021)

EVL: a typed functional language for event processing. - Sandra Alves; Maribel Fernández; Miguel Ramos 002 (CoRR, 2021)

A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations. - Sandra Alves; Jorge Iglésias (CoRR, 2021)

Preface to special issue: LSFA 2017 and 2018. - Sandra Alves; Renata Wassermann (Math. Struct. Comput. Sci., 2021)

Structural Rules and Algebraic Properties of Intersection Types. - Sandra Alves; Mário Florido (ICTAC, 2022)

Quantitative Weak Linearisation. - Sandra Alves; Daniel Ventura (ICTAC, 2022)

Linear Rank Intersection Types. - Fábio Reis; Sandra Alves; Mário Florido (TYPES, 2022)

Report on women in logic 2020 & 2021. - Sandra Alves; Sandra Kiefer; Ana Sokolova (ACM SIGLOG News, 2022)

Quantitative Global Memory. - Sandra Alves; Delia Kesner; Miguel Ramos 002 (WoLLIC, 2023)

Extending the Quantitative Pattern-Matching Paradigm. - Sandra Alves; Delia Kesner; Miguel Ramos 002 (APLAS, 2024)