Osvaldo Carvalho Vis

*	2002
3		Edré Quintão Moreira, Osvaldo Carvalho: AnaGel: A Distributed System for Storage and Analysis of Electrophoretical Records. WOB 2002: 40-47
	1998
2		Osvaldo Carvalho, Antonio Alfredo Ferreira Loureiro: A Communication Lower Bound for Invariance Preserving on Partitioned Transition Systems. OPODIS 1998: 25-36
	1982
1		Osvaldo Carvalho, Gérard Roucairol: On the Distribution of an Assertion. PODC 1982: 121-131

Coauthor Index

1	Antonio Alfredo Ferreira Loureiro	[2]
2	Edré Quintão Moreira	[3]
3	Gérard Roucairol	[1]

Colors in the list of coauthors