|
СТ |
Modelling Prolog Control |
1991 |
Barbuti R., Codish M., Giacobazzi R., Levi G. |
|
|
|
BIGRE |
11.12.1991 |
|
СТ |
Static Analysis of CLP Programs over Numeric Domains |
1992 |
Bagnara R., Giacobazzi R., Levi G. |
|
|
|
BIGRE |
05.11.1992 |
|
СТ |
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs |
1993 |
Barbuti R., Giacobazzi R., Levi G. |
|
|
|
ACM Trans. Programming Languages and Systems |
16.03.1993 |
|
СТ |
Abstracting Synchronization in Concurrent Constraint Programming |
1994 |
Zaffanella E., Giacobazzi R., Levi G. |
|
|
|
Lecture Notes in Computer Science |
12.10.1994 |
|
СТ |
Complementation in Abstract Interpretation |
1995 |
Cortesi A., File G., Giacobazzi R. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
Abductive Analysis of Modular Logic Programs |
1994 |
Giacobazzi R. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
|
СТ |
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics |
1995 |
Giacobazzi R., Ranzato F. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
24.04.1996 |
|
СТ |
Compositional Optimization of Disjunctive Abstract Interpretations |
1996 |
Giacobazzi R., Ranzato F. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Complementing Logic Program Semantics |
1996 |
Giacobazzi R., Ranzato F. |
Lecture Notes in Computer Science |
|
|
Algebraic and Logic Programming |
05.11.1996 |
|
СТ |
Intuitionistic Implication in Abstract Interpretation |
1997 |
Giacobazzi R., Scozzari F. |
|
|
|
Lecture Notes in Computer Science |
05.09.1997 |
|
СТ |
Completeness in Abstract Interpretation: A Domain Perspective |
1997 |
Giacobazzi R., Ranzato F. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking |
2001 |
Giacobazzi R., Quintarelli E. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
States vs. Traces in Model Checking by Abstract Interpretation |
2002 |
Giacobazzi R., Ranzato F. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
|
СТ |
Domain Compression for Complete Abstractions |
2003 |
Giacobazzi R., Mastroeni I. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
