generated by bibbase.org
  2024 (1)
A concurrent language for modelling agents arguing on a shared argumentation space. Bistarelli, S.; and Taticchi, C. Argument Comput., 15(1): 21–48. 2024.
A concurrent language for modelling agents arguing on a shared argumentation space [link]Paper   doi   link   bibtex  
  2023 (17)
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Bistarelli, S.; Nicola, R. D.; Galletta, L.; Laneve, C.; Mercanti, I.; and Veschetti, A. Concurr. Comput. Pract. Exp., 35(16). 2023.
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays [link]Paper   doi   link   bibtex  
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems. Bistarelli, S.; Faloci, F.; and Mori, P. Future Gener. Comput. Syst., 149: 679–700. 2023.
*-chain: A framework for automating the modeling of blockchain based supply chain tracing systems [link]Paper   doi   link   bibtex  
Timed concurrent language for argumentation with maximum parallelism. Bistarelli, S.; Meo, M. C.; and Taticchi, C. J. Log. Comput., 33(4): 712–737. 2023.
Timed concurrent language for argumentation with maximum parallelism [link]Paper   doi   link   bibtex  
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics. Bistarelli, S.; and Taticchi, C. J. Log. Comput., 33(8): 1872–1897. 2023.
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics [link]Paper   doi   link   bibtex  
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. Bistarelli, S.; Taticchi, C.; and Meo, M. C. Theory Pract. Log. Program., 23(6): 1307–1333. 2023.
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games [link]Paper   doi   link   bibtex  
A Survey of Steganography Tools at Layers 2-4 and HTTP. Bistarelli, S.; Ceccarelli, M.; Luchini, C.; Mercanti, I.; and Santini, F. In Proceedings of the 18th International Conference on Availability, Reliability and Security, ARES 2023, Benevento, Italy, 29 August 2023- 1 September 2023, pages 81:1–81:9, 2023. ACM
A Survey of Steganography Tools at Layers 2-4 and HTTP [link]Paper   doi   link   bibtex  
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation. Bistarelli, S.; Meo, M. C.; and Taticchi, C. In Alfano, G.; and Ferilli, S., editor(s), Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation [pdf]Paper   link   bibtex  
Deriving Dependency Graphs from Abstract Argumentation Frameworks. Bistarelli, S.; and Taticchi, C. In Basili, R.; Lembo, D.; Limongelli, C.; and Orlandini, A., editor(s), AIxIA 2023 - Advances in Artificial Intelligence - XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings, volume 14318, of Lecture Notes in Computer Science, pages 17–29, 2023. Springer
Deriving Dependency Graphs from Abstract Argumentation Frameworks [link]Paper   doi   link   bibtex  
Temporal Probabilistic Argumentation Frameworks. Bistarelli, S.; David, V.; Santini, F.; and Taticchi, C. In Dovier, A.; and Formisano, A., editor(s), Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023, volume 3428, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Temporal Probabilistic Argumentation Frameworks [pdf]Paper   link   bibtex  
Modeling Carne PRI supply chain with the *-Chain Platform. Bistarelli, S.; Faloci, F.; Mori, P.; Taticchi, C.; and Miculan, M. In Mori, P.; Visconti, I.; and Bistarelli, S., editor(s), Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023, volume 3460, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Modeling Carne PRI supply chain with the *-Chain Platform [pdf]Paper   link   bibtex  
Enforcing Confidentiality in Tornado Cash-based E-voting Systems. Bistarelli, S.; Mercanti, I.; and Santini, F. In Mori, P.; Visconti, I.; and Bistarelli, S., editor(s), Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023, volume 3460, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Enforcing Confidentiality in Tornado Cash-based E-voting Systems [pdf]Paper   link   bibtex  
Towards a Temporal Probabilistic Argumentation Framework. Bistarelli, S.; David, V.; Santini, F.; and Taticchi, C. In Franklin, M.; and Chun, S. A., editor(s), Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2023, Clearwater Beach, FL, USA, May 14-17, 2023, 2023. AAAI Press
Towards a Temporal Probabilistic Argumentation Framework [link]Paper   doi   link   bibtex  
A Survey on Decentralized Identifier Methods for Self Sovereign Identity. Bistarelli, S.; Micheli, F.; and Santini, F. In Buccafurri, F.; Ferrari, E.; and Lax, G., editor(s), Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023, volume 3488, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
A Survey on Decentralized Identifier Methods for Self Sovereign Identity [pdf]Paper   link   bibtex  
A TCP-based Covert Channel with Integrity Check and Retransmission. Bistarelli, S.; Imparato, A.; and Santini, F. In 20th Annual International Conference on Privacy, Security and Trust, PST 2023, Copenhagen, Denmark, August 21-23, 2023, pages 1–7, 2023. IEEE
A TCP-based Covert Channel with Integrity Check and Retransmission [link]Paper   doi   link   bibtex  
Towards automated verification of Bitcoin-based decentralised applications. Bistarelli, S.; Bracciali, A.; Klomp, R.; and Mercanti, I. In Hong, J.; Lanperne, M.; Park, J. W.; Cerný, T.; and Shahriar, H., editor(s), Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023, pages 262–269, 2023. ACM
Towards automated verification of Bitcoin-based decentralised applications [link]Paper   doi   link   bibtex  
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023. Mori, P.; Visconti, I.; and Bistarelli, S., editors. Volume 3460, of CEUR Workshop Proceedings.CEUR-WS.org. 2023.
Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), Bologna, Italy, May 25-26, 2023 [link]Paper   link   bibtex  
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. Bistarelli, S.; Meo, M. C.; and Taticchi, C. CoRR, abs/2306.07675. 2023.
An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games [link]Paper   doi   link   bibtex   1 download  
  2022 (12)
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks. Bistarelli, S.; and Taticchi, C. J. Log. Comput., 32(2): 281–306. 2022.
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks [link]Paper   doi   link   bibtex   4 downloads  
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time. Bistarelli, S.; David, V.; Santini, F.; and Taticchi, C. In Confalonieri, R.; and Porello, D., editor(s), Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022, volume 3354, of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Computing Grounded Semantics of Uncontroversial Acyclic Constellation Probabilistic Argumentation in Linear Time [pdf]Paper   link   bibtex  
Deriving Dependency Graphs from Abstract Argumentation Frameworks: a Preliminary Report. Bistarelli, S.; and Taticchi, C. In Confalonieri, R.; and Porello, D., editor(s), Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022, volume 3354, of CEUR Workshop Proceedings, 2022. CEUR-WS.org
Deriving Dependency Graphs from Abstract Argumentation Frameworks: a Preliminary Report [pdf]Paper   link   bibtex  
Blockchain and IoT Integration for Pollutant Emission Control. Bistarelli, S.; Marcozzi, M.; Mazzante, G.; Mostarda, L.; Navarra, A.; and Sestili, D. In Barolli, L.; Hussain, F.; and Enokido, T., editor(s), Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3, volume 451, of Lecture Notes in Networks and Systems, pages 255–264, 2022. Springer
Blockchain and IoT Integration for Pollutant Emission Control [link]Paper   doi   link   bibtex  
A Four-State Labelling Semantics for Weighted Argumentation Frameworks. Bistarelli, S.; and Taticchi, C. In Calegari, R.; Ciatto, G.; and Omicini, A., editor(s), Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022, volume 3204, of CEUR Workshop Proceedings, pages 279–293, 2022. CEUR-WS.org
A Four-State Labelling Semantics for Weighted Argumentation Frameworks [pdf]Paper   link   bibtex  
An Argumentative Explanation of Machine Learning Outcomes. Bistarelli, S.; Mancinelli, A.; Santini, F.; and Taticchi, C. In Toni, F.; Polberg, S.; Booth, R.; Caminada, M.; and Kido, H., editor(s), Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022, volume 353, of Frontiers in Artificial Intelligence and Applications, pages 347–348, 2022. IOS Press
An Argumentative Explanation of Machine Learning Outcomes [link]Paper   doi   link   bibtex  
An E-Voting System Based on Tornado Cash. Bistarelli, S.; Montalvo, B. L. L. T.; Mercanti, I.; and Santini, F. In Saracino, A.; and Mori, P., editor(s), Emerging Technologies for Authorization and Authentication - 5th International Workshop, ETAA 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers, volume 13782, of Lecture Notes in Computer Science, pages 120–135, 2022. Springer
An E-Voting System Based on Tornado Cash [link]Paper   doi   link   bibtex  
Arg-XAI: a Tool for Explaining Machine Learning Results. Bistarelli, S.; Mancinelli, A.; Santini, F.; and Taticchi, C. In Reformat, M. Z.; Zhang, D.; and Bourbakis, N. G., editor(s), 34th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2022, Macao, China, October 31 - November 2, 2022, pages 205–212, 2022. IEEE
Arg-XAI: a Tool for Explaining Machine Learning Results [link]Paper   doi   link   bibtex   1 download  
On Identifying Repeated Patterns of OT Attacks with LOGistICS. Bistarelli, S.; Bosimini, E.; and Santini, F. In Demetrescu, C.; and Mei, A., editor(s), Proceedings of the Italian Conference on Cybersecurity (ITASEC 2022), Rome, Italy, June 20-23, 2022, volume 3260, of CEUR Workshop Proceedings, pages 17–29, 2022. CEUR-WS.org
On Identifying Repeated Patterns of OT Attacks with LOGistICS [pdf]Paper   link   bibtex  
Olive Oil as Case Study for the *-Chain Platform. Bistarelli, S.; Faloci, F.; Mori, P.; and Taticchi, C. In Pizzonia, M.; and Vitaletti, A., editor(s), Proceedings of the 4th Workshop on Distributed Ledger Technology co-located with the Italian Conference on Cybersecurity 2022 (ITASEC 2022), Rome, Italy, June 20, 2022, volume 3166, of CEUR Workshop Proceedings, pages 94–102, 2022. CEUR-WS.org
Olive Oil as Case Study for the *-Chain Platform [pdf]Paper   link   bibtex  
A Definition of Sceptical Semantics in the Constellations Approach. Bistarelli, S.; and Santini, F. In Gottlob, G.; Inclezan, D.; and Maratea, M., editor(s), Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, volume 13416, of Lecture Notes in Computer Science, pages 62–74, 2022. Springer
A Definition of Sceptical Semantics in the Constellations Approach [link]Paper   doi   link   bibtex  
Timed Concurrent Language for Argumentation: An Interleaving Approach. Bistarelli, S.; Meo, M. C.; and Taticchi, C. In Cheney, J.; and Perri, S., editor(s), Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings, volume 13165, of Lecture Notes in Computer Science, pages 101–116, 2022. Springer
Timed Concurrent Language for Argumentation: An Interleaving Approach [link]Paper   doi   link   bibtex  
  2021 (14)
