Index file section R for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
Return to index directory
R
-
R, 1(2)115--138, 6(3)317--318, 9(1)1--21, 15(1)83--98, 59(6)709--724
-
R.4.0, 26(3)213--239
-
Rabe, Markus N., 48(5)291--315
-
Rabe:2011:FOC, 48(5)291--315
-
Rabin, Michael O., 17(2)121--134
-
Rabin:1982:CCP, 17(2)121--134
-
Rabinovich, Alexander, 35(4)293--327
-
Rabinovich:1998:MEN, 35(4)293--327
-
Rabitti, Fausto, 35(3)181--210
-
Rabitti, Fausto, see Locuratolo, Elvira
-
Rafanelli, Maurizio, 40(8)529--584
-
Rafanelli, Maurizio, see Grumbach, Stéphane
-
Ragde, Prabhakar, 44(7)509--523
-
Ragde, Prabhakar, see Nishimura, Naomi
-
Rahonis, George, 31(3)235--260, 49(1)29--52, 51(2)61--106
-
Rahonis, George, see Bozapalidis, Symeon,
see Mandrali, Eleni
-
Räihä, Kari-Jouko, 17(2)185--192, 20(2)143--158,
see Mannila, Heikki
-
Raiha:1982:TAG, 17(2)185--192
-
Rajasekaran, Sanguthevar, 29(1)1--15
-
Rajasekaran:1992:PIS, 29(1)1--15
-
Raj{\v{c}}{\'a}ni, Peter, 32(7)681--703,
see Culik II, Karel
-
RAM, 60(1)59--78
-
Raman, Indhumathi, 56(1)35--59
-
Raman, Indhumathi, see Fernau, Henning
-
Ramanathan, Jayashree, 16(3)253--273
-
Ramanathan:1981:PAD, 16(3)253--273
-
Ramarao, K. V. S., 26(6)577--595
-
Ramarao:1989:CDC, 26(6)577--595
-
Ramírez, Raúl J., 18(1)17--30
-
Ramirez:1982:ORP, 18(1)17--30
-
Ramon, Jan, 37(10)765--780
-
Ramon:2001:PTC, 37(10)765--780
-
Ramsey, 22(1)115--123
-
Ramsperger, N., 8(4)325--334
-
Ramsperger:1977:CAD, 8(4)325--334
-
Randell, Brian, 1(1)1--13, 16(1)93--124
-
Randell, Brian, see Best, Eike,
see Coffman, Edward G.
-
Randell, Merlin-, 23(4)429--463
-
random, 1(z)345--359, 9(2)159--170, 19(4)385--395, 26(1)123--130,
26(5)439--471, 31(8)775--792, 34(3)211--216, 37(4)355--383,
38(11)813--838, 39(2)119--140, 41(1)1--18, 41(1)63--63,
41(2)99--110, 42(8)603--616, 43(4)243--264, 45(4)237--277,
46(2)155--168, 48(3)149--163, 49(2)55--68, 60(3)317--329
-
Randomization, 47(5)313--323
-
Randomized, 21(4)339--374
-
Randour, Mickael, 51(3)129--163, 55(2)91--127
-
Randour, Mickael, see Bouyer, Patricia,
see Chatterjee, Krishnendu
-
Rangan, C. Pandu, 24(3)353--362
-
Rangan, C. Pandu, see Kumar, S. Kiran
-
Rangarajan, Sampath, 34(7)543--556
-
Rangarajan:1997:SMT, 34(7)543--556
-
range, 3(1)47--57, 7(2)137--152, 13(2)155--168, 26(7)597--614,
27(5)423--452, 27(5)453--480, 37(4)355--383, 41(4)221--255,
45(5)383--402
-
Rangierkomplexität, 2(z)80--96
-
ranging, 37(10)699--725
-
Ranjan, Desh, 37(1)21--43
-
Ranjan:2000:DSO, 37(1)21--43
-
rank, 32(5)477--489
-
ranking, 35(7)543--566, 39(3)211--231, 47(5)325--345
-
ranking-function, 46(1)57--72
-
Ranzato, Francesco, 51(2)107--125
-
Ranzato:2014:ESA, 51(2)107--125
-
Rao, M. R. K., Krishna, 33(6)595--606
-
Rao, N. Prabhakara, 32(2)171--187
-
rapport, 21(4)375--391, 27(6)567--581
-
Raskin, Jean-François, 44(3)249--288, 51(3)129--163, 54(1)3--39,
54(1)41--83, 54(6)545--587, 55(8)627--647, 59(5)671--671,
see Bohy, Aaron, \see{Brenguier, Romain,
see Chatterjee, Krishnendu,
see Geeraerts, Gilles, \see{Hunter, Paul
-
Rate, 8(4)359--370
-
Ratel, Christophe, 29(6)523--543
-
Ratel, Christophe, see Halbwachs, Nicolas
-
rates, 36(9)673--692
-
rather, 6(3)227--249, 8(4)341--357
-
Rathke, Julian, 42(4)227--290
-
Rathke, Julian, see Hennessy, Matthew
-
ratio, 61(2)101--113
-
rational, 2(z)180--188, 13(2)189--197, 13(4)365--378, 15(2)129--139,
17(1)21--29, 20(3)249--260, 26(6)503--525, 33(3)281--296,
34(1)23--57, 36(9)817--835, 48(1)19--24, 51(1)25--49
-
rationality, 49(3)117--137
-
rationelle, 2(z)180--188
-
Ratkó, István, 25(5)475--496
-
Ratoandromanana, B., 22(5)579--588
-
Ratoandromanana, B., see Latteux, Michel
-
Ratschek, H., 3(4)365--383
-
Ratschek, H., see Ecker, K.
-
Raussen, Martin, 43(7)501--519
-
Raussen, Martin, see Wisniewski, Rafael
-
Ravelo, Jesús N., 36(6)489--510
-
Ravelo:1999:TGA, 36(6)489--510
-
Ravn, Anders P., 43(7)449--450
-
Ravn, Anders P., see Olderog, Ernst-Rüdiger
-
Ray, Kumar Sankar, 54(5)487--499, 58(3)231--240, 58(5)571--584
-
Ray, Kumar Sankar, see Chatterjee, Kingshuk,
see Das, Litan Kumar,
see Ganguly, Debayan
-
Raynal, Michel, 35(6)441--455, 54(5)501--520
-
Raynal, Michel, see Baldoni, Roberto,
see Mostéfaoui, Achour
-
reachability, 25(3)333--354, 47(5)279--311, 48(5)291--315, 54(1)85--125,
55(2)153--189, 55(6)489--520, 58(6)653--674
-
reaction, 55(3)227--267
-
reactive, 33(3)203--231, 54(1)3--39, 57(1)3--36, 57(1)107--135,
59(5)671--671, 60(1)11--57
-
Reactivity, 30(7)609--678
-
READ, 6(3)227--249, 21(5)417--441
-
Read, 32(2)155--170
-
readers, 8(4)335--340, 11(1)57--60
-
Readings, 9(1)1--21
-
real, 2(4)335--355, 19(3)297--304, 31(4)379--397, 39(8)531--577,
44(5)289--321
-
Real-Time, 16(3)309--345, 21(4)393--407
-
real-time, 36(1)1--65, 36(1)67--96, 37(6)385--448, 42(6)389--418,
54(4)343--378, 55(4)309--338
-
Real-Time, Non-, 32(4)395--413
-
Realisierbarkeit, 3(1)75--100, 3(4)385--397
-
Realisierungen, 2(z)253--282
-
realistic, 34(10)737--772, 55(6)461--488
-
realizability, 3(4)385--397, 54(7)655--692, 57(1)107--135
-
Realizable, 3(1)75--100, 10(4)341--367, 10(4)369--390
-
realizations, 2(z)253--282, 48(3)165--189
-
rearrangement, 15(2)99--113
-
reasonable, 2(z)1--11, 17(1)43--61
-
reasoning, 8(3)243--266, 22(6)595--627, 36(4)267--286, 36(4)295--334,
36(5)375--403, 39(5)315--389, 45(5)321--382, 46(6)403--432,
53(2)87--88, 53(6)545--546, 57(6)801--827, 59(1)125--162,
59(2)283--283
-
reasoning-based, Boolean-, 59(6)673--685
-
rebalancing, 33(6)547--557, 35(10)859--874, 37(10)743--763
-
Rebeca, 47(1)33--66
-
rebuild, 1(2)115--138
-
recalcul, 19(3)255--268
-
receives, 15(3)251--263
-
Recent, 8(3)221--242
-
Receptive, 29(1)17--31
-
recognition, 12(1)33--61, 17(3)327--348, 19(4)397--407, 31(4)379--397,
33(6)559--569, 37(9)619--632
-
recognizability, 31(4)379--397, 42(8)553--581
-
Recognizable, 10(1)67--78, 28(4)351--363, 29(5)483--498, 30(1)89--101,
34(1)59--84
-
Recognized, 3(4)365--383
-
Recommended, 12(1)73--94
-
reconfiguration, 56(7)619--648
-
reconstructed, 17(3)245--265, 31(5)399--430
-
reconstruction, 60(4)335--359
-
record, 17(4)399--409, 26(1)123--130, 26(4)349--362, 26(7)597--614,
35(6)441--455, 59(5)585--618
-
Recording, 25(2)203--231
-
recovery, 10(3)209--228, 11(4)305--340, 12(4)321--338, 13(2)141--154,
18(3)289--298, 41(6)341--365, 56(5)433--446
-
rectangle, 38(10)673--693
-
Rectangles, Iso-, 21(3)271--291
-
Recurrence, 18(2)181--206, 31(2)137--160, 31(7)673--696, 33(5)463--475,
43(4)243--264
-
recurrences, 35(11)911--919
-
recursion, 6(1)41--60, 8(2)125--144, 21(3)239--250, 26(4)309--332,
31(4)329--340, 35(10)875--909, 37(11)781--829, 43(5)341--370,
44(5)323--344
-
recursive, 8(1)21--36, 8(2)113--123, 8(2)125--144, 8(3)267--283,
10(2)117--125, 12(2)95--108, 12(4)305--320, 15(3)219--232,
21(3)239--250, 22(3)277--310, 24(6)653--678, 28(6)559--574,
30(3)279--302, 31(4)329--340, 32(4)313--345, 34(3)211--216,
35(3)211--243, 43(1)1--43, 44(3)167--189, 44(7)463--508,
45(6)403--439
-
recursive, non-, 28(6)559--574
-
recursively, 15(3)209--217, 28(2)179--186, 31(5)399--430
-
red-black, 38(8)565--586, 56(5)391--404
-
reduced, 18(4)377--392, 34(3)231--243
-
reducibility, ground-, 28(4)311--350
-
Reducing, 3(1)43--45, 40(6)459--489
-
Reducing, Weight-, 25(5)573--591
-
reduction, 13(1)21--37, 15(4)447--470, 19(2)115--150, 26(8)771--785,
33(7)687--706, 45(5)383--402, 47(1)33--66, 49(5)313--341,
55(5)401--444, 59(4)409--426
-
reduction, -, 59(4)409--426
-
Redundancy, 33(7)631--639
-
Redundant, 24(2)145--156
-
reengineering, 52(1)35--60
-
reevaluation, 26(3)213--239
-
Reexecution, 32(3)209--253
-
ref, 17(3)267--285
-
refer, 8(2)145--152
-
referees, 32(8)793--z, 34(12)965--z, 36(12)1031--1032, 38(11)859--860,
39(9)701--701, 40(9)675--675, 41(9)607--607, 43(8)595--595,
44(7)625--625
-
reference, 1(4)271--281, 2(4)335--355, 3(1)47--57, 3(2)135--153,
4(3)231--243, 8(3)221--242, 8(4)315--324, 11(2)119--137,
11(3)195--210, 12(1)73--94, 14(2)135--155, 16(2)199--217,
18(1)47--64, 20(1)1--33, 20(2)159--170, 21(3)251--269,
22(6)629--661, 26(4)287--308, 27(6)481--503, 28(2)121--163,
33(2)99--130, 37(8)563--595
-
referential, 27(6)505--517
-
Refined, 48(3)191--211
-
refinement, 9(2)121--132, 25(6)593--624, 26(4)287--308, 27(6)481--503,
29(6)555--578, 30(6)503--535, 31(2)105--135, 32(5)415--458,
35(2)91--129, 35(2)131--165, 35(11)921--949, 36(9)693--719,
37(1)45--81, 37(4)229--327, 37(6)385--448, 39(8)531--577,
42(6)389--418, 43(3)195--222, 44(1)41--71, 48(2)97--147,
52(2)269--297, 55(6)489--520
-
reflect, 1(2)115--138, 29(3)281--302
-
reformulated, 8(2)145--152
-
regarded, 1(2)115--138
-
regardless, 26(4)349--362
-
Regenerative, 12(2)159--175, 15(4)347--363
-
Reggio, G., 37(11)831--879
-
Reggio, G., see Astesiano, E.
-
Reghizzi, Stefano Crespi, 55(7)547--574
-
Reghizzi, Stefano Crespi, see Borsotti, Angelo
-
region, 6(3)227--249, 9(2)23--29
-
Register, 11(3)259--285, 18(2)135--147
-
registers, 11(4)363--372, 37(3)161--192
-
Régnier, Mireille, 36(9)735--760, see Mahmoud, Hosam
-
Rego, Vernon, 27(2)157--177, 29(6)579--594
-
Rego:1989:SEC, 27(2)157--177
-
Rego:1992:NAH, 29(6)579--594
-
regret, 54(1)3--39, 59(5)671--671
-
regular, 1(z)111--114, 10(2)203--208, 11(2)177--193, 16(2)125--138,
20(2)133--142, 20(4)391--411, 21(1)29--45, 23(2)149--162,
23(5)507--527, 23(5)585--596, 29(6)523--543, 31(2)137--160,
31(6)539--557, 32(5)459--476, 36(9)817--835, 37(2)121--144,
37(3)161--192, 37(9)671--697, 39(1)31--70, 40(5)349--365,
45(7)467--477, 46(3)193--207, 46(7)533--547, 47(4)251--277,
51(3)221--260, 54(4)399--433, 58(3)195--229, 59(2)245--281,
59(4)321--336, 59(4)357--385, 59(4)505--519, 59(6)709--724,
60(3)257--278, 61(1)23--52
-
Regularity, 23(3)245--253
-
Regulated, 34(11)837--857
-
regulation, non-, 43(4)223--242
-
regulatory, 54(8)765--787
-
{\v{R}}eh{\'a}k, Vojt{\v{e}}ch, 46(1)1--28,
see Bozzelli, Laura
-
Reichardt, Johannes, 23(5)567--583
-
Reichardt:1986:DGG, 23(5)567--583
-
Reichel, Horst, 22(6)629--661, 26(4)309--332, 30(6)569--607,
35(11)951--1005
-
Reidar, 11(1)57--60
-
Reif, John H., 25(3)333--354
-
Reif:1988:CRD, 25(3)333--354
-
Reingold, Edward M., 18(4)377--392
-
Reingold, Edward M., see Supowit, Kenneth J.
-
Reis, Rogério, 58(4)357--375,
see Konstantinidis, Stavros
-
Reisch, Stefan, 13(1)59--66, 15(2)167--191, 16(3)347--362
-
Reisch, Stefan, see Klingler, Thomas
-
Reisch:1980:GPV, 13(1)59--66
-
Reisch:1981:HPV, 15(2)167--191
-
Reischuk, Rüdiger, 14(3)243--255, 14(4)391--403,
see Paul, Wolfgang J.
-
Reisig, W., 39(4)273--305
-
Reisig, Wolfgang, 18(2)117--134, 33(4)297--315, 56(3)229--253
-
Reisig, Wolfgang, see Desel, Jörg
-
Reisig:1982:DBS, 18(2)117--134
-
Reisig:2003:GTS, 39(4)273--305
-
Reisig:2019:ACC, 56(3)229--253
-
Reiter, Allen, 4(2)107--116, 4(4)311--319
-
Reiter, Allen, see Breitbart, Yuri
-
Rejection, 26(6)559--576, 42(8)603--616
-
related, 7(2)167--182, 8(1)1--20, 15(4)329--346, 16(2)139--160,
16(2)237--252, 19(3)195--220, 20(4)345--369, 22(5)475--498,
24(4)395--415, 27(2)157--177, 27(6)505--517, 47(4)209--219,
49(7)437--444, 57(1)37--79, 61(1)67--81
-
relating, 33(6)595--606, 49(7)445--484
-
relation, 2(4)293--309, 2(z)162--171, 6(3)227--249, 8(4)303--314,
10(1)67--78, 10(3)297--305, 11(1)79--88, 17(1)21--29, 17(4)435--449,
18(1)31--45, 18(2)181--206, 22(2)125--138, 24(1)33--55,
26(7)615--642, 28(5)411--445, 28(6)603--605, 29(1)33--62,
30(3)267--278, 30(8)741--771, 34(1)23--57, 34(2)135--149,
35(4)293--327, 35(8)665--672, 38(5)325--342, 40(1)37--79,
43(4)223--242, 44(3)207--247, 45(3)211--236, 52(6)483--495,
53(3)207--246, 53(6)621--648, 54(5)447--485
-
relational, 2(4)293--309, 18(3)227--253, 18(4)393--409, 19(3)297--304,
20(4)315--328, 24(2)131--144, 24(3)239--276, 26(7)615--642,
28(6)603--605, 28(6)607--610, 31(6)513--524, 33(3)203--231,
34(3)167--189, 34(5)367--388, 35(3)211--243, 36(3)173--213,
41(6)367--381, 45(4)279--320, 53(5)459--468
-
relations, Multi-, 29(1)33--62
-
relationship, 1(2)115--138, 6(2)133--151, 7(2)167--182, 20(2)143--158,
27(6)505--517
-
relative, 8(4)341--357, 18(4)377--392, 27(7)665--683
-
Relatively, 20(1)59--101
-
relaxed, 30(3)215--231, 35(10)859--874, 37(10)743--763, 38(8)565--586,
45(3)193--210
-
relay, 53(1)1--22
-
Reliability, 16(1)31--43, 23(6)621--642, 30(2)131--146
-
RelView, 45(3)211--236
-
Rem, Martin, 21(6)585--598
-
Rem, Martin, see Chen, Marina C.
-
remainder, 61(1)83--100
-
remains, 26(4)349--362
-
remark, 1(z)214--224, 2(z)80--96, 6(3)317--318, 8(2)97--112,
8(4)335--340, 11(1)1--30, 11(1)57--60, 12(4)371--375, 13(3)225--227,
15(1)83--98, 17(1)89--99
-
remarkably, 31(7)601--627
-
Rembowski, Bogdan, 22(3)241--251
-
Rembowski:1985:PQI, 22(3)241--251
-
remote, 31(7)601--627
-
removal, 6(1)41--60
-
remove, 8(3)221--242
-
Removing, 10(3)229--243
-
Rémy, Jean-Luc, 30(2)147--180, see Navarro, Marisa
-
Ren, Wei, 49(6)361--379
-
Ren, Wei, see Tan, Zhiyi
-
Rensink, Arend, 38(3)155--234
-
Rensink:2001:PAA, 38(3)155--234
-
Reoptimization, 59(4)427--450
-
Reorganization, 18(1)17--30
-
repair, 29(2)109--120, 33(7)631--639, 47(3)179--207, 59(2)183--209,
60(3)209--255
-
Répartie, 14(1)39--62
-
réparties, 11(4)305--340
-
repeatedly, 21(3)239--250
-
repetition, 7(1)61--73
-
repetitive, non-, 39(6)451--468
-
Replaceability, 22(4)433--449
-
replaced, 8(3)221--242
-
replacement, 15(3)309--318, 26(7)657--677, 27(3)195--215, 27(5)399--421,
52(6)497--524
-
replaces, 17(3)245--265
-
replacing, 6(1)41--60
-
replication, 12(2)159--175, 40(6)385--430, 46(4)297--330, 55(6)489--520,
z(z)z--z
-
reply, 1(3)190--199, 2(z)189--190
-
report, 3(1)47--57, 5(1)1--236, 9(2)105--119, 14(4)337--357,
19(3)255--268, 21(2)125--169, 23(4)393--427, 26(3)213--239,
32(8)705--778, 33(1)69--97
-
represent, 8(3)201--220
-
representable, 28(1)83--94
-
représentant, 19(3)255--268
-
representation, 1(4)271--281, 7(4)361--394, 8(4)315--324, 9(2)105--119,
17(2)215--219, 17(3)245--265, 23(3)325--356, 24(5)565--582,
27(4)315--342, 28(5)463--476, 34(1)59--84, 36(8)665--672,
43(5)307--330, 43(6)395--417, 53(2)87--88, 53(6)545--546,
55(3)213--225
-
Representation, INTEGER-, 16(1)45--56
-
representative, 23(3)255--266
-
representing, 8(4)303--314, 17(2)157--184, 27(6)533--565, 43(5)293--306,
53(4)327--356
-
Reprinted, 1(2)115--138, 9(1)1--21
-
reprise, 11(4)305--340, 12(4)321--338
-
Reps, Thomas W., 25(2)155--178, 28(8)713--732, 33(8)739--757
-
Reps, Thomas W., see Horwitz, Susan
-
Reps:1988:IEA, 25(2)155--178
-
Reps:1996:SNI, 33(8)739--757
-
requests, 8(2)153--175, 8(4)325--334
-
require, 8(4)303--314, 18(4)377--392, 22(2)171--186
-
required, 22(2)171--186
-
requirement, 1(2)115--138, 8(1)61--73, 20(4)345--369, 32(7)611--625,
36(1)1--65, 36(6)447--462, 60(3)317--329
-
requiring, 8(3)221--242
-
reset, 8(2)177--192
-
residue, 21(6)643--674
-
resilient, 34(7)543--556, 57(1)195--221
-
resilient, delay-, 58(5)497--528
-
resolution, 6(4)387--395, 24(2)173--190, 25(4)425--438, 33(3)277--280,
53(3)247--299
-
resolution, multi-, 57(1)245--269
-
resource, 6(3)211--225, 7(1)35--60, 8(2)153--175, 8(4)341--357,
21(6)585--598, 24(5)513--524, 28(7)657--680, 28(8)755--775,
50(5)297--329
-
respect, 8(1)1--20, 28(6)603--605, 28(6)607--610, 36(5)405--424
-
Respecting, 30(8)773--785
-
respective, 17(3)245--265
-
respectively, 8(4)303--314
-
response, 7(2)167--182, 7(2)183--195, 8(1)61--73, 12(2)159--175,
15(3)251--263, 15(4)347--363, 16(1)57--62, 17(4)399--409,
31(7)629--650
-
response, condition-, 55(6)489--520
-
responsiveness, 51(8)499--552
-
restarting, 47(7)391--412, 52(7)593--623
-
restarts, 37(10)727--742
-
restricted, 18(4)377--392, 21(4)339--374, 33(5)463--475, 41(2)99--110
-
Restriction, 22(5)589--594, 23(1)1--7
-
restrictions, 8(4)303--314
-
result, 5(4)297--332, 7(1)35--60, 7(2)123--136, 7(2)137--152,
7(2)183--195, 8(1)61--73, 8(2)125--144, 8(4)341--357, 8(4)359--370,
12(2)159--175, 17(1)43--61, 18(3)319--334, 18(4)377--392,
20(4)345--369, 21(5)473--484, 21(5)485--500, 24(4)447--459,
26(4)349--362, 26(7)597--614, 26(7)615--642, 29(3)281--302,
29(6)645--662, 31(7)601--627, 33(1)1--20, 37(2)145--160,
44(3)191--205, 47(3)147--177, 47(5)279--311
-
resulting, 8(1)1--20, 29(3)281--302
-
retain, 8(1)1--20
-
Retention, 19(3)221--233
-
Retracts, 25(5)497--514
-
retrial, 31(6)559--571, 47(1)67--75
-
retrieval, 4(1)1--9, 58(4)243--261, 60(2)179--208
-
RETRPROV, 33(8)759--780
-
return, 8(2)153--175
-
Reusability, 31(7)601--627
-
reusable, 31(7)601--627
-
Reusch, Bernd, 17(3)349--364, 22(6)663--678
-
Reusch, Bernd, see Demers, A.
-
Reusch:1986:MCI, 22(6)663--678
-
reused, 31(7)601--627
-
Reutenauer, Christophe, 13(2)189--197
-
Reutenauer:1980:OLI, 13(2)189--197
-
revanche, 19(3)255--268
-
reveals, 8(4)303--314
-
Reversal, 22(5)589--594
-
reversal-bounded, 55(2)153--189
-
reversals, 40(4)235--263
-
reversibility, 54(5)447--485, 58(1)1--34, 58(4)397--425
-
reversible, 53(5)509--543, 54(5)487--499, 56(7)553--583, 58(4)263--279,
58(4)377--396
-
review, 47(5)325--345
-
Revised, 5(1)1--236, 22(6)679--698
-
revisited, 25(3)233--281, 29(8)689--736, 39(2)97--117, 41(7)415--434,
44(2)123--151, 44(6)377--425, 50(5)343--357, 53(3)301--324,
59(4)289--319, 59(4)409--426
-
Revisiting, 52(1)5--33, 52(1)61--106
-
rewrite, 8(1)75--96, 10(1)27--52, 22(2)149--169, 30(6)537--568,
46(1)1--28, 48(5)317--361
-
rewriting, 3(3)265--283, 13(3)257--268, 21(5)521--540, 24(4)395--415,
27(1)81--95, 30(2)147--180, 33(6)523--546, 33(6)595--606,
34(11)837--857, 36(12)1007--1029, 38(10)721--734, 40(8)529--584,
42(4)349--388, 44(2)91--121, 50(2)123--156, 61(2)161--181
-
Rewriting, String-, 28(5)477--510
-
Reynolds, 8(4)315--324
-
Reynolds, Mark, 53(3)301--324
-
Reynolds:2016:MTL, 53(3)301--324
-
Rhee, Chong Kye, 32(8)779--792
-
Rhee:1995:FMM, 32(8)779--792
-
Ribeiro, Pedro, 59(1)125--162, 59(2)283--283
-
Ribeiro, Pedro, see Baxter, James
-
Rice, John R., 5(4)273--285
-
Rice:1975:PAA, 5(4)273--285
-
Rich, 53(4)325--326
-
Rich-Model, 53(4)325--326
-
Richards, Dana S., 29(5)395--414
-
Richards:1992:SQD, 29(5)395--414
-
Richer, 52(4)305--336
-
Richey, Michael B., 25(5)515--535
-
Richter, M. M., 13(1)67--86, 17(2)221--243, 22(4)421--432
-
right, 1(z)111--114, 11(2)177--193, 12(3)187--207, 21(1)29--45,
23(2)149--162, 24(4)461--474, 26(7)597--614, 37(9)671--697,
40(6)459--489, 58(4)281--299
-
Right-Boundary, 25(2)203--231
-
Rijksuniv, 27(6)567--581
-
ring, 24(1)79--91, 58(4)427--450
-
Ringert, Jan Oliver, 57(1)37--79
-
Ringert, Jan Oliver, see Firman, Elizabeth
-
Rispal, Chloé, 41(4)293--314, see Morvan, Christophe
-
RJ, 9(1)1--21
-
Rob, 57(3)321--322, 57(3)323--327
-
Robertson, Edward L., 15(2)99--113
-
Robertson, Edward L., see Purdom, Jr., Paul Walton
-
Robin, Round-, 15(3)251--263, 16(1)57--62
-
robin, round-, 15(3)251--263
-
Robinson, 27(1)61--71
-
robust, 17(4)365--397, 29(4)335--373, 47(5)325--345, 51(3)193--220
-
Roccetti, Marco, 34(11)805--835
-
Roccetti, Marco, see Corradini, Flavio
-
Röck, H., 24(5)513--524, see B{\l}a{\.{z}}ewicz, J.
-
Rocquencourt, 21(4)375--391
-
Rodeh, Michael, 17(2)215--219, 35(6)457--504
-
Rodeh, Michael, see Itai, Alon,
see Sagiv, Mooly
-
Rödl, Vojt{\v{e}}ch, 25(5)515--535,
see Pudlák, Pavel
-
Rodriguez, F., 15(2)153--166
-
Rodriguez:1981:IFC, 15(2)153--166
-
Rogers, Lawrence D., 13(1)39--52
-
Rogers, Lawrence D., see Gonnet, Gaston H.
-
Rogozhin, Yurii, 43(5)331--339
-
Rogozhin, Yurii, see Alhazov, Artiom
-
Röhrich, Johannes, 13(2)115--139
-
Rohrich:1980:MAC, 13(2)115--139
-
role, 7(3)319--323, 26(7)615--642
-
Rollik, H. A., 13(3)287--298
-
Rollik:1980:APG, 13(3)287--298
-
Ronse, Christian, 20(2)197--206
-
Ronse:1983:TSC, 20(2)197--206
-
root, 17(3)245--265, 18(4)361--376
-
Roques, Olivier, 42(8)603--616
-
Roques, Olivier, see Brlek, Srecko
-
Rosa-Velardo, Fernando, 50(7)403--436
-
Rosa-Velardo:2013:PNN, 50(7)403--436
-
Roscoe, A. W., 57(3)403--438
-
Roscoe, A. W., see Mestel, David
-
Rosen, Barry K., 4(4)337--357
-
Rosen:1975:DGG, 4(4)337--357
-
Rosenberg, Arnold L., 7(3)289--303, 9(3)273--292
-
Rosenberg, Catherine, 23(2)177--192
-
Rosenberg:1977:SSB, 7(3)289--303
-
Rosenberg:1978:DET, 9(3)273--292
-
Rosenberg:1986:FAE, 23(2)177--192
-
Rosenkrantz, Daniel J., 27(7)627--663, 28(4)311--350
-
Rosenkrantz, Daniel J., see Kapur, Deepak,
see Yu, Lin
-
Rosier, Louis E., 27(8)697--724, 32(3)189--207
-
Rosier, Louis E., see Cherkasova, Ludmila,
see Gouda, Mohamed G.
-
Rossi, Francesca, 32(6)545--596
-
Rossi, Francesca, see Montanari, Ugo
-
Rossi, Matteo, 53(2)171--206
-
Rossi, Matteo, see Bersani, Marcello M.
-
Rossi, S., 54(5)447--485
-
Rossi, S., see Marin, A.
-
Rossi, Sabina, 59(2)211--244
-
Rossi, Sabina, see Marin, Andrea
-
Rossmanith, Peter, 59(4)427--450
-
Rossmanith, Peter, see Böckenhauer, Hans-Joachim
-
Rot, Jurriaan, 54(2)127--190, 56(7)585--617
-
Rot, Jurriaan, see Bonchi, Filippo
-
Rot:2019:DLM, 56(7)585--617
-
rotation, 35(10)859--874
-
Roth, 28(6)603--605
-
Roth, Dan, 36(4)267--286
-
Roth, Dan, see Khardon, Roni
-
Roth, Mark A., 26(7)615--642, 28(6)607--610
-
Roth, Martin, 6(4)341--355
-
Roth, Martin, see Cohen, Jacques
-
Roth, Peter, 29(1)95--107
-
Roth:1989:NVN, 26(7)615--642, 28(6)603--605, 28(6)607--610
-
Roth:1991:ANV, 26(7)615--642, 28(6)603--605, 28(6)607--610
-
Roth:1992:EBP, 29(1)95--107
-
Rothe, Jörg, 34(11)859--879,
see Hemaspaandra, Lane A.
-
Rougemont, Michel de, 60(4)361--384
-
Rougemont, Michel de, see Lassaigne, Richard
-
Round, All-, 29(4)383--394
-
Round-Robin, 15(3)251--263, 16(1)57--62
-
round-robin, 15(3)251--263
-
Routines, 14(4)299--315
-
routines, Co-, 2(z)50--63
-
routing, 23(2)163--176, 40(3)211--233
-
Roveri, Marco, 53(6)681--722
-
Roveri, Marco, see Cimatti, Alessandro
-
Rozenberg, Grzegorz, 1(z)242--252, 2(z)214--248, 3(3)265--283,
3(4)357--364, 4(1)87--106, 6(4)407--415, 10(4)323--339,
13(3)257--268, 16(1)63--85, 17(1)69--87, 20(4)391--411,
23(3)289--309, 25(2)203--231, 25(5)537--571, 27(4)315--342,
27(4)343--368, 28(1)83--94, 29(6)555--578, 31(2)161--206,
31(6)525--537, 33(6)571--593, 35(5)401--420, 42(6)419--428,
z(z)z--z
-
Rozenberg, Grzegorz, see Ehrenfeucht, Andrzej,
see Engelfriet, Joost,
see Janssens, Dirk, \see{Kari, Lila,
see Kleijn, H. C. M.,
see Meersman, Robert, \see{Mihalache, V.,
see Nielsen, Mogens,
see P{\u{a}}un, Gheorghe
-
Rozenberg:1972:DCP, 1(z)242--252
-
Rozenberg:1973:DSL, 2(z)214--248
-
Rozenberg:1980:CFG, 13(3)257--268
-
Rozenberg:1982:CEF, 17(1)69--87
-
Rozenberg:1986:GTC, 23(3)289--309
-
RR, 21(4)375--391
-
RRWW-automata, 58(4)397--425
-
Ruci{\'n}ski, Andrzej, 26(1)123--130
-
Rudeanu, Sergiu, 46(5)361--374
-
Rudeanu, Sergiu, see Ciobanu, Gabriel
-
Rudnicki, Piotr, 22(3)311--331, 22(6)699--707
-
Rudnicki:1985:PPP, 22(3)311--331
-
Rudnicki:1986:PPP, 22(6)699--707
-
Rudolf, Rüdiger, 33(6)559--569, see Deineko, Vladimir
-
Rudolph, Larry, 24(4)417--432
-
Rudolph, Larry, see Peters, Joseph G.
-
Rueda, Camilo, 59(1)1--87
-
Rueda, Camilo, see Cano, Mauricio
-
Rühl, Astrid R., 31(7)629--650
-
Ruhl:1994:BRT, 31(7)629--650
-
rule, 8(2)145--152, 8(2)153--175, 8(3)221--242, 10(1)1--26,
10(3)297--305, 11(2)139--148, 12(1)63--72, 14(4)371--389,
15(3)251--263, 16(2)161--197, 17(4)425--433, 20(4)301--313,
23(4)357--360, 25(4)439--473, 26(5)409--419, 28(6)539--558,
31(7)601--627, 33(7)687--706, 43(2)131--145, 45(6)403--439
-
rulers, 51(7)449--471
-
Rümmer, Philipp, 53(4)387--424,
see Leroux, Jérôme
-
run, 27(3)195--215, 32(2)155--170
-
Run-Time, 29(1)63--94
-
running, 30(3)215--231, 37(10)727--742, 41(4)181--220
-
runtime, 60(2)145--178, 60(4)385--451
-
Ruohonen, Keijo, 19(4)357--367
-
Ruohonen:1983:SVP, 19(4)357--367
-
Rus, Teodor, 34(3)191--209
-
Rus:1997:UGC, 34(3)191--209
-
Russell, Bruce, 8(2)113--123, 14(1)1--20, 15(3)193--207
-
Russell, Bruce, see Moore, Daniel J.
-
Russell:1977:EBC, 8(2)113--123
-
Russell:1980:CCP, 14(1)1--20
-
Rußmann, Arnd, 34(4)267--289
-
Russmann:1997:DLP, 34(4)267--289
-
Rutter, Ignaz, 49(5)295--312
-
Rutter, Ignaz, see Katz, Bastian
-
Ru{\v{z}}i{\v{c}}ka, Peter, 27(1)61--71
-
Ruzicka:1989:ALR, 27(1)61--71
-
Ruzzo, Walter L., 11(1)61--70
-
Ruzzo, Walter L., see Adleman, Leonard M.
-
Ryder, Barbara G., 27(7)665--683, 28(2)121--163
-
Ryder, Barbara G., see Berman, A. Michael,
see Marlowe, Thomas J.