Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Publications
You are here
Home
»
Research
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
[
Title
]
Type
Year
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
V
D. Pedreschi
and
Ruggieri, S.
,
“
Verification of Logic Programs
”
,
J. Log. Program.
, vol. 39, pp. 125-176, 1999.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Bonchi
,
Giannotti, F.
, and
Pedreschi, D.
,
“
On Verification in Logic Database Languages
”
, in
Computational Logic
, 2000, pp. 957-971.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
U
G. Rossetti
,
Milli, L.
,
Citraro, S.
, and
Morini, V.
,
“
UTLDR: an agent-based framework for modeling infectious diseases and public interventions
”
,
arXiv preprint arXiv:2011.05606
, 2020.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Montesi
,
Renso, C.
, and
Turini, F.
,
“
Using Temporary Integrity Constraints to Optimize Databases
”
, in
FAPR
, 1996, pp. 430-435.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
S. Ruggieri
,
“
Using t-closeness anonymity to control for non-discrimination.
”
,
Trans. Data Privacy
, vol. 7, pp. 99–129, 2014.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Gargantini
,
Riccobene, E.
, and
Rinzivillo, S.
,
“
Using Spin to Generate Tests from ASM Specifications
”
, in
Abstract State Machines
, 2003, pp. 263-277.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Aquilino
,
Asirelli, P.
,
Formuso, A.
,
Renso, C.
, and
Turini, F.
,
“
Using Medlan to Integrate Geographical Data
”
,
Journal of Logic Programming
, pp. 3–14, 2000.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D. Aquilino
,
Asirelli, P.
,
Formuso, A.
,
Renso, C.
, and
Turini, F.
,
“
Using MedLan to Integrate Geographical Data
”
,
J. Log. Program.
, vol. 43, pp. 3-14, 2000.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Bonchi
,
Giannotti, F.
,
Mainetto, G.
, and
Pedreschi, D.
,
“
Using Data Mining Techniques in Fiscal Fraud Detection
”
, in
DaWaK
, 1999, pp. 369-376.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Using Abstract Interpretation for Gate splitting in LOTOS Specifications
”
, in
WSA
, 1992, pp. 194-204.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Gabrielli
,
Furletti, B.
,
Giannotti, F.
,
Nanni, M.
, and
Rinzivillo, S.
,
“
Use of Mobile Phone Data to Estimate Visitors Mobility Flows
”
, in
Software Engineering and Formal Methods
, vol. 8938, Springer International Publishing, 2015, pp. 214-226.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Gabrielli
,
Furletti, B.
,
Giannotti, F.
,
Nanni, M.
, and
Rinzivillo, S.
,
“
Use of mobile phone data to estimate visitors mobility flows
”
, in
Proceedings of MoKMaSD
, 2014.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
B. Furletti
,
Gabrielli, L.
,
Giannotti, F.
,
Milli, L.
,
Nanni, M.
, and
Pedreschi, D.
,
“
Use of mobile phone data to estimate mobility flows. Measuring urban population and inter-city mobility using big data in an integrated approach
”
, in
47th SIS Scientific Meeting of the Italian Statistica Society
, Cagliari , 2014.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Nanni, M.
,
Pedreschi, D.
,
Pinelli, F.
,
Renso, C.
,
Rinzivillo, S.
, and
Trasarti, R.
,
“
Unveiling the complexity of human mobility by querying and mining massive trajectory data
”
,
VLDB J.
, vol. 20, pp. 695-719, 2011.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P. Gravino
,
Caminiti, S.
,
Sirbu, A.
,
Tria, F.
,
Servedio, V. D. P.
, and
Loreto, V.
,
“
Unveiling Political Opinion Structures with a Web-experiment
”
, in
Proceedings of the 1st International Conference on Complex Information Systems
, 2016.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
R. Guidotti
,
Monreale, A.
,
Rinzivillo, S.
,
Pedreschi, D.
, and
Giannotti, F.
,
“
Unveiling mobility complexity through complex network analysis
”
,
Social Network Analysis and Mining
, vol. 6, p. 59, 2016.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Brogi
,
Mancarella, P.
,
Pedreschi, D.
, and
Turini, F.
,
“
Universal Quantification by Case Analysis
”
, in
ECAI
, 1990, pp. 111-116.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Pappalardo
,
Rinzivillo, S.
,
Qu, Z.
,
Pedreschi, D.
, and
Giannotti, F.
,
“
{Understanding the patterns of car travel}
”
,
The European Physical Journal Special Topics
, vol. 215, pp. 61–73, 2013.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Gabrielli, L.
,
Pedreschi, D.
, and
Rinzivillo, S.
,
“
Understanding human mobility with big data
”
, in
Solving Large Scale Learning Tasks. Challenges and Algorithms
, Springer International Publishing, 2016, pp. 208–220.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
V. Lorenzoni
,
Triulzi, I.
,
Martinucci, I.
,
Toncelli, L.
,
Natilli, M.
,
Barale, R.
, and
Turchetti, G.
,
“
Understanding eating choices among university students: A study using data from cafeteria cashiers’ transactions
”
,
Health Policy
, vol. 125, pp. 665–673, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
M. Coscia
,
Rossetti, G.
,
Giannotti, F.
, and
Pedreschi, D.
,
“
Uncovering Hierarchical and Overlapping Communities with a Local-First Approach
”
,
{TKDD}
, vol. 9, p. 6, 2014.
DOI
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Bonchi
,
Giannotti, F.
,
Mainetto, G.
, and
Pedreschi, D.
,
“
Una Metodologia Basata sulla Classificazione per la Pianificazione degli Accertamenti nel Rilevamento di Frodi
”
, in
SEBD
, 1999, pp. 69-84.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
T
S. Ruggieri
and
Mesnard, F.
,
“
Typing Linear Constraints for Moding CLP() Programs
”
, in
SAS
, 2008, pp. 128-143.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
B. Bertolino
,
Meo, L.
,
Pedreschi, D.
, and
Turini, F.
,
The Type System of LML
. 1992, pp. 313-332.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A. Albano
,
Giannotti, F.
,
Orsini, R.
, and
Pedreschi, D.
,
“
The Type System of Galileo
”
, in
Data Types and Persistence (Appin)
, 1985, pp. 101-119.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
Copyright © 2014 - KDD Lab