Summary Report for the Third International Competition On Computational Models of Argumentation. Bistarelli, S.; Kotthoff, L.; Santini, F.; and Taticchi, C. AI Mag., 42(3): 70–73. 2021.
Summary Report for the Third International Competition On Computational Models of Argumentation [link]Paper   doi   link   bibtex  
Weighted Argumentation. Bistarelli, S.; and Santini, F. FLAP, 8(6): 1589–1622. 2021.
Weighted Argumentation [link]Paper   link   bibtex  
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs. Bistarelli, S.; Rossi, F.; and Santini, F. Inf. Process. Lett., 169: 106107. 2021.
Kruskal with embedded C-semirings to solve MST problems with partially-ordered costs [link]Paper   doi   link   bibtex  
ConArgLib: an argumentation library with support to search strategies and parallel search. Bistarelli, S.; Rossi, F.; and Santini, F. J. Exp. Theor. Artif. Intell., 33(6): 891–918. 2021.
ConArgLib: an argumentation library with support to search strategies and parallel search [link]Paper   doi   link   bibtex  
A Medium-Interaction Emulation and Monitoring System for Operational Technology. Bistarelli, S.; Bosimini, E.; and Santini, F. In Reinhardt, D.; and Müller, T., editor(s), ARES 2021: The 16th International Conference on Availability, Reliability and Security, Vienna, Austria, August 17-20, 2021, pages 118:1–118:7, 2021. ACM
A Medium-Interaction Emulation and Monitoring System for Operational Technology [link]Paper   doi   link   bibtex  
Concurrent Argumentation with Time: an Overview. Bistarelli, S.; Meo, M. C.; and Taticchi, C. In D'Agostino, M.; D'Asaro, F. A.; and Larese, C., editor(s), Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy, November 29th, 2021, volume 3086, of CEUR Workshop Proceedings, 2021. CEUR-WS.org
Concurrent Argumentation with Time: an Overview [pdf]Paper   link   bibtex  
A Chatbot Extended with Argumentation. Bistarelli, S.; Taticchi, C.; and Santini, F. In D'Agostino, M.; D'Asaro, F. A.; and Larese, C., editor(s), Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy, November 29th, 2021, volume 3086, of CEUR Workshop Proceedings, 2021. CEUR-WS.org
A Chatbot Extended with Argumentation [pdf]Paper   link   bibtex  
*.chain: automatic coding of smart contracts and user interfaces for supply chains. Bistarelli, S.; Faloci, F.; and Mori, P. In Third International Conference on Blockchain Computing and Applications, BCCA 2021, Tartu, Estonia, November 15-17, 2021, pages 164–171, 2021. IEEE
*.chain: automatic coding of smart contracts and user interfaces for supply chains [link]Paper   doi   link   bibtex  
Timed Concurrent Language for Argumentation. Bistarelli, S.; Meo, M. C.; and Taticchi, C. In Monica, S.; and Bergenti, F., editor(s), Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021, volume 3002, of CEUR Workshop Proceedings, pages 1–15, 2021. CEUR-WS.org
Timed Concurrent Language for Argumentation [pdf]Paper   link   bibtex  
Towards a Graphical DSL for Tracing Supply Chains on Blockchain. Bistarelli, S.; Faloci, F.; and Mori, P. In Chaves, R.; Heras, D. B.; Ilic, A.; Unat, D.; Badia, R. M.; Bracciali, A.; Diehl, P.; Dubey, A.; Sangyoon, O.; Scott, S. L.; and Ricci, L., editor(s), Euro-Par 2021: Parallel Processing Workshops - Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers, volume 13098, of Lecture Notes in Computer Science, pages 219–229, 2021. Springer
Towards a Graphical DSL for Tracing Supply Chains on Blockchain [link]Paper   doi   link   bibtex  
Extending Labelling Semantics to Weighted Argumentation Frameworks. Taticchi, C.; and Bistarelli, S. In Bell, E.; and Keshtkar, F., editor(s), Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, North Miami Beach, Florida, USA, May 17-19, 2021, 2021.
Extending Labelling Semantics to Weighted Argumentation Frameworks [link]Paper   doi   link   bibtex   1 download  
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision. Bistarelli, S.; and Taticchi, C. In Coen, C. S.; and Salvo, I., editor(s), Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13-15, 2021, volume 3072, of CEUR Workshop Proceedings, pages 93–106, 2021. CEUR-WS.org
A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision [pdf]Paper   link   bibtex  
Introducing a Tool for Concurrent Argumentation. Bistarelli, S.; and Taticchi, C. In Faber, W.; Friedrich, G.; Gebser, M.; and Morak, M., editor(s), Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings, volume 12678, of Lecture Notes in Computer Science, pages 18–24, 2021. Springer
Introducing a Tool for Concurrent Argumentation [link]Paper   doi   link   bibtex  
Highlighting poor anonymity and security practice in the blockchain of Bitcoin. Bistarelli, S.; Mercanti, I.; Faloci, F.; and Santini, F. In Hung, C.; Hong, J.; Bechini, A.; and Song, E., editor(s), SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021, pages 265–272, 2021. ACM
Highlighting poor anonymity and security practice in the blockchain of Bitcoin [link]Paper   doi   link   bibtex  
  2020 (13)
Energy allocation and payment: a game-theoretic approach. Giuliodori, P.; Bistarelli, S.; and Mugnai, D. Ann. Math. Artif. Intell., 88(7): 793–816. 2020.
Energy allocation and payment: a game-theoretic approach [link]Paper   doi   link   bibtex  
Abstract argumentation and (optimal) stable marriage problems. Bistarelli, S.; and Santini, F. Argument Comput., 11(1-2): 15–40. 2020.
Abstract argumentation and (optimal) stable marriage problems [link]Paper   doi   link   bibtex  
Probabilistic abstract argumentation frameworks, a possible world view. Mantadelis, T.; and Bistarelli, S. Int. J. Approx. Reason., 119: 204–219. 2020.
Probabilistic abstract argumentation frameworks, a possible world view [link]Paper   doi   link   bibtex  
Ethereum smart contracts: Analysis and statistics of their source code and opcodes. Bistarelli, S.; Mazzante, G.; Micheletti, M.; Mostarda, L.; Sestili, D.; and Tiezzi, F. Internet Things, 11: 100198. 2020.
Ethereum smart contracts: Analysis and statistics of their source code and opcodes [link]Paper   doi   link   bibtex  
A Concurrent Language for Argumentation. Bistarelli, S.; and Taticchi, C. In Fazzinga, B.; Furfaro, F.; and Parisi, F., editor(s), Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Online, November 25-26, 2020, volume 2777, of CEUR Workshop Proceedings, pages 75–89, 2020. CEUR-WS.org
A Concurrent Language for Argumentation [pdf]Paper   link   bibtex  
A First Overview of ICCMA'19. Bistarelli, S.; Kotthoff, L.; Santini, F.; and Taticchi, C. In Fazzinga, B.; Furfaro, F.; and Parisi, F., editor(s), Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Online, November 25-26, 2020, volume 2777, of CEUR Workshop Proceedings, pages 90–102, 2020. CEUR-WS.org
A First Overview of ICCMA'19 [pdf]Paper   link   bibtex   1 download  
Towards an Implementation of a Concurrent Language for Argumentation. Bistarelli, S.; and Taticchi, C. In Baldoni, M.; and Bandini, S., editor(s), AIxIA 2020 - Advances in Artificial Intelligence - XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers, volume 12414, of Lecture Notes in Computer Science, pages 154–171, 2020. Springer
Towards an Implementation of a Concurrent Language for Argumentation [link]Paper   doi   link   bibtex  
A Concurrent Language for Argumentation: Preliminary Notes. Bistarelli, S.; and Taticchi, C. In de Boer, F. S.; and Mauro, J., editor(s), Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy, volume 86, of OASIcs, pages 9:1–9:22, 2020. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
A Concurrent Language for Argumentation: Preliminary Notes [link]Paper   doi   link   bibtex  
A Labelling Semantics for Weighted Argumentation Frameworks. Bistarelli, S.; and Taticchi, C. In Calimeri, F.; Perri, S.; and Zumpano, E., editor(s), Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020, volume 2710, of CEUR Workshop Proceedings, pages 263–277, 2020. CEUR-WS.org
A Labelling Semantics for Weighted Argumentation Frameworks [pdf]Paper   link   bibtex  
Ranking-Based Semantics from the Perspective of Claims. Bistarelli, S.; Dvorák, W.; Taticchi, C.; and Woltran, S. In Prakken, H.; Bistarelli, S.; Santini, F.; and Taticchi, C., editor(s), Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020, volume 326, of Frontiers in Artificial Intelligence and Applications, pages 111–122, 2020. IOS Press
Ranking-Based Semantics from the Perspective of Claims [link]Paper   doi   link   bibtex  
A Report on the Security of Home Connections with IoT and Docker Honeypots. Bistarelli, S.; Bosimini, E.; and Santini, F. In Loreti, M.; and Spalazzi, L., editor(s), Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020, volume 2597, of CEUR Workshop Proceedings, pages 60–70, 2020. CEUR-WS.org
A Report on the Security of Home Connections with IoT and Docker Honeypots [pdf]Paper   link   bibtex  
A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems. Bistarelli, S. In Ceberio, M.; and Kreinovich, V., editor(s), Decision Making under Constraints, volume 276, pages 33–43. Springer, 2020.
A Short Introduction to Collective Defense in Weighted Abstract Argumentation Problems [link]Paper   doi   link   bibtex  
Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020. Prakken, H.; Bistarelli, S.; Santini, F.; and Taticchi, C., editors. Volume 326, of Frontiers in Artificial Intelligence and Applications.IOS Press. 2020.
Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020 [link]Paper   doi   link   bibtex  
  2019 (18)
