We stand with Ukraine  

Logan Kenwright

Orcid: 0000-0003-0923-0307

According to our database1, Logan Kenwright authored at least 4 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems.
[BibTeX]
[DOI]
Partha S. Roop
,
Sobhan Chatterjee
,
Avinash Malik
,
Nathan Allen
,
Logan Kenwright
CoRR, March, 2026

2025
WCET-Aware Partitioning and Allocation of Disaggregated Networks for Multicore Systems.
[BibTeX]
[DOI]
Junjie Shi
,
Christian Hakert
,
Kay Heider
,
Mario Günzel
,
Nils Hölscher
,
Daniel Kuhse
,
Jian-Jia Chen
,
Logan Kenwright
,
Sobhan Chatterjee
,
Nathan Allen
,
Partha S. Roop
IEEE Embed. Syst. Lett., October, 2025

Timetide: A Programming Model for Logically Synchronous Distributed Systems.
[BibTeX]
[DOI]
Logan Kenwright
,
Partha S. Roop
,
Nathan Allen
,
Calin Cascaval
,
Avinash Malik
ACM Trans. Embed. Comput. Syst., 2025

2024
Logical Synchrony Networks: A Formal Model for Deterministic Distribution.
[BibTeX]
[DOI]
Logan Kenwright
,
Partha S. Roop
,
Nathan Allen
,
Sanjay Lall
,
Calin Cascaval
,
Tammo Spalink
,
Martin Izzard
IEEE Access, 2024


  Loading...