Benjamin Carleton

According to our database, Benjamin Carleton authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

2023

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.

Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Search versus Search for Collapsing Electoral Control Types.

Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Separating and Collapsing Electoral Control Types.

Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2021

A Critique of Keum-Bae Cho's Proof that P ⊊ NP.

Benjamin Carleton, Michael C. Chavrimootoo, Conor Taliancich

CoRR, 2021