An Analysis of Non-standard Transactions. Bistarelli, S.; Mercanti, I.; and Santini, F. Frontiers Blockchain, 2: 7. 2019.
An Analysis of Non-standard Transactions [link]Paper   doi   link   bibtex  
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017. Bistarelli, S.; Santini, F.; and Torroni, P. Fundam. Informaticae, 166(2): 139–140. 2019.
Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017 [link]Paper   doi   link   bibtex  
End-to-End Voting with Non-Permissioned and Permissioned Ledgers. Bistarelli, S.; Mercanti, I.; Santancini, P.; and Santini, F. J. Grid Comput., 17(1): 97–118. 2019.
End-to-End Voting with Non-Permissioned and Permissioned Ledgers [link]Paper   doi   link   bibtex  
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence. Dondio, P.; Longo, L.; and Bistarelli, S. Intelligenza Artificiale, 13(2): 121–122. 2019.
Preface to the Special Issue on Advances in Argumentation in Artificial Intelligence [link]Paper   doi   link   bibtex  
Power index-based semantics for ranking arguments in abstract argumentation frameworks. Bistarelli, S.; and Taticchi, C. Intelligenza Artificiale, 13(2): 137–154. 2019.
Power index-based semantics for ranking arguments in abstract argumentation frameworks [link]Paper   doi   link   bibtex   2 downloads  
Preliminary Study on Reinstatement Labelling for Weighted Argumentation Frameworks. Bistarelli, S.; and Taticchi, C. In Santini, F.; and Toniolo, A., editor(s), Proceedings of the 3rd Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), Rende, Italy, November 19-22, 2019, volume 2528, of CEUR Workshop Proceedings, pages 45–49, 2019. CEUR-WS.org
Preliminary Study on Reinstatement Labelling for Weighted Argumentation Frameworks [pdf]Paper   link   bibtex  
An Introduction to Optimal Stable Marriage Problems and Argumentation Frameworks. Bistarelli, S.; and Santini, F. In Santini, F.; and Toniolo, A., editor(s), Proceedings of the 3rd Workshop on Advances In Argumentation In Artificial Intelligence co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), Rende, Italy, November 19-22, 2019, volume 2528, of CEUR Workshop Proceedings, pages 80–84, 2019. CEUR-WS.org
An Introduction to Optimal Stable Marriage Problems and Argumentation Frameworks [pdf]Paper   link   bibtex  
Analysis of Ethereum Smart Contracts and Opcodes. Bistarelli, S.; Mazzante, G.; Micheletti, M.; Mostarda, L.; and Tiezzi, F. In Barolli, L.; Takizawa, M.; Xhafa, F.; and Enokido, T., editor(s), Advanced Information Networking and Applications - Proceedings of the 33rd International Conference on Advanced Information Networking and Applications, AINA 2019, Matsue, Japan, March 27-29, 2019, volume 926, of Advances in Intelligent Systems and Computing, pages 546–558, 2019. Springer
Analysis of Ethereum Smart Contracts and Opcodes [link]Paper   doi   link   bibtex  
A Tool For Ranking Arguments Through Voting-Games Power Indexes. Bistarelli, S.; Faloci, F.; Santini, F.; and Taticchi, C. In Casagrande, A.; and Omodeo, E. G., editor(s), Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019, volume 2396, of CEUR Workshop Proceedings, pages 193–201, 2019. CEUR-WS.org
A Tool For Ranking Arguments Through Voting-Games Power Indexes [pdf]Paper   link   bibtex   3 downloads  
CapBAC in Hyperledger Sawtooth. Bistarelli, S.; Pannacci, C.; and Santini, F. In Pereira, J.; and Ricci, L., editor(s), Distributed Applications and Interoperable Systems - 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, volume 11534, of Lecture Notes in Computer Science, pages 152–169, 2019. Springer
CapBAC in Hyperledger Sawtooth [link]Paper   doi   link   bibtex  
Implementing Ranking-Based Semantics in ConArg. Bistarelli, S.; Faloci, F.; and Taticchi, C. In 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019, pages 1180–1187, 2019. IEEE
Implementing Ranking-Based Semantics in ConArg [link]Paper   doi   link   bibtex   1 download  
Studying forward looking bubbles in Bitcoin/USD exchange rates. Bistarelli, S.; Figà-Talamanca, G.; Lucarini, F.; and Mercanti, I. In Desai, B. C.; Anagnostopoulos, D.; Manolopoulos, Y.; and Nikolaidou, M., editor(s), Proceedings of the 23rd International Database Applications & Engineering Symposium, IDEAS 2019, Athens, Greece, June 10-12, 2019, pages 15:1–15:9, 2019. ACM
Studying forward looking bubbles in Bitcoin/USD exchange rates [link]Paper   doi   link   bibtex  
A Possible World View and a Normal Form for the Constellation Semantics. Bistarelli, S.; and Mantadelis, T. In Calimeri, F.; Leone, N.; and Manna, M., editor(s), Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, volume 11468, of Lecture Notes in Computer Science, pages 58–68, 2019. Springer
A Possible World View and a Normal Form for the Constellation Semantics [link]Paper   doi   link   bibtex  
Well-Foundedness in Weighted Argumentation Frameworks. Bistarelli, S.; and Santini, F. In Calimeri, F.; Leone, N.; and Manna, M., editor(s), Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, volume 11468, of Lecture Notes in Computer Science, pages 69–84, 2019. Springer
Well-Foundedness in Weighted Argumentation Frameworks [link]Paper   doi   link   bibtex  
Block Argumentation. Arisaka, R.; Santini, F.; and Bistarelli, S. In Baldoni, M.; Dastani, M.; Liao, B.; Sakurai, Y.; and Zalila-Wenkstern, R., editor(s), PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, volume 11873, of Lecture Notes in Computer Science, pages 618–626, 2019. Springer
Block Argumentation [link]Paper   doi   link   bibtex  
Proceedings of the Second Distributed Ledger Technology Workshop, DLT@ITASEC 2019, Pisa, Italy, February 12, 2019. Mori, P.; Bartoletti, M.; and Bistarelli, S., editors. Volume 2334, of CEUR Workshop Proceedings.CEUR-WS.org. 2019.
Proceedings of the Second Distributed Ledger Technology Workshop, DLT@ITASEC 2019, Pisa, Italy, February 12, 2019 [link]Paper   link   bibtex  
Block Argumentation. Arisaka, R.; Bistarelli, S.; and Santini, F. CoRR, abs/1901.06378. 2019.
Block Argumentation [link]Paper   link   bibtex  
Implementing Ranking-Based Semantics in ConArg: a Preliminary Report. Bistarelli, S.; Faloci, F.; and Taticchi, C. CoRR, abs/1908.07784. 2019.
Implementing Ranking-Based Semantics in ConArg: a Preliminary Report [link]Paper   link   bibtex   1 download  
  2018 (24)
Special Issue: Selected Papers from AI\(^\mbox\(∧\)\)3 2017, the 1st Workshop on Advances in Argumentation in Artificial Intelligence. Bistarelli, S.; Giacomin, M.; and Pazienza, A. Intelligenza Artificiale, 12(2): 179–180. 2018.
Special Issue: Selected Papers from AI\(^\mbox\(∧\)\)3 2017, the 1st Workshop on Advances in Argumentation in Artificial Intelligence [link]Paper   doi   link   bibtex  
Architecting the Web of Things for the fog computing era. Mäkitalo, N.; Nocera, F.; Mongiello, M.; and Bistarelli, S. IET Softw., 12(5): 381–389. 2018.
Architecting the Web of Things for the fog computing era [link]Paper   doi   link   bibtex  
A novel weighted defence and its relaxation in abstract argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. Int. J. Approx. Reason., 92: 66–86. 2018.
A novel weighted defence and its relaxation in abstract argumentation [link]Paper   doi   link   bibtex   1 download  
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Bistarelli, S.; Formisano, A.; and Maratea, M. J. Exp. Theor. Artif. Intell., 30(4): 479–480. 2018.
23rd RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" [link]Paper   doi   link   bibtex  
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive. Bistarelli, S.; Rossi, F.; and Santini, F. J. Log. Comput., 28(1): 85–117. 2018.
Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive [link]Paper   doi   link   bibtex  
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks. Bistarelli, S.; Mantadelis, T.; Santini, F.; and Taticchi, C. In Dondio, P.; and Longo, L., editor(s), Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, co-located with XVII International Conference of the Italian Association for Artificial Intelligence, AI\(^3\)@AI*IA 2018, 20-23 November 2018, Trento, Italy, volume 2296, of CEUR Workshop Proceedings, pages 6–10, 2018. CEUR-WS.org
Using MetaProbLog and ConArg to compute Probabilistic Argumentation Frameworks [pdf]Paper   link   bibtex  
A Cooperative-game Approach to Share Acceptability and Rank Arguments. Bistarelli, S.; Giuliodori, P.; Santini, F.; and Taticchi, C. In Dondio, P.; and Longo, L., editor(s), Proceedings of the 2nd Workshop on Advances In Argumentation In Artificial Intelligence, co-located with XVII International Conference of the Italian Association for Artificial Intelligence, AI\(^3\)@AI*IA 2018, 20-23 November 2018, Trento, Italy, volume 2296, of CEUR Workshop Proceedings, pages 86–90, 2018. CEUR-WS.org
A Cooperative-game Approach to Share Acceptability and Rank Arguments [pdf]Paper   link   bibtex  
Local Expansion Invariant Operators in Argumentation Semantics. Bistarelli, S.; Santini, F.; and Taticchi, C. In Liao, B.; Ågotnes, T.; and Wáng, Y. N., editor(s), Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018, pages 45–62, 2018. Springer
Local Expansion Invariant Operators in Argumentation Semantics [link]Paper   doi   link   bibtex  
Containerisation and Dynamic Frameworks in ICCMA'19. Bistarelli, S.; Kotthoff, L.; Santini, F.; and Taticchi, C. In Thimm, M.; Cerutti, F.; and Vallati, M., editor(s), Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), Warsaw, Poland, September 11, 2018, volume 2171, of CEUR Workshop Proceedings, pages 4–9, 2018. CEUR-WS.org
Containerisation and Dynamic Frameworks in ICCMA'19 [pdf]Paper   link   bibtex  
Defence Outsourcing in Argumentation. Arisaka, R.; and Bistarelli, S. In Modgil, S.; Budzynska, K.; and Lawrence, J., editor(s), Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018, volume 305, of Frontiers in Artificial Intelligence and Applications, pages 353–360, 2018. IOS Press
Defence Outsourcing in Argumentation [link]Paper   doi   link   bibtex  
Studying Dynamics in Argumentation with Rob. Bistarelli, S.; Faloci, F.; Santini, F.; and Taticchi, C. In Modgil, S.; Budzynska, K.; and Lawrence, J., editor(s), Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018, volume 305, of Frontiers in Artificial Intelligence and Applications, pages 451–452, 2018. IOS Press
Studying Dynamics in Argumentation with Rob [link]Paper   doi   link   bibtex  
An Analysis of Non-standard Bitcoin Transactions. Mercanti, I.; Bistarelli, S.; and Santini, F. In Crypto Valley Conference on Blockchain Technology, CVCBT 2018, Zug, Switzerland, June 20-22, 2018, pages 93–96, 2018. IEEE
An Analysis of Non-standard Bitcoin Transactions [link]Paper   doi   link   bibtex  
A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report. Bistarelli, S.; Mercanti, I.; and Santini, F. In Mencagli, G.; Heras, D. B.; Cardellini, V.; Casalicchio, E.; Jeannot, E.; Wolf, F.; Salis, A.; Schifanella, C.; Manumachu, R. R.; Ricci, L.; Beccuti, M.; Antonelli, L.; Sánchez, J. D. G.; and Scott, S. L., editor(s), Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers, volume 11339, of Lecture Notes in Computer Science, pages 329–341, 2018. Springer
A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report [link]Paper   doi   link   bibtex  
A Matrix Approach for Weighted Argumentation Frameworks. Bistarelli, S.; Tappini, A.; and Taticchi, C. In Brawner, K.; and Rus, V., editor(s), Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018, pages 507–512, 2018. AAAI Press
A Matrix Approach for Weighted Argumentation Frameworks [link]Paper   link   bibtex  
On Looking for Invariant Operators in Argumentation Semantics. Bistarelli, S.; Santini, F.; and Taticchi, C. In Brawner, K.; and Rus, V., editor(s), Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018, pages 537–540, 2018. AAAI Press
On Looking for Invariant Operators in Argumentation Semantics [link]Paper   link   bibtex   2 downloads  
Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper). Bistarelli, S.; Cretarola, A.; Figà-Talamanca, G.; Mercanti, I.; and Patacca, M. In Coppola, M.; Carlini, E.; D'Agostino, D.; Altmann, J.; and Bañares, J. Á., editor(s), Economics of Grids, Clouds, Systems, and Services - 15th International Conference, GECON 2018, Pisa, Italy, September 18-20, 2018, Proceedings, volume 11113, of Lecture Notes in Computer Science, pages 243–251, 2018. Springer
Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper) [link]Paper   doi   link   bibtex  
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg. Bistarelli, S.; Mantadelis, T.; Santini, F.; and Taticchi, C. In Tsoukalas, L. H.; Grégoire, É.; and Alamaniotis, M., editor(s), IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece, pages 675–679, 2018. IEEE
Probabilistic Argumentation Frameworks with MetaProbLog and ConArg [link]Paper   doi   link   bibtex  
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation. Bistarelli, S.; and Caruso, A. In Aldini, A.; and Bernardo, M., editor(s), Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018, volume 2243, of CEUR Workshop Proceedings, pages 179–190, 2018. CEUR-WS.org
Preliminary Results on the Modeling of System Level Diagnosis Problems with Abstract Argumentation [pdf]Paper   link   bibtex  
A Fair Payment Scheme for Virtuous Community Energy Usage. Giuliodori, P.; Bistarelli, S.; and Mugnai, D. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2018, Fort Lauderdale, Florida, USA, January 3-5, 2018, 2018.
A Fair Payment Scheme for Virtuous Community Energy Usage [pdf]Paper   link   bibtex  
Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later. Bistarelli, S.; Parroccini, M.; and Santini, F. In Ferrari, E.; Baldi, M.; and Baldoni, R., editor(s), Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to - 9th, 2018, volume 2058, of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Visualizing Bitcoin Flows of Ransomware: WannaCry One Week Later [pdf]Paper   link   bibtex  
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation. Bistarelli, S.; and Santini, F. In Thielscher, M.; Toni, F.; and Wolter, F., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, pages 623–624, 2018. AAAI Press
Some Thoughts On Well-Foundedness in Weighted Abstract Argumentation [link]Paper   link   bibtex  
On Looking for Local Expansion Invariants in Argumentation Semantics. Bistarelli, S.; Santini, F.; and Taticchi, C. CoRR, abs/1802.08328. 2018.
On Looking for Local Expansion Invariants in Argumentation Semantics [link]Paper   link   bibtex  
A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report. Bistarelli, S.; Tappini, A.; and Taticchi, C. CoRR, abs/1802.08445. 2018.
A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report [link]Paper   link   bibtex  
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics. Mantadelis, T.; and Bistarelli, S. CoRR, abs/1810.00771. 2018.
A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics [link]Paper   link   bibtex  
  2017 (10)
