Edelmira Pasarella

Orcid: 0000-0001-8315-4977

According to our database1, Edelmira Pasarella authored at least 13 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A logical approach to graph databases.
J. Log. Algebraic Methods Program., 2024

A computational framework based on the dynamic pipeline approach.
J. Log. Algebraic Methods Program., 2024

2019
Dynamic Pipelining of Multidimensional Range Queries.
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019

2017
A Datalog Framework for Modeling Relationship-based Access Control Policies.
Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

2016
Comparing MapReduce and Pipeline Implementations for Counting Triangles.
Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

MapReduce vs. Pipelining Counting Triangles.
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
Semantics of structured normal logic programs.
J. Log. Algebraic Methods Program., 2012

2008
A Functorial Framework for Constraint Normal Logic Programming.
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
Semantics of Normal Logic Programs with Embedded Implications.
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


  Loading...