Edelmira Pasarella

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 6

Top Topics

Computational Framework

Graph Databases

Delaunay Triangulation

Top Venues

J. Log. Algebraic Methods Program.

Publications

Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan, Juan Pablo Royo Sales
A computational framework based on the dynamic pipeline approach. J. Log. Algebraic Methods Program. 139 (2024)
Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella
A logical approach to graph databases. J. Log. Algebraic Methods Program. 141 (2024)
Amalia Duch, Daniel Lugosi, Edelmira Pasarella, Cristina Zoltan
Dynamic Pipelining of Multidimensional Range Queries. AMW (2019)
Edelmira Pasarella, Jorge Lobo
A Datalog Framework for Modeling Relationship-based Access Control Policies. SACMAT (2017)
Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan
MapReduce vs. Pipelining Counting Triangles. AMW (2016)
Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan
Comparing MapReduce and Pipeline Implementations for Counting Triangles. PROLE (2016)
Edelmira Pasarella, Jorge Lobo
Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework. CSF (2015)
Edelmira Pasarella, Jorge Lobo
An Operational Framework to Reason about Policies Behavior in Trust Management System. AMW (2014)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. 81 (5) (2012)
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
A Functorial Framework for Constraint Normal Logic Programming. Appl. Categorical Struct. 16 (3) (2008)
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen (2006)
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR (2005)
Fernando Orejas, Edelmira Pasarella, Elvira Pino
Semantics of Normal Logic Programs with Embedded Implications. ICLP (2001)
Fernando Orejas, Edelmira Pasarella, Elvira Pino
Semantics of normal logic programs with embedded implications. APPIA-GULP-PRODE (2001)
Edelmira Pasarella, Elvira Pino, Fernando Orejas
Constructive negation without subsidiary trees. WFLP (2000)