Francesco Santini

发表

Farhad Arbab, Stefano Bistarelli, Francesco Santini, 2012, SSW '12.

End-to-End Voting with Non-Permissioned and Permissioned Ledgers

Stefano Bistarelli, Francesco Santini, Ivan Mercanti, 2019, Journal of Grid Computing.

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2008, 2008 Third International Conference on Availability, Reliability and Security.

Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making

Stefano Bistarelli, Francesco Santini, Martine Ceberio, 2014, ICTCS.

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services

Farhad Arbab, Hamideh Afsarmanesh, Francesco Santini, 2013 .

Partially distributed coordination with Reo and constraint automata

Farhad Arbab, Francesco Santini, Sung-Shik T. Q. Jongmans, 2015, Service Oriented Computing and Applications.

Evaluation of complex security scenarios using defense trees and economic indexes

Stefano Bistarelli, Francesco Santini, Fabio Fioravanti, 2012, J. Exp. Theor. Artif. Intell..

Towards visualising security with arguments

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2015, CILC.

Partially-Distributed Coordination with Reo

Farhad Arbab, Francesco Santini, Sung-Shik T. Q. Jongmans, 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

Propagating multitrust within trust networks

Stefano Bistarelli, Francesco Santini, 2008, SAC '08.

Validating reconfigurations of reo circuits in an e-Banking scenario

Fabio Gadducci, Francesco Santini, Maurice H. ter Beek, 2013, ISARCS '13.

There are Two Sides to Every Question - Controller Versus Attacker

Francesco Santini, Fabio Martinelli, Ilaria Matteucci, 2015, Programming Languages with Applications to Biology and Security.

On Looking for Invariant Operators in Argumentation Semantics

Stefano Bistarelli, Francesco Santini, Carlo Taticchi, 2018, FLAIRS Conference.

Probabilistic Argumentation Frameworks with MetaProbLog and ConArg

Stefano Bistarelli, Francesco Santini, Carlo Taticchi, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2011, Fundam. Informaticae.

Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2014, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence.

Partially-Distributed Coordination with Reo (Technical Report)

Farhad Arbab, Francesco Santini, Sung-Shik T. Q. Jongmans, 2013 .

SCLP for Trust Propagation in Small-World Networks

Stefano Bistarelli, Francesco Santini, 2007, CSCLP.

A Tool for Behaviour-Based Discovery of Approximately Matching Web Services

Farhad Arbab, Hamideh Afsarmanesh, Francesco Santini, 2013, SEFM.

Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later

Stefano Bistarelli, Francesco Santini, Matteo Parroccini, 2018, ITASEC.

Modeling and Solving AFs with a Constraint-Based Tool: ConArg

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2011, TAFA.

A First Comparison of Abstract Argumentation Systems: A Computational Perspective

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2013, CILC.

ConArg: Argumentation with Constraints

Stefano Bistarelli, Francesco Santini, 2012, AT.

Session details: Artificial intelligence and agents: KRR - knowledge representation and reasoning track

Stefano Bistarelli, Francesco Santini, Martine Ceberio, 2018 .

Timed soft concurrent constraint programs: An interleaved and a parallel approach

Maurizio Gabbrielli, Stefano Bistarelli, Francesco Santini, 2014, Theory and Practice of Logic Programming.

Defeasible Logic Programming in Satisfiability Modulo CHR

Francesco Santini, 2015, AI*IA.

Quantitative Analysis of Network Security with Abstract Argumentation

Francesco Santini, Artsiom Yautsiukhin, 2015, DPM/QASA@ESORICS.

Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2014, COMMA.

An Analysis of Non-standard Bitcoin Transactions

Stefano Bistarelli, Francesco Santini, Ivan Mercanti, 2018, 2018 Crypto Valley Conference on Blockchain Technology (CVCBT).

A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2016, JELIA.

On merging two trust-networks in one with bipolar preferences

Stefano Bistarelli, Francesco Santini, 2017, Math. Struct. Comput. Sci..

A Micro Study on the Evolution of Arguments in Amazon.com's Reviews

Francesco Santini, Simone Gabbriellini, Francesco Santini, 2015, PRIMA.

Special track on knowledge representation and reasoning (KRR)

Stefano Bistarelli, Francesco Santini, Eric Monfroy, 2018 .

Go with the -Bitcoin- Flow, with Visual Analytics

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2017, ARES.

Graded Justification of Arguments via Internal and External Endogenous Features

Francesco Santini, 2016, SUM.

Automated adaptation via quantitative partial model checking

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2016, SAC.

A ConArg-Based Library for Abstract Argumentation

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2017, 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).

A Tool For Ranking Arguments Through Voting-Games Power Indexes

Stefano Bistarelli, Francesco Santini, Francesco Faloci, 2019, CILC.

A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2008, ATC.

Extending Soft Arc Consistency Algorithms to Non-invertible Semirings

Fabio Gadducci, Stefano Bistarelli, Francesco Santini, 2010, MICAI.

Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming

