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
9151997
Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
S Bistarelli, U Montanari, F Rossi, T Schiex, G Verfaillie, H Fargier
Constraints 4, 199-240, 1999
4311999
Constraint solving over semirings
S Bistarelli, U Montanari, F Rossi
IJCAI (1), 624-630, 1995
2491995
Defense trees for economic evaluation of security investments
S Bistarelli, F Fioravanti, P Peretti
First International Conference on Availability, Reliability and Security …, 2006
2382006
Semirings for soft constraint solving and programming
S Bistarelli
Springer Science & Business Media, 2004
2022004
Strategic games on defense trees
S Bistarelli, M Dall’Aglio, P Peretti
Formal Aspects in Security and Trust: Fourth International Workshop, FAST …, 2007
1222007
Soft concurrent constraint programming
S Bistarelli, U Montanari, F Rossi
ACM Transactions on Computational Logic (TOCL) 7 (3), 563-589, 2006
1052006
Soft concurrent constraint programming
S Bistarelli, U Montanari, F Rossi
ACM Transactions on Computational Logic (TOCL) 7 (3), 563-589, 2006
1052006
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
982001
Semiring-based CSPs and valued CSPs: Basic properties and comparison
S Bistarelli, H Faxgier, U Montanari, F Rossi, T Schiex, G Verfaillie
Over-constrained systems, 111-150, 1996
951996
Enhancing constraints manipulation in semiring-based formalisms
S Bistarelli, F Gadducci
ECAI 141, 63-67, 2006
852006
Conarg: A constraint-based computational framework for argumentation systems
S Bistarelli, F Santini
2011 IEEE 23rd International Conference on Tools with Artificial …, 2011
742011
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
722017
A common computational framework for semiring-based argumentation systems1, 2
S Bistarelli, F Santini
ECAI 2010: 19th European Conference on Artificial Intelligence, 16–20 August …, 2010
662010
Abstracting soft constraints: Framework, properties, examples
S Bistarelli, P Codognet, F Rossi
Artificial Intelligence 139 (2), 175-211, 2002
662002
An asymmetric fingerprint matching algorithm for Java Card TM
S Bistarelli, F Santini, A Vaccarelli
Pattern analysis and applications 9, 359-376, 2006
632006
Semiring-based constraint logic programming
S Bistarelli, U Montanari, F Rossi
IJCAI (1), 352-357, 1997
501997
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
492007
Go with the-bitcoin-flow, with visual analytics
S Bistarelli, F Santini
Proceedings of the 12th International Conference on Availability …, 2017
432017
Modeling and solving afs with a constraint-based tool: Conarg
S Bistarelli, F Santini
Theorie and Applications of Formal Argumentation: First International …, 2012
392012
The system can't perform the operation now. Try again later.
Articles 1–20