All Stories

  1. A concurrent commitment-based dialogue language for service contract negotiation

    Article • Journal of Logical and Algebraic Methods in Programming, January 2027, Elsevier

    Professor Stefano Bistarelli

  2. Strategic and private reasoning with the concurrent (timed) language for argumentation

    Article • Journal of Logic and Computation, January 2026, Oxford University Press (OUP)

    Professor Stefano Bistarelli

  3. From Fear to Greed: Analyzing Sentiment Indicators in Bitcoin Price Prediction

    Article • January 2026, Springer Science + Business Media

    Professor Stefano Bistarelli

  4. Analysing the Adoption of the Terms-of-Use Field in EBSI Digital Wallets

    Article • January 2026, Springer Science + Business Media

    Professor Stefano Bistarelli

  5. An In-depth Analysis of Mining Pools Revenue

    Article • Blockchain Research and Applications, August 2025, Elsevier

    Professor Stefano Bistarelli

  6. Impact of Extra-Virgin Olive Oil Storage Conditions on Phenolic Content and Wound-Healing Properties

    Article • Foods, June 2025, MDPI AG

    Professor Stefano Bistarelli

  7. Controlling VC disclosure with Terms of Use and ABAC in SSI

    Article • March 2025, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  8. $Saf\text{-}2^{10}$: A Novel Benchmark Dataset for Crocus Sativus L. Flower Detection

    Article • IEEE Transactions on AgriFood Electronics, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  9. Generating Deepfakes with Stable Diffusion, ControlNet, and LoRA

    Article • January 2025, Springer Science + Business Media

    Professor Stefano Bistarelli

  10. Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

    Article • October 2024, Springer Science + Business Media

    Professor Stefano Bistarelli

  11. Modelling Dialogues in a Concurrent Language for Argumentation

    Article • October 2024, Springer Science + Business Media

    Professor Stefano Bistarelli

  12. Tackling disinformation in the UE with “truthster”: technological design and DLT

    Article • May 2024, NASK National Research Institute

    Professor Stefano Bistarelli

  13. *-chain: A framework for automating the modeling of blockchain based supply chain tracing systems

    Article • Future Generation Computer Systems, December 2023, Elsevier

    Professor Stefano Bistarelli

  14. A Survey of Steganography Tools at Layers 2-4 and HTTP

    Article • August 2023, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  15. Towards a Temporal Probabilistic Argumentation Framework

    Article • The International FLAIRS Conference Proceedings, May 2023, University of Florida George A Smathers Libraries

    Professor Stefano Bistarelli

  16. Towards automated verification of Bitcoin-based decentralised applications

    Article • March 2023, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  17. Deriving Dependency Graphs from Abstract Argumentation Frameworks

    Article • January 2023, Springer Science + Business Media

    Professor Stefano Bistarelli

  18. Introducing a Tool for Concurrent Argumentation

    Article • January 2021, Springer Science + Business Media

    Professor Stefano Bistarelli

  19. Towards an Implementation of a Concurrent Language for Argumentation

    Article • January 2021, Springer Science + Business Media

    Professor Stefano Bistarelli

  20. ConArgLib: an argumentation library with support to search strategies and parallel search

    Article • Journal of Experimental & Theoretical Artificial Intelligence, July 2020, Taylor & Francis

    Professor Stefano Bistarelli

  21. Probabilistic abstract argumentation frameworks, a possible world view

    Article • International Journal of Approximate Reasoning, April 2020, Elsevier

    Professor Stefano Bistarelli

  22. Analysis of Ethereum Smart Contracts and Opcodes

    Article • March 2019, Springer Science + Business Media

    Professor Stefano Bistarelli

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

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Dr Paolo Torroni, Professor Stefano Bistarelli

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

    Article • Journal of Grid Computing, March 2019, Springer Science + Business Media

    Professor Stefano Bistarelli

  25. Special Issue: Selected Papers from AI∧3 2017, the 1st Workshop on Advances in Argumentation in Artificial Intelligence

    Article • Intelligenza Artificiale, January 2019, IOS Press

    Professor Stefano Bistarelli, PhD Andrea Pazienza

  26. A Possible World View and a Normal Form for the Constellation Semantics

    Article • January 2019, Springer Science + Business Media

    Professor Stefano Bistarelli

  27. CapBAC in Hyperledger Sawtooth

    Article • January 2019, Springer Science + Business Media

    Professor Stefano Bistarelli

  28. Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper)

    Article • January 2019, Springer Science + Business Media

    Professor Stefano Bistarelli

  29. Well-Foundedness in Weighted Argumentation Frameworks

    Article • January 2019, Springer Science + Business Media

    Professor Stefano Bistarelli

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

    Article • December 2018, Springer Science + Business Media

    Professor Stefano Bistarelli

  31. Probabilistic Argumentation Frameworks with MetaProbLog and ConArg

    Article • November 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  32. An Analysis of Non-standard Bitcoin Transactions

    Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  33. Corrigendum

    Article • Journal of Experimental & Theoretical Artificial Intelligence, May 2018, Taylor & Francis

    Professor Stefano Bistarelli

  34. Architecting the Web of Things for the Fog Computing Era

    Article • IET Software, April 2018, the Institution of Engineering and Technology (the IET)

    Professor Stefano Bistarelli, Phd marina mongiello

  35. 23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”

    Article • Journal of Experimental & Theoretical Artificial Intelligence, April 2018, Taylor & Francis

    Andrea Formisano, Professor Stefano Bistarelli

  36. Message from the Chairs

    Article • March 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  37. A novel weighted defence and its relaxation in abstract argumentation

    Article • International Journal of Approximate Reasoning, January 2018, Elsevier

    Professor Stefano Bistarelli

  38. Defence Outsourcing in Argumentation

    Article • January 2018, IOS Press

    Professor Stefano Bistarelli

  39. Studying Dynamics in Argumentation with Rob

    Article • January 2018, IOS Press

    Professor Stefano Bistarelli

  40. A ConArg-Based Library for Abstract Argumentation

    Article • November 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

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

    Article • Journal of Logic and Computation, October 2017, Oxford University Press (OUP)

    Professor Stefano Bistarelli

  42. Abstract Argumentation Frameworks to Promote Fairness and Rationality in Multi-experts Multi-criteria Decision Making

    Article • September 2017, Springer Science + Business Media

    Professor Stefano Bistarelli

  43. On Modeling Multi-experts Multi-criteria Decision-Making Argumentation and Disagreement: Philosophical and Computational Approaches Reconsidered

    Article • September 2017, Springer Science + Business Media

    Professor Stefano Bistarelli

  44. A community payment scheme for consciousness energy usage

    Article • September 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli, PhD Prof Dimitri Mugnai

  45. From Argumentation Frameworks to Voting Systems and Back*

    Article • Fundamenta Informaticae, March 2017, IOS Press

    Professor Stefano Bistarelli

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

    Article • January 2017, Springer Science + Business Media

    Professor Stefano Bistarelli

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

    Article • January 2017, Springer Science + Business Media

    Professor Stefano Bistarelli

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

    Article • January 2017, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  49. Go with the -Bitcoin- Flow, with Visual Analytics

    Article • January 2017, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  50. PrOnto: an Ontology Driven Business Process Mining Tool

    Article • Procedia Computer Science, January 2017, Elsevier

    Professor Stefano Bistarelli

  51. Preface

    Article • Fundamenta Informaticae, December 2016, IOS Press

    Professor Stefano Bistarelli, Dr Paolo Torroni, Andrea Formisano

  52. Theoretical Computer Science in Italy

    Article • Theoretical Computer Science, May 2016, Elsevier

    Professor Stefano Bistarelli, Andrea Formisano

  53. Automated adaptation via quantitative partial model checking

    Article • April 2016, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  54. A Relaxation of Internal Conflict and Defence in Weighted Argumentation Frameworks

    Article • January 2016, Springer Science + Business Media

    Professor Stefano Bistarelli

  55. ConArg: A Tool for Classical and Weighted Argumentation

    Article • January 2016, IOS Press

    Professor Stefano Bistarelli

  56. A Comparative Test on the Enumeration of Extensions in Abstract Argumentation*

    Article • Fundamenta Informaticae, September 2015, IOS Press

    Professor Stefano Bistarelli

  57. On merging two trust-networks in one with bipolar preferences

    Article • Mathematical Structures in Computer Science, June 2015, Cambridge University Press

    Professor Stefano Bistarelli

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

    Article • November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  59. An Improved Role-Based Access to Android Applications with JCHR

    Article • September 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

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

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

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

    Article • Theory and Practice of Logic Programming, June 2014, Cambridge University Press

    Professor Stefano Bistarelli

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

    Article • January 2014, Springer Science + Business Media

    Professor Stefano Bistarelli

  63. A Secure Non-monotonic Soft Concurrent Constraint Language

    Article • Fundamenta Informaticae, January 2014, IOS Press

    Professor Stefano Bistarelli

  64. A First Comparison of Abstract Argumentation Reasoning-Tools

    Article • January 2014, IOS Press

    Professor Stefano Bistarelli

  65. Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics

    Article • January 2014, IOS Press

    Professor Stefano Bistarelli

  66. Interchangeability with thresholds and degradation factors for Soft CSPs

    Article • Annals of Mathematics and Artificial Intelligence, February 2013, Springer Science + Business Media

    Professor Stefano Bistarelli

  67. Solving Fuzzy Distributed CSPs: An Approach with Naming Games

    Article • January 2013, Springer Science + Business Media

    Professor Stefano Bistarelli

  68. Coalitions of Arguments: An Approach with Constraint Programming

    Article • Fundamenta Informaticae, January 2013, IOS Press

    Professor Stefano Bistarelli

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

    Article • October 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

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

    Article • Computers & Mathematics with Applications, August 2012, Elsevier

    Professor Stefano Bistarelli

  71. Evaluation of complex security scenarios using defense trees and economic indexes

    Article • Journal of Experimental & Theoretical Artificial Intelligence, June 2012, Taylor & Francis

    Professor Stefano Bistarelli

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

    Article • Expert Systems with Applications, February 2012, Elsevier

    Professor Stefano Bistarelli

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

    Article • January 2012, Springer Science + Business Media

    Professor Stefano Bistarelli

  74. Securely Accessing Shared Resources with Concurrent Constraint Programming

    Article • January 2012, Springer Science + Business Media

    Professor Stefano Bistarelli

  75. Negotiation of Weighted RTML Credentials on Mobile Devices

    Article • January 2012, Springer Science + Business Media

    Professor Stefano Bistarelli

  76. A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  77. Towards a similarity-based web service discovery through soft constraint satisfaction problems

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  78. Uncertainty in bipolar preference problems

    Article • Journal of Experimental & Theoretical Artificial Intelligence, December 2011, Taylor & Francis

    Professor Stefano Bistarelli

  79. Solving Fuzzy DCSPs with Naming Games

    Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  80. ConArg: A Constraint-Based Computational Framework for Argumentation Systems

    Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  81. Solving Weighted Argumentation Frameworks with Soft Constraints

    Article • January 2011, Springer Science + Business Media

    Professor Stefano Bistarelli

  82. Security Protocol Deployment Risk

    Article • January 2011, Springer Science + Business Media

    Professor Stefano Bistarelli

  83. Finding partitions of arguments with Dung's properties via SCSPs

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  84. A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

    Article • Fundamenta Informaticae, January 2011, IOS Press

    Professor Stefano Bistarelli

  85. Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria

    Article • Security and Communication Networks, November 2010, Wiley

    Professor Stefano Bistarelli

  86. Unicast and multicast QoS routing with soft-constraint logic programming

    Article • ACM Transactions on Computational Logic, October 2010, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  87. From soft constraints to bipolar preferences: modelling framework and solving issues

    Article • Journal of Experimental & Theoretical Artificial Intelligence, June 2010, Taylor & Francis

    Professor Stefano Bistarelli

  88. Extending Soft Arc Consistency Algorithms to Non-invertible Semirings

    Article • January 2010, Springer Science + Business Media

    Professor Stefano Bistarelli

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

    Article • January 2010, Springer Science + Business Media

    Professor Stefano Bistarelli

  90. Solving Distributed CSPs Probabilistically

    Article • Fundamenta Informaticae, January 2010, IOS Press

    Professor Stefano Bistarelli

  91. A Common Computational Framework for Semiring-based Argumentation Systems

    Article • January 2010, IOS Press

    Professor Stefano Bistarelli

  92. Solving finite domain constraint hierarchies by local consistency and tree search

    Article • Journal of Experimental & Theoretical Artificial Intelligence, December 2009, Taylor & Francis

    Professor Stefano Bistarelli

  93. Fairness as a QoS Measure for Web Services

    Article • Electronic Proceedings in Theoretical Computer Science, June 2009, Open Publishing Association

    Professor Stefano Bistarelli

  94. Soft Constraints for Quality Aspects in Service Oriented Architectures

    Article • Electronic Proceedings in Theoretical Computer Science, June 2009, Open Publishing Association

    Professor Stefano Bistarelli

  95. A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation

    Article • Electronic Notes in Theoretical Computer Science, April 2009, Elsevier

    Professor Stefano Bistarelli

  96. Constraint Based Languages for Biological Reactions

    Article • January 2009, Springer Science + Business Media

    Professor Stefano Bistarelli

  97. Capturing Fair Computations on Concurrent Constraint Language

    Article • January 2009, Springer Science + Business Media

    Professor Stefano Bistarelli

  98. C-semiring Frameworks for Minimum Spanning Tree Problems

    Article • January 2009, Springer Science + Business Media

    Professor Stefano Bistarelli

  99. From Marriages to Coalitions: A Soft CSP Approach

    Article • January 2009, Springer Science + Business Media

    Professor Stefano Bistarelli

  100. Solving CSPs with Naming Games

    Article • January 2009, Springer Science + Business Media

    Professor Stefano Bistarelli

  101. Soft Constraints for Dependable Service Oriented Architectures

    Article • January 2009, Springer Science + Business Media

    Professor Stefano Bistarelli

  102. A Formal and Practical Framework for Constraint-Based Routing

    Article • April 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  103. Weighted Datalog and Levels of Trust

    Article • March 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  104. Analyzing Security Scenarios Using Defence Trees and Answer Set Programming

    Article • Electronic Notes in Theoretical Computer Science, February 2008, Elsevier

    Professor Stefano Bistarelli

  105. Semiring-Based Soft Constraints

    Article • January 2008, Springer Science + Business Media

    Professor Stefano Bistarelli

  106. Propagating multitrust within trust networks

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

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

    Article • Electronic Notes in Theoretical Computer Science, September 2007, Elsevier

    Professor Stefano Bistarelli

  108. Soft constraint based pattern mining

    Article • Data & Knowledge Engineering, July 2007, Elsevier

    Professor Stefano Bistarelli

  109. An Optimization Approach using Soft Constraints for the Cascade Vulnerability Problem

    Article • June 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  110. Augmented Risk Analysis

    Article • Electronic Notes in Theoretical Computer Science, February 2007, Elsevier

    Professor Stefano Bistarelli

  111. Using CP-nets as a guide for countermeasure selection

    Article • January 2007, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  112. An asymmetric fingerprint matching algorithm for Java Card TM

    Article • Pattern Analysis and Applications, October 2006, Springer Science + Business Media

    Professor Stefano Bistarelli

  113. Editorial

    Article • Journal of Heuristics, September 2006, Springer Science + Business Media

    Professor Stefano Bistarelli

  114. Soft concurrent constraint programming

    Article • ACM Transactions on Computational Logic, July 2006, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  115. Soft Constraints for Security

    Article • Electronic Notes in Theoretical Computer Science, January 2006, Elsevier

    Professor Stefano Bistarelli

  116. Special track editorial

    Article • January 2006, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  117. Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration

    Article • January 2006, Springer Science + Business Media

    Professor Stefano Bistarelli

  118. Defense trees for economic evaluation of security investments

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  119. A soft constraint-based approach to the cascade vulnerability problem

    Article • Journal of Computer Security, December 2005, IOS Press

    Professor Stefano Bistarelli

  120. Information Assurance for security protocols

    Article • Computers & Security, June 2005, Elsevier

    Professor Stefano Bistarelli

  121. Relating multiset rewriting and process algebras for security protocol analysis

    Article • Journal of Computer Security, January 2005, IOS Press

    Professor Stefano Bistarelli

  122. A Protocol’s Life After Attacks...

    Article • January 2005, Springer Science + Business Media

    Professor Stefano Bistarelli

  123. Biometrics to Enhance Smartcard Security

    Article • January 2005, Springer Science + Business Media

    Professor Stefano Bistarelli

  124. Editorial

    Article • January 2005, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  125. MOC via TOC Using a Mobile Agent Framework

    Article • January 2005, Springer Science + Business Media

    Professor Stefano Bistarelli

  126. An Asymmetric Fingerprint Matching Algorithm for Java CardTM

    Article • January 2005, Springer Science + Business Media

    Professor Stefano Bistarelli

  127. Interestingness is Not a Dichotomy: Introducing Softness in Constrained Pattern Mining

    Article • January 2005, Springer Science + Business Media

    Professor Stefano Bistarelli

  128. Soft constraint programming to analysing security protocols

    Article • Theory and Practice of Logic Programming, August 2004, Cambridge University Press

    Professor Stefano Bistarelli

  129. Soft Constraint Propagation and Solving in Constraint Handling Rules

    Article • Computational Intelligence, May 2004, Wiley

    Professor Stefano Bistarelli

  130. Semirings for Soft Constraint Solving and Programming

    Article • January 2004

    Professor Stefano Bistarelli

  131. 1. Introduction

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  132. 4. SCSP Abstraction

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  133. 6. Soft CLP

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  134. 9. Interchangeability in Soft CSPs

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  135. Tradeoff Generation Using Soft Constraints

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  136. Experimental Evaluation of Interchangeability in Soft CSPs

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  137. Abstracting Soft Constraints: Some Experimental Results on Fuzzy CSPs

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  138. 10. SCSPs for Modelling Attacks to Security Protocols

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  139. Confidentiality Levels and Deliberate/Indeliberate Protocol Attacks

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  140. 2. Soft Constraint Satisfaction Problems

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  141. 3. Towards SCSPs Solutions

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  142. 5. Higher Order Semiring-Based Constraints

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  143. 7. SCLP and Generalized Shortest Path Problems

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  144. 8. Soft Concurrent Constraint Programming

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  145. 11. Conclusions and Directions for Future Work

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  146. Symmetry Breaking in Soft CSPs

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  147. A Theoretical Framework for Tradeoff Generation using Soft Constraints

    Article • January 2004, Springer Science + Business Media

    Professor Stefano Bistarelli

  148. Modeling and detecting the cascade vulnerability problem using soft constraints

    Article • January 2004, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  149. Computer Algebra for Fingerprint Matching

    Article • January 2003, Springer Science + Business Media

    Professor Stefano Bistarelli

  150. Interchangeability in Soft CSPs

    Article • January 2003, Springer Science + Business Media

    Professor Stefano Bistarelli

  151. Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search

    Article • January 2003, Springer Science + Business Media

    Professor Stefano Bistarelli

  152. A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity

    Article • January 2003, Springer Science + Business Media

    Professor Stefano Bistarelli

  153. Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols

    Article • January 2003, Springer Science + Business Media

    Professor Stefano Bistarelli

  154. On Representing Biological Systems through Multiset Rewriting

    Article • January 2003, Springer Science + Business Media

    Professor Stefano Bistarelli

  155. Article • Constraints, January 2003, Springer Science + Business Media

    Professor Stefano Bistarelli

  156. Abstracting soft constraints: Framework, properties, examples

    Article • Artificial Intelligence, August 2002, Elsevier

    Professor Stefano Bistarelli

  157. Soft constraint propagation and solving in CHRs

    Article • January 2002, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  158. Soft Concurrent Constraint Programming

    Article • January 2002, Springer Science + Business Media

    Professor Stefano Bistarelli

  159. Soft constraint propagation and solving in CHRs

    Article • January 2002, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  160. Interchangeability in Soft CSPs

    Article • January 2002, Springer Science + Business Media

    Professor Stefano Bistarelli

  161. Article • Journal of Heuristics, January 2002, Springer Science + Business Media

    Professor Stefano Bistarelli

  162. Soft Constraints for Security Protocol Analysis: Confidentiality

    Article • January 2001, Springer Science + Business Media

    Professor Stefano Bistarelli

  163. Semiring-based contstraint logic programming: syntax and semantics

    Article • ACM Transactions on Programming Languages and Systems, January 2001, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  164. An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation

    Article • January 2000, Springer Science + Business Media

    Professor Stefano Bistarelli

  165. Abstracting Soft Constraints

    Article • January 2000, Springer Science + Business Media

    Professor Stefano Bistarelli

  166. Constraint Propagation for Soft Constraints: Generalization and Termination Conditions

    Article • January 2000, Springer Science + Business Media

    Professor Stefano Bistarelli

  167. Labeling and Partial Local Consistency for Soft Constraint Programming

    Article • January 1999, Springer Science + Business Media

    Professor Stefano Bistarelli

  168. Semiring-based constraint satisfaction and optimization

    Article • Journal of the ACM, March 1997, ACM (Association for Computing Machinery)

    Professor Stefano Bistarelli

  169. Semiring-based CSPs and valued CSPs: Basic properties and comparison

    Article • January 1996, Springer Science + Business Media

    Professor Stefano Bistarelli

  170. SCLP for Trust Propagation in Small-World Networks

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  171. A Soft Approach to Multi-objective Optimization

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  172. Strategic Games on Defense Trees

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  173. Extending the Soft Constraint Based Mining Paradigm

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  174. Multilevel Security and Quality of Protection

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  175. Timed Soft Concurrent Constraint Programs

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  176. A Semantic Foundation for Trust Management Languages with Weights: An Application to the RT Family

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  177. Bipolar Preference Problems: Framework, Properties and Solving Techniques

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  178. Uncertainty in Bipolar Preference Problems

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  179. Constraint Symmetry for the Soft CSP

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  180. Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  181. Reasoning about Secure Interoperation Using Soft Constraints

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli

  182. Advancing assurance for secure distributed communications

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  183. Encoding partial constraint satisfaction in the semiring-based framework for soft constraints

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  184. Analysis of integrity policies using soft constraints

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Professor Stefano Bistarelli

  185. Interchangeability in Soft CSPs

    Article • Springer Science + Business Media

    Professor Stefano Bistarelli