From Argumentation Frameworks to Voting Systems and Back. Benedetti, I.; and Bistarelli, S. Fundam. Informaticae, 150(1): 25–48. 2017.
From Argumentation Frameworks to Voting Systems and Back [link]Paper   doi   link   bibtex  
On merging two trust-networks in one with bipolar preferences. Bistarelli, S.; and Santini, F. Math. Struct. Comput. Sci., 27(2): 215–233. 2017.
On merging two trust-networks in one with bipolar preferences [link]Paper   doi   link   bibtex  
Go with the -Bitcoin- Flow, with Visual Analytics. Bistarelli, S.; and Santini, F. In Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29 - September 01, 2017, pages 38:1–38:6, 2017. ACM
Go with the -Bitcoin- Flow, with Visual Analytics [link]Paper   doi   link   bibtex  
A ConArg-based Library for Abstract Argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. In Bistarelli, S.; Giacomin, M.; and Pazienza, A., editor(s), Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, AI\(^3\)@AI*IA 2017, Bari, Italy, November 16-17, 2017, volume 2012, of CEUR Workshop Proceedings, pages 7–21, 2017. CEUR-WS.org
A ConArg-based Library for Abstract Argumentation [pdf]Paper   link   bibtex   6 downloads  
A ConArg-Based Library for Abstract Argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. In 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017, pages 374–381, 2017. IEEE Computer Society
A ConArg-Based Library for Abstract Argumentation [link]Paper   doi   link   bibtex   6 downloads  
PrOnto: an Ontology Driven Business Process Mining Tool. Bistarelli, S.; Noia, T. D.; Mongiello, M.; and Nocera, F. In Zanni-Merk, C.; Frydman, C. S.; Toro, C.; Hicks, Y.; Howlett, R. J.; and Jain, L. C., editor(s), Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, Marseille, France, 6-8 September 2017, volume 112, of Procedia Computer Science, pages 306–315, 2017. Elsevier
PrOnto: an Ontology Driven Business Process Mining Tool [link]Paper   doi   link   bibtex  
A Quantitative Partial Model-Checking Function and Its Optimisation. Bistarelli, S.; Martinelli, F.; Matteucci, I.; and Santini, F. In Eiter, T.; and Sands, D., editor(s), LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017, volume 46, of EPiC Series in Computing, pages 319–337, 2017. EasyChair
A Quantitative Partial Model-Checking Function and Its Optimisation [link]Paper   doi   link   bibtex  
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics. Bistarelli, S.; and Santini, F. In Balduccini, M.; and Janhunen, T., editor(s), Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings, volume 10377, of Lecture Notes in Computer Science, pages 49–56, 2017. Springer
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semantics [link]Paper   doi   link   bibtex   1 download  
An end-to-end voting-system based on bitcoin. Bistarelli, S.; Mantilacci, M.; Santancini, P.; and Santini, F. In Seffah, A.; Penzenstadler, B.; Alves, C.; and Peng, X., editor(s), Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pages 1836–1841, 2017. ACM
An end-to-end voting-system based on bitcoin [link]Paper   doi   link   bibtex  
Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, AI\(^3\)@AI*IA 2017, Bari, Italy, November 16-17, 2017. Bistarelli, S.; Giacomin, M.; and Pazienza, A., editors. Volume 2012, of CEUR Workshop Proceedings.CEUR-WS.org. 2017.
Proceedings of the 1st Workshop on Advances In Argumentation In Artificial Intelligence co-located with XVI International Conference of the Italian Association for Artificial Intelligence, AI\(^3\)@AI*IA 2017, Bari, Italy, November 16-17, 2017 [link]Paper   link   bibtex  
  2016 (10)
Preface. Bistarelli, S.; Formisano, A.; Maratea, M.; and Torroni, P. Fundam. Informaticae, 149(1-2): v–vii. 2016.
Preface [link]Paper   doi   link   bibtex  
Theoretical Computer Science in Italy. Bistarelli, S.; and Formisano, A. Theor. Comput. Sci., 629: 1. 2016.
Theoretical Computer Science in Italy [link]Paper   doi   link   bibtex  
ConArg: A Tool for Classical and Weighted Argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. In Baroni, P.; Gordon, T. F.; Scheffler, T.; and Stede, M., editor(s), Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12-16 September, 2016, volume 287, of Frontiers in Artificial Intelligence and Applications, pages 463–464, 2016. IOS Press
ConArg: A Tool for Classical and Weighted Argumentation [link]Paper   doi   link   bibtex   6 downloads  
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property. Bistarelli, S.; Martinelli, F.; Matteucci, I.; and Santini, F. In Kouchnarenko, O.; and Khosravi, R., editor(s), Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers, volume 10231, of Lecture Notes in Computer Science, pages 134–152, 2016.
A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property [link]Paper   doi   link   bibtex  
A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks. Bistarelli, S.; Rossi, F.; and Santini, F. In Markov, Z.; and Russell, I., editor(s), Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, USA, May 16-18, 2016, pages 638–643, 2016. AAAI Press
A Collective Defence Against Grouped Attacks for Weighted Abstract Argumentation Frameworks [link]Paper   link   bibtex  
A Mechanism Design Approach for Allocation of Commodities. Bistarelli, S.; Culmone, R.; Giuliodori, P.; and Mugnoz, S. In Bilò, V.; and Caruso, A., editor(s), Proceedings of the 17th Italian Conference on Theoretical Computer Science, Lecce, Italy, September 7-9, 2016, volume 1720, of CEUR Workshop Proceedings, pages 275–279, 2016. CEUR-WS.org
A Mechanism Design Approach for Allocation of Commodities [pdf]Paper   link   bibtex  
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks. Bistarelli, S.; Rossi, F.; and Santini, F. In Michael, L.; and Kakas, A. C., editor(s), Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, volume 10021, of Lecture Notes in Computer Science, pages 127–143, 2016.
A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks [link]Paper   doi   link   bibtex  
Automated adaptation via quantitative partial model checking. Bistarelli, S.; Santini, F.; Martinelli, F.; and Matteucci, I. In Ossowski, S., editor(s), Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, pages 1993–1996, 2016. ACM
Automated adaptation via quantitative partial model checking [link]Paper   doi   link   bibtex  
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. Bistarelli, S.; Formisano, A.; and Maratea, M., editors. Volume 1745, of CEUR Workshop Proceedings.CEUR-WS.org. 2016.
Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016 [link]Paper   link   bibtex  
Mechanism Design Approach for Energy Efficiency. Bistarelli, S.; Culmone, R.; Giuliodori, P.; and Mugnoz, S. CoRR, abs/1608.07492. 2016.
Mechanism Design Approach for Energy Efficiency [link]Paper   link   bibtex  
  2015 (5)
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation. Bistarelli, S.; Rossi, F.; and Santini, F. Fundam. Informaticae, 140(3-4): 263–278. 2015.
A Comparative Test on the Enumeration of Extensions in Abstract Argumentation [link]Paper   doi   link   bibtex  
Timed soft concurrent constraint programs: An interleaved and a parallel approach. Bistarelli, S.; Gabbrielli, M.; Meo, M. C.; and Santini, F. Theory Pract. Log. Program., 15(6): 743–782. 2015.
Timed soft concurrent constraint programs: An interleaved and a parallel approach [link]Paper   doi   link   bibtex   2 downloads  
Testing Credulous and Sceptical Acceptance in Small-World Networks. Bistarelli, S.; Rossi, F.; and Santini, F. In Bistarelli, S.; Formisano, A.; and Maratea, M., editor(s), Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015, volume 1451, of CEUR Workshop Proceedings, pages 39–46, 2015. CEUR-WS.org
Testing Credulous and Sceptical Acceptance in Small-World Networks [pdf]Paper   link   bibtex  
Towards visualising security with arguments. Bistarelli, S.; Rossi, F.; Santini, F.; and Taticchi, C. In Ancona, D.; Maratea, M.; and Mascardi, V., editor(s), Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015, volume 1459, of CEUR Workshop Proceedings, pages 197–201, 2015. CEUR-WS.org
Towards visualising security with arguments [pdf]Paper   link   bibtex   1 download  
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. Bistarelli, S.; Formisano, A.; and Maratea, M., editors. Volume 1451, of CEUR Workshop Proceedings.CEUR-WS.org. 2015.
Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015 [link]Paper   link   bibtex  
  2014 (12)
