Index file section P for tosem.bib

Last update: Sun Jun 15 02:04:13 MDT 2025               

Return to index directory

P

• P, 10(1)5--55, 33(1)17--17
• p, 4(1)36--64
• p-draw, 7(4)368--410
• P-measure, 17(3)16--16
• P2P, 30(3)35--35
• PACE, 33(4)85--85
• pace, 22(4)34--34
• Pace, J. Andrés, Díaz, 27(1)2--2
• paced, fast-, 27(4)16--16
• pacemaker, 24(1)2--2
• Pacheco, Alexia, 33(7)178--178
• Pacheco, Alexia, see Freire, Sávio
• Pacheco, Michael, 32(3)59--59
• Pacheco:2023:MTD, 32(3)59--59
• package, 1(3)205--228, 3(2)166--199, 6(4)333--369, 17(3)14--14, 23(1)4--4, 24(3)17--17, 25(3)24--24, 30(4)42--42, 32(4)94--94, 32(6)149--149, 33(2)34--34, 33(4)97--97
• packaged, 32(2)38--38
• packages/modules, 24(3)17--17
• packaging, 30(4)42--42
• packet, 8(2)115--146
• packet-forwarding, 8(2)115--146
• Padberg, Frank, 24(4)23--23
• Padberg, Frank, see Fraser, Gordon
• Paddle, 18(1)3--3
• PageRank, 22(4)37--37
• pages, 6(3)329--331, 33(4)90--90
• paid, 2(2)176--201, 10(2)209--254, 31(4)70--70
• Paige, Richard F., 16(3)11--11
• Paige:2007:MBM, 16(3)11--11
• painstaking, 32(2)36--36
• pair, 1(3)205--228, 6(2)111--140, 7(2)192--214, 7(3)250--295, 8(3)215--262, 8(4)425--472, 10(1)56--109, 21(2)8--8, 22(1)4--4, 25(3)20--20, 26(1)5--5, 28(3)18--18, 28(4)21--21, 30(2)25--25, 34(1)24--24
• PairStatic, 28(3)18--18
• pairwise, 28(3)18--18
• Paja, Elda, 32(1)2--2
• Paja, Elda, see Robol, Marco
• Pal, Uma, 32(2)45--45
• Pal, Uma, see Wang, Chao
• Palacio, David Nader, 31(2)32--32
• Palacio, David Nader, see Watson, Cody
• Paleari, Roberto, 22(4)29--29
• Paleari, Roberto, see Martignoni, Lorenzo
• Palepu, Vijay Krishna, 25(4)30--30
• Palepu:2017:DDS, 25(4)30--30
• palette, 27(3)14--14, 33(1)3--3
• Palikareva, Hristina, 27(3)10--10
• Palikareva, Hristina, see Kuchta, Tomasz
• Palomba, Fabio, 33(6)146--146
• Palomba, Fabio, see Iannone, Emanuele
• Palomo-Lozano, Francisco, 23(2)19--19
• Palomo-Lozano, Francisco, see Harman, Mark
• Pan, 1(1)95--127
• Pan, Kai, 23(2)12--12
• Pan, Lemeng, 34(2)52--52, 34(4)89--89
• Pan, Lemeng, see Sun, Yongqian
• Pan, Minxue, 31(3)44--44, 32(1)4--4, 33(3)67--67
• Pan, Minxue, see Yang, Wenhua, see Zhu, Tingwei
• Pan, Weifeng, 33(4)84--84, 34(2)30--30
• Pan:2014:GTG, 23(2)12--12
• Pan:2023:PWT, 32(1)4--4
• Pan:2024:EEA, 33(4)84--84
• Pan:2025:TFD, 34(2)30--30
• pandemic, 31(2)27--27, 32(5)111--111, 33(1)10--10, 33(3)57--57, 33(3)82--82
• Pandemic-RCR, 33(3)82--82
• Pandita, Omesh, 24(1)4--4
• Pandita, Omesh, see Santhiar, Anirudh
• Pandita, Rahul, 32(4)99--99
• Pandita, Rahul, see Rahman, Akond
• panel, 20(2)6--6
• Panichella, Annibale, 32(2)28--28, 32(3)73--73
• Panichella, Annibale, see Birchler, Christian, see Zampetti, Fiorella
• Panichella, Sebastiano, 32(2)28--28, 32(3)67--67, 32(3)73--73
• Panichella, Sebastiano, see Birchler, Christian, see Di Sorbo, Andrea, see Zampetti, Fiorella
• Pant, Aastha, 33(3)80--80
• Pant:2024:EAA, 33(3)80--80
• Pantiuchina, Jevgenija, 29(4)29--29, 31(2)23--23
• Pantiuchina:2020:WDR, 29(4)29--29
• Pantiuchina:2022:WDD, 31(2)23--23
• Papadakis, Mike, 30(2)13--13, 30(2)19--19, 31(4)78--78, 32(1)14--14, 32(2)33--33, 33(1)22--22, 33(1)25--25, 33(2)48--48, 33(4)111--111, 34(2)45--45
• Papadakis, Mike, see Chekam, Thierry Titcheu, see Dang, Xueqi, \see{Guo, Yuejun, see Hu, Qiang, \see{Khanfir, Ahmed, see Ma, Wei, \see{Ojdanic, Milos, see Pei, Yu
• paper, 1(1)5--20, 1(1)21--52, 1(1)53--80, 1(1)95--127, 1(2)135--167, 1(2)168--187, 1(2)188--204, 1(3)205--228, 1(3)310--354, 2(2)176--201, 2(3)270--285, 2(4)311--345, 8(1)1--48, 9(3)306--337, 10(1)56--109, 10(2)149--183, 16(3)10--10, 17(2)11--11, 21(1)2--2, 21(1)5--5, 21(2)8--8, 21(4)24--24, 25(3)26--26, 26(1)4--4, 32(2)51--51, 32(2)54--54, 32(6)139--139, 33(1)29--29, 33(3)82--82, 33(4)111--111, 34(2)56--56, 34(3)86--86
• paper, pencil-and-, 19(4)13--13
• Paraboschi, Stefano, 10(4)452--483
• Paraboschi, Stefano, see Bonifati, Angela
• Parache, Yago Isasi, 32(2)37--37
• Parache, Yago Isasi, see Lee, Jaekwon
• paraconsistent, 7(4)335--367
• paradigm, 1(3)269--309, 6(2)141--172, 6(3)250--282, 6(3)283--328, 7(4)411--448, 9(2)167--198, 20(4)18--18, 21(2)11--11, 24(2)10--10, 24(3)19--19, 29(1)3--3, 31(1)10--10, 32(3)62--62, 32(5)119--119, 32(5)131--131, 33(1)4--4, 33(3)68--68, 33(3)81--81, 33(5)129--129, 34(2)32--32
• parallel, 2(1)1--46, 2(1)47--92, 2(3)203--227, 3(1)29--55, 3(4)271--307, 4(1)65--106, 5(4)334--377, 9(2)167--198, 10(3)308--337, 17(2)10--10, 20(2)5--5, 21(2)9--9, 24(4)24--24, 25(2)15--15, 26(1)5--5, 30(2)17--17, 31(1)8--8, 31(2)35e_35e, 32(6)151--151, 33(3)66--66
• parallel, data-, 24(1)4--4
• parallelism, 24(4)24--24
• parameter, 2(1)93--106, 3(2)101--130, 7(2)192--214, 17(4)17--17, 20(4)15--15, 21(1)3--3, 23(4)29--29, 23(4)35--35, 24(2)10--10, 24(3)20--20, 32(3)58--58, 33(1)28--28, 34(2)50--50
• parameterization, 18(2)5--5
• parameterized, 14(1)1--41, 16(3)12--12, 25(3)26--26
• parametric, 17(2)9--9, 22(4)28--28, 31(4)64--64, 32(1)10--10
• parametric, model-, 3(4)308--339
• paramount, 22(3)26--26, 32(2)50--50, 33(7)186--186, 34(2)52--52, 34(3)64--64
• PARC, 17(4)19--19
• Pardo, César, 31(4)59--59, see Masso, Jhon
• Parejo, Jose Antonio, 27(3)13--13, 29(1)2--2
• Parejo, Jose Antonio, see Hierons, Robert M., see Troya, Javier
• Pareto, 32(1)5--5, 32(3)68--68
• Pareto-optimal, 32(1)5--5
• París, Gerard, 31(3)39--39, see Barcelona-Pons, Daniel
• Parisi-Presicce, Francesco, 3(2)166--199
• Parisi-Presicce:1994:ATC, 3(2)166--199
• Park, Jongchan, 34(2)35--35
• Park:2025:IFL, 34(2)35--35
• Parnin, Chris, 30(1)3--3
• Parnin, Chris, see Rahman, Akond
• Parra-Calderón, Carlos, 33(7)194--194
• Parra-Calderon:2024:IIH, 33(7)194--194
• Parry, Owain, 31(1)17--17
• Parry:2022:SFT, 31(1)17--17
• parse, 2(1)47--92, 8(2)177--212, 25(3)22--22
• parser-based, 5(3)262--292
• parsers, 25(3)22--22
• parsing, 5(1)42--62, 18(2)6--6, 26(4)13--13
• part, 1(2)135--167, 2(2)176--201, 6(4)370--397, 8(1)1--48, 9(2)133--166, 9(2)199--237, 16(1)3--3, 16(2)7--7, 16(4)15--15, 17(1)2--2, 17(3)14--14, 18(2)4--4, 18(2)7--7, 18(3)9--9, 20(4)19--19, 21(1)1--1, 21(4)20--20, 21(4)23--23, 22(2)13--13, 22(3)24--24, 23(1)2--2, 23(2)13--13, 23(2)14--14, 23(3)21--21, 25(1)3--3, 26(1)1--1, 28(2)7--7, 28(2)8--8, 29(3)19--19, 31(2)29--29, 32(1)4--4, 32(1)21--21, 32(1)26--26, 32(2)35--35, 33(5)112--112, 33(7)193--193, 34(3)85--85
• Pârtachi, Profir-Petru, 32(2)32--32
• Partachi:2023:AMI, 32(2)32--32
• partial, 2(2)128--175, 2(4)379--411, 4(2)109--145, 4(4)365--389, 7(1)80--107, 7(4)335--367, 16(1)5--5, 19(3)9--9, 20(4)14--14, 21(2)9--9, 21(2)12--12, 21(4)20--20, 22(1)4--4, 22(3)25--25, 23(2)20--20, 24(3)15--15, 25(2)16--16, 25(4)31--31, 26(1)5--5, 28(3)13--13, 30(4)46--46, 31(3)34--34, 33(2)31--31
• Partial-Order, 24(3)15--15
• partially, 16(4)15--15, 20(4)17--17, 28(2)7--7
• participant, 6(3)213--249, 7(4)335--367, 21(1)4--4, 23(2)13--13, 23(4)31--31, 24(1)1--1, 24(3)14--14, 25(2)13--13, 25(3)26--26, 26(2)6--6, 28(2)9--9, 28(2)11--11, 30(1)2--2, 30(3)35--35, 31(2)36e_36e, 34(3)63--63
• participate, 28(3)18--18, 29(3)16--16
• participating, 19(2)6--6, 34(2)33--33
• participation, 23(4)35--35, 31(3)35--35, 31(4)81--81, 34(2)33--33
• participative, 9(2)199--237
• particular, 1(1)95--127, 1(2)135--167, 2(1)1--46, 2(4)379--411, 4(1)3--35, 4(2)171--213, 7(1)1--40, 7(2)158--191, 8(4)411--424, 9(2)199--237, 9(3)239--272, 16(2)9--9, 17(2)9--9, 18(1)1--1, 18(4)13--13, 19(4)11--11, 20(1)1--1, 20(1)2--2, 21(4)20--20, 22(1)7--7, 22(2)14--14, 22(3)21--21, 22(4)32--32, 22(4)35--35, 23(1)7--7, 23(2)14--14, 24(1)5--5, 24(2)8--8, 24(3)16--16, 25(2)18--18, 25(3)24--24, 25(4)31--31, 26(1)3--3, 27(2)5--5, 27(3)14--14, 27(4)16--16, 27(4)18--18, 28(3)13--13, 29(3)20--20, 30(2)12--12, 31(1)3--3, 31(3)39--39, 31(3)53--53, 32(1)6--6, 32(4)82--82, 33(2)42--42, 33(3)78--78, 33(7)175--175, 34(2)42--42
• particularly, 1(3)269--309, 8(1)49--78, 10(2)149--183, 17(1)2--2, 20(1)2--2, 21(1)5--5, 22(3)21--21, 22(4)30--30, 23(2)19--19, 23(4)32--32, 24(3)13--13, 27(1)3--3, 28(1)4--4, 28(2)11--11, 29(1)5--5, 29(3)16--16, 29(4)28--28, 31(3)43--43, 32(1)20--20, 32(2)43--43, 32(4)88--88, 34(1)6--6, 34(2)38--38, 34(3)58--58, 34(3)75--75
• partition, 1(3)310--354, 19(1)1--1, 22(4)32--32
• partitioned, 17(2)7--7
• partitioning, 22(4)32--32, 27(4)15--15
• partly, 2(2)176--201
• partner, 8(1)79--113, 23(3)25--25, 24(3)17--17, 25(3)23--23
• party, 19(2)6--6, 22(2)15--15, 28(4)21--21, 29(4)27--27
• Party, Third-, 33(2)52--52
• party, Third-, 33(2)52--52
• party, third-, 17(2)8--8, 19(1)1--1, 22(2)15--15, 23(3)21--21, 24(1)4--4, 25(4)30--30, 27(1)2--2, 29(4)23--23, 31(2)28--28, 32(1)2--2, 33(2)34--34, 33(2)49--49
• Pascal, 10(1)5--55
• pass, 31(3)51--51, 33(1)11--11, 33(2)44--44, 34(2)55--55
• passed, 21(1)3--3
• passenger, 32(4)95--95
• passing, 6(3)250--282, 10(1)56--109, 17(2)10--10, 21(1)3--3, 21(3)19--19, 23(1)8--8, 24(4)26--26, 32(2)36--36
• passing, Message-, 30(2)17--17
• passing, message-, 10(1)56--109
• passing, security-, 9(4)341--378
• passing, value-, 16(3)12--12
• passive, 33(2)44--44
• past, 3(4)340--380, 6(3)283--328, 7(1)1--40, 10(2)149--183, 17(2)8--8, 20(3)8--8, 22(1)8--8, 22(2)12--12, 23(4)31--31, 24(1)6--6, 24(2)8--8, 24(3)20--20, 25(3)23--23, 26(4)12--12, 27(3)14--14, 28(2)9--9, 31(2)33--33, 32(1)20--20, 32(2)36--36, 32(3)56--56, 32(5)129--129, 32(6)144--144, 32(6)145--145, 32(6)154--154, 33(2)41--41, 33(3)61--61, 33(7)170--170, 34(3)70--70
• Pastor, Oscar, 22(3)26--26
• Pastor, Oscar, see Marín, Beatriz
• Pastore, Fabrizio, 26(1)1--1, 28(1)1--1, 31(4)61--61, 32(3)79--79, 32(4)104--104, 33(5)130--130, 33(6)155--155
• Pastore, Fabrizio, see Attaoui, Mohammed Oualid, see Attaoui, Mohammed, see Di Nardo, Daniel, \see{Fahmy, Hazem, see Ngo, Chanh Duc, \see{Wang, Chunhui
• PAT, 22(1)3--3
• patch, 26(3)10--10, 27(3)10--10, 27(4)15--15, 28(4)19--19, 30(1)6--6, 31(1)13--13, 31(3)51--51, 31(4)77--77, 32(3)56--56, 32(4)92--92, 32(4)96--96, 32(6)154--154, 32(6)158--158, 33(2)44--44, 33(6)154--154, 33(7)180--180, 34(2)55--55, 34(3)57--57
• PatchCensor, 32(6)154--154
• patching, 27(4)15--15, 32(3)56--56, 34(1)2--2
• path, 1(2)168--187, 6(4)370--397, 15(4)410--457, 17(2)10--10, 17(4)18--18, 20(3)11--11, 21(1)5--5, 22(3)18--18, 22(4)32--32, 22(4)33--33, 23(4)34--34, 24(1)3--3, 24(3)15--15, 24(4)22--22, 25(2)14--14, 25(3)27--27, 26(4)12--12, 29(3)14--14, 30(2)17--17, 31(3)47--47, 33(3)64--64, 33(3)66--66, 33(7)172--172, 33(8)198--198, 34(3)84--84
• path-based, 22(3)18--18
• path-planning, 33(7)173--173
• Path-Sensitive, 24(3)15--15
• path-sensitive, 22(3)18--18, 23(4)34--34, 24(3)15--15
• path-/trace-wise, 34(1)15--15
• pathologies, 33(7)194--194
• paths., 17(2)8--8
• Patnaik, Nikhil, 32(3)60--60
• Patnaik:2023:SSS, 32(3)60--60
• Pattabiraman, Karthik, 25(2)12--12
• Pattabiraman, Karthik, see Alimadadi, Saba
• pattern, 3(2)166--199, 6(3)250--282, 8(2)115--146, 8(3)284--295, 17(3)16--16, 18(2)5--5, 21(3)15--15, 22(2)10--10, 22(2)14--14, 22(3)23--23, 22(4)33--33, 23(2)15--15, 23(4)32--32, 24(2)7--7, 24(2)12--12, 24(3)14--14, 24(4)25--25, 25(1)2--2, 25(3)26--26, 26(2)8--8, 26(4)13--13, 27(2)5--5, 28(2)11--11, 28(3)15--15, 29(1)7--7, 30(1)3--3, 30(1)5--5, 31(1)3--3, 31(3)45--45, 32(1)10--10, 32(2)43--43, 32(3)70--70, 32(4)96--96, 33(5)118--118, 34(3)72--72
• Pattern, Design-, 24(3)14--14
• pattern, design-, 24(3)14--14
• pattern-based, 25(1)3--3, 28(2)11--11, 28(3)15--15, 32(4)96--96
• pattern-matching, 9(2)167--198
• pattern-matching-based, 30(3)26--26
• pattern-oriented, 22(3)23--23
• patterns, Anti-, 31(3)45--45
• patterns, anti-, 33(7)181--181
• Paulweber, Philipp, 30(4)47--47
• Paulweber:2021:SIT, 30(4)47--47
• Pavese, Esteban, 25(2)16--16
• Pavese:2016:LME, 25(2)16--16
• Paving, 33(7)172--172
• Pawlitzki, Thomas, 20(1)1--1
• Pawlitzki, Thomas, see Steimann, Friedrich
• pay, 9(2)199--237, 27(3)14--14
• Payer, Mathias, 32(5)132--132, 32(5)133--133
• Payer, Mathias, see Herrera, Adrian
• paying, 1(1)95--127
• payment, 9(4)443--487
• Payton, Jamie, 19(4)12--12
• Payton:2010:SSA, 19(4)12--12
• PBE, 33(1)4--4
• PBN, 25(1)3--3
• PCEs, 8(4)343--410
• PCGMs, 33(3)60--60
• PCTL, 21(3)18--18
• PE, 34(1)9--9
• pedestrian, 34(3)82--82
• PEEL, 6(2)111--140
• peer, 23(4)35--35, 29(4)26--26
• Peer, Peer-to-, 30(3)35--35
• peer-reviewed, 32(2)51--51
• peer-to-, 29(4)27--27
• Peer-to-Peer, 30(3)35--35
• Pei, Dan, 34(2)52--52, 34(4)89--89
• Pei, Dan, see Sun, Yongqian
• Pei, Hanyu, 33(6)154--154
• Pei, Hanyu, see Li, Yuechen
• Pei, Yu, 32(1)4--4, 33(3)67--67, 34(2)45--45
• Pei, Yu, see Pan, Minxue, \see{Zhu, Tingwei
• Pei:2025:NFN, 34(2)45--45
• Peitek, Norman, 30(1)2--2
• Peitek, Norman, see Siegmund, Janet
• pencil-and-paper, 19(4)13--13
• pendulum, 23(1)6--6
• Penetration, 31(3)55--55
• Peng, Anni, 33(7)192--192
• Peng, Rui, 33(6)160--160
• Peng, Rui, see Ding, Xi
• Peng, Xin, 30(2)18--18, 32(6)140--140, 33(2)31--31
• Peng, Xin, see Chen, Zhenpeng, see Huang, Qing, \see{Wang, Chong
• Peng:2024:BBS, 33(7)192--192
• Penta, Massimiliano, Di, 27(3)14--14, 28(4)19--19, 29(4)29--29, 31(2)23--23, 32(3)67--67, 32(3)73--73, 32(4)88--88
• Penta, Massimiliano DI, 31(1)4--4
• Penta, Massimiliano DI, see Falessi, Davide
• Penzenstadler, Birgit, 28(2)9--9, 33(5)136--136, 34(5)118--118
• Penzenstadler, Birgit, see Betz, Stefanie, see Pezzè, Mauro, \see{Wagner, Stefan
• people, 5(3)191--230, 6(2)111--140, 18(3)10--10, 30(4)42--42, 31(4)67--67, 32(5)112--112, 33(3)80--80, 33(5)124--124
• per, 17(4)17--17, 24(1)4--4, 24(2)8--8, 24(2)10--10, 24(2)12--12, 32(1)1--1, 33(1)1--1
• per-object, 20(4)18--18
• perceive, 24(3)19--19, 32(4)88--88
• perceived, 3(1)3--28, 28(2)11--11, 34(3)72--72
• perceiving, 24(3)19--19
• percent, 3(1)3--28, 9(3)306--337, 23(3)23--23, 23(4)33--33, 28(1)2--2
• percentage, 7(1)41--79, 18(1)1--1, 22(1)8--8
• perception, 25(1)10--10, 30(3)37--37, 32(5)124--124, 33(3)64--64
• perdurant, 28(2)8--8
• Perera, Anjana, 33(6)144--144
• Perera, Judith, 33(7)177--177
• Perera:2024:ILR, 33(6)144--144
• Perera:2024:SMS, 33(7)177--177
• Pérez, Beatriz, 34(3)59--59
• Pérez, Boris, 33(7)178--178, see Freire, Sávio
• Pérez, Francisca, 32(3)63--63
• Pérez-Soler, Sara, 33(4)90--90, see Cañizares, Pablo C.
• Perez:2023:HQM, 32(3)63--63
• Perez:2025:PIS, 34(3)59--59
• perfect, 25(1)6--6, 25(3)20--20
• perfectly, 1(2)135--167, 24(2)11--11, 28(3)16--16
• perform, 1(1)21--52, 3(4)308--339, 9(3)239--272, 17(2)10--10, 21(4)20--20, 22(1)4--4, 22(1)5--5, 22(4)35--35, 24(1)4--4, 24(3)13--13, 24(3)18--18, 24(3)20--20, 24(4)22--22, 24(4)26--26, 25(1)6--6, 25(2)19--19, 25(3)22--22, 25(4)30--30, 26(1)1--1, 26(3)11--11, 27(4)15--15, 27(4)16--16, 28(1)2--2, 28(4)19--19, 31(1)10--10, 31(3)54--54, 32(1)8--8, 32(2)51--51, 32(6)143--143, 34(1)19--19, 34(2)47--47, 34(4)97--97
• performance., 17(2)11--11
• performed, 1(3)310--354, 2(3)203--227, 2(3)270--285, 3(2)101--130, 6(2)173--210, 17(1)4--4, 17(3)15--15, 18(3)12--12, 21(3)18--18, 21(4)24--24, 22(1)5--5, 22(1)6--6, 22(2)15--15, 23(4)29--29, 24(1)1--1, 24(1)6--6, 24(2)10--10, 24(3)13--13, 24(4)23--23, 24(4)26--26, 25(1)9--9, 25(3)23--23, 25(3)24--24, 25(3)27--27, 26(4)13--13, 27(4)15--15, 29(2)11--11, 30(2)13--13, 30(2)25--25, 32(1)3--3, 32(3)74--74
• performed, well-, 31(3)56--56
• performing, 8(4)343--410, 17(4)18--18, 21(4)20--20, 23(1)8--8, 23(3)23--23, 23(4)32--32, 23(4)35--35, 25(3)24--24, 28(1)2--2, 28(2)9--9, 32(3)77--77
• perhaps, 18(3)9--9, 24(3)16--16, 32(5)116--116
• Perino, Nicolò, 24(3)16--16, see Carzaniga, Antonio
• period, 3(1)3--28, 25(3)27--27
• periodic, 4(3)287--317, 28(2)6--6
• peripheral, 31(2)19--19
• Permission, 31(2)30--30
• permissionless, 34(3)63--63
• permissions, 32(1)8--8, 33(1)5--5
• permit, 2(4)346--378, 7(1)1--40, 9(4)410--442, 18(3)9--9, 25(4)31--31, 32(1)6--6
• permitted, 22(2)13--13
• permitting, 8(2)177--212
• Perry, Dewayne E., 10(3)308--337
• Perry:2001:PCL, 10(3)308--337
• persist, 33(6)156--156
• persisted, 24(4)23--23
• persistent, 4(3)221--286, 24(4)25--25, 34(1)9--9
• person, 29(4)25--25, 33(4)109--109
• person, four-, 1(1)81--94
• Person, Suzette, 24(1)3--3
• Person, Suzette, see Yang, Guowei
• person-related, 29(4)25--25
• personal, 18(2)7--7, 23(4)31--31, 27(3)14--14, 32(6)155--155, 33(1)3--3
• personality, 31(3)42--42
• personalization, 32(1)2--2
• personalized, 22(2)12--12
• personnel, 4(3)221--286, 32(2)43--43
• perspective, 6(3)250--282, 7(4)368--410, 21(2)13--13, 22(2)13--13, 22(2)14--14, 31(4)66--66, 31(4)67--67, 31(4)81--81, 32(5)108--108, 32(6)156--156, 33(3)60--60, 33(4)109--109, 33(6)141--141, 33(6)166--166
• pertaining, 10(2)209--254, 23(3)22--22
• pertinent, 7(2)109--157, 24(2)7--7
• perturbation, 1(4)422--451, 32(6)150--150, 33(2)42--42
• pervade, 1(1)95--127
• pervasive, 18(1)2--2, 18(4)15--15, 19(3)9--9, 22(2)10--10, 24(2)12--12, 29(3)21--21, 31(2)37e_37e, 31(4)61--61
• (Peter), Chen, Tse-Hsun, 34(4)90--90, see Kabir, Azmain
• Petke, Justyna, 33(8)196--196, 34(2)31--31
• Petke, Justyna, see Guizzo, Giovani, see Souza, Leandro Oliveria de
• Petre, Marian, 31(1)9--9
• Petre, Marian, see Rauf, Irum
• Petrenko, Alexandre, 6(3)329--331
• Petrenko:1997:CRT, 3(3)201--220, 6(3)329--331
• Petri, 3(4)340--380, 4(2)171--213, 6(3)283--328, 9(1)94--131
• Petrozziello, Alessio, 27(3)12--12
• Petrozziello, Alessio, see Sarro, Federica
• Pex, 23(2)12--12, 23(3)21--21
• Pezzé, Mauro, 23(4)28--28, 24(4)21--21, 28(3)12--12, see Harman, Mark, \see{Murphy, Gail C.
• Pezzè, Mauro, 4(2)171--213, 7(1)80--107, 11(2)149--190, 14(1)42--84, 17(2)6--6, 22(4)28--28, 22(4)30--30, 24(3)16--16, 28(1)1--1, 28(2)6--6, 28(4)19--19, 29(2)8e_8e, 29(3)14e_14e, 30(3)26e_26e, 31(2)18e_18e, 32(1)1--1, 33(1)1--1, 33(4)83--83, 33(8)222--222, 34(5)118--118, see Baresi, Luciano, see Carzaniga, Antonio, see Chang, Hervé, see Denaro, Giovanni, \see{Felder, Miguel, see Notkin, David
• Pezze:1995:GMR, 4(2)171--213
• Pezze:2019:Ea, 28(2)6--6
• Pezze:2019:Eb, 28(3)12--12
• Pezze:2019:Ec, 28(4)19--19
• Pezze:2019:EIE, 28(1)1--1
• Pezze:2020:Ea, 29(2)8e_8e
• Pezze:2020:Eb, 29(3)14e_14e
• Pezze:2021:E, 30(3)26e_26e
• Pezze:2022:ERP, 31(2)18e_18e
• Pezze:2023:EAS, 32(1)1--1
• Pezze:2024:EEJ, 33(8)222--222
• Pezze:2024:EII, 33(4)83--83
• Pezze:2024:ETF, 33(1)1--1
• Pezze:2025:RSE, 34(5)118--118
• Pfahl, Dietmar, 28(2)9--9
• Pfahl, Dietmar, see Wagner, Stefan
• Ph, 6(3)329--331
• Pham, Hung Viet, 34(1)19--19
• Pham, Hung Viet, see Harzevili, Nima Shiri
• phase, 5(3)231--261, 9(1)3--50, 16(4)15--15, 21(3)18--18, 21(4)25--25, 24(1)4--4, 25(3)27--27, 26(2)8--8, 26(4)13--13, 27(2)5--5, 30(3)27--27, 33(4)98--98
• phase, Multiple-, 33(4)100--100
• phase, two-, 21(3)18--18, 25(3)27--27
• PhD, 17(4)19--19, 24(3)14--14
• phenomena, 18(1)2--2
• phenomenon, 17(4)17--17, 18(1)2--2, 23(1)5--5, 23(2)18--18, 25(3)24--24
• Philips, 23(2)18--18
• philosophers, 26(3)9--9
• philosophical, 21(4)24--24
• philosophy, 21(4)24--24, 22(3)27--27, 23(1)5--5
• phone, 24(3)19--19
• Phones, 33(2)47--47
• Phrase-based, 32(5)112--112
• phrases, 28(3)15--15
• phselfdestruct, 31(2)30--30
• Phung, Dinh, 33(3)78--78, 33(6)162--162
• Phung, Dinh, see Fu, Michael, \see{Nguyen, Van
• phUnmatched, 31(2)30--30
• Phyo, Yati, 32(6)151--151
• Phyo, Yati, see Do, Canh Minh
• physical, 22(4)29--29, 24(3)19--19, 28(1)1--1, 28(2)8--8, 33(1)18--18, 34(2)32--32
• Physical, Cyber-, 31(4)79--79, 32(3)73--73, 33(1)18--18
• physical, Cyber-, 31(4)79--79, 32(1)9--9, 32(5)113--113, 33(2)35--35
• physical, cyber-, 30(4)53--53, 32(1)9--9, 32(3)67--67, 32(5)113--113, 34(1)18--18
• physically, 23(2)12--12
• physicists, 28(2)8--8
• physics, 28(2)8--8
• PI, 28(1)5--5
• Pian, Weiguo, 31(4)77--77
• Pian, Weiguo, see Tian, Haoye
• Piantadosi, Valentina, 29(4)29--29
• Piantadosi, Valentina, see Pantiuchina, Jevgenija
• Piattini, Mario, 31(4)59--59
• Piattini, Mario, see Masso, Jhon
• Picco, Gian Pietro, 7(4)368--410, 10(3)338--395, 15(3)279--328
• Picco, Gian Pietro, see Jaccheri, Maria Letizia, see Murphy, Amy L.
• Picco:2001:RAC, 10(3)338--395
• PIE, 8(4)343--410
• piece, 1(3)269--309, 22(1)7--7, 23(3)21--21, 28(3)16--16, 33(6)160--160
• piecewise, 30(1)9--9
• Pied-Piper, 32(3)61--61
• Pierantonio, Alfonso, 3(2)166--199, 28(4)21--21
• Pierantonio, Alfonso, see De Lara, Juan, see Parisi-Presicce, Francesco
• Pierce, Lynn, 2(3)286--303
• Pierce, Lynn, see Podgurski, Andy
• Pietrantuono, Roberto, 33(3)74--74
• Pietrantuono, Roberto, see Giamattei, Luca
• Pietro, Pierluigi, San, 3(1)56--98, 22(3)20--20
• Pietro, Pierluigi San, 14(2)124--167
• Pietro, Pierluigi San, see Berstel, Jean
• Pietsch, Christopher, 30(2)15--15
• Pietsch, Christopher, see Ohrndorf, Manuel
• Pilgun, Aleksandr, 29(4)23--23
• Pilgun:2020:FGC, 29(4)23--23
• pilot, 18(2)7--7, 28(2)9--9
• piloted, 28(2)9--9
• Pin, 22(4)29--29
• Pino, Francisco J., 31(4)59--59
• Pino, Francisco J., see Masso, Jhon
• pinpoint, 34(3)73--73
• Pioneer, 33(8)202--202
• Piorkowski, David, 22(2)14--14
• Piorkowski, David, see Fleming, Scott D.
• pipeline, 33(4)85--85, 34(1)8--8, 34(4)95--95
• Piper, Pied-, 32(3)61--61
• Pipes, 23(3)26--26
• Pirbhai, 7(1)80--107
• PIs, 28(1)5--5
• Pistoia, Marco, 22(4)33--33
• Pistoia, Marco, see Tateishi, Takaaki
• Pistore, Marco, 12(4)440--473
• Pistore, Marco, see Ferrari, Gian-Luigi
• Piterman, Nir, 22(1)9--9
• Piterman, Nir, see D'ippolito, Nicolás
• pitfall, 23(4)29--29, 24(4)24--24, 31(3)40--40
• pivotal, 33(1)10--10
• Pizzolotto, Davide, 33(4)107--107
• Pizzolotto:2024:MDB, 33(4)107--107
• \pkgLimits, 31(2)30--30
• PL, Gaia-, 20(4)17--17
• place, 2(3)203--227, 3(4)308--339, 7(2)158--191, 17(1)3--3, 22(1)7--7, 23(1)5--5, 23(2)16--16, 23(2)18--18, 24(1)5--5, 24(3)19--19, 29(4)27--27, 34(2)32--32
• Place-Aware, 24(3)19--19
• place-aware, 24(3)19--19
• placed, 2(4)379--411, 7(2)158--191, 18(2)6--6, 22(4)32--32, 28(2)8--8
• Placeholder, 34(3)67--67
• placeholders, 34(3)67--67
• placement, 23(1)4--4
• plagiarism, 33(6)159--159
• plague, 22(1)4--4
• plagued, 24(1)2--2
• plan, 21(4)20--20, 22(4)28--28, 33(6)145--145, 33(7)173--173, 34(1)1--1
• plan-driven, 33(2)33--33
• Planet, 32(5)131--131
• planning, 23(2)18--18, 25(2)18--18, 27(1)3--3, 30(4)50--50, 31(2)24--24, 32(5)124--124, 33(7)173--173, 33(7)182--182, 33(8)209--209
• planning, mission-, 33(7)173--173
• planning, path-, 33(7)173--173
• Planning, Self-, 33(7)182--182
• planning-deciding, 31(2)24--24
• plant, 16(2)9--9, 23(1)6--6, 28(2)8--8
• Plasticity, 31(4)80--80
• plateaux, 20(3)12--12
• platform, 1(3)229--268, 22(1)6--6, 29(2)8--8, 29(2)13--13, 30(1)8--8, 30(1)11--11, 30(3)28--28, 31(3)39--39, 32(1)19--19, 32(1)24--24, 32(3)59--59, 32(3)67--67, 32(4)84--84, 33(1)26--26, 33(4)102--102, 33(5)131--131, 33(7)179--179, 34(1)23--23, 34(3)60--60, 34(3)66--66
• platform, cross-, 31(3)44--44
• Platform-Independent, 33(7)175--175
• Platys, 24(3)19--19
• plausible, 24(4)22--22
• play, 16(3)12--12, 18(3)10--10, 19(2)4--4, 21(2)12--12, 23(1)2--2, 23(3)24--24, 27(3)13--13, 28(1)2--2, 30(3)36--36, 30(3)37--37, 31(2)35e_35e, 32(4)100--100, 32(6)148--148, 33(1)10--10, 33(1)24--24, 33(2)55--55, 33(3)75--75, 33(5)128--128, 33(6)160--160, 33(6)165--165, 33(8)201--201, 34(1)22--22, 34(3)75--75, 34(4)96--96
• play-out, 20(4)18--18
• Playbook, 33(8)195--195
• played, 34(3)79--79
• playing, 33(3)73--73, 33(7)175--175, 34(2)33--33
• Plein, Laura, 31(2)31--31
• Plein, Laura, see Keller, Patrick
• plenty, 32(6)150--150
• plethora, 28(2)9--9, 32(6)134--134
• PLMs, 34(1)22--22
• plug-in, 17(1)3--3
• plugin-based, 21(1)3--3, 32(1)19--19
• plugins, 32(1)19--19
• Plun, Jerome Y., 6(3)250--282
• Plun, Jerome Y., see Roman, Gruia-Catalin
• Plus, LoGenText-, 33(2)38--38
• PMs, 28(1)5--5
• PMT, 31(4)73--73
• PNG, 21(3)19--19
• Pobee, Ernest, 30(1)7--7
• Pobee, Ernest, see Ma, Xiaoxue
• Podgurski, Andy, 2(3)286--303, 8(3)263--283, 19(2)5--5
• Podgurski, Andy, see Masri, Wes
• Podgurski:1993:RRS, 2(3)286--303
• Podgurski:1999:ESR, 8(3)263--283
• Pohl, Klaus, 8(4)343--410
• Pohl:1999:PTP, 8(4)343--410
• point, 1(4)399--421, 1(4)422--451, 6(3)250--282, 6(4)370--397, 17(2)9--9, 18(3)9--9, 20(2)7--7, 20(4)17--17, 21(2)13--13, 22(3)18--18, 22(3)22--22, 23(1)4--4, 23(1)5--5, 23(1)7--7, 23(2)14--14, 24(4)23--23, 26(2)6--6, 27(3)10--10, 28(1)3--3, 28(1)5--5, 28(2)9--9, 28(2)10--10, 28(3)17--17, 29(3)14--14, 30(2)22--22, 32(5)114--114, 33(3)57--57, 33(5)132--132, 33(7)178--178
• Point, Floating-, 30(1)9--9
• point, floating-, 17(2)10--10
• pointcut, 16(2)7--7, 23(1)7--7
• pointer, 7(2)158--191, 13(2)199--239, 18(1)3--3, 30(4)46--46, 32(4)101--101, 34(3)69--69
• pointer, null-, 22(3)18--18
• pointer-dereferences, NULL-, 22(2)10--10
• pointers, dangling-, 22(2)10--10
• pointing, 21(3)19--19
• points-to, 14(1)1--41, 16(2)8--8, 18(1)3--3, 25(2)18--18, 30(4)46--46
• Poison, 33(3)62--62
• Polato, Ivanilton, 32(4)94--94
• Polato, Ivanilton, see Venturini, Daniel
• Polese, Giuseppe, 13(4)431--487
• Polese, Giuseppe, see Costagliola, Gennaro
• policy, 6(1)80--110, 9(3)273--305, 9(4)410--442, 18(2)5--5, 18(3)9--9, 19(2)6--6, 23(4)35--35, 25(2)13--13, 25(3)22--22, 28(2)10--10, 30(4)42--42, 33(1)10--10
• policy, five-, 25(3)22--22
• policy-based, 21(2)11--11
• policy-specification, 18(3)9--9
• PoliS, 2(3)203--227, 9(2)167--198
• Polis, 9(2)167--198
• Politecnico, 8(1)79--113
• Pollock, Lori, 30(4)48--48
• Pollock, Lori, see Chatterjee, Preetha
• polychronous, 16(2)9--9
• polyhedra, 23(4)30--30
• Polylith, 5(4)378--421
• Polymer, 18(3)9--9
• polymorphic, 23(1)7--7
• polynomial, 3(1)29--55, 23(4)30--30, 24(1)5--5
• polynomial-time, 8(2)177--212, 21(1)1--1
• polysemes, 18(2)5--5
• Polyvyanyy, Artem, 25(4)28--28, 29(3)17--17
• Polyvyanyy:2017:IDP, 25(4)28--28
• Polyvyanyy:2020:MPR, 29(3)17--17
• Pombo, Carlos G. Lopez, 17(1)4--4, 23(2)20--20
• Pombo, Carlos G. Lopez, see Frias, Marcelo F., see Moscato, Mariano M.
• Pombo, Carlos G. López, 14(4)478--526, see Frias, Marcelo F.
• Pompeo, Daniele, Di, 31(2)25--25
• Ponge, Julien, 19(4)11--11
• Ponge:2010:AAT, 19(4)11--11
• Pons, Alexander P., 11(3)291--308
• Pons, Daniel, Barcelona-, 31(3)39--39
• Pons:2002:TAC, 11(3)291--308
• Ponzi, 32(5)130--130
• poor, 23(4)32--32, 30(4)56--56, 32(3)60--60, 33(1)10--10, 33(3)59--59, 33(3)62--62, 34(2)36--36
• Poore, J. H., 2(1)93--106
• Poore, J. H., see Whittaker, James A.
• poorly, 21(4)20--20, 22(3)27--27, 26(1)3--3
• Popescu, Razvan, 19(3)10--10
• Popescu, Razvan, see Brogi, Antonio
• popular, 7(1)80--107, 7(2)192--214, 19(4)13--13, 22(1)8--8, 23(4)32--32, 24(1)4--4, 24(2)8--8, 24(3)16--16, 25(3)26--26, 27(1)2--2, 27(4)16--16, 29(3)20--20, 29(4)26--26, 29(4)30--30, 30(1)1--1, 30(3)31--31, 30(3)37--37, 30(3)39--39, 31(1)2--2, 31(2)32--32, 31(4)62--62, 32(3)59--59, 32(4)93--93, 32(5)119--119, 32(5)123--123, 32(5)125--125, 32(6)139--139, 32(6)160--160, 33(4)90--90, 33(5)123--123, 33(5)138--138, 33(6)143--143, 33(7)170--170, 33(7)192--192, 34(3)65--65
• popularity, 16(2)7--7, 25(2)12--12, 30(1)8--8, 31(1)15--15, 31(2)32--32, 31(4)79--79, 33(1)14--14, 33(1)26--26, 33(2)50--50, 33(4)101--101, 33(5)116--116, 33(7)191--191, 33(8)197--197, 34(2)51--51
• popularized, 20(1)1--1
• Poracle, 33(2)44--44
• Porisini, Alberto, Coen-, 8(1)79--113, 12(2)107--151
• Porras, Jari, 33(5)136--136
• Porras, Jari, see Betz, Stefanie
• Portable, 34(1)9--9
• ported, 22(1)4--4
• Porter, Adam, 7(1)41--79, 10(2)184--208
• Porter, Adam, see Graves, Todd L.
• Porter:1998:USV, 7(1)41--79
• portfolio, 22(4)37--37, 24(3)15--15, 29(3)16--16
• portion, 1(3)310--354, 4(1)3--35, 5(1)63--86, 6(2)173--210, 8(2)147--176, 22(1)4--4, 34(2)40--40
• ports, 24(1)5--5
• pose, 3(4)271--307, 10(1)56--109, 23(1)2--2, 28(1)3--3, 28(3)15--15, 29(2)9--9, 30(3)26--26, 32(5)110--110, 32(6)139--139, 33(1)8--8, 33(2)45--45, 33(2)49--49, 33(2)51--51, 33(7)176--176, 33(8)200--200, 34(4)90--90
• posed, 31(2)36e_36e, 34(1)9--9
• Poshyvanyk, Denys, 21(4)23--23, 22(4)37--37, 23(1)4--4, 27(3)14--14, 28(4)19--19, 31(2)32--32, 34(5)118--118
• Poshyvanyk, Denys, see Bavota, Gabriele, see Linares-Vásquez, Mario, see Mcmillan, Collin, see Pezzè, Mauro, see Tufano, Michele, \see{Watson, Cody
• Poshyvanyk:2012:CLU, 21(4)23--23
• posing, 23(2)12--12, 33(3)79--79
• position, 6(3)250--282, 28(2)10--10
• positional, 10(1)5--55
• positive, 17(2)8--8, 22(1)5--5, 22(2)10--10, 23(1)8--8, 24(2)7--7, 25(3)22--22, 26(4)12--12, 29(3)16--16, 31(2)30--30, 32(1)8--8, 34(3)71--71
• positive, false-, 22(2)10--10, 25(2)18--18
• positively, 20(2)6--6, 21(4)22--22, 25(4)29--29
• possess, 6(2)141--172
• possibility, 9(3)306--337, 20(1)1--1, 20(3)13--13, 26(3)9--9, 31(1)3--3, 33(5)124--124
• possible, 1(2)188--204, 1(3)269--309, 1(4)422--451, 2(2)128--175, 2(3)270--285, 2(4)311--345, 5(3)191--230, 6(1)1--30, 6(1)31--79, 6(1)80--110, 6(3)283--328, 6(4)370--397, 7(1)80--107, 7(3)250--295, 9(3)239--272, 9(3)273--305, 16(2)9--9, 16(4)14--14, 17(1)2--2, 17(3)16--16, 17(4)19--19, 19(4)12--12, 20(2)4--4, 20(3)11--11, 20(4)14--14, 21(3)14--14, 21(4)21--21, 22(3)26--26, 23(3)24--24, 23(4)29--29, 23(4)31--31, 23(4)34--34, 24(1)5--5, 24(1)6--6, 24(2)7--7, 24(4)24--24, 25(1)4--4, 25(4)28--28, 26(4)13--13, 26(4)14--14, 27(2)6--6, 27(3)13--13, 28(1)4--4, 31(4)80--80, 32(6)136--136, 33(5)118--118, 33(6)145--145, 34(1)18--18, 34(3)72--72
• possibly, 1(3)269--309, 4(1)3--35, 8(1)1--48, 19(2)5--5, 22(1)5--5, 24(3)16--16, 27(4)18--18, 28(1)3--3, 29(4)28--28, 33(3)60--60, 34(3)72--72
• Post, 30(4)48--48
• post-conditions, 3(3)221--253, 4(2)109--145, 6(4)333--369, 9(1)3--50
• post-deployment, 21(1)2--2
• post-release, 17(4)17--17, 34(2)38--38
• Post-training, 33(3)61--61
• postconditions, 6(4)333--369
• posted, 30(1)8--8
• posteriori, 25(4)31--31, 28(4)20--20
• PostgreSQL, 25(1)2--2, 25(1)8--8
• posts, 25(4)29--29, 30(1)8--8, 32(2)43--43, 32(3)80--80, 33(3)69--69
• potential, 3(1)3--28, 4(3)221--286, 6(2)111--140, 6(4)370--397, 9(2)199--237, 10(2)149--183, 17(1)2--2, 17(2)9--9, 17(4)18--18, 18(4)13--13, 20(2)4--4, 20(4)16--16, 21(3)19--19, 22(2)10--10, 22(3)22--22, 22(4)35--35, 23(2)17--17, 23(4)29--29, 23(4)32--32, 25(3)27--27, 25(4)30--30, 27(3)11--11, 27(4)18--18, 28(2)9--9, 28(3)13--13, 28(4)19--19, 29(4)27--27, 30(1)2--2, 30(3)26--26, 31(1)13--13, 31(2)36e_36e, 32(5)112--112, 32(6)141--141, 33(3)66--66, 33(6)147--147, 33(7)178--178, 34(3)73--73
• potentially, 2(3)270--285, 3(1)3--28, 6(3)250--282, 9(4)379--409, 17(4)18--18, 18(4)14--14, 19(2)6--6, 21(3)14--14, 21(4)23--23, 23(1)10--10, 24(3)19--19, 25(4)30--30, 28(1)5--5, 29(2)13--13, 32(3)77--77, 32(3)78--78, 33(1)13--13, 33(7)192--192
• Potter, Hugh D., 28(2)6--6
• Potter, Hugh D., see Ellis, Samuel J.
• power, 5(1)42--62, 6(2)141--172, 16(2)9--9, 18(1)2--2, 21(1)5--5, 21(2)12--12, 21(4)22--22, 22(1)6--6, 24(1)5--5, 24(2)11--11, 26(1)5--5, 27(2)6--6, 27(3)14--14, 28(3)16--16, 28(4)21--21, 30(2)20--20, 30(3)26--26, 30(3)28--28, 32(1)13--13, 33(3)79--79
• power-analysis-based, 24(2)11--11
• powered, 33(1)26--26, 33(7)192--192, 34(3)83--83
• Powered, Blockchain-, 30(3)28--28
• powered, blockchain-, 32(3)59--59
• powered, Emoji-, 30(2)18--18
• Powered, LLM-, 34(3)83--83
• powerful, 1(1)95--127, 2(3)203--227, 9(1)51--93, 9(4)488--528, 20(4)17--17, 22(1)8--8, 22(2)13--13, 22(3)24--24, 23(3)21--21, 23(4)32--32, 24(1)4--4, 24(1)5--5, 32(6)156--156, 33(6)140--140, 33(7)193--193, 34(1)26--26
• pp, 7(3)333--334, 7(4)449--449
• practical, 2(4)379--411, 4(1)65--106, 4(2)171--213, 7(3)215--249, 8(2)177--212, 10(2)184--208, 17(3)14--14, 18(2)4--4, 18(2)6--6, 19(4)12--12, 20(1)3--3, 21(4)24--24, 22(2)11--11, 22(3)23--23, 23(2)19--19, 24(2)8--8, 24(2)11--11, 24(4)23--23, 24(4)24--24, 25(2)14--14, 26(1)4--4, 28(2)10--10, 28(3)14--14, 29(2)11--11, 29(4)30--30, 30(1)9--9, 31(2)26--26, 31(3)47--47, 32(5)129--129, 32(6)158--158, 33(1)2--2, 33(1)17--17, 33(1)22--22, 33(3)72--72, 33(3)73--73, 33(6)159--159
• practically, 22(2)15--15, 33(1)13--13
• practice, 1(4)399--421, 5(4)334--377, 6(3)283--328, 7(1)80--107, 8(1)79--113, 9(4)410--442, 14(4)383--430, 17(2)11--11, 18(1)2--2, 18(3)11--11, 20(1)2--2, 21(2)9--9, 21(4)20--20, 22(1)6--6, 22(1)7--7, 22(3)27--27, 23(2)18--18, 23(4)31--31, 24(1)3--3, 24(2)8--8, 24(2)12--12, 24(3)13--13, 25(1)8--8, 25(2)18--18, 25(3)22--22, 27(3)10--10, 28(1)2--2, 28(1)3--3, 28(2)7--7, 28(2)9--9, 28(3)13--13, 30(1)4--4, 30(2)20--20, 30(2)21--21, 30(2)24--24, 30(2)25--25, 30(4)42--42, 31(1)3--3, 31(2)23--23, 31(3)49--49, 31(3)55--55, 31(4)57--57, 31(4)66--66, 31(4)71--71, 32(1)16--16, 32(2)45--45, 32(2)48--48, 32(3)73--73, 32(4)93--93, 32(4)107--107, 32(6)136--136, 33(3)59--59, 33(4)91--91, 33(4)95--95, 33(4)99--99, 33(5)112--112, 33(5)129--129, 33(6)140--140, 33(6)149--149, 33(6)161--161, 33(7)178--178, 33(7)194--194, 33(8)221--221, 34(1)2--2, 34(1)6--6, 34(1)13--13, 34(1)14--14, 34(1)16--16, 34(2)31--31, 34(3)63--63, 34(3)65--65, 34(3)81--81
• practice-Google, 32(4)93--93
• practiced, 31(1)6--6
• Practitioner, 31(4)66--66
• practitioners, 7(2)158--191, 20(1)2--2, 22(3)21--21, 22(3)27--27, 23(2)16--16, 24(2)12--12, 24(4)23--23, 27(4)18--18, 28(2)9--9, 30(4)54--54, 31(1)16--16, 31(3)53--53, 31(4)81--81, 32(3)69--69, 32(4)107--107, 32(5)108--108, 32(6)141--141, 32(6)146--146, 33(3)80--80, 33(4)88--88, 33(7)178--178, 33(7)187--187, 33(8)199--199
• practitioners-have, 33(3)80--80
• Pradella, Matteo, 12(2)107--151, 22(3)20--20
• Pradella, Matteo, see Coen-Porisini, Alberto
• Pradella:2013:BSC, 22(3)20--20
• Pradhan, Dipesh, 29(2)10--10
• Pradhan, Dipesh, see Ali, Shaukat
• pragmatic, 1(2)135--167, 6(3)250--282, 21(4)20--20, 23(4)31--31, 24(1)1--1, 30(1)9--9
• pragmatic-reuse, 21(4)20--20
• pragmatically, 4(2)171--213
• pre, 3(3)221--253, 4(2)109--145, 6(4)333--369, 9(1)3--50
• pre-build, 33(5)139--139
• pre-fill, 32(2)47--47
• Pre-implementation, 32(6)157--157
• pre-release, 31(4)80--80
• Pre-Trained, 32(3)69--69, 33(5)128--128, 33(7)169--169
• pre-trained, 32(3)69--69, 32(6)143--143, 33(3)60--60, 33(3)72--72, 33(5)126--126, 33(8)217--217, 34(1)21--21, 34(1)22--22
• Pre-Training, 31(3)52--52, 34(3)80--80
• pre-training, 33(8)201--201, 34(3)80--80
• precedence, 2(4)346--378
• preceding, 18(2)7--7, 28(2)10--10, 34(3)84--84
• PRecise, 28(4)23--23
• precise, 3(1)29--55, 6(1)1--30, 6(2)173--210, 6(4)333--369, 6(4)370--397, 10(2)149--183, 16(2)8--8, 17(2)9--9, 18(1)3--3, 19(4)12--12, 20(2)4--4, 21(2)8--8, 21(4)21--21, 21(4)22--22, 22(3)17--17, 22(3)24--24, 23(4)32--32, 24(1)3--3, 24(1)4--4, 24(2)7--7, 24(3)13--13, 24(3)15--15, 24(4)24--24, 25(1)3--3, 25(1)9--9, 25(2)18--18, 25(2)19--19, 26(2)8--8, 27(3)11--11, 28(1)4--4, 28(3)13--13, 28(4)23--23, 29(3)14--14, 32(2)34--34, 32(3)62--62, 32(3)66--66
• precisely, 1(2)168--187, 4(4)319--364, 8(2)177--212, 10(1)5--55, 17(2)9--9, 21(2)8--8, 22(3)17--17, 23(2)15--15, 30(3)26--26, 33(5)121--121
• precision, 2(3)286--303, 3(1)29--55, 8(3)215--262, 8(4)425--472, 10(2)149--183, 17(2)8--8, 17(2)9--9, 18(1)3--3, 20(3)10--10, 20(4)19--19, 22(3)17--17, 22(3)18--18, 22(4)37--37, 23(3)26--26, 24(1)3--3, 24(1)4--4, 24(1)6--6, 24(3)15--15, 24(4)24--24, 25(2)16--16, 25(2)19--19, 25(3)20--20, 25(3)22--22, 25(4)29--29, 28(1)4--4, 29(3)17--17, 32(4)101--101, 33(6)144--144
• Precision-Preserving, 30(4)46--46
• preconceptions, 25(3)26--26
• precondition, 31(1)4--4
• predecessor, 31(2)30--30
• predefined, 23(4)30--30, 23(4)32--32, 25(4)28--28, 27(2)6--6, 28(1)3--3
• predicate, 1(4)422--451, 2(4)379--411, 4(3)221--286, 6(4)333--369, 8(4)411--424, 18(3)11--11, 24(4)22--22, 33(8)215--215
• predict, 8(2)147--176, 19(2)4--4, 22(2)12--12, 22(4)30--30, 24(3)20--20, 25(4)29--29, 26(1)3--3, 27(1)1--1, 28(2)7--7, 30(2)23--23, 33(4)87--87, 33(4)105--105, 33(6)146--146, 33(8)199--199
• predictable, 33(2)54--54
• predicted, 24(2)7--7, 25(1)4--4, 27(4)17--17, 28(1)1--1
• predicting, 5(3)262--292, 18(3)12--12, 26(1)3--3, 28(4)19--19, 29(2)13--13, 30(3)33--33, 31(4)77--77, 32(5)116--116, 32(6)141--141, 33(3)58--58, 33(7)183--183, 33(8)213--213, 33(8)218--218, 34(1)25--25, 34(4)93--93
• prediction, 16(4)15--15, 17(2)8--8, 17(4)20--20, 22(1)7--7, 22(2)12--12, 22(4)30--30, 23(1)10--10, 24(1)6--6, 24(3)20--20, 25(1)3--3, 25(4)29--29, 26(1)3--3, 27(1)1--1, 28(1)5--5, 28(3)15--15, 30(2)23--23, 30(2)25--25, 31(1)4--4, 31(4)76--76, 31(4)79--79, 32(2)30--30, 32(2)46--46, 32(4)92--92, 32(5)128--128, 32(6)148--148, 32(6)157--157, 33(4)85--85, 33(4)98--98, 33(4)105--105, 33(6)141--141, 33(6)144--144, 33(6)146--146, 33(6)157--157, 33(7)187--187, 34(4)94--94
• prediction, mis-, 29(3)14--14
• predictive, 22(1)8--8, 24(2)7--7, 28(1)5--5, 31(3)56--56, 31(4)73--73
• predictively, 22(2)10--10
• predictor, 16(2)8--8, 28(1)5--5, 33(3)58--58, 33(6)144--144
• predominant, 24(2)8--8, 32(1)9--9
• predominantly, 34(4)96--96
• preempting, 24(3)16--16
• preexisting, 25(4)28--28
• prefer, 1(4)399--421
• preference, 5(3)191--230, 16(3)12--12, 25(2)17--17, 32(1)4--4, 33(1)3--3
• Preference-wise, 32(1)4--4
• preferred, 23(4)31--31
• preliminary, 4(1)65--106, 27(2)7--7
• prematurely, 6(1)80--110, 28(3)17--17
• premise, 23(2)17--17
• preparation, 32(5)111--111, 33(1)25--25
• preparing, 29(1)6--6
• preprocessing, 22(3)24--24
• preprocessor, 6(4)398--441
• prerequisite, 28(1)3--3, 28(4)21--21, 29(2)11--11, 31(1)5--5, 33(2)31--31
• Presburger, 9(1)3--50
• prescriptions, 30(2)12--12
• presence, 1(1)95--127, 7(4)335--367, 8(2)147--176, 9(3)306--337, 9(4)379--409, 11(4)427--448, 13(2)199--239, 17(2)9--9, 18(4)14--14, 19(1)1--1, 20(3)12--12, 21(2)8--8, 24(1)1--1, 26(1)1--1, 28(1)1--1, 30(1)9--9, 31(1)17--17, 32(1)5--5, 32(2)38--38, 32(6)147--147, 34(1)17--17
• Presentation, 7(1)1--40, 9(3)273--305
• presented, 1(4)399--421, 3(1)29--55, 3(4)308--339, 5(2)87--98, 5(3)231--261, 8(3)215--262, 8(3)263--283, 8(4)411--424, 8(4)425--472, 16(3)11--11, 17(1)2--2, 17(2)10--10, 18(3)10--10, 18(3)11--11, 19(1)2--2, 20(4)16--16, 21(4)23--23, 22(4)33--33, 23(1)3--3, 23(2)18--18, 23(3)24--24, 24(3)20--20, 25(1)8--8, 25(1)9--9, 25(2)19--19, 25(4)28--28, 28(1)2--2, 28(2)8--8, 32(3)56--56, 33(5)139--139, 33(6)152--152
• presenting, 16(3)11--11, 21(2)10--10, 22(1)8--8, 22(4)35--35, 23(1)6--6
• preservation, 21(2)9--9, 33(2)44--44, 34(2)53--53
• preserve, 10(1)56--109, 16(3)12--12, 19(1)3--3, 24(3)17--17, 25(3)23--23, 25(3)27--27
• preserved, 1(3)310--354, 4(1)3--35, 8(1)1--48, 22(1)8--8, 23(2)15--15
• preserving, 1(3)229--268, 2(3)228--269, 21(1)5--5, 22(1)6--6, 22(4)34--34, 24(3)19--19, 25(3)23--23, 27(4)17--17
• preserving, behavior-, 31(2)23--23
• preserving, meaning-, 2(3)228--269, 7(2)109--157, 21(3)15--15
• Preserving, Precision-, 30(4)46--46
• preserving, semantic-, 19(4)11--11
• preserving, semantics-, 1(3)310--354
• Preserving, Validity-, 34(3)65--65
• preserving, variant-, 28(3)13--13
• Presicce, Francesco, Parisi-, 3(2)166--199
• pressing, 31(3)54--54, 32(6)134--134
• pressure, 23(1)3--3, 32(3)64--64
• presuppose, 7(3)215--249
• prevailing, 17(2)11--11, 34(2)52--52, 34(3)77--77
• prevalence, 23(1)8--8, 25(1)2--2, 31(4)75--75, 33(7)179--179, 34(4)94--94
• prevalent, 5(4)378--421, 18(3)11--11, 23(1)8--8, 30(1)2--2, 32(1)8--8, 33(5)132--132, 33(7)175--175
• prevent, 6(1)80--110, 22(3)21--21, 22(4)29--29, 23(4)29--29, 25(2)14--14, 25(3)20--20, 30(1)9--9, 32(4)82--82
• prevented, 33(5)130--130
• preventing, 9(3)239--272, 26(3)11--11, 31(1)3--3, 33(7)178--178, 34(1)21--21
• prevention, 33(7)178--178
• previous, 1(1)53--80, 6(3)329--331, 7(1)41--79, 7(4)335--367, 16(3)10--10, 17(4)20--20, 18(2)7--7, 18(3)10--10, 21(1)4--4, 22(2)10--10, 22(3)17--17, 22(3)19--19, 22(3)23--23, 22(4)31--31, 24(4)22--22, 24(4)24--24, 25(1)7--7, 25(2)17--17, 25(3)21--21, 26(1)2--2, 26(1)4--4, 26(4)13--13, 26(4)14--14, 28(3)15--15, 29(4)29--29, 31(2)25--25, 32(5)113--113, 32(5)123--123, 33(5)130--130, 33(5)133--133, 33(7)169--169, 33(7)193--193, 33(8)196--196, 33(8)209--209, 33(8)213--213, 34(3)57--57, 34(3)79--79, 34(4)96--96
• previously, 1(4)422--451, 4(1)36--64, 5(2)87--98, 7(3)333--334, 10(2)184--208, 17(1)3--3, 18(1)2--2, 21(4)20--20, 21(4)21--21, 22(4)33--33, 25(1)3--3, 25(2)19--19, 25(3)23--23
• PRI, 23(3)22--22
• Prifling, Benedikt, 33(1)10--10
• Prifling, Benedikt, see Clark, Andrew G.
• Prikladnicki, Rafael, 28(2)9--9
• Prikladnicki, Rafael, see Wagner, Stefan
• primarily, 4(1)65--106, 28(2)8--8, 32(1)8--8, 33(7)192--192
• PRIMARY, 25(1)8--8
• primary, 2(1)47--92, 4(2)171--213, 24(2)12--12, 28(2)6--6, 28(2)8--8, 30(2)15--15, 31(3)56--56, 32(5)133--133, 33(4)99--99, 34(1)14--14, 34(1)27--27
• PRIME, 8(4)343--410
• PrIMe, 20(3)8--8
• PRIME-based, 8(4)343--410
• primitives, 22(1)4--4, 22(2)15--15
• PRINCE, 28(4)23--23
• Principal, 33(5)115--115
• principals, 9(4)410--442
• principle, 2(2)128--175, 5(3)191--230, 9(3)273--305, 22(2)14--14, 22(3)22--22, 26(3)9--9, 28(2)8--8, 28(3)13--13, 30(4)50--50, 33(6)147--147, 33(6)162--162, 34(2)48--48
• principled, 19(2)6--6
• Prins, 4(1)3--35
• Prins-Reps, Horwitz-, 4(1)3--35
• printed, 33(2)38--38
• prints, 17(3)14--14
• prior, 1(1)81--94, 5(1)63--86, 20(2)6--6, 22(3)22--22, 25(1)3--3, 25(1)4--4, 26(1)2--2, 26(3)11--11, 28(3)16--16, 29(3)16--16, 30(2)22--22, 31(1)11--11, 32(1)8--8, 32(1)18--18, 32(4)86--86, 32(6)152--152, 33(6)141--141, 33(7)181--181, 33(8)207--207, 33(8)218--218, 34(3)83--83
• priori, 16(4)15--15, 21(3)18--18
• prioritisation, 32(1)21--21
• prioritization, 22(3)19--19, 24(2)10--10, 25(1)6--6, 30(1)4--4, 31(1)8--8, 32(2)28--28, 32(3)72--72, 33(1)22--22, 33(5)132--132, 34(1)26--26, 34(1)27--27
• prioritize, 24(2)10--10, 25(1)6--6, 29(4)24--24, 31(1)4--4, 31(3)55--55, 32(2)43--43, 33(2)36--36, 33(7)178--178, 33(7)187--187
• prioritizing, 25(1)6--6
• priority, 1(2)168--187, 3(2)101--130, 22(4)36--36, 28(2)10--10, 31(3)45--45
• priority, high-, 33(7)191--191
• PRISM, 21(3)18--18
• privacy, 9(4)410--442, 24(3)19--19, 25(3)22--22, 32(1)2--2, 33(1)21--21, 33(5)121--121, 34(2)53--53
• private, 25(2)13--13, 32(6)155--155, 33(7)174--174
• privilege, 9(4)341--378, 29(3)16--16
• Pro, Asteria-, 33(1)1--1
• Proactive, 31(3)46--46
• probabilistic, 2(3)286--303, 21(3)18--18, 23(1)4--4, 25(2)16--16, 25(3)21--21, 27(1)4--4, 28(1)5--5, 28(2)6--6, 32(2)37--37, 33(2)32--32
• probabilistically, 25(2)16--16
• probability, 2(1)93--106, 4(1)36--64, 21(3)18--18, 25(1)6--6, 27(2)7--7, 28(1)1--1, 32(2)43--43
• Probable, 31(3)34--34
• probably, 22(3)21--21
• probing, 23(2)18--18
• problem-, 34(4)92--92
• problem-driven, 28(2)9--9
• problematic, 33(1)3--3
• Problematizing, 33(2)33--33
• procedural, 6(2)141--172
• procedural, inter-, 24(3)15--15
• procedural, intra-, 26(3)10--10
• procedure, 2(1)93--106, 2(2)109--127, 2(4)346--378, 3(1)29--55, 4(1)3--35, 4(2)109--145, 4(2)171--213, 5(3)191--230, 6(1)80--110, 6(2)141--172, 6(2)173--210, 7(4)411--448, 8(2)177--212, 8(4)343--410, 10(2)209--254, 17(4)19--19, 20(1)1--1, 20(4)14--14, 21(4)22--22, 22(3)25--25, 22(3)26--26, 23(3)24--24, 23(4)34--34, 24(3)15--15, 25(1)6--6, 28(4)21--21, 31(2)29--29, 31(3)37--37, 32(5)122--122, 33(1)11--11
• procedures--which, 6(2)141--172
• proceeded, 28(3)14--14
• Process, In-, 31(3)35--35
• process, multiple-, 4(3)221--286
• process-aware, 8(4)343--410
• process-centered, 5(3)191--230, 6(3)283--328, 8(4)343--410
• process-integrated, 8(4)343--410
• process-modeling, 8(4)343--410
• process-oriented, 4(3)287--317, 19(1)2--2
• process-related, 16(4)15--15
• process-sensitive, 8(4)343--410
• processed, 3(1)3--28, 3(1)29--55
• processing, 3(1)3--28, 3(1)29--55, 4(2)214--216, 4(3)287--317, 17(4)19--19, 19(2)6--6, 19(4)12--12, 25(1)10--10, 25(3)27--27, 26(1)1--1, 26(1)5--5, 26(4)12--12, 28(1)4--4, 31(2)31--31, 31(3)50--50, 31(4)60--60, 32(1)2--2, 32(3)59--59, 32(4)104--104, 33(3)62--62, 33(3)65--65, 33(3)68--68, 33(6)151--151, 33(6)158--158, 33(7)176--176, 34(2)49--49
• processing, Image-, 33(5)130--130
• processors, 1(3)310--354, 2(4)311--345, 3(1)3--28, 3(1)29--55, 4(1)3--35, 4(2)214--216, 4(2)217--219, 5(1)42--62, 5(3)262--292, 7(2)158--191, 8(2)177--212, 9(4)379--409, 10(1)5--55, 10(2)209--254, 27(3)14--14
• produce, 2(2)109--127, 2(3)270--285, 5(3)231--261, 6(3)283--328, 10(1)5--55, 17(4)18--18, 18(4)14--14, 20(2)5--5, 20(3)8--8, 22(2)11--11, 22(3)26--26, 22(4)32--32, 22(4)35--35, 23(1)8--8, 24(2)8--8, 24(3)19--19, 24(4)22--22, 25(1)9--9, 25(1)10--10, 25(2)14--14, 25(2)16--16, 25(2)18--18, 25(3)20--20, 26(1)1--1, 27(3)14--14, 27(4)15--15, 28(1)5--5, 28(3)13--13, 29(4)28--28, 31(2)31--31, 31(3)50--50, 32(2)43--43, 32(3)64--64, 32(4)96--96, 33(7)188--188, 34(1)18--18
• produce, re-, 32(3)56--56
• produced, 2(2)109--127, 5(3)262--292, 6(1)1--30, 6(4)370--397, 10(1)56--109, 20(2)6--6, 23(2)13--13, 23(3)21--21, 23(4)29--29, 24(1)2--2, 24(1)6--6, 24(4)23--23, 26(1)5--5, 29(2)10--10, 30(4)54--54, 31(4)67--67, 33(3)76--76, 33(7)184--184, 34(3)57--57
• producing, 20(1)3--3, 22(3)17--17, 23(2)20--20, 24(4)22--22, 31(2)36e_36e, 32(3)60--60
• product, 1(1)53--80, 4(3)221--286, 5(3)191--230, 6(3)283--328, 7(4)368--410, 7(4)411--448, 8(3)284--295, 17(3)13--13, 17(4)17--17, 18(3)12--12, 20(4)17--17, 21(3)14--14, 22(4)36--36, 23(3)25--25, 24(3)17--17, 25(2)17--17, 26(4)14--14, 27(2)8--8, 29(1)2--2, 30(3)34--34, 30(4)53--53, 33(1)7--7, 33(2)46--46, 33(4)87--87, 33(4)88--88, 33(8)208--208, 34(2)31--31, 34(3)73--73
• product, by-, 24(3)16--16
• Product, Gaia-, 20(4)17--17
• product-family, 17(3)13--13
• product-line, 21(3)14--14, 30(3)34--34
• product-line-aware, 21(3)14--14
• product-lines, 11(2)191--214
• production, 1(1)81--94, 1(2)135--167, 9(1)94--131, 21(1)2--2, 22(2)10--10, 23(1)3--3, 23(3)25--25, 24(3)18--18, 31(1)5--5, 31(2)18--18, 32(1)6--6, 32(2)41--41, 32(6)152--152, 33(1)2--2, 33(5)124--124, 34(1)4--4
• production-test, 32(6)152--152
• Productive, 34(1)21--21
• productivity, 7(4)411--448, 8(4)297--342, 18(3)12--12, 20(2)6--6, 23(1)2--2, 24(1)4--4, 25(2)13--13, 25(3)26--26, 29(3)16--16, 30(3)30--30, 32(1)8--8, 33(3)57--57, 33(3)82--82, 33(5)123--123, 33(6)153--153, 33(6)166--166
• professional, 17(4)20--20, 23(2)13--13, 23(4)31--31, 24(3)14--14, 26(2)6--6, 30(3)37--37, 33(8)218--218
• profile, 8(3)215--262, 8(3)263--283, 8(4)425--472, 24(1)1--1, 25(3)27--27, 26(2)7--7
• profiler, 29(1)6--6
• profiling, 22(3)17--17, 22(4)29--29, 23(3)23--23, 25(2)14--14, 25(3)27--27
• profits, 34(1)9--9
• profoundly, 34(3)77--77
• program, Whole-, 30(3)32--32
• program-analysis, 28(3)13--13
• Program-dependence, 10(2)209--254
• program-describing, 22(4)32--32
• program-integration, 1(3)310--354
• programmable, 1(1)21--52, 4(3)221--286
• PROgrammed, 1(2)135--167
• programmed, 28(2)6--6
• programmer, 1(3)310--354, 2(4)311--345, 4(1)3--35, 6(1)80--110, 7(2)109--157, 8(4)297--342, 9(3)306--337, 16(4)14--14, 17(3)14--14, 18(1)1--1, 18(4)15--15, 21(1)3--3, 21(3)15--15, 21(4)23--23, 22(4)37--37, 23(3)23--23, 23(3)26--26, 23(4)29--29, 24(1)4--4, 24(3)18--18, 25(1)2--2, 25(4)29--29, 27(2)6--6, 31(3)39--39, 32(2)40--40, 32(5)120--120, 32(6)147--147, 33(7)193--193
• programmer-provided, 23(3)26--26
• programmers., 17(3)14--14
• programming, logic-, 2(3)203--227
• programming-language-semantics, 21(3)15--15
• programming-related, 29(4)26--26, 32(3)80--80
• programming/development, 2(2)176--201
• programming/testing, 24(2)10--10
• Prograph, 18(1)1--1
• PROGRESS, 1(2)135--167
• progress, 2(2)176--201, 9(1)3--50, 17(1)2--2, 24(4)24--24, 27(1)1--1, 30(1)9--9, 32(3)56--56, 32(3)79--79, 32(5)115--115, 32(6)145--145, 33(6)156--156, 33(7)193--193, 33(8)215--215, 34(1)15--15
• progressed, 27(1)1--1, 30(4)45--45, 33(2)36--36
• progressive, 26(2)8--8
• progressively, 8(3)215--262, 8(4)425--472
• prohibiting, scalability-, 26(4)12--12
• prohibitive, 25(2)16--16
• prohibitively, 22(4)32--32, 25(4)30--30
• prohibits, 7(4)335--367
• Project, Cross-, 27(1)1--1, 33(6)157--157, 33(6)162--162
• project, cross-, 27(1)1--1, 28(3)15--15
• projections, 25(2)14--14
• projectwide, 1(1)95--127
• Proksch, Sebastian, 25(1)3--3
• Proksch:2015:ICC, 25(1)3--3
• proliferate, 1(2)168--187, 33(1)1--1
• proliferation, 26(4)12--12, 28(4)19--19, 30(3)29--29
• Prolog, 2(3)203--227
• ProM, 25(4)28--28
• Promela, 26(4)13--13
• prominence, 33(8)206--206
• prominent, 23(1)2--2, 31(4)80--80
• promise, 31(1)3--3, 31(2)29--29, 31(3)48--48, 33(1)2--2, 33(4)98--98, 33(5)116--116
• promising, 5(4)334--377, 8(1)49--78, 8(1)79--113, 16(2)9--9, 17(2)11--11, 22(4)35--35, 23(1)8--8, 23(3)24--24, 24(4)26--26, 25(2)17--17, 25(3)21--21, 26(1)5--5, 26(4)14--14, 27(1)1--1, 27(4)18--18, 28(1)4--4, 28(3)13--13, 28(3)17--17, 29(1)5--5, 30(2)21--21, 31(1)3--3, 32(3)58--58, 32(4)96--96, 33(1)22--22, 33(2)37--37, 33(2)43--43, 33(3)65--65, 33(6)147--147, 33(6)149--149, 33(8)217--217
• PROMO, 7(1)1--40
• Promo, 7(1)1--40
• promote, 18(2)6--6, 18(4)15--15, 23(3)24--24, 24(2)12--12, 25(1)6--6, 25(3)20--20, 27(4)17--17
• promoted, 32(5)130--130
• Promoting, 33(8)211--211
• prompt, 25(2)13--13, 33(5)124--124, 33(8)204--204
• Prompt-tuned, 33(1)6--6, 33(2)31--31
• prompting, 33(8)204--204, 34(2)37--37
• promptly, 32(2)30--30, 33(8)200--200, 34(3)75--75
• prone, 5(1)42--62, 7(3)215--249, 18(2)4--4, 22(4)29--29, 23(3)25--25, 24(2)11--11, 27(3)13--13, 31(2)36e_36e, 33(4)105--105, 34(1)10--10
• prone, defect-, 27(1)1--1
• prone, erroneous-, 32(5)129--129
• prone, error-, 2(3)228--269, 9(4)488--528, 19(4)13--13, 23(1)9--9, 25(1)10--10, 30(3)26--26, 32(1)8--8, 32(2)47--47, 32(3)57--57, 33(4)102--102, 34(2)43--43
• Prone?, Fault-, 30(3)29--29
• prone, fault-, 23(4)33--33
• proneness, error-, 32(1)8--8
• proneness, fault-, 23(1)10--10, 23(4)33--33
• proof, 1(1)81--94, 3(1)56--98, 3(4)271--307, 6(1)31--79, 6(3)250--282, 7(4)335--367, 8(2)115--146, 9(4)379--409, 11(1)63--91, 19(4)13--13, 20(3)13--13, 20(4)15--15, 21(3)17--17, 21(4)24--24, 22(2)15--15, 22(4)34--34, 23(2)20--20, 26(1)4--4, 27(2)6--6, 28(3)14--14, 33(7)171--171
• proof, tamper-, 30(3)35--35
• proof-checking, 3(2)131--165
• proof-linking, 9(4)379--409
• proof-of-concept, 6(2)111--140, 21(2)10--10, 23(1)2--2
• propagate, 3(1)29--55, 6(4)398--441
• propagated, 18(4)15--15, 23(1)8--8
• propagation, 2(1)47--92, 4(3)287--317, 22(3)24--24, 30(2)19--19, 32(6)155--155
• propagation, error-, 22(2)10--10
• propagation, similarity-, 28(3)13--13
• proper, 22(3)22--22, 22(4)29--29, 23(1)2--2, 28(4)20--20, 34(3)77--77
• properly, 10(2)209--254, 22(4)29--29
• property-based, 29(4)28--28
• property-dependent, 21(3)18--18
• proportion, 29(3)16--16, 30(2)12--12
• proportional, 1(3)205--228
• proposal, 8(3)284--295, 23(1)7--7, 24(1)6--6, 24(2)9--9, 27(3)12--12, 31(2)23--23, 33(7)194--194
• Proposers, 24(2)12--12
• proposing, 6(1)1--30, 21(4)23--23, 21(4)24--24, 32(2)51--51
• proposition, 24(3)18--18, 28(2)9--9
• propositional, 2(4)346--378, 23(2)20--20
• prospective, 25(3)22--22, 31(2)18e_18e
• protect, 9(4)379--409, 22(1)4--4
• protected, 9(1)51--93, 34(4)87--87
• protecting, 9(4)410--442, 31(1)13--13, 31(2)35e_35e, 32(6)149--149, 33(4)108--108
• protection, 9(4)341--378, 9(4)410--442, 9(4)443--487, 9(4)488--528, 34(4)87--87
• protocol, 1(4)355--398, 2(1)1--46, 2(1)47--92, 3(3)201--220, 6(3)213--249, 6(3)250--282, 6(3)329--331, 8(2)115--146, 8(4)343--410, 9(1)3--50, 9(2)133--166, 9(4)379--409, 9(4)443--487, 9(4)488--528, 16(3)12--12, 19(2)6--6, 19(4)11--11, 19(4)12--12, 22(2)15--15, 23(4)29--29, 24(2)9--9, 27(2)6--6, 28(1)3--3, 28(4)24--24, 30(2)12--12, 32(1)3--3, 32(5)122--122, 33(4)108--108
• protocol-testing, 6(3)329--331
• prototype, 1(1)21--52, 1(1)81--94, 1(3)205--228, 1(3)269--309, 2(3)228--269, 3(2)101--130, 4(3)221--286, 6(1)31--79, 6(2)111--140, 9(1)51--93, 9(4)341--378, 16(4)14--14, 17(3)14--14, 19(4)13--13, 22(4)29--29, 24(2)8--8, 34(1)27--27
• prototyping, 1(3)269--309, 9(2)199--237, 18(2)4--4, 28(2)9--9, 34(4)88--88
• prototyping**, 1(3)269--309, 1(4)355--398
• PROV-IDEA, 34(3)59--59
• prove, 3(2)131--165, 6(2)173--210, 6(3)329--331, 7(3)250--295, 16(2)7--7, 18(3)9--9, 21(3)14--14, 21(3)18--18, 22(3)23--23, 23(3)24--24, 23(4)34--34, 24(1)5--5, 25(4)30--30, 26(1)4--4, 26(2)8--8, 27(2)6--6, 32(4)103--103, 33(3)76--76
• proved, 4(1)36--64, 9(1)3--50, 9(1)94--131, 24(1)3--3, 26(1)4--4
• proven, 22(2)14--14, 22(3)23--23, 27(2)6--6, 32(6)158--158, 33(5)127--127
• provenance, 20(3)8--8, 34(3)59--59
• provenance-aware, 20(3)8--8
• prover, 6(1)31--79, 6(4)333--369, 19(4)13--13, 22(4)33--33
• provided, 1(3)269--309, 2(2)128--175, 2(3)286--303, 3(2)101--130, 3(4)308--339, 5(3)191--230, 8(3)215--262, 8(4)425--472, 9(1)3--50, 9(3)239--272, 9(4)443--487, 17(1)2--2, 17(2)10--10, 17(3)15--15, 20(1)3--3, 20(2)5--5, 20(4)17--17, 21(4)24--24, 22(2)15--15, 22(4)31--31, 23(2)15--15, 23(3)24--24, 24(3)14--14, 24(3)17--17, 24(4)24--24, 25(3)23--23, 31(2)30--30, 32(1)4--4, 32(6)161--161, 33(7)182--182
• provided, programmer-, 23(3)26--26
• provided, user-, 23(2)20--20, 33(1)4--4
• provided--based, 2(3)228--269
• providing, 1(3)269--309, 2(2)176--201, 3(2)131--165, 3(4)308--339, 4(4)319--364, 6(3)283--328, 9(3)306--337, 16(1)3--3, 16(3)11--11, 20(2)6--6, 20(2)7--7, 21(2)9--9, 21(4)24--24, 23(1)7--7, 24(3)13--13, 25(2)17--17, 26(2)8--8, 27(2)5--5, 27(4)15--15, 28(1)2--2, 28(2)9--9, 28(4)24--24, 29(2)10--10, 31(1)13--13, 31(4)68--68, 32(1)27--27, 32(2)46--46, 33(1)19--19, 33(6)149--149
• proving, 2(2)128--175, 2(3)203--227, 4(1)36--64, 6(1)31--79, 6(4)333--369, 6(4)398--441, 7(3)296--332, 19(4)13--13, 23(2)20--20, 23(4)30--30, 24(1)5--5, 27(2)6--6, 30(3)34--34, 32(2)44--44
• provision, 21(3)16--16, 30(1)3--3, 32(4)99--99, 34(1)23--23
• provoked, 31(2)27--27
• proximity, 8(2)115--146
• proxy, 17(1)2--2, 19(1)1--1
• PRs, 32(1)15--15, 33(2)36--36
• prudent, 32(5)116--116
• prune, 22(2)10--10, 25(2)18--18
• Pruning, 33(5)125--125
• psc2code, 29(3)21--21
• PSEE, 6(3)283--328
• PSEEs, 6(3)283--328
• pseudo-code, 24(1)4--4
• PSP, 7(1)1--40, 7(1)41--79
• psychological, 31(1)7--7
• Psychology, 31(1)7--7
• Psychometrics, 31(1)7--7
• PTA, 19(4)11--11, 22(1)8--8
• PTIME, 8(2)177--212
• PTM-APIRec, 33(3)72--72
• public, 30(4)48--48, 32(2)34--34, 33(3)70--70, 33(3)80--80, 34(3)63--63
• publication, 25(1)1--1, 32(4)94--94, 33(8)220--220
• publicly, 24(3)16--16, 26(4)13--13, 27(1)1--1, 27(3)12--12, 31(1)13--13, 32(4)91--91, 33(3)70--70, 33(3)71--71
• published, 7(3)333--334, 18(3)10--10, 21(4)21--21, 23(2)16--16, 25(2)13--13, 25(2)17--17, 26(1)4--4, 26(1)5--5, 28(1)2--2, 32(1)16--16
• publishing, 34(1)1--1
• publish/subscribe, 20(1)1--1
• Pugliese, Rosario, 21(3)16--16
• Pugliese, Rosario, see Fantechi, Alessandro
• pull, 25(3)23--23, 31(2)23--23, 32(1)15--15, 32(2)32--32, 32(2)35--35, 32(6)146--146, 33(2)36--36, 33(3)58--58, 33(7)187--187
• Pull-Based, 33(2)36--36
• Pull-based, 32(1)15--15
• Purandare, Rahul, 31(4)58--58
• Purandare, Rahul, see Jain, Ridhi
• purchase, 16(4)14--14
• pure, 7(3)250--295, 28(3)18--18, 32(2)29--29
• purely, 7(3)215--249, 14(4)478--526, 17(4)20--20, 24(2)10--10, 25(2)17--17, 25(2)18--18, 32(4)86--86
• purpose, 7(3)215--249, 8(3)215--262, 8(4)425--472, 20(4)16--16, 21(1)4--4, 22(2)13--13, 24(1)1--1, 24(2)7--7, 24(3)18--18, 25(3)25--25, 25(4)29--29, 29(2)11--11, 32(1)18--18, 33(7)170--170, 34(3)65--65
• purpose, general-, 27(4)16--16, 32(2)44--44
• Purpose, Special-, 3(4)308--339, 6(1)31--79
• purpose, special-, 9(4)443--487, 16(4)15--15
• purposefully, 33(8)199--199
• pursue, 25(3)24--24, 26(3)10--10
• pursued, 17(2)7--7
• pursuing, 29(3)18--18
• push, 25(3)23--23
• pushed, 27(3)14--14
• put, 3(2)101--130, 9(4)410--442, 21(2)9--9, 23(4)31--31, 29(3)16--16
• putty, 22(3)18--18
• PVS, 19(4)13--13, 23(2)20--20
• PyPI, 33(4)97--97
• Python, 25(1)2--2, 27(4)16--16, 29(4)28--28, 32(3)76--76, 33(5)123--123, 33(6)140--140, 33(7)183--183, 34(1)20--20, 34(3)68--68
• PyTorch, 34(1)20--20, 34(3)70--70