BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Greece
1 × Spain
1 × Taiwan
2 × Italy
Collaborated with:
S.Bistarelli P.Campli F.Arbab F.Martinelli I.Matteucci S.T.Q.Jongmans M.Sargolzaei H.Afsarmanesh U.Montanari F.Rossi
Talks about:
constraint (4) program (3) secur (3) soft (3) coordin (2) concurr (2) servic (2) base (2) nonmonoton (1) multitrust (1)

Person: Francesco Santini

DBLP DBLP: Santini:Francesco

Contributed to:

QAPL 20152015
PDP 20142014
SEFM 20132013
SAC 20122012
SEFM 20122012
SAC 20112011
ICLP 20082008
SAC 20082008
QAPL 20072007

Wrote 9 papers:

QAPL-2015-MartinelliMS #security #specification
Semiring-based Specification Approaches for Quantitative Security (FM, IM, FS), pp. 95–109.
PDP-2014-JongmansSA #coordination
Partially-Distributed Coordination with Reo (SSTQJ, FS, FA), pp. 697–706.
SEFM-2013-SargolzaeiSAA #approximate #behaviour #web #web service
A Tool for Behaviour-Based Discovery of Approximately Matching Web Services (MS, FS, FA, HA), pp. 152–166.
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.
Finding partitions of arguments with Dung’s properties via SCSPs (SB, PC, FS), pp. 913–919.
ICLP-2008-Santini #constraints #quality
Managing Quality of Service with Soft Constraints (FS), pp. 815–817.
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.

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.