]> BibSonomy publications for /author/Bistarelli http://www.bibsonomy.org/burst/author/Bistarelli BibSonomy BuRST Feed for /author/Bistarelli 2008-07-27T02:19:38+02:00 A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. dblphttp://www.bibsonomy.org/bibtex/28cb9792955f19c0fdb894a98c44e3212/dblp dblp 2008-06-23T00:00:00+02:00 dblp
A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.
Stefano Bistarelli and Fabio Martinelli and Francesco Santini ATC 481-495 (2008)
to dblp by dblp on 2008-06-23 00:00:00 ]]> ATCconf/atc/2008481-495Lecture Notes in Computer ScienceA Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.50602008dblp 2008-06-23 00:00:00.0 Semiring-Based Soft Constraints. dblphttp://www.bibsonomy.org/bibtex/2493b3b7f7bd927fc4de4d876b5f4c031/dblp dblp 2008-06-16T00:00:00+02:00 dblp
Semiring-Based Soft Constraints.
Stefano Bistarelli and Francesca Rossi Concurrency, Graphs and Models 155-173 (2008)
to dblp by dblp on 2008-06-16 00:00:00 ]]> Concurrency, Graphs and Modelsconf/birthday/2008montanari155-173Lecture Notes in Computer ScienceSemiring-Based Soft Constraints.50652008dblp 2008-06-16 00:00:00.0 Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. dblphttp://www.bibsonomy.org/bibtex/2bc22a0a3fadfc872e5550b20ab2d0fdb/dblp dblp 2008-06-11T00:00:00+02:00 dblp
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.
Stefano Bistarelli and Pamela Peretti and Irina Trubitsyna Electr. Notes Theor. Comput. Sci. 197 121-129 (2008)
to dblp by dblp on 2008-06-11 00:00:00 ]]> Electr. Notes Theor. Comput. Sci.2121-129Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.1972008dblp 2008-06-11 00:00:00.0 Timed Soft Concurrent Constraint Programs. dblphttp://www.bibsonomy.org/bibtex/2587f832f03f5b604f89d8c5bda0de44a/dblp dblp 2008-05-30T00:00:00+02:00 dblp
Timed Soft Concurrent Constraint Programs.
Stefano Bistarelli and Maurizio Gabbrielli and Maria Chiara Meo and Francesco Santini COORDINATION 50-66 (2008)
to dblp by dblp on 2008-05-30 00:00:00 ]]> COORDINATIONconf/coordination/200850-66Lecture Notes in Computer ScienceTimed Soft Concurrent Constraint Programs.50522008dblp 2008-05-30 00:00:00.0 Weighted Datalog and Levels of Trust. dblphttp://www.bibsonomy.org/bibtex/269ce6c6353a9948afc15688b66094768/dblp dblp 2008-05-11T00:00:00+02:00 dblp
Weighted Datalog and Levels of Trust.
Stefano Bistarelli and Fabio Martinelli and Francesco Santini ARES 1128-1134 (2008)
to dblp by dblp on 2008-05-11 00:00:00 ]]> ARESconf/IEEEares/20081128-1134Weighted Datalog and Levels of Trust.2008dblp 2008-05-11 00:00:00.0 Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration. dblphttp://www.bibsonomy.org/bibtex/253478ca3be2756e5f51549b018c823a7/dblp dblp 2008-05-05T00:00:00+02:00 dblp
Principles of Secure Network Configuration: Towards a Formal Basis for Self-configuration.
Simon N. Foley and William M. Fitzgerald and Stefano Bistarelli and Barry O'Sullivan and Mícheál Ó Foghlú IPOM 168-180 (2006)
to dblp by dblp on 2008-05-05 00:00:00 ]]> IPOMconf/ipom/2006168-180Lecture Notes in Computer SciencePrinciples of Secure Network Configuration: Towards a Formal Basis for Self-configuration.42682006dblp 2008-05-05 00:00:00.0 A Formal and Practical Framework for Constraint-Based Routing. dblphttp://www.bibsonomy.org/bibtex/207f079e8792a0a8da933ceaa759944db/dblp dblp 2008-04-29T00:00:00+02:00 dblp
A Formal and Practical Framework for Constraint-Based Routing.
Stefano Bistarelli and Francesco Santini ICN 162-167 (2008)
to dblp by dblp on 2008-04-29 00:00:00 ]]> ICNconf/icn/2008162-167A Formal and Practical Framework for Constraint-Based Routing.2008dblp 2008-04-29 00:00:00.0 Unicast and Multicast Qos Routing with Soft Constraint Logic Programming dblphttp://www.bibsonomy.org/bibtex/231494d608f5c52919332feafd9fe1d1e/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
Stefano Bistarelli and Ugo Montanari and Francesca Rossi and Francesco Santini CoRR abs/0704.1783 (2007)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationUnicast and Multicast Qos Routing with Soft Constraint Logic Programmingabs/0704.17832007dblp 2008-01-02 00:00:00.0 Soft Concurrent Constraint Programming dblphttp://www.bibsonomy.org/bibtex/25b873aec1e69e8553352e476f9e86c2d/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Soft Concurrent Constraint Programming
Stefano Bistarelli and Ugo Montanari and Francesca Rossi CoRR cs.PL/0208008 (2002)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationSoft Concurrent Constraint Programmingcs.PL/02080082002dblp 2008-01-02 00:00:00.0 Soft Constraint Programming to Analysing Security Protocols dblphttp://www.bibsonomy.org/bibtex/2e69dc81347ec4de2b0ffb6dff89998e8/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Soft Constraint Programming to Analysing Security Protocols
Giampaolo Bella and Stefano Bistarelli CoRR cs.CR/0312025 (2003)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationSoft Constraint Programming to Analysing Security Protocolscs.CR/03120252003dblp 2008-01-02 00:00:00.0