Kevin Carlson

According to our database, Kevin Carlson authored at least 5 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Presheaves on Lax Double Functors; Or, Instances of Models of Double Theories.

Kevin Carlson, Evan Patterson

Appl. Categorical Struct., August, 2026

A Categorical Approach to Semantic Interoperability across Building Lifecycle.

Zoltan Nagy, Ryan Wisnesky, Kevin Carlson, Eswaran Subrahmanian, Gioele Zardini

CoRR, January, 2026

2025

Porous Convection in the Discrete Exterior Calculus with Geometric Multigrid.

Luke Morris, George Rauta, Kevin Carlson, James P. Fairbanks

CoRR, August, 2025

2024

Flight Demonstration and Model Validation of a Prototype Variable-Altitude Venus Aerobot.

Jacob S. Izraelevitz, Siddharth Krishnamoorthy, Ashish Goel, Caleb Turner, Carolina Aiazzi, Michael T. Pauken, Kevin Carlson, Gerald Walsh, Carl Leake, Carlos Quintana, Christopher Lim, Abhinandan Jain, Leonard Dorsky, Kevin Baines, James A. Cutts, Paul K. Byrne, Tim Lachenmeier, Jeffery L. Hall

CoRR, 2024

2014

Omitting types and AF algebras.

Kevin Carlson, Enoch Cheung, Ilijas Farah, Alexander Gerhardt-Bourke, Bradd Hart, Leanne Mezuman, Nigel Sequeira, Alexander Sherman

Arch. Math. Log., 2014