John Byrnes

	2012
5		Jingsong Wang, John Byrnes, Marco Valtorta, Michael N. Huhns: On the combination of logical and probabilistic models for information analysis. Appl. Intell. 36(2): 472-497 (2012)
	2009
4		John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller: Visualizing Proof Search for Theorem Prover Development. Electr. Notes Theor. Comput. Sci. 226: 23-38 (2009)
	2008
3		John Byrnes: Estimation of Gaussian Mixtures from Moments. ICMLA 2008: 421-425
	2006
2		J. Brian Sharkey, Doyle Weishar, John W. Lockwood, Ron Loui, Richard Rohwer, John Byrnes, Krishna R. Pattipati, Stephen G. Eick, David Cousins, Michael Nicoletti: Information Processing at Very High Speed Data Ingestion Rates. Emergent Information Technologies and Enabling Policies for Counter-Terrorism 2006
	1998
1		Wilfried Sieg, John Byrnes: Normal Natural Deduction Proofs (in classical logic). Studia Logica 60(1): 67-106 (1998)

Coauthor Index

1	Michael Buchanan	[4]
2	David Cousins	[2]
3	Stephen G. Eick	[2]
4	Michael Ernst	[4]
5	Michael N. Huhns	[5]
6	Robert Keller	[4]
7	John W. Lockwood	[2]
8	Ronald Prescott Loui (Ron Loui)	[2]
9	Philip Miller	[4]
10	Michael Nicoletti	[2]
11	Krishna R. Pattipati	[2]
12	Chris Roberts	[4]
13	Richard Rohwer	[2]
14	J. Brian Sharkey	[2]
15	Wilfried Sieg	[1]
16	Marco Valtorta	[5]
17	Jingsong Wang	[5]
18	Doyle Weishar	[2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page