Konstantine Arkoudas

	2009
14		Konstantine Arkoudas, Selmer Bringsjord: Vivid: A framework for heterogeneous problem solving. Artif. Intell. 173(15): 1367-1405 (2009)
	2008
13		Konstantine Arkoudas, Olin Shivers: Trusted Theorem Proving: A Case Study in SLD-Resolution. ISoLA 2008: 782-796
12		Konstantine Arkoudas, Selmer Bringsjord: Toward Formalizing Common-Sense Psychology: An Analysis of the False-Belief Task. PRICAI 2008: 17-29
11		Konstantine Arkoudas: Computation, hypercomputation, and physical science. J. Applied Logic 6(4): 461-475 (2008)
	2007
10		Selmer Bringsjord, Konstantine Arkoudas, Deepa Mukherjee, Andrew Edward Shilliday, Joshua Taylor, Micah Henry Clark, Elizabeth Bringsjord: The Multi-Mind Effect. IC-AI 2007: 43-49
	2006
9		Selmer Bringsjord, Konstantine Arkoudas, Paul Bello: Toward a General Logicist Methodology for Engineering Ethically Correct Robots. IEEE Intelligent Systems 21(4): 38-44 (2006)
	2005
8		Konstantine Arkoudas, Martin C. Rinard: Deductive Runtime Certification. Electr. Notes Theor. Comput. Sci. 113: 45-63 (2005)
7		Alexandru Salcianu, Konstantine Arkoudas: Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses. Electr. Notes Theor. Comput. Sci. 141(2): 53-68 (2005)
6		Konstantine Arkoudas: Simplifying Proofs in Fitch-Style Natural Deduction Systems. J. Autom. Reasoning 34(3): 239-294 (2005)
	2004
5		Konstantine Arkoudas: Specification, Abduction, and Proof. ATVA 2004: 294-309
4		Konstantine Arkoudas, Selmer Bringsjord: Metareasoning for Multi-agent Epistemic Logics. CLIMA V 2004: 111-125
3		Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard: Verifying a File System Implementation. ICFEM 2004: 373-390
2		Selmer Bringsjord, Konstantine Arkoudas: The modal argument for hypercomputing minds. Theor. Comput. Sci. 317(1-3): 167-190 (2004)
	2003
1		Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard: Integrating Model Checking and Theorem Proving for Relational Reasoning. RelMiCS 2003: 21-33

Coauthor Index

1	Paul Bello	[9]
2	Elizabeth Bringsjord	[10]
3	Selmer Bringsjord	[2] [4] [9] [10] [12] [14]
4	Micah Henry Clark	[10]
5	Sarfraz Khurshid	[1]
6	Viktor Kuncak	[3]
7	Darko Marinov	[1]
8	Deepa Mukherjee	[10]
9	Martin C. Rinard	[1] [3] [8]
10	Alexandru Salcianu	[7]
11	Andrew Shilliday (Andrew Edward Shilliday)	[10]
12	Olin Shivers	[13]
13	Joshua Taylor	[10]
14	Karen Zee	[3]

Colors in the list of coauthors