Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Giacobazzi, Roberto"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Unveiling metamorphism by abstract interpretation of code properties
Mila Dalla Preda
,
Roberto Giacobazzi
,
Saumya Debray
Theoretical Computer Science
577
, 2015, pp. 74-97
Example-guided abstraction simplification
Roberto Giacobazzi
,
Francesco Ranzato
Lecture Notes in Computer Science
6199
, 2010, pp. 211-222
Abstract interpretation of resolution-based semantics
Patrick Cousot
,
Radhia Cousot
,
Roberto Giacobazzi
Theoretical Computer Science
410
(46), 2009, pp. 4724-4746
Incompleteness of states w.r.t. traces in model checking
Roberto Giacobazzi
,
Francesco Ranzato
Information and Computation
204
(3), 2006, pp. 376-407
Semantic-based code obfuscation by abstract interpretation
Mila Dalla Preda
,
Roberto Giacobazzi
Lecture Notes in Computer Science
3580
, 2005, pp. 1325-1336
Transforming semantics by abstract interpretation
Roberto Giacobazzi
,
Isabella Mastroeni
Theoretical Computer Science
337
(1-3), 2005, pp. 1-50
Making abstract interpretations complete
Roberto Giacobazzi
,
Francesco Ranzato
,
Francesca Scozzari
Journal of the ACM
47
(2), 2000, pp. 361-416
The reduced relative power operation on abstract domains
Roberto Giacobazzi
,
Francesco Ranzato
Theoretical Computer Science
216
(1-2), 1999, pp. 159-211
Complete abstract interpretations made constructive
Roberto Giacobazzi
,
Francesco Ranzato
,
Francesca Scozzari
Lecture Notes in Computer Science
1450
, 1998, pp. 366-377
Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
Roberto Giacobazzi
,
Francesco Ranzato
Information and Computation
145
(2), 1998, pp. 153-190
Refining and compressing abstract domains
Roberto Giacobazzi
,
Francesco Ranzato
Lecture Notes in Computer Science
1256
, 1997, pp. 771-781
"Optimal" collecting semantics for analysis in a hierarchy of logic program semantics
Roberto Giacobazzi
Lecture Notes in Computer Science
1046
, 1996, pp. 503-514
Oracle semantics for Prolog
Roberto Barbuti
,
Michael Codish
,
Roberto Giacobazzi
,
Michael J. Maher
Information and Computation
122
(2), 1995, November, pp. 178-200