Index file section R for lncs1991.bib
Last update: Sun Jun 12 02:46:39  2016
              
Return to index directory
R
  - 
R, 548(0)206--z
 
  - 
Raasch, Ingo, 546(0)55--z
 
  - 
Raasch, Ingo,  see Dorre, Jochen
 
  - 
Rabin, Tal, 537(0)253--z
 
  - 
Rabin, Tal,  see Micali, Silvio
 
  - 
Rabinovich, Alexander, 526(0)176--z
 
  - 
Rabinovich:1991:NAM, 526(0)176--z
 
  - 
Race, 547(0)547--z
 
  - 
Rackoff, Charles, 576(0)433--z
 
  - 
Rackoff:1991:NIZ, 576(0)433--z
 
  - 
Rad,  Frank, Naeymi-, 507(0)70--z, 507(0)378--z
 
  - 
Radermacher, F. J., 525(0)35--z
 
  - 
Radermacher:1991:IME, 525(0)35--z
 
  - 
radical, 539(0)195--z
 
  - 
radio, 514(0)350--z
 
  - 
radiolabelled, 511(0)373--z
 
  - 
radius, 508(0)1--z, 514(0)51--z, 539(0)234--z
 
  - 
Raghavachari, B., 510(0)429--z
 
  - 
Raghavachari, B.,  see Furer, M.
 
  - 
Raghavachari, Balaji, 560(0)319--z
 
  - 
Raghavachari, Balaji,  see Furer, Martin
 
  - 
Raghavan, V. V., 542(0)102--z
 
  - 
Raghavan, V. V.,  see Bhatia, S. K.
 
  - 
Raghavan, Vijay V., 507(0)91--z
 
  - 
Raghavan, Vijay V.,  see Bhatia, Sanjiv K.
 
  - 
Raghunathan, Arvind, 557(0)32--z
 
  - 
Raghunathan:1991:SEB, 557(0)32--z
 
  - 
Ragot,  P., Roussel-, 496(0)231--z
 
  - 
Ragsdale, J. L., 499(0)168--z
 
  - 
Ragsdale, J. L.,  see Gutzmann, K. M.
 
  - 
Raimondo, M., 508(0)197--z, 508(0)208--z
 
  - 
Raimondo, M.,  see Alonso, M. E.
 
  - 
RAISE, 551(0)645--z, 551(0)689--z, 552(0)238--z
 
  - 
RAISE Tools Group, CRI, 551(0)689--z
 
  - 
Raja, Paruvachi V. R., 507(0)206--z
 
  - 
Raja:1991:NDT, 507(0)206--z
 
  - 
Rajala, S., 511(0)218--z
 
  - 
Rajala, S.,  see Snyder, W.
 
  - 
Rajasekar, A., 542(0)610--z
 
  - 
Rajasekar:1991:DLP, 542(0)610--z
 
  - 
Rajopadhye, S., 505(0)219--z
 
  - 
Rajopadhye, S.,  see Zhong, X.
 
  - 
RAM, 533(0)195--z
 
  - 
Ramachandran, Vijaya, 557(0)326--z
 
  - 
Ramachandran, Vijaya,  see Tsan-Sheng, Hsu
 
  - 
Ramakrishnan, Sub, 507(0)343--z
 
  - 
Ramakrishnan:1991:BPF, 507(0)343--z
 
  - 
Ramamritham, K., 571(0)193--z
 
  - 
Ramamritham, K.,  see Yodaiken, V.
 
  - 
Raman, R., 497(0)149--z
 
  - 
Raman, Rajeev, 560(0)336--z
 
  - 
Raman, Rajeev,  see Krizanc, Danny
 
  - 
Raman, S. Muthu, 506(0)403--z
 
  - 
Raman, S. Muthu,  see Beaumont, A.
 
  - 
Raman, V., 519(0)473--z
 
  - 
Raman, V.,  see Munro, J. I.
 
  - 
Raman, Venkatesh, 560(0)266--z
 
  - 
Raman, Venkatesh,  see Munro, J. Ian
 
  - 
Raman:1991:GRG, 497(0)149--z
 
  - 
Ramanujam, R., 560(0)71--z
 
  - 
Ramanujam, R.,  see Lodaya, Kamal
 
  - 
Ramaswami, R., 510(0)139--z
 
  - 
Ramaswami, R.,  see Ben-Asher, Y.
 
  - 
Ramer, A., 521(0)317--z
 
  - 
Ramer:1991:ITB, 521(0)317--z
 
  - 
Ramesh, H., 519(0)461--z
 
  - 
Ramesh, H.,  see Kapoor, S.
 
  - 
Ramos, C., 541(0)210--z
 
  - 
Ramos:1991:EAP, 541(0)210--z
 
  - 
Rampini, A., 511(0)434--z, 521(0)488--z
 
  - 
Rampini, A.,  see Binaghi, E.
 
  - 
Ramsey, 530(0)164--z, 533(0)308--z
 
  - 
Rana, S. P., 497(0)532--z
 
  - 
Rana:1991:EAQ, 497(0)532--z
 
  - 
Ranaivoson, Solomampionona, 533(0)318--z
 
  - 
Ranaivoson:1991:NLB, 533(0)318--z
 
  - 
Randelhoff, M. C., 499(0)279--z
 
  - 
Randelhoff, M. C.,  see Levy, D. C.
 
  - 
Randell, B., 563(0)72--z
 
  - 
Randell:1991:CP, 563(0)72--z
 
  - 
Randen, M., 511(0)501--z
 
  - 
Randen, M.,  see Gudmundsson, B.
 
  - 
Random, 497(0)149--z, 507(0)199--z, 510(0)186--z, 510(0)405--z, 
		537(0)409--z, 537(0)421--z, 537(0)625--z, 539(0)403--z, 
		547(0)168--z, 547(0)186--z, 548(0)282--z, 557(0)42--42, 
		576(0)141--z
 
  - 
random, Pseudo-, 576(0)300--z
 
  - 
Randomization, 576(0)420--z
 
  - 
