HTTP/1.1 200 OK Connection: close Date: Thu, 09 Oct 2003 20:57:16 GMT Accept-Ranges: bytes Server: Netscape-Enterprise/3.6 Content-Length: 5452 Content-Type: text/html Last-Modified: Thu, 09 Oct 2003 11:09:36 GMT Cache-Last-Checked: Mon, 20 Oct 2003 15:30:27 GMT Client-Date: Mon, 20 Oct 2003 15:30:24 GMT Client-Response-Num: 1 Proxy-Agent: Netscape-Proxy/3.52 Title: DBLP: Brian Bailey DBLP: Brian Bailey dblp.uni-trier.de

Brian Bailey

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
2003
8EERajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi: Formal verification - prove it or pitch it. DAC 2003: 710-711
2002
7EEGary Smith, Daya Nadamuni, Sharad Malik, Rick Chapman, John Fogelin, Kurt Keutzer, Grant Martin, Brian Bailey: Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? DAC 2002: 479
2001
6EEBrian Bailey, Joseph A. Konstan, John V. Carlis: DEMAIS: designing multimedia applications with interactive storyboards. ACM Multimedia 2001: 241-250
5 Brian Bailey, Daniel Gajski: RTL semantics and methodology. ISSS 2001: 69-74
4 Wolfgang Rosenstiel, Brian Bailey, Masahiro Fujita, Guang R. Gao, Rajesh K. Gupta, Preeti Ranjan Panda: New design paradigms. ISSS 2001: 94
2000
3EELloyd Rutledge, Brian Bailey, Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts: Generating presentation constraints from rhetorical structure. Hypertext 2000: 19-28
1999
2EEBrian Bailey: Interactive sketching of multimedia storyboards. ACM Multimedia (2) 1999: 205-206
1998
1EEBrian Bailey, Joseph A. Konstan, Robert Cooley, Moses Dejong: Nsync - A Toolkit for Building Interactive Multimedia Presentations. ACM Multimedia 1998: 257-266

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Oct 9 03:19:44 2003