Seguir
Stefano Bistarelli
Stefano Bistarelli
Full professor of Computer Science at University of Perugia
Dirección de correo verificada de unipg.it - Página principal
Título
Citado por
Citado por
Año
Semiring-based constraint satisfaction and optimization
S Bistarelli, U Montanari, F Rossi
Journal of the ACM (JACM) 44 (2), 201-236, 1997
9561997
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
4421999
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
2491995
Semirings for soft constraint solving and programming
S Bistarelli
Springer, 2004
2152004
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
1122006
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
1082001
Enhancing constraints manipulation in semiring-based formalisms
S Bistarelli, F Gadducci
ECAI 141, 63-67, 2006
972006
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
971996
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
862017
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
Go with the-bitcoin-flow, with visual analytics
S Bistarelli, F Santini
Proceedings of the 12th International Conference on Availability …, 2017
652017
An asymmetric fingerprint matching algorithm for Java Card TM
S Bistarelli, F Santini, A Vaccarelli
Pattern analysis and applications 9, 359-376, 2006
622006
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
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20