Randomized, 528(0)195--z, 547(0)472--z, 557(0)219--z
 
  - 
Randomized, Strongly-, 473(0)361--z
 
  - 
Randomizers, 547(0)542--z
 
  - 
Randomizing, 560(0)10--z
 
  - 
Randomly, 547(0)552--z
 
  - 
Randomness, 533(0)234--z, 537(0)456--z
 
  - 
Randomness, Public-, 473(0)46--z
 
  - 
Rangan, C. Pandu, 519(0)41--z
 
  - 
Rangan, C. Pandu,  see Sundaram, R.
 
  - 
Rangan, Venkat, 560(0)360--z
 
  - 
Rangan, Venkat,  see Papadimitriou, Christos H.
 
  - 
Rangarajan, A., 511(0)121--z
 
  - 
Rangarajan, A.,  see Gindi, G.
 
  - 
range, 519(0)80--z, 542(0)560--z, 543(0)85--z
 
  - 
Ranjan, D., 510(0)381--z
 
  - 
Ranjan:1991:IKS, 510(0)381--z
 
  - 
rank, 507(0)286--z, 529(0)360--z
 
  - 
Ranking, 497(0)231--z, 497(0)288--z
 
  - 
Rannauro,  S. A., Delgado-, 506(0)421--z
 
  - 
Rannou, E., 539(0)281--z
 
  - 
Rannou, E.,  see Mostowski, T.
 
  - 
Rao, N. S. V., 542(0)338--z
 
  - 
Rao, N. S. V.,  see Glover, C. W.
 
  - 
Rao, Ramana, 512(0)251--z
 
  - 
Rao, T. R. N., 508(0)71--z, 537(0)34--z, 539(0)465--z
 
  - 
