The Algebraic Feedback Product of Automata. - Victor Yodaiken (CAV, 1990)

The Algebraic Feedback Product of Automata. A State Machine Based Model of Concurrent Systems. - Victor Yodaiken (CAV (DIMACS/AMS volume), 1990)

A Logic-Free Method for Modular Composition of Specifications. - Victor Yodaiken (ICCI, 1990)

Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. - Victor Yodaiken; Krithi Ramamritham (RTSS, 1990)

Modal Functions for Concise Definition of State Machines and Products. - Victor Yodaiken (Inf. Process. Lett., 1991)

Verification of a Reliable Net Protocol. - Victor Yodaiken; Krithi Ramamritham (FTRTFT, 1992)

Optimizing the Idle Task and Other MMU Tricks. - Cort Dougan; Paul Mackerras; Victor Yodaiken (OSDI, 1999)

New frontiers for embedded computing. - Victor Yodaiken (VLSI Design, 2004)

Control Loops in RTLinux. - Victor Yodaiken; Matt Sherer; Edgar Hilton (Handbook of Networked and Embedded Control Systems, 2005)

Active semantically aware hard real-time security hypervisors. - Victor Yodaiken; Cort Dougan (CSIIRW, 2008)

State and history in operating systems - Victor Yodaiken (CoRR, 2008)

The meaning of concurrent programs - Victor Yodaiken (CoRR, 2008)

Primitive Recursion and State Machines - Victor Yodaiken (CoRR, 2009)

State machine models of timing and circuit design - Victor Yodaiken (CoRR, 2010)

Defining and composing big state machines. - Victor Yodaiken (CoRR, 2015)

Folding a Tree into a Map. - Victor Yodaiken (CoRR, 2015)

State equations for discrete state systems. - Victor Yodaiken (CoRR, 2016)

Parametric equations for temporal style assertions. - Victor Yodaiken (CoRR, 2016)

How ISO C became unusable for operating systems development. - Victor Yodaiken (PLOS@SOSP, 2021)

Understanding Paxos and other distributed consensus algorithms. - Victor Yodaiken (CoRR, 2022)

Standard Automata Theory and Process Algebra. - Victor Yodaiken (CoRR, 2022)

State Machines for Large Scale Computer Software and Systems. - Victor Yodaiken (Formal Aspects Comput., 2024)