| Semiring-based constraint satisfaction and optimization S Bistarelli, U Montanari, F Rossi Journal of the ACM (JACM) 44 (2), 201-236, 1997 | 959 | 1997 |
| Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison S Bistarelli, U Montanari, F Rossi, T Schiex, G Verfaillie, H Fargier Constraints 4 (3), 199-240, 1999 | 445 | 1999 |
| Defense trees for economic evaluation of security investments S Bistarelli, F Fioravanti, P Peretti First International Conference on Availability, Reliability and Security …, 2006 | 258 | 2006 |
| Constraint solving over semirings S Bistarelli, U Montanari, F Rossi IJCAI (1), 624-630, 1995 | 246 | 1995 |
| Semirings for soft constraint solving and programming S Bistarelli Springer, 2004 | 216 | 2004 |
| Strategic games on defense trees S Bistarelli, M Dall’Aglio, P Peretti International Workshop on Formal Aspects in Security and Trust, 1-15, 2006 | 129 | 2006 |
| Soft concurrent constraint programming S Bistarelli, U Montanari, F Rossi ACM Transactions on Computational Logic (TOCL) 7 (3), 563-589, 2006 | 111 | 2006 |
| Semiring-based constraint logic programming: syntax and semantics S Bistarelli, U Montanari, F Rossi ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (1), 1-29, 2001 | 107 | 2001 |
| Semiring-based CSPs and valued CSPs: Basic properties and comparison S Bistarelli, H Faxgier, U Montanari, F Rossi, T Schiex, G Verfaillie International Workshop on Over-Constrained Systems, 111-150, 1995 | 103 | 1995 |
| in semiring-based formalisms¹ S Bistarelli, F Gadducci ECAI 2006: 17th European Conference on Artificial Intelligence, August 29 …, 2006 | 96 | 2006 |
| An end-to-end voting-system based on bitcoin S Bistarelli, M Mantilacci, P Santancini, F Santini Proceedings of the Symposium on Applied Computing, 1836-1841, 2017 | 92 | 2017 |
| Conarg: A constraint-based computational framework for argumentation systems S Bistarelli, F Santini 2011 IEEE 23rd International Conference on Tools with Artificial …, 2011 | 81 | 2011 |
| Abstracting soft constraints: Framework, properties, examples S Bistarelli, P Codognet, F Rossi Artificial Intelligence 139 (2), 175-211, 2002 | 70 | 2002 |
| A common computational framework for semiring-based argumentation systems S Bistarelli, F Santini ECAI 2010, 131-136, 2010 | 69 | 2010 |
| Ethereum smart contracts: Analysis and statistics of their source code and opcodes S Bistarelli, G Mazzante, M Micheletti, L Mostarda, D Sestili, F Tiezzi Internet of Things 11, 100198, 2020 | 67 | 2020 |
| Go with the-bitcoin-flow, with visual analytics S Bistarelli, F Santini Proceedings of the 12th International Conference on Availability …, 2017 | 67 | 2017 |
| An asymmetric fingerprint matching algorithm for Java Card TM S Bistarelli, F Santini, A Vaccarelli Pattern analysis and applications 9 (4), 359-376, 2006 | 66 | 2006 |
| Using CP-nets as a guide for countermeasure selection S Bistarelli, F Fioravanti, P Peretti Proceedings of the 2007 ACM symposium on Applied computing, 300-304, 2007 | 54 | 2007 |
| A novel weighted defence and its relaxation in abstract argumentation S Bistarelli, F Rossi, F Santini International Journal of Approximate Reasoning 92, 66-86, 2018 | 52 | 2018 |
| Semiring-based constraint logic programming S Bistarelli, U Montanari, F Rossi IJCAI (1), 352-357, 1997 | 52 | 1997 |
Francesco SantiniDipartimento Matematica e Informatica, PerugiaVerified email at dmi.unipg.it
