Index file section O for tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Return to index directory
O
-
O'Hearn, P. W., 228(1)211--252
-
O'Hearn, Peter W., 228(1)253--282
-
OBDDs, 205(1)45--60
-
Oberman, Stuart F., 196(1)201--214
-
Oberman:1998:RML, 196(1)201--214
-
object, 140(2)231--247, 140(2)249--263, 145(1)291--316, 147(1)211--248,
149(1)3--48, 149(1)49--66, 152(1)91--138, 160(1)217--239,
163(1)303--308, 165(1)201--232, 169(1)81--112, 176(1)283--328,
184(1)195--236, 192(2)287--314, 194(1)244--z, 194(1)248--z--1,
196(1)215--240, 197(1)203--234, 206(1)127--162, 212(1)101--140,
218(2)219--232, 220(1)267--319, 228(1)253--282
-
object, complex-, 176(1)283--328
-
object, concurrent-, 195(2)259--289
-
object-based, 140(1)179--199, 149(1)49--66, 149(1)179--199,
192(2)287--314
-
object-level, 169(1)81--112
-
object-oriented, 140(1)179--199, 149(1)49--66, 149(1)179--199,
151(2)297--352, 160(1)217--239, 165(1)201--232, 176(1)283--328,
176(1)337--345, 184(1)195--236, 192(2)201--231, 192(2)287--314,
194(1)244--z
-
obliviousness, 196(1)109--130
-
observability, 173(2)393--443
-
observable, 134(1)51--61, 151(1)79--124, 151(2)437--486, 173(2)393--443,
182(1)257--257, 183(2)281--315
-
observation, 139(1)163--186, 139(1)275--314, 140(1)95--138,
151(1)79--124, 153(1)3--48, 155(1)39--83, 177(2)381--405,
177(2)487--507, 190(1)87--112, 195(2)155--182
-
observation-based, 151(2)437--486
-
observational, 139(1)187--205, 139(1)275--314, 139(1)315--354,
146(1)25--68, 156(1)289--299, 165(1)3--55, 173(2)393--443,
192(2)167--199, 195(2)227--258
-
observed, 157(2)161--183
-
obstacle, 140(2)205--230, 140(2)231--247, 140(2)265--289,
140(2)301--317
-
obtain, 203(1)91--121
-
OCA, 156(1)281--287
-
occurrence, 138(1)113--139, 153(1)171--210, 155(1)85--109
-
occurring, 174(1)67--96
-
odd, 181(1)91--106
-
Odersky, M., 228(1)175--210
-
Odersky, M., see Maraist, J.
-
Odersky, Martin, 160(1)365--380, 173(1)209--233
-
Odersky, Martin, see Marriott, Kim
-
ODEs, 138(1)67--100
-
of-centers, method-, 138(1)201--210
-
of-correctness, proof-, 177(1)183--216
-
of-k, 193(1)97--112
-
of-kilter, out-, 194(1)207--218
-
of-transitions;, permutation-, 141(1)195--252
-
off-line, 185(2)347--377, 226(1)173--184
-
offs, trade-, 221(1)3--18
-
offsets, 170(1)1--46
-
Ogihara, M., 234(1)323--323
-
Ogihara, M., see Hemaspaandra, L.
-
Ogihara, Mitsunori, 155(2)447--457, 207(1)117--130
-
Ogihara, Mitsunori, see Hemaspaandra, Lane A.,
see Macarie, Ioan I.
-
OHearn:1999:OIY, 228(1)253--282
-
OHearn:1999:SCI, 228(1)211--252
-
Ohlebusch, Enno, 186(1)231--248
-
Ohlebusch:1997:EPP, 186(1)231--248
-
Ohuchi, Azuma, 152(1)139--169
-
Ohuchi, Azuma, see Kurihara, Masahito
-
Okada, M., 197(1)246--z--1, 197(1)246--z--2
-
Okada, M., see Nagaymam, M.
-
Okada, Mitsuhiro, 173(2)349--391, 227(1)333--396
-
Okada, Mitsuhiro, see Jouannaud, Jean-Pierre
-
Okada:1998:PSH, 197(1)246--z--2
-
Okada:1999:PSC, 227(1)333--396
-
Okui, Satoshi, 167(1)95--130
-
Okui, Satoshi, see Middeldorp, Aart
-
OL, 147(1)87--116
-
Olariu, S., 145(1)329--344
-
Olariu, S., see Jamison, B.
-
Older, William J., 173(1)253--281
-
Older, William J., see Girodias, Pierre
-
Oles, Frank J., 151(1)207--256
-
Oles, Frank J., see Mislove, Michael W.
-
Olivero, A., 138(1)3--34
-
Olivero, A., see Alur, R.
-
Olivetti, Nicola, 200(1)335--366
-
Olivetti, Nicola, see Mundici, Daniele
-
Ollagnier, Jean Moulin, 157(1)115--127
-
Ollagnier:1996:AMD, 157(1)115--127
-
OLog/sup, 159(1)15--28
-
Olsson, Ronald A., 216(1)213--235
-
Olsson, Ronald A., see Zhang, Cui
-
omega, 151(1)29--36, 155(1)267--276, 166(1)203--219, 175(1)159--181,
176(1)235--282, 191(1)79--95, 193(1)181--195, 197(1)1--56
-
omega-automata, 170(1)1--46
-
Omega-categories, 184(1)61--104
-
omega-continuous, 193(1)53--73
-
omega-language, 161(1)191--203, 174(1)231--246
-
omega-languages, 143(1)1--21, 151(1)z--z, 174(1)1--21, 174(1)231--246,
183(1)93--112, 191(1)37--59
-
omega-regular, 174(1)259--268, 186(1)135--156, 195(2)183--203
-
Omega-union, 173(2)485--511
-
On, 206(1)353--354, 266(1)997--998
-
O(n), 180(1)269--286, 197(1)157--169
-
on-ears, Hammock-, 168(1)121--154
-
on-ears, hammock-, 168(1)121--154
-
on-line, 141(1)53--67, 148(1)141--156, 162(1)117--132, 163(1)117--144,
171(1)3--24, 175(2)225--238, 175(2)283--292, 185(2)347--377,
197(1)95--109, 209(1)365--375, 220(2)469--488, 221(1)19--39
-
once, read-, 141(1)269--282
-
once-only, read-, 145(1)45--69
-
one, 134(1)51--61, 160(1)305--320, 168(2)367--404, 181(1)75--90,
210(1)217--223
-
One;, Empty-All-But-, 191(1)157--171
-
one, many-, 147(1)137--147
-
one, zero-, 191(1)185--192
-
one-character, 141(1)53--67
-
one-dimensional, 148(1)157--163, 174(1)157--170, 188(1)195--209,
205(1)183--193, 217(1)53--80
-
one-head, 217(1)3--30
-
one-output, 143(2)335--342
-
one-round, 157(2)277--282
-
one-step, 208(1)179--190
-
one-way, 141(1)331--335, 148(2)261--279, 156(1)281--287, 157(2)139--159,
174(1)217--230, 179(1)251--271
-
online, 141(1)53--67, 148(1)141--156, 171(1)3--24, 175(2)225--238,
185(1)159--175, 191(1)61--77, 192(2)315--351, 219(1)331--345
-
online-help, 187(1)81--86
-
only, 194(1)z--z, 197(1)z--z, 215(1)337--344, 218(2)285--295
-
only, constant-, 197(1)245--246
-
only, read-, 165(2)311--323
-
only, read-once-, 145(1)45--69
-
Ono, Hiroakira, 175(1)1--1
-
Ono:1997:F, 175(1)1--1
-
On/sup, 181(2)307--316
-
Oostrom, V., Van, 194(1)244--z--3
-
Oostrom, Vincent van, 175(1)159--181
-
opaque, 156(1)177--201
-
open, 155(1)85--109, 169(2)185--200, 183(2)253--279, 187(1)203--219,
190(1)87--112, 192(2)315--351, 198(1)201--209, 219(1)319--329
-
open-shop, 191(1)205--214
-
operands, 154(1)41--56
-
operating, 149(1)151--178, 162(2)283--296, 162(2)341--349,
178(1)119--127, 181(1)75--90, 182(1)1--143, 185(2)259--275
-
operation, 141(1)53--67, 143(1)51--72, 148(1)171--180, 149(1)179--199,
149(2)201--229, 154(2)165--181, 155(1)1--38, 156(1)1--38,
157(2)215--225, 160(1)87--143, 161(1)301--306, 164(1)1--12,
165(2)391--405, 166(1)173--202, 167(1)131--170, 172(1)135--174,
173(1)151--181, 174(1)67--96, 175(1)183--222, 179(1)251--271,
180(1)17--45, 180(1)341--352, 181(2)379--404, 187(1)7--25,
190(2)363--396, 191(1)79--95, 191(1)117--129, 192(2)167--199,
192(2)201--231, 192(2)259--286, 194(1)242--z--2, 195(1)61--89,
196(1)347--363, 198(1)131--158, 200(1)1--44, 205(1)317--327,
207(1)73--88, 216(1)159--211
-
operational, 138(2)353--389, 142(1)27--57, 146(1)25--68, 146(1)109--143,
146(1)341--349, 151(1)207--256, 155(1)179--219, 159(2)271--317,
162(1)79--115, 165(1)133--169, 170(1)83--128, 173(1)209--233,
173(2)485--511, 177(1)27--58, 179(1)217--250, 180(1)371--375,
192(1)77--106, 194(1)248--z--1, 195(1)3--32, 197(1)246--z,
200(1)289--312, 211(1)1--83, 227(1)231--248
-
operator, 138(1)141--168, 138(1)211--239, 138(2)273--314,
138(2)315--352, 138(2)425--454, 139(1)1--25, 142(1)3--26,
144(1)125--159, 147(1)149--163, 148(2)261--279, 149(2)201--229,
150(1)161--191, 151(1)3--27, 151(1)207--256, 152(2)285--303,
154(2)307--327, 155(1)39--83, 155(1)111--140, 157(1)3--33,
160(1)217--239, 160(1)271--281, 166(1)49--62, 169(1)113--121,
170(1)83--128, 170(1)145--171, 171(1)281--302, 173(1)209--233,
173(2)393--443, 176(1)1--38, 176(1)205--234, 177(2)351--380,
183(2)187--214, 192(2)233--258, 194(1)1--34, 222(1)77--111
-
opfibrations, 194(1)240--z
-
opponent, 215(1)305--323
-
opt, 210(2)341--374
-
optical, 152(2)171--217, 154(2)165--181, 162(2)245--281, 163(1)117--144,
163(1)303--308, 178(1)129--154, 185(1)3--13, 186(1)1--41,
194(1)123--136, 196(1)153--180, 196(1)181--200, 207(1)193--201
-
optical, all-, 221(1)19--39
-
optima, 173(1)3--48
-
optimal, 143(1)73--91, 143(1)123--135, 145(1)27--43, 147(1)1--18,
154(2)283--306, 154(2)367--377, 156(1)177--201, 157(2)161--183,
157(2)215--225, 159(2)191--244, 162(2)323--340, 163(1)239--243,
164(1)107--122, 164(1)299--310, 165(2)441--461, 166(1)221--262,
168(2)367--404, 172(1)265--271, 174(1)193--202, 178(1)225--236,
180(1)243--268, 180(1)309--324, 182(1)217--232, 185(2)347--377,
188(1)1--44, 188(1)221--230, 196(1)3--29, 196(1)395--415,
197(1)189--201, 197(1)203--234, 197(1)242--z--2, 200(1)261--287,
203(2)205--223, 205(1)243--260, 210(2)341--374, 215(1)69--87,
220(2)363--376, 221(1)119--137, 222(1)113--131, 225(1)163--169,
227(1)79--97
-
optimal, 1-, 203(2)175--203
-
optimal, Near-, 203(2)225--251
-
optimal, near-, 181(2)379--404
-
optimal-speedup, 141(1)163--173
-
optimal-work, 154(2)225--245
-
optimality, 168(2)367--404, 197(1)171--188, 197(1)189--201
-
optimally, 154(1)3--22, 220(1)31--65
-
optimisation, 137(2)253--268, 138(1)3--34, 146(1)69--108,
146(1)269--310, 147(1)181--210, 147(1)267--298, 148(1)33--55,
148(2)325--349, 150(1)1--55, 156(1)217--261, 157(2)215--225,
158(1)117--141, 158(1)279--341, 162(2)225--243, 162(2)323--340,
164(1)1--12, 164(1)59--72, 172(1)265--271, 173(1)3--48,
174(1)23--65, 179(1)251--271, 182(1)217--232, 188(1)129--159,
188(1)221--230, 191(1)193--203, 191(1)229--243, 194(1)207--218,
196(1)365--393, 197(1)245--z--2
-
optimization, 142(1)27--57, 144(1)125--159, 145(1)189--228,
146(1)69--108, 146(1)145--184, 146(1)269--310, 147(1)181--210,
150(1)1--55, 156(1)217--261, 157(2)215--225, 158(1)117--141,
158(1)279--341, 173(1)3--48, 173(1)113--149, 174(1)23--65,
180(1)269--286, 187(1)231--248, 191(1)229--243, 193(1)149--179,
194(1)207--218, 196(1)365--393, 207(1)203--216, 209(1)107--122,
227(1)299--331
-
optimized, 144(1)199--220
-
<or=/, 176(1)235--282
-
oracle, 148(2)325--349, 154(1)23--39, 157(2)227--258, 158(1)221--231,
180(1)17--45, 181(1)119--139, 185(1)129--157, 191(1)185--192,
194(1)137--161
-
oracle;, K-, 185(1)129--157
-
orbit, 174(1)157--170
-
ORDAL, 217(2)255--278
-
order, 138(2)273--314, 142(1)89--124, 143(1)73--91, 144(1)101--124,
145(1)271--290, 147(1)149--163, 151(1)207--256, 151(1)z--z,
154(2)165--181, 154(2)379--385, 156(1)119--144, 160(1)87--143,
160(1)241--270, 160(1)271--281, 160(1)305--320, 162(2)351--369,
163(1)117--144, 163(1)269--276, 168(1)155--212, 170(1)145--171,
174(1)67--96, 175(1)3--13, 175(1)127--158, 175(2)225--238,
175(2)283--292, 175(2)337--347, 175(2)349--372, 175(2)373--392,
175(2)393--406, 176(1)67--87, 176(1)235--282, 177(1)59--71,
177(1)217--283, 179(1)137--202, 179(1)217--250, 179(1)421--425,
180(1)17--45, 183(2)157--185, 183(2)187--214, 184(1)61--104,
185(2)277--318, 187(1)7--25, 187(1)27--48, 190(2)317--361,
194(1)245--z, 194(1)246--247, 200(1)205--224, 204(1)131--152,
212(1)211--231, 225(1)177--184
-
order, First-, 160(1)305--320
-
order, first-, 139(1)207--242, 142(2)141--177, 144(1)59--65,
146(1)69--108, 146(1)243--268, 148(2)261--279, 149(1)49--66,
149(1)67--99, 149(1)101--128, 152(1)91--138, 154(1)67--84,
156(1)177--201, 160(1)241--270, 160(1)271--281, 165(1)3--55,
166(1)63--81, 170(1)173--207, 171(1)179--219, 172(1)135--174,
173(1)151--181, 173(2)349--391, 173(2)393--443, 173(2)513--554,
176(1)67--87, 176(1)283--328, 184(1)237--245, 185(1)47--62,
185(2)217--235, 185(2)393--410, 192(2)315--351, 193(1)129--148,
194(1)247--z--1, 197(1)247--z--1, 208(1)179--190, 216(1)55--107,
222(1)55--75, 222(1)153--179
-
order, high-, 157(1)53--77, 197(1)246--z--2
-
order, ``Higher-, 184(1)247--247
-
order, Higher-, 176(1)235--282, 192(1)3--29
-
order, higher-, 139(1)207--242, 150(1)111--159, 159(2)191--244,
165(1)201--232, 167(1)3--45, 167(1)193--233, 170(1)173--207,
173(2)349--391, 183(2)157--185, 192(1)3--29, 194(1)246--247,
196(1)71--107, 198(1)49--98, 208(1)33--58, 227(1)333--396,
228(1)105--150
-
order, nd-, 198(1)1--47
-
order, second-, 139(1)1--25, 139(1)131--162, 146(1)185--197,
151(1)125--162, 154(1)67--84, 160(1)87--143, 163(1)161--176,
166(1)63--81, 174(1)97--121, 184(1)237--245, 193(1)75--96,
193(1)197--214, 194(1)242--z, 197(1)245--z, 224(1)35--58,
224(1)267--289
-
order;, second-, 154(2)247--282
-
order, third-, 187(1)3--6
-
order-independent, 155(1)111--140
-
order-preserving, 175(2)337--347
-
order-sorted, 179(1)273--299, 183(2)157--185, 185(2)393--410
-
order-theoretic, 170(1)349--381
-
orderable, 145(1)147--157, 172(1)209--232
-
ordered, 147(1)19--30, 148(2)261--279, 149(1)179--199, 151(1)207--256,
155(2)425--438, 171(1)247--280, 175(2)225--238, 175(2)271--282,
176(1)67--87, 176(1)283--328, 180(1)47--60, 182(1)145--157,
192(2)259--286, 203(1)51--67
-
ordering, 139(1)355--362, 140(1)73--94, 142(2)179--207, 142(2)209--227,
147(1)249--265, 148(2)261--279, 149(2)333--360, 150(1)161--191,
154(2)225--245, 155(1)111--140, 156(1)301--313, 160(1)87--143,
172(1)175--193, 176(1)67--87, 181(1)195--225, 208(1)33--58,
224(1)173--213
-
ordinal, 156(1)119--144, 165(2)247--273, 201(1)63--84, 220(2)323--343
-
ordinary, 138(1)67--100, 139(1)207--242, 147(1)267--298, 151(1)79--124,
157(1)79--90, 187(1)87--104, 187(1)263--284
-
Orejas, Fernando, 140(1)139--177, 173(2)485--511
-
Orejas, Fernando, see Navarro, Marisa
-
Orejas:1997:ILP, 173(2)485--511
-
organisation, 139(1)69--113, 140(1)179--199, 140(2)249--263,
141(1)283--310, 144(1)3--58, 144(1)161--197, 144(1)199--220,
144(1)221--249, 144(1)251--275, 146(1)243--268, 148(1)171--180,
149(1)49--66, 149(1)151--178, 149(1)179--199, 152(2)269--283,
154(1)85--106, 154(2)165--181, 155(2)349--363, 156(1)39--70,
156(1)315--325, 158(1)1--33, 159(1)15--28, 159(2)191--244,
160(1)217--239, 163(1)239--243, 164(1)1--12, 164(1)73--106,
164(1)107--122, 165(1)201--232, 165(2)391--405, 166(1)147--172,
167(1)3--45, 168(1)21--38, 168(1)155--212, 169(1)67--80,
169(1)113--121, 172(1)1--41, 172(1)209--232, 173(2)349--391,
173(2)513--554, 175(2)373--392, 177(1)183--216, 178(1)103--118,
178(1)171--203, 181(1)3--15, 181(1)75--90, 182(1)1--143,
182(1)145--157, 182(1)183--202, 183(2)157--185, 188(1)1--44,
192(2)201--231, 196(1)109--130, 197(1)95--109
-
organization, 164(1)73--106, 165(2)311--323, 168(1)21--38
-
organizing, self-, 164(1)185--206
-
Orgun, Mehmet A., 185(2)319--345, 220(2)377--408
-
Orgun, Mehmet A., see Liu, Chuchang
-
Orgun:1997:MDL, 185(2)319--345
-
orientable, 156(1)159--176
-
oriented, 160(1)217--239
-
oriented, agent-, 192(2)315--351
-
oriented, event-, 179(1)273--299
-
oriented, graph-, 160(1)217--239
-
oriented, Object-, 140(1)179--199, 149(1)49--66,
149(1)179--199, 151(2)297--352, 160(1)217--239, 165(1)201--232,
176(1)283--328, 184(1)195--236, 192(2)287--314, 194(1)244--z
-
oriented, object-, 140(1)179--199, 149(1)49--66,
149(1)179--199, 151(2)297--352, 160(1)217--239, 176(1)283--328,
176(1)337--345, 184(1)195--236, 192(2)201--231, 192(2)287--314,
194(1)244--z
-
Orlowska, Ewa, 166(1)173--202
-
Orlowska, Ewa, see Demri, Stéphane
-
Orponen, Pekka, 174(1)123--136
-
Orponen:1997:CTA, 174(1)123--136
-
<or=//sup, 176(1)235--282
-
orthogonal, 152(2)285--303, 155(2)321--347, 159(1)129--136,
165(1)75--95, 175(1)93--125, 175(1)159--181, 176(1)235--282,
185(1)177--190, 194(1)244--z--2
-
orthogonal, non-, 194(1)241--z--2
-
orthogonality, 175(1)159--181
-
Ostheimer, G., 194(1)241--z--1
-
Ostheimer, G., see Brock, S.
-
other, 138(1)35--65, 138(1)67--100, 138(2)315--352, 141(1)1--52,
144(1)3--58, 144(1)101--124, 144(1)125--159, 144(1)221--249,
145(1)391--396, 146(1)69--108, 146(1)109--143, 152(2)171--217,
157(2)161--183, 157(2)277--282, 159(1)65--79, 159(1)81--102,
164(1)107--122, 168(1)121--154, 171(1)147--177, 172(1)43--65,
176(1)1--38, 179(1)319--331, 179(1)381--395, 185(1)15--45,
187(1)263--284, 188(1)1--44, 190(2)211--239, 192(2)315--351,
193(1)53--73, 196(1)347--363, 202(1)231--244, 203(1)123--141,
218(2)219--232, 224(1)319--352, 228(1)49--76
-
others, see Freyd, P. J.
-
Otto, Friedrich, 198(1)1--47, 207(1)43--72
-
Otto, Martin, 224(1)73--113, 224(1)237--265
-
Otto, Martin, see Grädel, Erich
-
Otto:1998:EUW, 198(1)1--47
-
Otto:1998:SUR, 207(1)43--72
-
Otto:1999:BIP, 224(1)237--265
-
Oudin, Louis-Rémi, 187(1)263--284,
see Carrière, Alain
-
out, Böhm-, 212(1)233--246
-
out, h-, 193(1)97--112
-
out-forests, 162(2)323--340
-
out-of-kilter, 194(1)207--218
-
outermost-fair-like, 165(1)75--95
-
outerplanar, 168(1)121--154
-
outfix, 3-infix-, 188(1)231--240
-
outfix, infix-, 188(1)231--240
-
output, 138(2)391--423, 155(2)365--410, 167(1)235--274, 178(1)103--118,
182(1)145--157, 192(2)167--199, 207(1)131--157
-
output, input-, 182(1)145--157, 205(1)99--114
-
output, one-, 143(2)335--342
-
outward, 194(1)247--z
-
overfull, 181(1)91--106
-
overgeneralization, 141(1)151--162
-
overhead, 185(2)259--275, 196(1)241--258
-
overlaps, 152(2)269--283
-
overlay, 151(2)487--512
-
overlining, 142(2)277--297
-
overloaded, 176(1)337--345
-
overloading, 176(1)337--345
-
Overmars, Mark, 140(2)301--317
-
Overmars, Mark, see Berg, Mark de
-
Ozery, Michal, 205(1)283--296
-
Ozery, Michal, see Fraenkel, Aviezri S.