Edelmira Pasarella

19 papers A 1B 1C 2Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Properties for Paths in Graph Databases.
CoRR
Fernando Orejas, Elvira Pino, Renzo Angles, Edelmira Pasarella, Nikos Milonakis
2024 — conf
A Stream Processing Based Algorithm for Maintaining Minimum Spanning Forests of Evolving Graphs.
AMW
Daniel Benedí, Amalia Duch, Edelmira Pasarella
2024 J jnl
A computational framework based on the dynamic pipeline approach.
J. Log. Algebraic Methods Program.
Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan, Juan Pablo Royo Sales
2024 J jnl
A logical approach to graph databases.
J. Log. Algebraic Methods Program.
Elvira Pino, Fernando Orejas, Nikos Mylonakis, Edelmira Pasarella
2024 — conf
Continuous Query Engine to Detect Anomalous ATM Transactions.
AMW
Fernando Martín-Canfrán, Daniel Benedí, Amalia Duch, Edelmira Pasarella
2024 — conf
DP_Kruskal: A Concurrent Algorithm to Maintain Dynamically Minimum Spanning Trees.
Euro-Par Workshops (2)
Daniel Benedí, Amalia Duch, Edelmira Pasarella, Cristina Zoltan
2019 — conf
Dynamic Pipelining of Multidimensional Range Queries.
AMW
Amalia Duch, Daniel Lugosi, Edelmira Pasarella, Cristina Zoltan
2017 C conf
A Datalog Framework for Modeling Relationship-based Access Control Policies.
SACMAT
Edelmira Pasarella, Jorge Lobo
2016 — conf
Comparing MapReduce and Pipeline Implementations for Counting Triangles.
PROLE
Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan
2016 — conf
MapReduce vs. Pipelining Counting Triangles.
AMW
Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan
2015 A conf
Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework.
CSF
Edelmira Pasarella, Jorge Lobo
2014 — conf
An Operational Framework to Reason about Policies Behavior in Trust Management System.
AMW
Edelmira Pasarella, Jorge Lobo
2012 J jnl
Semantics of structured normal logic programs.
J. Log. Algebraic Methods Program.
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
2008 J jnl
A Functorial Framework for Constraint Normal Logic Programming.
Appl. Categorical Struct.
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
2006 — conf
A Functorial Framework for Constraint Normal Logic Programming.
Essays Dedicated to Joseph A. Goguen
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
2005 C conf
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs.
LOPSTR
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro
2001 B conf
Semantics of Normal Logic Programs with Embedded Implications.
ICLP
Fernando Orejas, Edelmira Pasarella, Elvira Pino
2001 — conf
Semantics of normal logic programs with embedded implications.
APPIA-GULP-PRODE
Fernando Orejas, Edelmira Pasarella, Elvira Pino
2000 — conf
Constructive negation without subsidiary trees.
WFLP
Edelmira Pasarella, Elvira Pino, Fernando Orejas