Sandra Alves
Orcid: 0000000188405587Affiliations:
 University of Porto, Portugal
According to our database^{1},
Sandra Alves
authored at least 42 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on scopus.com

on orcid.org

on dcc.fc.up.pt
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
2023
Proceedings of the Logic, Language, Information, and Computation, 2023
2022
ACM SIGLOG News, 2022
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022
Proceedings of the Theoretical Aspects of Computing  ICTAC 2022, 2022
Proceedings of the Theoretical Aspects of Computing  ICTAC 2022, 2022
2021
Math. Struct. Comput. Sci., 2021
A Graphical Framework for the CategoryBased Metamodel for Access Control and Obligations.
CoRR, 2021
CoRR, 2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
2020
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020
2019
Proceedings of the 25th International Conference on Types for Proofs and Programs, 2019
2018
Math. Struct. Comput. Sci., 2018
Log. J. IGPL, 2018
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
2017
Theor. Comput. Sci., 2017
Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017
Inhabitation machines: determinism and principality.
Proceedings of the Ninth Workshop on NonClassical Models of Automata and Applications, 2017
2016
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction.
ACM SIGLOG News, 2016
CoRR, 2016
2015
Inf. Process. Lett., 2015
Proceedings of the LogicBased Program Synthesis and Transformation, 2015
2014
J. Log. Comput., 2014
A Framework for the Analysis of Access Control Policies with Emergency Management.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014
Access Control and Obligations in the CategoryBased Metamodel: A RewriteBased Semantics.
Proceedings of the LogicBased Program Synthesis and Transformation, 2014
2011
Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
2010
Theor. Comput. Sci., 2010
High. Order Symb. Comput., 2010
CoRR, 2010
2007
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007
Proceedings of the Foundations of Software Science and Computational Structures, 2007
Proceedings of the Rewriting, 2007
2006
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
2005
Theor. Comput. Sci., 2005
2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001