Publications

Journals

  • "End-to-end Voting with Non-permissioned and Permissioned Ledgers". S. Bistarelli, I. Mercanti, P. Santancini, F. Santini. Journal of Grid Computing, Springer (2019).
  • "A Novel Weighted Defence and Its Relaxation in Abstract Argumentation". S. Bistarelli, F. Rossi, F. Santini. International Journal of Approximate Reasoning, Elsevier (2018).
  • "Not Only Size, but Also Shape Counts: Abstract Argumentation Solvers Are Benchmark-sensitive". S. Bistarelli, F. Rossi, F. Santini. Journal of Logic and Computation. Oxford Academic (2018)
  • "Observational and Behavioural Equivalences for Soft Concurrent Constraint Programming", F. Gadducci, F. Santini, L. Pino, F. Valencia. Journal of Logic and Algebraic Methods in Programming, Elsevier (2016)
  • "Residuation for bipolar preferences in soft constraints", F. Gadducci, F. Santini, Information Processing Letters, Elsevier (2016)
  • "On Merging Two Trust-Networks in One with Bipolar Preferences", S. Bistarelli, F. Santini, Mathematical Structures in Computer Science, Cambridge University Press (2015).
  • "Partially-distributed Coordination with Reo and Constraint Automata", S.-S. T. Q. Jongmans, F. Santini, F. Arbab, Service Oriented Computing and Application, Springer (2015).
  • "Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach", S. Bistarelli, M. Gabbrielli, M.C. Meo, F. Santini, Theory and Practice of Logic Programming (2014).
  • "A Secure Non-monotonic Soft Concurrent Constraint Language", Stefano Bistarelli, Francesco Santini, Fundamenta Informaticae (2014).
  • "Orchestrating Web Services Using Reo: from Circuits and Behaviors to automatically Generated Code". S.-S. T. Q. Jongmans, F. Santini, M. Sargolzaei, F. Arbab, Hamideh Afsarmanesh. Service Oriented Computing and Application, Springer (2014).
  • "Coalitions of Arguments: An Approach with Constraint Programming", S. Bistarelli, F. Santini, Fundamenta Informaticae, (2013).
  • "A Semiring-Based Framework for the Deduction/Abduction Reasoning in Access Control with Weighted Credentials", S. Bistarelli, Fabio Martinelli, Francesco Santini, Computer & Mathematics with Applications, Elsevier (2012).
  • "Local Arc Consistency for Non-Invertible Semirings, with an Application to Multi-Objective Optimization", S. Bistarelli, F. Gadducci, J. Larrosa, E. Rollon, F. Santini, Expert Syst. Appl. 39(2): 1708-1717 (2012).
  • "A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process", S. Bistarelli, Francesco Santini: Fundam. Inform. 111(3): 257-279 (2011).
  • "Evaluation of complex security scenarios using defense trees and economic indexes", S. Bistarelli, F. Fioravanti, P. Peretti, Francesco Santini, J. Exp. Theor. Artif. Intell. 24(2): 161-192 (2012).
  • Unicast and multicast QoS routing with soft-constraint logic programming", S. Bistarelli, U. Montanari, F. Rossi, F. Santini, ACM Trans. Comput. Log. 12(1): 5 (2010).
  • "Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria", S. Bistarelli, S. N. Foley, B. O'Sulivan, F. Santini, Security and Communication Networks 3(6): 595-610 (2010).
  • "Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks", S. Bistarelli, F. Santini, International Journal on Advances in Networks and Services, vol. 2, issn: 1942-2644 2009.
  • "An asymmetric fingerprint matching algorithm for Java Card TM", S. Bistarelli, F. Santini, A. Vaccarelli, . Pattern Anal. Appl. 9(4): 359-376 (2006).

Workshops and Conferences

2019

  • "Local Expansion Invariant Operators in Argumentation Semantics". S. Bistarelli, F. Santini, C. Taticchi: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation.
  • A Tool For Ranking Arguments Through Voting-Games Power Indexes, S. Bistarelli, F. Faloci, F. Santini, C. Taticchi: Italian Conference on Computational Logic, CEUR.
  • CapBAC in Hyperledger Sawtooth, S. Bistarelli, C. Pannacci, F. Santini: Inter- national Conference on Distributed Applications and Interoperable Systems (DAIS), LNAI, Springer.
  • Well-foundedness in Weighted Argumentation Frameworks, S. Bistarelli, F. Santini: Logics in Artificial Intelligence - 16th European Conference (JELIA), LNAI, Springer.

