Sfoglia per Autore
Logic-based Composition of Business Process Models
2023-01-01 Fionda, Valeria; Ielo, Antonio; Ricca, Francesco
Community Deception in Attributed Networks
2022-01-01 Fionda, V.; Pirro, G.
LTL on Weighted Finite Traces: Formal Foundations and Algorithms
2022-01-01 Dodaro, C.; Fionda, V.; Greco, G.
Community Deception in Networks: Where We Are and Where We Should Go
2022-01-01 Fionda, V.; Pirro, G.
Community deception: from undirected to directed networks
2022-01-01 Fionda, V.; Madi, S. A.; Pirro, G.
Reasoning about Smart Contracts via LTL Encoding
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
Reasoning About Smart Contracts Encoded in LTL
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
From Node Embeddings to Triple Embeddings
2022-01-01 Fionda, Valeria; Pirro', Giuseppe
Community deception in weighted networks
2021-01-01 Fionda, V.; Pirro, G.
Learning triple embeddings from knowledge graphs
2020-01-01 Fionda, V.; Pirro, G.
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
Querying knowledge graphs with extended property paths
2019-01-01 Fionda, V.; Pirro, G.; Consens, M. P.
Control-Flow Business Process Summarization via Activity Contraction
2019-01-01 Fionda, V.; Greco, Gianluigi
Maximizing the spread of an opinion when tertium datur est
2019-01-01 Auletta, V.; Ferraioli, D.; Fionda, V.; Greco, Gianluigi
LTL on finite and process traces: Complexity results and a practical reasoner
2018-01-01 Fionda, Valeria; Greco, Gianluigi
Community Deception or: How to Stop Fearing Community Detection Algorithms
2018-01-01 Fionda, Valeria; Pirro', Giuseppe
Fact checking via evidence patterns
2018-01-01 Fionda, V.; Pirro, G.
Community Deception or: How to Stop Fearing Community Detection Algorithms
2018-01-01 Fionda, Valeria; Pirro', Giuseppe
Building Knowledge Maps of Web Graphs.
2018-01-01 Fionda, Valeria; Pirro', Giuseppe; Gutierrez, Claudio
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