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: Santini:Francesco
Contributed to:
2015
2014
2013
201220122011
200820082007Wrote 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.
- SAC-2011-BistarelliCS
- 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.