Last update: Thu Jun 29 02:46:09 MDT 2023
Return to index directory
R
-
Rabinovich, Alexander, 186(1)v--viii
-
Rabinovich, Alexander, see Avron, Arnon
-
Radeleczki, Sándor, 176(1)17--41,
see Järvinen, Jouni
-
Raghavan, Vijay V., 182(2)95--110
-
Raghavan, Vijay V., see Le, Linh
-
Raghu, T. Venkata, 172(1)97--104
-
Raghu:2020:DNF, 172(1)97--104
-
Raj, E. George Dharma Prakash, 185(4)285--311
-
Raj, E. George Dharma Prakash, see Abhishek, Kunal
-
Rajalaxmi, T. M., 182(3)285--299
-
Rajalaxmi, T. M., see Sujana, G. Jessy
-
Rajan, R. Sundara, 172(1)97--104, 182(3)285--299
-
Rajan, R. Sundara, see Raghu, T. Venkata,
see Sujana, G. Jessy
-
Rajasingh, Indra, 182(3)285--299
-
Rajasingh, Indra, see Sujana, G. Jessy
-
Ramachandran, Sridharan, 172(4)399--412
-
Ramachandran, Sridharan, see Tzacheva, Angelina A.
-
Raman, Indhumathi, 181(2)189--211
-
Raman, Indhumathi, see Fernau, Henning
-
Ramos-Llordén, Gabriel, 172(2)105--128,
see Beirinckx, Quinten
-
Ramparison, Mathias, 182(1)69--94
-
Ramparison, Mathias, see André, Étienne
-
random, 179(2)183--203, 185(4)285--311
-
randomization, 185(4)285--311
-
Randomized, 174(3)259--281
-
Ranges, 174(2)185--199
-
rank, 173(1)1--31
-
Rao, B. V. Raghavendra, 177(1)69--93
-
Rao, B. V. Raghavendra, see Ghosal, Purnata
-
Rasconi, Riccardo, 174(3)259--281
-
Rasconi, Riccardo, see Oddi, Angelo
-
Raskin, Mikhail, 187(2)197--243
-
Raskin, Mikhail, see Esparza, Javier
-
Reachability, 173(4)315--382
-
Reaction, 175(1)187--199, 179(2)205--225
-
Reactivity, 182(1)31--67
-
Read-Once, 184(4)307--354
-
Real, 188(1)15--39
-
Real-Time, 178(1)31--57, 181(2)99--127
-
Reasoner, 178(4)315--346
-
Reasoning, 173(2)217--251, 176(3)235--269, 176(3)349--384,
179(2)113--134
-
Recognizing, 175(1)173--185, 179(4)345--360
-
Reconstruction, 172(2)203--219
-
Rectangular, 176(2)129--138
-
Recursive, 177(1)1--37, 183(1)33--66, 185(3)247--283
-
Recursive, Tail-, 178(1)1--30
-
Red--green, 181(2)213--238
-
Redeker, Markus, 187(1)31--59
-
Redeker:2022:NCP, 187(1)31--59
-
Reduction, 178(3)173--185
-
Refinement, 178(1)31--57, 179(1)1--33
-
reflection, 179(2)183--203
-
Reflexive, 176(3)205--234
-
region, 183(3)293--317
-
Registers, 185(4)285--311
-
Regression, 176(2)183--203
-
Regular, 175(1)173--185, 179(2)135--163, 180(4)333--350
-
Regularity, 186(1)89--120
-
Regularized, 172(2)143--167
-
Regulatory, 179(2)205--225
-
Related, 174(1)1--13, 180(1)53--76
-
relation, 173(2)177--189, 176(1)61--78, 176(2)129--138, 179(3)275--293,
181(2)239--271
-
Relaxation, 175(1)123--141
-
Relay, 174(3)229--258
-
rendezvous, 180(4)289--314
-
Repair, 183(3)293--317
-
Replay, 178(3)229--266
-
representation, 181(1)71--98
-
reproducibility, non-, 185(4)285--311
-
reproducible, non-, 185(4)285--311
-
Residual, 174(1)43--59
-
Residuated, 179(3)239--274
-
resilient, 185(4)285--311
-
resolution, Super-, 172(2)105--128
-
Resonance, 172(2)105--128
-
Resource, 177(3)203--234, 183(3)203--242
-
Respect, 179(1)59--74
-
respectively, 185(4)285--311
-
Restarting, 180(1)77--101, 180(1)151--177
-
Restricted, 177(2)189--201, 187(2)139--165
-
result, 172(2)221--238, 181(2)189--211
-
Retraction, 173(4)253--283
-
Reversibility, 183(1)67--96
-
Reversible, 178(3)229--266, 180(4)333--350
-
Reversing, 184(4)273--296
-
Rewrite, 173(4)315--382
-
Rewriting, 178(3)173--185
-
Reynier, Pierre-Alain, 178(1)59--76
-
Reynier, Pierre-Alain, see Filiot, Emmanuel
-
Richness, 185(1)1--25
-
right, 184(2)83--105
-
Riguzzi, Fabrizio, 176(3)321--348
-
Riguzzi, Fabrizio, see Alberti, Marco
-
Rivera, Daniel, 181(4)313--337
-
Rivera, Daniel, see Pérez, Claudia
-
Rizzi, Romeo, 178(4)283--313
-
Rizzi, Romeo, see Combi, Carlo
-
Robust, 172(2)187--202
-
Rodríguez-Velázquez, J. A., 185(3)201--220,
see Martínez, A. Cabrera
-
Roig, Carme, 174(1)83--101
-
Roig, Carme, see Manyà, Felip
-
Roman, 185(3)201--220
-
root, 175(1)173--185
-
Ropiak, Krzysztof, 179(2)183--203
-
Ropiak, Krzysztof, see Artiemjew, Piotr
-
Rosa, Marcello, La, 183(3)293--317
-
Rosati, Riccardo, 172(3)i--ii
-
Rosati, Riccardo, see Badica, Costin
-
Rosone, Giovanna, 175(1)41--58
-
Rosone, Giovanna, see Alzamel, Mai
-
Rossi, Sabina, 181(1)1--35
-
Rossi, Sabina, see Hillston, Jane
-
Rothkegel, Beata, 184(4)297--306
-
Rothkegel, Beata, see Darkey-Mensah, Mawunyo Kofi
-
Rough, 172(4)413--434, 176(1)17--41, 179(1)75--92, 179(2)165--182,
179(3)275--293, 179(4)399--416, 182(2)111--179
-
rough, Pre-, 179(3)239--274
-
Roux, Olivier H., 183(1)97--123
-
Roux, Olivier H., see Lime, Didier
-
Roux, Stéphane, 172(2)203--219,
see Turpin, Léonard
-
Rozenberg, Grzegorz, 172(2)i--xi, 175(1)v--viii
-
Rozenberg, Grzegorz, see Beek, Maurice ter,
see Brunetti, Sara
-
Rudi, Ali Gholami, 180(3)275--287
-
Rudi:2021:PVA, 180(3)275--287
-
Rule, 172(4)399--412, 173(4)253--283, 176(2)141--166, 177(3)275--296,
178(4)283--313
-
Rule, One-, 178(3)173--185