11 papers:
CAV-2015-BabiakBDKKM0S- The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
VMCAI-2014-Chatterjee0FR #game studies- Doomsday Equilibria for Omega-Regular Games (KC, LD, EF, JFR), pp. 78–97.
- VMCAI-2009-GondiPS #monitoring #probability
- Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.
CADE-2002-JamnikKP- Learn Omega-matic: System Description (MJ, MK, MP), pp. 150–155.
- CADE-2002-SiekmannBBCFFHKMMMNPSUWZ #development #proving
- Proof Development with OMEGA (JHS, CB, VB, LC, AF, AF, HH, MK, AM, EM, MM, IN, MP, VS, CU, CPW, JZ), pp. 144–149.
WIA-1997-VogeUMB #automaton- The Automata Theory Package omega (JV, SU, OM, NB), pp. 228–231.
- CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
- Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.
ICSM-1996-ChenTHPRW #c++ #ide #maintenance #named- Omega — an integrated environment for C++ program maintenance (XC, WTT, HH, MHP, SR, YW), p. 114–?.
ICDAR-v1-1995-MurshedBS #approach #verification- Off-line signature verification, without a priori knowledge of class /spl omega//sub 2/. A new approach (NAM, FB, RS), pp. 191–196.
- CADE-1994-HuangKKMNRS #development #named #proving
- Omega-MKRP: A Proof Development Environment (XH, MK, MK, EM, DN, JR, JHS), pp. 788–792.
PLDI-1992-PughW #data flow #dependence #using- Eliminating False Data Dependences using the Omega Test (WP, DW), pp. 140–151.
