Alessandro Coglio

	2006
13		Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump: Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
	2005
12		Alessandro Coglio, Cordell Green: A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. VSTTE 2005: 57-63
11		Alessandro Coglio: Checking Access to Protected Members in the Java Virtual Machine. Journal of Object Technology 4(8): 55-76 (2005)
	2004
10		Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
9		Alessandro Coglio: Simple verification technique for complex Java bytecode subroutines. Concurrency - Practice and Experience 16(7): 647-670 (2004)
	2003
8		Alessandro Coglio: Improving the official specification of Java bytecode verification. Concurrency and Computation: Practice and Experience 15(2): 155-179 (2003)
	2001
7		Alessandro Coglio, Allen Goldberg: Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurrency and Computation: Practice and Experience 13(13): 1153-1171 (2001)
6		Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise: The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics. J. Symb. Comput. 32(4): 305-332 (2001)
	2000
5		Alessandro Coglio, Fausto Giunchiglia, José Meseguer, Carolyn L. Talcott: Composing and Controlling Search in Reasoning Theories Using Mappings. FroCos 2000: 200-216
4		Zhenyu Qian, Allen Goldberg, Alessandro Coglio: A formal specification of JavaTM class loading. OOPSLA 2000: 325-336
	1999
3		Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia: The control component of open mechanized reasoning systems. Electr. Notes Theor. Comput. Sci. 23(3): (1999)
	1998
2		Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio: The OMRS project: state of the art. Electr. Notes Theor. Comput. Sci. 15: (1998)
1		Antonio Camurri, Alessandro Coglio: An Architecture for Emotional Agents. IEEE MultiMedia 5(4): 24-33 (1998)

Coauthor Index

1	Jean-Raymond Abrial	[13]
2	Alessandro Armando	[3] [6]
3	Don S. Batory	[13]
4	Piergiorgio Bertoli	[2]
5	Michael J. Butler	[13]
6	Antonio Camurri	[1]
7	Kathi Fisler	[13]
8	Fausto Giunchiglia	[2] [3] [5] [6]
9	Allen Goldberg	[4] [7]
10	Cordell Green	[12]
11	Eric C. R. Hehner	[13]
12	Marieke Huisman	[10]
13	Cliff B. Jones	[13]
14	Simon L. Peyton Jones	[13]
15	Joseph Kiniry (Joseph R. Kiniry)	[10]
16	Gary T. Leavens	[13]
17	José Meseguer	[5]
18	Dale Miller	[13]
19	Peter Müller	[10]
20	Erik Poll	[10]
21	Zhenyu Qian	[4]
22	Silvio Ranise	[6]
23	Murali Sitaraman	[13]
24	Douglas R. Smith	[13]
25	Aaron Stump	[13]
26	Carolyn L. Talcott	[5]

Colors in the list of coauthors