Constructive negation without subsidiary trees. - Edelmira Pasarella; Elvira Pino; Fernando Orejas (WFLP, 2000)

Semantics of Normal Logic Programs with Embedded Implications. - Fernando Orejas; Edelmira Pasarella; Elvira Pino (ICLP, 2001)

A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. - Edelmira Pasarella; Fernando Orejas; Elvira Pino; Marisa Navarro (LOPSTR, 2005)

A Functorial Framework for Constraint Normal Logic Programming. - Paqui Lucio; Fernando Orejas; Edelmira Pasarella; Elvira Pino (Appl. Categorical Struct., 2008)

Semantics of structured normal logic programs. - Edelmira Pasarella; Fernando Orejas; Elvira Pino; Marisa Navarro (J. Log. Algebraic Methods Program., 2012)

An Operational Framework to Reason about Policies Behavior in Trust Management System. - Edelmira Pasarella; Jorge Lobo 001 (AMW, 2014)

Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework. - Edelmira Pasarella; Jorge Lobo 001 (CSF, 2015)

MapReduce vs. Pipelining Counting Triangles. - Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan (AMW, 2016)

Comparing MapReduce and Pipeline Implementations for Counting Triangles. - Edelmira Pasarella; Maria-Esther Vidal; Cristina Zoltan (PROLE, 2016)

A Datalog Framework for Modeling Relationship-based Access Control Policies. - Edelmira Pasarella; Jorge Lobo 001 (SACMAT, 2017)

Dynamic Pipelining of Multidimensional Range Queries. - Amalia Duch; Daniel Lugosi; Edelmira Pasarella; Cristina Zoltan (AMW, 2019)

A Stream Processing Based Algorithm for Maintaining Minimum Spanning Forests of Evolving Graphs. - Daniel Benedí; Amalia Duch; Edelmira Pasarella (AMW, 2024)

Continuous Query Engine to Detect Anomalous ATM Transactions. - Fernando Martín-Canfrán; Daniel Benedí; Amalia Duch; Edelmira Pasarella (AMW, 2024)

DP_Kruskal: A Concurrent Algorithm to Maintain Dynamically Minimum Spanning Trees. - Daniel Benedí; Amalia Duch; Edelmira Pasarella; Cristina Zoltan (Euro-Par Workshops (2), 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)

A logical approach to graph databases. - Elvira Pino; Fernando Orejas; Nikos Mylonakis; Edelmira Pasarella (J. Log. Algebraic Methods Program., 2024)

Properties for Paths in Graph Databases. - Fernando Orejas; Elvira Pino; Renzo Angles; Edelmira Pasarella; Nikos Milonakis (CoRR, 2025)