Sandra Alves

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 24

Top Topics

Event Processing

Pattern Matching

Top Venues

Math. Struct. Comput. Sci.

Publications

Sandra Alves, Delia Kesner, Miguel Ramos
Quantitative Global Memory. CoRR (2023)
Sandra Alves, Delia Kesner, Miguel Ramos
Quantitative Global Memory. WoLLIC (2023)
Sandra Alves, Mário Florido
Structural Rules and Algebraic Properties of Intersection Types. CoRR (2022)
Sandra Alves, Daniel Ventura
Quantitative Weak Linearisation. ICTAC (2022)
Sandra Alves, Sandra Kiefer, Ana Sokolova
Report on women in logic 2020 & 2021. ACM SIGLOG News 9 (2) (2022)
Sandra Alves, Mário Florido
Structural Rules and Algebraic Properties of Intersection Types. ICTAC (2022)
Fábio Reis, Sandra Alves, Mário Florido
Linear Rank Intersection Types. TYPES (2022)
Fábio Reis, Sandra Alves, Mário Florido
Linear Rank Intersection Types. CoRR (2022)
Sandra Alves, Renata Wassermann
Preface to special issue: LSFA 2017 and 2018. Math. Struct. Comput. Sci. 31 (3) (2021)
Sandra Alves, Jorge Iglésias
A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations. CoRR (2021)
Sandra Alves, Maribel Fernández, Miguel Ramos
EVL: a typed functional language for event processing. CoRR (2021)
Sandra Alves, Miguel Ramos
An ML-style record calculus with extensible records. MFPS (2021)
Sandra Alves, Maribel Fernández, Miguel Ramos
EVL: A Typed Higher-order Functional Language for Events. LSFA (2020)
Sandra Alves, Delia Kesner, Daniel Ventura
A Quantitative Understanding of Pattern Matching. TYPES (2019)
Sandra Alves, Delia Kesner, Daniel Ventura
A Quantitative Understanding of Pattern Matching. CoRR (2019)
Sandra Alves, Iliano Cervesato
Preface to special issue: LINEARITY 2014. Math. Struct. Comput. Sci. 28 (5) (2018)
Sandra Alves, Sabine Broda
Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types. LSFA (2018)
Sandra Alves, Sabine Broda
A Unifying Framework for Type Inhabitation. FSCD (2018)
Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
Pattern-based calculi with finitary matching. Log. J. IGPL 26 (2) (2018)
Sandra Alves, Maribel Fernández
A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. 685 (2017)
Sandra Alves, Sabine Broda
Inhabitation machines: determinism and principality. NCMA (2017)
Sandra Alves, Renata Wasserman
Preface. LSFA (2017)
Sandra Alves
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. ACM SIGLOG News 3 (4) (2016)
João Sá, Sandra Alves, Sabine Broda
The G-ACM Tool: using the Drools Rule Engine for Access Control Management. CoRR (2016)
Sandra Alves, Sabine Broda, Maribel Fernández
A Typed Language for Events. LOPSTR (2015)
Sandra Alves, Sabine Broda
A short note on type-inhabitation: Formula-trees vs. game semantics. Inf. Process. Lett. 115 (11) (2015)
Sandra Alves, Anatoli Degtyarev, Maribel Fernández
Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR (2014)
Sandra Alves, Maribel Fernández
A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA (2014)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity: A Roadmap. J. Log. Comput. 24 (3) (2014)
Mário Pereira, Sandra Alves, Mário Florido
Liquid Intersection Types. ITRS (2014)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity and recursion in a typed Lambda-calculus. PPDP (2011)
Sandra Alves, Maribel Fernández, Ian Mackie
A new graphical calculus of proofs TERMGRAPH (2011)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23 (1) (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Gödel's system tau revisited. Theor. Comput. Sci. 411 (11-13) (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursion CoRR (2010)
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
Minimality in a Linear Calculus with Iteration. Electron. Notes Theor. Comput. Sci. 204 (2008)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Closed Reduction Strategies. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Iterator Types. FoSSaCS (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursive Functions. Rewriting, Computation and Proof (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Linear Functions. CSL (2006)
Sandra Alves, Mário Florido
Weak linearization of the lambda calculus. Theor. Comput. Sci. 342 (1) (2005)
Sandra Alves, Mário Florido
Linearization by Program Transformation. LOPSTR (2003)
Sandra Alves, Mário Florido
Type Inference using Constraint Handling Rules. Electron. Notes Theor. Comput. Sci. 64 (2002)
Sandra Alves, Mário Florido
On the Relation between Rank 2 Intersection Types and Simple Types. APPIA-GULP-PRODE (2002)