Francesca Rossi, Stefano Bistarelli, Ugo Montanari, 2007, QAPL.

Solving Weighted Argumentation Frameworks with Soft Constraints

Stefano Bistarelli, Francesco Santini, Daniele Pirolandi, 2010, CILC.

Testing Credulous and Sceptical Acceptance in Small-World Networks

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2015, RCRA@AI*IA.

Studying Dynamics in Argumentation with Rob

Stefano Bistarelli, Francesco Santini, Francesco Faloci, 2018, COMMA.

Observational and behavioural equivalences for soft concurrent constraint programming

Fabio Gadducci, Frank D. Valencia, Francesco Santini, 2017, J. Log. Algebraic Methods Program..

A Formal and Practical Framework for Constraint-Based Routing

Stefano Bistarelli, Francesco Santini, 2008, Seventh International Conference on Networking (icn 2008).

An Improved Role-Based Access to Android Applications with JCHR

Stefano Bistarelli, Francesco Santini, Gianpiero Costantino, 2014, 2014 Ninth International Conference on Availability, Reliability and Security.

On Looking for Local Expansion Invariants in Argumentation Semantics pdf

Stefano Bistarelli, Francesco Santini, Carlo Taticchi, 2018, ArXiv.

An Asymmetric Fingerprint Matching Algorithm for Java Card™

Stefano Bistarelli, Francesco Santini, Anna Vaccarelli, 2005, AVBPA.

A Quantitative Partial Model-Checking Function and Its Optimisation

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2017, LPAR.

A Common Computational Framework for Semiring-based Argumentation Systems

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2010, ECAI.

Block Argumentation

Stefano Bistarelli, Francesco Santini, Ryuta Arisaka, 2019, PRIMA.

Soft Constraints for Quality Aspects in Service Oriented Architectures

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2009, YR-SOC.

Semiring-based Specification Approaches for Quantitative Security

Francesco Santini, Fabio Martinelli, Ilaria Matteucci, 2015, QAPL.

Finding partitions of arguments with Dung's properties via SCSPs

Stefano Bistarelli, Francesco Santini, Paola Campli, 2011, CILC.

From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour

Francesco Santini, Simone Gabbriellini, Francesco Santini, 2016, ICAART.

A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2016, FACS.

Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017

Paolo Torroni, Stefano Bistarelli, Francesco Santini, 2019, Fundam. Informaticae.

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization

Fabio Gadducci, Stefano Bistarelli, Francesco Santini, 2012, Expert Syst. Appl..

A Labelled Semantics for Soft Concurrent Constraint Programming

Fabio Gadducci, Frank D. Valencia, Francesco Santini, 2015, COORDINATION.

Well-Foundedness in Weighted Argumentation Frameworks

Stefano Bistarelli, Francesco Santini, 2019, JELIA.

Soft Constraint Automata with Memory

Fabio Gadducci, Francesco Santini, Kasper Dokter, 2018, It's All About Coordination.

Solving Fuzzy DCSPs with Naming Games

Stefano Bistarelli, Francesco Santini, Giorgio Gosti, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

Decomposing Global Quantitative Properties into Local Ones

Francesco Santini, Ilaria Matteucci, I. Matteucci, 2016, DPM/QASA@ESORICS.

A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming

Stefano Bistarelli, Francesco Santini, Paola Campli, 2012, SAC '12.

Securely Accessing Shared Resources with Concurrent Constraint Programming

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2012, SEFM.

Semiring-based constraint models and frameworks for security-related scenarios

Stefano Bistarelli, Francesco Santini, 2012, 2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS).

Automatic Code Generation for the Orchestration of Web Services with Reo

Farhad Arbab, Hamideh Afsarmanesh, Francesco Santini, 2012, ESOCC.

A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2012, Comput. Math. Appl..

A novel weighted defence and its relaxation in abstract argumentation

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2018, Int. J. Approx. Reason..

Residuation for bipolar preferences in soft constraints

Fabio Gadducci, Francesco Santini, 2017, Inf. Process. Lett..

An asymmetric fingerprint matching algorithm for Java Card TM

Stefano Bistarelli, Francesco Santini, Anna Vaccarelli, 2006, Pattern Analysis and Applications.

Soft Constraints for Dependable Service Oriented Architectures

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2009, WADS.

A Secure Non-monotonic Soft Concurrent Constraint Language

Stefano Bistarelli, Francesco Santini, 2014, Fundam. Informaticae.

A First Comparison of Abstract Argumentation Reasoning-Tools

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2014, ECAI.

Debating Cybersecurity or Securing a Debate? - (Position Paper)

Francesco Santini, Fabio Martinelli, 2014, FPS.

A multi-criteria ranking of security countermeasures

Andrea Bondavalli, Felicita Di Giandomenico, Francesco Santini, 2016, SAC.

Modeling and simulation of selected operational IT risks in the banking sector

Farhad Arbab, Francesco Santini, Christoph Brandt, 2012 .

Timed Soft Concurrent Constraint Programs

