Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
P
-
P, 10(1)95--97, 11(1)88--90, 12(2)158--164, 15(1)98--98, 15(1)98--100,
16(1)95--97
-
PA, 13(1)131--132
-
Pacak, André, 155(z)146--172, see Grewe, Sylvia
-
Pace, Andrés Díaz, 182(z)64--85,
see Vidal, Santiago
-
Pace, Jorge Andrés, Diaz-, 172(z)264--293
-
Pacheco, Carlos, 69(1)35--45
-
Pacheco, Carlos, see Ernst, Michael D.
-
Pacific, Asia-, 163(z)138--138
-
pack, 10(2)218--219
-
package, 16(2)103--149, 28(2)193--223, 31(2)205--229, 31(2)231--261,
31(2)291--311, 31(2)335--358, 31(2)359--381, 89(z)298--319,
207(z)z--99999999, 208(z)z--99999999, 235(z)z--99999999
-
Packet, 4(3)249--256
-
packets, 4(3)249--256
-
packing, 48(1)67--80
-
Pacta, 225(z)z--99999999
-
Pacull, François, 31(2)179--203,
see Andreoli, Jean-Marc
-
Padberg, J., 40(1)97--118
-
Padberg:2001:RBR, 40(1)97--118
-
Padget, Julian, 17(1)217--245
-
Padovani, Luca, 74(10)777--811, 84(z)22--51
-
Padovani, Luca, see Carpineti, Samuele,
see Jaksi{\'c}, Svetlana
-
Padua, David, 62(1)25--46
-
Padua, David, see Cohen, Albert
-
Pagani, Daniele, 31(2)179--203
-
Pagani, Daniele, see Andreoli, Jean-Marc
-
Pagano, Miguel, 197(z)z--99999999
-
Pagano, Miguel, see Gadea, Alejandro
-
pages, 9(1)101--105, 10(1)90--92, 10(1)92--93, 10(1)95--97,
10(2)215--216, 10(2)217--217, 11(1)95--97, 11(2)175--176,
12(1)85--87, 18(2)207--209, 18(2)209--213, 18(2)218--221,
24(2)183--185, 34(1)75--77, 34(2)159--161, 38(1)143--146,
38(1)147--149, 38(1)151--153, 38(1)155--157, 62(1)66--84
-
Paige, Richard, 234(z)z--99999999
-
Paige, Richard, see Di Ruscio, Davide
-
Paige, Richard F., 89(z)69--70, 96(z)396--416, 233(z)z--99999999
-
Paige, Richard F., see Di Ruscio, Davide,
see Muñoz, Paula
-
Paige, Robert, 4(2)211--218, 11(3)197--261, 24(3)189--220
-
Paige, Robert, see Apt, Krzysztof R.,
see Bloom, Bard, \see{Cai, Jiazhen
-
Paige:2014:TMG, 96(z)396--416
-
pain, 137(z)63--97
-
pair, 195(z)z--99999999
-
pair, edge-, 152(z)99--115
-
pairwise, 74(10)861--878
-
Paisante, Vitor, 152(z)161--184
-
Paisante, Vitor, see Maalej, Maroua
-
Paiva, Ana C. R., 211(z)z--99999999
-
Paiva, Ana C. R., see Macedo, Nuno
-
Päivärinta, Tero, 101(z)124--135
-
Paivarinta:2015:TAS, 101(z)124--135
-
Paixão, João, 218(z)z--99999999
-
Paixao:2022:HLA, 218(z)z--99999999
-
Palacios, Ricardo, Colomo-, 95(z)1--2, 121(z)55--74, 156(z)90--103,
184(z)z--99999999
-
Palacz, K., 57(3)357--378
-
Palacz:2005:ECI, 57(3)357--378
-
Palamidessi, Catuscia, 188(z)z--99999999
-
Palamidessi, Catuscia, see Castiglioni, Valentina
-
Palanque, Philippe, 86(z)3--29
-
Palanque, Philippe, see Barboni, Eric
-
Paleri, V. K., 48(1)1--20
-
Paleri:2003:PRE, 48(1)1--20
-
Palikareva, Hristina, 77(10)1178--1197
-
Palikareva:2012:SSC, 77(10)1178--1197
-
palindrome, 9(1)91--100
-
Palix, Nicolas, 91(z)141--160
-
Palix, Nicolas, see Olesen, Mads Chr.
-
Pallec, Xavier, Le, 230(z)z--99999999, 234(z)z--99999999
-
Pallene, 189(z)z--99999999
-
Palma, Noel, De, 117(z)1--16, 146(z)87--103
-
Palmer, Robert, 76(2)65--81
-
Palmer, Robert, see Li, Guodong
-
Palomba, Fabio, 180(z)1--15, 229(z)z--99999999
-
Palomba, Fabio, see Felderer, Michael,
see Vassallo, Carmine
-
Palomino, Miguel, 78(12)2468--2487
-
Palomino, Miguel, see Aceto, Luca
-
PALS, 103(z)13--50
-
Palsberg, Jens, 23(1)19--53, 29(3)303--326, 52(1)281--306
-
Palsberg, Jens, see Glew, Neal
-
Palsberg:1994:STO, 23(1)19--53
-
Palsberg:1997:NAC, 29(3)303--326
-
PAMELA, 210(z)z--99999999
-
PAMOJA, 229(z)z--99999999
-
Panach, Jose Ignacio, 78(11)2245--2258, 86(z)74--88, 172(z)232--263
-
Panach, Jose Ignacio, see Condori-Fernández, Nelly,
see Parra, Otto
-
Panach, José Ignacio, 204(z)z--99999999, 230(z)z--99999999,
see Bernárdez, Beatriz,
see Díaz, Eduardo
-
Panach:2014:PMU, 86(z)74--88
-
Pandu Rangan, C., 25(1)63--77
-
Pandu Rangan, C., see Madhukar, K.
-
Pandya, P. K., 18(3)271--280
-
Pandya, P. K., see Gardiner, P. H. B.
-
Panella, Federica, 112(z)195--226
-
Panella, Federica, see Barenghi, Alessandro
-
Panetta, Jairo, 78(4)412--421
-
Panetta, Jairo, see Rodrigues, Eduardo R.
-
Pang, Jun, 95(z)273--274, 123(z)1, 180(z)18--35, 187(z)z--99999999,
215(z)z--99999999
-
Pang, Jun, see Mousavi, Mohammad Reza,
see Yuan, Qixia, \see{Zhang, Chenyi
-
Pang, Linna, 113(z)149--190
-
Pang:2015:FVF, 113(z)149--190
-
Pang:2016:SEP, 123(z)1
-
Paniagua, Fernando, 61(1)16--26
-
Paniagua, Fernando, see Shin, Michael E.
-
Panichella, Sebastiano, 205(z)z--99999999, 226(z)z--99999999
-
Panichella, Sebastiano, see Birchler, Christian,
see Kallis, Rafael
-
Pantekis, Filippos, 233(z)z--99999999
-
Pantekis, Filippos, see James, Phillip
-
Pantel, Marc, 216(z)z--99999999
-
Pantel, Marc, see Dupont, Guillaume
-
Pantelic, Vera, 113(z)29--50
-
Pantelic, Vera, see Bender, Marc
-
Paoletti, Nicola, 115(z)23--46
-
Paoletti, Nicola, see Merelli, Emanuela
-
Paolini, Luca, 169(z)1--17, 172(z)203--231, 224(z)z--99999999
-
Paolini, Luca, see Beek, Maurice H. ter,
see Damiani, Ferruccio
-
Papa, María Fernanda, 235(z)z--99999999,
see Becker, Pablo
-
Papadakis, Mike, 95(z)298--319
-
Papadakis:2014:MEE, 95(z)298--319
-
Papadopoulos, George A., 60(1)27--67
-
Papadopoulos:2006:IFS, 60(1)27--67
-
Papajewski, Holger, 53(3)333--352
-
Papajewski, Holger, see Beuche, Danilo
-
Papanikolaou, Nikolaos, 77(10)1198--1209
-
Papanikolaou:2012:RCP, 77(10)1198--1209
-
Papapetrou, Odysseas, 60(1)27--67
-
Papapetrou, Odysseas, see Papadopoulos, George A.
-
Papaspyrou, Nikolaos, 80(z)223--263, 147(z)109--134
-
Papaspyrou, Nikolaos, see Gerakios, Prodromos,
see Giantsios, Aggelos
-
Pape, Tobias, 140(z)17--29
-
Pape:2017:AJT, 140(z)17--29
-
paper, 1(1)149--155, 2(1)87--88, 4(1)45--86, 5(3)321--321, 13(1)131--132,
15(1)115--116, 21(2)141--163, 21(2)165--190, 22(0)181--356,
22(3)197--230, 22(3)231--256, 22(3)307--326, 22(3)327--354,
23(2)107--125, 23(2)127--149, 23(2)151--195, 23(2)197--226,
23(2)227--286, 26(0)274, 38(1)147--149, 46(3)195--196, 68(1)1--1,
76(5)347--348, 76(6)467--468, 76(9)737--738, 76(10)835--836,
77(4)423--423, 77(6)661--662, 77(6)741--742, 77(7)777--778,
77(7)887--888, 78(3)270--271, 78(11)2027--2028, 78(12)2433--2434,
80(z)1--2, 80(z)107--108, 85(z)101--101, 91(z)1--2, 92(z)85--85,
94(z)1--2, 94(z)67--68, 94(z)253--254, 95(z)147--148, 95(z)343--343,
96(z)175--176, 97(z)331--332, 97(z)381--382, 99(z)1--2, 107(z)1,
110(z)1--2, 112(z)1--2, 112(z)119, 113(z)1--2, 119(z)1--2, 123(z)1,
126(z)1--2, 132(z)1, 137(z)1--1, 146(z)1--1, 147(z)1--2, 160(z)1--2,
166(z)1--2, 173(z)1--2, 178(z)43--44, 182(z)86--87,
191(z)z--99999999, 204(z)z--99999999, 206(z)z--99999999,
216(z)z--99999999, 218(z)z--99999999, 219(z)z--99999999,
220(z)z--99999999, 225(z)z--99999999, 230(z)z--99999999,
233(z)z--99999999, 235(z)z--99999999
-
paperback, 10(1)95--97, 10(2)217--217, 12(1)83--84, 12(1)84--84,
12(2)157--158, 12(2)164--165, 12(2)165--167, 12(2)167--168,
12(2)168--170, 12(2)170--172, 12(2)172--173, 12(2)174--175,
12(3)255--257, 12(3)259--260, 12(3)260--264, 12(3)264--265,
13(1)117--119, 13(1)122--125, 13(1)125--127, 13(1)127--128,
13(1)128--130, 14(1)103--105, 14(1)105--106, 14(1)110--110,
15(1)95--97, 15(1)97--97, 15(1)111--112, 16(1)89--90, 16(1)90--90,
16(1)91--92, 16(1)92--93, 16(1)93--95, 16(2)198--200, 16(2)200--201,
16(2)204--205, 18(2)205--207, 18(2)207--209, 18(2)215--218,
18(2)218--221, 33(1)97--99, 38(1)155--157
-
Papoulias, N., 140(z)2--16
-
Papoulias:2017:EUA, 140(z)2--16
-
Pappalardo, Giuseppe, 139(z)36--55
-
Pappalardo, Giuseppe, see Fichera, Loris
-
PapyGame, 230(z)z--99999999
-
Papyrus, 231(z)z--99999999
-
paradigm, 9(1)37--83, 16(2)200--201, 19(1)25--59, 60(1)27--67,
67(1)32--58, 67(1)76--90, 73(1)39--58, 75(12)1262--1269,
76(8)711--735, 78(5)594--611, 78(9)1407--1426, 94(z)333--361,
156(z)z--99999999, 167(z)70--90, 208(z)z--99999999
-
paradigm, Multi-, 57(2)217--250
-
paragraph, 6(2)159--190, 35(1)3--27
-
parallel, 3(2)189--204, 7(3)249--278, 8(3)213--229, 9(1)91--100,
10(1)1--18, 12(3)265--266, 13(1)111--116, 13(2)133--180,
15(1)111--112, 15(2)159--169, 15(2)171--183, 15(2)185--200,
15(2)201--215, 17(1)217--245, 18(1)1--38, 19(1)25--59,
20(3)205--221, 21(1)1--56, 22(1)107--135, 23(0)107--311, 23(1)1--18,
23(2)107--125, 24(2)129--148, 25(2)251--283, 26(1)59--78,
26(1)79--97, 28(0)91--299, 28(1)1--41, 28(1)43--90, 28(2)111--138,
29(1)199--233, 30(1)51--82, 30(1)157--199, 30(1)227--250,
33(1)1--27, 37(1)207--224, 40(2)235--263, 41(3)195--240,
64(3)341--374, 77(12)1272--1288, 78(5)458--480, 80(z)52--64,
80(z)65--90, 98(z)159--183, 112(z)195--226, 145(z)1--12,
173(z)95--127, 184(z)z--99999999, 185(z)z--99999999
-
Parallel, Serial-, 15(2)201--215
-
parallel, serial-, 15(2)201--215
-
Parallel, Series-, 11(2)167--173
-
parallelism, 74(5)296--313, 80(z)52--64, 111(z)23--50, 133(z)175--193
-
parallelization, 26(1)59--78, 78(8)1193--1206, 173(z)128--152,
195(z)z--99999999
-
parallelotopes, 148(z)161--188
-
parameter, 11(1)17--28, 33(1)87--96, 64(3)286--311, 171(z)42--66,
185(z)z--99999999, 233(z)z--99999999
-
parameterised, 126(z)94--110, 188(z)z--99999999, 198(z)z--99999999
-
parameterized, 8(1)69--86, 15(2)159--169, 115(z)100--126, 172(z)63--101
-
parametric, 8(2)147--172, 42(1)49--60, 63(3)267--296, 97(z)282--308,
233(z)z--99999999
-
Parberry, Ian, 67(1)76--90
-
Parberry, Ian, see Roden, Timothy E.
-
Pardo, Alberto, 78(8)1121--1136, 132(z)77--95, 173(z)71--94
-
Pardo, Alberto, see Fernandes, João Paulo,
see Martínez, Mónica
-
Pardo, Juan José, 77(3)290--313,
see Valero, Valentín
-
Pardo:2016:MIS, 132(z)77--95
-
Paredes-Valverde, Mario Andrés, 156(z)90--103
-
Paredes-Valverde:2018:OBA, 156(z)90--103
-
Parejo, José A., 230(z)z--99999999,
see Bernárdez, Beatriz
-
Parent, Sean, 75(9)773--786
-
Parent, Sean, see Pirkelbauer, Peter
-
Pareschi, Remo, 30(1)201--226, 31(2)179--203
-
Pareschi, Remo, see Andreoli, Jean-Marc,
see Borghoff, Uwe M.
-
Parigot, Didier, 47(1)1--1
-
Parigot, Didier, see Brand, Mark van den
-
Parisash, 11(2)175--176, 11(2)191--195
-
Parízek, Pavel, 98(z)735--763
-
Parizek:2015:MCC, 98(z)735--763
-
Park, Mingyu, 103(z)51--70
-
Park, Mingyu, see Choi, Yunja
-
Parke, Tom, 10(1)90--92
-
Parke:1988:BRB, 10(1)90--92
-
Parma, 72(1)3--21
-
Parnas, David Lorge, 25(1)41--61, 75(11)980--1000
-
Parnas, David Lorge, see Jin, Ying
-
Parnas:1995:FDC, 25(1)41--61
-
Parolini, Francesco, 229(z)z--99999999
-
Parolini:2023:SSA, 229(z)z--99999999
-
Parra, Carlos, 76(12)1247--1260
-
Parra, Otto, 172(z)232--263
-
Parra:2011:UDR, 76(12)1247--1260
-
Parra:2019:ECE, 172(z)232--263
-
Parse, 97(z)59--63
-
parse-tree, 78(10)1828--1844
-
parser, 9(3)271--286, 68(2)95--110, 75(11)943--979, 77(9)990--1005,
161(z)57--88, 214(z)z--99999999
-
parsing, 7(1)61--86, 8(1)1--42, 12(2)105--121, 27(3)263--288,
61(3)228--244, 68(1)2--20, 75(1)55--70, 84(z)52--76, 89(z)235--250,
93(z)3--18, 96(z)177--190, 96(z)191--210, 97(z)150--156,
112(z)195--226, 125(z)1--22, 132(z)129--140, 150(z)31--55,
161(z)57--88, 187(z)z--99999999, 228(z)z--99999999
-
parsing, lr-, 19(2)171--196
-
parsing, LR-, 19(2)171--196
-
Parsons, Jeffrey, 73(1)39--58
-
Parsons, Jeffrey, see Gokhale, Aniruddha
-
part-of, 33(2)163--212
-
partial, 4(2)141--157, 16(2)151--195, 21(1)57--90, 21(2)115--139,
21(3)263--291, 25(2)149--186, 30(1)51--82, 34(1)55--73, 35(1)29--75,
48(1)1--20, 62(1)47--65, 76(6)467--468, 76(6)469--491,
76(10)877--890, 76(11)1037--1053, 82(z)56--76, 94(z)238--252,
95(z)147--148, 112(z)119, 115(z)127--145, 137(z)1--1,
232(z)z--99999999
-
partial-correctness, 186(z)z--99999999
-
partial-order, 34(3)207--238
-
partiality, 34(2)141--158
-
partially, 9(1)85--89, 10(1)1--18, 72(3)220--239
-
partially-distributed, 115(z)199--224, 160(z)48--77
-
participants, 204(z)z--99999999
-
Particular, 7(2)99--241
-
partition, 13(2)219--236, 33(2)163--212, 78(1)27--45, 90(z)34--41
-
partitioning, 7(1)23--33, 78(7)778--795, 80(z)52--64, 156(z)21--44
-
partner, 213(z)z--99999999, 214(z)z--99999999
-
parts, 26(1)237--254
-
Partsch, H., 1(1)73--114, 3(1)1--35, 4(1)17--44, 7(2)99--241,
11(3)263--297
-
Partsch, H., see Bauer, F. L.
-
Partsch:1983:ETD, 3(1)1--35
-
Partsch:1984:STD, 4(1)17--44
-
Partsch:1986:TPD, 7(2)99--241
-
Partsch:1989:IRR, 11(3)263--297
-
Pas, M. van der, 77(3)314--354
-
Pas, M. van der, see Eveleens, J. L.
-
Pasareanu, Corina S., 75(10)809--810, 91(z)1--2
-
Pasareanu, Corina S., see Canal, Carlos
-
Pasareanu:2014:SIF, 91(z)1--2
-
Pascal, 9(3)221--262, 12(1)87--88, 13(1)127--128, 16(1)92--93,
26(1)133--148, 34(1)55--73
-
Pascal-like, 34(1)55--73
-
Pascual, Romain, 214(z)z--99999999
-
Pascual:2022:TCP, 214(z)z--99999999
-
Pasquier, Matthias, 232(z)z--99999999
-
Pasquier, Matthias, see Jouault, Frédéric
-
Passerone, Roberto, 115(z)225--246
-
Passerone, Roberto, see Le, Thi Thieu Hoa
-
passing, 4(3)291--322, 6(3)291--311, 7(1)1--22, 22(3)183--195,
24(2)105--128, 26(1)179--196, 62(2)98--121, 66(3)184--204,
94(z)93--108
-
passing, message-, 24(2)105--128, 41(3)241--275, 74(8)498--533,
234(z)z--99999999
-
Passos, Leonardo, 176(z)14--32
-
Passos, Leonardo, see Avelino, Guilherme
-
past-the-post, First-, 85(z)166--203
-
Pasteur, Cédric, 111(z)190--211, see Mandel, Louis
-
Pastor, Oscar, 172(z)232--263, 204(z)z--99999999
-
Pastor, Oscar, see Díaz, Eduardo,
see Parra, Otto
-
Pastor, Óscar, 78(11)2245--2258, 86(z)74--88,
see Condori-Fernández, Nelly,
see Panach, Jose Ignacio
-
Pastro, Craig, 74(8)498--533
-
Pastro, Craig, see Cockett, J. R. B.
-
Pastry, 158(z)64--80
-
Pastva, Samuel, 185(z)z--99999999
-
Pastva, Samuel, see Benes, Nikola
-
Pataricza, András, 44(2)205--227,
see Varró, Dániel
-
Patcas, Lucian M., 111(z)339--362
-
Patcas:2015:IRF, 111(z)339--362
-
patch, 217(z)z--99999999, 235(z)z--99999999
-
patents, 64(3)263--263, 64(3)264--285
-
Paterson, Colin, 218(z)z--99999999
-
Paterson, Colin, see Gleirscher, Mario
-
Paterson, James, 198(z)z--99999999
-
Paterson, James, see Bednarik, Roman
-
Paterson, Mike, 10(1)93--95
-
Paterson:1988:BRB, 10(1)93--95
-
path, 6(1)1--9, 15(1)55--77, 15(2)135--158, 21(2)115--139, 22(1)3--19,
22(1)157--180, 53(1)107--122, 97(z)91--97, 152(z)99--115,
157(z)41--55, 184(z)z--99999999, 228(z)z--99999999
-
path, shortest-, 22(1)3--19
-
path, single-, 166(z)146--166
-
Pathade, Komal, 228(z)z--99999999
-
Pathade:2023:CMF, 228(z)z--99999999
-
pathway, 232(z)z--99999999
-
Patt-Shamir, Boaz, 29(3)303--326
-
Patt-Shamir, Boaz, see Palsberg, Jens
-
pattern, 10(1)1--18, 11(2)133--159, 12(1)39--74, 12(2)93--104,
12(3)177--190, 25(2)187--218, 27(2)85--118, 27(2)119--137,
38(1)27--71, 40(2)235--263, 48(2)99--117, 56(1)231--249,
75(3)85--105, 75(11)1095--1112, 77(5)551--576, 77(5)609--635,
78(11)2216--2242, 80(z)211--222, 80(z)440--456, 83(z)3--34,
91(z)3--44, 91(z)249--265, 92(z)105--128, 121(z)176--189,
129(z)20--34, 161(z)149--171, 171(z)1--20, 197(z)z--99999999,
199(z)z--99999999, 214(z)z--99999999, 215(z)z--99999999,
216(z)z--99999999
-
pattern-based, 163(z)19--41, 227(z)z--99999999
-
pattern-matching, 11(2)133--159
-
patterns, anti-, 89(z)374--407
-
Paul, 38(1)155--157
-
Paulin-Mohring, Christine, 74(8)568--589, 76(3)159--159
-
Paulin-Mohring, Christine, see Audebaud, Philippe
-
Paull, M. C., 11(1)1--15
-
Paull, M. C., see Ryder, B. G.
-
Paulson, 11(2)178--180
-
Paulson, Lawrence C., 3(2)119--149, 5(2)143--169
-
Paulson:1983:HOI, 3(2)119--149
-
Paulson:1985:VUA, 5(2)143--169
-
Pavan Kumar, D., 25(1)63--77
-
Pavan Kumar, D., see Madhukar, K.
-
Paviot-Adet, Emmanuel, 235(z)z--99999999
-
Paviot-Adet, Emmanuel, see Thierry-Mieg, Yann
-
Pavón, Juan, 77(3)247--269,
see Fuentes-Fernández, Rubén
-
Paz-Lopez, A., 78(10)1971--1986
-
Paz-Lopez:2013:TUA, 78(10)1971--1986
-
Pazzaglia, L., 31(2)231--261
-
Pazzaglia, L., see Ciancarini, P.
-
PBRD, 76(1)3--22
-
PCC, 50(1)101--127
-
pCSSL, 166(z)71--88
-
PCTL, 110(z)23--50
-
Pearce, David J., 76(7)587--608, 113(z)191--220
-
Pearce, David J., see Male, Chris
-
Pearce:2015:DVC, 113(z)191--220
-
Péchoux, Romain, 111(z)395--425, see Gaboardi, Marco
-
Peck, Mariano Martinez, 98(z)339--359
-
Peck:2015:GUG, 98(z)339--359
-
Pecorelli, Fabiano, 205(z)z--99999999, 214(z)z--99999999,
229(z)z--99999999
-
Pecorelli, Fabiano, see De Stefano, Manuel,
see Felderer, Michael
-
Pecorelli:2021:ASC, 205(z)z--99999999
-
pedagogy, 69(1)76--85
-
Pedicini, M., 111(z)365--394
-
Pedicini, M., see Canavese, D.
-
Pedreschi, Dino, 9(2)161--177, 48(2)163--196
-
Pedreschi, Dino, see Giannotti, Fosca
-
Pedreschi:2003:LPA, 48(2)163--196
-
Pedro-de-Jesus, Lurdes, 45(2)137--153
-
Pedro-de-Jesus, Lurdes, see Sousa, Pedro
-
Pedroso, João Pedro, 111(z)505--534,
see Rodrigues, Vítor
-
peephole, 72(1)40--51
-
peer, 54(1)49--71
-
peer, peer-to-, 97(z)202--234
-
Peer-Model, 223(z)z--99999999
-
peer-to-peer, 97(z)202--234
-
Pek, Ekaterina, 89(z)251--272
-
Pek, Ekaterina, see Vasilescu, Bogdan
-
Pelckmans, Kristiaan, 101(z)42--65
-
Pelckmans, Kristiaan, see Stoica, Anca-Juliana
-
Pelechano, Vicente, 78(10)1987--2008, 78(12)2399--2413
-
Pelechano, Vicente, see Cetina, Carlos,
see Gil, Miriam
-
Peleska, Jan, 91(z)188--215, 133(z)91--115, 179(z)1--23,
226(z)z--99999999, 231(z)z--99999999
-
Peleska, Jan, see Feuser, Johannes,
see Gleirscher, Mario,
see Huang, Wen-ling, \see{Vu, Linh Hong
-
Peleska:2019:FCS, 179(z)1--23
-
Pellegrino, Laurent, 97(z)266--279
-
Pellegrino, Laurent, see Zagarese, Quirino
-
Pelliccione, Patrizio, 76(12)1144--1160, 191(z)z--99999999
-
Pelliccione, Patrizio, see Di Cosmo, Roberto
-
Pelliccione:2020:BCC, 191(z)z--99999999
-
Peña, Joaquin, 66(1)71--86
-
Peña, Ricardo, 111(z)51--78, 111(z)426--457, 111(z)458--482,
see Montenegro, Manuel
-
Peña, Vanessa, 79(z)86--100, see Bergel, Alexandre
-
Pena:2007:DME, 66(1)71--86
-
Peñalvo, Francisco J., García-, 121(z)55--74
-
Peñalvo, Francisco José, García-, 129(z)20--34
-
Peñalvo, Francisco, García-, 88(z)41--53
-
Peng, Wenxin, 167(z)51--69
-
Peng, Wenxin, see Cámara, Javier
-
Penninckx, Willem, 82(z)77--97
-
Penninckx, Willem, see Philippaerts, Pieter
-
Penrose, 15(1)100--111
-
Penta, Massimiliano, Di, 105(z)26--43
-
Pentagons, 75(9)796--807
-
Penttonen, 24(1)102--103
-
PEPM, 76(6)467--468
-
PEPM'15, 137(z)1--1
-
Pepper, P., 1(1)73--114, 12(3)257--259
-
Pepper, P., see Bauer, F. L.
-
Pepper, Peter, 7(1)35--53, 9(3)221--262, 28(2)247--271
-
Pepper, Peter, see Broy, Manfred
-
Pepper:1987:SCP, 9(3)221--262
-
Pepper:1989:BRB, 12(3)257--259
-
Pepper:1997:HLD, 28(2)247--271
-
perceptible, 76(11)1054--1072
-
perceptions, 235(z)z--99999999
-
Peregrinus, 10(2)218--219
-
Pereira, 14(1)110--110
-
Pereira, David P., 75(5)333--349
-
Pereira, Fernando M. Q., 173(z)128--152
-
Pereira, Fernando M. Q., see Rocha, Rodrigo C. O.
-
Pereira, Fernando Magno Quintão, 78(8)1193--1206, 80(z)91--105,
119(z)1--2, 152(z)161--184, 173(z)3--20, 173(z)21--36,
185(z)z--99999999, see Bessa, Tarsila,
see Ferreira, Bruno Morais,
see Lima, Caio, \see{Maalej, Maroua,
see Mata, Leonardo Luiz Padovani da,
see Rimsa, Andrei
-
Pereira, Gonçalo, 45(2)137--153, see Sousa, Pedro
-
Pereira, José, 211(z)z--99999999, see Macedo, Nuno
-
Pereira, Rui, 205(z)z--99999999
-
Pereira:2010:FAM, 75(5)333--349
-
Pereira:2016:SPB, 119(z)1--2
-
Pereira:2021:RPL, 205(z)z--99999999
-
Perera, Roly, 155(z)52--75
-
Perera, Roly, see Kouzapas, Dimitrios
-
Peressotti, Marco, 221(z)z--99999999, 228(z)z--99999999
-
Peressotti, Marco, see Chiapperini, Alessio,
see Giallorenzo, Saverio
-
Pereverzeva, I., 148(z)66--87
-
Pereverzeva, I., see Laibinis, L.
-
Pérez, A., García-, 95(z)176--199
-
Perez, Francisco E., Martínez-, 196(z)z--99999999
-
Pérez, Jorge A., 97(z)235--265, see Di Giusto, Cinzia
-
Perez-Cham, Oscar E., 196(z)z--99999999
-
Perez-Cham, Oscar E., see Nuñez-Varela, Alberto S.
-
Pérez-Gonzalez, Héctor G., 196(z)z--99999999,
see Nuñez-Varela, Alberto S.
-
Pérez-Marín, Diana, 88(z)92--109,
see Santos, Olga C.
-
Pérez-Rodríguez, Roberto, 129(z)72--91
-
Perez-Rodriguez:2016:ACB, 129(z)72--91
-
Perez-Schofield, Baltasar García, 176(z)1--13
-
Perez-Schofield, J. Baltasar García, 74(10)836--860,
see Ortin, Francisco
-
Perez-Schofield:2019:DOO, 176(z)1--13
-
Pérez-Vereda, Alejandro, 203(z)z--99999999
-
Perez-Vereda:2021:MDA, 203(z)z--99999999
-
PERF, 196(z)z--99999999
-
performance, 38(1)143--146, 44(1)101--129, 57(1)45--60, 57(1)89--108,
61(1)27--37, 61(1)58--71, 76(11)1054--1072, 78(5)425--444,
78(7)843--861, 78(9)1559--1571, 78(10)1930--1950, 79(z)158--171,
90(z)71--92, 90(z)116--134, 95(z)344--358, 97(z)266--279,
98(z)439--463, 125(z)1--22, 132(z)29--49, 132(z)96--128,
135(z)105--121, 136(z)43--59, 140(z)17--29, 173(z)56--70,
191(z)z--99999999, 205(z)z--99999999, 212(z)z--99999999,
226(z)z--99999999, 233(z)z--99999999
-
performance, high-, 11(1)94--95, 62(1)25--46, 77(9)990--1005
-
Performance-related, 61(1)27--37
-
Pergl, Robert, 215(z)z--99999999
-
Pergl, Robert, see Dvorák, Ondrej
-
periodic, 5(3)309--316, 154(z)42--60, 167(z)1--24
-
Periodicity, 12(3)177--190
-
peripheral, 5(2)111--142
-
Perisher, 2(1)89--89
-
Perkins, Jeff H., 69(1)35--45
-
Perkins, Jeff H., see Ernst, Michael D.
-
Perkowski, Marek, 218(z)z--99999999
-
Perkowski:2022:IPC, 218(z)z--99999999
-
Perkusich, Angelo, 56(1)171--189
-
Perkusich, Angelo, see Silva, Leandro Dias da
-
permutation, 11(2)161--165
-
permutation-invariant, 27(2)119--137
-
Perna, Juan, 77(4)424--443
-
Perna:2012:MWW, 77(4)424--443
-
Peron, A., 133(z)116--153
-
Peron, A., see Benerecetti, M.
-
Perovsek, Matic, 121(z)128--152
-
Perovsek:2016:TVP, 121(z)128--152
-
Perrin, Guy-René, 19(1)25--59
-
Perrin:1992:CRP, 19(1)25--59
-
Perrouin, Gilles, 226(z)z--99999999
-
Perrouin, Gilles, see Acher, Mathieu
-
Perry, Dewayne E., 101(z)99--123
-
Perry:2015:FEU, 101(z)99--123
-
Perscheid, M., 134(z)4--18
-
Perscheid, M., see Felgentreff, T.
-
persistence, 149(z)9--14
-
persistent, 136(z)43--59, 195(z)z--99999999
-
personal, 78(3)269--269, 88(z)41--53
-
personalised, 88(z)92--109
-
personalized, 231(z)z--99999999
-
personas, 152(z)1--37
-
Personnel, 18(1)1--38
-
perspective, 18(2)207--209, 62(2)95--97, 74(9)671--687, 91(z)188--215,
98(z)764--784, 110(z)78--103, 154(z)134--153, 191(z)z--99999999
-
pervasive, 78(5)556--568, 110(z)3--22
-
Peschanski, Frédéric, 66(3)246--265
-
Peschanski:2007:CMA, 66(3)246--265
-
Peter, 10(2)218--219, 12(3)255--257, 14(1)109--110
-
Peters, R. J., 71(1)17--56, 74(11)900--933, 130(z)37--68
-
Peters, R. J., see Delen, G. P. A. J.,
see Kulk, G. P.
-
Peters:2008:QYR, 71(1)17--56
-
Peterson, 29(3)327--334
-
Petersson, 16(2)202--203
-
Petit, Barbara, 84(z)77--100
-
Petit, Barbara, see Dal Lago, Ugo
-
Petre, Luigia, 80(z)25--49
-
Petre, Luigia, see Kamali, Maryam
-
Petri, 21(3)225--261, 23(0)107--311, 23(1)55--89, 23(2)151--195,
38(1)143--146, 41(3)195--240, 56(1)171--189, 77(3)290--313,
78(12)2414--2432, 109(z)96--124, 112(z)75--101, 132(z)209--225,
151(z)48--60, 157(z)1--2, 157(z)3--16, 157(z)41--55, 157(z)56--70,
157(z)71--102, 181(z)1--26, 206(z)z--99999999
-
Petri-net-based, 23(1)55--89
-
PetriDotNet, 157(z)17--40
-
Petrucci, Laure, 233(z)z--99999999
-
Petrucci, Laure, see Arias, Jaime
-
Pettersson, Paul, 133(z)216--242
-
Pettersson, Paul, see Seceleanu, Cristina
-
Pettorossi, A., 95(z)149--175, 147(z)78--108
-
Pettorossi, A., see De Angelis, E.
-
Peyton Jones, Simon L., 32(1)3--47
-
PeytonJones:1998:TBO, 32(1)3--47
-
Pfähler, Jörg, 131(z)3--21, 158(z)21--40,
see Ernst, Gidon,
see Schellhorn, Gerhard
-
Pham, Thanh-Trung, 97(z)426--457
-
Pham:2015:RPC, 97(z)426--457
-
Pharo, 96(z)141--155, 161(z)34--56, 161(z)89--104, 191(z)z--99999999
-
Phase-based, 59(1)64--81
-
phases, 78(8)1099--1118
-
Philadelphia, 13(1)131--132
-
Philippaerts, Pieter, 82(z)77--97
-
Philippaerts:2014:SVV, 82(z)77--97
-
Philippou, Anna, 235(z)z--99999999
-
Philippou, Anna, see Damiani, Ferruccio
-
Philips, E., 78(2)168--194
-
Philips:2013:NOS, 78(2)168--194
-
Phoa, Wesley, 17(1)77--117
-
PHP, 134(z)37--46, 171(z)1--20
-
Physical, 166(z)71--88
-
Physical, Cyber-, 78(12)2453--2467
-
physical, cyber-, 103(z)13--50, 162(z)35--54
-
pi, 111(z)300--317
-
PI3Kash, 232(z)z--99999999
-
Piancastelli, Giulio, 76(1)37--62
-
Piancastelli, Giulio, see Ricci, Alessandro
-
Pianini, Danilo, 110(z)3--22, 203(z)z--99999999
-
Pianini, Danilo, see Audrito, Giorgio,
see Viroli, Mirko
-
Piatkowski, Marcin, 151(z)48--60
-
Piatkowski, Marcin, see Barylska, Kamila
-
Pica, 134(z)100--111
-
Picard, Damien, 96(z)156--174
-
Picard, Damien, see Lagadec, Loïc
-
Picco, Gian Pietro, 64(2)185--186
-
Picco, Gian Pietro, see Jacquet, Jean-Marie
-
Pickin, Simon, 91(z)161--187
-
Pickin, Simon, see Breuer, Peter T.
-
picto, 232(z)z--99999999
-
PiDuce, 74(10)777--811
-
Pieprzyk, 12(3)259--260
-
Pierantonio, Alfonso, 68(3)111--113, 76(12)1144--1160, 89(z)69--70,
232(z)z--99999999
-
Pierantonio, Alfonso, see Basciani, Francesco,
see Di Cosmo, Roberto,
see Di Ruscio, Davide
-
Pierantonio:2007:SIM, 68(3)111--113
-
Piessens, Frank, 74(1)1--1, 82(z)77--97
-
Piessens, Frank, see Massacci, Fabio,
see Philippaerts, Pieter
-
Pietro, P., San, 20(1)141--171
-
Pigorsch, Florian, 77(10)1122--1150
-
Pigorsch, Florian, see Damm, Werner
-
Pigs, 52(1)213--255
-
Pilbrow, Colin, 113(z)119--148
-
Pilbrow:2015:ACN, 113(z)119--148
-
Pilla, Maurício, Lima, 173(z)56--70
-
Pillay, S., 85(z)5--40
-
Pillay, S., see Kolahdouz-Rahimi, S.
-
Pimenta, Marcelo Soares, 78(1)117--144
-
Pimenta, Marcelo Soares, see Piveta, Eduardo Kessler
-
Pimentel, Ernesto, 41(2)105--138, 61(2)73--74, 61(2)136--151,
63(1)39--56, 65(1)57--69, 74(9)669--670, 203(z)z--99999999,
204(z)z--99999999
-
Pimentel, Ernesto, see Brogi, Antonio,
see Canal, Carlos,
see Gallardo, María del Mar,
see Pérez-Vereda, Alejandro
-
Pimentel:2009:SII, 74(9)669--670
-
Pimentel:2021:PSI, 204(z)z--99999999
-
Piña, Rosario, Marín-, 121(z)176--189
-
Pinchinat, Sophie, 77(12)1212--1234
-
Pinchinat, Sophie, see Bertrand, Nathalie
-
Pinheiro, Pedro, 191(z)z--99999999
-
Pinheiro:2020:MCA, 191(z)z--99999999
-
Pinho, Eduardo Gurgel, 80(z)65--90
-
Pinho:2014:OOP, 80(z)65--90
-
Pinisetty, Srinivas, 123(z)2--41
-
Pinisetty, Srinivas, see Falcone, Yliès
-
Pinna, G. Michele, 112(z)75--101
-
Pinna, G. Michele, see Bartoletti, Massimo
-
Pino, Luis F., 100(z)84--104, 111(z)135--155
-
Pino:2015:EAP, 111(z)135--155
-
Pino:2015:WCB, 100(z)84--104
-
Pinto, Jorge S., 78(7)796--812
-
Pinto, Jorge S., see Almeida, J. Bacelar
-
Pinto, Jorge Sousa, 91(z)216--233
-
Pinto, Jorge Sousa, see Almeida, José Bacelar
-
Pioli, Anthony, 39(1)31--55
-
Pioli, Anthony, see Hind, Michael
-
Pion, Sylvain, 76(4)307--323
-
Pion:2011:GLE, 76(4)307--323
-
pipeline, 24(1)83--95, 94(z)255--288
-
Pirkelbauer, Peter, 75(7)638--667, 75(9)773--786
-
Pirkelbauer:2010:DAS, 75(9)773--786
-
Pirkelbauer:2010:DEC, 75(7)638--667
-
Piromsopa, Krerk, 198(z)z--99999999
-
Piromsopa, Krerk, see Dhumbumroong, Smith
-
Pirzadeh, Heidar, 78(8)1099--1118
-
Pirzadeh:2013:SSE, 78(8)1099--1118
-
pitfalls, 42(1)29--38, 119(z)31--50
-
Pitman, 12(2)168--170
-
Pittou, Maria, 167(z)1--24
-
Pittou:2018:CMV, 167(z)1--24
-
Piveta, Eduardo, Kessler, 173(z)37--55
-
Piveta, Eduardo Kessler, 78(1)117--144, 78(8)1157--1175
-
Piveta, Eduardo Kessler, see Rubbo, Fernando Barden
-
Piveta:2012:ESA, 78(1)117--144
-
PiXL, 65(1)57--69
-
\pkgBURST, 226(z)z--99999999
-
\pkgCLG-Trans, 226(z)z--99999999
-
\pkgCoolTeD, 227(z)z--99999999
-
\pkgdesync-cc, 228(z)z--99999999
-
\pkgDevReplay, 223(z)z--99999999
-
\pkgEvoMBT, 227(z)z--99999999
-
\pkgFTS4VMC, 224(z)z--99999999
-
\pkgHermes, 215(z)z--99999999
-
\pkgKraken, 225(z)z--99999999
-
\pkgLEMMA2Jolie, 228(z)z--99999999
-
\pkgnfer, 225(z)z--99999999
-
\pkgPAMOJA, 211(z)z--99999999
-
\pkgParglare, 214(z)z--99999999
-
\pkgQMaxUSE, 228(z)z--99999999
-
\pkgQueryAGT, 225(z)z--99999999
-
\pkgSAMOS, 223(z)z--99999999
-
\pkg{SATDBailiff}-mining, 213(z)z--99999999
-
\pkgSSDTutor, 227(z)z--99999999
-
\pkgStipula, 225(z)z--99999999
-
\pkgTrylock, 216(z)z--99999999
-
placement, 4(3)221--248
-
Plagge, Daniel, 78(3)272--292
-
Plagge, Daniel, see Hallerstede, Stefan
-
plain-old, 36(1)97--127
-
Plaisted, David A., 34(3)207--238
-
Plaisted, David A., see Osorio, Mauricio
-
plan, 36(2)285--302, 36(2)303--324
-
planar, 78(12)2511--2536
-
plane, 29(1)259--278, 66(2)154--161
-
planning, 12(3)264--265, 42(1)1--10, 53(1)107--122, 147(z)54--77,
168(z)142--164, 191(z)z--99999999, 230(z)z--99999999
-
Plantec, Alain, 96(z)1--3, 161(z)18--33, 161(z)149--171
-
Plantec, Alain, see Cavarlé, Glenn,
see Costiou, Steven,
see Lagadec, Loïc
-
platform, 74(1)13--22, 80(z)65--90, 91(z)216--233, 94(z)164--202,
106(z)3--29, 121(z)128--152, 132(z)96--128, 199(z)z--99999999,
211(z)z--99999999, 225(z)z--99999999, 231(z)z--99999999
-
platform, cross-, 97(z)31--36
-
platform, multi-, 172(z)63--101
-
platform-agnostic, 225(z)z--99999999
-
Plath, Malte, 41(1)53--84
-
Plath:2001:FIU, 41(1)53--84
-
platooning, 148(z)88--106
-
player, 15(2)235--248
-
Players, 15(2)235--248
-
Playing, 12(3)177--190
-
PLC, 215(z)z--99999999
-
Ploeg, Atze van der, 114(z)7--19
-
Ploeg, Atze van der, see Basten, Bas
-
Ploennigs, Joern, 77(2)83--95
-
Ploennigs, Joern, see Ryssel, Uwe
-
Plosila, J., 55(1)259--288
-
Plosila:2005:ASS, 55(1)259--288
-
plugin, 180(z)71--80, 231(z)z--99999999
-
Plump, Detlef, 34(1)1--54, 214(z)z--99999999
-
Plump, Detlef, see Andries, Marc,
see Campbell, Graham
-
PLUSS, 12(1)1--38
-
Pnueli, 75(4)211--213
-
Pnueli, Amir, 4(3)257--290, 55(1)81--115
-
Pnueli, Amir, see Damm, Werner,
see Manna, Zohar
-
Poetzsch-Heffter, Arnd, 62(3)253--286, 92(z)129--161,
210(z)z--99999999
-
Poetzsch-Heffter, Arnd, see Müller, Peter,
see Welsch, Yannick, \see{Zeller, Peter
-
Pohl, Klaus, 78(12)2414--2432
-
Pohl, Klaus, see Heuer, André
-
Pohlmann, Werner, 2(1)69--81
-
Pohlmann, Werner, see Heilbrunner, Stephan
-
point, 11(3)197--261, 21(2)93--113, 22(0)181--356, 22(3)283--306,
23(1)103--103, 53(3)305--331, 53(3)353--380, 112(z)102--118,
143(z)1--8, 204(z)z--99999999, 228(z)z--99999999,
233(z)z--99999999
-
point, floating-, 33(2)133--162, 96(z)279--296
-
point, point-to-, 40(2)235--263
-
Point-free, 27(2)205--214
-
point-to-point, 40(2)235--263
-
pointcuts, 63(3)240--266, 150(z)56--74
-
pointer, 12(3)191--206, 21(1)57--90, 33(3)221--260, 35(2)223--248,
39(1)31--55, 58(1)83--114, 75(11)921--942, 97(z)157--162,
152(z)161--184
-
pointless, 112(z)102--118
-
points, end-, 33(2)133--162
-
Poirters, 15(1)95--97
-
Poitrenaud, Denis, 235(z)z--99999999
-
Poitrenaud, Denis, see Thierry-Mieg, Yann
-
Poizat, Pascal, 76(1)1--2, 76(8)631--632, 170(z)1--26
-
Poizat, Pascal, see Canal, Carlos,
see Krishna, Ajay
-
Pol, Jaco van de, 128(z)1
-
Pol, Jaco van de, see Huisman, Marieke
-
Polack, Fiona A. C., 96(z)396--416
-
Polack, Fiona A. C., see Paige, Richard F.
-
Polak, Wolfgang, 42(1)75--85
-
Polak:2002:FMP, 42(1)75--85
-
Poland, 15(1)115--116, 28(0)91--299
-
polarities, 172(z)135--159
-
Polet, Guillaume, 210(z)z--99999999
-
Polet, Guillaume, see Guérin, Sylvain
-
policy, 59(1)127--146, 63(1)88--107, 67(2)125--161, 74(1)2--12,
77(10)1198--1209, 78(9)1559--1571, 89(z)105--125, 133(z)20--50,
168(z)118--141, 206(z)z--99999999, 232(z)z--99999999
-
Polini, Andrea, 166(z)35--70
-
Polini, Andrea, see Corradini, Flavio
-
PoliS, 31(2)231--261
-
Polito, G., 96(z)141--155
-
Polito, Guillermo, 194(z)z--99999999, 195(z)z--99999999
-
Polito, Guillermo, see Marra, Matteo,
see Tesone, Pablo
-
Polito:2014:BRS, 96(z)141--155
-
Pollet, Damien, 89(z)298--319, 161(z)89--104
-
Pollet, Damien, see Abdeen, Hani
-
Pollet:2018:CAS, 161(z)89--104
-
polychronous, 96(z)377--394, 228(z)z--99999999
-
Polychrony, 106(z)54--77
-
PolyGloT, 231(z)z--99999999
-
polyhedra, 58(1)28--56, 72(1)3--21
-
polyhedral, 133(z)74--87
-
polykinded, 43(2)129--159
-
polymorphic, 6(3)273--290, 8(2)147--172, 19(3)281--313, 23(2)197--226,
25(2)81--116, 32(1)49--72, 43(2)93--127, 58(3)366--383,
95(z)200--218, 187(z)z--99999999, 197(z)z--99999999,
208(z)z--99999999
-
polymorphic, size-, 230(z)z--99999999
-
polymorphically, 75(11)1048--1076
-
polymorphism, 8(2)147--172, 25(2)251--283, 32(1)49--72, 39(1)57--92,
63(3)267--296, 124(z)1--19
-
polynomial, 9(2)137--159, 23(2)151--195, 24(1)83--95, 64(1)54--75,
64(1)76--96, 93(z)89--109, 193(z)z--99999999
-
polynomial-time, 64(1)97--114, 98(z)484--515
-
polystores, 230(z)z--99999999, 232(z)z--99999999
-
Polytypic, 26(1)217--236, 43(1)35--75, 43(2)129--159
-
PomCho, 202(z)z--99999999
-
Pommellet, Adrien, 230(z)z--99999999
-
Pommellet, Adrien, see Renkin, Florian
-
Pompilio, Claudio, 197(z)z--99999999
-
Pompilio, Claudio, see Autili, Marco
-
Ponce, Sean P., 88(z)82--91
-
Ponce, Sean P., see Cooper, Matthew L.
-
Poncelet, Clement, 132(z)143--172
-
Poncelet:2016:MBT, 132(z)143--172
-
ponder, 6(3)273--290
-
Pons, Patricia, 78(10)1930--1950
-
Pons, Patricia, see Catala, Alejandro
-
Ponse, Alban, 29(1)199--233
-
Ponse, Alban, see Bergstra, Jan A.
-
Ponsen, Marc, 67(1)59--75
-
Ponsen:2007:KAA, 67(1)59--75
-
Ponsini, Olivier, 56(3)363--401
-
Ponsini:2005:RIP, 56(3)363--401
-
Poole, George D., 33(1)29--85
-
POP-11, 14(1)110--112
-
Popeea, Corneliu, 78(4)390--411
-
Popeea:2013:DAP, 78(4)390--411
-
Poppleton, M., 67(2)301--329
-
Poppleton, M., see Banach, R.
-
population, 95(z)26--43, 157(z)3--16
-
Porkoláb, Zoltán, 78(9)1600--1621,
see Sinkovics, Ábel
-
Poroor, Jayaraj, 78(9)1470--1489
-
Poroor:2013:MMS, 78(9)1470--1489
-
Porres, Ivan, 68(3)155--178
-
Porres, Ivan, see Alanen, Marcus
-
portability, 28(1)43--90, 91(z)234--248
-
portable, 57(3)275--294, 161(z)2--17
-
portal, 53(1)87--105
-
Porter, Ronald, 56(1)231--249
-
Porter:2005:SBP, 56(1)231--249
-
portfolio, 45(1)1--96, 62(3)287--317
-
portfolios, IT-, 71(1)17--56
-
porting, 73(1)3--12
-
ports, 91(z)70--89
-
POSIX, 74(4)238--257
-
possess, 43(2)129--159
-
post, First-past-the-, 85(z)166--203
-
postassertions, 9(3)263--270
-
postcondition, 20(3)223--251, 193(z)z--99999999
-
Postma, Steven, 113(z)29--50
-
Postma, Steven, see Bender, Marc
-
Potanin, Alex, 76(7)587--608, 163(z)138--138, 224(z)z--99999999
-
Potanin, Alex, see Gariano, Isaac Oscar,
see Male, Chris
-
Potanin:2018:PSI, 163(z)138--138
-
Potena, Pasqualina, 80(z)356--384, 98(z)439--463
-
Potena, Pasqualina, see Cortellessa, Vittorio,
see Mirandola, Raffaela
-
potential, 58(3)344--365, 74(5)296--313, 103(z)71--87
-
Pothier, Guillaume, 72(1)22--30
-
Pothier, Guillaume, see Tanter, Éric
-
Potrich, A., 40(2)213--234
-
Potrich, A., see Antoniol, G.
-
Potrich, Alessandra, 42(2)229--271
-
Potrich, Alessandra, see Tonella, Paolo
-
Potter, John, 58(3)344--365
-
Potter, John, see Shanneb, Abdelsalam
-
£, 10(1)87--88, 10(1)88--89, 10(1)90--92, 10(1)92--93, 10(1)93--95,
10(1)95--97, 10(2)211--212, 10(2)212--213, 10(2)213--215,
10(2)217--217, 10(2)218--219, 11(1)87--88, 11(1)88--90, 11(1)90--91,
11(1)91--94, 11(1)94--95, 11(1)98--99, 11(2)176--178, 11(2)178--180,
11(2)180--184, 11(2)185--191, 11(2)195--196, 12(1)83--84,
12(1)84--84, 12(1)85--87, 12(1)87--88, 12(1)88--90, 12(1)90--92,
12(2)157--158, 12(2)158--164, 12(2)164--165, 12(2)165--167,
12(2)167--168, 12(2)168--170, 12(2)170--172, 12(2)172--173,
12(2)174--175, 12(3)255--257, 12(3)257--259, 12(3)259--260,
12(3)264--265, 12(3)265--266, 12(3)267--270, 13(1)117--119,
13(1)119--122, 13(1)122--125, 13(1)125--127, 13(1)127--128,
13(1)128--130, 14(1)103--105, 14(1)105--106, 14(1)106--109,
14(1)109--110, 14(1)110--110, 14(1)110--112, 15(1)95--97,
15(1)97--97, 15(1)100--111, 15(1)111--112, 15(1)113--114,
16(1)89--90, 16(1)90--90, 16(1)91--92, 16(1)92--93, 16(1)93--95,
16(1)97--100, 16(2)197--198, 16(2)198--200, 16(2)200--201,
16(2)202--203, 18(2)209--213, 18(2)213--215, 18(2)221--222,
24(1)99--100, 33(2)217--219, 38(1)155--157
-
Pourvatan, Bahman, 77(7)848--869
-
Pourvatan:2012:SER, 77(7)848--869
-
Pouzet, Marc, 111(z)190--211
-
Pouzet, Marc, see Mandel, Louis
-
power, 17(1)35--75, 17(1)77--117, 21(2)141--163, 41(1)85--104,
113(z)236--260, 165(z)24--37, 173(z)21--36
-
Power, James, 74(5)259--260
-
Power, James, see Aleksy, Markus
-
Power, James F., 54(1)1--2, 59(1)4--25, 69(1)3--13, 70(2)87--88
-
Power, James F., see Aleksy, Markus,
see Kraft, Nicholas A.,
see Mitchell, Áine
-
Power:2005:E, 54(1)1--2
-
powerlists, 26(1)59--78
-
Poyias, Kyriakos, 100(z)2--27
-
Poyias:2015:DCA, 100(z)2--27
-
pp, 1(3)203--222, 3(1)115--116, 5(3)317--318, 11(1)90--91, 33(2)217--219,
51(3)291--292
-
PPDP'15, 147(z)1--2
-
PPPJ, 70(2)87--88, 74(5)259--260
-
practical, 14(2)133--158, 38(1)155--157, 76(2)65--81, 77(9)971--989,
78(9)1639--1662, 80(z)343--355, 111(z)363--364, 111(z)365--394,
111(z)395--425, 111(z)426--457, 111(z)458--482, 111(z)483--504,
111(z)505--534, 112(z)195--226, 163(z)160--173, 200(z)z--99999999,
218(z)z--99999999, 232(z)z--99999999
-
practice, 42(1)75--85, 53(1)1--2, 57(1)73--87, 75(3)85--105,
76(11)969--969, 78(5)425--444, 78(12)2347--2359, 80(z)150--168,
84(z)1--2, 89(z)144--161, 101(z)66--78, 101(z)124--135, 102(z)1--19,
111(z)1--2, 118(z)40--59, 147(z)1--2, 154(z)42--60, 155(z)1--2,
163(z)42--61, 187(z)z--99999999, 197(z)z--99999999,
205(z)z--99999999
-
Pradella, Matteo, 102(z)20--43, 112(z)195--226
-
Pradella, Matteo, see Barenghi, Alessandro,
see Salvaneschi, Guido
-
Prado, Alfonso, Garcia-de-, 198(z)z--99999999
-
pragmatic, 48(1)1--20
-
Prandi, Davide, 227(z)z--99999999
-
Prandi, Davide, see Ferdous, Raihana
-
Prasad, K. V. S., 25(2)285--327
-
Prasad:1995:CBS, 25(2)285--327
-
Pratt, Ian, 11(1)88--90, 15(1)97--97, 15(1)100--111
-
Pratt, Knuth-Morris-, 12(2)93--104
-
Pratt:1988:BRB, 11(1)88--90
-
Pratt:1990:BRBa, 15(1)97--97
-
Pratt:1990:BRBb, 15(1)100--111
-
pre, 9(3)263--270
-
pre-orders, 123(z)42--60
-
Pre-synthesis, 157(z)41--55
-
Preciado, Juan C., 168(z)165--168
-
Preciado, Juan C., see Rodriguez-Echeverria, Roberto
-
Precise, 58(1)28--56, 133(z)175--193
-
Precisely, 13(1)127--128
-
precision, 98(z)645--679, 133(z)74--87
-
precompiler, 72(3)71--135
-
precondition, 22(1)137--155, 78(9)1278--1293, 89(z)223--234,
193(z)z--99999999
-
Preda, Mila Dalla, 97(z)41--46
-
Preda:2015:DCD, 97(z)41--46
-
predicate, 4(1)45--86, 18(1)39--66, 22(1)21--44, 23(1)91--101,
24(1)100--102, 24(2)129--148, 24(3)249--286, 29(3)335--335,
41(1)1--51, 76(10)861--876, 77(9)1006--1036, 118(z)77--95,
148(z)189--212
-
Predicting, 76(12)1161--1176, 204(z)z--99999999, 205(z)z--99999999
-
prediction, 35(2)163--189, 90(z)71--92, 97(z)426--457, 162(z)132--147,
205(z)z--99999999, 208(z)z--99999999, 213(z)z--99999999,
226(z)z--99999999
-
predictive, 78(9)1264--1277, 134(z)61--74
-
Preece, 16(1)89--90
-
preemptive, 3(2)189--204
-
preferences, 155(z)173--197
-
Prefixes, 25(2)187--218
-
Preikschat, Wolfgang, Schröder-, 53(3)333--352
-
Preneel, Bart, 74(1)13--22
-
Preneel, Bart, see Schellekens, Dries
-
Prentice, 5(3)317--318, 15(1)95--97, 15(1)111--112, 16(2)200--201,
33(2)213--214
-
Prentice-Hall, 3(1)115--116, 5(1)107--109, 9(1)101--105, 10(1)87--88,
10(2)217--217, 11(2)185--191, 11(2)195--196, 12(1)84--84,
12(1)87--88, 12(1)88--90, 12(2)157--158, 12(2)158--164,
12(3)259--260, 12(3)264--265, 12(3)267--270, 13(1)119--122,
13(1)125--127, 14(1)105--106, 14(1)109--110, 16(1)90--90,
16(1)91--92, 18(2)205--207
-
Prentice-Hallash, 16(1)89--90
-
preorder, 15(1)1--13, 89(z)23--40, 168(z)94--117
-
Preoteasa, Viorel, 92(z)179--210
-
Preoteasa:2014:RAD, 92(z)179--210
-
prepare, 79(z)172--188
-
preprocessor, 58(1)115--140, 74(7)399--413
-
presence, 34(2)141--158, 39(1)3--29, 78(8)1055--1072, 78(10)2009--2025,
127(z)76--102, 185(z)z--99999999, 230(z)z--99999999
-
Presentation, 2(1)1--18
-
presentations, 53(1)37--49
-
presented, 218(z)z--99999999
-
preservation, 94(z)307--332, 214(z)z--99999999
-
Preserve, 7(1)35--53
-
preserving, 21(2)141--163, 26(1)79--97, 40(1)97--118, 77(3)393--422,
78(4)412--421, 147(z)3--26, 170(z)45--79, 196(z)z--99999999
-
preserving, correctness-, 7(2)99--241, 9(3)221--262
-
preserving, integer-, 33(1)29--85
-
preserving, semantics-, 112(z)145--169
-
Press, 4(1)95--96, 4(1)96--97, 10(1)92--93, 10(1)95--97, 10(2)212--213,
11(1)88--90, 11(1)91--94, 11(1)94--95, 11(1)98--99, 11(2)178--180,
11(2)180--184, 12(1)83--84, 12(1)90--92, 12(2)167--168,
12(2)174--175, 12(3)255--257, 12(3)257--259, 13(1)122--125,
14(1)103--105, 14(1)110--110, 15(1)97--97, 15(1)100--111,
16(1)93--95, 16(2)197--198, 16(2)202--203, 18(2)207--209,
18(2)213--215, 18(2)218--221, 18(2)221--222, 24(1)97--99,
24(1)99--100, 24(1)100--102, 24(1)102--103, 24(2)185--186,
24(2)186--187, 33(1)97--99, 33(2)215--216, 33(2)217--219,
34(1)75--77, 34(2)159--161, 38(1)151--153, 38(1)155--157
-
pretty-printing, 72(1)40--51
-
prevalence, 195(z)z--99999999
-
prevent, 75(7)516--542
-
Preventing, 75(7)473--495, 94(z)203--216
-
prevention, 29(1)147--170, 77(10)1039--1057
-
price, 10(1)87--88, 10(1)88--89, 10(1)90--92, 10(1)92--93, 10(1)93--95,
10(1)95--97, 10(2)211--212, 10(2)212--213, 10(2)213--215,
10(2)215--216, 10(2)217--217, 10(2)218--219, 11(1)87--88,
11(1)88--90, 11(1)90--91, 11(1)91--94, 11(1)94--95, 11(1)95--97,
11(1)97--98, 11(1)98--99, 11(2)175--176, 11(2)176--178,
11(2)178--180, 11(2)180--184, 11(2)185--191, 11(2)191--195,
11(2)195--196, 12(1)83--84, 12(1)84--84, 12(1)85--87, 12(1)87--88,
12(1)88--90, 12(1)90--92, 12(2)157--158, 12(2)158--164,
12(2)164--165, 12(2)165--167, 12(2)167--168, 12(2)168--170,
12(2)170--172, 12(2)172--173, 12(2)174--175, 12(3)255--257,
12(3)257--259, 12(3)259--260, 12(3)260--264, 12(3)264--265,
12(3)265--266, 12(3)267--270, 13(1)117--119, 13(1)119--122,
13(1)122--125, 13(1)125--127, 13(1)127--128, 13(1)128--130,
14(1)103--105, 14(1)105--106, 14(1)106--109, 14(1)109--110,
14(1)110--110, 14(1)110--112, 15(1)95--97, 15(1)97--97, 15(1)98--98,
15(1)100--111, 15(1)111--112, 15(1)113--114, 16(1)89--90,
16(1)90--90, 16(1)91--92, 16(1)92--93, 16(1)93--95, 16(1)95--97,
16(1)97--100, 16(2)197--198, 16(2)198--200, 16(2)200--201,
16(2)202--203, 16(2)204--205, 18(2)209--213, 18(2)213--215,
18(2)215--218, 18(2)218--221, 18(2)221--222, 24(1)99--100,
38(1)155--157
-
Price, R. Tom, 78(1)117--144
-
Price, R. Tom, see Piveta, Eduardo Kessler
-
PRIMA-UML, 44(1)101--129
-
prime, 152(z)99--115, 157(z)41--55
-
Prime-Number, 9(1)17--35
-
prime-number, 9(1)17--35
-
primer, 12(3)260--264
-
Primes, 3(1)37--63
-
primitive, 21(2)165--190, 25(2)81--116, 31(2)335--358, 76(12)1210--1222
-
Prince, 15(1)98--100
-
Principal, 23(2)197--226
-
principle, 4(3)257--290, 9(3)221--262, 10(1)87--88, 13(1)117--119,
26(1)255--272, 53(1)51--69, 76(11)969--969, 84(z)1--2, 111(z)1--2,
147(z)1--2, 155(z)1--2
-
Principled, 97(z)64--68
-
principled, engineering-, 57(1)5--26
-
Prins, J. F., 8(2)139--145
-
Prins, J. F., see Gries, D.
-
Printezis, Tony, 62(2)164--183
-
Printezis:2006:MGC, 62(2)164--183
-
printing, 7(1)87--97
-
printing, pretty-, 72(1)40--51
-
prioritization, 78(1)93--116, 215(z)z--99999999
-
prioritized-time, 77(3)290--313
-
Prioritizing, 191(z)z--99999999
-
priority, 77(3)290--313, 203(z)z--99999999
-
Pritchard, Paul, 9(1)17--35
-
Pritchard, Paul A., 3(1)37--63
-
Pritchard:1983:CSN, 3(1)37--63
-
Pritchard:1987:LPN, 9(1)17--35
-
privacy, 77(10)1198--1209, 89(z)105--125, 111(z)300--317, 152(z)1--37,
188(z)z--99999999
-
Privat, Jean, 76(7)555--586
-
Privat, Jean, see Ducournau, Roland
-
probabilistic, 6(3)213--272, 28(0)91--299, 28(2)171--192, 60(1)1--26,
74(1)52--63, 97(z)122--126, 185(z)z--99999999, 206(z)z--99999999,
215(z)z--99999999, 220(z)z--99999999, 230(z)z--99999999
-
probability, 11(1)65--86, 85(z)115--136
-
problem, 1(1)145--147, 2(2)133--141, 4(2)205--210, 4(3)221--248,
5(2)201--218, 6(2)159--190, 7(2)99--241, 10(1)19--32, 10(3)247--280,
11(1)17--28, 13(1)1--21, 15(1)79--94, 15(2)135--158, 18(1)39--66,
21(3)191--223, 22(3)327--354, 24(1)63--81, 24(3)189--220, 26(1)5--9,
30(1)83--118, 30(1)201--226, 30(1)227--250, 30(3)287--308,
31(2)335--358, 34(3)163--190, 52(1)165--212, 59(1)147--169,
74(9)702--722, 78(1)65--92, 102(z)76--107, 147(z)54--77,
150(z)75--86, 190(z)z--99999999, 218(z)z--99999999
-
Probst, Christian W., 57(3)275--294, 75(6)376--397, 78(5)423--424
-
Probst, Christian W., see Aleksy, Markus,
see De Nicola, Rocco, \see{Franz, Michael
-
Procaccianti, Giuseppe, 95(z)112--134
-
Procaccianti, Giuseppe, see Bonino, Dario
-
procedural, 9(3)287--306, 98(z)120--139, 127(z)76--102
-
procedure, 8(1)69--86, 9(3)263--270, 11(1)1--15, 11(1)17--28,
18(2)215--218, 22(3)257--282, 29(1)23--52, 33(1)87--96,
41(3)195--240, 64(3)286--311, 67(1)105--124, 77(4)518--532,
100(z)84--104, 115(z)47--78, 150(z)75--86
-
proceedings, 18(2)213--215, 23(0)107--311, 25(0)79--325, 432(0)ix--435
-
process, 1(1)49--72, 2(1)53--68, 2(3)155--173, 3(1)101--114,
3(2)189--204, 5(2)171--199, 5(3)265--276, 5(3)277--307, 6(1)35--88,
6(2)191--205, 8(1)43--67, 9(1)101--105, 12(2)167--168,
14(2)159--184, 16(1)92--93, 21(3)225--261, 23(1)55--89,
24(3)189--220, 27(1)37--83, 28(1)43--90, 28(2)171--192, 29(1)3--22,
29(1)235--258, 41(3)241--275, 44(3)293--342, 45(2)99--136,
46(1)163--193, 51(3)291--292, 54(2)313--313, 56(3)251--273,
58(1)179--205, 63(1)3--15, 63(1)16--38, 63(1)57--87, 65(1)4--13,
65(1)14--29, 65(1)30--40, 66(1)25--43, 66(3)184--204, 71(1)73--87,
71(2)110--143, 74(3)100--127, 74(9)723--753, 75(5)292--310,
75(6)440--469, 75(8)726--760, 76(8)711--735, 77(3)247--269,
77(6)727--740, 78(8)1035--1054, 78(12)2537--2579, 79(z)172--188,
85(z)102--114, 89(z)320--349, 95(z)26--43, 115(z)47--78,
121(z)3--15, 128(z)2--21, 129(z)48--71, 135(z)20--44,
135(z)105--121, 166(z)35--70, 168(z)38--70, 170(z)1--26,
183(z)z--99999999, 187(z)z--99999999, 214(z)z--99999999,
228(z)z--99999999, 232(z)z--99999999, 234(z)z--99999999
-
Process-aware, 94(z)3--17, 130(z)69--96
-
process-theoretic, 115(z)127--145
-
processing, 1(3)157--202, 4(3)291--322, 5(2)111--142, 5(3)317--318,
7(1)35--53, 7(3)249--278, 8(2)113--137, 8(3)213--229, 10(3)221--245,
10(3)247--280, 11(2)161--165, 12(3)265--266, 13(1)73--110,
13(1)111--116, 13(2)133--180, 13(2)181--218, 14(1)110--110,
14(1)110--112, 14(2)255--279, 14(2)281--304, 15(2)159--169,
16(2)103--149, 18(1)1--38, 20(3)205--221, 21(1)1--56, 21(2)93--113,
21(2)115--139, 21(3)191--223, 23(0)107--311, 23(1)1--18,
23(1)19--53, 23(1)55--89, 23(2)107--125, 24(1)83--95, 24(2)129--148,
25(2)251--283, 26(1)59--78, 26(1)79--97, 27(2)85--118,
27(2)175--184, 28(0)91--299, 28(1)1--41, 28(2)111--138,
29(1)199--233, 30(1)51--82, 76(4)290--306, 78(5)458--480,
78(11)2192--2215, 94(z)32--52, 105(z)124--144, 121(z)128--152,
173(z)95--127, 198(z)z--99999999, 215(z)z--99999999,
229(z)z--99999999
-
processing, stream-, 10(1)65--85
-
processor, 15(2)217--233, 22(1)45--65, 23(1)1--18, 27(3)263--288,
28(1)1--41, 28(2)93--110, 29(1)199--233, 59(1)38--63, 75(7)543--572,
78(4)412--421, 165(z)24--37
-
procurement, 56(1)141--156
-
Produce, 15(1)15--54
-
product, 22(3)327--354, 38(1)27--71, 53(3)285--304, 53(3)305--331,
53(3)353--380, 53(3)381--407, 53(3)409--434, 57(1)73--87,
66(1)71--86, 78(8)1010--1034, 78(12)2293--2294, 78(12)2331--2346,
78(12)2347--2359, 78(12)2360--2380, 78(12)2381--2398,
78(12)2399--2413, 79(z)224--240, 83(z)35--55, 87(z)2--22,
93(z)65--85, 96(z)230--253, 97(z)105--112, 97(z)282--308,
123(z)42--60, 163(z)139--159, 166(z)3--34, 168(z)171--185,
172(z)203--231, 214(z)z--99999999, 224(z)z--99999999,
230(z)z--99999999
-
product-line, 80(z)416--439, 152(z)116--160
-
production-labelled, 5(1)83--96
-
productive, 2(1)53--68
-
productivity, 12(2)170--172, 95(z)344--358, 219(z)z--99999999
-
Proença, J., 115(z)47--78,
see Jongmans, S.-S. T. Q.
-
Proença, José, 76(8)681--710, 146(z)28--49,
203(z)z--99999999, 218(z)z--99999999,
see Clarke, Dave,
see Cledou, Guillermina
-
Proenca:2017:TCF, 146(z)28--49
-
Proenca:2022:SIS, 218(z)z--99999999
-
professionals, 129(z)3--19
-
Professor, 27(3)215--216
-
Profiles, 44(1)5--22
-
profiling, 70(2)111--126, 76(11)1054--1072, 79(z)146--157,
96(z)488--510
-
programmer, 16(1)91--92, 18(1)1--38, 36(2)183--207, 53(1)3--24,
65(1)4--13, 70(2)127--148, 74(7)430--445, 235(z)z--99999999
-
programs, do-od-, 3(1)65--100
-
progress, 78(9)1521--1537
-
progression, 3(1)37--63
-
Proietti, M., 95(z)149--175, 147(z)78--108
-
Proietti, M., see De Angelis, E.
-
project, 28(2)93--110, 74(10)777--811, 75(4)264--275, 90(z)42--54,
153(z)30--33, 156(z)90--103, 176(z)14--32, 180(z)1--15,
204(z)z--99999999, 219(z)z--99999999, 232(z)z--99999999,
235(z)z--99999999
-
project, cross-, 226(z)z--99999999
-
Projected, 163(z)93--114
-
Projecting, 138(z)26--48
-
projection, 44(3)343--344
-
Proki{\'c}, Simona, 230(z)z--99999999, see Slivka, Jelena
-
PROLOG, 13(2)237--264
-
prolog, 12(3)255--257, 13(1)125--127, 14(1)110--110, 21(3)263--291,
24(3)249--286, 26(1)133--148, 28(2)193--223, 32(1)145--176,
33(2)213--214, 66(2)154--161, 134(z)75--99
-
Prolog, Java-, 57(2)217--250
-
PROMELA, 77(3)214--246
-
Promela, 75(11)1165--1191
-
proneness, 171(z)1--20
-
proneness, fault-, 102(z)44--56
-
proof, 2(1)19--52, 2(3)175--206, 3(1)65--100, 3(1)101--114, 3(3)279--312,
4(1)45--86, 4(2)159--204, 4(3)257--290, 6(1)35--88, 6(3)213--272,
8(1)1--42, 8(1)43--67, 9(2)107--136, 9(3)263--270, 11(1)45--63,
11(2)178--180, 14(2)117--132, 15(1)79--94, 18(2)181--204,
18(2)215--218, 22(0)181--356, 22(3)197--230, 24(1)83--95,
24(2)105--128, 26(1)167--177, 26(1)197--216, 29(1)53--78,
38(1)1--25, 50(1)23--49, 50(1)161--187, 64(3)332--340, 69(1)76--85,
73(2)129--135, 74(1)52--63, 74(8)568--589, 77(10)1058--1074,
78(3)293--309, 78(9)1324--1345, 78(9)1521--1537, 91(z)188--215,
97(z)333--348, 126(z)73--93, 127(z)2--23, 158(z)41--63,
158(z)64--80, 162(z)76--92, 188(z)z--99999999, 216(z)z--99999999,
224(z)z--99999999, 226(z)z--99999999, 233(z)z--99999999
-
proof-carrying, 57(3)275--294
-
propagating, 97(z)426--457
-
propagating, Behavior-, 98(z)318--338
-
propagation, 6(2)191--205, 22(0)181--356, 22(3)257--282, 28(2)247--271,
77(4)518--532, 111(z)3--22, 166(z)146--166
-
property, 2(3)241--266, 4(3)257--290, 6(2)135--158, 6(2)159--190,
9(2)107--136, 17(1)139--215, 22(1)21--44, 24(2)159--181,
39(1)125--148, 40(1)97--118, 40(2)213--234, 50(1)51--71,
55(1)227--257, 58(1)264--289, 63(1)16--38, 67(2)278--300,
75(7)516--542, 75(11)1142--1164, 76(2)119--135, 76(10)942--967,
77(3)393--422, 77(9)1006--1036, 77(12)1272--1288, 81(z)108--121,
96(z)527--551, 98(z)516--530, 104(z)71--98, 105(z)3--25,
111(z)458--482, 123(z)2--41, 137(z)2--62, 148(z)3--25, 156(z)1--20,
186(z)z--99999999, 192(z)z--99999999, 197(z)z--99999999,
206(z)z--99999999, 225(z)z--99999999, 231(z)z--99999999
-
property-based, 103(z)51--70
-
Property-dependent, 96(z)354--376
-
property-directed, 103(z)71--87
-
proposal, 63(3)297--320, 86(z)74--88, 233(z)z--99999999
-
proposed, 4(1)45--86
-
propositional, 4(1)45--86
-
Prospects, 97(z)173--180
-
proto, 78(6)633--656
-
Proto, F. S., 74(1)23--33
-
Proto, F. S., see Bianchi, G.
-
protocol, 4(1)1--15, 5(1)1--36, 5(2)171--199, 6(2)191--205, 7(1)1--22,
8(3)231--274, 10(2)107--137, 21(2)93--113, 24(2)159--181,
28(2)93--110, 28(2)273--299, 29(1)3--22, 29(1)23--52, 29(1)123--146,
29(1)147--170, 29(1)171--197, 29(1)199--233, 29(1)235--258,
30(1)201--226, 36(1)27--52, 43(1)1--33, 47(2)177--202, 50(1)3--22,
50(1)23--49, 50(1)73--99, 58(1)3--27, 59(1)97--108, 65(1)57--69,
77(7)870--886, 78(7)813--827, 78(7)843--861, 81(z)53--78,
96(z)337--353, 117(z)1--16, 155(z)52--75, 165(z)3--23
-
prototype, 26(1)33--57, 79(z)224--240, 134(z)47--60
-
prototype-based, 176(z)1--13
-
prototyping, 9(2)179--205, 14(1)105--106, 78(12)2399--2413,
96(z)156--174, 233(z)z--99999999
-
provably, 48(1)1--20, 77(10)1039--1057, 127(z)2--23, 202(z)z--99999999
-
provably-correct, 5(1)59--81
-
prove, 51(1)47--85
-
provenance, 97(z)86--90, 155(z)103--145
-
prover, 3(2)119--149, 31(2)231--261
-
provide, 46(1)137--162, 78(10)2009--2025, 235(z)z--99999999
-
Providing, 75(6)426--439
-
proving, 15(1)15--54, 21(2)115--139, 22(0)181--356, 22(3)197--230,
24(1)41--61, 24(1)83--95, 24(2)105--128, 24(2)129--148,
24(2)159--181, 25(0)79--325, 25(2)117--147, 26(1)167--177,
27(2)139--173, 27(3)217--262, 29(1)199--233, 29(3)279--302,
31(2)231--261, 34(2)141--158, 34(3)191--205, 72(3)176--219,
74(3)143--165, 76(2)82--99, 78(4)390--411, 94(z)238--252,
96(z)297--314, 111(z)110--134, 186(z)z--99999999,
234(z)z--99999999
-
provisioning, 77(6)663--684, 78(2)195--217
-
proxy, 33(2)101--131, 78(9)1490--1520, 98(z)339--359
-
Prywes, Noah S., 10(3)221--245
-
Prywes, Noah S., see Szymanski, Boleslaw K.
-
pseudonym, 74(1)23--33
-
Ptak, Wojtek, 157(z)3--16
-
Ptak, Wojtek, see Kedzia, Kamil
-
Ptolemy, 77(12)1235--1271
-
PTRebeca, 128(z)22--50
-
Pu, Geguang, 187(z)z--99999999
-
Pu, Geguang, see Zhang, Yueling
-
public, 21(2)93--113, 89(z)162--175
-
Publications, 38(1)147--149
-
published, 17(0)z--z
-
Publisher, 10(1)88--89, 13(1)117--119, 152(z)iii--iii, 152(z)iv--iv
-
publishing, 12(2)168--170, 62(1)66--84, 152(z)iii--iii
-
Puder, Arno, 59(1)97--108, 74(5)379--396
-
Puder:2006:XAW, 59(1)97--108
-
Puder:2009:BCL, 74(5)379--396
-
Puebla, Germán, 58(1)115--140, 92(z)2--24, 95(z)343--343,
111(z)483--504, see Albert, Elvira,
see Gómez-Zamalloa, Miguel,
see Hermenegildo, Manuel V.
-
Pugliese, Rosario, 63(1)57--87, 64(2)187--204, 75(6)376--397,
77(3)189--213
-
Pugliese, Rosario, see De Nicola, Rocco,
see Lapadula, Alessandro
-
Puig, Juan, Boubeta-, 198(z)z--99999999
-
Puigjaner, Ramon, 57(1)45--60, 61(1)27--37
-
Puigjaner, Ramon, see Lera, Isaac,
see Sancho, Pere P.
-
Pulou, Jacques, 78(8)1073--1098
-
Pulou, Jacques, see Navas, Juan F.
-
Pulvermüller, Elke, 56(1)1--4
-
Pulvermuller:2005:NSC, 56(1)1--4
-
pump, 156(z)21--44
-
pump, heat-, 230(z)z--99999999
-
Pun, Ka I, 179(z)24--53
-
Pun, Ka I, see Bijo, Shiji
-
Pun, Violet Ka I., 225(z)z--99999999
-
Pun, Violet Ka I., see Ali, Muhammad Rizwan
-
pure, 32(1)145--176, 78(10)1752--1769, 172(z)180--202
-
purely, 25(2)187--218, 27(3)263--288, 34(1)75--77
-
purpose, 4(1)45--86, 26(1)33--57
-
purpose, general-, 96(z)107--120, 98(z)339--359
-
pushdown, 58(1)206--263
-
Putter, Sander de, 196(z)z--99999999
-
putting, 2(1)53--68
-
puzzle, 10(3)319--325
-
PVS, 26(1)33--57
-
Python, 139(z)36--55, 207(z)z--99999999, 211(z)z--99999999,
214(z)z--99999999, 215(z)z--99999999, 227(z)z--99999999