Sandra Alves - RankMe

54 papers B 5C 7Journal 21Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A quantitative approach to global state composition. Math. Struct. Comput. Sci. Sandra Alves, Delia Kesner, Miguel Ramos
2024	B	`conf`	Extending the Quantitative Pattern-Matching Paradigm. APLAS Sandra Alves, Delia Kesner, Miguel Ramos
2024	J	`jnl`	Extending the Quantitative Pattern-Matching Paradigm. CoRR Sandra Alves, Delia Kesner, Miguel Ramos
2024	—	`ed.`	Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. DCM Sandra Alves, Ian Mackie
2024	—	`ed.`	Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2024, Milan, Italy, 6 September 2024 TyDe@ICFP Sandra Alves, Jesper Cockx
2023	C	`conf`	Quantitative Global Memory. WoLLIC Sandra Alves, Delia Kesner, Miguel Ramos
2023	J	`jnl`	Quantitative Global Memory. CoRR Sandra Alves, Delia Kesner, Miguel Ramos
2022	—	`conf`	Linear Rank Intersection Types. TYPES Fábio Reis, Sandra Alves, Mário Florido
2022	J	`jnl`	Linear Rank Intersection Types. CoRR Fábio Reis, Sandra Alves, Mário Florido
2022	C	`conf`	Quantitative Weak Linearisation. ICTAC Sandra Alves, Daniel Ventura
2022	J	`jnl`	Report on women in logic 2020 & 2021. ACM SIGLOG News Sandra Alves, Sandra Kiefer, Ana Sokolova
2022	C	`conf`	Structural Rules and Algebraic Properties of Intersection Types. ICTAC Sandra Alves, Mário Florido
2022	J	`jnl`	Structural Rules and Algebraic Properties of Intersection Types. CoRR Sandra Alves, Mário Florido
2021	J	`jnl`	A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations. CoRR Sandra Alves, Jorge Iglésias
2021	B	`conf`	An ML-style record calculus with extensible records. MFPS Sandra Alves, Miguel Ramos
2021	J	`jnl`	EVL: a typed functional language for event processing. CoRR Sandra Alves, Maribel Fernández, Miguel Ramos
2021	J	`jnl`	Preface to special issue: LSFA 2017 and 2018. Math. Struct. Comput. Sci. Sandra Alves, Renata Wassermann
2020	—	`conf`	EVL: A Typed Higher-order Functional Language for Events. LSFA Sandra Alves, Maribel Fernández, Miguel Ramos
2019	—	`conf`	A Quantitative Understanding of Pattern Matching. TYPES Sandra Alves, Delia Kesner, Daniel Ventura
2019	J	`jnl`	A Quantitative Understanding of Pattern Matching. CoRR Sandra Alves, Delia Kesner, Daniel Ventura
2019	—	`ed.`	Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. DCM/ITRS Michele Pagani, Sandra Alves
2018	—	`ed.`	12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017 LSFA Sandra Alves, Renata Wasserman
2018	B	`conf`	A Unifying Framework for Type Inhabitation. FSCD Sandra Alves, Sabine Broda
2018	J	`jnl`	Pattern-based calculi with finitary matching. Log. J. IGPL Sandra Alves, Besik Dundua, Mário Florido, Temur Kutsia
2018	—	`conf`	Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types. LSFA Sandra Alves, Sabine Broda
2018	J	`jnl`	Preface to special issue: LINEARITY 2014. Math. Struct. Comput. Sci. Sandra Alves, Iliano Cervesato
2017	J	`jnl`	A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. Sandra Alves, Maribel Fernández
2017	—	`conf`	Inhabitation machines: determinism and principality. NCMA Sandra Alves, Sabine Broda
2017	—	`conf`	Preface. LSFA Sandra Alves, Renata Wasserman
2016	—	`ed.`	Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016 LFMTP Gilles Dowek, Daniel R. Licata, Sandra Alves
2016	J	`jnl`	Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. ACM SIGLOG News Sandra Alves
2016	J	`jnl`	The G-ACM Tool: using the Drools Rule Engine for Access Control Management. CoRR João Sá, Sandra Alves, Sabine Broda
2015	C	`conf`	A Typed Language for Events. LOPSTR Sandra Alves, Sabine Broda, Maribel Fernández
2015	J	`jnl`	A short note on type-inhabitation: Formula-trees vs. game semantics. Inf. Process. Lett. Sandra Alves, Sabine Broda
2015	—	`ed.`	Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. LINEARITY Sandra Alves, Iliano Cervesato
2014	—	`conf`	A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA Sandra Alves, Maribel Fernández
2014	C	`conf`	Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR Sandra Alves, Anatoli Degtyarev, Maribel Fernández
2014	J	`jnl`	Linearity: A Roadmap. J. Log. Comput. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2014	—	`conf`	Liquid Intersection Types. ITRS Mário Pereira, Sandra Alves, Mário Florido
2012	—	`ed.`	Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. LINEARITY Sandra Alves, Ian Mackie
2011	—	`conf`	A new graphical calculus of proofs TERMGRAPH Sandra Alves, Maribel Fernández, Ian Mackie
2011	C	`conf`	Linearity and recursion in a typed Lambda-calculus. PPDP Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Gödel's system tau revisited. Theor. Comput. Sci. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Linear Recursion CoRR Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Linearity and iterator types for Gödel's System. High. Order Symb. Comput. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007	B	`conf`	Iterator Types. FoSSaCS Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007	—	`conf`	Linear Recursive Functions. Rewriting, Computation and Proof Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007	—	`conf`	Minimality in a Linear Calculus with Iteration. WRS@RDP Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
2006	—	`conf`	The Power of Closed Reduction Strategies. WRS@FLoC Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2006	B	`conf`	The Power of Linear Functions. CSL Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2005	J	`jnl`	Weak linearization of the lambda calculus. Theor. Comput. Sci. Sandra Alves, Mário Florido
2003	C	`conf`	Linearization by Program Transformation. LOPSTR Sandra Alves, Mário Florido
2002	—	`conf`	On the Relation between Rank 2 Intersection Types and Simple Types. APPIA-GULP-PRODE Sandra Alves, Mário Florido
2001	—	`conf`	Type Inference using Constraint Handling Rules. WFLP Sandra Alves, Mário Florido