Jon Aytac

According to our database, Jon Aytac authored at least 3 papers between 2018 and 2022.

Collaborative distances:

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

2022

Q: A Sound Verification Framework for Statecharts and Their Implementations.

Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2019

Topos Semantics for a Higher-Order Temporal Logic of Actions.

Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette

Proceedings of the Proceedings Applied Category Theory 2019, 2019

2018

Some Coxeter Groups in Reversible and Quantum Compuation.

Jon Aytac, Ammar Husain

CoRR, 2018