Index file section O for lncs1992.bib

Last update: Fri Mar 23 02:19:00 MDT 2018

Return to index directory

O

O'Boyle, M., 605(0)347--z
O'Brien, A., 603(0)1--z
O'Brien, A., see Looney, M. J.
O'Donnell, Michael J., 613(0)1--z
O'Donnell, Michael J., see Kurtz, Stuart A.
O'Hara, Scott, 642(0)268--z
O'Toole, J., 637(0)357--z
O'Toole, J., see Nettles, S.
OASIS, 593(0)348--z
Oberloer, W., 634(0)67--z
Oberloer, W., see Bauch, A.
obeyed, 606(0)1--z
object, 591(0)201--z, 592(0)102--z, 593(0)17--z, 593(0)164--z, 594(0)104--z, 594(0)186--z, 604(0)195--z, 604(0)505--z, 604(0)556--z, 604(0)690--z, 605(0)329--z, 611(0)148--z, 612(0)1--z, 612(0)195--z, 612(0)227--z, 612(0)257--z, 614(0)132--z, 618(0)78--z, 624(0)448--z, 628(0)5--34, 628(0)123--143, 628(0)144--162, 629(0)200--z, 635(0)150--z, 637(0)134--z, 637(0)148--z, 637(0)388--z, 637(0)404--z, 639(0)65--z, 645(0)280--z, 645(0)299--z, 646(0)357--z, 649(0)336--z, 650(0)198--z, 654(0)32--z, 654(0)54--z, 654(0)305--z
Object-Based, 605(0)953--z, 612(0)99--z, 612(0)245--z, 645(0)340--z
Object-Oriented, 593(0)1--z, 593(0)33--z, 593(0)105--z, 593(0)128--z, 593(0)147--z, 593(0)348--z, 598(0)102--z, 602(0)111--z, 603(0)20--z, 604(0)127--z, 604(0)401--z, 605(0)261--z, 611(0)37--z, 611(0)148--z, 612(0)53--z, 612(0)119--z, 612(0)211--z, 618(0)29--z, 618(0)42--z, 618(0)209--z, 634(0)769--z, 634(0)819--z, 640(0)270--z, 641(0)156--z, 641(0)236--z, 645(0)389--z, 645(0)406--z, 645(0)423--z, 646(0)341--z, 648(0)21--z, 648(0)193--z, 649(0)177--z
object-oriented, 582(0)257--282, 632(0)1--z
Objective, 593(0)1--z, 608(0)199--z, 627(0)137--z
ObjectMath, 641(0)312--z
OBJECTOR, 602(0)478--z
Objects, D-, 634(0)551--z
OBoyle:1992:NPT, 605(0)347--z
Observable, 627(0)39--z
observation, 626(0)278--z, 628(0)181--184, 630(0)47--z, 652(0)392--z
Observed, 629(0)401--z
Observer, 639(0)179--z
Obstacles, 650(0)5--z
OCCAM, 609(0)179--z, 634(0)791--z
Occupancy, 604(0)636--z
Occur-Check, 624(0)172--z, 631(0)69--z
occurrence, 644(0)109--z
Ochmanski, E., 629(0)412--z
Ochmanski:1992:MCS, 629(0)412--z
Octrees, 654(0)69--z
Oettli, M., 634(0)827--z
Oettli, M., see Arbenz, P.
oeuvre, 608(0)459--z
of-Support, Sets-, 624(0)238--z
Office, 597-0-viii, 610-0-xii
Offs, Trade-, 598(0)350--z
Offutt, A. Jefferson, 640(0)88--z
Offutt:1992:IRR, 640(0)88--z
Ogawa, M., 650(0)309--z
Ogawa:1992:CTR, 650(0)309--z
Ogi, T., 631(0)428--z
Ogi, T., see Lindstrom, G.
Ogiwara, M., 623(0)162--z
Ogiwara, M., see Arvind, V.
Ogura, A., 589(0)283--z
Ogura, A., see Kasahara, H.
Oguztuzun, H., 626(0)278--z
Oguztuzun:1992:FFO, 626(0)278--z
OHara:1992:MRP, 642(0)268--z
Ohashi, Kyoko, 624(0)501--z
Ohashi, Kyoko, see Sawamura, Hajime
Ohring, S., 634(0)783--z
Ohring:1992:DTE, 634(0)783--z
Ohsuga, A., 572(0)197--z
Ohsuga:1992:CEU, 572(0)197--z
OIKOS, 635(0)84--z
Okada, Y., 570(0)36--z
Okada:1992:GRS, 570(0)36--z
Okamoto, R., 602(0)542--z
Okamoto, T., 608(0)467--z
Okamoto, T., see Matsuda, N.
Okamoto:1992:ECC, 602(0)542--z
Okasaki, Chris, 640(0)23--z
Okasaki, Chris, see Garlan, David
OL, 623(0)65--z
Olariu, S., 634(0)181--z, 634(0)589--z
Olariu, S., see Lin, R.
Olariu:1992:EIC, 634(0)589--z
Old-Fashioned, 600(0)1--z
Olderog, E.-R., 623(0)641--z
Olderog:1992:IBL, 623(0)641--z
Oles, Frank J., 598(0)77--z
Oles, Frank J., see Mislove, Michael W.
Olive, A., 593(0)612--z
Olive, A., see Costal, D.
Oliveira, E., 604(0)361--z
Oliveira, E., see Ramos, C.
Olm, M., Muller-, 641(0)141--z
{O}log, 650(0)165--z
OM-bisimulation, 625(0)183--216
Oman, Paul, 640(0)417--z
Oman, Paul, see Junk, William
omega-automata, 626(0)367--z
omega-Herbrand, 620(0)358--z
Omega-Rule, 624(0)214--z
Omniscience, 633(0)52--z
On, E., Bar-, 608(0)372--z
On, I., Bar-, 634(0)349--z
On-Line, 634(0)653--z, 634(0)707--z, 646(0)407--z, 650(0)61--z, 650(0)78--z
Once, At-Most-, 630(0)317--z
one, 589(0)99--z, 607(0)663--z, 626(0)272--z, 650(0)459--z
One-Message, 623(0)28--z
One-Rule, 572(0)237--z, 629(0)511--z
One-State, 629(0)327--z
One-Way, 652(0)152--z
Oner, K., 605(0)211--z
Oner, K., see Dubois, M.
Ong, C.-H. L., 623(0)487--z
Ong:1992:LLC, 623(0)487--z
Online, 602(0)283--z
only, 589(0)99--z
Only, Read-, 652(0)380--z
Ontic, 607(0)552--z
onto, 622(0)59--z, 634(0)823--z, 654(0)1--z
Ontology, 627(0)289--z
Ontology-Driven, 627(0)5--z
Onyshkevych, B. A., 627(0)289--z
Onyshkevych:1992:LOT, 627(0)289--z
OO, 645(0)1--z
OODB, 631(0)487--z
OODBs, 646(0)326--z
Opdahl, A. L., 593(0)65--z
Opdahl:1992:FPE, 593(0)65--z
Open, 596(0)73--z, 602(0)198--z, 602(0)271--z, 614(0)94--z, 618(0)96--z, 624(0)448--z, 648(0)3--z
Operating, 614(0)132--z, 614(0)197--z, 618(0)138--z
operation, 605(0)893--z, 606(0)1--z, 611(0)9--z, 621(0)130--z, 627(0)39--z, 627(0)101--z, 644(0)118--z, 649(0)294--z
Operation-Triggered, 641(0)219--z
Operational, 592(0)27--z, 593(0)221--z, 598(0)54--z, 599(0)6--z, 599(0)55--z, 605(0)415--z, 630(0)302--z, 630(0)550--z
Operationalize, 599(0)37--z
Operationalizing, 604(0)143--z
Operator, 600(0)107--z, 600(0)124--z, 629(0)327--z
operators, 592(0)66--z, 605(0)397--z, 620(0)358--z, 620(0)459--z, 625(0)33--z, 654(0)87--z
OPIUM, 636(0)303--z
Opium, 624(0)472--z
Opportunistic, 605(0)651--z
Opportunities, 640(0)415--z, 653(0)331--z
Optic, 604(0)276--z
Optical, 605(0)231--z, 605(0)963--z, 634(0)405--z
optimal, 570(0)25--z, 570(0)148--z, 589(0)374--z, 601(0)91--z, 601(0)207--z, 605(0)115--z, 605(0)177--z, 621(0)62--z, 621(0)118--z, 623(0)296--z, 628(0)51--66, 634(0)613--z, 634(0)719--z, 634(0)799--z, 650(0)106--z, 652(0)92--z, 653(0)301--z, 654(0)100--z, 654(0)240--z
Optimal, Near-, 621(0)62--z
Optimality, 652(0)279--z
Optimally, 589(0)283--z
Optimisation, 605(0)279--z, 636(0)36--z
Optimised, 604(0)69--z
optimization, 589(0)137--z, 589(0)152--z, 589(0)359--z, 594(0)330--z, 597(0)97--110, 607(0)446--z, 620(0)221--z, 631(0)311--z, 634(0)91--z, 646(0)297--z, 649(0)120--z, 650(0)342--z, 653(0)339--z
Optimizing, 591(0)139--z, 646(0)155--z, 646(0)171--z
Optimum, 634(0)625--z, 652(0)380--z
Opto-Electronic, 605(0)963--z
Oquendo, F., 593(0)568--z, 635(0)215--z
Oquendo, F., see Arbaoui, S.
Oquendo:1992:MCE, 593(0)568--z
Or, And-, 605(0)617--z
Or-Bach, R., 608(0)372--z
Or-Bach:1992:WSB, 608(0)372--z
OR-Parallel, 592(0)415--z, 605(0)961--z, 624(0)226--z, 631(0)39--z, 634(0)725--z
Or-Parallel, 592(0)193--z
Or-Parallelism, 592(0)27--z
Oracle, 618(0)96--z, 620(0)470--z, 632(0)100--z, 652(0)116--z
Orca, 618(0)29--z
order, 592(0)391--z, 592(0)442--z, 601(0)32--z, 601(0)43--z, 613(0)58--z, 620(0)9--z, 620(0)382--z, 620(0)430--z, 621(0)62--z, 625(0)9--32, 625(0)183--216, 625(0)217--238, 626(0)68--z, 626(0)278--z, 629(0)463--z, 643(0)97--100, 643(0)107--109, 650(0)319--z
Order, First-, 607(0)370--z, 623(0)16--z, 639(0)1--z
order, first-, 632(0)69--z, 632(0)420--z
Order, Higher-, 596(0)135--z, 598(0)294--z, 607(0)79--z, 624(0)320--z, 631(0)326--z, 631(0)483--z
order, second-, 570(0)13--z
Order-Sorted, 607(0)193--z, 607(0)603--z, 620(0)314--z, 624(0)421--z, 633(0)319--z
order-sorted, 632(0)37--z
ordered, 606(0)1--z, 624(0)119--z, 633(0)304--z
Ordered, Well-Quasi-, 620(0)174--z
ordering, 570(0)148--z, 607(0)477--z, 620(0)221--z, 628(0)88--111
Ordinal, 620(0)117--z, 626(0)293--z
ordinary, 626(0)79--z
Organization, 611(0)116--z, 627(0)219--z, 628(0)1--4, 640(0)351--z
Organizational, 593(0)410--z, 611(0)79--z
Organized, 597(0)1--4
Organizing, Self-, 634(0)775--z, 654(0)32--z
Orientation, 594(0)148--z, 635(0)227--z, 639(0)162--z
orientation, capacity-, 625(0)217--238
oriented, 604(0)690--z, 605(0)329--z, 606(0)1--z, 624(0)357--z, 632(0)435--z
Oriented, Data-, 603(0)128--z
Oriented, Industry-, 640(0)63--z
oriented, Industry-, 640(0)65--z
Oriented, Object-, 593(0)1--z, 593(0)33--z, 593(0)105--z, 593(0)128--z, 593(0)147--z, 593(0)348--z, 598(0)102--z, 602(0)111--z, 603(0)20--z, 604(0)127--z, 604(0)401--z, 605(0)261--z, 611(0)37--z, 611(0)148--z, 612(0)53--z, 612(0)119--z, 612(0)211--z, 618(0)29--z, 618(0)42--z, 618(0)209--z, 634(0)769--z, 634(0)819--z, 640(0)270--z, 641(0)156--z, 641(0)236--z, 645(0)389--z, 645(0)406--z, 645(0)423--z, 646(0)341--z, 648(0)21--z, 648(0)193--z, 649(0)177--z
oriented, object-, 582(0)257--282, 632(0)1--z
Oriented, Subsumption-, 631(0)100--z
Oriented, Terminology-, 627(0)21--z
Orlowska, Ewa, 619(0)1--z
Orlowska:1992:AAR, 619(0)1--z
Ornaghi, Mario, 592(0)302--z
Ornaghi, Mario, see Miglioli, Pierangelo
Orponen, P., 629(0)50--z
Orponen:1992:NNC, 629(0)50--z
Orthoconvex, 650(0)188--z
Orthogonal, 607(0)603--z
Orthogonalization, 634(0)379--z
Ortmann, J., 604(0)585--z
Ortmann, J., see Becks, K.-H.
OSCAR, 589(0)283--z
Oscar, 612(0)257--z
Osmon, P., 593(0)494--z, 605(0)97--z
Osmon:1992:IID, 593(0)494--z
Osmon:1992:TPP, 605(0)97--z
Ostler, N., 627(0)87--z
Ostler:1992:PMS, 627(0)87--z
Ostroff, J. S., 600(0)573--z
Ostroff:1992:VSC, 600(0)573--z
other, 597-0-viii, 606(0)1--z, 627(0)87--z, 627(0)219--z, 650(0)175--z
others, see Evens, M.
Otsuki, S., 608(0)124--z
Otsuki, S., see Takeuchi, A.
Ottens, Arlet, 603(0)182--z
Ottens:1992:SMS, 603(0)182--z
Ottmann, Thomas, 594(0)148--z
Ottmann, Thomas, see Nilsson, Bengt J.
Otto, F., 629(0)511--z, 650(0)299--z
Otto, F., see Madlener, K., \see{Wrathall, C.
Ould-Khaoua, M., 634(0)837--z
Ould-Khaoua, M., see Mackenzie, L. M.
Out, Middle-, 607(0)310--z
Outline, 600(0)618--z, 632(0)1--z
output, 650(0)420--z
overhead, 589(0)344--z
Overloading, 607(0)193--z
Overview, 589(0)18--34, 596(0)163--z, 600(0)526--z, 607(0)721--z, 617(0)419--z, 627(0)61--z, 634(0)115--z, 637(0)454--z
Owens, Richard, 624(0)369--z
Owens, Richard, see Fischer, Michael
Owre, S., 607(0)748--z
Owre:1992:PPV, 607(0)748--z
Ozanne, C., 635(0)26--z
Ozanne, C., see Devarenne, A.