Publications

Copyright Notice: Since most of these papers are published, the copyright has been transferred to the respective publishers. Therefore, the papers cannot be duplicated for commercial purposes. The following is ACM's copyright notice; other publishers have similar ones. 

Copyright ©200x by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that new copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted.



Journals

  • "On Merging Two Trust-Networksin 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 Accesl Control with Weighted Credentials", S. Bistarelli, Fabio Martinelli, Francesco Santini, Computer & Mathematics with Applications, Elsevier (2012) pdf.
  • "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) pdf.
  • "A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process", S. Bistarelli, Francesco Santini:  Fundam. Inform. 111(3): 257-279 (2011) pdf.
  • "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) pdf.
  • 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) pdf
  • "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) pdf
  • "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. pdf
  • "An asymmetric fingerprint matching algorithm for Java Card TM", S. Bistarelli, F. Santini, A. Vaccarelli, . Pattern Anal. Appl. 9(4): 359-376 (2006). pdf


Workshops and Conferences 

2015
  • "A Labelled Semantics for Soft Concurrent Constraint Programming", F. Gadducci, F. Santini, Luis F. Pino, F. Valencia, Coordination Models and Languages (COORDINATION 2015), Springer.
  • "Semiring-based Specification Approaches for Quantitative Security". Fabio Martinelli, Ilaria Matteucci, Francesco Santini. Quantitative Aspects of Programming Languages and Systems (QAPL). EPTCS.
  • "Argument-based Constraint Logic Programming in Satisfiability Modulo CHR". Francesco Santini. 12th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS). LNCS Springer.

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, 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, 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 SargolzaeiFarhad ArbabHamideh 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) pdf 
  • "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, to appear.
  • "A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming", S. Bistarelli, P. Campli, F. Santini:  SAC 2012: 1551-1553 pdf.
  • "Modeling and Solving AFs with a Constraint-Based Tool: ConArg", S. Bistarelli, F. Santini, TAFA 2011: 99-116 pdf.


2011
  • "Finding partitions of arguments with Dung's properties via SCSPs", S. Bistarelli, P. Campli, F. Santini, SAC 2011: 913-919 pdf.
  • "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 pdf 
  • "Solving Fuzzy DCSPs with Naming Games" S. Bistarelli, G. Gosti, F. Santini, ICTAI 2011: 930-931 pdf
  • "Negotiation on mobile devices using Weighted RTML Credentials", S. Bistarelli, F. Martinelli, F. Roperti, F. Santini, to appear in Springer, ItAIS 2011 doc 
  • "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, link
  • "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 pdf.
  • "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 pdf
  • “Solving Weighted Argumentation Frameworks with Soft Constraints”, S. Bistarelli, D. Pirolandi, F. Santini CILC 2010 - Italian Conference on Computational Logic.
  • "Solving Weighted Argumentation Frameworks with Soft Constraints", S. Bistarelli, D. Pirolandi, F. Santini, CSCLP 2009: 1-18 pdf
  • “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 pdf


2009

  • "Soft Constraints for Quality Aspects in Service Oriented Architectures", S. Bistarelli, F. Santini:  YR-SOC 2009: 51-65 pdf
  • "A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation", S. Bistarelli, F. Santini: Electr. Notes Theor. Comput. Sci. 236: 147-162 (2009) pdf
  • "Constraint-based Languages to Model the Blood Coagulation Cascade", S. Bistarelli, M. Bottalico, F. Santini: Logic-based approaches in Bioinformatics Workshop@AI*IA pdf
  • "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 pdf
  • "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).
  • S. Bistarelli, F. Gadducci, E. Rollon and F. Santini, Extending Soft Arc Consistency Algorithms to Non-Invertible Semirings, with an Application to Multi-Criteria Problems. Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (2009). Informal proc.


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


2007

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

2005

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


Magazines
  • “Match on Card” e Firma Figitale, S.Bistarelli, S.Frassi, F.Santini, A.Vaccarelli, ICT Security n.46, ISSN: 1724-1967, 2006.
  • "Constraint Satisfaction and Programming", S. Bistarelli, F.Santini. The Reasoner, Volume 1 - Number 4, April 2008.


PhD thesis
  • Ph.D. in Computer Science and Engineering. Title of the thesis: “Soft constraints Tools for Quality Aspects: Languages, Frameworks and Aggregation Schemes”, Istituto di Studi Avanzati IMT-Lucca, Advisor: Stefano Bistarelli, Internal Supervision Board: Stefano Bistarelli, Fabio Martinelli, Ugo Montanari. Thesis defense: 16th April 2009. pdf