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
]
Filters:
Author
is
Fosca Giannotti
[Clear All Filters]
1997
F. Giannotti
,
Manco, G.
,
Nanni, M.
, and
Pedreschi, D.
,
“
Datalog++: A Basis for Active Object-Oriented Databases
”
, in
DOOD
, 1997, pp. 283-301.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Manco, G.
,
Nanni, M.
, and
Pedreschi, D.
,
“
Datalog++: a Basis for Active Object.Oriented Databases
”
, in
SEBD
, 1997, pp. 325-340.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Manco, G.
, and
Pedreschi, D.
,
“
A Deductive Data Model for Representing and Querying Semistructured Data
”
, in
APPIA-GULP-PRODE
, 1997, pp. 129-140.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
,
Greco, S.
,
Saccà, D.
, and
Zaniolo, C.
,
“
Programming with Non-Determinism in Deductive Databases
”
,
Ann. Math. Artif. Intell.
, vol. 19, pp. 97-125, 1997.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Static Analysis of Transactions for Conservative Multigranularity Locking
”
, in
DBPL
, 1997, pp. 413-430.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1996
M. E. Carboni
,
Deo, A. D.
,
Giannotti, F.
, and
Masserotti, M. V.
,
“
Ragionamento spazio-temporale con LDLT: primi esperimenti verso un sistema deduttivo per applicazioni geografiche
”
, in
SEBD
, 1996, pp. 73-90.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
M. E. Carboni
,
Deo, A. D.
,
Giannotti, F.
, and
Masserotti, M. V.
,
“
Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications
”
, in
DDLP
, 1996, pp. 135-151.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1995
M. E. Carboni
,
Giannotti, F.
,
Foddai, V.
, and
Pedreschi, D.
,
“
Declarative Reconstruction of Updates in Logic Databases: A Compilative Approach
”
, in
SEBD
, 1995, pp. 3-13.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
M. E. Carboni
,
Foddai, V.
,
Giannotti, F.
, and
Pedreschi, D.
,
“
Declarative Reconstruction of Updates in Logic Databases: a Compilative Approach
”
, in
GULP-PRODE
, 1995, pp. 169-182.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1994
F. Fiore
and
Giannotti, F.
,
“
An abstract interpreter for the specification language LOTOS
”
, in
FORTE
, 1994, pp. 309-323.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation
”
, in
SEBD
, 1994, pp. 329-349.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Corciulo
,
Giannotti, F.
,
Pedreschi, D.
, and
Zaniolo, C.
,
“
Expressive Power of Non-Deterministic Operators for Logic-based Languages
”
, in
Workshop on Deductive Databases and Logic Programming
, 1994, pp. 27-40.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
”
,
Sci. Comput. Program.
, vol. 23, pp. 127-149, 1994.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1993
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation
”
, in
VLDB
, 1993, pp. 405-415.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L. Corciulo
,
Giannotti, F.
, and
Pedreschi, D.
,
“
Datalog with Non-Deterministic Choice Computes NDB-PTIME
”
, in
DOOD
, 1993, pp. 49-66.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Latella, D.
,
“
Gate Splitting in LOTOS Specifications Using Abstract Interpretation
”
, in
TAPSOFT
, 1993, pp. 437-452.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Static Analysis of Transactions: an Experiment of Abstract Interpretation Usage
”
, in
FMLDO
, 1993, pp. 19-29.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1992
G. Amato
,
Giannotti, F.
, and
Mainetto, G.
,
“
Analysis of Concurrent Transactions in a Functional Database Programming Language
”
, in
WSA
, 1992, pp. 174-184.
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
1991
F. Giannotti
,
Pedreschi, D.
,
Saccà, D.
, and
Zaniolo, C.
,
“
Non-Determinism in Deductive Databases
”
, in
DOOD
, 1991, pp. 129-146.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Giannotti
and
Hermenegildo, M. V.
,
“
A Technique for Recursive Invariance Detection and Selective Program Specification
”
, in
PLILP
, 1991, pp. 323-334.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1990
F. Giannotti
and
Pedreschi, D.
,
“
Declarative Semantics for Pruning Operators in Logic Programming
”
, in
LPNMR
, 1990, pp. 27-37.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
C. Bertazzoni
and
Giannotti, F.
,
“
RASP: A Resource Allocator for Software Projects
”
, in
IEA/AIE (Vol. 2)
, 1990, pp. 628-637.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1987
F. Giannotti
,
Matteucci, A.
,
Pedreschi, D.
, and
Turini, F.
,
“
Symbolic Evaluation with Structural Recursive Symbolic Constants
”
,
Sci. Comput. Program.
, vol. 9, pp. 161-177, 1987.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
1985
V. Ambriola
,
Giannotti, F.
,
Pedreschi, D.
, and
Turini, F.
,
“
Symbolic Semantics and Program Reduction
”
,
IEEE Trans. Software Eng.
, vol. 11, pp. 784-794, 1985.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
…
3
4
5
6
7
8
9
10
11
next ›
last »
Copyright © 2014 - KDD Lab