[go: up one dir, main page]

Follow
Stefano Bistarelli
Stefano Bistarelli
Full professor of Computer Science at University of Perugia
Verified email at unipg.it - Homepage
Title
Cited by
Cited by
Year
Semiring-based constraint satisfaction and optimization
S Bistarelli, U Montanari, F Rossi
Journal of the ACM (JACM) 44 (2), 201-236, 1997
9591997
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
4451999
Defense trees for economic evaluation of security investments
S Bistarelli, F Fioravanti, P Peretti
First International Conference on Availability, Reliability and Security …, 2006
2582006
Constraint solving over semirings
S Bistarelli, U Montanari, F Rossi
IJCAI (1), 624-630, 1995
2461995
Semirings for soft constraint solving and programming
S Bistarelli
Springer, 2004
2162004
Strategic games on defense trees
S Bistarelli, M Dall’Aglio, P Peretti
International Workshop on Formal Aspects in Security and Trust, 1-15, 2006
1292006
Soft concurrent constraint programming
S Bistarelli, U Montanari, F Rossi
ACM Transactions on Computational Logic (TOCL) 7 (3), 563-589, 2006
1112006
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
1072001
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
1031995
in semiring-based formalisms¹
S Bistarelli, F Gadducci
ECAI 2006: 17th European Conference on Artificial Intelligence, August 29 …, 2006
962006
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
922017
Conarg: A constraint-based computational framework for argumentation systems
S Bistarelli, F Santini
2011 IEEE 23rd International Conference on Tools with Artificial …, 2011
812011
Abstracting soft constraints: Framework, properties, examples
S Bistarelli, P Codognet, F Rossi
Artificial Intelligence 139 (2), 175-211, 2002
702002
A common computational framework for semiring-based argumentation systems
S Bistarelli, F Santini
ECAI 2010, 131-136, 2010
692010
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
672020
Go with the-bitcoin-flow, with visual analytics
S Bistarelli, F Santini
Proceedings of the 12th International Conference on Availability …, 2017
672017
An asymmetric fingerprint matching algorithm for Java Card TM
S Bistarelli, F Santini, A Vaccarelli
Pattern analysis and applications 9 (4), 359-376, 2006
662006
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
542007
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
522018
Semiring-based constraint logic programming
S Bistarelli, U Montanari, F Rossi
IJCAI (1), 352-357, 1997
521997
The system can't perform the operation now. Try again later.
Articles 1–20