A Secure Non-monotonic Soft Concurrent Constraint Language. Bistarelli, S.; and Santini, F. Fundam. Informaticae, 134(3-4): 261–285. 2014.
A Secure Non-monotonic Soft Concurrent Constraint Language [link]Paper   doi   link   bibtex  
An Improved Role-Based Access to Android Applications with JCHR. Bistarelli, S.; Costantino, G.; Martinelli, F.; and Santini, F. In Ninth International Conference on Availability, Reliability and Security, ARES 2014, Fribourg, Switzerland, September 8-12, 2014, pages 341–348, 2014. IEEE Computer Society
An Improved Role-Based Access to Android Applications with JCHR [link]Paper   doi   link   bibtex  
On Relating Voting Systems and Argumentation Frameworks. Benedetti, I.; Bistarelli, S.; and Piersanti, P. In Giordano, L.; Gliozzi, V.; and Pozzato, G. L., editor(s), Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014, volume 1195, of CEUR Workshop Proceedings, pages 309–313, 2014. CEUR-WS.org
On Relating Voting Systems and Argumentation Frameworks [pdf]Paper   link   bibtex  
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic. Bistarelli, S.; Rossi, F.; and Santini, F. In Bulling, N.; van der Torre, L. W. N.; Villata, S.; Jamroga, W.; and Vasconcelos, W. W., editor(s), Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings, volume 8624, of Lecture Notes in Computer Science, pages 70–86, 2014. Springer
Enumerating Extensions on Random Abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic [link]Paper   doi   link   bibtex  
Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics. Bistarelli, S.; Rossi, F.; and Santini, F. In Parsons, S.; Oren, N.; Reed, C.; and Cerutti, F., editor(s), Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014, volume 266, of Frontiers in Artificial Intelligence and Applications, pages 153–160, 2014. IOS Press
Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics [link]Paper   doi   link   bibtex  
A First Comparison of Abstract Argumentation Reasoning-Tools. Bistarelli, S.; Rossi, F.; and Santini, F. In Schaub, T.; Friedrich, G.; and O'Sullivan, B., editor(s), ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), volume 263, of Frontiers in Artificial Intelligence and Applications, pages 969–970, 2014. IOS Press
A First Comparison of Abstract Argumentation Reasoning-Tools [link]Paper   doi   link   bibtex   2 downloads  
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics. Bistarelli, S.; Rossi, F.; and Santini, F. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, pages 800–804, 2014. IEEE Computer Society
Efficient Solution for Credulous/Sceptical Acceptance in Lower-Order Dung's Semantics [link]Paper   doi   link   bibtex  
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making. Bistarelli, S.; Ceberio, M.; Henderson, J. A.; and Santini, F. In Bistarelli, S.; and Formisano, A., editor(s), Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014, volume 1231, of CEUR Workshop Proceedings, pages 247–257, 2014. CEUR-WS.org
Abstract argumentation frameworks to promote fairness and rationality in multi-experts multi-criteria decision making [pdf]Paper   link   bibtex   1 download  
Preface. Bistarelli, S.; and Formisano, A. In Bistarelli, S.; and Formisano, A., editor(s), Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014, volume 1231, of CEUR Workshop Proceedings, pages i–v, 2014. CEUR-WS.org
Preface [pdf]Paper   link   bibtex  
Two trust networks in one: Using bipolar structures to fuse trust and distrust. Bistarelli, S.; and Santini, F. In Miri, A.; Hengartner, U.; Huang, N.; Jøsang, A.; and García-Alfaro, J., editor(s), 2014 Twelfth Annual International Conference on Privacy, Security and Trust, Toronto, ON, Canada, July 23-24, 2014, pages 383–390, 2014. IEEE Computer Society
Two trust networks in one: Using bipolar structures to fuse trust and distrust [link]Paper   doi   link   bibtex  
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Bistarelli, S.; and Formisano, A., editors. Volume 1231, of CEUR Workshop Proceedings.CEUR-WS.org. 2014.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014 [link]Paper   link   bibtex  
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach. Bistarelli, S.; Gabbrielli, M.; Meo, M. C.; and Santini, F. CoRR, abs/1403.0461. 2014.
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach [link]Paper   link   bibtex  
  2013 (3)
Interchangeability with thresholds and degradation factors for Soft CSPs. Bistarelli, S.; Faltings, B.; and Neagu, N. Ann. Math. Artif. Intell., 67(2): 123–163. 2013.
Interchangeability with thresholds and degradation factors for Soft CSPs [link]Paper   doi   link   bibtex   2 downloads  
Coalitions of Arguments: An Approach with Constraint Programming. Bistarelli, S.; and Santini, F. Fundam. Informaticae, 124(4): 383–401. 2013.
Coalitions of Arguments: An Approach with Constraint Programming [link]Paper   doi   link   bibtex   2 downloads  
A First Comparison of Abstract Argumentation Systems: A Computational Perspective. Bistarelli, S.; Rossi, F.; and Santini, F. In Cantone, D.; and Asmundo, M. N., editor(s), Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013, volume 1068, of CEUR Workshop Proceedings, pages 241–245, 2013. CEUR-WS.org
A First Comparison of Abstract Argumentation Systems: A Computational Perspective [pdf]Paper   link   bibtex   1 download  
  2012 (10)
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Bistarelli, S.; Martinelli, F.; and Santini, F. Comput. Math. Appl., 64(4): 447–462. 2012.
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials [link]Paper   doi   link   bibtex  
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization. Bistarelli, S.; Gadducci, F.; Larrosa, J.; Rollon, E.; and Santini, F. Expert Syst. Appl., 39(2): 1708–1717. 2012.
Local arc consistency for non-invertible semirings, with an application to multi-objective optimization [link]Paper   doi   link   bibtex  
Evaluation of complex security scenarios using defense trees and economic indexes. Bistarelli, S.; Fioravanti, F.; Peretti, P.; and Santini, F. J. Exp. Theor. Artif. Intell., 24(2): 161–192. 2012.
Evaluation of complex security scenarios using defense trees and economic indexes [link]Paper   doi   link   bibtex  
ConArg: Argumentation with Constraints. Bistarelli, S.; and Santini, F. In Ossowski, S.; Toni, F.; and Vouros, G. A., editor(s), Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, volume 918, of CEUR Workshop Proceedings, pages 197–198, 2012. CEUR-WS.org
ConArg: Argumentation with Constraints [pdf]Paper   link   bibtex  
Semiring-based constraint models and frameworks for security-related scenarios. Bistarelli, S.; and Santini, F. In Martinelli, F.; Lanet, J.; Fitzgerald, W. M.; and Foley, S. N., editor(s), 7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012, pages 1–4, 2012. IEEE Computer Society
Semiring-based constraint models and frameworks for security-related scenarios [link]Paper   doi   link   bibtex  
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. Bistarelli, S.; Gosti, G.; and Santini, F. In Baldoni, M.; Dennis, L. A.; Mascardi, V.; and Vasconcelos, W. W., editor(s), Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, volume 7784, of Lecture Notes in Computer Science, pages 116–135, 2012. Springer
Solving Fuzzy Distributed CSPs: An Approach with Naming Games [link]Paper   doi   link   bibtex  
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming. Bistarelli, S.; Campli, P.; and Santini, F. In Ossowski, S.; and Lecca, P., editor(s), Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, pages 1551–1553, 2012. ACM
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming [link]Paper   doi   link   bibtex  
Securely Accessing Shared Resources with Concurrent Constraint Programming. Bistarelli, S.; and Santini, F. In Eleftherakis, G.; Hinchey, M.; and Holcombe, M., editor(s), Software Engineering and Formal Methods - 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings, volume 7504, of Lecture Notes in Computer Science, pages 308–322, 2012. Springer
Securely Accessing Shared Resources with Concurrent Constraint Programming [link]Paper   doi   link   bibtex  
Towards a similarity-based web service discovery through soft constraint satisfaction problems. Arbab, F.; Santini, F.; Bistarelli, S.; and Pirolandi, D. In Virgilio, R. D.; Geller, J.; Cappellari, P.; and Roantree, M., editor(s), Proceedings of the 2nd International Workshop on Semantic Search over the Web, Istanbul, Turkey, August 27, 2012, pages 2, 2012. ACM
Towards a similarity-based web service discovery through soft constraint satisfaction problems [link]Paper   doi   link   bibtex  
ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints. Bistarelli, S.; and Santini, F. CoRR, abs/1212.2857. 2012.
ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints [link]Paper   link   bibtex   2 downloads  
  2011 (7)
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process. Bistarelli, S.; and Santini, F. Fundam. Informaticae, 111(3): 257–279. 2011.
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process [link]Paper   doi   link   bibtex  
Uncertainty in bipolar preference problems. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. J. Exp. Theor. Artif. Intell., 23(4): 545–575. 2011.
Uncertainty in bipolar preference problems [link]Paper   doi   link   bibtex  
Finding Partitions of Arguments with Dung's Properties via SCSPs. Bistarelli, S.; Campli, P.; and Santini, F. In Fioravanti, F., editor(s), Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011, volume 810, of CEUR Workshop Proceedings, pages 199–213, 2011. CEUR-WS.org
Finding Partitions of Arguments with Dung's Properties via SCSPs [pdf]Paper   link   bibtex   1 download  
ConArg: A Constraint-Based Computational Framework for Argumentation Systems. Bistarelli, S.; and Santini, F. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011, pages 605–612, 2011. IEEE Computer Society
ConArg: A Constraint-Based Computational Framework for Argumentation Systems [link]Paper   doi   link   bibtex   9 downloads  
Solving Fuzzy DCSPs with Naming Games. Bistarelli, S.; Gosti, G.; and Santini, F. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011, pages 930–931, 2011. IEEE Computer Society
Solving Fuzzy DCSPs with Naming Games [link]Paper   doi   link   bibtex  
Finding partitions of arguments with Dung's properties via SCSPs. Bistarelli, S.; Campli, P.; and Santini, F. In Chu, W. C.; Wong, W. E.; Palakal, M. J.; and Hung, C., editor(s), Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pages 913–919, 2011. ACM
Finding partitions of arguments with Dung's properties via SCSPs [link]Paper   doi   link   bibtex   1 download  
Modeling and Solving AFs with a Constraint-Based Tool: ConArg. Bistarelli, S.; and Santini, F. In Modgil, S.; Oren, N.; and Toni, F., editor(s), Theorie and Applications of Formal Argumentation - First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers, volume 7132, of Lecture Notes in Computer Science, pages 99–116, 2011. Springer
Modeling and Solving AFs with a Constraint-Based Tool: ConArg [link]Paper   doi   link   bibtex   1 download  
  2010 (8)
Solving Distributed CSPs Probabilistically. Bistarelli, S.; and Gosti, G. Fundam. Informaticae, 105(1-2): 57–78. 2010.
Solving Distributed CSPs Probabilistically [link]Paper   doi   link   bibtex  
From soft constraints to bipolar preferences: modelling framework and solving issues. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. J. Exp. Theor. Artif. Intell., 22(2): 135–158. 2010.
From soft constraints to bipolar preferences: modelling framework and solving issues [link]Paper   doi   link   bibtex  
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. Bistarelli, S.; Foley, S. N.; O'Sullivan, B.; and Santini, F. Secur. Commun. Networks, 3(6): 595–610. 2010.
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria [link]Paper   doi   link   bibtex  
Unicast and multicast QoS routing with soft-constraint logic programming. Bistarelli, S.; Montanari, U.; Rossi, F.; and Santini, F. ACM Trans. Comput. Log., 12(1): 5:1–5:48. 2010.
Unicast and multicast QoS routing with soft-constraint logic programming [link]Paper   doi   link   bibtex  
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. Bistarelli, S.; Martinelli, F.; and Santini, F. In Xie, B.; Branke, J.; Sadjadi, S. M.; Zhang, D.; and Zhou, X., editor(s), Autonomic and Trusted Computing - 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010. Proceedings, volume 6407, of Lecture Notes in Computer Science, pages 268–282, 2010. Springer
A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints [link]Paper   doi   link   bibtex  
Solving Weighted Argumentation Frameworks with Soft Constraints. Bistarelli, S.; Pirolandi, D.; and Santini, F. In Faber, W.; and Leone, N., editor(s), Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, volume 598, of CEUR Workshop Proceedings, 2010. CEUR-WS.org
Solving Weighted Argumentation Frameworks with Soft Constraints [pdf]Paper   link   bibtex  
A Common Computational Framework for Semiring-based Argumentation Systems. Bistarelli, S.; and Santini, F. In Coelho, H.; Studer, R.; and Wooldridge, M. J., editor(s), ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, volume 215, of Frontiers in Artificial Intelligence and Applications, pages 131–136, 2010. IOS Press
A Common Computational Framework for Semiring-based Argumentation Systems [link]Paper   link   bibtex  
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings. Bistarelli, S.; Gadducci, F.; Larrosa, J.; Rollon, E.; and Santini, F. In Sidorov, G.; Aguirre, A. H.; and García, C. A. R., editor(s), Advances in Artificial Intelligence - 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I, volume 6437, of Lecture Notes in Computer Science, pages 386–398, 2010. Springer
Extending Soft Arc Consistency Algorithms to Non-invertible Semirings [link]Paper   doi   link   bibtex  
  2009 (6)
