Edelmira Pasarella

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A logical approach to graph databases.

Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella

J. Log. Algebraic Methods Program., 2024

A computational framework based on the dynamic pipeline approach.

Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan, Juan Pablo Royo Sales

J. Log. Algebraic Methods Program., 2024

2019

Dynamic Pipelining of Multidimensional Range Queries.

Amalia Duch, Daniel Lugosi, Edelmira Pasarella, Cristina Zoltan

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.

Edelmira Pasarella, Jorge Lobo

Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, 2017

2016

Comparing MapReduce and Pipeline Implementations for Counting Triangles.

Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

MapReduce vs. Pipelining Counting Triangles.

Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan

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.

Edelmira Pasarella, Jorge Lobo

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

An Operational Framework to Reason about Policies Behavior in Trust Management System.

Edelmira Pasarella, Jorge Lobo

Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

2012

Semantics of structured normal logic programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

J. Log. Algebraic Methods Program., 2012

2008

A Functorial Framework for Constraint Normal Logic Programming.

Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino

Appl. Categorical Struct., 2008

2005

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.

Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro

Proceedings of the Logic Based Program Synthesis and Transformation, 2005

2001

Semantics of Normal Logic Programs with Embedded Implications.

Fernando Orejas, Edelmira Pasarella, Elvira Pino

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

Constructive negation without subsidiary trees.

Edelmira Pasarella, Elvira Pino, Fernando Orejas

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000