12 citations · 25 across the 7 of their papers we have counts for
7 papers
Modelling Legislative Systems into Property Graphs to Enable Advanced Pattern Detection
Andrea Colombo, Anna Bernasconi, Stefano Ceri
Legislative systems face growing complexity due to the ever-increasing number of laws and intricate interdependencies between them. Traditional methods of storing and analyzing leg…
MINE GRAPH RULE: A New Cypher-like Operator for Mining Association Rules on Property Graphs
Francesco Cambria, Francesco Invernici, Anna Bernasconi +1
Mining information from graph databases is becoming overly important. To approach this problem, current methods focus on identifying subgraphs with specific topologies; as of today…
Exploring the evolution of research topics during the COVID-19 pandemic
Francesco Invernici, Anna Bernasconi, Stefano Ceri
The COVID-19 pandemic has changed the research agendas of most scientific communities, resulting in an overwhelming production of research articles in a variety of domains, includi…
Searching COVID-19 Clinical Research Using Graph Queries: Algorithm Development and Validation
Francesco Invernici, Anna Bernasconi, Stefano Ceri
Objective: This study aims to consider small graphs of concepts and exploit them for expressing graph searches over existing COVID-19-related literature, leveraging the increasing…
PG-Triggers: Triggers for Property Graphs
Stefano Ceri, Anna Bernasconi, Alessia Gagliardi +3
Graph databases are emerging as the leading data management technology for storing large knowledge graphs; significant efforts are ongoing to produce new standards (such as the Gra…
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
System development is not a linear, one-shot process. It proceeds through refinements and revisions. To support assurance that the system satisfies its requirements, it is desirabl…
From model checking to a temporal proof for partial models: preliminary example
A. Bernasconi, C. Menghi, P. Spoletini +2
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed fo…