Solving finite domain constraint hierarchies by local consistency and tree search. Bistarelli, S.; Codognet, P.; Hui, H. K. C.; and Lee, J. H. J. Exp. Theor. Artif. Intell., 21(4): 233–257. 2009.
Solving finite domain constraint hierarchies by local consistency and tree search [link]Paper   doi   link   bibtex  
Solving Weighted Argumentation Frameworks with Soft Constraints. Bistarelli, S.; Pirolandi, D.; and Santini, F. In Larrosa, J.; and O'Sullivan, B., editor(s), Recent Advances in Constraints - 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers, volume 6384, of Lecture Notes in Computer Science, pages 1–18, 2009. Springer
Solving Weighted Argumentation Frameworks with Soft Constraints [link]Paper   doi   link   bibtex   1 download  
Capturing Fair Computations on Concurrent Constraint Language. Campli, P.; and Bistarelli, S. In Hill, P. M.; and Warren, D. S., editor(s), Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, volume 5649, of Lecture Notes in Computer Science, pages 559–560, 2009. Springer
Capturing Fair Computations on Concurrent Constraint Language [link]Paper   doi   link   bibtex  
Constraint Based Languages for Biological Reactions. Bottalico, M.; and Bistarelli, S. In Hill, P. M.; and Warren, D. S., editor(s), Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, volume 5649, of Lecture Notes in Computer Science, pages 561–562, 2009. Springer
Constraint Based Languages for Biological Reactions [link]Paper   doi   link   bibtex  
Soft Constraints for Quality Aspects in Service Oriented Architectures. Bistarelli, S.; and Santini, F. In ter Beek, M. H., editor(s), Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009, volume 2, of EPTCS, pages 51–65, 2009.
Soft Constraints for Quality Aspects in Service Oriented Architectures [link]Paper   link   bibtex  
Fairness as a QoS Measure for Web Services. Bistarelli, S.; and Campli, P. In ter Beek, M. H., editor(s), Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009, volume 2, of EPTCS, pages 115–127, 2009.
Fairness as a QoS Measure for Web Services [link]Paper   link   bibtex  
  2008 (13)
Weighted Datalog and Levels of Trust. Bistarelli, S.; Martinelli, F.; and Santini, F. In Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pages 1128–1134, 2008. IEEE Computer Society
Weighted Datalog and Levels of Trust [link]Paper   doi   link   bibtex  
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. Bistarelli, S.; Martinelli, F.; and Santini, F. In Rong, C.; Jaatun, M. G.; Sandnes, F. E.; Yang, L. T.; and Ma, J., editor(s), Autonomic and Trusted Computing, 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings, volume 5060, of Lecture Notes in Computer Science, pages 481–495, 2008. Springer
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily [link]Paper   doi   link   bibtex  
Semiring-Based Soft Constraints. Bistarelli, S.; and Rossi, F. In Degano, P.; Nicola, R. D.; and Meseguer, J., editor(s), Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, volume 5065, of Lecture Notes in Computer Science, pages 155–173, 2008. Springer
Semiring-Based Soft Constraints [link]Paper   doi   link   bibtex  
Timed Soft Concurrent Constraint Programs. Bistarelli, S.; Gabbrielli, M.; Meo, M. C.; and Santini, F. In Lea, D.; and Zavattaro, G., editor(s), Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, volume 5052, of Lecture Notes in Computer Science, pages 50–66, 2008. Springer
Timed Soft Concurrent Constraint Programs [link]Paper   doi   link   bibtex  
From Marriages to Coalitions: A Soft CSP Approach. Bistarelli, S.; Foley, S. N.; O'Sullivan, B.; and Santini, F. In Oddi, A.; Fages, F.; and Rossi, F., editor(s), Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers, volume 5655, of Lecture Notes in Computer Science, pages 1–15, 2008. Springer
From Marriages to Coalitions: A Soft CSP Approach [link]Paper   doi   link   bibtex  
Solving CSPs with Naming Games. Bistarelli, S.; and Gosti, G. In Oddi, A.; Fages, F.; and Rossi, F., editor(s), Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers, volume 5655, of Lecture Notes in Computer Science, pages 16–32, 2008. Springer
Solving CSPs with Naming Games [link]Paper   doi   link   bibtex  
A Soft Approach to Multi-objective Optimization. Bistarelli, S.; Gadducci, F.; Larrosa, J.; and Rollon, E. In de la Banda, M. G.; and Pontelli, E., editor(s), Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, volume 5366, of Lecture Notes in Computer Science, pages 764–768, 2008. Springer
A Soft Approach to Multi-objective Optimization [link]Paper   doi   link   bibtex  
A Formal and Practical Framework for Constraint-Based Routing. Bistarelli, S.; and Santini, F. In Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico, pages 162–167, 2008. IEEE Computer Society
A Formal and Practical Framework for Constraint-Based Routing [link]Paper   doi   link   bibtex  
Soft Constraints for Dependable Service Oriented Architectures. Bistarelli, S.; and Santini, F. In de Lemos, R.; Fabre, J.; Gacek, C.; Gadducci, F.; and ter Beek, M. H., editor(s), Architecting Dependable Systems VI, volume 5835, of Lecture Notes in Computer Science, pages 76–97, 2008. Springer
Soft Constraints for Dependable Service Oriented Architectures [link]Paper   doi   link   bibtex  
Propagating multitrust within trust networks. Bistarelli, S.; and Santini, F. In Wainwright, R. L.; and Haddad, H., editor(s), Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pages 1990–1994, 2008. ACM
Propagating multitrust within trust networks [link]Paper   doi   link   bibtex  
Security Protocol Deployment Risk. Foley, S. N.; Bella, G.; and Bistarelli, S. In Christianson, B.; Malcolm, J. A.; Matyas, V.; and Roe, M., editor(s), Security Protocols XVI - 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers, volume 6615, of Lecture Notes in Computer Science, pages 12–20, 2008. Springer
Security Protocol Deployment Risk [link]Paper   doi   link   bibtex  
C-semiring Frameworks for Minimum Spanning Tree Problems. Bistarelli, S.; and Santini, F. In Corradini, A.; and Montanari, U., editor(s), Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers, volume 5486, of Lecture Notes in Computer Science, pages 56–70, 2008. Springer
C-semiring Frameworks for Minimum Spanning Tree Problems [link]Paper   doi   link   bibtex  
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. Bistarelli, S.; and Santini, F. In Aldini, A.; ter Beek, M. H.; and Gadducci, F., editor(s), Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008, volume 236, of Electronic Notes in Theoretical Computer Science, pages 147–162, 2008. Elsevier
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation [link]Paper   doi   link   bibtex  
  2007 (9)
Soft constraint based pattern mining. Bistarelli, S.; and Bonchi, F. Data Knowl. Eng., 62(1): 118–137. 2007.
Soft constraint based pattern mining [link]Paper   doi   link   bibtex  
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. Bistarelli, S.; Peretti, P.; and Trubitsyna, I. In Bessiere, C., editor(s), Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, volume 4741, of Lecture Notes in Computer Science, pages 773–781, 2007. Springer
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario [link]Paper   doi   link   bibtex  
Uncertainty in Bipolar Preference Problems. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. In Bessiere, C., editor(s), Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, volume 4741, of Lecture Notes in Computer Science, pages 782–789, 2007. Springer
Uncertainty in Bipolar Preference Problems [link]Paper   doi   link   bibtex  
Constraint Symmetry for the Soft CSP. Smith, B. M.; Bistarelli, S.; and O'Sullivan, B. In Bessiere, C., editor(s), Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, volume 4741, of Lecture Notes in Computer Science, pages 872–879, 2007. Springer
Constraint Symmetry for the Soft CSP [link]Paper   doi   link   bibtex  
SCLP for Trust Propagation in Small-World Networks. Bistarelli, S.; and Santini, F. In Fages, F.; Rossi, F.; and Soliman, S., editor(s), Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers, volume 5129, of Lecture Notes in Computer Science, pages 32–46, 2007. Springer
SCLP for Trust Propagation in Small-World Networks [link]Paper   doi   link   bibtex  
Using CP-nets as a guide for countermeasure selection. Bistarelli, S.; Fioravanti, F.; and Peretti, P. In Cho, Y.; Wainwright, R. L.; Haddad, H.; Shin, S. Y.; and Koo, Y. W., editor(s), Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pages 300–304, 2007. ACM
Using CP-nets as a guide for countermeasure selection [link]Paper   doi   link   bibtex  
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming. Bistarelli, S.; Montanari, U.; Rossi, F.; and Santini, F. In Aldini, A.; and van Breugel, F., editor(s), Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007, volume 190, of Electronic Notes in Theoretical Computer Science, pages 111–127, 2007. Elsevier
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming [link]Paper   doi   link   bibtex  
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. Bistarelli, S.; Peretti, P.; and Trubitsyna, I. In Compagna, L.; Lotz, V.; and Massacci, F., editor(s), Proceedings of the 3rd International Workshop on Security and Trust Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007, volume 197, of Electronic Notes in Theoretical Computer Science, pages 121–129, 2007. Elsevier
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming [link]Paper   doi   link   bibtex  
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming. Bistarelli, S.; Montanari, U.; Rossi, F.; and Santini, F. CoRR, abs/0704.1783. 2007.
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming [link]Paper   link   bibtex  
  2006 (13)
