Adam Megacz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTachio Terauchi, Adam Megacz: Inferring Channel Buffer Bounds Via Linear Programming. ESOP 2008: 284-298
2007
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Megacz: A Library and Platform for FPGA Bitstream Manipulation. FCCM 2007: 45-54
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Megacz: A coinductive monad for prop-bounded recursion. PLPV 2007: 11-20
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Megacz: Scannerless Boolean Parsing. Electr. Notes Theor. Comput. Sci. 164(2): 97-102 (2006)

Coauthor Index

1Tachio Terauchi [4]

Copyright © Fri Dec 4 16:04:45 2009 by Michael Ley (ley@uni-trier.de)