2018

  • "Some Thoughts On Well-foundedness in Weighted Abstract Argumentation". S. Bistarelli, F. Santini: International Conference on Principles of Knowledge Rep- resentation and Reasoning, AAAI.
  • "Probabilistic Argumentation Frameworks with MetaProbLog and ConArg". S. Bistarelli, T. Mantadelis, F. Santini, C. Taticchi: International Conference on Tools for Artificial Intelligence (ICTAI) 2018, IEEE.
  • "A Suite of Tools for the Forensic Analysis of Bitcoin Transactions". Preliminary Report, S. Bistarelli, I. Mercanti, F. Santini: International Workshop On Future Perspective Of Decentralized Applications (at EUROPAR), LNCS.
  • "Studying Dynamics in Argumentation with Rob". S. Bistarelli, F. Santini, C. Taticchi: 7th International Conference on Computational Models of Argument. COMMA 2018, IOS.
  • "Are My Arguments Trustworthy? Abstract Argumentation with Subjective Logic". F. Santini, A. Jøsang, M. S. Pini: International Conference on Information Fusion, IEEE.
  • "(Short Paper) An Analysis of Non-standard Transactions". S. Bistarelli, I. Mercanti, F. Santini: Cryptovalley Blockchain Conference, IEEE.
  • "Containerisation and Dynamic Frameworks in ICCMA’19". S. Bistarelli, L. Kotthoff, F. Santini, C. Taticchi: International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018), CEUR.
  • "Soft Constraint Automata with Memory". K. Dokter, F. Gadducci, F. Santini: It’s All About Coordination (Arbab Festschrift), Springer, LNCS.
  • "Visualising Bitcoin Flows of Ransomware: WannaCry One Week Later". S. Bistarelli, M. Parroccini, F. Santini: Second Italian Conference on Cybersecurity (ItaSEC), CEUR.
  • "Looking for Invariant Operators Preserving Argumentation Semantics". S. Bistarelli, F. Santini, C. Taticchi: The 31st International FLAIRS Conference FLAIRS 2018, AAAI Press.
  • "Abstract Argumentation Frameworks to Promote Fairness and Rationality in Multi-experts Multi-criteria Decision making". S. Bistarelli, M. Ceberio, J. A. Henderson, F. Santini: Studies in Systems, Decision and Control, Springer.

    • 2017

    • "A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics". Stefano Bistarelli, Francesco Santini, Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), LNCS Springer
    • "A ConArg-based Library for Abstract Argumentation", Stefano Bistarelli, Fabio Rossi, Francesco Santini, Conference on Tools with Artificial Intelligence (ICTAI), IEEE
    • "Properties and Implementation of a Two-step Ranking-based Semantics: On Revising NaE and SC", Francesco Santini, Conference on Tools with Artificial Intelligence (ICTAI), IEEE
    • "A Quantitative Partial Model-Checking Function and Its Optimisation". Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini, International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), LNCS Springer
    • "An end-to-end voting-system based on bitcoin". Stefano Bistarelli, Marco Mantilacci, Paolo Santancini, Francesco Santini, Symposium on Applied Computing (SAC), ACM
    • "Go with the -Bitcoin- Flow, with Visual Analytics". Stefano Bistarelli, Francesco Santini, Conference on Availabiltiy, Relabitiy, Security (ARES), ACM

    2016

    • "Decomposing Global Quantitative Properties into Local Ones". Ilaria Matteucci, Francesco Santini, Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, LNCS Springer
    • "Graded Justification of Arguments via Internal and External Endogenous Features". Francesco Santini, Scalable Uncertainty Management - 10th International Conference, LNCS,
    • "A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks". Stefano Bistarelli, Francesco Santini, Fabio Rossi, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016. LNCS Springer
    • "ConArg: A Tool for Classical and Weighted Argumentation". Stefano Bistarelli, Francesco Santini, Fabio Rossi. Computational Models of Argument - Proceedings of COMMA, FAIA
    • "A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks". Stefano Bistarelli, Fabio Rossi, Francesco Santini: 29th International FLAIRS Conference, AAAI
    • "From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour". Simone Gabbriellini, Francesco Santini: International Conference on Agents and Artificial Intelligence (Revised Selected Papers), ICAART 2016. LNCS, Springer
    • "From Arguments and Reviewers to their Simulation: Reproducing a Case-Study". Simone Gabbriellini, Francesco Santini: International Conference on Agents and Artificial Intelligence, ICAART 2016. SCITEPRESS
    • "Automated Adaptation via Quantitative Partial Model Checking". Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini: Symposium on Applied Computing (Coordination Models, Languages and Applications). SAC 2016. ACM
    • "A Multi-Criteria Ranking of Security Countermeasures". Andrea Bondavalli, Andrea Ceccarelli, Felicita Di Giandomenico, Ilaria Matteucci, Nicola Nostro, Francesco Santini: Symposium on Applied Computing (Dependable and Adaptive Distributed Systems). SAC 2016. ACM

    2015

    • "There are Two Sides to Every Question - Controller Versus Attacker". Fabio Martinelli, Ilaria Matteucci, Francesco Santini. Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015. LNCS Springer
    • "Quantitative Analysis of Network Security with Abstract Argumentation". Francesco Santini, Artsiom Yautsiukhin: International Workshop on Quantitative Aspects of Security Assurance (QASA 2015). LNCS Springer.
    • "Visualising Network Security through Arguments". Fabio Martinelli, Francesco Santini, A. Yautsiukhin: 13th Annual Conference on Privacy, Security, and Trust (PST 2015). IEEE.
    • "Defeasible Logic Programming in Satisfiability Modulo CHR". Francesco Santini. 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015). LNCS/LNAI Springer.
    • "A Micro Study on the Evolution of Arguments in Amazon.com's Reviews", Simone Gabbriellini, Francesco Santini: Principles and Practice of Multi-Agent Systems (PRIMA 2015), LNCS/LNAI Springer
    • "A Labelled Semantics for Soft Concurrent Constraint Programming": Fabio Gadducci, Francesco Santini, Luis F. Pino, Frank Valencia, Coordination Models and Languages (COORDINATION 2015), LNCS Springer.
    • "Semiring-based Specification Approaches for Quantitative Security": Fabio Martinelli, Ilaria Matteucci, Francesco Santini. Quantitative Aspects of Programming Languages and Systems (QAPL 2015). EPTCS.
    • "Argument-based Constraint Logic Programming in Satisfiability Modulo CHR": Francesco Santini. 12th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2015).

    2014

    • "Efficient Solution for Credulous/scepticalAcceptance in Lower-order Dung's Semantics": Stefano Bistarelli, Fabio Rossi, Francesco Santini. International Conference on Tools with Artificial Intelligence (ICTAI 2014), IEEE.
    • "Partially Distributed Coordination with Reo". Sung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab. International Conference on Parallel, Distributed, and Network-based Processing (PDP), Special Session on Formal Approaches to Parallel and Distributed Systems (4PAD).
    • "A First Comparison of Abstract Argumentation Reasoning-Tools". Stefano Bistarelli, Fabio Rossi, Francesco Santini. European Conference on Artificial Intelligence, ECAI 2014.
    • "Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics". Stefano Bistarelli, Fabio Rossi, Francesco Santini, Computational Models of Arguments, COMMA 2014.
    • "On Enumerating Extensions: A Comparison of ArgTools, Aspartix, ConArg2, and Dung-O-Matic on Random Abstract Argumentation-Frameworks". Stefano Bistarelli, Fabio Rossi, Francesco Santini, Computational Logic in Multi-Agent Systems, CLIMA 2014.
    • "An Improved Role-based Access to Android Applications with JCHR". Stefano Bistarelli, Gianpiero Costantino, Fabio Martinelli, Francesco Santini, International Workshop on Security of Mobile Applications, IWSMA 2014.
    • "Two Trust Networks in One: Using Bipolar Structures to Fuse Trust and Distrust". Stefano Bistarelli, Francesco Santini, Conference on Privacy Security and Trust, PST 2014.
    • "Debating Cybersecurity or Securing a Debate?". Fabio Martinelli, Francesco Santini. 7th International Symposium on Foundations and and Practice of Security (FPS 2014), Springer.

    2013

    • "Combining Recommender and Reputation Systems to Produce Better Online Advice". Audun Josang, Guibing Guo, Maria Silvia Pini, Francesco Santini, Yue X. Modeling Decisions for Artificial Intelligence (MDAI) 2013, Springer.
    • "Validation of Reo Configurations in an e-Banking Scenario". Maurice H. ter Beek, Fabio Gadducci, Francesco Santini: International Symposium on Architecting Critical Systems (ISARCS), ACM, 2013.
    • "A Tool for Behaviour-based Discovery of Approximately Matching Web Services". Mahdi Sargolzaei, Francesco Santini, Farhad Arbab, Hamideh Afsarmanesh: SEFM 2013, 152-166.
    • "A First Comparison of Abstract Argumentation Systems: A Computational Perspective". Stefano Bistarelli, Fabio Rossi, Francesco Santini. CILC ceur-ws.org, 241-245.
    • "An Introduction to Consistently Merging Trust Networks with Bipolar Preferences". Stefano Bistarelli, Simon Foley, Francesco Santini, Francesco Vicino. Italian Conference on Theoretical Computer Science.

      • 2012

    • "ConArg: Argumentation with Constraints". Stefano Bistarelli, Francesco Santini: AT 2012: 197-198.
    • "Securely Accessing Shared Resources with Concurrent Constraint Programming". Stefano Bistarelli, Francesco Santini: SEFM 2012: 308-322.
    • "Automatic Code Generation for the Orchestration of Web Services with Reo". Sung-Shik T. Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab, Hamideh Afsarmanesh: ESOCC 2012: 1-16.
    • "Preference and Similarity-based Behavioral Discovery of Services". Farhad Arbab, Francesco Santini. 9th International Workshop on Web Services and Formal Methods (WS-FM) 2012.
    • "Towards a Similarity-based Web Service Discovery through Soft Constraint Satisfaction Problems". Farhad Arbab, Stefano Bistarelli, Daniele Pirolandi, Francesco Santini. 2nd International Workshop on Semantic Search over the Web (SSW12), ACM.
    • "Modelling and Simulation of Selected Operational IT Risks in the Banking Sector". Christoph Brandt, Francesco Santini, Natallia Kokash, Farhad Arbab: 26th European Simulation and Modelling Conference (ESM 2012).
    • "Solving Fuzzy Distributed CSPs: An approach with Naming Games", S. Bistarelli, G. Gosti, F. Santini, Workshop on Declarative Agent Languages and Technologies, DALT, to appear in LNAI postproceedings.
    • "Security -based Constraints Models and Frameworks for Security-related Scenarios". S. Bistarelli, F. Santini, Conference on Risks and Security of Internet and Services, Crisis 2012, IEEE.
    • "A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming", S. Bistarelli, P. Campli, F. Santini: SAC 2012: 1551-1553.

      • 2011

    • "Modeling and Solving AFs with a Constraint-Based Tool: ConArg", S. Bistarelli, F. Santini, TAFA 2011: 99-116.
    • "Finding partitions of arguments with Dung's properties via SCSPs", S. Bistarelli, P. Campli, F. Santini, SAC 2011: 913-919.
    • "Solving Fuzzy DCSPs with Naming Games", S. Bistarelli, G. Gosti, F. Santini, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2011.
    • "ConArg: A Constraint-Based Computational Framework for Argumentation Systems", S. Bistarelli, F. Santini ICTAI 2011: 605-612.
    • "Solving Fuzzy DCSPs with Naming Games" S. Bistarelli, G. Gosti, F. Santini, ICTAI 2011: 930-931.
    • "Negotiation on mobile devices using Weighted RTML Credentials", S. Bistarelli, F. Martinelli, F. Roperti, F. Santini, to appear in Springer, ItAIS 2011.
    • "Finding Partitions of Arguments with Dung's Properties via SCSPs", S. Bistarelli, P. Campli, F. Santini, Proceedings of the 26th Italian Conference on Computational Logic, CILC 2011, CEUR vol 810: 199-213.
    • "Solving Distributed FCSPs with Naming Games", S. Bistarelli, G. Gosti, F. Santini, Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2011).

      • 2010

    • "A Common Computational Framework for Semiring-based Argumentation Systems, S. Bistarelli, F. Santini", ECAI 2010: 131-136.
    • "Deduction and Abduction with Soft Constraints", S. Bistarelli, F. Martinelli, F. Santini, 5th Multidisciplinary Workshop on Advances in Preference Handling@ECAI2010.
    • "Computing Coalition of Arguments with CSPs", S. Bistarelli, P. Campli, F. Santini, Italian Conference on Theoretical Computer Science (ICTCS) 2010.
    • "A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints", S. Bistarelli, F. Martinelli, F. Santini, ATC 2010: 268-282.
    • "Solving Weighted Argumentation Frameworks with Soft Constraints”, S. Bistarelli, D. Pirolandi, F. Santini CILC 2010 - Italian Conference on Computational Logic.

      • 2009

    • "Solving Weighted Argumentation Frameworks with Soft Constraints", S. Bistarelli, D. Pirolandi, F. Santini, CSCLP 2009: 1-18.
    • "Argumentation-based Interactions among Agents: Solving Weighted and Bipolar Frameworks with Soft CSPs”, S. Bistarelli, D. Pirolandi, F. Santini, SofT'10 - 10th Workshop on Preferences and Soft Constraints @CP2010.
    • "Extending Soft Arc Consistency Algorithms to Non-invertible Semirings", S. Bistarelli, F. Gadducci, J. Larrosa, F. Santini, MICAI (1) 2010: 386-398.
    • "Soft Constraints for Quality Aspects in Service Oriented Architectures", S. Bistarelli, F. Santini: YR-SOC 2009: 51-65.
    • "A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation", S. Bistarelli, F. Santini: Electr. Notes Theor. Comput. Sci. 236: 147-162 (2009).
    • "Constraint-based Languages to Model the Blood Coagulation Cascade", S. Bistarelli, M. Bottalico, F. Santini: Logic-based approaches in Bioinformatics Workshop@AI*IA.
    • "Extending Soft Arc Consistency Algorithms to Non-Invertible Semirings, with an Application to Multi-Criteria Problems,", S. Bistarelli, F. Gadducci, J. Larrosa, E. Rollon and F. Santini, Constraint Modelling and Reformulation (ModRef'09) @CP2009.
    • "Generalizing Soft Arc Consistency Algorithms through an LCD-based Semiring Transformation.", S. Bistarelli, F. Gadducci, E. Rollon and F. Santini, 24-esimo Convegno Italiano di Logica Computazionale (2009).
    • "Extending Soft Arc Consistency Algorithms to Non-Invertible Semirings, with an Application to Multi-Criteria Problems." S. Bistarelli, F. Gadducci, E. Rollon and F. Santini: Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (2009). Informal proc.

      • 2008

    • "Managing Quality of Service with Soft Constraints." F. Santini: AAAI 2008: 1869-1870.
    • "Weighted Datalog and Levels of Trust." S. Bistarelli, F. Martinelli, F. Santini: ARES 2008: 1128-1134.
    • "An Application to the RTFamily". S. Bistarelli, F. Martinelli, F. Santini: A Semantic Foundation for Trust Management Languages with Weights: ATC 2008: 481-495.
    • "Timed Soft Concurrent Constraint Programs". S. Bistarelli, M. Gabbrielli, M. C. Meo, F. Santini: COORDINATION 2008: 50-66.
    • "From Marriages to Coalitions: A Soft CSP Approach". S. Bistarelli, S. N. Foley, B. O'Sullivan, Francesco Santini: CSCLP 2008: 1-15.
    • "Managing Quality of Service with Soft Constraints: F. Santini, ICLP 2008: 815-817.
    • "A Formal and Practical Framework for Constraint-Based Routing." S. Bistarelli, F. Santini: ICN 2008: 162-167.
    • "Propagating multitrust within trust networks". S. Bistarelli, F. Santini: SAC 2008: 1990-1994.
    • "Soft Constraints for Dependable Service Oriented Architectures". S. Bistarelli, F. Santini: WADS 2008: 76-97.
    • "C-semiring Frameworks for Minimum Spanning Tree Problems". S. Bistarelli, F. Santini: WADT 2008: 56-70.

      • 2007

    • "SCLP for Trust Propagation in Small-World Networks". S. Bistarelli, F. Santini: CSCLP 2007: 32-46.
    • "Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming". S. Bistarelli, U. Montanari, F. Rossi, F. Santini: Electr. Notes Theor. Comput. Sci. 190(3): 111-127 (2007).

      • 2005

    • "An Asymmetric Fingerprint Matching Algorithm for Java Card™". S. Bistarelli, F. Santini, A. Vaccarelli: AVBPA 2005: 279-288.

Journals

Workshops and conferences

Francesco Santini