Edelmira Pasarella

19 papers A 1B 1C 2Journal 5Unranked 10

Year	Rank	Type	Title / 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