Index file section O for tcs2000.bib
Last update: Thu Jun 29 04:16:06 MDT 2023
Return to index directory
O
-
O'Hearn, Amber, 276(1)355--375
-
O'Hearn, Amber, see Konstantinidis, Stavros
-
O'Hearn, P. W. Peter W., 315(1)257--305
-
O'Hearn, P. W. Peter W., see Pym, David J.
-
O'Hearn, Peter, 298(3)557--581
-
O'Hearn, Peter, see Calcagno, Cristiano
-
Oba, Roberto, Solis-, 306(1)543--551
-
OBDD, 255(1)615--625
-
OBDDs, 241(1)83--114, 320(2)187--198
-
Oberwolfach, anti-, 297(1)399--424
-
object, 242(1)169--197, 258(1)209--232, 260(1)3--25, 284(2)207--240,
314(1)57--95, 316(1)191--213
-
object-oriented, 239(1)41--95, 269(1)363--417, 285(2)407--439,
285(2)519--560
-
observable, 290(1)637--668
-
observation, 254(1)95--149, 303(1)7--34, 321(2)233--248
-
observational, 254(1)35--61, 275(1)675--698, 280(1)35--68,
298(3)471--510
-
obstacles, 270(1)421--440
-
obstruction, 233(1)107--127
-
obtain, 259(1)577--596
-
occurrence, 238(1)495--498, 302(1)431--456, 327(3)269--300
-
octagon, 319(1)71--81
-
Odremán, Mauricio, 297(1)25--36,
see Berrizbeitia, Pedro
-
Oesterdiekhoff, Brigitte, 245(2)175--202
-
Oesterdiekhoff:2000:PCN, 245(2)175--202
-
of, out-, 310(1)379--392
-
off, 279(1)3--27
-
off, Trade-, 290(1)1--57
-
Off-line, 287(2)419--428
-
offsets, 310(1)117--134
-
Ogawa, Kenjiro, 235(2)219--223
-
Ogawa, Kenjiro, see Era, Hiroshi
-
Ogawa, Mizuhito, 258(1)169--208, 324(1)55--60
-
Ogawa, Mizuhito, see Mano, Ken
-
Ogawa:2004:WQO, 324(1)55--60
-
Oger, Francis, 319(1)103--126
-
Oger:2004:AMT, 319(1)103--126
-
Oghlan, Amin, Coja-, 329(1)1--45
-
Ogihara, M., 234(1)323--323
-
Ogihara, M., see Hemaspaandra, L.
-
Ogihara, Mitsunori, 155(2)447--457, 304(1)129--156
-
Ogihara, Mitsunori, see Hemaspaandra, Lane A.,
see Li{\'s}kiewicz, Maciej
-
Ognjanovic, Zoran, 247(1)191--212
-
Ognjanovic:2000:SFO, 247(1)191--212
-
Ohlebusch, Enno, 262(1)311--331
-
Ohlebusch:2001:ICT, 262(1)311--331
-
Ohori, Atsushi, 266(1)249--272
-
Ohori, Atsushi, see Hashimoto, Masatomo
-
Ohsaki, Makoto, 289(2)879--895
-
Ohsaki, Makoto, see Aurenhammer, Franz
-
Ohwada, Hayato, 292(2)547--571
-
Ohwada:2003:IIV, 292(2)547--571
-
Oitavem, I., 318(1)57--78
-
Oitavem, I., see Bellantoni, S.
-
Oja, Erkki, 287(1)187--207
-
Oja:2002:ULN, 287(1)187--207
-
Ojeda-Aciego, M., 266(1)81--112
-
Ojeda-Aciego, M., see Aguilera, G.
-
Okada, Mitsu, 272(1)1--2
-
Okada, Mitsu, see Dezani-Ciancaglini, Mariangiola
-
Okada, Mitsuhiro, 272(1)41--68, 281(1)471--498, 294(3)333--333,
294(3)525--549, 294(3)551--573, 817(z)81--82
-
Okada, Mitsuhiro, see Blanqui, Frédéric,
see Girard, Jean-Yves,
see Kanovich, Max I.,
see Nagayama, Misao
-
Okada:2002:USP, 281(1)471--498
-
Okamoto, Seishi, 298(1)207--233
-
Okamoto:2003:EDC, 298(1)207--233
-
Okawa, Satoshi, 250(1)55--69
-
Okawa:2001:HCR, 250(1)55--69
-
Okhotin, Alexander, 299(1)663--685, 302(1)365--399, 314(3)451--457,
320(2)419--448
-
Okhotin, Alexander, see Domaratzki, Michael
-
Okhotin:2003:CPL, 299(1)663--685
-
Okhotin:2003:RPA, 302(1)365--399
-
Okhotin:2004:NNL, 320(2)419--448
-
Okubo, Yoshiaki, 292(2)387--416
-
Okubo, Yoshiaki, see Kudoh, Yoshimitsu
-
OLAP, 296(3)487--510
-
Oles, Frank J., 249(1)163--196
-
Oles:2000:ALT, 249(1)163--196
-
Oliet, N., Martí-, 285(2)187--243
-
Oliet, Narciso, Martí-, 285(2)119--120, 285(2)121--154,
285(2)407--439
-
Ollinger, Nicolas, 273(1)69--79
-
Ollinger, Nicolas, see Choffrut, Christian
-
Olm, Markus, Müller-, 311(1)325--388
-
Ölveczky, Peter Csaba, 285(2)359--405
-
Olveczky:2002:SRT, 285(2)359--405
-
omega, 262(1)669--697, 269(1)283--315, 299(1)327--346, 301(1)217--270
-
omega-power, 259(1)533--548
-
Omodeo, E. G., 293(2)447--475
-
Omodeo, E. G., see Cantone, D.
-
Omodeo, Eugenio G., 311(1)285--323, 322(1)147--173
-
Omodeo, Eugenio G., see Doberkat, Ernst-Erich,
see Formisano, Andrea
-
On, 266(1)997--998
-
on-line, 241(1)25--35, 268(1)17--41, 268(1)67--90, 268(1)91--105,
270(1)325--340, 284(1)109--142, 289(1)845--852, 289(2)939--952,
292(1)221--235, 295(1)251--261, 296(1)27--46, 299(1)439--450,
301(1)167--186, 302(1)35--44, 310(1)159--180, 310(1)527--537,
324(2)313--324
-
Onbeta-skeleton, 262(1)459--471
-
once, 303(2)375--408
-
once, read-, 238(1)347--362, 264(1)127--137
-
one, 234(1)59--84, 243(1)167--184, 245(1)135--148, 270(1)643--657,
292(3)597--610, 295(1)85--106, 295(1)123--140, 301(1)187--200,
315(2)405--417, 325(2)215--247
-
one, one-hundred-and-, 321(2)415--421
-
one, zero-, 244(1)283--288, 275(1)283--310, 292(3)723--732
-
one-counter, 289(2)963--976, 304(1)157--183
-
one-dimensional, 304(1)185--200, 313(3)417--425, 322(2)267--283,
325(2)273--284, 325(2)285--316
-
one-hundred-and-one, 321(2)415--421
-
one-letter, 306(1)113--122
-
one-level, 315(2)469--510
-
one-pass, 308(1)239--257
-
one-rule, 243(1)489--498, 262(1)583--632
-
one-sided, 304(1)485--497
-
one-variable, 261(1)119--156
-
one-way, 47(2)149--158, 244(1)257--261, 289(2)963--976, 295(1)233--250
-
ones, circular-, 296(1)99--116
-
Ong, C.-H. L., 294(1)269--305, 312(1)121--142, 318(1)197--223
-
Ong, C.-H. L., see Murawski, A. S.
-
Ong, C.-H. Luke, 272(1)247--292, 308(1)333--366
-
Ong, C.-H. Luke, see Ker, Andrew D.
-
Ong:2004:GCL, 312(1)121--142
-
online, 233(1)319--325, 268(1)107--117, 268(1)119--131, 268(1)133--143,
268(1)145--160, 285(1)43--53, 289(2)953--962, 295(1)279--294,
321(1)103--123, 324(2)137--146, 324(2)183--200, 324(2)219--251,
324(2)273--288, 325(3)467--478, 352(1)347--348
-
only, 319(1)367--384
-
Ono, Hirotaka, 289(2)977--995
-
Ono, Yoko, 326(1)117--135
-
Ono, Yoko, see Matsui, Tomomi
-
Ono:2002:LAD, 289(2)977--995
-
Oostdijk, Martijn, 272(1)293--314
-
Oostdijk:2002:PCC, 272(1)293--314
-
Oostrum, René van, 310(1)457--467, see Ahn, Hee-Kap
-
Opatrny, Jaroslav, 297(1)385--397
-
Opatrny:2003:UMH, 297(1)385--397
-
open, 275(1)215--258, 280(1)123--135, 280(1)163--192, 290(1)1057--1106,
313(3)539--543
-
operation, 235(2)219--223, 269(1)469--498, 270(1)701--738,
271(1)125--129, 279(1)3--27, 291(2)183--201, 305(1)457--471,
315(2)469--510, 316(1)105--111
-
operational, 233(1)1--18, 258(1)1--98, 275(1)521--560, 293(2)261--289,
297(1)157--181, 327(1)135--154
-
operations, bio-, 306(1)19--38, 320(1)51--69
-
operator, 250(1)247--264, 262(1)501--523, 269(1)419--431,
278(1)323--333, 279(1)3--27, 284(2)499--518, 299(1)603--631,
310(1)181--231, 316(1)25--47
-
Ophel, John, 275(1)215--258
-
Ophel, John, see Duggan, Dominic
-
opponent-model, 252(1)83--104
-
optical, 233(1)165--189, 297(1)385--397, 310(1)501--511, 314(1)293--301
-
optical, all-, 266(1)887--934, 287(2)429--448
-
optima, 310(1)181--231
-
optimal, 230(1)167--193, 231(1)59--74, 233(1)319--325, 255(1)263--279,
255(1)555--568, 255(1)697--697, 258(1)555--571, 259(1)129--143,
268(1)133--143, 270(1)877--893, 286(1)139--149, 288(1)181--193,
292(3)667--677, 296(3)511--534, 297(1)3--23, 297(1)103--117,
299(1)151--178, 299(1)537--584, 301(1)103--117, 302(1)35--44,
315(2)557--579, 318(3)297--322, 324(1)107--131, 326(1)343--362,
328(1)3--18
-
optimal, Contrast-, 240(2)471--485
-
optimal, near-, 329(1)285--301
-
optimality, 277(1)149--184
-
Optimistic, 291(1)79--101
-
optimization, 244(1)189--203, 250(1)101--124, 259(1)323--339,
263(1)191--204, 263(1)235--245, 265(1)3--67, 270(1)561--590,
285(1)3--24, 287(1)131--144, 289(1)553--571, 293(1)45--54,
297(1)183--198, 301(1)427--437, 315(1)61--81
-
optimizing, 296(3)453--471, 302(1)191--210
-
or, exclusive-, 241(1)37--50
-
orbit, 301(1)439--450
-
order, 231(1)59--74, 235(1)183--204, 255(1)697--697, 269(1)433--450,
275(1)111--125, 275(1)347--388, 281(1)471--498, 286(1)33--63,
304(1)249--268, 315(2)469--510, 323(1)267--320
-
order, first-, 247(1)191--212, 257(1)115--151, 266(1)543--567,
270(1)1--70, 281(1)177--206, 293(2)447--475, 308(1)227--237,
308(1)239--257
-
order, fixed-, 254(1)465--499
-
order, Higher-, 269(1)135--162
-
order, higher-, 234(1)1--57, 254(1)557--589, 266(1)1--57,
266(1)839--852, 278(1)271--301, 318(1)79--103
-
order, second-, 237(1)1--32, 244(1)63--94, 275(1)311--346,
281(1)177--206, 299(1)1--36, 308(1)227--237, 309(1)469--502,
325(2)329--344
-
order, Weak-, 304(1)249--268
-
Order-incompleteness, 309(1)43--63
-
ordered, 264(1)127--137, 289(1)205--223, 307(2)319--325, 312(2)401--431,
321(1)41--57
-
ordering, vertex-, 235(1)25--42
-
ordering, well-quasi-, 238(1)221--246
-
orderings, 297(1)103--117, 307(2)303--317, 310(1)247--271,
329(1)177--202
-
orderings, Better-quasi-, 309(1)111--123
-
orders, quasi-, 327(3)255--268
-
orders, Well-quasi-, 324(1)55--60
-
ordinal, 254(1)63--94
-
Orevkov, Vladimir, 303(1)245--260
-
Orevkov, Vladimir, see Soloviev, Sergei
-
Oriat, Catherine, 247(1)141--190
-
Oriat:2000:DEM, 247(1)141--190
-
orientation, 234(1)59--84, 240(2)487--494, 263(1)9--16
-
oriented, 263(1)17--29, 305(1)491--502
-
oriented, Object-, 239(1)41--95
-
oriented, object-, 269(1)363--417, 285(2)407--439,
285(2)519--560
-
original, 326(1)29--43
-
Orponen, Pekka, 306(1)353--372
-
Orponen, Pekka, see {\v{S}}{\'\i}ma, Ji{\v{r}}{\'\i}
-
orthogonal, 255(1)437--447, 266(1)737--772, 296(3)487--510,
299(1)151--178, 309(1)313--355
-
orthogonality, 294(1)183--231
-
Ortiz, Alejandro, López-, 261(2)267--295, 304(1)471--476,
310(1)287--307, 310(1)527--537, 321(2)405--414
-
Ortiz, Carmen, 297(1)145--155
-
Ortiz, Carmen, see Figueiredo, Celina M. H. de
-
Ostheimer, Gretchen, 320(2)175--185
-
Ostheimer, Gretchen, see Elston, G. Z. Gillian Z.
-
other, 235(1)25--42, 244(1)167--188, 268(1)43--66, 283(1)243--268,
286(2)367--475, 289(1)191--204, 290(1)863--936, 324(2)347--359,
329(1)315--323
-
Ott, Matthias, 244(1)135--165, 284(1)161--180
-
Ott:2000:SMG, 244(1)135--165
-
Ott:2002:ACT, 284(1)161--180
-
Otto, Friedrich, 240(2)337--378, 301(1)79--101
-
Otto, Friedrich, see Katsura, Masashi,
see Kobayashi, Yuji
-
Oussous, N. E., 273(1)271--282
-
Oussous, N. E., see Bigotte, M.
-
out-of, 310(1)379--392
-
outperform, 315(2)469--510, 320(1)135--153
-
overall, 279(1)3--27
-
overexpressions, 298(1)235--251
-
overview, 290(2)1115--1126
-
Ozawa, Masanao, 276(1)147--181
-
Ozawa, Masanao, see Nishimura, Harumichi
-
Ozeki, Michio, 235(2)283--308, 263(1)311--332
-
Ozeki:2000:CRC, 235(2)283--308
-
Ozeki:2001:CRP, 263(1)311--332