Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Topos | Researchclopedia

Back to institutions

Topos

Harrisville, Rhode Islandother

202

Works

264

Citations

10

h-index

Top Research Topics

Logic, programming, and type systems Logic, Reasoning, and Knowledge Advanced Algebra and Logic

Top Researchers

Dana Scott Molecular Sciences Institute

200 works12,441 citationsh-index: 46

Recent Research

AlgebraicJulia/Catlab.jl: v0.17.5

Evan Patterson,Owen Lynch,et al.

20260 citations

Semantic Web and Ontologies

Homotopy and Cohomology in Algebraic Topology

Polynomial and algebraic computation

Advanced Differential Equations and Dynamical Systems

Computability, Logic, AI Algorithms

Formal Methods in Verification

Philosophy and History of Science

Natural Language Processing Techniques

Valeria de Paiva Shanghai Jiao Tong University

177 works2,636 citationsh-index: 25

Alberto Speranzon Lockheed Martin (United States)

82 works1,570 citationsh-index: 17

David I. Spivak International Computer Science Institute

155 works1,457 citationsh-index: 20

42 works1,180 citationsh-index: 18

Kristopher Brown Topos

19 works836 citationsh-index: 7

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems

Keri D'Angelo,Sophie Libkind

20260 citations

Exergetic Port-Hamiltonian systems modeling language

Markus Lohmayer,Owen Lynch,et al.

20250 citations

AlgebraicJulia/Catlab.jl: v0.17.4

Evan Patterson,Owen Lynch,et al.

20250 citations

AlgebraicJulia/Catlab.jl: v0.17.3

Evan Patterson,Owen Lynch,et al.

20250 citations

Representable functors from the category of sets

Nelson Niu,David I. Spivak

20250 citations