Germán Regis

	2009
3		Germán Regis, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Business Processes Using PPML. ICFEM 2009: 737-756
	2008
2		Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis: Towards Abstraction for DynAlloy Specifications. ICFEM 2008: 207-225
	2007
1		Nazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20

Coauthor Index

1	Nazareno Aguirre	[1] [2] [3]
2	Brian J. Cardiff	[2]
3	Marcelo F. Frias	[2]
4	Juan P. Galeotti	[2]
5	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[1] [3]
6	Pablo Ponzio	[2]