`Travelled to:`

1 × Germany

1 × Portugal

1 × Spain

1 × Switzerland

3 × Italy

5 × USA

`Collaborated with:`

∅ D.Pedreschi F.Turini F.Mesnard F.Mesnard B.L.Thanh J.Smaus F.Fabbrini M.Fusani V.Gervasi S.Gnesi

`Talks about:`

program (5) discrimin (4) logic (4) constraint (3) discoveri (3) termin (2) linear (2) test (2) mine (2) nondetermin (1)

## Person: Salvatore Ruggieri

### DBLP: Ruggieri:Salvatore

### Contributed to:

### Wrote 13 papers:

- SAC-2012-PedreschiRT #case study #metric
- A study of top-k measures for discrimination discovery (DP, SR, FT), pp. 126–131.
- KDD-2011-ThanhRT #implementation #testing
- k-NN as an implementation of situation testing for discrimination discovery and prevention (BLT, SR, FT), pp. 502–510.
- KDD-2010-Ruggieri #mining
- Frequent regular itemset mining (SR), pp. 263–272.
- SAC-2010-RuggieriM #constraints #linear
- Variable ranges in linear constraints (SR, FM), pp. 2061–2065.
- SIGMOD-2010-RuggieriPT #database #named
- DCUBE: discrimination discovery in databases (SR, DP, FT), pp. 1127–1130.
- KDD-2008-PedreschiRT #data mining #mining
- Discrimination-aware data mining (DP, SR, FT), pp. 560–568.
- SAS-2008-RuggieriM #constraints #linear #source code #type system
- Typing Linear Constraints for Moding CLP() Programs (SR, FM), pp. 128–143.
- PDCL-2004-PedreschiRS #logic programming #termination
- Characterisations of Termination in Logic Programming (DP, SR, JGS), pp. 376–431.
- ICLP-1999-PedreschiR #bound #logic programming #nondeterminism #source code
- Bounded Nondeterminism of Logic Programs (DP, SR), pp. 350–364.
- ESOP-1998-Ruggieri #debugging #declarative
- A Complete Declarative Debugger of Missing Answers (SR), pp. 236–251.
- REFSQ-1998-FabbriniFGGR #natural language #on the #quality #requirements
- On Linguistic Quality of Natural Language Requirements (FF, MF, VG, SG, SR), pp. 57–62.
- ICALP-1997-Ruggieri #constraints #logic programming #source code #termination
- Termination of Constraint Logic Programs (SR), pp. 838–848.
- PLILP-1996-Ruggieri #decidability #logic programming #semantics #testing
- Decidability of Logic Program Semantics and Applications to Testing (SR), pp. 347–362.