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
9451997
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
4371999
Defense trees for economic evaluation of security investments
S Bistarelli, F Fioravanti, P Peretti
First International Conference on Availability, Reliability and Security …, 2006
2572006
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
2142004
Strategic games on defense trees
S Bistarelli, M Dall’Aglio, P Peretti
Formal Aspects in Security and Trust: Fourth International Workshop, FAST …, 2007
1252007
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
Over-constrained systems, 111-150, 1996
961996
Enhancing constraints manipulation in semiring-based formalisms
S Bistarelli, F Gadducci
ECAI 141, 63-67, 2006
942006
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
892017
Conarg: A constraint-based computational framework for argumentation systems
S Bistarelli, F Santini
2011 IEEE 23rd International Conference on Tools with Artificial …, 2011
782011
Abstracting soft constraints: Framework, properties, examples
S Bistarelli, P Codognet, F Rossi
Artificial Intelligence 139 (2), 175-211, 2002
712002
Go with the-bitcoin-flow, with visual analytics
S Bistarelli, F Santini
Proceedings of the 12th International Conference on Availability …, 2017
652017
A common computational framework for semiring-based argumentation systems
S Bistarelli, F Santini
ECAI 2010, 131-136, 2010
652010
An asymmetric fingerprint matching algorithm for Java Card TM
S Bistarelli, F Santini, A Vaccarelli
Pattern analysis and applications 9, 359-376, 2006
632006
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
562020
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
522007
Semiring-based constraint logic programming
S Bistarelli, U Montanari, F Rossi
IJCAI (1), 352-357, 1997
521997
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
502018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20