https://www.bankit.art/opens/abcredit0.3https://www.bankit.art/opens/beforeit0.3https://www.bankit.art/opens/bitcoin-transient-data0.3https://www.bankit.art/opens/black-it0.3https://www.bankit.art/opens/github-secp256k1-frost0.3https://www.bankit.art/opens/itcoin-core0.3https://www.bankit.art/opens/itcoin-fbft0.3https://www.bankit.art/opens/itcoin-pcn-simulator0.3https://www.bankit.art/opens/maxSAT-benchmarks0.3https://www.bankit.art/pages/copyright2017-07-310.3https://www.bankit.art/pages/disclaimer2021-11-170.3https://www.bankit.art/pages/internship-2019-01-chatbot2019-06-240.3https://www.bankit.art/pages/internship-2019-02-dynamic-systems2019-06-240.3https://www.bankit.art/pages/internship-2019-03-automated-reasoning2018-06-270.3https://www.bankit.art/pages/internship-2019-04-machine-learning2018-06-270.3https://www.bankit.art/pages/internship-2019-05-web-scraping2018-06-270.3https://www.bankit.art/pages/internship-2020-01-chatbot-for-enterprise-services2020-07-060.3https://www.bankit.art/pages/internship-2020-02-automated-reasoning-and-knowledge-graphs2020-07-060.3https://www.bankit.art/pages/internship-2020-03-privacy-preserving-enterprise-applications2020-07-060.3https://www.bankit.art/pages/privacy2019-11-050.3https://www.bankit.art/join/adriano-meligrana2026-01-160.3https://www.bankit.art/join/adriano-vlad-phd2020-01-080.3https://www.bankit.art/join/adriano-vlad2020-01-08monthly0.3https://www.bankit.art/join/ahmed-majdoub2022-08-18monthly0.3https://www.bankit.art/people/aldo-glielmo2021-09-290.3https://www.bankit.art/join/alessandra-castronovo2020-01-08monthly0.3https://www.bankit.art/join/alessandro-canali2020-01-08monthly0.3https://www.bankit.art/people/alessandro-maggi2020-04-040.3https://www.bankit.art/join/alessandro-pesare-phd2025-03-170.3https://www.bankit.art/join/alessandro-pesare-specialistica2024-04-10monthly0.3https://www.bankit.art/join/alessandro-pesare-triennale2022-03-04monthly0.3https://www.bankit.art/people/andrea-coletta2023-12-050.3https://www.bankit.art/join/andrea-colombo2023-07-13monthly0.3https://www.bankit.art/people/andrea-gentili2020-04-040.3https://www.bankit.art/join/andrea-giaccone2020-10-30monthly0.3https://www.bankit.art/join/andrea-leonetti2020-10-29monthly0.3https://www.bankit.art/join/andrea-mandolesi2017-07-31monthly0.3https://www.bankit.art/join/anna-cavaliere2020-01-08monthly0.3https://www.bankit.art/people/anna-russo-russo2024-10-220.3https://www.bankit.art/join/annalisa-cimatti2024-10-30monthly0.3https://www.bankit.art/join/antonio-desiderio2020-01-08monthly0.3https://www.bankit.art/people/antonio-muci2020-04-040.3https://www.bankit.art/join/beatrice-laracca2020-10-29monthly0.3https://www.bankit.art/join/carlo-di-raddo2020-10-30monthly0.3https://www.bankit.art/people/carolina-camassa2023-09-050.3https://www.bankit.art/join/charles-camboulin2024-04-08monthly0.3https://www.bankit.art/join/chiara-lecchini2025-03-31monthly0.3https://www.bankit.art/people/claudia-biancotti2023-12-040.3https://www.bankit.art/join/claudia-brandetti2026-03-25monthly0.3https://www.bankit.art/people/costanza-catalano2024-07-190.3https://www.bankit.art/join/cristiano-salvagnin2026-01-22monthly0.3https://www.bankit.art/join/daniele-fakhoury2020-01-08monthly0.3https://www.bankit.art/join/daniele-pica2021-12-21monthly0.3https://www.bankit.art/join/davide-aureli2020-01-08monthly0.3https://www.bankit.art/join/davide-balice2022-10-03monthly0.3https://www.bankit.art/join/davide-benedetto-specialistica2020-01-08monthly0.3https://www.bankit.art/join/davide-benedetto2023-07-13monthly0.3https://www.bankit.art/join/davide-magnanimi-phd2020-04-04monthly0.3https://www.bankit.art/people/davide-magnanimi2025-09-240.3https://www.bankit.art/join/debmallya-chanda2023-11-08monthly0.3https://www.bankit.art/join/elisa-catena-specialistica2024-04-10monthly0.3https://www.bankit.art/join/elisa-catena-triennale2022-03-09monthly0.3https://www.bankit.art/join/fabio-letizia-specialistica2024-04-10monthly0.3https://www.bankit.art/join/fabio-letizia-triennale2022-03-22monthly0.3https://www.bankit.art/join/fabrizio-orsini2023-10-12monthly0.3https://www.bankit.art/join/federica-sibille2024-10-22monthly0.3https://www.bankit.art/join/federico-calandra2026-02-16monthly0.3https://www.bankit.art/join/federico-gabriele2025-03-31monthly0.3https://www.bankit.art/join/filippo-vannutelli2022-03-04monthly0.3https://www.bankit.art/join/francesco-de-sclavis-internship2020-01-08monthly0.3https://www.bankit.art/people/francesco-de-sclavis2020-07-070.3https://www.bankit.art/join/francesco-fantini2020-01-08monthly0.3https://www.bankit.art/join/francesco-wood2017-08-31monthly0.3https://www.bankit.art/join/fulvio-d-atri2025-09-01monthly0.3https://www.bankit.art/join/giorgio-bertone2023-10-16monthly0.3https://www.bankit.art/join/giulia-fabriani2020-01-08monthly0.3https://www.bankit.art/join/giulia-iadisernia-internship2025-03-31monthly0.3https://www.bankit.art/join/giulia-iadisernia-specialistica2024-03-11monthly0.3https://www.bankit.art/join/giulia-iadisernia-triennale2022-08-18monthly0.3https://www.bankit.art/join/giuseppe-galano-phd2020-07-070.3https://www.bankit.art/people/giuseppe-galano2020-04-040.3https://www.bankit.art/join/ilaria-stocchi2021-10-26monthly0.3https://www.bankit.art/join/irene-di-muzio2023-10-16monthly0.3https://www.bankit.art/join/livia-blasi-phd2020-07-070.3https://www.bankit.art/people/livia-blasi2020-07-070.3https://www.bankit.art/join/lorenzo-donati2020-10-30monthly0.3https://www.bankit.art/people/luigi-bellomarini2020-04-040.3https://www.bankit.art/people/marco-benedetti2023-12-040.3https://www.bankit.art/people/marco-favorito2021-09-070.3https://www.bankit.art/people/marco-mastrogirolamo2021-09-290.3https://www.bankit.art/people/marco-mori2020-04-040.3https://www.bankit.art/join/maria-sofia-bucarelli2020-01-08monthly0.3https://www.bankit.art/join/marianna-iaia2024-04-22monthly0.3https://www.bankit.art/people/marta-bernardini2021-09-290.3https://www.bankit.art/join/martina-buldo2020-01-08monthly0.3https://www.bankit.art/join/martina-de-maio2024-05-06monthly0.3https://www.bankit.art/join/matteo-brandetti-phd2021-11-040.3https://www.bankit.art/join/matteo-brandetti-specialistica2020-10-30monthly0.3https://www.bankit.art/join/matteo-brandetti-triennale2020-01-08monthly0.3https://www.bankit.art/people/matteo-brandetti2020-04-040.3https://www.bankit.art/people/matteo-nardelli2021-11-090.3https://www.bankit.art/join/matteo-pisani2022-03-22monthly0.3https://www.bankit.art/join/matteo-tusoni2025-03-31monthly0.3https://www.bankit.art/join/matteo-wissel2021-12-21monthly0.3https://www.bankit.art/join/mattia-scaccia2020-10-30monthly0.3https://www.bankit.art/people/michela-iezzi2020-04-040.3https://www.bankit.art/join/michela-santangelo2020-01-08monthly0.3https://www.bankit.art/join/michele-colombi2026-01-160.3https://www.bankit.art/join/miriam-younes2023-08-25monthly0.3https://www.bankit.art/join/nicole-roselli2020-01-08monthly0.3https://www.bankit.art/people/oliver-giudice2020-04-040.3https://www.bankit.art/join/riccardo-felici2022-09-21monthly0.3https://www.bankit.art/join/roberto-sannino2020-01-08monthly0.3https://www.bankit.art/people/rosario-laurendi2020-04-040.3https://www.bankit.art/join/sara-cellitti2020-01-08monthly0.3https://www.bankit.art/people/sara-corbo2020-04-040.3https://www.bankit.art/people/sara-giammusso2021-10-260.3https://www.bankit.art/join/simone-brusatin2023-10-16monthly0.3https://www.bankit.art/join/simone-fioravanti2020-01-08monthly0.3https://www.bankit.art/join/stefano-sferrazza2020-10-30monthly0.3https://www.bankit.art/join/teodoro-baldazzi-phd2022-03-15monthly0.3https://www.bankit.art/join/teodoro-baldazzi-triennale2020-01-08monthly0.3https://www.bankit.art/join/teodoro-baldazzi2022-03-15monthly0.3https://www.bankit.art/join/tiziano-bacaloni2025-03-31monthly0.3https://www.bankit.art/join/valeria-insogna2023-10-12monthly0.3https://www.bankit.art/join/valerio-colitta2020-01-08monthly0.3https://www.bankit.art/projects/a-bill-of-ideas2024-07-10monthly0.3https://www.bankit.art/projects/a-clickable-schema-for-graph-shaped-knowledge2024-07-11monthly0.3https://www.bankit.art/projects/a-technology-made-of-paper2021-10-29monthly0.3https://www.bankit.art/projects/ai-driven-economic-simulations2024-11-070.3https://www.bankit.art/projects/ai-supported-security-via-riot2017-07-310.3https://www.bankit.art/projects/aida-a-chatbot-for-the-smart-working-era2021-03-03monthly0.3https://www.bankit.art/projects/aligning-llms-in-the-financial-sector2024-07-180.3https://www.bankit.art/projects/amuse-the-augmented-museum-experience2021-10-29monthly0.3https://www.bankit.art/projects/an-abm-of-the-italian-real-estate-market2021-01-16monthly0.3https://www.bankit.art/projects/art-website2021-11-19monthly0.3https://www.bankit.art/projects/assessing-the-safety-of-financial-smart-contracts2025-09-230.3https://www.bankit.art/projects/auto-classification-of-legal-document2021-10-29monthly0.3https://www.bankit.art/projects/automatic-categorization-of-companies2020-02-28monthly0.3https://www.bankit.art/projects/benchmarking-ai-approaches-to-natural-language2022-12-29monthly0.3https://www.bankit.art/projects/blind-design-of-supervised-classifiers2021-10-290.3https://www.bankit.art/projects/btc-datalake-persistent-ephemeral-blockchain-data2019-12-03monthly0.3https://www.bankit.art/projects/company-takeovers-and-the-golden-power2021-02-12monthly0.3https://www.bankit.art/projects/comparing-reasoning-systems2023-04-29monthly0.3https://www.bankit.art/projects/constrained-generation-for-llm-factuality2025-09-250.3https://www.bankit.art/projects/cracking-natural-language-reports2022-02-01monthly0.3https://www.bankit.art/projects/cryptographic-primitives-for-the-financial-domain2025-09-230.3https://www.bankit.art/projects/elements-of-novelty-and-properties-of-a-blockchain2021-10-29monthly0.3https://www.bankit.art/projects/enterprise-architecture-complexity2021-10-29monthly0.3https://www.bankit.art/projects/enterprise-report-analysis2025-09-250.3https://www.bankit.art/projects/fact-checking-financial-claims2024-07-230.3https://www.bankit.art/projects/fees-the-bitcoin-way2021-10-29monthly0.3https://www.bankit.art/projects/fighting-deepfake-media2024-07-190.3https://www.bankit.art/projects/generative-ai-for-knowledge-intensive-applications2024-07-11monthly0.3https://www.bankit.art/projects/graph-processing-and-visualisation2020-09-19monthly0.3https://www.bankit.art/projects/grappling-with-ultra-large-datasets2024-07-120.3https://www.bankit.art/projects/how-abms-think-cbdcs-will-play-out2024-07-190.3https://www.bankit.art/projects/hybrid-enterprise-language-models2024-07-230.3https://www.bankit.art/projects/immersive-financial-education2021-10-29monthly0.3https://www.bankit.art/projects/implanting-large-scale-abms2020-03-23monthly0.3https://www.bankit.art/projects/info-graphics-enhanced-public-hearings2021-10-29monthly0.3https://www.bankit.art/projects/interpretable-machine-learning-for-economics2024-03-070.3https://www.bankit.art/projects/italian-companies-as-a-knowledge-graph2024-07-11monthly0.3https://www.bankit.art/projects/itcoin-a-digital-currency-prototype2024-01-210.3https://www.bankit.art/projects/kg-aided-banking-supervision2022-03-260.3https://www.bankit.art/projects/lightning-network-and-payment-channels2021-10-29monthly0.3https://www.bankit.art/projects/llms-for-institutional-writing2024-07-19monthly0.3https://www.bankit.art/projects/modeling-disease-outbreaks2021-10-13monthly0.3https://www.bankit.art/projects/modeling-knowledge-graphs2022-03-30monthly0.3https://www.bankit.art/projects/modeling-uncertainty-in-how-close-companies-are2022-03-25monthly0.3https://www.bankit.art/projects/on-the-combined-feasibility-of-cbdc-schemes2022-04-12monthly0.3https://www.bankit.art/projects/open-source-economic-simulation-software2024-11-070.3https://www.bankit.art/projects/open-sourcing-an-abm-oriented-calibration-engine2022-11-07monthly0.3https://www.bankit.art/projects/p-complete-problems-in-monetary-policy2021-10-29monthly0.3https://www.bankit.art/projects/parallelized-big-graph-analytics2021-10-29monthly0.3https://www.bankit.art/projects/payment-channel-to-support-real-world-transactions2024-07-300.3https://www.bankit.art/projects/preserving-privacy-with-smart-anonymizers2021-10-29monthly0.3https://www.bankit.art/projects/privacy-enhancing-technologies-for-payment-systems2025-09-230.3https://www.bankit.art/projects/privacy-preserving-computation-techniques2024-07-18monthly0.3https://www.bankit.art/projects/privacy-preserving-knowledge-graphs2025-09-240.3https://www.bankit.art/projects/probing-relationships-among-financial-entities2021-10-29monthly0.3https://www.bankit.art/projects/reactive-ai-reasoning-incrementally-on-streams-of-data2024-07-230.3https://www.bankit.art/projects/spicing-dvp-up-with-some-crypto-ingredients2021-07-05monthly0.3https://www.bankit.art/projects/surfing-the-lightning-network2019-06-12monthly0.3https://www.bankit.art/projects/synthetic-knowledge-graphs2024-07-230.3https://www.bankit.art/projects/temporal-logics-within-financial-settings2024-07-230.3https://www.bankit.art/projects/the-blind-learning-environment-aka-ble2022-07-18monthly0.3https://www.bankit.art/projects/the-blind-statistical-environment-aka-bse2022-01-15monthly0.3https://www.bankit.art/projects/the-evolving-path-of-privacy2022-04-16monthly0.3https://www.bankit.art/projects/tierv2021-10-29monthly0.3https://www.bankit.art/projects/understanding-the-blockchain-and-bitcoin2022-10-03monthly0.3https://www.bankit.art/projects/unraveling-latent-financial-links2022-03-19monthly0.3https://www.bankit.art/projects/vadacode-a-logician-friendly-ide-for-datalog-pm2025-09-230.3https://www.bankit.art/projects/vadalog-financial-playground2021-10-29monthly0.3https://www.bankit.art/projects/vadaservice2024-07-190.3https://www.bankit.art/projects/virex-btc2022-04-02monthly0.3https://www.bankit.art/projects/virtual-knowledge-graphs2024-07-15monthly0.3https://www.bankit.art/projects/website-automatic-investigator2025-09-250.3https://www.bankit.art/projects/what-fintech-is-about2022-01-29monthly0.3https://www.bankit.art/publications/a-bayesian-inference-framework-for-compression-and-prediction-of-quantum-states0.3https://www.bankit.art/publications/a-classification-engine-for-image-ballistics-of-social-data0.3https://www.bankit.art/publications/a-classification-engine-for-image-ballistics-of-social-data-iciap0.3https://www.bankit.art/publications/a-contextual-reading-of-conditional-commitments0.3https://www.bankit.art/publications/a-data-streaming-approach-to-link-mining-in-criminal-networks0.3https://www.bankit.art/publications/a-digital-euro-a-contribution-to-the-discussion-on-technical-design-choices0.3https://www.bankit.art/publications/a-fast-palette-reordering-technique-based-on-gpu-optimized-genetic-algorithms0.3https://www.bankit.art/publications/a-framework-for-data-stream-applications-in-a-distributed-cloud0.3https://www.bankit.art/publications/a-hitchhiker-guide-to-privacy-preserving-cryptocurrencies0.3https://www.bankit.art/publications/a-hitchhiker-s-guide-to-privacy-preserving-digital-payment-systems0.3https://www.bankit.art/publications/a-holistic-viewpoint-based-sysml-profile-to-design-systems-of-systems0.3https://www.bankit.art/publications/a-language-based-approach-to-modelling-and-analysis-of-twitter-interactions0.3https://www.bankit.art/publications/a-logic-language-with-stable-model-semantics-for-social-reasoning0.3https://www.bankit.art/publications/a-multi-level-elasticity-framework-for-distributed-data-stream-processing0.3https://www.bankit.art/publications/a-multi-trip-task-assignment-for-early-target-inspection-in-squads-of-aerial-drones0.3https://www.bankit.art/publications/a-performance-driven-qbf-based-iterative-logic-array-representation-with-applications-to-verification-debug-and-test0.3https://www.bankit.art/publications/a-platform-for-analyzing-payment-channel-networks-in-supporting-real-world-payment-patterns0.3https://www.bankit.art/publications/a-platform-for-model-independent-solutions-to-model-management-problems0.3https://www.bankit.art/publications/a-polarization-of-inequality-the-distribution-of-national-gini-coefficients-1970-19960.3https://www.bankit.art/publications/a-pow-less-bitcoin-with-certified-byzantine-consensus0.3https://www.bankit.art/publications/a-practical-framework-for-general-dialogue-based-bilateral-interactions0.3https://www.bankit.art/publications/a-robust-document-identification-framework-through-f-bp-fingerprint0.3https://www.bankit.art/publications/a-runtime-approach-to-model-generic-translation-of-schema-and-data0.3https://www.bankit.art/publications/a-runtime-approach-to-model-independent-schema-and-data-translation-edbt0.3https://www.bankit.art/publications/a-runtime-approach-to-model-independent-schema-and-data-translation-sebd0.3https://www.bankit.art/publications/a-short-introduction-to-itcoin-and-the-flat-integration-model0.3https://www.bankit.art/publications/a-software-lifecycle-process-for-context-aware-adaptive-systems0.3https://www.bankit.art/publications/a-software-lifecycle-process-to-support-consistent-evolutions0.3https://www.bankit.art/publications/a-stability-aware-approach-to-continuous-self-adaptation-of-data-intensive-systems0.3https://www.bankit.art/publications/a-tool-for-evolutionary-threat-analysis-of-smart-grids0.3https://www.bankit.art/publications/a-uav:-application-aware-content-and-network-optimization-of-edge-assisted-uav-systems0.3https://www.bankit.art/publications/a-vision-for-evolving-secret-sharing-in-regulation-aware-private-payments0.3https://www.bankit.art/publications/abstract-branching-for-quantified-formulas0.3https://www.bankit.art/publications/accurate-interatomic-force-fields-via-machine-learning-with-covariant-kernels0.3https://www.bankit.art/publications/agent-based-modeling-at-central-banks-recent-developments-and-new-challenges0.3https://www.bankit.art/publications/aida-a-tool-for-resiliency-in-smart-manufacturing0.3https://www.bankit.art/publications/aligning-bags-of-shape-contexts-for-blurred-shape-model-based-symbol-classification0.3https://www.bankit.art/publications/aligning-shapes-for-symbol-classification-and-retrieval0.3https://www.bankit.art/publications/amadeos-framework-and-supporting-tools0.3https://www.bankit.art/publications/amadeos-sysml-profile-for-sos-conceptual-modeling0.3https://www.bankit.art/publications/an-analysis-of-pervasive-payment-channel-networks-for-central-bank-digital-currencies0.3https://www.bankit.art/publications/an-overview-of-vadalog-a-system-for-reasoning-over-large-knowledge-graphs0.3https://www.bankit.art/publications/applicazioni-di-intelligenza-artificiale-l-esperienza-banca-d-Italia0.3https://www.bankit.art/publications/assessing-forensic-ballistics-three-dimensionally-through-graphical-reconstruction-and-immersive-vr-observation0.3https://www.bankit.art/publications/assessing-inference-to-the-best-explanation-posteriors-for-the-estimation-of-economic-agent-based-models0.3https://www.bankit.art/publications/auto-scaling-in-data-stream-processing-applications0.3https://www.bankit.art/publications/autonomous-economic-agent-framework0.3https://www.bankit.art/publications/autonomous-economic-agents-as-a-second-layer-technology-for-blockchains-framework-introduction-and-use-case-demonstration0.3https://www.bankit.art/publications/balancing-confidentiality-and-auditability-in-a-distributed-ledger-environment0.3https://www.bankit.art/publications/beyond-routing-via-network-coding-an-overview-of-fundamental-information-theoretic-results0.3https://www.bankit.art/publications/bitml2mcmas-strategic-reasoning-for-bitcoin-smart-contracts0.3https://www.bankit.art/publications/black-it-a-ready-to-use-and-easy-to-extend-calibration-kit-for-agent-based-models0.3https://www.bankit.art/publications/blockchains-as-knowledge-graphs-blockchains-for-knowledge-graphs0.3https://www.bankit.art/publications/bounded-model-checking-for-past-ltl0.3https://www.bankit.art/publications/building-machine-learning-force-fields-for-nanoclusters0.3https://www.bankit.art/publications/building-nonparametric-n-body-force-fields-using-gaussian-process-regression0.3https://www.bankit.art/publications/byzantine-fault-tolerant-consensus-with-confidential-quorum-certificate-for-a-central-bank-dlt0.3https://www.bankit.art/publications/can-we-obtain-the-coefficient-of-restitution-from-the-sound-of-a-bouncing-ball0.3https://www.bankit.art/publications/case-study-definition-and-implementation0.3https://www.bankit.art/publications/certified-byzantine-consensus-with-confidential-quorum-for-a-bitcoin-derived-permissioned-dlt0.3https://www.bankit.art/publications/chase-anonymisation--privacy-preserving-knowledge-graphs-with-logical-reasoning0.3https://www.bankit.art/publications/chat-bankman-fried-an-exploration-of-llm-alignment-in-finance0.3https://www.bankit.art/publications/clock-specifications-for-temporal-tasks-in-planning-and-learning0.3https://www.bankit.art/publications/closed-form-error-probability-of-network-coded-cooperative-wireless-networks-with-channel-aware-detectors0.3https://www.bankit.art/publications/cnn-based-first-quantization-estimation-of-double-compressed-jpeg-images0.3https://www.bankit.art/publications/compact-atomic-descriptors-enable-accurate-predictions-via-linear-models0.3https://www.bankit.art/publications/composition-of-nondeterministic-services-for-ltlf-task-specification0.3https://www.bankit.art/publications/composition-of-stochastic-services-for-ltlf-goal-specifications0.3https://www.bankit.art/publications/compositional-approach-to-translate-ltlf-ldlf-into-deterministic-finite-automata0.3https://www.bankit.art/publications/compute-continuum-what-lies-ahead0.3https://www.bankit.art/publications/conditional-generators-for-limit-order-book-environments:-explainability,-challenges,-and-robustness0.3https://www.bankit.art/publications/conditional-pure-literal-graphs0.3https://www.bankit.art/publications/confidential-knowledge-graphs-through-synthetic-augmentation0.3https://www.bankit.art/publications/covid-19-and-company-knowledge-graphs-assessing-golden-powers-and-economic-impact-of-selective-lockdown-via-ai-reasoning0.3https://www.bankit.art/publications/ranking-the-information-content-of-distance-measures0.3https://www.bankit.art/publications/danger-a-drones-aided-network-for-guiding-emergency-and-rescue-operations0.3https://www.bankit.art/publications/data-integration-with-many-heterogeneous-sources-and-dynamic-target-schemas-extended-abstract0.3https://www.bankit.art/publications/data-science-with-vadalog-bridging-machine-learning-and-reasoning-medi0.3https://www.bankit.art/publications/data-science-with-vadalog-bridging-machine-learning-and-reasoning0.3https://www.bankit.art/publications/data-sharing-mandates-an-antidote-to-digital-oligopolies0.3https://www.bankit.art/publications/datalog-based-reasoning-for-banking-supervision-is-this-all-a-fantasy0.3https://www.bankit.art/publications/datalog-based-reasoning-for-knowledge-graphs0.3https://www.bankit.art/publications/datalog-based-reasoning-with-heuristics-over-knowledge-graphs0.3https://www.bankit.art/publications/decentralized-self-adaptation-for-elastic-data-stream-processing0.3https://www.bankit.art/publications/deepfake-styletransfer-mixture0.3https://www.bankit.art/publications/density-estimation-via-binless-multidimensional-integration0.3https://www.bankit.art/publications/digital-twins-composition-in-smart-manufacturing-via-markov-decision-processes0.3https://www.bankit.art/publications/digital-twins-composition-via-markov-decision-processes0.3https://www.bankit.art/publications/distributed-qos-aware-scheduling-in-storm0.3https://www.bankit.art/publications/diversity-and-coding-gain-of-multi-source-multi-relay-cooperative-wireless-networks-with-binary-network-coding0.3https://www.bankit.art/publications/diversity-coding-and-multiplexing-trade-off-of-network-coded-cooperative-wireless-networks0.3https://www.bankit.art/publications/diversity-coding-and-multiplexing-trade-off-of-network-coded-cooperative-wireless-networks0.3https://www.bankit.art/publications/divide-and-conquer-potentials-enable-scalable-and-accurate-predictions-of-forces-and-energies-in-atomistic-systems0.3https://www.bankit.art/publications/dream-dynamic-reconfigurable-architecture-modeling0.3https://www.bankit.art/publications/druber-a-trustable-decentralized-drone-based-delivery-system0.3https://www.bankit.art/publications/dry-rivers-scary-strangers-are-financial-and-cyber-crises-alike0.3https://www.bankit.art/publications/dynamic-frost-schnorr-threshold-signatures-with-a-flexible-committee0.3https://www.bankit.art/publications/dynamic-multi-metric-thresholds-for-scaling-applications-using-reinforcement-learning0.3https://www.bankit.art/publications/efficient-algorithms-for-ltlf-synthesis0.3https://www.bankit.art/publications/efficient-nonparametric-n-body-force-fields-from-machine-learning0.3https://www.bankit.art/publications/efficient-operator-placement-for-distributed-data-stream-processing-applications0.3https://www.bankit.art/publications/elastic-allocation-of-docker-containers-in-cloud-environments0.3https://www.bankit.art/publications/elastic-provisioning-of-virtual-machines-for-container-deployment0.3https://www.bankit.art/publications/elastic-stateful-stream-processing-in-storm0.3https://www.bankit.art/publications/eliminating-harmful-joins-in-warded-datalog0.3https://www.bankit.art/publications/enabling-qm-accurate-simulation-of-dislocation-motion-in-gamma-ni-and-alpha-fe-using-a-hybrid-multiscale-approach0.3https://www.bankit.art/publications/environment-driven-communication-in-battery-free-smart-buildings0.3https://www.bankit.art/publications/error-performance-and-diversity-analysis-of-multi-source-multi-relay-wireless-networks-with-binary-network-coding-and-cooperative-mrc-ieee0.3https://www.bankit.art/publications/error-performance-and-diversity-analysis-of-multi-source-multi-relay-wireless-networks-with-binary-network-coding-and-cooperative-mrc0.3https://www.bankit.art/publications/ether-to-zero0.3https://www.bankit.art/publications/evaluating-qbfs-via-symbolic-skolemization0.3https://www.bankit.art/publications/event-based-failure-prediction-in-distributed-business-processes0.3https://www.bankit.art/publications/executable-schema-mappings-for-statistical-data-processing0.3https://www.bankit.art/publications/exlengine-executable-schema-mappings-for-statistical-data-processing0.3https://www.bankit.art/publications/explaining-enterprise-knowledge-graphs-with-large-language-models-and-ontological-reasoning0.3https://www.bankit.art/publications/exploiting-multiple-abstractions-in-episodic-rl-via-reward-shaping0.3https://www.bankit.art/publications/exploiting-robot-abstractions-in-episodic-rl-via-reward-shaping-and-heuristics0.3https://www.bankit.art/publications/exploiting-the-power-of-equality-generating-dependencies-in-ontological-reasoning0.3https://www.bankit.art/publications/exploring-agent-based-methods-for-the-analysis-of-payment-systems-a-crisis-model-for-starlogo-TNG0.3https://www.bankit.art/publications/exploring-naive-approaches-to-tell-apart-llms-productions-from-human-written-text0.3https://www.bankit.art/publications/exploring-the-robust-extrapolation-of-high-dimensional-machine-learning-potentials0.3https://www.bankit.art/publications/expressing-biological-problems-with-logical-reasoning-languages0.3https://www.bankit.art/publications/extracting-certificates-from-quantified-boolean-formulas0.3https://www.bankit.art/publications/extracting-data-manipulation-processes-from-sql-execution-traces0.3https://www.bankit.art/publications/family-link-detection-in-uncertain-settings-with-mv-datalog-plus-minus0.3https://www.bankit.art/publications/feature-based-adaptation-of-database-schemas0.3https://www.bankit.art/publications/feature-oriented-evolutions-for-context-aware-adaptive-systems0.3https://www.bankit.art/publications/fees-the-bitcoin-way0.3https://www.bankit.art/publications/fighting-deepfake-by-exposing-the-convolutional-traces-on-images0.3https://www.bankit.art/publications/fighting-deepfakes-by-detecting-gan-dct-anomalies0.3https://www.bankit.art/publications/financial-data-exchange-with-statistical-confidentiality-a-reasoning-based-approach0.3https://www.bankit.art/publications/fine-tuning-large-enterprise-language-models-via-ontological-reasoning0.3https://www.bankit.art/publications/fond-planning-for-pure-past-linear-temporal-logic-goals0.3https://www.bankit.art/publications/forward-ltlf-synthesis-dpll-at-work-overlay-20230.3https://www.bankit.art/publications/forward-ltlf-synthesis-dpll-at-work-rcra-20230.3https://www.bankit.art/publications/foundations-for-restraining-bolts-reinforcement-learning-with-ltlf-ldlf-restraining-specifications0.3https://www.bankit.art/publications/from-schema-and-model-translation-to-a-model-management-system0.3https://www.bankit.art/publications/function-offloading-and-data-migration-for-stateful-serverless-edge-computing0.3https://www.bankit.art/publications/gaia-a-framework-for-schema-mapping-reuse-extended-abstract0.3https://www.bankit.art/publications/gaussian-process-states-a-data-driven-representation-of-quantum-many-body-physics0.3https://www.bankit.art/publications/gaussian-processes-for-force-fields-and-wave-functions0.3https://www.bankit.art/publications/genpath-a-genetic-multi-round-path-planning-algorithm-for-aerial-vehicles0.3https://www.bankit.art/publications/geo-distributed-efficient-deployment-of-containers-with-kubernetes0.3https://www.bankit.art/publications/going-native-how-crypto-technology-can-help-regulators0.3https://www.bankit.art/publications/handling-high-dimensional-data-in-statistical-compilation-a-relational-approach0.3https://www.bankit.art/publications/harmless-but-useful-beyond-separable-equality-constraints-in-datalog-plus-minus0.3https://www.bankit.art/publications/heuristic-based-reasoning-on-financial-knowledge-graphs0.3https://www.bankit.art/publications/hierarchical-nucleation-in-deep-neural-networks0.3https://www.bankit.art/publications/horizontal-and-vertical-scaling-of-container-based-applications-using-reinforcement-learning0.3https://www.bankit.art/publications/hostile-takeovers-during-the-covid-19-crisis-reasoning-on-company-knowledge-graphs0.3https://www.bankit.art/publications/hybrid-evaluation-procedures-for-qbf0.3https://www.bankit.art/publications/iTemporal:-an-extensible-generator-of-temporal-benchmarks0.3https://www.bankit.art/publications/ihypertime-interpretable-time-series-generation-with-implicit-neural-representations0.3https://www.bankit.art/publications/imitation-learning-over-heterogeneous-agents-with-restraining-bolts0.3https://www.bankit.art/publications/impact-of-layer-1-characteristics-on-scalability-of-layer-2-semi-hierarchical-payment-channel-networks0.3https://www.bankit.art/publications/incremental-compilation-to-sat-procedures0.3https://www.bankit.art/publications/incremental-compilation-to-sat-procedures0.3https://www.bankit.art/publications/institutional-sector-classifier-a-machine-learning-approach0.3https://www.bankit.art/publications/intags-interactive-agent-guided-simulation0.3https://www.bankit.art/publications/integrating-dlts-with-market-infrastructures0.3https://www.bankit.art/publications/integrating-sdn-and-nfv-with-qos-aware-service-composition0.3https://www.bankit.art/publications/intrinsic-dimension-estimation-for-discrete-metrics0.3https://www.bankit.art/publications/introducing-meta-requirements-for-describing-system-of-systems0.3https://www.bankit.art/publications/investigating-the-price-determinants-of-the-european-emission-trading-system-a-non-parametric-approach0.3https://www.bankit.art/publications/itcoin-a-new-cbdc-proposal-prototype-by-bank-of-italy0.3https://www.bankit.art/publications/iwarded-a-versatile-generator-to-benchmark-warded-datalog+--reasoning0.3https://www.bankit.art/publications/joint-channel-network-decoding-for-the-two-source-two-relay-network0.3https://www.bankit.art/publications/joint-operator-replication-and-placement-optimization-for-distributed-streaming-applications0.3https://www.bankit.art/publications/k-shap:-policy-clustering-algorithm-for-anonymous-state-action-pairs0.3https://www.bankit.art/publications/kg-roar-interactive-datalog-based-reasoning-on-virtual-knowledge-graphs0.3https://www.bankit.art/publications/knowledge-graph-based-reasoning-in-large-language-models0.3https://www.bankit.art/publications/knowledge-graphs-and-big-data-processing0.3https://www.bankit.art/publications/knowledge-graphs-and-enterprise-ai-the-promise-of-an-enabling-technology0.3https://www.bankit.art/publications/knowledge-graphs-and-reasoning-in-concert-automating-regulation-in-corporate-economics0.3https://www.bankit.art/publications/layer-2-innovations-for-scalable-blockchain-payments0.3https://www.bankit.art/publications/learning-to-simulate-realistic-limit-order-book-markets-from-data-as-a-world-agent0.3https://www.bankit.art/publications/legal-minds-algorithmic-decisions0.3https://www.bankit.art/publications/legal-nlp-meets-micar0.3https://www.bankit.art/publications/leveraging-state-based-user-preferences-in-context-aware-reconfigurations-for-self-adaptive-systems0.3https://www.bankit.art/publications/light-weight-reasoning-via-cypher-triggers0.3https://www.bankit.art/publications/lightning-network-cryptography-to-the-rescue-of-cryptography0.3https://www.bankit.art/publications/linear-bound-on-the-k-rendezvous-time0.3https://www.bankit.art/publications/lisb-llm-driven-imitation-of-subrational-behavior0.3https://www.bankit.art/publications/llm-based-datalogmtl-modelling-of-micar-compliant-crypto-activity-markets0.3https://www.bankit.art/publications/lob-based-deep-learning-models-for-stock-price-trend-prediction-a-benchmark-study0.3https://www.bankit.art/publications/logic-inspired-approach-to-reconfigurable-system-modelling0.3https://www.bankit.art/publications/loquacity-and-visible-emotion-chatgpt-as-a-policy-advisor0.3https://www.bankit.art/publications/ltlf-goal-oriented-service-composition0.3https://www.bankit.art/publications/ltlf-synthesis-as-and-or-graph-search-knowledge-compilation-at-work0.3https://www.bankit.art/publications/lydiasyft-a-compositional-symbolic-synthesis-framework-for-ltlf-specifications0.3https://www.bankit.art/publications/macroprudential-policy-analysis-via-an-agent-based-model-of-the-real-estate-sector0.3https://www.bankit.art/publications/mad-for-fanets-movement-assisted-delivery-for-flying-ad-hoc-networks0.3https://www.bankit.art/publications/measurement-error-in-the-bank-of-italys-survey-of-income-and-wealth0.3https://www.bankit.art/publications/meta-mappings-for-schema-mapping-reuse0.3https://www.bankit.art/publications/mimose-multimodal-interaction-for-music-orchestration-sheet-editors-an-integrable-multimodal-music-editor-interaction-system0.3https://www.bankit.art/publications/mining-sql-execution-traces-for-data-manipulation-behavior-recovery0.3https://www.bankit.art/publications/mism-a-platform-for-model-independent-solutions-to-model-management-problems0.3https://www.bankit.art/publications/model-independent-design-of-knowledge-graphs-lessons-learnt-from-complex-financial-graphs0.3https://www.bankit.art/publications/model-independent-design-of-knowledge-graphs0.3https://www.bankit.art/publications/modeling-adversary-scheduling-with-qcsp-plus0.3https://www.bankit.art/publications/modeling-central-bank-digital-currency-over-payment-channels-a-parallel-ross-based-approach0.3https://www.bankit.art/publications/modeling-resilient-cyber-physical-processes-and-their-composition-from-digital-twins-via-markov-decision-processes0.3https://www.bankit.art/publications/monotonic-aggregation-for-temporal-datalog0.3https://www.bankit.art/publications/multi-level-elastic-deployment-of-containerized-applications-in-geo-distributed-environments0.3https://www.bankit.art/publications/multi-level-elasticity-for-wide-area-data-streaming-systems-a-reinforcement-learning-approach0.3https://www.bankit.art/publications/multi-modal-financial-time-series-retrieval-through-latent-space-projections0.3https://www.bankit.art/publications/multidisciplinary-approach-tech0.3https://www.bankit.art/publications/multimedia-forensics-discovering-the-history-of-multimedia-contents0.3https://www.bankit.art/publications/natural-gas-storage-modelling-by-deep-reinforcement-learning0.3https://www.bankit.art/publications/neither-in-the-programs-nor-in-the-data0.3https://www.bankit.art/publications/network-centrality-maximization-game0.3https://www.bankit.art/publications/network-code-design-from-unequal-error-protection-coding-channel-aware-receiver-design-and-diversity-analysis0.3https://www.bankit.art/publications/neural-machine-translation-for-fact-checking-temporal-claims0.3https://www.bankit.art/publications/new-study-on-wood-fibers-textures-documents-authentication-through-lbp-fingerprint0.3https://www.bankit.art/publications/not-with-my-name-inferring-artists-names-of-input-strings-employed-by-diffusion-models0.3https://www.bankit.art/publications/on-board-monitoring-system-for-road-traffic-safety-analysis0.3https://www.bankit.art/publications/on-computing-optimal-temporal-branchings0.3https://www.bankit.art/publications/on-connected-deployment-of-delay-critical-fanets0.3https://www.bankit.art/publications/on-diversity-order-and-coding-gain-of-multisource-multirelay-cooperative-wireless-networks-with-binary-network-coding0.3https://www.bankit.art/publications/on-machine-learning-force-fields-for-metallic-nanoparticles0.3https://www.bankit.art/publications/on-optimal-crowd-sensing-task-management-in-developing-countries0.3https://www.bankit.art/publications/on-qos-aware-scheduling-of-data-stream-applications-over-fog-computing-infrastructures0.3https://www.bankit.art/publications/on-random-primitive-sets0.3https://www.bankit.art/publications/on-task-assignment-for-early-target-inspection-in-squads-of-aerial-drones0.3https://www.bankit.art/publications/on-the-adoption-of-homomorphic-encryption-by-financial-institutions0.3https://www.bankit.art/publications/on-the-constrained-time-series-generation-problem0.3https://www.bankit.art/publications/on-the-impact-of-emergent-properties-on-sos-security0.3https://www.bankit.art/publications/on-the-relationship-between-shy-and-warded-datalog-plus-minus0.3https://www.bankit.art/publications/on-the-use-of-max-sat-and-pddl-in-rbac-maintenance0.3https://www.bankit.art/publications/one-d-dct-domain-analysis-for-jpeg-double-compression-detection0.3https://www.bankit.art/publications/online-feelings-and-sentiments-across-italy-during-pandemic-investigating-the-influence-of-socio-economic-and-epidemiological-variables0.3https://www.bankit.art/publications/ontological-reasoning-over-shy-and-warded-datalog+--for-streaming-based-architectures0.3https://www.bankit.art/publications/optimal-deployment-in-crowdsensing-for-plant-disease-diagnosis-in-developing-countries0.3https://www.bankit.art/publications/optimal-operator-deployment-and-replication-for-elastic-distributed-data-stream-processing0.3https://www.bankit.art/publications/optimal-operator-placement-for-distributed-stream-processing-applications0.3https://www.bankit.art/publications/optimal-operator-replication-and-placement-for-distributed-stream-processing-systems0.3https://www.bankit.art/publications/optimal-placement-of-stream-processing-operators-in-the-fog0.3https://www.bankit.art/publications/optimized-iot-service-placement-in-the-fog0.3https://www.bankit.art/publications/orchestration-of-blockchain-based-digital-twins0.3https://www.bankit.art/publications/orchestration-of-services-in-smart-manufacturing-through-automated-synthesis0.3https://www.bankit.art/publications/osmotic-flow-osmotic-computing-iot-workflow0.3https://www.bankit.art/publications/ownership-graphs-and-reasoning-in-corporate-economics0.3https://www.bankit.art/publications/parametric-rbac-maintenance-via-max-sat-benchmarks-description0.3https://www.bankit.art/publications/parametric-rbac-maintenance-via-max-sat0.3https://www.bankit.art/publications/peer-to-peer-negotiation-for-optimising-journeys-of-electric-vehicles-on-a-tour-of-europe0.3https://www.bankit.art/publications/perpetual-assurances-for-self-adaptive-systems0.3https://www.bankit.art/publications/perpetual-assurances-for-self-adaptive-systems20.3https://www.bankit.art/publications/pg-triggers-triggers-for-property-graphs0.3https://www.bankit.art/publications/placement-of-distributed-stream-processing-over-heterogeneous-infrastructures-doctoral-symposium0.3https://www.bankit.art/publications/planning-for-temporally-extended-goals-in-pure-past-linear-temporal-logic-a-polynomial-reduction-to-standard-planning0.3https://www.bankit.art/publications/planning-for-temporally-extended-goals-in-pure-past-linear-temporal-logic-aij0.3https://www.bankit.art/publications/planning-for-temporally-extended-goals-in-pure-past-linear-temporal-logic-extended-abstract0.3https://www.bankit.art/publications/planning-for-temporally-extended-goals-in-pure-past-linear-temporal-logic0.3https://www.bankit.art/publications/please-vadalog-tell-me-why-interactive-explanation-of-datalog-based-reasoning0.3https://www.bankit.art/publications/pow-less-bitcoin-with-confidential-byzantine-poa0.3https://www.bankit.art/publications/practical-privacy-preserving-data-science-with-homomorphic-encryption-an-overview0.3https://www.bankit.art/publications/preliminary-forensics-analysis-of-deepfake-images0.3https://www.bankit.art/publications/probabilistic-method-for-reconstructing-the-foreign-direct-investments-network0.3https://www.bankit.art/publications/prompting-for-policy0.3https://www.bankit.art/publications/qbf-based-formal-verification-experience-and-perspectives0.3https://www.bankit.art/publications/qcsp-made-practical-by-virtue-of-restricted-quantification0.3https://www.bankit.art/publications/qos-aware-deployment-of-data-streaming-applications-over-distributed-infrastructures0.3https://www.bankit.art/publications/qos-based-elasticity-for-service-chains-in-distributed-edge-cloud-environments0.3https://www.bankit.art/publications/quantified-constraint-optimization0.3https://www.bankit.art/publications/quantifier-trees-for-qbfs0.3https://www.bankit.art/publications/query-evaluation-in-datalogmtl-taming-infinite-query-results0.3https://www.bankit.art/publications/ranking-the-information-content-of-distance-measures0.3https://www.bankit.art/publications/rbac-maintenance-with-riot0.3https://www.bankit.art/publications/reactive-company-control-in-company-knowledge-graphs0.3https://www.bankit.art/publications/real-time-analysis-of-social-networks-leveraging-the-flink-framework0.3https://www.bankit.art/publications/reasoning-financial-space-italia0.3https://www.bankit.art/publications/reasoning-in-warded-datalog-with-harmful-joins0.3https://www.bankit.art/publications/reasoning-on-company-takeovers-from-tactic-to-strategy0.3https://www.bankit.art/publications/reasoning-over-financial-scenarios-with-the-vadalog-system0.3https://www.bankit.art/publications/reasoning-over-health-records-with-vadalog-a-rule-based-approach-to-patient-pathways0.3https://www.bankit.art/publications/reasoning-under-uncertainty-in-knowledge-graphs0.3https://www.bankit.art/publications/reconstruction-and-segmentation-from-sparse-sequential-x-ray-measurements-of-wood-logs0.3https://www.bankit.art/publications/redundant-representations-help-generalization-in-wide-neural-networks0.3https://www.bankit.art/publications/refactx-scalable-reasoning-with-reliable-facts-via-constrained-generation.yml0.3https://www.bankit.art/publications/regular-clocks-for-temporal-task-specifications-in-reinforcement-learning0.3https://www.bankit.art/publications/reinforcement-learning-for-combining-search-methods-in-the-calibration-of-economic-abms0.3https://www.bankit.art/publications/requirements-models-at-run-time-to-support-consistent-system-evolutions0.3https://www.bankit.art/publications/restraining-bolts-for-reinforcement-learning-agents0.3https://www.bankit.art/publications/reusing-csp-propagators-for-qcsps0.3https://www.bankit.art/publications/road-traffic-conflict-analysis-from-geo-referenced-stereo-sequences0.3https://www.bankit.art/publications/robust-policy-design-in-agent-based-simulators-using-adversarial-reinforcement-learning0.3https://www.bankit.art/publications/robust-qbf-encodings-for-sequential-circuits-with-applications-to-verification-debug-and-test0.3https://www.bankit.art/publications/rule-based-anti-money-laundering-in-financial-intelligence-units-experience-and-vision0.3https://www.bankit.art/publications/run-time-adaptation-of-data-stream-processing-systems-the-state-of-the-art0.3https://www.bankit.art/publications/safe-natural-language-processing0.3https://www.bankit.art/publications/safe-nlp-how-accurate-and-robust-text-classification-model0.3https://www.bankit.art/publications/samizdata-a-scale-independent-data-management-system-for-time-series0.3https://www.bankit.art/publications/sat-based-cooperative-planning-a-proposal0.3https://www.bankit.art/publications/scalable-compute-continuum0.3https://www.bankit.art/publications/securities-settlement-systems-delivery-versus-payment-in-a-distributed-ledger-environment0.3https://www.bankit.art/publications/self-adaptive-container-deployment-in-the-fog-a-survey0.3https://www.bankit.art/publications/self-balancing-semi-hierarchical-payment-channel-networks-for-central-bank-digital-currencies0.3https://www.bankit.art/publications/semantic-aware-query-answering-with-large-language-models0.3https://www.bankit.art/publications/service-composition-for-ltlf-task-specifications0.3https://www.bankit.art/publications/siamese-ballistics-neural-network0.3https://www.bankit.art/publications/side-self-driving-drones-embrace-uncertainty0.3https://www.bankit.art/publications/simulating-the-economic-impact-of-rationality-through-reinforcement-learning-and-agent-based-modelling0.3https://www.bankit.art/publications/skizzo-a-suite-to-evaluate-and-certify-qbfs0.3https://www.bankit.art/publications/smart-derivative-contracts-in-datalogmtl0.3https://www.bankit.art/publications/softening-ontological-reasoning-with-large-language-models0.3https://www.bankit.art/publications/software-engineering-for-self-adaptive-systems-research-challenges-in-the-provision-of-assurances0.3https://www.bankit.art/publications/sponge-a-generalized-eigenproblem-for-clustering-signed-networks0.3https://www.bankit.art/publications/stochastic-nature-of-particle-collisions-and-its-impact-on-granular-material-properties0.3https://www.bankit.art/publications/stop-offload-periodic-data-offloading-in-uav-networks0.3https://www.bankit.art/publications/stop-route-periodic-data-offloading-in-uav-networks0.3https://www.bankit.art/publications/strategic-reasoning-for-bitml-smart-contracts0.3https://www.bankit.art/publications/strategic-reasoning-of-bitml-smart-contracts-using-the-mcmas-model-checker0.3https://www.bankit.art/publications/swift-logic-for-big-data-and-knowledge-graphs-overview-of-requirements-language-and-system0.3https://www.bankit.art/publications/swift-logic-for-big-data-and-knowledge-graphs0.3https://www.bankit.art/publications/swift-markov-logic-for-probabilistic-reasoning-on-knowledge-graphs0.3https://www.bankit.art/publications/synchronised-cross-border-payments0.3https://www.bankit.art/publications/synchronizing-probability-function0.3https://www.bankit.art/publications/synthetic-data-applications-in-finance0.3https://www.bankit.art/publications/system-of-systems-to-support-mobile-safety-critical-applications-open-challenges-and-viable-solutions0.3https://www.bankit.art/publications/systems-of-systems-modeling-using-a-comprehensive-viewpoint-based-sysml-profile0.3https://www.bankit.art/publications/tamara-a-task-management-and-routing-algorithm-for-fanets0.3https://www.bankit.art/publications/taming-adaptive-security-and-new-access-structures-in-evolving-secret-sharing0.3https://www.bankit.art/publications/template-based-explainable-inference-over-high-stakes-financial-knowledge-graphs0.3https://www.bankit.art/publications/temporal-logic-monitoring-rewards-via-transducers0.3https://www.bankit.art/publications/temporal-vadalog-system-datalogml-based-reasoning-for-knowledge-graphs0.3https://www.bankit.art/publications/temporal-vadalog-system-extended-abstract0.3https://www.bankit.art/publications/the-company-control-problem-reactively0.3https://www.bankit.art/publications/the-dream-framework-for-dynamic-reconfigurable-architecture-modelling-theory-and-applications0.3https://www.bankit.art/publications/the-eu-regulation-problem-and-how-to-fix-it-with-ai0.3https://www.bankit.art/publications/the-evolution-of-online-sentiments-across-italy-during-first-and-second-wave-of-the-covid-19-pandemic0.3https://www.bankit.art/publications/the-evolving-path-of-the-right-to-be-left-alone-when-privacy-meets-technology0.3https://www.bankit.art/publications/the-face-deepfake-detection-challenge0.3https://www.bankit.art/publications/the-market-notices-published-by-the-italian-stock-exchange0.3https://www.bankit.art/publications/the-vadalog-parallel-system-distributed-reasoning-with-datalog0.3https://www.bankit.art/publications/data-science-with-vadalog-knowledge-graphs-with-machine-learning-and-reasoning-in-practice0.3https://www.bankit.art/publications/the-vadalog-system-datalog-based-reasoning-for-knowledge-graphs-corr0.3https://www.bankit.art/publications/the-vadalog-system-datalog-based-reasoning-for-knowledge-graphs-pvldb0.3https://www.bankit.art/publications/the-vadalog-system-swift-logic-for-big-data-and-enterprise-knowledge-graphs0.3https://www.bankit.art/publications/threat-analysis-in-systems-of-systems-an-emergence-oriented-approach0.3https://www.bankit.art/publications/toward-real-world-private-computations-with-homomorphic-encryption-current-solutions-and-open-challenges0.3https://www.bankit.art/publications/towards-a-full-scale-simulation-of-a-central-bank-digital-currency-via-payment-channel-networks0.3https://www.bankit.art/publications/towards-a-security-aware-deployment-of-data-streaming-applications-in-fog-computing0.3https://www.bankit.art/publications/towards-fateful-smart-contracts-amw-20240.3https://www.bankit.art/publications/towards-fateful-smart-contracts0.3https://www.bankit.art/publications/towards-hierarchical-autonomous-control-for-elastic-data-stream-processing-in-the-fog0.3https://www.bankit.art/publications/towards-highly-adaptive-data-intensive-systems-a-research-agenda0.3https://www.bankit.art/publications/towards-qos-aware-fog-service-placement0.3https://www.bankit.art/publications/towards-realistic-market-simulations:-a-generative-adversarial-networks-approach0.3https://www.bankit.art/publications/trading-agent-competition-with-autonomous-economic-agents-icaart0.3https://www.bankit.art/publications/trading-agent-competition-with-autonomous-economic-agents0.3https://www.bankit.art/publications/traversing-knowledge-graphs-with-good-old-and-new-joins0.3https://www.bankit.art/publications/twitlang-er-interactions-modeling-language-and-interpreter-for-twitter0.3https://www.bankit.art/publications/uncovering-corporate-influence-a-first-scalable-method-for-qualifying-holdings-computation0.3https://www.bankit.art/publications/understanding-the-database-manipulation-behavior-of-programs0.3https://www.bankit.art/publications/unsupervised-learning-methods-for-molecular-simulation-data0.3https://www.bankit.art/publications/unveiling-the-mechanisms-of-dai-techrep0.3https://www.bankit.art/publications/unveiling-the-mechanisms-of-dai0.3https://www.bankit.art/publications/vada-an-architecture-for-end-user-informed-data-preparation0.3https://www.bankit.art/publications/vadacode-a-logician-friendly-ide-for-datalog-pm0.3https://www.bankit.art/publications/vadalog-a-language-and-system-for-knowledge-graphs0.3https://www.bankit.art/publications/vadalog-a-modern-architecture-for-automated-reasoning-with-large-knowledge-graphs0.3https://www.bankit.art/publications/vadalog-overview-extensions-and-business-applications0.3https://www.bankit.art/publications/vtdl-a-notation-for-data-stream-processing-applications0.3https://www.bankit.art/publications/weaving-enterprise-knowledge-graphs-the-case-of-company-ownership-graphs0.3https://www.bankit.art/peoplehttps://www.bankit.art/projectshttps://www.bankit.art/diaryhttps://www.bankit.art/networkhttps://www.bankit.art/joinhttps://www.bankit.art/publications