Adam Megacz

	2008
4		Tachio Terauchi, Adam Megacz: Inferring Channel Buffer Bounds Via Linear Programming. ESOP 2008: 284-298
	2007
3		Adam Megacz: A Library and Platform for FPGA Bitstream Manipulation. FCCM 2007: 45-54
2		Adam Megacz: A coinductive monad for prop-bounded recursion. PLPV 2007: 11-20
	2006
1		Adam Megacz: Scannerless Boolean Parsing. Electr. Notes Theor. Comput. Sci. 164(2): 97-102 (2006)

Coauthor Index

1

Tachio Terauchi

[4]