Roberto Giacobazzi Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia: Twisting Additivity in Program Obfuscation. ICISTM 2012: 336-347
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Software Security by Obscurity - A Programming Language Perspective. ICISTM 2012: 427-432
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Neil D. Jones, Isabella Mastroeni: Obfuscation by partial evaluation of distorted interpreters. PEPM 2012: 63-72
2011
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian S. Collberg, Jack Davidson, Roberto Giacobazzi, Yuan Xiang Gu, Amir Herzberg, Fei-Yue Wang: Toward Digital Asset Protection. IEEE Intelligent Systems 26(6): 8-13 (2011)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsabella Mastroeni, Roberto Giacobazzi: An abstract interpretation-based model for safety semantics. Int. J. Comput. Math. 88(4): 665-694 (2011)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Clark, Roberto Giacobazzi, Chunyan Mu: Foreword: programming language interference and dependence. Mathematical Structures in Computer Science 21(6): 1109-1110 (2011)
2010
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato: Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Example-Guided Abstraction Simplification. ICALP (2) 2010: 211-222
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend: Modelling Metamorphism by Abstract Interpretation. SAS 2010: 218-235
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Abstract Interpretation-Based Protection. VMCAI 2010: 23-24
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: A Proof System for Abstract Non-interference. J. Log. Comput. 20(2): 449-479 (2010)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Adjoining classified and unclassified information by abstract interpretation. Journal of Computer Security 18(5): 751-797 (2010)
2009
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Abstraction-Guided Abstraction Simplification CoRR abs/0910.4748: (2009)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMila Dalla Preda, Roberto Giacobazzi: Semantics-based code obfuscation by abstract interpretation. Journal of Computer Security 17(6): 855-908 (2009)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Cousot, Radhia Cousot, Roberto Giacobazzi: Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009)
2008
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Transforming Abstract Interpretations by Abstract Interpretation. SAS 2008: 1-17
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMila Dalla Preda, Roberto Giacobazzi, Enrico Visentini: Hiding Software Watermarks in Loop Structures. SAS 2008: 174-188
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Abstract Interpretation in Code Security. SEFM 2008: 3
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. SEFM 2008: 7-18
2007
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancesco Banterle, Roberto Giacobazzi: A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. SAS 2007: 315-332
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni: What You Lose is What You Leak: Information Leakage in Declassification Policies. Electr. Notes Theor. Comput. Sci. 173: 47-66 (2007)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. 72(2): 123 (2007)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Foreword. Sci. Comput. Program. 64(1): 1-2 (2007)
2006
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi: Opaque Predicates Detection by Abstract Interpretation. AMAST 2006: 81-95
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Incompleteness of states w.r.t. traces in model checking. Inf. Comput. 204(3): 376-407 (2006)
2005
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Adjoining Declassification and Attack Models by Abstract Interpretation. ESOP 2005: 295-310
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Timed Abstract Non-interference. FORMATS 2005: 289-303
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMila Dalla Preda, Roberto Giacobazzi: Semantic-Based Code Obfuscation by Abstract Interpretation. ICALP 2005: 1325-1336
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. MMM-ACNS 2005: 221-234
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMila Dalla Preda, Roberto Giacobazzi: Control Code Obfuscation by Abstract Interpretation. SEFM 2005: 301-310
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract domains condensing. ACM Trans. Comput. Log. 6(1): 33-60 (2005)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Transforming semantics by abstract interpretation. Theor. Comput. Sci. 337(1-3): 1-50 (2005)
2004
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings Springer 2004
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Proving Abstract Non-interference. CSL 2004: 280-294
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Abstract non-interference: parameterizing non-interference by abstract interpretation. POPL 2004: 186-197
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Incompleteness of States w.r.t. Traces in Model Checking CoRR cs.LO/0404048: (2004)
2003
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Domain Compression for Complete Abstractions. VMCAI 2003: 146-160
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Non-Standard Semantics for Program Slicing. Higher-Order and Symbolic Computation 16(4): 297-339 (2003)
2002
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: Compositionality in the puzzle of semantics. PEPM 2002: 87-97
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: States vs. Traces in Model Checking by Abstract Interpretation. SAS 2002: 461-476
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making Abstract Domains Condensing CoRR cs.PL/0204016: (2002)
2001
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Elisa Quintarelli: Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. SAS 2001: 356-373
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Dovier, Roberto Giacobazzi, Elisa Quintarelli: Refining and Compressing Abstract Model Checking. Electr. Notes Theor. Comput. Sci. 48: 90-107 (2001)
2000
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Isabella Mastroeni: A characterization of symmetric semantics by domain complementation. PPDP 2000: 115-126
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Making abstract interpretations complete. J. ACM 47(2): 361-416 (2000)
1999
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: The Reduced Relative Power Operation on Abstract Domains. Theor. Comput. Sci. 216(1-2): 159-211 (1999)
1998
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE 1998: 241-254
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Complete Abstract Interpretations Made Constructive. MFCS 1998: 366-377
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari: Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS 1998: 215-229
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: A Tutorial on Domain Theory in Abstract Interpretation. SAS 1998: 349-350
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesca Scozzari: A Logical Model for Relational Abstract Domains. ACM Trans. Program. Lang. Syst. 20(5): 1067-1109 (1998)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. Inf. Comput. 145(2): 153-190 (1998)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Abductive Analysis of Modular Logic Programs. J. Log. Comput. 8(4): 457-483 (1998)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Optimal Domains for Disjunctive Abstract Intepretation. Sci. Comput. Program. 32(1-3): 177-210 (1998)
1997
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Completeness in Abstract Interpretation: A Domain Perspective. AMAST 1997: 231-245
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Systematic design of abstract interpretations. APPIA-GULP-PRODE 1997: 1-4
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesca Scozzari: Intuitionistic Implication in Abstract Interpretation. APPIA-GULP-PRODE 1997: 33-44
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Refining and Compressing Abstract Domains. ICALP 1997: 771-781
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesca Scozzari: Intuitionistic Implication in Abstract Interpretation. PLILP 1997: 175-189
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. 19(1): 7-47 (1997)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming 1997(6): (1997)
1996
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Complementing Logic Program Semantics. ALP 1996: 238-253
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Optimization of Disjunctive Abstract Interpretations. APPIA-GULP-PRODE 1996: 53-66
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Compositional Optimization of Disjunctive Abstract Interpretations. ESOP 1996: 141-155
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: "Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. STACS 1996: 503-514
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilberto Filé, Roberto Giacobazzi, Francesco Ranzato: A Unifying View of Abstract Domain Design. ACM Comput. Surv. 28(2): 333-336 (1996)
1995
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. GULP-PRODE 1995: 619-630
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Francesco Ranzato: Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. ILPS 1995: 321-335
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAgostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato: Complementation in Abstract Interpretation SAS 1995: 100-117
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. Inf. Comput. 122(2): 178-200 (1995)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Saumya K. Debray, Giorgio Levi: Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. J. Log. Program. 25(3): 191-247 (1995)
1994
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Characterizing Abstract Program Properties by Abduction. GULP-PRODE (1) 1994: 77-91
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByeong-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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Roberto Giacobazzi: Goal independency and call patterns in the analysis of logic programs. SAC 1994: 394-399
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi: Abductive Analysis of Modular Logic Programs. SLP 1994: 377-391
1993
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Giorgio Levi, Saumya K. Debray: Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi: La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP 1993: 341-358
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi: Modular Logic Programs on Finite Domains. GULP 1993: 663-678
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Saumya K. Debray, Roberto Giacobazzi: Compositional Analysis of Modular Logic Programs. POPL 1993: 451-464
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. J. Log. Comput. 3(6): 579-603 (1993)
1992
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher: Oracle Semantics for Prolog. ALP 1992: 100-114
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Laura Ricci: Detecting Determinate Computations by Bottom-up Abstract Interpretation. ESOP 1992: 167-181
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Saumya K. Debray, Giorgio Levi: A Generalized Semantics for Constraint Logic Programs. FGCS 1992: 581-591
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modeling Prolog Control. POPL 1992: 95-104
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bagnara, Roberto Giacobazzi, Giorgio Levi: Static Analysis of CLP Programs over Numeric Domains. WSA 1992: 43-50
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Roberto Giacobazzi: A Bottom-Up Polymorphic Type Inference in Logic Programming. Sci. Comput. Program. 19(3): 281-313 (1992)
1991
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi: Modelling Prolog Control. JTASPEFT/WSA 1991: 117-124
1990
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Giacobazzi, Laura Ricci: Pipeline Optimizations in AND-Parallel Logic Programs. ICLP 1990: 291-305

