Edelmira Pasarella
Orcid: 0000-0001-8315-4977
According to our database1,
Edelmira Pasarella
authored at least 17 papers
between 2000 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
2024
J. Log. Algebraic Methods Program., 2024
Proceedings of the Euro-Par 2024: Parallel Processing Workshops, 2024
Proceedings of the 16th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2024), 2024
A Stream Processing Based Algorithm for Maintaining Minimum Spanning Forests of Evolving Graphs.
Proceedings of the 16th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2024), 2024
2019
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019
2017
Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017
2016
Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016
2015
Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework.
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015
2014
An Operational Framework to Reason about Policies Behavior in Trust Management System.
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014
2012
J. Log. Algebraic Methods Program., 2012
2008
Appl. Categorical Struct., 2008
2005
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
2001
Proceedings of the Logic Programming, 17th International Conference, 2001
2000
Constructive negation without subsidiary trees.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000