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]
1994
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
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
A. Albano
,
Giannotti, F.
,
Orsini, R.
, and
Pedreschi, D.
,
“
The Type System of Galileo
”
, in
Data Types and Persistence (Appin), Informal Proceedings
, 1985, pp. 175-195.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Pages
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
Copyright © 2014 - KDD Lab