Rao, T. R. N.,  see Ahn, T. N., \see{Zeng, K., 
		 see Zeng, Kencheng
 
  - 
Rao, Vasant, 507(0)313--z
 
  - 
Rao, Vasant,  see Saab, Youssef
 
  - 
Rao:1991:IRS, 512(0)251--z
 
  - 
Ras, Z. W., 542(0)213--z
 
  - 
Ras:1991:MIS, 542(0)213--z
 
  - 
Rasse, A., 575(0)114--z
 
  - 
Rasse:1991:EDF, 575(0)114--z
 
  - 
Rate, 496(0)269--z, 537(0)242--z
 
  - 
rate, low-, 514(0)350--z
 
  - 
Ratel, C., 528(0)207--z
 
  - 
Ratel, C.,  see Halbwachs, N.
 
  - 
rational, 473(0)313--z, 508(0)249--z, 520(0)181--z, 527(0)18--z, 
		541(0)120--z, 550(0)60--z
 
  - 
Rationality, 543(0)13--z
 
  - 
Rattray, Chic, 536(0)167--z
 
  - 
Rattray, Chic,  see Budgen, David
 
  - 
Rauber, T., 528(0)195--z
 
  - 
Rauber, T.,  see Kebler, C. W.
 
  - 
Rauszer, Cecylia M., 533(0)340--z
 
  - 
Rauszer:1991:EMA, 533(0)340--z
 
  - 
Rauzy, A., 548(0)287--z
 
  - 
Rauzy:1991:KET, 548(0)287--z
 
  - 
Ravi, R., 510(0)751--z
 
  - 
Ravi, S. S., 519(0)355--z
 
  - 
Ravi:1991:FDP, 519(0)355--z
 
  - 
Ravi:1991:OPA, 510(0)751--z
 
  - 
Ravikumar, B., 510(0)629--z, 560(0)152--z
 
  - 
Ravikumar, B.,  see Tao, Jiang
 
  - 
Ravn, A. P., 571(0)21--z
 
  - 
Ravn, A. P.,  see Zhou, Chaochen
 
  - 
Ravotto, S., 549(0)228--z
 
  - 
Ravotto, S.,  see Botta, M.
 
  - 
Raw, 497(0)642--z
 
  - 
Rawlins, Gregory J. E., 553(0)277--z
 
  - 
Rawlins, Gregory J. E.,  see Schuierer, Sven
 
  - 
Ray, 510(0)661--z
 
  - 
Ray-shooting, 519(0)20--z
 
  - 
Rayleigh, 514(0)364--z, 539(0)477--z
 
  - 
Raymond, P., 528(0)207--z
 
  - 
Raymond, P.,  see Halbwachs, N.
 
  - 
Raynal, M., 497(0)599--z
 
  - 
Raynal:1991:DSR, 497(0)599--z
 
  - 
Razborov, A. A., 529(0)47--z
 
  - 
Razborov:1991:LBD, 529(0)47--z
 
  - 
RDBMS, 499(0)384--z
 
  - 
reachability, 524(0)205--z, 531(0)166--z
 
  - 
Reactions, 507(0)392--z
 
  - 
reactive, 496(0)356--z, 499(0)20--z, 522(0)13--z, 542(0)358--z
 
  - 
Reactor, 497(0)645--z
 
  - 
Read, 510(0)697--z, 560(0)307--z
 
  - 
real, 473(0)98--z, 505(0)6--z, 510(0)217--z, 510(0)556--z, 527(0)96--z, 
		527(0)376--z, 534(0)11--z, 536(0)233--z, 549(0)228--z, 571(0)473--z, 
		575(0)443--z
 
  - 
Real-Time, 497(0)547--z, 497(0)559--z, 497(0)588--z, 497(0)610--z, 
		499(0)37--z, 499(0)199--z, 499(0)384--z, 499(0)394--z, 499(0)404--z, 
		506(0)184--z, 507(0)336--z, 536(0)235--z, 550(0)122--z, 
		550(0)166--z, 550(0)189--z, 558(0)1--z, 563(0)87--z, 563(0)102--z, 
		563(0)109--z, 571(0)1--z, 571(0)33--z, 571(0)53--z, 571(0)87--z, 
		571(0)131--z, 571(0)149--z, 571(0)327--z, 571(0)341--z, 
		571(0)363--z, 571(0)375--z, 571(0)393--z, 571(0)411--z, 
		571(0)451--z, 571(0)547--z, 571(0)571--z, 575(0)399--z, 
		575(0)421--z
 
  - 
real-time, 507(0)220--z, 510(0)115--z, 520(0)298--z
 
  - 
Real-Timed, 571(0)529--z
 
  - 
Real-Valued, 508(0)113--z
 
  - 
Realistic, 533(0)195--z
 
  - 
Reality, 571(0)429--z
 
  - 
Realizability, 526(0)38--z
 
  - 
Really, 567(0)383--z
 
  - 
Reaping, 497(0)33--z
 
  - 
Reason, 521(0)403--z, 551(0)324--z
 
  - 
reasoning, 497(0)675--z, 497(0)699--z, 497(0)733--z, 516(0)156--z, 
		520(0)357--z, 521(0)76--z, 521(0)223--z, 521(0)239--z, 521(0)279--z, 
		521(0)360--z, 521(0)377--z, 523(0)328--z, 525(0)143--z, 
		525(0)161--z, 531(0)136--z, 535(0)19--z, 535(0)214--z, 541(0)180--z, 
		542(0)203--z, 542(0)450--z, 542(0)540--z, 542(0)560--z, 543(0)38--z, 
		543(0)138--z, 548(0)81--z, 548(0)125--z, 548(0)141--z, 548(0)176--z, 
		548(0)190--z, 548(0)227--z, 548(0)232--z, 548(0)267--z, 
		548(0)277--z, 548(0)333--z, 548(0)352--z, 549(0)18--z, 549(0)137--z, 
		549(0)157--z, 549(0)430--z, 549(0)470--z, 551(0)343--z, 
		551(0)371--z, 553(0)141--z, 560(0)71--z, 567(0)171--z, 567(0)221--z, 
		567(0)336--z, 567(0)417--z
 
  - 
Recasens, J., 521(0)479--z
 
  - 
Recasens, J.,  see Jacas, J.
 
  - 
Recasting, 555(0)283--z
 
  - 
Recent, 507(0)300--z, 509(0)258--z, 529(0)86--z, 539(0)246--z
 
  - 
reciprocal, 507(0)271--z
 
  - 
recognition, 496(0)292--z, 497(0)395--z, 507(0)51--z, 511(0)358--z, 
		511(0)444--z, 542(0)338--z, 553(0)113--z
 
  - 
Recognizability, 529(0)136--z
 
  - 
recognizable, 520(0)131--z, 520(0)367--z
 
  - 
Recognize, 510(0)174--z, 553(0)289--z, 557(0)316--z
 
  - 
Recognizing, 507(0)105--z, 532(0)538--z, 532(0)676--z
 
  - 
Recombination, 507(0)399--z
 
  - 
Recomposition, 528(0)427--z
 
  - 
Reconfigurable, 499(0)279--z, 506(0)385--z
 
  - 
Reconfiguration, 510(0)139--z
 
  - 
Reconstruct, 497(0)484--z
 
  - 
reconstruction, 496(0)242--z, 507(0)213--z, 511(0)55--z, 511(0)65--z, 
		511(0)81--z, 511(0)94--z, 511(0)121--z, 519(0)141--z, 529(0)318--z, 
		549(0)302--z
 
  - 
recording, dependency-, 549(0)187--z
 
  - 
Recovery, 473(0)465--z, 503(0)229--z, 503(0)345--z
 
  - 
Recovery, Transient-, 571(0)237--z
 
  - 
rectangle, 496(0)160--z, 553(0)13--z
 
  - 
Rectangular, 557(0)364--z
 
  - 
Rectilinear, 507(0)329--z, 519(0)249--z, 519(0)320--z, 553(0)203--z
 
  - 
Recurrence, 505(0)191--z, 505(0)236--z, 510(0)20--z
 
  - 
Recursion, 526(0)447--z, 530(0)151--z, 551(0)268--z
 
  - 
recursions, 542(0)132--z, 547(0)200--z
 
  - 
Recursive, 497(0)252--z, 502(0)77--z, 502(0)111--z, 504(0)271--z, 
		504(0)311--z, 505(0)101--z, 510(0)303--z, 522(0)53--z, 526(0)38--z, 
		528(0)323--z, 532(0)113--z, 537(0)564--z
 
  - 
Red'ko, V. N., 504(0)437--z
 
  - 
Red-Black, 497(0)117--z
 
  - 
Reddy, Uday S., 516(0)2--z, 523(0)192--z
 
  - 
Reddy, Uday S.,  see Bronsard, Francois, 
		 see Swarup, Vipin
 
  - 
Redko:1991:APA, 504(0)437--z
 
  - 
REDOC, 537(0)545--z
 
  - 
REDOC-II, 576(0)156--z
 
  - 
Reduce, 531(0)166--z
 
  - 
reduced, 483(0)491--z, 527(0)526--z, 567(0)271--z
 
  - 
Reducibility, 533(0)234--z
 
  - 
Reducible, Graph-, 532(0)622--z
 
  - 
reducing, 567(0)279--z, 575(0)277--z
 
  - 
reduction, 505(0)119--z, 506(0)454--z, 510(0)291--z, 511(0)23--z, 
		516(0)307--z, 526(0)731--z, 527(0)361--z, 528(0)99--z, 529(0)68--z, 
		529(0)275--z, 532(0)70--z, 533(0)17--z, 560(0)10--z
 
  - 
redundancy, 514(0)309--z, 532(0)190--z
 
  - 
Redundant, 496(0)60--z, 496(0)70--z
 
  - 
Reed--Muller, 514(0)42--z, 539(0)234--z
 
  - 
Reed--Solomon, 514(0)21--z, 514(0)385--z
 
  - 
reentrant, 524(0)58--z
 
  - 
Reevaluation, 545(0)507--z
 
  - 
reference, 505(0)150--z
 
  - 
Refineable, 571(0)529--z
 
  - 
refinement, 483(0)1--z, 506(0)128--z, 506(0)148--z, 510(0)506--z, 
		520(0)121--z, 527(0)298--z, 531(0)312--z, 551(0)496--z, 552(0)79--z, 
		560(0)25--z, 560(0)89--z
 
  - 
reflection, 512(0)251--z
 
  - 
Reflective, 512(0)231--z
 
  - 
Regarding, 565(0)457--z
 
  - 
Reggio, G., 520(0)103--z, 534(0)246--z
 
  - 
Reggio, G.,  see Costa, G.
 
  - 
Reggio:1991:EID, 534(0)246--z
 
  - 
Reghizzi,  S., Crespi-, 529(0)146--z, 571(0)131--z
 
  - 
Reghizzi, Stefano Crespi, 512(0)148--166
 
  - 
Reghizzi:1991:DRC, 512(0)148--166
 
  - 
region, 548(0)182--z
 
  - 
Register, 473(0)487--z, 528(0)195--z, 531(0)76--z
 
  - 
registered, 511(0)121--z
 
  - 
registration, 511(0)132--z, 511(0)142--z, 511(0)154--z, 511(0)165--z
 
  - 
Regnier, Pierre, 522(0)100--z
 
  - 
Regnier:1991:CDP, 522(0)100--z
 
  - 
Regression, 507(0)105--z
 
  - 
regular, 483(0)186--z, 508(0)164--z, 508(0)180--z, 510(0)641--z, 
		520(0)249--z, 523(0)427--z, 531(0)253--z, 553(0)27--z, 575(0)410--z, 
		575(0)443--z
 
  - 
regular, lambda-, 514(0)114--z
 
  - 
Regularity, 510(0)566--z, 529(0)287--z
 
  - 
regularization, 511(0)55--z
 
  - 
Regulated, 521(0)413--z
 
  - 
Regulation, 521(0)498--z
 
  - 
Reich, Gabriele, 553(0)103--z
 
  - 
Reich, Gabriele,  see Ihler, Edmund
 
  - 
Reichel, H., 534(0)266--z
 
  - 
Reichel:1991:CAC, 534(0)266--z
 
  - 
Reichgelt, Han, 522(0)13--z
 
  - 
Reichgelt, Han,  see Downs, Joseph
 
  - 
Reification, VDM-, 551(0)406--z
 
  - 
Reinfrank, M., 548(0)206--z
 
  - 
Reinfrank, M.,  see Hellendoorn, H.
 
  - 
Reinhardt, K., 510(0)229--z
 
  - 
Reinhardt, K.,  see Diekert, V.
 
  - 
Reischuk, R., 529(0)61--z
 
  - 
Reischuk:1991:GTM, 529(0)61--z
 
  - 
Reisig, W., 524(0)317--z
 
  - 
Reisig, W.,  see Plunnecke, H.
 
  - 
Reithinger, N., 549(0)108--z
 
  - 
Reithinger, N.,  see Jansen-Winkeln, R. M.
 
  - 
Relabelling, 532(0)549--z
 
  - 
related, 514(0)42--z, 519(0)105--z, 537(0)530--z, 539(0)39--z, 
		546(0)490--z, 551(0)45--z
 
  - 
Relating, 527(0)424--z, 530(0)197--z
 
  - 
relation, 510(0)127--z, 521(0)154--z, 525(0)143--z, 531(0)204--z, 
		531(0)302--z, 535(0)72--z, 542(0)630--z, 543(0)1--z, 547(0)352--z, 
		548(0)161--z, 548(0)254--z, 550(0)332--z, 566(0)503--z, 
		575(0)255--z
 
  - 
relational, 497(0)264--z, 498(0)98--z, 498(0)393--z, 503(0)24--z, 
		503(0)149--z, 521(0)173--z, 521(0)431--z, 532(0)238--z, 
		532(0)582--z, 535(0)33--z, 542(0)172--z, 554(0)1--z, 566(0)460--z
 
  - 
Relationship, 497(0)111--z, 498(0)561--z, 509(0)53--z, 548(0)48--z
 
  - 
Relationship, Entity-, 504(0)161--z, 532(0)344--z, 
		548(0)338--z
 
  - 
relationships, 497(0)24--z, 542(0)183--z, 542(0)316--z
 
  - 
relative, 542(0)16--z
 
  - 
Relativised, 560(0)172--z
 
  - 
Relativity, 521(0)286--z
 
  - 
Release, 563(0)56--z
 
  - 
Relewicz, C., 524(0)188--z
 
  - 
Relewicz, C.,  see Itter, F.
 
  - 
Reliability, 497(0)547--z, 521(0)115--z, 548(0)125--z, 571(0)271--z
 
  - 
reliable, 520(0)259--z, 571(0)193--z
 
  - 
Remaindering, 508(0)155--z
 
  - 
remark, 473(0)441--z, 473(0)493--z, 514(0)215--z, 565(0)137--z
 
  - 
Remkes, D. L., 499(0)168--z
 
  - 
Remkes, D. L.,  see Gutzmann, K. M.
 
  - 
Remote, 497(0)571--z
 
  - 
Remotely, 525(0)63--z
 
  - 
Removal, 541(0)105--z
 
  - 
Remy, Jean-Luc, 516(0)272--z
 
  - 
Remy, Jean-Luc,  see Bousdira, Wadoud
 
  - 
renal, 511(0)386--z
 
  - 
rendering, 511(0)486--z
 
  - 
Rendezvous, 506(0)27--z
 
  - 
Rendon,  M., Valenzuela-, 496(0)338--z
 
  - 
Reorda, M. Sonza, 531(0)86--z
 
  - 
Reorda, M. Sonza,  see Camurati, Paolo
 
  - 
Reorganisation, 529(0)405--z
 
  - 
Repair, 541(0)222--z, 576(0)338--z
 
  - 
Repeated, 547(0)168--z
 
  - 
Replaceable, 550(0)210--z
 
  - 
Replaced, 526(0)771--z
 
  - 
Replacement, 532(0)1--z, 532(0)269--z, 532(0)461--z, 532(0)520--z, 
		532(0)676--z
 
  - 
report, 507(0)426--z, 547(0)547--z, 548(0)190--z, 551(0)588--z, 
		551(0)681--z
 
  - 
Reporting, 497(0)323--z
 
  - 
Repository, 509(0)53--z, 509(0)114--z, 563(0)2--z, 563(0)20--z
 
  - 
representation, 496(0)259--z, 498(0)5--z, 507(0)192--z, 512(0)288--z, 
		516(0)100--z, 521(0)86--z, 521(0)115--z, 526(0)365--z, 535(0)200--z, 
		541(0)165--z, 542(0)183--z, 542(0)193--z, 542(0)236--z, 
		542(0)246--z, 542(0)469--z, 546(0)243--z, 546(0)357--z, 
		546(0)645--z, 548(0)282--z, 549(0)167--z, 549(0)332--z, 
		549(0)375--z, 549(0)425--z, 549(0)460--z, 553(0)161--z, 
		553(0)249--z, 565(0)243--z, 565(0)274--z, 566(0)391--z, 567(0)67--z, 
		571(0)591--z
 
  - 
Representational, 525(0)161--z
 
  - 
Representing, 498(0)540--z, 519(0)273--z, 522(0)64--z, 546(0)127--z, 
		546(0)313--z, 546(0)632--z, 548(0)63--z
 
  - 
Requirement, 498(0)5--z, 498(0)31--z, 498(0)50--z, 509(0)178--z, 
		525(0)225--z, 550(0)485--z, 550(0)489--z, 550(0)492--z, 
		550(0)495--z, 571(0)171--z, 571(0)341--z
 
  - 
Research, 497(0)24--z, 521(0)520--z, 525(0)471--z, 546(0)490--z, 
		548(0)206--z, 550(0)472--z, 550(0)495--z, 550(0)499--z, 563(0)2--z, 
		563(0)77--z
 
  - 
Reservation, 563(0)279--z
 
  - 
residue, 473(0)189--z, 473(0)374--z, 514(0)222--z
 
  - 
resolution, 502(0)33--z, 510(0)151--z, 515(0)107--z, 516(0)181--z, 
		523(0)1--z, 533(0)128--z, 542(0)316--z, 542(0)570--z, 542(0)620--z, 
		549(0)238--z, 567(0)237--z, 568(0)1--z
 
  - 
resolution, multi-, 511(0)165--z
 
  - 
Resolution, S-SLD-, 528(0)383--z
 
  - 
Resolution, Variable-, 497(0)721--z
 
  - 
resonance, 511(0)218--z
 
  - 
Resource, 473(0)11--z, 497(0)599--z, 497(0)610--z, 498(0)141--z, 
		504(0)363--z, 531(0)292--z, 533(0)156--z, 563(0)279--z, 
		566(0)546--z
 
  - 
Respect, 527(0)424--z
 
  - 
respectable, 535(0)19--z
 
  - 
respecting, 483(0)165--z
 
  - 
Response, 557(0)284--z
 
  - 
Response-Time, 496(0)254--z
 
  - 
Response-Trellis, 539(0)434--z
 
  - 
Rest, 546(0)439--z
 
  - 
Restraining, 548(0)318--z
 
  - 
Restraints, 533(0)234--z
 
  - 
Restricted, 507(0)322--z, 516(0)181--z, 519(0)54--z, 519(0)367--z, 
		568(0)1--z
 
  - 
Restriction, 546(0)297--z
 
  - 
Restructuring, 497(0)462--z, 504(0)443--z
 
  - 
result, 496(0)338--z, 497(0)102--z, 499(0)260--z, 510(0)229--z, 
		520(0)221--z, 529(0)86--z, 530(0)219--z, 532(0)688--z, 539(0)246--z, 
		539(0)259--z, 539(0)292--z, 551(0)588--z, 575(0)343--z, 
		576(0)301--213
 
  - 
Resultants, 529(0)180--z
 
  - 
RETE, 532(0)174--z
 
  - 
Retriangulating, 557(0)150--z
 
  - 
retrieval, 497(0)288--z, 525(0)23--z, 542(0)102--z, 542(0)266--z, 
		542(0)348--z, 549(0)312--z
 
  - 
Retrieving, 505(0)338--z
 
  - 
Reusability, 544(0)35--z
 
  - 
Reusable, 499(0)338--z, 512(0)148--166
 
  - 
Reuse, 499(0)304--z, 499(0)326--z, 512(0)325--z, 544(0)49--z
 
  - 
Reusing, 498(0)50--z
 
  - 
Reverse, 544(0)79--z
 
  - 
Reversibility, 547(0)106--z
 
  - 
Revision, 515(0)71--z, 515(0)87--z, 515(0)155--z, 521(0)232--z, 
		548(0)272--z
 
  - 
revisited, 497(0)219--z, 506(0)295--z, 516(0)401--z, 521(0)286--z, 
		533(0)389--z, 542(0)550--z, 557(0)283--z
 
  - 
rewrite, 516(0)92--z, 516(0)143--z, 516(0)320--z, 516(0)333--z, 
		516(0)407--z, 520(0)17--z
 
  - 
REwriting, 532(0)67--z
 
  - 
rewriting, 502(0)253--z, 506(0)367--z, 516(0)2--z, 516(0)26--z, 
		516(0)64--z, 516(0)115--z, 516(0)127--z, 516(0)137--z, 516(0)246--z, 
		516(0)262--z, 516(0)295--z, 516(0)307--z, 516(0)320--z, 
		516(0)354--z, 520(0)231--z, 530(0)236--z, 532(0)12--z, 532(0)378--z, 
		532(0)490--z, 532(0)622--z, 534(0)204--z, 567(0)344--z, 
		575(0)277--z
 
  - 
rewriting, Handle-, 532(0)253--z
 
  - 
Rewriting, String-, 510(0)279--z, 539(0)292--z
 
  - 
Reynolds, John C., 526(0)675--z
 
  - 
Reynolds, T. J., 569(0)29--z
 
  - 
Reynolds, T. J.,  see Kefalas, P.
 
  - 
Reynolds:1991:CLI, 526(0)675--z
 
  - 
Rhode,  M., GroBe-, 534(0)98--z
 
  - 
Rhodes, P. C., 548(0)292--z
 
  - 
Rhodes:1991:UME, 548(0)292--z
 
  - 
Ribeiro, C., 541(0)180--z, 567(0)171--z
 
  - 
Ribeiro:1991:MIA, 541(0)180--z
 
  - 
Ribeiro:1991:RMT, 567(0)171--z
 
  - 
Riccobene, E., 567(0)191--z
 
  - 
Riccobene, E.,  see Borger, E.
 
  - 
Richard, J.-F., 521(0)548--z
 
  - 
Richard, J.-F.,  see Cerf, M.
 
  - 
Richard, M., 571(0)429--z
 
  - 
Richard, P., 504(0)228--z
 
  - 
Richard, P.,  see Atkinson, M.
 
  - 
Richard:1991:ACA, 571(0)429--z
 
  - 
Richards, B., 542(0)226--z
 
  - 
Richards, D. S., 496(0)134--z
 
  - 
Richards, D. S.,  see Cohoon, J. P.
 
  - 
Richards, Phil G., 507(0)242--z
 
  - 
Richards:1991:IBT, 542(0)226--z
 
  - 
Richards:1991:SLD, 507(0)242--z
 
  - 
Richardson, William E., 536(0)205--z
 
  - 
Richardson, William E.,  see Northrop, Linda M.
 
  - 
Richter, M. M., 567(0)383--z
 
  - 
Richter, M. M.,  see Boley, H.
 
  - 
Rickheit, Mechthild, 546(0)143--z
 
  - 
Rickheit:1991:SIL, 546(0)143--z
 
  - 
Riedewald, Gunter, 545(0)401--z
 
  - 
Riedewald:1991:PUA, 545(0)401--z
 
  - 
Riedl, Thomas R., 536(0)261--z, 536(0)271--z, 536(0)283--z
 
  - 
Riedl, Thomas R.,  see Freeman, Jared T., 
		 see Weitzenfeld, Julian S.
 
  - 
Riedl:1991:WWL, 536(0)261--z
 
  - 
Rieger, B. B., 565(0)243--z
 
  - 
Rieger:1991:DSR, 565(0)243--z
 
  - 
Riekert, W.-F., 567(0)214--z
 
  - 
Riekert:1991:PDA, 567(0)214--z
 
  - 
Rifa, J., 539(0)352--z, 539(0)360--z
 
  - 
Rifa:1991:CTC, 539(0)360--z
 
  - 
Rifa:1991:ITC, 539(0)352--z
 
  - 
RIGAL, 502(0)529--z
 
  - 
right, 550(0)485--z
 
  - 
Rigid, 565(0)326--z
 
  - 
rigid, Non-, 511(0)343--z
 
  - 
ring, 473(0)189--z, 483(0)287--z, 514(0)222--z, 514(0)271--z, 
		519(0)481--z, 535(0)59--z, 539(0)171--z, 539(0)195--z, 547(0)482--z, 
		576(0)252--266
 
  - 
{RIPE}, 547(0)547--z
 
  - 
RISC, 563(0)48--z
 
  - 
Risch, V., 548(0)310--z
 
  - 
Risch, V.,  see Schwind, C. B.
 
  - 
Rischel, H., 571(0)21--z
 
  - 
Rischel, H.,  see Zhou, Chaochen
 
  - 
Risky, 548(0)130--z
 
  - 
Risler, J.-J., 539(0)368--z
 
  - 
Risler:1991:PCP, 539(0)368--z
 
  - 
Rist, T., 549(0)2--z
 
  - 
Rist, T.,  see Wahlster, W.
 
  - 
Ristori, G., 575(0)37--z
 
  - 
Ristori, G.,  see De Nicola, R.
 
  - 
Ritchie, B., 551(0)371--z
 
  - 
Ritchie, B.,  see Bicarregui, J. C.
 
  - 
Rival, I., 497(0)161--z
 
  - 
Rival:1991:LEB, 497(0)161--z
 
  - 
Rivest, Ronald L., 537(0)303--311, 537(0)625--z
 
  - 
Rivest:1991:FFM, 537(0)625--z
 
  - 
Rivest:1991:MMD, 537(0)303--311
 
  - 
Rivoira, S., 521(0)232--z
 
  - 
Rivoira, S.,  see Bernasconi, C.
 
  - 
Rivora, S., 549(0)430--z
 
  - 
Rivora, S.,  see Fringuelli, B.
 
  - 
Rizki, Mateen M., 507(0)385--z, 507(0)399--z
 
  - 
Rizki:1991:BEP, 507(0)385--z
 
  - 
Rizki:1991:MRE, 507(0)399--z
 
  - 
Rizvic, S., 549(0)410--z
 
  - 
Rizvic, S.,  see Kantardzic, M.
 
  - 
RLucid, 571(0)363--z
 
  - 
RM, 514(0)51--z
 
  - 
RMS, 497(0)733--z
 
  - 
RNC, 519(0)273--z
 
  - 
RNS, 507(0)206--z
 
  - 
Roadmaps, 539(0)94--z
 
  - 
Robbiano, L., 508(0)292--z
 
  - 
Robbiano:1991:BDN, 508(0)292--z
 
  - 
Roberto, V., 549(0)475--z
 
  - 
Roberto:1991:DIU, 549(0)475--z
 
  - 
Robertson, D., 548(0)141--z
 
  - 
Robertson, D.,  see Correa da Silva, F. S.
 
  - 
Robinson, D., 550(0)504--z
 
  - 
Robinson, G. P., 511(0)256--z
 
  - 
Robinson, G. P.,  see Griffin, L. D.
 
  - 
Robinson, Ian, 507(0)293--z
 
  - 
Robinson, Ian,  see Carino, Ricolindo
 
  - 
Robinson, K. A., 531(0)312--z
 
  - 
Robinson, K. A.,  see Carrington, David A.
 
  - 
Robinson:1991:CSL, 550(0)504--z
 
  - 
robot, 496(0)356--z, 496(0)381--z, 507(0)227--z, 549(0)342--z
 
  - 
Robotic, 522(0)1--z
 
  - 
Robson, J. M., 533(0)195--z
 
  - 
Robson, J. M.,  see Grandjean, Etienne
 
  - 
Robust, 533(0)195--z
 
  - 
Robustly, 537(0)313--z
 
  - 
Robustness, 553(0)85--z
 
  - 
Rocca,  S. Ronchi, della, 520(0)161--z
 
  - 
Rocca,  Simona Ronchi, Della, 526(0)18--z
 
  - 
Rocha,  A. F., da, 521(0)578--z
 
  - 
Rodella, E., 529(0)126--z
 
  - 
Rodella, E.,  see Barcucci, E.
 
  - 
Rodier, F., 514(0)60--z, 539(0)384--z
 
  - 
Rodier:1991:WDB, 514(0)60--z
 
  - 
Rodier:1991:WED, 539(0)384--z
 
  - 
Rodosek, Robert, 522(0)64--z
 
  - 
Rodosek, Robert,  see Gobel, Richard
 
  - 
Rodriguez, C., 510(0)76--z
 
  - 
Rodriguez, C.,  see Bouajjani, A.
 
  - 
Rodriguez, R. V., 521(0)286--z
 
  - 
Rodriguez, R. V.,  see Anger, F. D.
 
  - 
Roelants, D., 504(0)251--z
 
  - 
Roelants, D.,  see Pirotte, A.
 
  - 
Roelofsen, G., 547(0)547--z
 
  - 
Roelofsen, G.,  see Preneel, Bart
 
  - 
Rogaway, Phillip, 537(0)62--z, 576(0)392--z
 
  - 
Rogaway, Phillip,  see Beaver, Donald, 
		 see Micali, Silvio
 
  - 
Rogers, Jean B., 536(0)129--z
 
  - 
Rogers, Jean B.,  see Barnes, Bruce H.
 
  - 
Rogova, O., 504(0)440--z
 
  - 
Rogova, O.,  see Zinovjev, E.
 
  - 
Rohatgi, P., 510(0)381--z
 
  - 
Rohatgi, P.,  see Ranjan, D.
 
  - 
Roijakkers, Sandra, 537(0)206--z
 
  - 
Roijakkers, Sandra,  see Chaum, David
 
  - 
Role, 521(0)548--z, 525(0)183--z, 526(0)311--z, 555(0)91--z, 
		563(0)279--z
 
  - 
roles, 496(0)38--z, 542(0)38--z, 542(0)630--z
 
  - 
Rolland, C., 498(0)31--z
 
  - 
Rolland, C.,  see Cauvet, C.
 
  - 
Rolland, J., 511(0)458--z
 
  - 
Rolland, J.,  see Barrett, H. H.
 
  - 
Rollinger, Claus-Rainer, 546(0)3--z
 
  - 
Rollinger:1991:IL, 546(0)3--z
 
  - 
Romeny, B. M. ter Haar, 511(0)239--z
 
  - 
Romeny:1991:SSN, 511(0)239--z
 
  - 
Rooij, Peter de, 547(0)71--z
 
  - 
Roos, N., 521(0)403--z
 
  - 
Roos, Thomas, 553(0)227--z
 
  - 
Roos, Y., 520(0)406--z
 
  - 
Roos:1991:CTS, 520(0)406--z
 
  - 
Roos:1991:DVD, 553(0)227--z
 
  - 
Roos:1991:HRU, 521(0)403--z
 
  - 
root, 557(0)12--z, 557(0)241--z
 
  - 
Rooted, 532(0)538--z
 
  - 
ROSE-Ada, 499(0)304--z
 
  - 
Rosen, J. B., 497(0)471--z
 
  - 
Rosen:1991:SDA, 497(0)471--z
 
  - 
Rosenbaum, Ute, 473(0)294--z
 
  - 
Rosenbaum, Ute,  see Beutelspacher, Albrecht
 
  - 
Rosenfeld, A., 532(0)637--z
 
  - 
Rosenfeld:1991:NGD, 532(0)637--z
 
  - 
Rosenkrantz, D. J., 519(0)141--z, 519(0)355--z
 
  - 
Rosenkrantz, D. J.,  see Ravi, S. S., 
		 see Yu, L.
 
  - 
Rosenthal, E., 542(0)570--z
 
  - 
Rosenthal, E.,  see Murray, N. V.
 
  - 
Rosenzweig, Dean, 533(0)31--z
 
  - 
Rosenzweig, Dean,  see Borger, Egon
 
  - 
Rosier, L. E., 520(0)202--z
 
  - 
Rosier, L. E.,  see Howell, R. R.
 
  - 
Rossi, F., 532(0)221--z, 539(0)390--z
 
  - 
Rossi, F.,  see Corradini, A.
 
  - 
Rossi, P., 498(0)79--z
 
  - 
Rossi, P.,  see Ahlsen, M.
 
  - 
Rossi:1991:COS, 539(0)390--z
 
  - 
Rossig, Stephan, 551(0)149--z
 
  - 
Rossig:1991:SSD, 551(0)149--z
 
  - 
Rosskopf, A., 499(0)338--z
 
  - 
Rosskopf:1991:RIO, 499(0)338--z
 
  - 
Rossmanith, P., 529(0)168--z
 
  - 
Rossmanith, P.,  see Buntrock, G.
 
  - 
Rossmanith, Peter, 560(0)307--z
 
  - 
Rossmanith, Peter,  see Niepel, Inga
 
  - 
Rotger,  L., Huguet-, 514(0)227--z
 
  - 
Rotillon, D., 514(0)135--z
 
  - 
Rotillon:1991:DCK, 514(0)135--z
 
  - 
Rott, Hans, 543(0)233--z
 
  - 
Rott, Hans,  see Morreau, Michael
 
  - 
round, one-, 576(0)213--224
 
  - 
Rounds, 533(0)261--z, 547(0)96--z, 576(0)194--z, 576(0)194--z--1
 
  - 
Roussel-Ragot, P., 496(0)231--z
 
  - 
Roussel-Ragot:1991:EFP, 496(0)231--z
 
  - 
Routes, 519(0)367--z, 557(0)163--z
 
  - 
Routing, 497(0)360--z, 497(0)418--z, 505(0)390--z, 557(0)72--z, 
		557(0)83--z, 557(0)294--z
 
  - 
Routing, Channel-, 507(0)322--z
 
  - 
Roux, O., 550(0)147--z, 571(0)429--z
 
  - 
Roux, O.,  see Creusot, D., \see{Richard, M.
 
  - 
Rover, Diane, 507(0)412--z
 
  - 
Rover, Diane,  see Vogel, Gretchen
 
  - 
Rover, Diane T., 507(0)154--z
 
  - 
Rover:1991:VPP, 507(0)154--z
 
  - 
Roverso, D., 549(0)238--z
 
  - 
Roverso, D.,  see Giordana, A.
 
  - 
Rovick, Allen A., 507(0)77--z
 
  - 
Rovick, Allen A.,  see Yoon, Hee Lee
 
  - 
Roy, M.-F., 508(0)11--z, 508(0)180--z
 
  - 
Roy, M.-F.,  see Heintz, J.
 
  - 
Roy, Valerie, 531(0)65--z
 
  - 
Roy:1991:AA, 531(0)65--z
 
  - 
Rozenberg, G., 532(0)12--z, 532(0)253--z, 532(0)446--z, 555(0)268--z
 
  - 
Rozenberg, G.,  see Courcelle, B., 
		 see Engelfriet, J., \see{Janssens, D.
 
  - 
Rozenberg:1991:LS, 555(0)268--z
 
  - 
Rozman, I., 550(0)332--z
 
  - 
Rozman:1991:RBS, 550(0)332--z
 
  - 
RSA, 473(0)83--z, 473(0)245--z, 537(0)140--z, 547(0)294--z
 
  - 
RTL, 531(0)116--z, 571(0)73--z, 571(0)393--z
 
  - 
Rubin, Stuart H., 507(0)41--z
 
  - 
Rubin:1991:HBL, 507(0)41--z
 
  - 
Rubinfeld, Ronitt, 576(0)225--231
 
  - 
Rubinfeld, Ronitt,  see Kilian, Joe
 
  - 
Rubinson, T., 521(0)528--z
 
  - 
Rubinson, T.,  see Kershenbaum, A.
 
  - 
Ruby,  Mohamed, El-, 507(0)350--z
 
  - 
Rudich, Steven, 576(0)242--z
 
  - 
Rudich:1991:UIP, 576(0)242--z
 
  - 
Rudloff, A., 504(0)271--z
 
  - 
Rudloff, A.,  see Eder, J.
 
  - 
Rudolph, G., 496(0)209--z
 
  - 
Rudolph:1991:GOM, 496(0)209--z
 
  - 
RUEGEN, 545(0)508--z
 
  - 
Rueppel, Rainer A., 547(0)387--z
 
  - 
Rueppel:1991:FAS, 547(0)387--z
 
  - 
Ruf, Erik, 523(0)165--z
 
  - 
Ruf, Erik,  see Weise, Daniel
 
  - 
Rule, 498(0)307--z, 498(0)319--z, 516(0)320--z
 
  - 
rule, Meta-, 516(0)143--z
 
  - 
Rule-Aided, 567(0)237--z
 
  - 
Rule-Based, 532(0)505--z, 534(0)74--z, 550(0)380--z, 567(0)1--z
 
  - 
rule-based, 524(0)296--z, 542(0)52--z
 
  - 
ruleash, 549(0)147--z
 
  - 
rules, 496(0)388--z, 504(0)59--z, 507(0)271--z, 511(0)434--z, 
		512(0)219--z, 516(0)333--z, 516(0)407--z, 521(0)317--z, 528(0)63--z, 
		542(0)286--z, 542(0)389--z, 543(0)100--z, 548(0)115--z, 
		548(0)125--z, 548(0)238--z, 548(0)333--z, 575(0)277--z
 
  - 
Rullo, P., 498(0)79--z
 
  - 
Rullo, P.,  see Ahlsen, M.
 
  - 
Run, 473(0)196--z
 
  - 
Run-Time, 473(0)474--z
 
  - 
Runciman, Colin, 523(0)215--z
 
  - 
Runciman, Colin,  see Wakeling, David
 
  - 
Running, 510(0)174--z
 
  - 
Rushby, J., 571(0)237--z
 
  - 
Rushby:1991:FSV, 571(0)237--z
 
  - 
Rusinowitch, M., 529(0)307--z, 535(0)185--z
 
  - 
Rusinowitch, M.,  see Kounalis, E.
 
  - 
Rusinowitch, Michael, 516(0)51--z
 
  - 
Rusinowitch, Michael,  see Kounalis, Emmanuel
 
  - 
Rusinowitch:1991:ADA, 535(0)185--z
 
  - 
Ruspini, E. H., 548(0)297--z
 
  - 
Ruspini:1991:TU, 548(0)297--z
 
  - 
Rutten, E., 541(0)165--z
 
  - 
Rutten, J. J. M. M., 527(0)111--z
 
  - 
Rutten, J. J. M. M.,  see de Boer, F. S.
 
  - 
Rutten:1991:TRI, 541(0)165--z
 
  - 
Ruzicka, P., 520(0)415--z
 
  - 
Ruzicka:1991:EDA, 520(0)415--z
 
  - 
Ryan, Mark, 526(0)569--z
 
  - 
Ryan:1991:SAA, 526(0)569--z
 
  - 
Rydeheard, D. E., 520(0)191--z
 
  - 
Rydeheard, D. E.,  see Hilken, B. P.
 
  - 
Ryshkov, V. D., 504(0)385--z
 
  - 
Ryshkov, V. D.,  see Zamulin, A. V.
 
  - 
Rytter, W., 520(0)249--z, 529(0)370--z
 
  - 
Rytter, W.,  see Karhumaki, J., 
		 see Plandowski, W.