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 × 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 DBLP: Ruggieri:Salvatore

Contributed to:

SAC 20122012
KDD 20112011
KDD 20102010
SAC 20102010
SIGMOD 20102010
KDD 20082008
SAS 20082008
PDCL 20042004
ICLP 19991999
ESOP 19981998
REFSQ 19981998
ICALP 19971997
PLILP 19961996

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.
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.