Guilherme Rangel

	2008
3		Guilherme Rangel, Barbara König, Hartmut Ehrig: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427
2		Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan: Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256
	2007
1		Guilherme Rangel, Barbara König, Hartmut Ehrig: Bisimulation Verification for the DPO Approach with Borrowed. ECEASST 6: (2007)

Coauthor Index

1	Paolo Baldan	[2]
2	Hartmut Ehrig	[1] [2] [3]
3	Barbara König	[1] [2] [3]
4	Leen Lambers	[2]