Victor Yodaiken

	2009
11		Victor Yodaiken: Primitive Recursion and State Machines CoRR abs/0907.4169: (2009)
	2008
10		Victor Yodaiken: State and history in operating systems CoRR abs/0805.2749: (2008)
9		Victor Yodaiken: The meaning of concurrent programs CoRR abs/0810.1316: (2008)
	2005
8		Victor Yodaiken, Matt Sherer, Edgar Hilton: Control Loops in RTLinux. Handbook of Networked and Embedded Control Systems 2005: 471-490
	2004
7		Victor Yodaiken: New frontiers for embedded computing. VLSI Design 2004: 249-
	1999
6		Cort Dougan, Paul Mackerras, Victor Yodaiken: Optimizing the Idle Task and Other MMU Tricks. OSDI 1999: 229-237
	1992
5		Victor Yodaiken, Krithi Ramamritham: Verification of a Reliable Net Protocol. FTRTFT 1992: 193-215
	1991
4		Victor Yodaiken: Modal Functions for Concise Definition of State Machines and Products. Inf. Process. Lett. 40(2): 65-72 (1991)
	1990
3		Victor Yodaiken: The Algebraic Feedback Product of Automata. CAV 1990: 263-271
2		Victor Yodaiken: A Logic-Free Method for Modular Composition of Specifications. ICCI 1990: 196-205
1		Victor Yodaiken, Krithi Ramamritham: Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. IEEE Real-Time Systems Symposium 1990: 300-311

Coauthor Index

1	Cort Dougan	[6]
2	Edgar Hilton	[8]
3	Paul Mackerras	[6]
4	Krithi Ramamritham	[1] [5]
5	Matt Sherer	[8]

Colors in the list of coauthors