Bisimulations on Data Graphs
Autores: Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
Journal of Artificial Intelligence Research
2018
Citas: 16
Citas por Año
Citas Importadas de Google Scholar
| # | Título del Artículo | Año | Fuente / Journal | Autores |
|---|---|---|---|---|
| 1 | Bisimulations on Data Graphs | 2018 | - | Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira |
| 2 | Deadline-Aware Cost Optimization for Spark | 2019 | - | Subhajit Sidhanta, Wojciech Golab, Supratik Mukhopadhyay |
| 3 | Querying Graph Databases: What Do Graph Patterns Mean? | 2017 | - | Stephan Mennicke, Jan-Christoph Kalo, Wolf‐Tilo Balke |
| 4 | Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems | 2021 | - | Bogdan Aman, Gabriel Ciobanu |
| 5 | Video Indexing Using Face Appearance and Shot Transition Detection | 2019 | - | Dario Cazzato, Marco Leo, Pierluigi Carcagnì, Cosimo Distante, Javier Lorenzo-Navarro, Holger Voos |
| 6 | Modal logic with relations over paths: A theoretical development through comonadic semantics | 2025 | - | Santiago Figueira, Gabriel Goren-Roig |
| 7 | Axiomatizing Hybrid XPath with Data | 2021 | - | Carlos Areces, Raul Fervari |
| 8 | Data Graphs with Incomplete Information (and a Way to Complete Them) | 2023 | - | Carlos Areces, Valentín Cassano, Danae Dutto, Raul Fervari |
| 9 | Mobility-aware Latency-constrained Data Placement in SDN-enabled Edge Networks | 2023 | - | Diego O. Rodrigues, Torsten Braun, Guilherme Maia, Leandro A. Villas |
| 10 | Axiomatizations for downward XPath on data trees | 2017 | - | Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira |
| 11 | Compositional equivalences based on open pNets | 2022 | - | Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine |
| 12 | Compositional Equivalences Based on Open Pnets | 2022 | - | Ludovic Henrio, Rabéa Ameur-Boulifa, Eric Madelaine |
| 13 | Semantic Data Structures for Knowledge Generation in Open World Information System | 2020 | - | Marcelo Tibau, Sean Wolfgand Matsui Siqueira, Bernardo Pereira Nunes |
| 14 | A Roadmap Towards Dynamic Conflict Management for Autonomous Traffic Agents⋆ | 2025 | - | Maike Schwammberger |
| 15 | Sequent Calculi for Data-Aware Modal Logics | 2025 | - | Carlos Areces, Valentín Cassano, Danae Dutto, Raul Fervari |
| 16 | Basic Model Theory for Path Predicate Modal Logic | 2026 | - | Raul Fervari, Santiago Figueira, Gabriel Goren-Roig, Leonardo Torres |
El PDF fue subido pero no se pudieron extraer referencias ni figuras del documento.