Concepedia

Kohei Kishida

KK

8

Publications

196

Citations

8

H-Index

2007

Active since

Affiliations

Dalhousie University(Current)

University of Pittsburgh

University of Illinois Urbana-Champaign

University of Amsterdam

University of Oxford

Kohei Kishida is an author at Dalhousie University specializing in engineering, quantum computing, and computer science.

Top concepts

EngineeringComputer ScienceQuantum ComputingFormal MethodsQuantum ScienceQuantum ProgrammingQuantum Programming LanguagesClassical ControlAutomated ReasoningProgramming Languages

Publications per year

2007–2023

8

Publications

8

Contextuality, Cohomology and Paradox

Samson Abramsky, Rui Soares Barbosa, Kohei Kishida et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 46 citations · Full text

Philosophy Of Language, Contextuality Arguments, Logical Paradoxes +12

Funny business in branching space-times: infinite modal correlations

Thomas Müller, Nuel Belnap, Kohei Kishida · Synthese · 2007 · 39 citations

Geometric Quantization, Complexity Theory, Funny Business

TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC

Steve Awodey, Kohei Kishida · The Review of Symbolic Logic · 2008 · 28 citations · Full text

On Topological Issues of Indeterminism

Tomasz Placek, Nuel Belnap, Kohei Kishida · Erkenntnis · 2013 · 24 citations · Full text

Deterministic System, Topological Dynamic, Hausdorff Property +7

Linear Dependent Type Theory for Quantum Programming Languages

Peng Fu, Kohei Kishida, Peter Selinger · 2020 · 19 citations · Full text

Classical Control, Quantum Science, Engineering +12

Rows per page

1–5 of 8