Editorial. Bistarelli, S.; and Rossi, F. J. Heuristics, 12(4-5): 239–240. 2006.
Editorial [link]Paper   doi   link   bibtex  
An asymmetric fingerprint matching algorithm for Java Card \(^\mboxTM\). Bistarelli, S.; Santini, F.; and Vaccarelli, A. Pattern Anal. Appl., 9(4): 359–376. 2006.
An asymmetric fingerprint matching algorithm for Java Card \(^\mboxTM\) [link]Paper   doi   link   bibtex  
Soft concurrent constraint programming. Bistarelli, S.; Montanari, U.; and Rossi, F. ACM Trans. Comput. Log., 7(3): 563–589. 2006.
Soft concurrent constraint programming [link]Paper   doi   link   bibtex  
Defense trees for economic evaluation of security investments. Bistarelli, S.; Fioravanti, F.; and Peretti, P. In Proceedings of the The First International Conference on Availability, Reliability and Security, ARES 2006, The International Dependability Conference - Bridging Theory and Practice, April 20-22 2006, Vienna University of Technology, Austria, pages 416–423, 2006. IEEE Computer Society
Defense trees for economic evaluation of security investments [link]Paper   doi   link   bibtex  
Bipolar Preference Problems: Framework, Properties and Solving Techniques. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. In Azevedo, F.; Barahona, P.; Fages, F.; and Rossi, F., editor(s), Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers, volume 4651, of Lecture Notes in Computer Science, pages 78–92, 2006. Springer
Bipolar Preference Problems: Framework, Properties and Solving Techniques [link]Paper   doi   link   bibtex  
Enhancing Constraints Manipulation in Semiring-Based Formalisms. Bistarelli, S.; and Gadducci, F. In Brewka, G.; Coradeschi, S.; Perini, A.; and Traverso, P., editor(s), ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, volume 141, of Frontiers in Artificial Intelligence and Applications, pages 63–67, 2006. IOS Press
Enhancing Constraints Manipulation in Semiring-Based Formalisms [link]Paper   link   bibtex  
Bipolar Preference Problems. Bistarelli, S.; Pini, M. S.; Rossi, F.; and Venable, K. B. In Brewka, G.; Coradeschi, S.; Perini, A.; and Traverso, P., editor(s), ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, volume 141, of Frontiers in Artificial Intelligence and Applications, pages 705–706, 2006. IOS Press
link   bibtex  
Strategic Games on Defense Trees. Bistarelli, S.; Dall'Aglio, M.; and Peretti, P. In Dimitrakos, T.; Martinelli, F.; Ryan, P. Y. A.; and Schneider, S. A., editor(s), Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers, volume 4691, of Lecture Notes in Computer Science, pages 1–15, 2006. Springer
Strategic Games on Defense Trees [link]Paper   doi   link   bibtex  
Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration. Foley, S. N.; Fitzgerald, W. M.; Bistarelli, S.; O'Sullivan, B.; and Foghlú, M. Ó In Parr, G.; Malone, D.; and Foghlú, M. Ó, editor(s), Autonomic Principles of IP Operations and Management, 6th IEEE International Workshop on IP Operations and Management, IPOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings, volume 4268, of Lecture Notes in Computer Science, pages 168–180, 2006. Springer
Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration [link]Paper   doi   link   bibtex  
Extending the Soft Constraint Based Mining Paradigm. Bistarelli, S.; and Bonchi, F. In Dzeroski, S.; and Struyf, J., editor(s), Knowledge Discovery in Inductive Databases, 5th International Workshop, KDID 2006, Berlin, Germany, September 18, 2006, Revised Selected and Invited Papers, volume 4747, of Lecture Notes in Computer Science, pages 24–41, 2006. Springer
Extending the Soft Constraint Based Mining Paradigm [link]Paper   doi   link   bibtex  
Special track editorial: constraint solving and programming. Bistarelli, S.; Monfroy, É.; and O'Sullivan, B. In Haddad, H., editor(s), Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pages 392–393, 2006. ACM
Special track editorial: constraint solving and programming [link]Paper   doi   link   bibtex  
Augmented Risk Analysis. Bella, G.; Bistarelli, S.; Peretti, P.; and Riccobene, S. In ter Beek, M. H.; and Gadducci, F., editor(s), Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006, volume 168, of Electronic Notes in Theoretical Computer Science, pages 207–220, 2006. Elsevier
Augmented Risk Analysis [link]Paper   doi   link   bibtex  
Multilevel Security and Quality of Protection. Foley, S. N.; Bistarelli, S.; O'Sullivan, B.; Herbert, J.; and Swart, G. In Gollmann, D.; Massacci, F.; and Yautsiukhin, A., editor(s), Quality of Protection - Security Measurements and Metrics, volume 23, of Advances in Information Security, pages 93–105. Springer, 2006.
Multilevel Security and Quality of Protection [link]Paper   doi   link   bibtex  
  2005 (7)
Information Assurance for security protocols. Bella, G.; and Bistarelli, S. Comput. Secur., 24(4): 322–333. 2005.
Information Assurance for security protocols [link]Paper   doi   link   bibtex  
Relating multiset rewriting and process algebras for security protocol analysis. Bistarelli, S.; Cervesato, I.; Lenzini, G.; and Martinelli, F. J. Comput. Secur., 13(1): 3–47. 2005.
Relating multiset rewriting and process algebras for security protocol analysis [link]Paper   doi   link   bibtex  
A soft constraint-based approach to the cascade vulnerability problem. Bistarelli, S.; Foley, S. N.; and O'Sullivan, B. J. Comput. Secur., 13(5): 699–720. 2005.
A soft constraint-based approach to the cascade vulnerability problem [link]Paper   doi   link   bibtex  
An Asymmetric Fingerprint Matching Algorithm for Java Card™. Bistarelli, S.; Santini, F.; and Vaccarelli, A. In Kanade, T.; Jain, A. K.; and Ratha, N. K., editor(s), Audio- and Video-Based Biometric Person Authentication, 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005, Proceedings, volume 3546, of Lecture Notes in Computer Science, pages 279–288, 2005. Springer
An Asymmetric Fingerprint Matching Algorithm for Java Card™ [link]Paper   doi   link   bibtex  
MOC via TOC Using a Mobile Agent Framework. Bistarelli, S.; Frassi, S.; and Vaccarelli, A. In Kanade, T.; Jain, A. K.; and Ratha, N. K., editor(s), Audio- and Video-Based Biometric Person Authentication, 5th International Conference, AVBPA 2005, Hilton Rye Town, NY, USA, July 20-22, 2005, Proceedings, volume 3546, of Lecture Notes in Computer Science, pages 464–473, 2005. Springer
MOC via TOC Using a Mobile Agent Framework [link]Paper   doi   link   bibtex  
Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining. Bistarelli, S.; and Bonchi, F. In Jorge, A.; Torgo, L.; Brazdil, P.; Camacho, R.; and Gama, J., editor(s), Knowledge Discovery in Databases: PKDD 2005, 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005, Proceedings, volume 3721, of Lecture Notes in Computer Science, pages 22–33, 2005. Springer
Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining [link]Paper   doi   link   bibtex  
Editorial: special track on constraint solving and programming. Bistarelli, S.; Monfroy, É.; and O'Sullivan, B. In Haddad, H.; Liebrock, L. M.; Omicini, A.; and Wainwright, R. L., editor(s), Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pages 364–365, 2005. ACM
Editorial: special track on constraint solving and programming [link]Paper   doi   link   bibtex  
  2004 (9)
Semirings for Soft Constraint Solving and Programming. Bistarelli, S. Volume 2962 of Lecture Notes in Computer ScienceSpringer, 2004.
Semirings for Soft Constraint Solving and Programming [link]Paper   doi   link   bibtex  
Soft Constraint Propagation and Solving in Constraint Handling Rules. Bistarelli, S.; Frühwirth, T. W.; Marte, M.; and Rossi, F. Comput. Intell., 20(2): 287–307. 2004.
Soft Constraint Propagation and Solving in Constraint Handling Rules [link]Paper   doi   link   bibtex  
Soft Constraint Programming to Analysing Security Protocols. Bella, G.; and Bistarelli, S. Theory Pract. Log. Program., 4(5-6): 545–572. 2004.
Soft Constraint Programming to Analysing Security Protocols [link]Paper   doi   link   bibtex  
Detecting and Eliminating the Cascade Vulnerability Problem from Multilevel Security Networks Using Soft Constraints. Bistarelli, S.; Foley, S. N.; and O'Sullivan, B. In McGuinness, D. L.; and Ferguson, G., editor(s), Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pages 808–813, 2004. AAAI Press / The MIT Press
link   bibtex  
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints. Bistarelli, S.; Freuder, E. C.; and O'Sullivan, B. In 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pages 240–245, 2004. IEEE Computer Society
Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints [link]Paper   doi   link   bibtex  
Reasoning about Secure Interoperation Using Soft Constraints. Bistarelli, S.; Foley, S. N.; and O'Sullivan, B. In Dimitrakos, T.; and Martinelli, F., editor(s), Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, volume 173, of IFIP, pages 173–186, 2004. Springer
Reasoning about Secure Interoperation Using Soft Constraints [link]Paper   doi   link   bibtex  
Editorial message: special track on artificial intelligence, computational logic and image analysis. Hung, C.; Rosa, A. C.; and Bistarelli, S. In Haddad, H.; Omicini, A.; Wainwright, R. L.; and Liebrock, L. M., editor(s), Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 3–4, 2004. ACM
Editorial message: special track on artificial intelligence, computational logic and image analysis [link]Paper   doi   link   bibtex  
Modeling and detecting the cascade vulnerability problem using soft constraints. Bistarelli, S.; Foley, S. N.; and O'Sullivan, B. In Haddad, H.; Omicini, A.; Wainwright, R. L.; and Liebrock, L. M., editor(s), Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 383–390, 2004. ACM
Modeling and detecting the cascade vulnerability problem using soft constraints [link]Paper   doi   link   bibtex  
Soft Constraints for Security. Bella, G.; Bistarelli, S.; and Foley, S. N. In ter Beek, M. H.; and Gadducci, F., editor(s), Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004, volume 142, of Electronic Notes in Theoretical Computer Science, pages 11–29, 2004. Elsevier
Soft Constraints for Security [link]Paper   doi   link   bibtex  
  2003 (18)
