5 papers:
CHI-2014-ProbstLHSS #gesture #interactive #ubiquitous- A chair as ubiquitous input device: exploring semaphoric chair gestures for focused and peripheral interaction (KP, DL, MH, BS, AS), pp. 4097–4106.
ITiCSE-2006-SchreyerW #automaton #finite #modelling #problem- Finite automata models for CS problem with binary semaphore (BS, WW), p. 330.
ITiCSE-2000-KolikantBP- The anthropology semaphores (YBDK, MBA, SP), pp. 21–24.
STOC-1984-Willard #protocol- Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report) (DEW), pp. 512–521.
SOSP-1973-Kosaraju #petri net- Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.