Sfoglia per Autore
Querying knowledge graphs with extended property paths
2019-01-01 Fionda, V.; Pirro, G.; Consens, M. P.
Maximizing the spread of an opinion when tertium datur est
2019-01-01 Auletta, V.; Ferraioli, D.; Fionda, V.; Greco, Gianluigi
Control-Flow Business Process Summarization via Activity Contraction
2019-01-01 Fionda, V.; Greco, Gianluigi
Control-Flow Modeling with DECLARE: Behavioral Properties, Computational Complexity, and Tools
2020-01-01 Fionda, Valeria; Guzzo, Antonella
Opinion Diffusion in Competitive Environments: Relating Coverage and Speed of Diffusion
2020-01-01 Fionda, V.; Greco, Gianluigi
Learning triple embeddings from knowledge graphs
2020-01-01 Fionda, V.; Pirro, G.
Community deception in weighted networks
2021-01-01 Fionda, V.; Pirro, G.
Community Deception in Attributed Networks
2022-01-01 Fionda, V.; Pirro, G.
Community Deception in Networks: Where We Are and Where We Should Go
2022-01-01 Fionda, V.; Pirro, G.
Reasoning about Smart Contracts via LTL Encoding
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
From Node Embeddings to Triple Embeddings
2022-01-01 Fionda, Valeria; Pirro', Giuseppe
LTL on Weighted Finite Traces: Formal Foundations and Algorithms
2022-01-01 Dodaro, C.; Fionda, V.; Greco, G.
Community deception: from undirected to directed networks
2022-01-01 Fionda, V.; Madi, S. A.; Pirro, G.
Reasoning About Smart Contracts Encoded in LTL
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
Logic-based Composition of Business Process Models
2023-01-01 Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile