Robert Veroff

2008
18	EE	Matthew Spinks, Robert Veroff: Constructive Logic with Strong Negation is a Substructural Logic. I. Studia Logica 88(3): 325-348 (2008)
17	EE	Matthew Spinks, Robert Veroff: Constructive Logic with Strong Negation is a Substructural Logic. II. Studia Logica 89(3): 401-425 (2008)
2006
16	EE	Robert Veroff, Matthew Spinks: Axiomatizing the Skew Boolean Propositional Calculus. J. Autom. Reasoning 37(1-2): 3-20 (2006)
2005
15	EE	Michael Beeson, Robert Veroff, Larry Wos: Double-Negation Elimination in Some Propositional Logics. Studia Logica 80(2-3): 195-234 (2005)
2004
14	EE	Paul Helman, Robert Veroff, Susan R. Atlas, Cheryl Willman: A Bayesian Network Classification Methodology for Gene Expression Data. Journal of Computational Biology 11(4): 581-615 (2004)
2003
13	EE	Michael Beeson, Robert Veroff, Larry Wos: Double-Negation Elimination in Some Propositional Logics CoRR cs.LO/0301026: (2003)
12	EE	Robert Veroff: A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke. J. Autom. Reasoning 31(1): 1-9 (2003)
2002
11		William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos: Short Single Axioms for Boolean Algebra. J. Autom. Reasoning 29(1): 1-16 (2002)
2001
10		Robert Veroff: Finding Shortest Proofs: An Application of Linked Inference Rules. J. Autom. Reasoning 27(2): 123-139 (2001)
9		Robert Veroff: Solving Open Questions and Other Challenge Problems Using Proof Sketches. J. Autom. Reasoning 27(2): 157-174 (2001)
1999
8	EE	Gregory H. Chisholm, Steven T. Eckmann, Christopher M. Lain, Robert Veroff: Understanding Integrated Circuits. IEEE Design & Test of Computers 16(2): 26-37 (1999)
1996
7		Robert Veroff: Using Hints to Increase the Effectiveness of an Automated Reasoning Program: Case Studies. J. Autom. Reasoning 16(3): 223-239 (1996)
1994
6		Larry Wos, Robert Veroff: Logical basis for the automation of reasoning: Case studies. Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 1-40
1992
5		Robert Veroff: The Linked Inference Principle, I: The Formal Treatment. J. Autom. Reasoning 8(2): 213-274 (1992)
1988
4		Paul Helman, Robert Veroff: Designing Deductive Databases. J. Autom. Reasoning 4(1): 29-68 (1988)
1984
3		Larry Wos, Robert Veroff, B. Smith, William McCune: The Linked Inference Principle, II: The User's Viewpoint. CADE 1984: 316-332
2		Larry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen: A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artif. Intell. 22(3): 303-356 (1984)
1981
1		Robert Veroff, Lawrence J. Henschen: Application of Automatic Transformations to Program Verification. IJCAI 1981: 472-479

Coauthor Index

1	Susan R. Atlas	[14]
2	Michael Beeson	[13] [15]
3	Gregory H. Chisholm	[8]
4	Steven T. Eckmann	[8]
5	Andrew Feist	[11]
6	Branden Fitelson	[11]
7	Kenneth Harris	[11]
8	Paul Helman	[4] [14]
9	Lawrence J. Henschen	[1] [2]
10	Christopher M. Lain	[8]
11	William McCune	[3] [11]
12	B. Smith	[2] [3]
13	Matthew Spinks	[16] [17] [18]
14	Cheryl Willman	[14]
15	S. Winker	[2]
16	Larry Wos	[2] [3] [6] [11] [13] [15]

Colors in the list of coauthors