Added AIxCC section

Author: giovannivigna

aixcc/index.html

@@ -0,0 +1,13 @@
+@InProceedings{carzaniga94:isooms,
+  author = 	 {Antonio Carzaniga and Gian Pietro Picco and Giovanni Vigna},
+  title = 	 {{Designing and Implementing Inter-Client Communication in the O2 Database Management System}},
+  booktitle =	 {Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS)},
+  pages =	 {53--64},
+  year =	 1994,
+  number =	 858,
+  series =	 {LNCS},
+  address =	 {Palermo, Italy},
+  month =	 {September},
+  publisher =	 {Springer-Verlag}
+}
+

aixcc/publications/1994_carzaniga_picco_vigna_isooms94.bib

@@ -0,0 +1,9 @@
+@MastersThesis{carzaniga94:msthesis,
+  author = 	 {Antonio Carzaniga and Giovanni Vigna},
+  title = 	 {{The Design and Implementation of SPADE-1 2.0}},
+  school = 	 {Politecnico di Milano},
+  year = 	 1994,
+  address =	 {Milano, Italy},
+  month =	 {July}
+}
+

aixcc/publications/1994_carzaniga_picco_vigna_isooms94.pdf

@@ -0,0 +1,10 @@
+@InProceedings{bandinelli95:archetype,
+  author = 	 {Sergio Bandinelli and Antonio Carzaniga and Giovanni Vigna},
+  title = 	 {{Archetype: Addressing Configuration Issues in Software Architectures}},
+  booktitle = 	 {Proceedings of the ICSE International Workshop on Architectures for Software Systems},
+  year =	 1995,
+  address =	 {Seattle, WA},
+  pages = {9--12},
+  month =	 {April}
+}
+

aixcc/publications/1994_carzaniga_vigna_msthesis.bib

@@ -0,0 +1,8 @@
+@techreport{vigna95:inspect,
+	Author = {Giovanni Vigna},
+	Institution = {Politecnico di Milano},
+	Title = {Inspect: A Distributed Approach To Automated Audit Trail Analysis},
+	Month = {June},
+	Year = 1995
+}
+

aixcc/publications/1994_carzaniga_vigna_msthesis.pdf

@@ -0,0 +1,13 @@
+@InCollection{cugola96:analyzing,
+  author = 	 {Gianpaolo Cugola and Carlo Ghezzi and Gian Pietro Picco and Giovanni Vigna},
+  title = 	 {{Analyzing Mobile Code Languages}},
+  booktitle = 	 {Mobile Object Systems: Towards the Programmable Internet},
+  pages = 	 {93--111},
+  publisher = {Springer-Verlag},
+  year = 	 {1997},
+  editor = 	 {J. Vitek and C. Tschudin},
+  volume = 	 {1222},
+  series = 	 {LNCS State-of-the-Art Survey},
+  month = 	 {April}
+}
+