Last update: Thu Jun 29 02:46:09 MDT 2023
Return to index directory
P
-
P, 176(1)43--59, 182(3)243--255
-
Padró, Lluís, 175(1)123--141, see Carmona, Josep
-
Paduraru, Ciprian Ionut, 173(2)139--176
-
Paduraru:2020:AVO, 173(2)139--176
-
Pairwise, 172(4)379--397
-
Palacios, Adrián, 178(3)229--266, see Lanese, Ivan
-
Palamidessi, Catuscia, 177(3)331--357
-
Palamidessi, Catuscia, see Falaschi, Moreno
-
Palano, Beatrice, 185(4)337--356
-
Palano, Beatrice, see Kutrib, Martin
-
Palenstijn, Willem Jan, 172(2)143--167
-
Palenstijn, Willem Jan, see Lagerwerf, Marinus J.
-
Palindromic, 185(1)1--25
-
paper, 185(4)285--311
-
parallel, 177(3)385--415, 178(3)203--227
-
Parameter, 172(2)105--128, 172(2)143--167, 178(1)31--57
-
Parameterized, 177(1)69--93, 178(4)347--378, 187(2)197--243
-
Parametric, 173(2)91--138, 182(1)31--67, 182(1)69--94, 183(1)97--123
-
Pardo, Daniel, 177(3)235--273
-
Pardo, Daniel, see Alpuente, María
-
Parikh, 172(4)327--341, 179(4)385--397
-
Parity, 174(2)137--165
-
Parizel, Paul M., 172(2)105--128
-
Parizel, Paul M., see Beirinckx, Quinten
-
Parkinson, 176(2)167--181
-
Partial, 174(3)311--344
-
Particle, 187(1)31--59
-
Parvin, Hamid, 176(1)79--102
-
Parvin, Hamid, see Zhao, Chenyue
-
Parys, Pawe{\l}, 188(3)127--178, see Barozzini, David
-
Passing, 178(3)229--266
-
passwords, 185(4)285--311
-
path, 178(3)187--202, 182(3)301--319
-
Patient, 174(3)283--310, 176(2)141--166, 176(2)167--181
-
pattern, 176(2)141--166
-
Paul, Prithwineel, 172(1)53--72
-
Paul:2020:SLL, 172(1)53--72
-
Pavese, Esteban, 179(2)135--163
-
Pavese, Esteban, see Yaman, Sinem Getir
-
Payet, Étienne, 177(3)359--383, see Mesnard, Fred
-
PBW, 184(2)83--105
-
Pelantová, Edita, 185(1)1--25, see Dolce, Francesco
-
Penczek, W., 179(2)i--ii
-
Penczek, W., see Schlingloff, H.
-
Penczek, Wojciech, 182(1)v--vi
-
Penczek, Wojciech, see Keller, Jörg
-
Peng, Hong, 176(1)43--59
-
Peng, Hong, see Liu, Liucheng
-
Peng, Liangxue, 174(2)167--183
-
Peng, Liangxue, see Lin, Yidong
-
Pérez, Claudia, 181(4)313--337
-
Perez:2021:PTC, 181(4)313--337
-
Perfect, 185(3)201--220
-
Peri, Carla, 172(2)221--238
-
Peri, Carla, see Brunetti, Sara
-
period, 185(4)285--311
-
Periodic, 175(1)59--95
-
permutation, 174(3)201--228, 182(3)257--283
-
Perpetual, 182(4)363--393
-
Perrot, Kévin, 181(2)163--188
-
Perrot:2021:BAN, 181(2)163--188
-
Perrotin, Pacôme, 181(2)163--188,
see Perrot, Kévin
-
Persistent, 181(1)1--35
-
Personalised, 174(3)283--310
-
Perspective, 184(1)1--47
-
Petri, 175(1)1--40, 175(1)97--122, 175(1)143--172, 182(4)363--393,
183(1)1--31, 183(1)33--66, 183(1)67--96, 183(1)97--123,
183(1)125--167, 183(3)169--201, 183(3)243--291, 184(4)273--296,
187(2)103--138, 187(2)139--165, 187(2)167--196, 187(2)197--243,
188(3)179--215
-
Pettorossi, Alberto, 177(3)i--iii
-
Pettorossi, Alberto, see Hermenegildo, Manuel
-
Pham, Ba Thai, 182(3)257--283
-
Pham, Ba Thai, see Nguyen, Viet Dung
-
Phase, 172(2)203--219, 188(2)103--126
-
Physical, 181(2)129--161
-
Piazza, Carla, 181(1)1--35
-
Piazza, Carla, see Hillston, Jane
-
Piecewise, 183(3)169--201
-
Pighizzini, Giovanni, 180(1)103--122
-
Pighizzini:2021:NSE, 180(1)103--122
-
Pinault, Laureline, 180(4)351--373
-
Pinault, Laureline, see Kuperberg, Denis
-
Pisanti, Nadia, 175(1)41--58
-
Pisanti, Nadia, see Alzamel, Mai
-
Pissis, Solon P., 175(1)41--58
-
Pissis, Solon P., see Alzamel, Mai
-
Place, 180(3)275--287
-
Place-environments, 187(2)139--165
-
Placements, 174(3)229--258
-
plane, 174(2)103--119
-
Planning, 174(1)63--81
-
PMC, 177(2)181--188
-
Podgorelec, Vili, 172(3)261--297
-
Podgorelec, Vili, see Flisar, Jernej
-
point, 184(3)205--231
-
point, Interior-, 172(4)343--359, 177(2)141--156
-
Points, Query-, 182(3)301--319
-
Policriti, Alberto, 176(3)299--319
-
Policriti, Alberto, see Tarzariol, Alice
-
Polkowski, Lech, 172(1)73--95
-
Polkowski:2020:CPM, 172(1)73--95
-
Polyadic, 173(2)191--215
-
polygon, 182(3)301--319
-
Polyhedral, 187(2)103--138
-
polynomial, 186(1)155--173
-
Polynomial-Time, 184(4)307--354
-
Polynomial-time, 181(4)313--337
-
Polyominoes, 180(3)251--273
-
Polyvyanyy, Artem, 183(3)293--317
-
Polyvyanyy, Artem, see Kalenkova, Anna
-
Pomyka{\l}a, Jacek, 172(1)39--51, see Hittmeir, Markus
-
Poot, Dirk H. J., 172(2)105--128
-
Poot, Dirk H. J., see Beirinckx, Quinten
-
popular, 185(4)285--311
-
Position, 178(3)267--281
-
Positive, 181(4)313--337
-
Positron, 172(2)187--202
-
Potapov, Igor, 178(1)v--vi, 184(3)181--203
-
Potapov, Igor, see Adamson, Duncan,
see Hague, Matthew
-
Pous, Damien, 180(4)351--373
-
Pous, Damien, see Kuperberg, Denis
-
power, 175(1)173--185, 183(3)243--291, 185(4)337--356, 186(1)1--26
-
practice, 184(3)233--271
-
Pre-rough, 179(3)239--274
-
Precision, 179(1)75--92
-
predicting, 185(4)285--311
-
Prediction, 184(3)181--203
-
Predictor-corrector, 177(2)141--156
-
Preface, 172(2)i--xi, 172(3)i--ii, 173(2)i--ii, 173(4)i--ii,
174(1)61--62, 174(3)i--iii, 175(1)v--viii, 176(2)139--140,
176(3)i--ii, 177(3)i--iii, 178(1)v--vi, 178(4)i--ii, 179(2)i--ii,
180(1)v--vi, 180(4)i--ii, 181(1)v--vi, 181(2)i--iii, 182(1)v--vi,
182(2)i--ii, 183(1)v--vi, 183(3)i--ii, 186(1)v--viii, 187(2)i--iii
-
present, 185(4)285--311
-
Preserving, 185(1)1--25, 188(2)91--101
-
Preserving, Consumption-, 177(3)203--234
-
Presotto, Luca, 172(2)187--202
-
Presotto:2020:MSR, 172(2)187--202
-
Prigioniero, Luca, 180(1)103--122
-
Prigioniero, Luca, see Pighizzini, Giovanni
-
Primitive, 180(4)289--314
-
Prisms, 178(3)267--281
-
Privacy, 188(2)91--101
-
PRNG, KCS-, 185(4)285--311
-
Probabilistic, 178(1)101--138, 179(1)1--33, 187(2)71--102
-
probability, 178(1)101--138
-
problem, 174(1)83--101, 174(3)201--228, 174(3)259--281, 174(3)311--344,
177(2)189--201, 179(4)385--397, 182(3)243--255, 182(3)257--283,
183(1)97--123
-
process, 175(1)123--141, 176(2)183--203, 179(4)321--344, 182(1)1--29,
182(2)181--218, 183(3)293--317, 185(4)285--311
-
Processing, 179(2)113--134
-
Processors, 179(1)35--58
-
product, 178(3)187--202, 183(1)1--31, 185(3)201--220
-
Production, 179(4)361--384
-
Programming, 176(3)205--234, 176(3)299--319, 177(3)275--296,
177(3)359--383
-
Programs, 178(1)31--57, 178(3)229--266, 184(4)307--354
-
progression, 176(2)167--181
-
Proietti, Maurizio, 173(4)i--ii, 177(3)i--iii, 178(4)i--ii, 181(1)v--vi
-
Proietti, Maurizio, see Casagrande, Alberto,
see Felli, Paolo, \see{Fioravanti, Fabio,
see Hermenegildo, Manuel
-
Projection, 172(2)129--142, 172(4)379--397
-
proof, 182(4)363--393, 185(4)313--336
-
property, 172(1)73--95, 175(1)173--185, 182(4)321--344, 185(4)285--311,
187(2)245--272
-
proposed, 185(4)285--311
-
proposes, 185(4)285--311
-
Propositional, 174(2)185--199
-
protect, 185(4)285--311
-
Protocol, 173(1)73--89, 178(4)347--378, 188(2)91--101
-
provably, 185(4)285--311
-
Proving, 177(1)69--93
-
Pr{\r{u}}{\v{s}}a, Daniel, 180(1)v--vi,
see Hirvensalo, Mika
-
Przybyszewski, Andrzej W., 176(2)167--181
-
Przybyszewski:2020:CDD, 176(2)167--181
-
Pseudo-Boolean, 174(3)229--258
-
pseudorandom, 185(4)285--311
-
Puertas, María L., 185(2)185--199,
see Garzón, Ester M.
-
Pure, 178(4)283--313, 187(2)139--165
-
Pushdown, 180(1)1--28
-
Pythagoras, 184(4)297--306