Stefano Bistarelli

Stefano Bistarelli is associate professor of Computer Science at the Department of Mathematics and Computer Science at the University of Perugia and a research associate at the Institute for Computer Science and Telematics (IIT) at the CNR (Italian National Research Council) in Pisa.

His research interests range from Artificial Intelligence to Programming Languages, with particular attention to constraint programming, constraint solution algorithms, and soft constraints. He also works on Computer Security and recently on Economics.


Stefano Bistarelli Microsoft Academic Research

Dep. of Mathematics and Computer Science
University of Perugia

Associate Professor

Via Vanvitelli, 1 - 06123 Perugia, Italy
bista@dmi.unipg.it
+39 075 585.5045
+39 075 585.5024
www.linkedin.com/pub/stefano-bistarelli/4/95b/370

IEEE Senior member

Research supported by:

Semirings for soft constraint solving and programming

Series: Lecture Notes in Computer Science , Vol. 2962
Bistarelli, Stefano - 2004, XII, 279 p., Softcover
http://www.springer.com/computer/programming/book/978-3-540-21181-5

Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks.

ACM DL Author-ize serviceTowards a similarity-based web service discovery through soft constraint satisfaction problems
Farhad Arbab, Francesco Santini, Stefano Bistarelli, Daniele Pirolandi
SSW '12 Proceedings of the 2nd International Workshop on Semantic Search over the Web, 2012
ACM DL Author-ize serviceA secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming
Stefano Bistarelli, Paola Campli, Francesco Santini
SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
ACM DL Author-ize serviceFinding partitions of arguments with Dung's properties via SCSPs
Stefano Bistarelli, Paola Campli, Francesco Santini
SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing, 2011
ACM DL Author-ize serviceUnicast and multicast QoS routing with soft-constraint logic programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
ACM Transactions on Computational Logic (TOCL), 2010
ACM DL Author-ize servicePropagating multitrust within trust networks
Stefano Bistarelli, Francesco Santini
SAC '08 Proceedings of the 2008 ACM symposium on Applied computing, 2008
ACM DL Author-ize serviceUsing CP-nets as a guide for countermeasure selection
Stefano Bistarelli, Fabio Fioravanti, Pamela Peretti
SAC '07 Proceedings of the 2007 ACM symposium on Applied computing, 2007
ACM DL Author-ize serviceSoft concurrent constraint programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
ACM Transactions on Computational Logic (TOCL), 2006
ACM DL Author-ize serviceSpecial track editorial: constraint solving and programming
Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan
SAC '06 Proceedings of the 2006 ACM symposium on Applied computing, 2006
ACM DL Author-ize serviceEditorial: special track on constraint solving and programming
Stefano Bistarelli, Eric Monfroy, Barry O'Sullivan
SAC '05 Proceedings of the 2005 ACM symposium on Applied computing, 2005
ACM DL Author-ize serviceModeling and detecting the cascade vulnerability problem using soft constraints
Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan
SAC '04 Proceedings of the 2004 ACM symposium on Applied computing, 2004
ACM DL Author-ize serviceSoft constraint propagation and solving in CHRs
Stefano Bistarelli, Thom Frühwirth, Michael Marte
SAC '02 Proceedings of the 2002 ACM symposium on Applied computing, 2002
ACM DL Author-ize serviceSemiring-based constraint logic programming: syntax and semantics
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
ACM Transactions on Programming Languages and Systems (TOPLAS), 2001
ACM DL Author-ize serviceSemiring-based constraint satisfaction and optimization
Stefano Bistarelli, Ugo Montanari, Francesca Rossi
Journal of the ACM (JACM), 1997