|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gianluca Amato, Francesca Scozzari |
Random: R-Based Analyzer for Numerical Domains.  |
LPAR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
Observational Completeness on Abstract Interpretation. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
On the interaction between sharing and linearity. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
A Tool Which Mines Partial Execution Traces to Improve Static Analysis. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Maurizio Parton, Francesca Scozzari |
Deriving Numerical Abstract Domains via Principal Component Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, James Lipton, Robert McGrail |
On the algebraic structure of declarative programming languages. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
Optimality in goal-dependent analysis of Sharing. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
Observational Completeness on Abstract Interpretation. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
On the interaction between sharing and linearity |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini |
Modeling Web Applications by the Multiple Levels of Integrity Policy. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
Optimality in Goal-Dependent Analysis of Sharing |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini |
Modeling Web Applications by the Multiple Levels of Integrity Policy. |
WWV |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gianluca Amato, Francesca Scozzari |
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato |
Correct Answers for First Order Logic. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, James Lipton |
Indexed Categories and Bottom-Up Semantics of Logic Programs. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Fausto Spoto |
Abstract Compilation for Sharing Analysis. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
linear refinement, logic programming, Abstract interpretation, linear logic, domain theory |
| 1 | Gianluca Amato, Giorgio Levi |
Abstract Interpretation Based Semantics of Sequent Calculi. |
SAS |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")