![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Roberto Giacobazzi
Person information
- affiliation: University of Verona, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j44]Marco Campion
, Mila Dalla Preda
, Roberto Giacobazzi
, Caterina Urban
:
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8(POPL): 1629-1662 (2024) - [j43]Roberto Giacobazzi
, Isabella Mastroeni
, Elia Perantoni
:
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 46(2): 5 (2024) - 2023
- [j42]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
A Correctness and Incorrectness Program Logic. J. ACM 70(2): 15:1-15:45 (2023) - [c83]Marco Campion
, Caterina Urban
, Mila Dalla Preda
, Roberto Giacobazzi
:
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS 2023: 114-138 - [c82]Roberto Giacobazzi, Isabella Mastroeni
, Elia Perantoni:
How Fitting is Your Abstract Domain? SAS 2023: 286-309 - [e4]Pedro López-García
, John P. Gallagher
, Roberto Giacobazzi
:
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13160, Springer 2023, ISBN 978-3-031-31475-9 [contents] - 2022
- [j41]Roberto Giacobazzi
, Francesco Ranzato
:
History of Abstract Interpretation. IEEE Ann. Hist. Comput. 44(2): 33-43 (2022) - [j40]Marco Campion
, Mila Dalla Preda
, Roberto Giacobazzi
:
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - [c81]Marco Campion, Mila Dalla Preda, Roberto Giacobazzi:
On the Properties of Partial Completeness in Abstract Interpretation. ICTCS 2022: 79-85 - [c80]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
Abstract interpretation repair. PLDI 2022: 426-441 - [c79]Roberto Giacobazzi, Isabella Mastroeni
:
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. SAS 2022: 247-271 - 2021
- [j39]Marco Campion
, Mila Dalla Preda, Roberto Giacobazzi:
Learning metamorphic malware signatures from samples. J. Comput. Virol. Hacking Tech. 17(3): 167-183 (2021) - [j38]Niccolò Marastoni
, Roberto Giacobazzi, Mila Dalla Preda:
Data augmentation and transfer learning to classify malware images in a deep learning context. J. Comput. Virol. Hacking Tech. 17(4): 279-297 (2021) - [c78]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato:
A Logic for Locally Complete Abstract Interpretations. LICS 2021: 1-13 - 2020
- [j37]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras
, Dusko Pavlovic:
Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. 4(POPL): 28:1-28:28 (2020) - [c77]Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni:
Formal Framework for Reasoning About the Precision of Dynamic Analysis. SAS 2020: 178-199
2010 – 2019
- 2019
- [j36]Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato:
A²I: abstract² interpretation. Proc. ACM Program. Lang. 3(POPL): 42:1-42:31 (2019) - [c76]Ignacio Casso
, José F. Morales, Pedro López-García
, Roberto Giacobazzi
, Manuel V. Hermenegildo
:
Computing Abstract Distances in Logic Programs. LOPSTR 2019: 57-72 - [c75]Marco Campion
, Mila Dalla Preda, Roberto Giacobazzi:
Abstract Interpretation of Indexed Grammars. SAS 2019: 121-139 - 2018
- [j35]Roberto Bruni, Roberto Giacobazzi, Roberta Gori:
Code obfuscation against abstraction refinement attacks. Formal Aspects Comput. 30(6): 685-711 (2018) - [j34]Roberto Giacobazzi, Isabella Mastroeni
:
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. ACM Trans. Priv. Secur. 21(2): 9:1-9:31 (2018) - [c74]Patrick Cousot
, Roberto Giacobazzi
, Francesco Ranzato
:
Program Analysis Is Harder Than Verification: A Computability Perspective. CAV (2) 2018: 75-95 - [c73]Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda:
A deep learning approach to program similarity. MASES@ASE 2018: 26-35 - [c72]Filippo Bonchi
, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
:
Sound up-to techniques and Complete abstract domains. LICS 2018: 175-184 - [c71]Roberto Bruni, Roberto Giacobazzi, Roberta Gori:
Code Obfuscation Against Abstract Model Checking Attacks. VMCAI 2018: 94-115 - [i7]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. CoRR abs/1804.10507 (2018) - [i6]Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi:
Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). NII Shonan Meet. Rep. 2018 (2018) - 2017
- [j33]Roberto Giacobazzi, Isabella Mastroeni
, Mila Dalla Preda:
Maximal incompleteness as obfuscation potency. Formal Aspects Comput. 29(1): 3-31 (2017) - [i5]Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni:
SEA: String Executability Analysis by Abstract Interpretation. CoRR abs/1702.02406 (2017) - 2016
- [j32]Roberto Giacobazzi, Isabella Mastroeni
:
Making abstract models complete. Math. Struct. Comput. Sci. 26(4): 658-701 (2016) - [j31]Isabella Mastroeni
, Roberto Giacobazzi:
Weakening Additivity in Adjoining Closures. Order 33(3): 503-516 (2016) - [c70]Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli
, Roberto Giacobazzi, Isabella Mastroeni:
Active Android malware analysis: an approach based on stochastic games. SSPREW@ACSAC 2016: 5:1-5:10 - [c69]Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
:
Completeness in Approximate Transduction. SAS 2016: 126-146 - 2015
- [j30]Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray:
Unveiling metamorphism by abstract interpretation of code properties. Theor. Comput. Sci. 577: 74-97 (2015) - [c68]Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato:
Analyzing Program Analyses. POPL 2015: 261-273 - [c67]Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni
:
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. POPL 2015: 329-341 - 2014
- [j29]Roberto Giacobazzi, Francesco Ranzato:
Correctness kernels of abstract interpretations. Inf. Comput. 237: 187-203 (2014) - [c66]Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi:
Analyzing program dependencies for malware detection. PPREW@POPL 2014: 6:1-6:7 - [c65]Roberto Giacobazzi:
Unveiling and Veiling Information in Programs. PPDP 2014: 211-212 - [i4]Roberto Giacobazzi, Axel Simon, Sarah Zennou:
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). Dagstuhl Reports 4(6): 48-63 (2014) - 2013
- [j28]Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell
, Philip Wadler:
Principles of POPL. ACM SIGPLAN Notices 48(4S): 12-16 (2013) - [c64]Mila Dalla Preda, Isabella Mastroeni
, Roberto Giacobazzi:
A Formal Framework for Property-Driven Obfuscation Strategies. FCT 2013: 133-144 - [c63]Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi:
Fast location of similar code fragments using semantic 'juice'. PPREW@POPL 2013: 5:1-5:6 - [e3]Roberto Giacobazzi, Radhia Cousot:
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. ACM 2013, ISBN 978-1-4503-1832-7 [contents] - [e2]Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni:
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7737, Springer 2013, ISBN 978-3-642-35872-2 [contents] - 2012
- [c62]Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia:
Twisting Additivity in Program Obfuscation. ICISTM 2012: 336-347 - [c61]Roberto Giacobazzi:
Software Security by Obscurity - A Programming Language Perspective. ICISTM 2012: 427-432 - [c60]Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni:
Obfuscation by partial evaluation of distorted interpreters. PEPM 2012: 63-72 - [c59]Roberto Giacobazzi, Isabella Mastroeni
:
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. SAS 2012: 129-145 - [c58]Roberto Giacobazzi, Isabella Mastroeni
, Durica Nikolic:
Strong Preservation by Model Deformation. TASE 2012: 33-40 - 2011
- [j27]Christian S. Collberg, Jack W. Davidson, Roberto Giacobazzi, Yuan Xiang Gu, Amir Herzberg
, Fei-Yue Wang:
Toward Digital Asset Protection. IEEE Intell. Syst. 26(6): 8-13 (2011) - [j26]Isabella Mastroeni
, Roberto Giacobazzi:
An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4): 665-694 (2011) - [j25]David Clark
, Roberto Giacobazzi, Chunyan Mu:
Foreword: programming language interference and dependence. Math. Struct. Comput. Sci. 21(6): 1109-1110 (2011) - 2010
- [j24]Roberto Giacobazzi, Isabella Mastroeni
:
Adjoining classified and unclassified information by abstract interpretation. J. Comput. Secur. 18(5): 751-797 (2010) - [j23]Roberto Giacobazzi, Isabella Mastroeni
:
A Proof System for Abstract Non-interference. J. Log. Comput. 20(2): 449-479 (2010) - [c57]Roberto Giacobazzi, Francesco Ranzato:
Example-Guided Abstraction Simplification. ICALP (2) 2010: 211-222 - [c56]Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend:
Modelling Metamorphism by Abstract Interpretation. SAS 2010: 218-235 - [c55]Roberto Giacobazzi:
Abstract Interpretation-Based Protection. VMCAI 2010: 23-24 - [p1]Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato:
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158
2000 – 2009
- 2009
- [j22]Mila Dalla Preda, Roberto Giacobazzi:
Semantics-based code obfuscation by abstract interpretation. J. Comput. Secur. 17(6): 855-908 (2009) - [j21]Patrick Cousot, Radhia Cousot, Roberto Giacobazzi:
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009) - [i3]Roberto Giacobazzi, Francesco Ranzato:
Abstraction-Guided Abstraction Simplification. CoRR abs/0910.4748 (2009) - 2008
- [c54]Roberto Giacobazzi, Isabella Mastroeni
:
Transforming Abstract Interpretations by Abstract Interpretation. SAS 2008: 1-17 - [c53]Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini:
Hiding Software Watermarks in Loop Structures. SAS 2008: 174-188 - [c52]Roberto Giacobazzi:
Abstract Interpretation in Code Security. SEFM 2008: 3 - [c51]Roberto Giacobazzi:
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. SEFM 2008: 7-18 - 2007
- [j20]David Clark
, Sebastian Danicic, Roberto Giacobazzi:
Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. 72(2): 123 (2007) - [j19]Roberto Giacobazzi:
Foreword. Sci. Comput. Program. 64(1): 1-2 (2007) - [c50]Francesco Banterle, Roberto Giacobazzi:
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. SAS 2007: 315-332 - [c49]Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni
:
What You Lose is What You Leak: Information Leakage in Declassification Policies. MFPS 2007: 47-66 - 2006
- [j18]Roberto Giacobazzi, Francesco Ranzato:
Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204(3): 376-407 (2006) - [c48]Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi:
Opaque Predicates Detection by Abstract Interpretation. AMAST 2006: 81-95 - 2005
- [j17]Roberto Giacobazzi, Isabella Mastroeni
:
Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337(1-3): 1-50 (2005) - [j16]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
:
Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005) - [c47]Roberto Giacobazzi, Isabella Mastroeni:
Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP 2005: 295-310 - [c46]Roberto Giacobazzi, Isabella Mastroeni
:
Timed Abstract Non-interference. FORMATS 2005: 289-303 - [c45]Mila Dalla Preda, Roberto Giacobazzi:
Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP 2005: 1325-1336 - [c44]Roberto Giacobazzi, Isabella Mastroeni
:
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. MMM-ACNS 2005: 221-234 - [c43]Mila Dalla Preda, Roberto Giacobazzi:
Control Code Obfuscation by Abstract Interpretation. SEFM 2005: 301-310 - 2004
- [c42]Roberto Giacobazzi, Isabella Mastroeni:
Proving Abstract Non-interference. CSL 2004: 280-294 - [c41]Roberto Giacobazzi, Isabella Mastroeni
:
Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL 2004: 186-197 - [e1]Roberto Giacobazzi:
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings. Lecture Notes in Computer Science 3148, Springer 2004, ISBN 3-540-22791-1 [contents] - [i2]Roberto Giacobazzi, Francesco Ranzato:
Incompleteness of States w.r.t. Traces in Model Checking. CoRR cs.LO/0404048 (2004) - 2003
- [j15]Roberto Giacobazzi, Isabella Mastroeni
:
Non-Standard Semantics for Program Slicing. High. Order Symb. Comput. 16(4): 297-339 (2003) - [c40]Roberto Giacobazzi, Isabella Mastroeni:
Domain Compression for Complete Abstractions. VMCAI 2003: 146-160 - 2002
- [c39]Roberto Giacobazzi, Isabella Mastroeni
:
Compositionality in the puzzle of semantics. PEPM 2002: 87-97 - [c38]Roberto Giacobazzi, Francesco Ranzato:
States vs. Traces in Model Checking by Abstract Interpretation. SAS 2002: 461-476 - [i1]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Making Abstract Domains Condensing. CoRR cs.PL/0204016 (2002) - 2001
- [c37]Roberto Giacobazzi, Elisa Quintarelli:
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. SAS 2001: 356-373 - [c36]Agostino Dovier
, Roberto Giacobazzi, Elisa Quintarelli
:
Refining and Compressing Abstract Model Checking. APPIA-GULP-PRODE 2001: 90-107 - 2000
- [j14]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
:
Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000) - [c35]Roberto Giacobazzi, Isabella Mastroeni:
A characterization of symmetric semantics by domain complementation. PPDP 2000: 115-126
1990 – 1999
- 1999
- [j13]Roberto Giacobazzi, Francesco Ranzato:
The Reduced Relative Power Operation on Abstract Domains. Theor. Comput. Sci. 216(1-2): 159-211 (1999) - 1998
- [j12]Roberto Giacobazzi, Francesco Ranzato:
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput. 145(2): 153-190 (1998) - [j11]Roberto Giacobazzi:
Abductive Analysis of Modular Logic Programs. J. Log. Comput. 8(4): 457-483 (1998) - [j10]Roberto Giacobazzi, Francesco Ranzato:
Optimal Domains for Disjunctive Abstract Intepretation. Sci. Comput. Program. 32(1-3): 177-210 (1998) - [j9]Roberto Giacobazzi, Francesca Scozzari
:
A Logical Model for Relational Abstract Domains. ACM Trans. Program. Lang. Syst. 20(5): 1067-1109 (1998) - [c34]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE 1998: 241-254 - [c33]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
:
Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377 - [c32]Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
:
Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229 - [c31]Roberto Giacobazzi:
A Tutorial on Domain Theory in Abstract Interpretation. SAS 1998: 349-350 - 1997
- [j8]Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997(6) (1997) - [j7]Agostino Cortesi
, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi
, Francesco Ranzato:
Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997) - [c30]Roberto Giacobazzi:
Systematic design of abstract interpretations. APPIA-GULP-PRODE 1997: 1-4 - [c29]Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. APPIA-GULP-PRODE 1997: 33-44 - [c28]Roberto Giacobazzi, Francesco Ranzato:
Completeness in Abstract Interpretation: A Domain Perspective. AMAST 1997: 231-245 - [c27]Roberto Giacobazzi, Francesco Ranzato:
Refining and Compressing Abstract Domains. ICALP 1997: 771-781 - [c26]Roberto Giacobazzi, Francesca Scozzari:
Intuitionistic Implication in Abstract Interpretation. PLILP 1997: 175-189 - 1996
- [j6]Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato:
A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996) - [c25]Roberto Giacobazzi, Francesco Ranzato:
Optimization of Disjunctive Abstract Interpretations. APPIA-GULP-PRODE 1996: 53-66 - [c24]Roberto Giacobazzi, Francesco Ranzato:
Complementing Logic Program Semantics. ALP 1996: 238-253 - [c23]Roberto Giacobazzi, Francesco Ranzato:
Compositional Optimization of Disjunctive Abstract Interpretations. ESOP 1996: 141-155 - [c22]Roberto Giacobazzi:
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. STACS 1996: 503-514 - 1995
- [j5]Roberto Barbuti, Michael Codish
, Roberto Giacobazzi, Michael J. Maher:
Oracle Semantics for Prolog. Inf. Comput. 122(2): 178-200 (1995) - [j4]Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi:
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995) - [c21]Roberto Giacobazzi:
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. GULP-PRODE 1995: 619-630 - [c20]Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi
, Francesco Ranzato:
Complementation in Abstract Interpretation. SAS 1995: 100-117 - [c19]Roberto Giacobazzi, Francesco Ranzato:
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. ILPS 1995: 321-335 - 1994
- [c18]Roberto Giacobazzi:
Characterizing Abstract Program Properties by Abduction. GULP-PRODE (1) 1994: 77-91 - [c17]Roberto Giacobazzi:
On the Collecting Semantics for Logic Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c16]Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi:
Abstracting Synchronization in Concurrent Constraint Programming. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c15]Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72 - [c14]Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi:
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. SAC 1994: 388-393 - [c13]Maurizio Gabbrielli, Roberto Giacobazzi:
Goal independency and call patterns in the analysis of logic programs. SAC 1994: 394-399 - [c12]Roberto Giacobazzi:
Abductive Analysis of Modular Logic Programs. ILPS 1994: 377-391 - 1993
- [j3]Roberto Barbuti, Michael Codish
, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (1993) - [j2]Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi:
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 15(1): 133-181 (1993) - [c11]Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi:
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP 1993: 341-358 - [c10]Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi:
Modular Logic Programs on Finite Domains. GULP 1993: 663-678 - [c9]Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray:
Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126 - [c8]Michael Codish, Saumya K. Debray, Roberto Giacobazzi:
Compositional Analysis of Modular Logic Programs. POPL 1993: 451-464 - 1992
- [j1]Roberto Barbuti, Roberto Giacobazzi:
A Bottom-Up Polymorphic Type Inference in Logic Programming. Sci. Comput. Program. 19(3): 281-313 (1992) - [c7]Roberto Barbuti, Michael Codish
, Roberto Giacobazzi, Michael J. Maher:
Oracle Semantics for Prolog. ALP 1992: 100-114 - [c6]Roberto Giacobazzi, Laura Ricci:
Detecting Determinate Computations by Bottom-up Abstract Interpretation. ESOP 1992: 167-181 - [c5]Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi:
A Generalized Semantics for Constraint Logic Programs. FGCS 1992: 581-591 - [c4]Roberto Barbuti, Michael Codish
, Roberto Giacobazzi, Giorgio Levi:
Modeling Prolog Control. POPL 1992: 95-104 - [c3]Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi:
Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50 - 1991
- [c2]Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi:
Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124 - 1990
- [c1]Roberto Giacobazzi, Laura Ricci:
Pipeline Optimizations in AND-Parallel Logic Programs. ICLP 1990: 291-305
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint