BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (2)
automata (2)
proof (2)
environ (2)
develop (2)

Stem omega$ (all stems)

11 papers:

The Hanoi Omega-Automata Format (TB, FB, ADL, JK, JK, DM, DP, JS), pp. 479–486.
VMCAIVMCAI-2014-Chatterjee0FR #game studies
Doomsday Equilibria for Omega-Regular Games (KC, LD, EF, JFR), pp. 78–97.
VMCAIVMCAI-2009-GondiPS #monitoring #probability
Monitoring the Full Range of omega-Regular Properties of Stochastic Systems (KG, YP, APS), pp. 105–119.
Learn Omega-matic: System Description (MJ, MK, MP), pp. 150–155.
CADECADE-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.
CIAAWIA-1997-VogeUMB #automaton
The Automata Theory Package omega (JV, SU, OM, NB), pp. 228–231.
CADECADE-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.
ICSMEICSM-1996-ChenTHPRW #c++ #ide #maintenance #named
Omega — an integrated environment for C++ program maintenance (XC, WTT, HH, MHP, SR, YW), p. 114–?.
ICDARICDAR-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.
CADECADE-1994-HuangKKMNRS #development #named #proving
Omega-MKRP: A Proof Development Environment (XH, MK, MK, EM, DN, JR, JHS), pp. 788–792.
PLDIPLDI-1992-PughW #data flow #dependence #using
Eliminating False Data Dependences using the Omega Test (WP, DW), pp. 140–151.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.