Maurizio Gabbrielli, Stefano Bistarelli, Francesco Santini, 2008, COORDINATION.

ConArg: A Constraint-Based Computational Framework for Argumentation Systems

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2009, VODCA@FOSAD.

QoS-aware and Behavior-based Approximate Matching of Stateful Web Services

Farhad Arbab, Hamideh Afsarmanesh, Francesco Santini, 2017 .

Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2018, J. Log. Comput..

Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks

Stefano Bistarelli, Francesco Santini, Carlo Taticchi, 2018, AI³@AI*IA.

Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation

Stefano Bistarelli, Francesco Santini, 2018, KR.

ConArg: A Tool for Classical and Weighted Argumentation

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2016, COMMA.

Session details: Theme: AI and agents: KRR - Knowledge representation and reasoning track

Stefano Bistarelli, Francesco Santini, Eric Monfroy, 2019, SAC 2019.

Preference and Similarity-Based Behavioral Discovery of Services

Farhad Arbab, Francesco Santini, 2012, WS-FM.

Coalitions of Arguments: An Approach with Constraint Programming

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2013, Fundam. Informaticae.

A Comparative Test on the Enumeration of Extensions in Abstract Argumentation

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2015, Fundam. Informaticae.

Unicast and multicast QoS routing with soft-constraint logic programming

Francesca Rossi, Stefano Bistarelli, Ugo Montanari, 2007, TOCL.

A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report

Stefano Bistarelli, Francesco Santini, Ivan Mercanti, 2018, Euro-Par Workshops.

C-semiring Frameworks for Minimum Spanning Tree Problems

Stefano Bistarelli, Francesco Santini, Francesco Santini, 2009, WADT.

Soft constraint tools for quality aspects: language, frameworks and aggregation schemes

Francesco Santini, Francesco Santini, 2009 .

From Marriages to Coalitions: A Soft CSP Approach

Barry O'Sullivan, Simon N. Foley, Stefano Bistarelli, 2009, CSCLP.

Orchestrating web services using Reo: from circuits and behaviors to automatically generated code

Farhad Arbab, Hamideh Afsarmanesh, Francesco Santini, 2014, Service Oriented Computing and Applications.

CapBAC in Hyperledger Sawtooth

Stefano Bistarelli, Francesco Santini, Claudio Pannacci, 2019, DAIS.

An end-to-end voting-system based on bitcoin

Stefano Bistarelli, Francesco Santini, Paolo Santancini, 2017, SAC.

ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints pdf

Stefano Bistarelli, Francesco Santini, 2012, ArXiv.

A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints

Stefano Bistarelli, Francesco Santini, Fabio Martinelli, 2010, ATC.

Properties and Implementation of a Two-Step Ranking-Based Semantics: On Revising NaE and SC

Francesco Santini, 2017, 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI).

A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2016, FLAIRS Conference.

Two trust networks in one: Using bipolar structures to fuse trust and distrust

Stefano Bistarelli, Francesco Santini, 2014, 2014 Twelfth Annual International Conference on Privacy, Security and Trust.

Containerisation and Dynamic Frameworks in ICCMA'19

Stefano Bistarelli, Francesco Santini, Lars Kotthoff, 2018, SAFA@COMMA.

A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics

Stefano Bistarelli, Francesco Santini, 2017, LPNMR.

Solving Fuzzy Distributed CSPs: An Approach with Naming Games

Stefano Bistarelli, Francesco Santini, Giorgio Gosti, 2012, DALT.

Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic

Stefano Bistarelli, Francesco Santini, Fabio Rossi, 2014, CLIMA.

From Arguments and Reviewers to their Simulation - Reproducing a Case-Study

Francesco Santini, Simone Gabbriellini, Francesco Santini, 2016, ICAART.

Managing Quality of Service with Soft Constraints

Francesco Santini, 2008, AAAI.

Network security supported by arguments

Francesco Santini, Fabio Martinelli, Artsiom Yautsiukhin, 2015, 2015 13th Annual Conference on Privacy, Security and Trust (PST).

A Cooperative-game Approach to Share Acceptability and Rank Arguments

Stefano Bistarelli, Francesco Santini, Carlo Taticchi, 2018, AI³@AI*IA.

A simple risk tool (the OBSERVANT score) for prediction of 30-day mortality after transcatheter aortic valve replacement.

Francesco Santini, Marco Ranucci, Marco Barbanti, 2014, The American journal of cardiology.

Mortality in Multicenter Critical Care Trials: An Analysis of Interventions With a Significant Effect*

Francesco Santini, Antonio Pisano, Rinaldo Bellomo, 2015, Critical care medicine.

Clinical presentation is the main predictor of in-hospital death for patients with acute type A aortic dissection admitted for surgical treatment: a 25 years experience.

Francesco Santini, Antonio Messina, Giovanni Battista Luciani, 2007, International journal of cardiology.

Randomized evidence for reduction of perioperative mortality.

Francesco Santini, Andrea Morelli, Elena Bignami, 2012, Journal of cardiothoracic and vascular anesthesia.