Coauthor Index

1Roberto Bagnara [4]
2Anindya Banerjee [70]
3Francesco Banterle [71]
4Roberto Barbuti [2] [3] [5] [8] [9] [10] [13] [21]
5E. Bellugi [13]
6Koen De Bosschere (Koenraad De Bosschere) [67]
7Byeong-Mo Chang [17]
8Kwang-Moo Choe [17]
9David Clark [69] [85]
10Michael Codish [2] [5] [8] [9] [11] [21]
11Christian S. Collberg [87]
12Kevin Coogan [82]
13Agostino Cortesi [22] [31]
14Patrick Cousot [76]
15Radhia Cousot [76]
16Sebastian Danicic [69]
17Jack Davidson [87]
18Saumya K. Debray [6] [11] [14] [20] [82]
19Giorgio Delzanno [84]
20Agostino Dovier [48]
21Wu Feng [90]
22Gilberto Filé [22] [25] [31]
23Maurizio Gabbrielli [12] [16]
24Mauro Gaspari [13]
25Richard Greechie [90]
26Yuan Xiang Gu [87]
27Amir Herzberg [87]
28Neil D. Jones [88]
29Arun Lakhotia [90]
30Giorgio Levi [2] [4] [5] [6] [9] [10] [14] [18] [20] [30]
31Matias Madou [67]
32Michael J. Maher [8] [21]
33Isabella Mastroeni [47] [52] [53] [54] [56] [57] [59] [62] [64] [65] [70] [75] [79] [80] [86] [88]
34Danilo Montesi [12]
35Chunyan Mu [85]
36Catuscia Palamidessi [22] [31]
37Mila Dalla Preda [61] [63] [67] [74] [77] [82] [90]
38Elisa Quintarelli [48] [49]
39Francesco Ranzato [22] [23] [25] [27] [28] [29] [31] [33] [36] [37] [39] [42] [43] [44] [45] [46] [50] [51] [55] [60] [66] [78] [83] [84]
40Laura Ricci [1] [7]
41Francesca Scozzari [32] [34] [40] [42] [43] [44] [46] [50] [60]
42Gregg M. Townsend [82]
43Enrico Visentini [74]
44Fei-Yue Wang [87]
45Enea Zaffanella [18] [30]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page