John Byrnes

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j3		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
j2		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
c1		John Byrnes: Estimation of Gaussian Mixtures from Moments. ICMLA 2008: 421-425
	2006
p1		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
j1		Wilfried Sieg, John Byrnes: Normal Natural Deduction Proofs (in classical logic). Studia Logica 60(1): 67-106 (1998)

Coauthor Index

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

Last update Sun May 19 07:57:35 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page