/
User Settings
B

Bruce F. Duba

Seattle University(US)

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

13

Papers

1.5K

Citations

11

h-index

11

i10-index

Bruce F. Duba is an academic researcher from Seattle University. The author has contributed to research in topics: Logic, programming, and type systems & Formal Methods in Verification & Parallel Computing and Optimization Techniques. The author has an h-index of 11, co-authored 12 publications.

Research Topics

Logic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization TechniquesLogic, Reasoning, and KnowledgeSemantic Web and Ontologies

Papers by this author

works

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat