Segui
Stefano Bistarelli
Stefano Bistarelli
Full professor of Computer Science at University of Perugia
Email verificata su unipg.it - Home page
Titolo
Citata da
Citata da
Anno
Semiring-based constraint satisfaction and optimization
S Bistarelli, U Montanari, F Rossi
Journal of the ACM (JACM) 44 (2), 201-236, 1997
9281997
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
4321999
Defense trees for economic evaluation of security investments
S Bistarelli, F Fioravanti, P Peretti
First International Conference on Availability, Reliability and Security …, 2006
2522006
Constraint solving over semirings
S Bistarelli, U Montanari, F Rossi
IJCAI (1), 624-630, 1995
2521995
Semirings for soft constraint solving and programming
S Bistarelli
Springer Science & Business Media, 2004
2062004
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
1072006
Soft concurrent constraint programming
S Bistarelli, U Montanari, F Rossi
ACM Transactions on Computational Logic (TOCL) 7 (3), 563-589, 2006
1072006
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
1012001
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
961996
Enhancing constraints manipulation in semiring-based formalisms
S Bistarelli, F Gadducci
ECAI 141, 63-67, 2006
892006
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
802017
Conarg: A constraint-based computational framework for argumentation systems
S Bistarelli, F Santini
2011 IEEE 23rd International Conference on Tools with Artificial …, 2011
772011
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
652006
Go with the-bitcoin-flow, with visual analytics
S Bistarelli, F Santini
Proceedings of the 12th International Conference on Availability …, 2017
532017
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
512007
Semiring-based constraint logic programming
S Bistarelli, U Montanari, F Rossi
IJCAI (1), 352-357, 1997
511997
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
442018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20