BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Cyprus
1 × France
1 × Greece
1 × Korea
1 × Spain
1 × Taiwan
2 × Italy
3 × USA
Collaborated with:
F.Santini P.Campli F.Rossi U.Montanari M.Bottalico G.Bella F.Fioravanti P.Peretti S.N.Foley B.O'Sullivan T.W.Frühwirth M.Marte F.Gadducci J.Larrosa E.Rollon P.Codognet Y.Georget
Talks about:
constraint (10) soft (8) program (5) concurr (4) secur (3) use (3) languag (2) propag (2) model (2) countermeasur (1)

Person: Stefano Bistarelli

DBLP DBLP: Bistarelli:Stefano

Contributed to:

SAC 20122012
SEFM 20122012
SAC 20112011
ICLP 20092009
ICLP 20082008
SAC 20082008
QAPL 20072007
SAC 20072007
SAC 20042004
ESOP 20022002
SAC 20022002
PADL 20012001
PADL 20002000

Wrote 14 papers:

SAC-2012-BistarelliCS #concurrent #constraints #coordination #programming
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming (SB, PC, FS), pp. 1551–1553.
SEFM-2012-BistarelliS #concurrent #constraints #programming
Securely Accessing Shared Resources with Concurrent Constraint Programming (SB, FS), pp. 308–322.
SAC-2011-BistarelliCS
Finding partitions of arguments with Dung’s properties via SCSPs (SB, PC, FS), pp. 913–919.
ICLP-2009-BottalicoB #biology #constraints
Constraint Based Languages for Biological Reactions (MB, SB), pp. 561–562.
ICLP-2009-CampliB #concurrent #constraints
Capturing Fair Computations on Concurrent Constraint Language (PC, SB), pp. 559–560.
ICLP-2008-BistarelliGLR #approach #multi #optimisation
A Soft Approach to Multi-objective Optimization (SB, FG, JL, ER), pp. 764–768.
SAC-2008-BistarelliS #multi #network #trust
Propagating multitrust within trust networks (SB, FS), pp. 1990–1994.
QAPL-2007-BistarelliMRS #constraints #graph #logic programming #modelling #multi #using
Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming (SB, UM, FR, FS), pp. 111–127.
SAC-2007-BistarelliFP #using
Using CP-nets as a guide for countermeasure selection (SB, FF, PP), pp. 300–304.
SAC-2004-BistarelliFO #constraints #detection #modelling #problem #using
Modeling and detecting the cascade vulnerability problem using soft constraints (SB, SNF, BO), pp. 383–390.
ESOP-2002-BistarelliMR #concurrent #constraints #programming
Soft Concurrent Constraint Programming (SB, UM, FR), pp. 53–67.
SAC-2002-BistarelliFM #constraints
Soft constraint propagation and solving in CHRs (SB, TWF, MM), pp. 1–5.
PADL-2001-BellaB #analysis #constraints #protocol #security
Soft Constraints for Security Protocol Analysis: Confidentiality (GB, SB), pp. 108–122.
PADL-2000-BistarelliCGR #consistency #constraints #programming
Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.