| |
| 2008 | ||
|---|---|---|
| 10 | EE | Victor Yodaiken: State and history in operating systems CoRR abs/0805.2749: (2008) |
| 9 | EE | 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 | EE | Victor Yodaiken: New frontiers for embedded computing. VLSI Design 2004: 249- |
| 1999 | ||
| 6 | EE | 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 | |
| 1 | Cort Dougan | [6] |
| 2 | Edgar Hilton | [8] |
| 3 | Paul Mackerras | [6] |
| 4 | Krithi Ramamritham | [1] [5] |
| 5 | Matt Sherer | [8] |