C. A. Johnson

23 papers C 2Journal 20Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
OpenEdge: A collaborative, open-source, multi-purpose direct simulation Monte Carlo for plasma simulation in magnetic fusion environments.
Comput. Phys. Commun.
Abdourahmane Diaw, C. A. Johnson, Ezekial A. Unterberg, J. Nichols
2009 J jnl
Computing Only Minimal Answers in Disjunctive Deductive Databases.
J. Autom. Reason.
C. A. Johnson
2004 J jnl
Top-Down Query Processing in First-Order Deductive Databases under the DWFS.
J. Autom. Reason.
C. A. Johnson
2003 J jnl
Computing only minimal answers in disjunctive deductive databases
CoRR
C. A. Johnson
2003 J jnl
Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems.
IEEE Trans. Knowl. Data Eng.
S. Misbah Deen, C. A. Johnson
2002 J jnl
Processing Indefinite Deductive Databases under the Possible Model Semantics.
Fundam. Informaticae
C. A. Johnson
2001 J jnl
Constructing interpretations of deductive databases using reduction and dynamic stratification.
Data Knowl. Eng.
C. A. Johnson
2001 J jnl
On the Computation of the Disjunctive Well-Founded Semantics.
J. Autom. Reason.
C. A. Johnson
2000 C conf
Top-Down Query Processing in First Order Deductive Databases under the DWFS.
ISMIS
C. A. Johnson
1999 J jnl
On Cyclic Covers and Perfect Models.
Data Knowl. Eng.
C. A. Johnson
1999 J jnl
Processing Deductive Databases under the Disjunctive Stable Model Semantics.
Fundam. Informaticae
C. A. Johnson
1999 C conf
Towards a Theoretical Foundation for Cooperating Knowledge Based Systems.
ISMIS
S. Misbah Deen, C. A. Johnson
1998 J jnl
Top-Down Query Processing in Indefinite Stratified Databases.
Data Knowl. Eng.
C. A. Johnson
1997 J jnl
Deduction Trees and the View Update Problem in Indefinite Deductive Databases.
J. Autom. Reason.
C. A. Johnson
1996 J jnl
On Computing Minimal and Perfect Model Membership.
Data Knowl. Eng.
C. A. Johnson
1994 J jnl
On the Termination of Clause Graph Resolution.
J. Autom. Reason.
C. A. Johnson
1993 J jnl
Factorization and Circuit in the Connection Method.
J. ACM
C. A. Johnson
1993 — conf
Top Down Deduction in Indefinite Databases.
BDA
C. A. Johnson
1991 J jnl
Handling Indefinite and Negative Data in a Deductive Database.
Data Knowl. Eng.
C. A. Johnson
1989 J jnl
On Ideals and Stationary Reflection.
J. Symb. Log.
C. A. Johnson
1988 J jnl
Seminormal lambda-Generated Ideals on P
J. Symb. Log.
C. A. Johnson
1986 J jnl
Distributive Ideals and Partition Relations.
J. Symb. Log.
C. A. Johnson
1986 J jnl
Precipitous Ideals on Singular Cardinals.
Math. Log. Q.
C. A. Johnson