General Properties and Termination Conditions for Soft Constraint Propagation. Bistarelli, S.; Gennari, R.; and Rossi, F. Constraints An Int. J., 8(1): 79–97. 2003.
General Properties and Termination Conditions for Soft Constraint Propagation [link]Paper   doi   link   bibtex  
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. Bistarelli, S.; Codognet, P.; Hui, K. C.; and Lee, J. H. In Rossi, F., editor(s), Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, volume 2833, of Lecture Notes in Computer Science, pages 138–152, 2003. Springer
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search [link]Paper   doi   link   bibtex  
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs. Bistarelli, S.; Rossi, F.; and Pilan, I. In Apt, K. R.; Fages, F.; Rossi, F.; Szeredi, P.; and Váncza, J., editor(s), Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, volume 3010, of Lecture Notes in Computer Science, pages 107–123, 2003. Springer
Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs [link]Paper   doi   link   bibtex  
Tradeoff Generation Using Soft Constraints. Bistarelli, S.; Kelleher, J.; and O'Sullivan, B. In Apt, K. R.; Fages, F.; Rossi, F.; Szeredi, P.; and Váncza, J., editor(s), Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, volume 3010, of Lecture Notes in Computer Science, pages 124–139, 2003. Springer
Tradeoff Generation Using Soft Constraints [link]Paper   doi   link   bibtex  
Experimental Evaluation of Interchangeability in Soft CSPs. Neagu, N.; Bistarelli, S.; and Faltings, B. In Apt, K. R.; Fages, F.; Rossi, F.; Szeredi, P.; and Váncza, J., editor(s), Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers, volume 3010, of Lecture Notes in Computer Science, pages 140–153, 2003. Springer
Experimental Evaluation of Interchangeability in Soft CSPs [link]Paper   doi   link   bibtex  
On Representing Biological Systems through Multiset Rewriting. Bistarelli, S.; Cervesato, I.; Lenzini, G.; Marangoni, R.; and Martinelli, F. In Moreno-Díaz, R.; and Pichler, F., editor(s), Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers, volume 2809, of Lecture Notes in Computer Science, pages 415–426, 2003. Springer
On Representing Biological Systems through Multiset Rewriting [link]Paper   doi   link   bibtex  
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems. Neagu, N.; Bistarelli, S.; and Faltings, B. In Russell, I.; and Haller, S. M., editor(s), Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA, pages 187–191, 2003. AAAI Press
On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems [link]Paper   link   bibtex  
Computer Algebra for Fingerprint Matching. Bistarelli, S.; Boffi, G.; and Rossi, F. In Sloot, P. M. A.; Abramson, D.; Bogdanov, A. V.; Dongarra, J. J.; Zomaya, A. Y.; and Gorbachev, Y. E., editor(s), Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, volume 2657, of Lecture Notes in Computer Science, pages 811–820, 2003. Springer
Computer Algebra for Fingerprint Matching [link]Paper   doi   link   bibtex  
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. Bistarelli, S.; Codognet, P.; Hui, K. C.; and Lee, J. H. In Gottlob, G.; and Walsh, T., editor(s), IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pages 1364–1365, 2003. Morgan Kaufmann
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search [pdf]Paper   link   bibtex  
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. Bistarelli, S.; Cervesato, I.; Lenzini, G.; and Martinelli, F. In Gorodetsky, V.; Popyack, L. J.; and Skormin, V. A., editor(s), Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, volume 2776, of Lecture Notes in Computer Science, pages 86–99, 2003. Springer
Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols [link]Paper   doi   link   bibtex  
Analysis of Integrity Policies using Soft Constraints. Bistarelli, S.; and Foley, S. N. In 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 4-6 June 2003, Lake Como, Italy, pages 77–80, 2003. IEEE Computer Society
Analysis of Integrity Policies using Soft Constraints [link]Paper   doi   link   bibtex  
AI and Computational Science Track Editorial. Hung, C.; Rosa, A. C.; and Bistarelli, S. In Lamont, G. B.; Haddad, H.; Papadopoulos, G. A.; and Panda, B., editor(s), Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, pages 1, 2003. ACM
AI and Computational Science Track Editorial [link]Paper   doi   link   bibtex  
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity. Bistarelli, S.; and Foley, S. N. In Anderson, S.; Felici, M.; and Littlewood, B., editor(s), Computer Safety, Reliability, and Security, 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings, volume 2788, of Lecture Notes in Computer Science, pages 130–143, 2003. Springer
A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity [link]Paper   doi   link   bibtex  
A Theoretical Framework for Tradeoff Generation using Soft Constraints. Bistarelli, S.; and O'Sullivan, B. In Coenen, F.; Preece, A. D.; and Macintosh, A., editor(s), Research and Development in Intelligent Systems XX, Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 15-17 December, 2003, pages 69–82, 2003. Springer
A Theoretical Framework for Tradeoff Generation using Soft Constraints [link]Paper   doi   link   bibtex  
Symmetry Breaking in Soft CSPs. Bistarelli, S.; Kelleher, J.; and O'Sullivan, B. In Coenen, F.; Preece, A. D.; and Macintosh, A., editor(s), Research and Development in Intelligent Systems XX, Proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, UK, 15-17 December, 2003, pages 199–212, 2003. Springer
Symmetry Breaking in Soft CSPs [link]Paper   doi   link   bibtex  
A Protocol's Life After Attacks... Bella, G.; Bistarelli, S.; and Massacci, F. In Christianson, B.; Crispo, B.; Malcolm, J. A.; and Roe, M., editor(s), Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers, volume 3364, of Lecture Notes in Computer Science, pages 3–10, 2003. Springer
A Protocol's Life After Attacks... [link]Paper   doi   link   bibtex  
Biometrics to Enhance Smartcard Security. Bella, G.; Bistarelli, S.; and Martinelli, F. In Christianson, B.; Crispo, B.; Malcolm, J. A.; and Roe, M., editor(s), Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers, volume 3364, of Lecture Notes in Computer Science, pages 324–332, 2003. Springer
Biometrics to Enhance Smartcard Security [link]Paper   doi   link   bibtex  
Soft Constraint Programming to Analysing Security Protocols. Bella, G.; and Bistarelli, S. CoRR, cs.CR/0312025. 2003.
Soft Constraint Programming to Analysing Security Protocols [link]Paper   link   bibtex  
  2002 (8)
Abstracting soft constraints: Framework, properties, examples. Bistarelli, S.; Codognet, P.; and Rossi, F. Artif. Intell., 139(2): 175–211. 2002.
Abstracting soft constraints: Framework, properties, examples [link]Paper   doi   link   bibtex  
Soft Constraint Logic Programming and Generalized Shortest Path Problems. Bistarelli, S.; Montanari, U.; and Rossi, F. J. Heuristics, 8(1): 25–41. 2002.
Soft Constraint Logic Programming and Generalized Shortest Path Problems [link]Paper   doi   link   bibtex  
Interchangeability in Soft CSPs. Bistarelli, S.; Faltings, B.; and Neagu, N. In O'Sullivan, B., editor(s), Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers, volume 2627, of Lecture Notes in Computer Science, pages 31–46, 2002. Springer
Interchangeability in Soft CSPs [link]Paper   doi   link   bibtex  
Interchangeability in Soft CSPs. Bistarelli, S.; Faltings, B.; and Neagu, N. In Hentenryck, P. V., editor(s), Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, volume 2470, of Lecture Notes in Computer Science, pages 726–731, 2002. Springer
Interchangeability in Soft CSPs [link]Paper   doi   link   bibtex  
Soft Concurrent Constraint Programming. Bistarelli, S.; Montanari, U.; and Rossi, F. In Métayer, D. L., editor(s), Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, volume 2305, of Lecture Notes in Computer Science, pages 53–67, 2002. Springer
Soft Concurrent Constraint Programming [link]Paper   doi   link   bibtex  
Soft constraint propagation and solving in CHRs. Bistarelli, S.; Frühwirth, T. W.; and Marte, M. In Lamont, G. B.; Haddad, H.; Papadopoulos, G. A.; and Panda, B., editor(s), Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pages 1–5, 2002. ACM
Soft constraint propagation and solving in CHRs [link]Paper   doi   link   bibtex  
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks. Bella, G.; and Bistarelli, S. In Christianson, B.; Crispo, B.; Malcolm, J. A.; and Roe, M., editor(s), Security Protocols, 10th International Workshop, Cambridge, UK, April 17-19, 2002, Revised Papers, volume 2845, of Lecture Notes in Computer Science, pages 104–119, 2002. Springer
Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks [link]Paper   doi   link   bibtex  
Soft Concurrent Constraint Programming. Bistarelli, S.; Montanari, U.; and Rossi, F. CoRR, cs.PL/0208008. 2002.
Soft Concurrent Constraint Programming [link]Paper   link   bibtex  
  2001 (2)
Semiring-based contstraint logic programming: syntax and semantics. Bistarelli, S.; Montanari, U.; and Rossi, F. ACM Trans. Program. Lang. Syst., 23(1): 1–29. 2001.
Semiring-based contstraint logic programming: syntax and semantics [link]Paper   doi   link   bibtex  
Soft Constraints for Security Protocol Analysis: Confidentiality. Bella, G.; and Bistarelli, S. In Ramakrishnan, I. V., editor(s), Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, volume 1990, of Lecture Notes in Computer Science, pages 108–122, 2001. Springer
Soft Constraints for Security Protocol Analysis: Confidentiality [link]Paper   doi   link   bibtex  
  2000 (3)
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. Bistarelli, S.; Gennari, R.; and Rossi, F. In Dechter, R., editor(s), Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, volume 1894, of Lecture Notes in Computer Science, pages 83–97, 2000. Springer
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions [link]Paper   doi   link   bibtex  
Labeling and Partial Local Consistency for Soft Constraint Programming. Bistarelli, S.; Codognet, P.; Georget, Y.; and Rossi, F. In Pontelli, E.; and Costa, V. S., editor(s), Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, volume 1753, of Lecture Notes in Computer Science, pages 230–248, 2000. Springer
Labeling and Partial Local Consistency for Soft Constraint Programming [link]Paper   doi   link   bibtex  
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. Bistarelli, S.; Codognet, P.; and Rossi, F. In Choueiry, B. Y.; and Walsh, T., editor(s), Abstraction, Reformulation, and Approximation, 4th International Symposium, SARA 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings, volume 1864, of Lecture Notes in Computer Science, pages 71–86, 2000. Springer
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation [link]Paper   doi   link   bibtex  
  1999 (3)
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison. Bistarelli, S.; Montanari, U.; Rossi, F.; Schiex, T.; Verfaillie, G.; and Fargier, H. Constraints An Int. J., 4(3): 199–240. 1999.
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison [link]Paper   doi   link   bibtex  
Labeling and Partial Arc Consistency for Soft Constraints. Bistarelli, S.; Codognet, P.; Georget, Y.; and Rossi, F. In Meo, M. C.; and Ferro, M. V., editor(s), 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, pages 121–136, 1999.
link   bibtex  
Abstracting Soft Constraints. Bistarelli, S.; Codognet, P.; Georget, Y.; and Rossi, F. In Apt, K. R.; Kakas, A. C.; Monfroy, É.; and Rossi, F., editor(s), New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, volume 1865, of Lecture Notes in Computer Science, pages 108–133, 1999. Springer
Abstracting Soft Constraints [link]Paper   doi   link   bibtex  
  1997 (3)
Semiring-based constraint satisfaction and optimization. Bistarelli, S.; Montanari, U.; and Rossi, F. J. ACM, 44(2): 201–236. 1997.
Semiring-based constraint satisfaction and optimization [link]Paper   doi   link   bibtex  
Constraints and Agents for a Decentralized Network Infrastructure. Andreoli, J.; Borghoff, U. M.; Pareschi, R.; Bistarelli, S.; Montanari, U.; and Rossi, F. In Freuder, E. C., editor(s), Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, Providence, RI, USA, July 27, 1997, pages 39–44, 1997. AAAI Press
link   bibtex  
Semiring-based Constraint Logic Programming. Bistarelli, S.; Montanari, U.; and Rossi, F. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes, pages 352–357, 1997. Morgan Kaufmann
Semiring-based Constraint Logic Programming [pdf]Paper   link   bibtex  
  1995 (2)
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison. Bistarelli, S.; Fargier, H.; Montanari, U.; Rossi, F.; Schiex, T.; and Verfaillie, G. In Jampel, M.; Freuder, E. C.; and Maher, M. J., editor(s), Over-Constrained Systems, volume 1106, of Lecture Notes in Computer Science, pages 111–150, 1995. Springer
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison [link]Paper   doi   link   bibtex  
Constraint Solving over Semirings. Bistarelli, S.; Montanari, U.; and Rossi, F. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pages 624–630, 1995. Morgan Kaufmann
Constraint Solving over Semirings [pdf]Paper   link   bibtex