Index file section P for tcs2005.bib
Last update: Fri Oct 18 02:04:06 MDT 2024
Return to index directory
P
-
P, 330(1)101--116, 330(2)251--266, 334(1)115--129, 334(1)161--175,
344(2)120--133, 345(2)248--259, 358(1)88--103, 362(1)54--62,
371(1)20--33, 371(1)83--105, 372(2)125--135, 372(2)152--164,
372(2)165--182, 372(2)196--217, 378(1)117--130, 400(1)46--61,
404(1)76--87, 404(1)142--155, 404(1)170--184, 410(8)977--982,
410(24)2352--2364, 410(26)2478--2488
-
PA, 394(1)134--140
-
PAC, 384(1)66--76
-
PAC-learnability, 387(1)18--31
-
Pace, Gordon, 390(1)1--26
-
Pace, Gordon, see Asarinp, Eugene
-
packed, 380(1)47--68
-
packet, 374(1)203--213, 409(3)477--485
-
packing, 362(1)127--139, 377(1)181--204, 390(1)110--119, 393(1)14--22,
393(1)240--259, 407(1)203--212, 409(3)351--363, 409(3)521--529,
410(38)3792--3803, 410(44)4504--4532, 410(47)5082--5092
-
Paepe, Willem E. de, 295(1)279--294, 352(1)347--348, 407(1)231--241
-
Paepe, Willem E. de, see Krumke, Sven O.
-
PAFAS, 335(2)187--213
-
page, 396(1)88--96
-
paging, 377(1)55--64, 410(38)3694--3701
-
Pagli, Linda, 377(1)277--281
-
Pagli, Linda, see Cleary, Sean
-
pair, 393(1)260--279, 401(1)36--51, 407(1)587--590
-
paired-domination, 410(47)5063--5071, 410(47)5072--5081
-
pairing, 335(1)67--92
-
pairs, All-, 396(1)145--150, 410(1)84--93
-
pairs, NP-, 370(1)60--73
-
Pairwise, 369(1)427--435
-
Pajoohesh, H., 365(3)237--246
-
Pajoohesh, H., see Künzi, H.-P. A.
-
Palágyi, Kálmán, 406(1)119--135
-
Palagyi:2008:FPS, 406(1)119--135
-
Palamidessi, C., 386(3)218--235
-
Palamidessi, C., see Cacciagrano, D.
-
Palamidessi, Catuscia, 335(2)373--404, 367(1)123--138, 373(1)92--114,
380(1)1--1, 388(1)267--289, 389(3)512--527, 410(41)4006--4025,
410(46)4601--4602
-
Palamidessi, Catuscia, see Beauxis, Romain,
see Chatzikokolakis, Konstantinos,
see Deng, Yuxin, \see{Falaschi, Moreno,
see Italiano, Giuseppe F.,
see Vigliotti, Maria Grazia
-
Palamidessi:2005:REC, 335(2)373--404
-
Palano, Beatrice, 340(2)394--407, 356(1)14--25, 387(2)177--186
-
Palano, Beatrice, see Bertoni, Alberto,
see Mereghetti, Carlo
-
Palaysi, Jérôme, 401(1)107--119,
see Giroudeau, Rodolphe
-
Palindrome, 396(1)254--257
-
palindromes, 352(1)31--46, 380(3)220--237, 410(8)900--913,
410(30)2992--2998, 410(51)5365--5373
-
palindromic, 340(2)334--348, 380(3)266--275, 389(1)118--124,
410(30)3018--3026
-
palindromization, 409(3)461--470
-
Pallo, J. M., 409(3)382--393
-
Pallo, J. M., see Baril, J. L.
-
Palmer, Nick, 387(1)18--31
-
Palmer:2007:PLP, 387(1)18--31
-
Palomino, Miguel, 373(1)70--91, 403(2)239--264
-
Palomino, Miguel, see Clavel, Manuel,
see Meseguer, José
-
Palsberg, Jens, 407(1)258--273
-
Palsberg, Jens, see Lee, Jonathan K.
-
Palú, A. Dal, 352(1)108--135
-
Palu:2006:SPA, 352(1)108--135
-
Palumbo, Justin, 410(8)968--972
-
Palumbo, Justin, see Blanchet-Sadri, F.
-
Pan, Jason Chao-Hsien, 410(27)2581--2591
-
Pan, Jason Chao-Hsien, see Su, Chi-Shiang
-
Pan, Jianzhong, 410(21)2162--2173
-
Pan, Jianzhong, see Liu, Xingwu
-
Pan, Jing, 402(2)172--189
-
Pan, Jing, see Hähnle, Reiner
-
Pan, Jun-Jie, 370(1)121--130
-
Pan, Linqiang, 378(1)117--130, 410(26)2478--2488
-
Pan, Linqiang, see Ciobanu, Gabriel,
see Zhang, Xingyi
-
Pan, V. Y., 409(2)255--268
-
Pan, Victor Y., 409(2)155--157
-
Pan, Victor Y., see Bini, Dario Andrea
-
Pan:2007:IPP, 370(1)121--130
-
Pan:2008:SAL, 409(2)255--268
-
Panagopoulou, Panagiota N., 410(17)1599--1606
-
Panagopoulou, Panagiota N., see Kontogiannis, Spyros C.
-
Panangaden, Prakash, 365(3)169--170, 405(1)1--2
-
Panangaden, Prakash, see Kopperman, Ralph
-
pancake, 339(2)257--271, 409(3)450--460
-
panconnectivity, 377(1)170--180, 385(1)286--300, 390(1)70--80
-
pancyclicity, 377(1)170--180
-
pancyclicity, edge-, 390(1)70--80
-
pancyclicity, Weak-vertex-, 396(1)191--199
-
Pandurangan, Gopal, 385(1)101--114, 393(1)220--230
-
Pandurangan, Gopal, see Ferrante, Alessandro,
see Khan, Maleq
-
Pangrác, Ond{\v{r}}ej, 348(2)187--206,
see Dvo{\v{r}}{\'a}k, Zden{\v{e}}k
-
Panholzer, Alois, 370(1)265--278
-
Panholzer, Alois, see Kuba, Markus
-
Pantovi{\'c}, Jovanka, 402(2)156--171,
see Dezani-Ciancaglini, Mariangiola
-
Paolini, Luca, 398(1)51--62
-
Paolini:2008:PE, 398(1)51--62
-
Papadakis, Thomas, 352(1)136--158
-
Papadakis, Thomas, see Poblete, Patricio V.
-
Papadimitriou, Christos, 410(17)1581--1588
-
Papadimitriou, Christos, see Daskalakis, Constantinos
-
Papadimitriou, Christos H., 344(1)3--14, 371(3)148--154
-
Papadimitriou, Christos H., see Koltun, Vladlen
-
Papadimitriou:2005:CRG, 344(1)3--14
-
Papadopoulos, Charis, 410(1)1--15
-
Papadopoulos, Charis, see Heggernes, Pinar
-
Papaioannou, Evi, 384(2)152--160, 402(2)142--155
-
Papaioannou, Evi, see Caragiannis, Ioannis
-
Papakonstantinou, Periklis A., 352(1)181--189
-
Papakonstantinou:2006:HCP, 352(1)181--189
-
Papamanthou, Charalampos, 408(2)224--240
-
Papamanthou:2008:ACP, 408(2)224--240
-
paper, 330(3)375--376, 389(3)337--340, 390(2)127--128, 395(1)132--133
-
Pappalardi, Francesco, 380(3)377--387
-
Pappalardi, Francesco, see Lepistö, Arto
-
Pappas, George J., 342(2)229--261, 410(42)4262--4291
-
Pappas, George J., see Fainekos, Georgios E.,
see Haghverdi, Esfandiar
-
Paquelet, Stéphane, 343(1)4--26, see López, Luis
-
Paquete, L., 407(1)274--277
-
Paquete, L., see Chiarandini, M.
-
Paquin, G., 393(1)166--181
-
Paquin, G., see Brlek, S.
-
Paquin, Geneviève, 410(38)3782--3791
-
Paquin:2009:GCW, 410(38)3782--3791
-
paradigm, 351(1)74--81
-
paradigmatic, 383(2)200--243
-
parallel, 343(3)482--508, 344(2)226--242, 352(1)108--135,
358(1)142--147, 360(1)172--192, 362(1)17--32, 365(1)83--108,
369(1)157--168, 374(1)196--202, 380(1)87--99, 386(1)57--72,
387(2)136--146, 393(1)182--195, 395(1)24--30, 396(1)247--253,
396(1)283--289, 406(1)119--135, 407(1)342--348, 409(3)601--616,
410(14)1319--1327, 410(21)2291--2294, 410(24)2308--2315,
410(27)2732--2745, 410(38)3597--3605
-
parallel-batch, 410(8)830--836
-
Parallel-machine, 393(1)204--210, 410(38)3761--3768
-
parallelism, 372(2)183--195, 378(1)117--130, 410(19)1863--1875
-
parallelization, 410(46)4704--4723
-
Parallelizing, 410(26)2489--2510
-
parameter, Fixed-, 410(45)4554--4570
-
parameterised, 343(3)332--369, 404(3)235--255
-
parameterized, 339(2)167--199, 351(3)314--336, 351(3)337--350,
351(3)394--406, 351(3)407--424, 351(3)446--458, 354(2)211--229,
408(2)224--240, 410(1)53--61, 410(21)2024--2032, 410(27)2641--2648,
410(27)2746--2753, 410(44)4471--4479, 410(47)4928--4936,
410(51)5347--5353, 410(52)5425--5442, 410(52)5467--5480
-
parameters, 386(1)94--113
-
parametric, 350(1)103--124, 388(1)152--172, 398(1)51--62,
402(2)102--119, 405(1)41--49
-
parametricity, 388(1)290--318
-
parametrizability, non-, 345(2)296--303
-
parametrization, 410(26)2511--2528
-
parametrized, 388(1)130--151
-
Paranthoën, Thomas, 330(2)221--235,
see Champarnaud, Jean-Marc
-
Parekh, Ojas, 385(1)202--213, 400(1)159--168
-
Parekh, Ojas, see Berger, André
-
Parekh:2008:AAP, 400(1)159--168
-
Parente, Mimmo, 393(1)37--53
-
Parente, Mimmo, see Ferrante, Alessandro
-
parentheses, 368(3)231--246
-
Pareto, 378(3)253--270
-
Parga, Manuel Vázquez de, 407(1)192--202, 410(47)4961--4974,
see García, Pedro
-
Parida, Laxmi, 335(1)3--14, 390(1)40--55, 395(2)158--170
-
Parida, Laxmi, see Apostolico, Alberto,
see Chattaraj, Abhijit,
see Comin, Matteo
-
Parikh, 390(1)102--109, 410(47)5158--5181
-
parity, 359(1)1--14, 362(1)86--99, 393(1)166--181
-
Park, Jung-Heum, 377(1)170--180, 390(1)70--80, 410(27)2632--2640
-
Park, Kihong, 393(1)220--230
-
Park, Kihong, see Ferrante, Alessandro
-
Park, Kunsoo, 370(1)19--33, 385(1)127--136, 395(2)268--282,
410(43)4402--4413
-
Park, Kunsoo, see Kim, Jin Wook,
see Lee, Sunho, \see{Na, Joong Chae
-
Park, Myoung-Ju, 410(8)963--967
-
Park, Myoung-Ju, see Hong, Sung-Pil
-
Park, Myung-Ah, 396(1)180--190
-
Park, Myung-Ah, see Wang, Chen
-
Park, Wooram, 409(2)211--228
-
Park, Wooram, see Leibon, Gregory
-
Park:2007:PPH, 377(1)170--180
-
Park:2008:PEP, 390(1)70--80
-
Park:2009:CMP, 410(27)2632--2640
-
Parker, David, 391(3)239--257, 410(12)1272--1303
-
Parker, David, see Heath, John,
see Kwiatkowska, Marta
-
Parker, Matthew W., 351(1)2--13
-
Parker:2006:TCD, 351(1)2--13
-
Parlato, Gennaro, 410(8)886--899
-
Parlato, Gennaro, see Ferrante, Alessandro
-
Parnas, Michal, 381(1)183--196
-
Parnas:2007:AMV, 381(1)183--196
-
Parrado-Hernández, Emilio, 382(3)232--246,
see Ambroladze, Amiran
-
Parrilo, Pablo A., 361(2)210--225, 409(2)269--281
-
Parrilo, Pablo A., see Klerk, Etienne de,
see Peyrl, Helfried
-
parses, 389(1)73--81
-
parsing, 340(2)432--442, 347(1)191--213
-
part, 347(1)167--190, 347(1)191--213, 352(1)47--56, 379(1)231--265,
390(1)1--26, 410(47)4834--4843
-
partial, 336(2)311--342, 345(1)27--59, 345(2)173--189, 347(1)432--436,
349(3)361--381, 351(2)221--239, 353(1)1--25, 354(1)131--141,
365(1)2--22, 365(3)199--205, 365(3)237--246, 369(1)384--395,
377(1)110--125, 385(1)179--192, 389(1)265--277, 389(3)512--527,
410(8)793--800, 410(8)943--948, 410(8)968--972, 410(21)2064--2071,
410(37)3513--3519, 410(42)4180--4189
-
partially, 349(3)420--428, 352(1)159--180, 356(1)190--199, 368(1)1--29,
400(1)144--158, 400(1)159--168, 409(3)411--416, 409(3)537--548,
410(6)595--613
-
participation, 402(2)142--155
-
particle, 377(1)205--228, 410(27)2767--2773
-
particular, 410(21)2279--2284
-
partition, 348(2)148--186, 349(1)52--66, 349(3)407--419, 369(1)456--462,
370(1)121--130, 374(1)41--48, 378(3)223--236, 381(1)124--133,
385(1)1--10, 389(1)82--90, 410(8)859--866
-
Partitioned, 396(1)212--222
-
partitioning, 377(1)260--267, 378(1)78--86, 396(1)290--293,
410(14)1355--1368, 410(47)4834--4843
-
Partitioning, k-, 374(1)41--48
-
partizan, 332(1)367--389
-
partners, 379(3)317--328
-
Pasanen, Kari, 362(1)54--62
-
Pasanen, Kari, see Hemaspaandra, Lane A.
-
Pasareanu, Corina, 336(2)209--234
-
Pasareanu, Corina, see Artho, Cyrille
-
Paschos, V. Th, 410(21)2184--2195
-
Paschos, V. Th., see Bourgeois, N.
-
Paschos, Vangelis Th, 332(1)83--108, 332(1)497--513, 339(2)272--292,
359(1)369--377
-
Paschos, Vangelis Th., see Bazgan, Cristina,
see Demange, Marc, \see{Escoffier, Bruno
-
Pascual, Fanny, 369(1)157--168
-
Pascual, Fanny, see Angel, Eric
-
pass, 410(19)1765--1780
-
passing, Message-, 358(2)150--172
-
passing, Name-, 356(3)440--467
-
passing, name-, 356(3)422--439
-
password-based, 352(1)280--287
-
path, 333(3)401--413, 337(1)370--378, 341(1)385--397, 351(3)360--371,
355(3)354--363, 358(2)273--292, 359(1)188--199, 369(1)427--435,
370(1)94--109, 377(1)25--34, 383(1)23--33, 384(2)139--151,
385(1)11--33, 389(1)1--11, 389(1)330--335, 391(1)75--89,
396(1)145--150, 396(1)258--263, 399(1)128--140, 399(3)220--235,
401(1)131--143, 404(3)275--292, 407(1)110--116, 407(1)349--358,
409(3)497--510, 410(1)62--77, 410(1)84--93, 410(8)766--775,
410(15)1461--1472, 410(21)1982--1985, 410(21)2033--2044,
410(47)5128--5137, 410(47)5138--5144, 410(50)5215--5226
-
path, all-shortest-, 389(1)250--264
-
path, Induced-, 370(1)121--130
-
path, shortest-, 333(3)347--353
-
path-connected, 351(1)119--128
-
pathology, 349(2)268--281
-
pathways, 391(3)239--257, 404(1)97--111
-
Patón, Alfonso, Rodríguez-, 369(1)183--196,
372(2)196--217, 410(24)2424--2430, 410(30)2982--2991
-
Pa{\u{t}}ra{\c{s}}cu, Mihai, 380(1)127--142
-
Patrascu:2007:DBP, 380(1)127--142
-
Patt-Shamir, Boaz, 370(1)254--264
-
Patt-Shamir:2007:NEA, 370(1)254--264
-
pattern, 335(1)3--14, 335(1)15--27, 335(1)29--51, 335(1)53--66,
339(1)7--18, 342(2)262--315, 348(1)41--57, 349(3)420--428,
356(1)26--45, 356(1)153--169, 359(1)15--27, 359(1)306--328,
362(1)63--85, 364(1)115--131, 368(3)196--204, 371(3)200--226,
382(3)221--231, 382(3)232--246, 389(1)307--317, 390(1)40--55,
395(2)283--297, 396(1)35--49, 397(1)150--165, 397(1)166--193,
398(1)16--31, 407(1)412--447, 407(1)587--590, 409(2)241--254,
409(3)432--437, 410(24)2410--2423, 410(30)2992--2998,
410(43)4327--4340, 410(51)5317--5333
-
pattern, E-, 350(1)91--102
-
Pattinson, Dirk, 331(2)457--483, 388(1)83--108
-
Pattinson, Dirk, see C{\u\i}rstea, Corina
-
Pattinson:2005:CAM, 331(2)457--483
-
Paul, Christophe, 393(1)72--80
-
Paul, Christophe, see Bui-Xuan, Binh-Minh
-
Paulusma, Daniël, 349(1)67--81, 393(1)182--195, 410(14)1319--1327,
410(21)2045--2053, 410(47)4834--4843,
see Broersma, Hajo,
see Fiala, Ji{\v{r}}{\'\i},
see Fleischner, Herbert,
see Hof, Pim van 't
-
P{\u{a}}un, Andrei, 363(2)135--148, 372(2)196--217, 410(24)2424--2430,
410(30)2982--2991, see Câmpeanu, Cezar,
see Ibarra, Oscar H.
-
P{\u{a}}un, Gheorghe, 330(1)101--116, 330(2)339--348, 358(1)88--103,
372(2)123--124, 372(2)196--217, 378(1)117--130, 404(1)19--25,
410(24)2352--2364, see Cavaliere, Matteo,
see Ciobanu, Gabriel, \see{Freund, Rudolf,
see Ibarra, Oscar H.,
see Margenstern, Maurice
-
P{\u{a}}un, Mihaela, 410(24)2424--2430,
see P{\u{a}}un, Andrei
-
Paun:2007:FBW, 372(2)123--124
-
Paun:2008:MCB, 404(1)19--25
-
Paun:2009:HMT, 410(24)2424--2430
-
Pavan, A., 385(1)167--178
-
Pavan:2007:PRI, 385(1)167--178
-
Pavesi, Giulio, 335(1)29--51
-
Pavesi, Giulio, see Mauri, Giancarlo
-
Payet, Étienne, 403(2)307--327
-
Payet:2008:LDT, 403(2)307--327
-
payment, 410(8)886--899
-
Payton, Jamie, 336(2)367--401, 376(3)185--204
-
Payton, Jamie, see Roman, Gruia-Catalin
-
PCA, 367(3)286--307
-
PCP, 380(3)355--362
-
pebble, one-, 341(1)138--149
-
pebbles, 330(2)311--324
-
pebbling, 379(3)418--436
-
Pedagogical, 410(42)4190--4203
-
Pedersen, Morten M., 362(1)127--139
-
Pedersen, Morten M., see Boyar, Joan
-
Pedicini, Marco, 332(1)313--336
-
Pedicini:2005:GES, 332(1)313--336
-
Peer, Guy, 345(2)331--344
-
Peer, Guy, see Fraigniaud, Pierre
-
peer, peer-to-, 355(1)25--36, 410(6)453--466
-
peer-to-peer, 355(1)25--36, 410(6)453--466
-
Pelantová, E., 400(1)113--136, 410(38)3589--3596,
see Ambro{\'z}, P.,
see Masáková, Z.
-
Pelantová, Edita, 380(3)266--275, 389(1)12--25, 410(27)2779--2783,
see Balková, L'ubomíra,
see Balázi, Peter,
see Bernat, Julien
-
Pelc, Andrzej, 333(3)355--371, 345(2)331--344, 355(3)315--326,
362(1)196--206, 370(1)279--292, 384(2)137--138, 390(1)27--39,
410(6)481--499
-
Pelc, Andrzej, see Czyzowicz, Jurek,
see De Marco, Gianluca,
see Fraigniaud, Pierre,
see G{\k{a}}sieniec, Leszek,
see Klasing, Ralf,
see Kowalski, Dariusz R.
-
Pelc:2007:FCB, 370(1)279--292
-
Pelc:2007:P, 384(2)137--138
-
Peled, Doron, 404(3)275--292, 410(42)4180--4189
-
Peled, Doron, see Bensalem, Saddek,
see Niebert, Peter
-
Peleg, David, 333(3)329--330, 337(1)249--277, 345(2)331--344,
370(1)279--292, 383(1)102--110, 384(2)137--138, 399(1)71--82,
410(14)1355--1368
-
Peleg, David, see Cohen, Reuven,
see Efrima, Asaf, \see{Elkin, Michael,
see Fraigniaud, Pierre,
see Matichin, Rachel, \see{Pelc, Andrzej
-
Peleg:2005:P, 333(3)329--330
-
penalty, 369(1)323--337, 395(2)268--282
-
pencils, 381(1)134--147
-
Peng, Dezhong, 378(1)87--100
-
Peng, Sheng-Lung, 396(1)212--222
-
Peng, Sheng-Lung, see Chandler, David B.
-
Peng, Z. S., 363(1)69--75
-
Peng, Z. S., see Leung, H. F.
-
Peng:2007:CAO, 378(1)87--100
-
Penn, Gerald, 354(1)72--81
-
Penn:2006:ETC, 354(1)72--81
-
Penna, Paolo, 343(1)27--41, 349(3)361--381, 410(17)1607--1615,
410(36)3348--3356
-
Penna, Paolo, see Ambühl, Christoph,
see Auletta, Vincenzo,
see Cieliebak, Mark
-
Penna:2009:SPT, 410(17)1607--1615
-
Pennock, David M., 343(1)114--132
-
Pennock, David M., see Feigenbaum, Joan
-
Pentus, Mati, 357(1)186--201
-
Pentus:2006:LCN, 357(1)186--201
-
people, 395(2)135--136
-
PEPA, 404(1)97--111
-
PEPA, Bio-, 410(33)3065--3084
-
per, 337(1)347--359, 410(30)2920--2934
-
Peralta, René, 396(1)223--246, see Boyar, Joan
-
perceptron, 371(1)62--71
-
percolation, 355(1)48--64
-
Pereira, Fernando Magno Quintão, 407(1)258--273,
see Lee, Jonathan K.
-
Pérennes, Stéphane, 406(3)225--239, 410(38)3751--3760,
see Amini, Omid, \see{Klasing, Ralf
-
Pérez-Díaz, Sonia, 359(1)344--368
-
Perez-Diaz:2006:DBP, 359(1)344--368
-
Pérez-Giménez, X., 410(30)2920--2934,
see Díaz, J.
-
Pérez-Jiménez, Mario J., 330(1)101--116, 371(1)54--61,
372(2)123--124, 372(2)183--195, 378(1)117--130, 404(1)76--87,
see Ciobanu, Gabriel,
see Díaz-Pernil, Daniel,
see Freund, Rudolf,
see Gutiérrez-Naranjo, Miguel A.,
see P{\u{a}}un, Gheorghe
-
perfect, 337(1)305--318, 340(1)154--178, 409(3)405--410,
410(47)4812--4822
-
Perfectly, 410(16)1486--1494
-
perform, 351(1)101--110
-
performance, 331(1)73--96, 335(2)187--213, 351(1)74--81, 351(1)111--118,
360(1)172--192, 382(1)3--23, 410(2)254--280
-
Pergola, E., 346(2)184--188
-
Pergola, Elisa, 346(2)183--183
-
Pergola:2005:MAD, 346(2)184--188
-
Pergola:2005:P, 346(2)183--183
-
Perifel, Sylvain, 389(1)172--181, 410(50)5244--5251
-
Perifel, Sylvain, see Koiran, Pascal
-
period, 339(1)49--60, 352(1)226--231, 410(30)3027--3034
-
periodic, 354(3)354--366, 374(1)58--65, 410(47)5112--5121
-
periodical, 347(1)370--392
-
periodicity, 347(1)419--422, 360(1)96--123, 391(1)61--64,
391(1)178--187, 410(30)2795--2803, 410(43)4295--4302
-
periodising, 351(1)82--100
-
peripheral, 404(1)40--51
-
Perkowski, Marek, 334(1)259--274, 367(3)336--346, 403(1)130--131
-
Perkowski, Marek, see Khan, Faisal Shah,
see Yang, Guowu
-
permutation, 345(2)370--385, 348(2)251--261, 348(2)321--333,
352(1)197--214, 354(1)118--130, 391(1)150--163, 396(1)35--49,
402(2)221--233, 406(1)63--71, 409(3)565--577, 410(21)2135--2147,
410(38)3743--3750
-
Permuting, 349(3)309--317
-
Pernil, Daniel, Díaz-, 404(1)76--87
-
Peron, Adriano, 403(2)382--405
-
Peron, Adriano, see Bozzelli, Laura
-
Perrin, D., 340(2)179--185
-
Perrin, D., see Luca, A. de
-
Perrin, Dominique, 332(1)567--572, 340(2)381--393, 340(2)432--442,
345(2)190--205, 356(1)6--13, 410(43)4423--4431
-
Perrin, Dominique, see Béal, Marie-Pierre,
see Clément, Julien,
see Crochemore, Maxime
-
Persiano, Giuseppe, 410(36)3348--3356
-
Persiano, Giuseppe, see Auletta, Vincenzo
-
Personal, 410(46)4605--4607
-
perspective, 347(1)370--392, 401(1)172--180
-
Persson, Mia, 354(3)367--378
-
Persson, Mia, see Hammar, Mikael
-
Pescini, Dario, 372(2)242--266
-
Pescini, Dario, see Muskulus, Michael
-
PEsort, 369(1)44--66
-
Petazzoni, Bruno, 354(3)405--420
-
Petazzoni, Bruno, see Berstel, Jean
-
Peters, T. J., 365(3)184--198, 405(1)41--49
-
Peters, T. J., see Abe, K., \see{Jordan, K. E.
-
Petersen, Holger, 330(1)15--21, 410(30)2972--2981
-
Petersen, Holger, see Austinat, Holger,
see Hromkovi{\v{c}}, Juraj
-
Petersen, R. L., 388(1)152--172
-
Petersen, R. L., see Birkedal, L.
-
Petit, Jordi, 381(1)197--217, 406(3)240--247
-
Petit, Jordi, see Àlvarez, Carme
-
Petkovi{\'c}, Tatjana, 347(1)1--35
-
Petkovic:2005:PVT, 347(1)1--35
-
Petre, Ion, 340(2)322--333, 374(1)74--81, 390(1)102--109, 395(1)24--30,
410(24)2308--2315
-
Petre, Ion, see Alhazov, Artiom,
see Atanasiu, Adrian,
see Csuhaj-Varjú, Erzsébet,
see Karhumäki, Juhani,
see Langille, Miika
-
Petreschi, Rossella, 382(2)97--108
-
Petreschi, Rossella, see Caminiti, Saverio
-
Petri, 338(1)350--392, 356(3)374--386, 359(1)77--100, 360(1)124--146,
379(1)1--19, 394(1)134--140, 403(2)202--220, 410(12)1190--1216,
410(41)4111--4159, 410(42)4241--4261
-
Petrov, I. V., 391(1)99--108
-
Petrov:2008:ARC, 391(1)99--108
-
Pettersson, Paul, 354(2)301--317
-
Pettersson, Paul, see Fersman, Elena
-
Pevzner, Pavel A., 395(2)193--202
-
Pevzner, Pavel A., see Alekseyev, Max A.
-
Peyrl, Helfried, 409(2)269--281
-
Peyrl:2008:CSS, 409(2)269--281
-
Phan, Thi Ha Duong, 389(1)82--90
-
Phan, Thi Ha Duong, see Le, Minh Ha
-
Phaneesh, Kuppahalli L., 410(6)614--628
-
Phaneesh, Kuppahalli L., see Mittal, Neeraj
-
phase, 355(3)291--302, 358(1)121--141, 368(1)1--29, 390(1)1--26
-
Phillips, Andrew, 410(33)3166--3185
-
Phillips, Andrew, see Cardelli, Luca
-
Phillips, Iain, 330(3)501--551, 356(3)468--494, 388(1)267--289
-
Phillips, Iain, see Maffeis, Sergio,
see Vigliotti, Maria Grazia
-
Phillips, Iain C. C., 386(3)167--168
-
Phillips, Iain C. C., see Baeten, Jos C. M.
-
Phillips:2006:LER, 356(3)468--494
-
phylogenetic, 335(1)93--107, 351(3)296--302, 363(1)43--59, 363(1)60--68,
369(1)448--455, 370(1)299--308
-
phylogeny, 351(3)337--350, 389(1)44--55
-
physical, 394(3)159--174, 410(4)376--383
-
physics, 394(3)141--143
-
pi-calculus, 398(1)217--242
-
Piao, Xiaoxue, 410(35)3290--3302
-
Piao:2009:OSC, 410(35)3290--3302
-
Picantin, Matthieu, 362(1)207--221
-
Picantin:2006:FTD, 362(1)207--221
-
Picchi, Rafael, 377(1)126--138
-
Picchi, Rafael, see Becher, Verónica
-
Pichardie, David, 342(1)56--78, 364(3)273--291
-
Pichardie, David, see Besson, Frédéric,
see Cachera, David
-
Pichler, Reinhard, 410(38)3814--3825
-
Pichler, Reinhard, see Hermann, Miki
-
Picouleau, C., 346(2)439--454, 406(1)43--54
-
Picouleau, C., see Brocchi, S.
-
Picouleau:2005:RCP, 346(2)439--454
-
Pict, 410(2)114--127
-
picture, 337(1)51--104, 340(2)257--272, 356(1)90--103, 366(3)297--315,
374(1)214--228, 410(16)1495--1515
-
Pierce, Benjamin C., 375(1)169--192
-
Pierce, Benjamin C., see Sumii, Eijiro
-
Piergiovanni, Sara Tucci, 410(21)2110--2121
-
Piergiovanni, Sara Tucci, see Baldoni, Roberto
-
Pierik, Cees, 343(3)413--442
-
Pierik:2005:POL, 343(3)413--442
-
Pierro, Alessandra, Di, 346(1)1--2, 382(1)1--2
-
Pierro, Alessandra Di, 340(1)3--56
-
Pierro:2005:MCP, 340(1)3--56
-
Pietracaprina, Andrea, 408(2)97--98
-
Pietracaprina, Andrea, see Amato, Nancy M.
-
Pietro, Pierluigi San, 356(1)90--103
-
Pietro, Pierluigi San, see Cherubini, Alessandra
-
pigeonhole, 383(2)115--131, 410(27)2774--2778
-
Pighizzini, Giovanni, 330(2)349--360, 387(2)91--92, 410(35)3187--3187
-
Pighizzini, Giovanni, see Câmpeanu, Cezar,
see Leung, Hing, \see{Mera, Filippo
-
Pikhurko, Oleg, 369(1)35--43, 407(1)242--249
-
Pikhurko, Oleg, see Beveridge, Andrew
-
Pikhurko:2006:EBG, 369(1)35--43
-
Pilard, Laurence, 410(14)1336--1345
-
Pilard, Laurence, see Manne, Fredrik
-
Pimentel, Ernesto, 346(1)58--95
-
Pimentel, Ernesto, see Alpuente, María
-
PIN, 367(1)257--270
-
Pin, Jean-Eric, 354(3)405--420
-
Pin, Jean-Eric, see Berstel, Jean
-
Pin, Jean-Éric, 340(2)443--456, 356(1)73--89,
see Chaubard, Laura
-
Pin:2005:TAT, 340(2)443--456
-
Piña, Claribet, 400(1)70--83
-
Pina, José Coelho de, 389(1)133--142,
see Martinez, Fábio Viduani
-
Pina:2008:RWM, 400(1)70--83
-
Pinedo, Michael L., 410(38)3975--3981
-
Pinedo, Michael L., see Lee, Kangbok
-
Pinotti, Cristina M., 402(1)2--15
-
Pinotti, Cristina M., see Bertossi, Alan A.
-
PIOA, 365(1)83--108
-
Pion, Sylvain, 351(1)111--118, 369(1)361--376
-
Pion, Sylvain, see Brönnimann, Hervé
-
Pion:2006:CRB, 369(1)361--376
-
Piotrowski, Edward W., 358(1)15--22
-
Piotrowski, Edward W., see Miakisz, Katarzyna
-
Pipelined, 408(2)199--207
-
Pirillo, Giuseppe, 341(1)276--292, 401(1)17--26
-
Pirillo, Giuseppe, see Michel, Christian J.
-
Pirillo, Mario A., 401(1)17--26
-
Pirillo, Mario A., see Michel, Christian J.
-
Pirillo:2005:ICS, 341(1)276--292
-
Pirnot, Joni B., 410(37)3504--3512
-
Pirnot, Joni B., see Jonoska, Nata{\v{s}}a
-
Pisa, 410(46)4603--4604
-
Pisanti, Nadia, 410(43)4327--4340, 410(43)4391--4401
-
Pisanti, Nadia, see Battaglia, Giovanni,
see Federico, Maria
-
Pisot, 359(1)133--147, 380(3)238--250
-
Pitts, Andrew M., 342(1)28--55
-
Pitts, Andrew M., see Shinwell, Mark R.
-
Pivato, Marcus, 372(1)46--68, 377(1)205--228
-
Pivato:2007:DPK, 377(1)205--228
-
Pivato:2007:RCL, 372(1)46--68
-
pixel, 369(1)169--182
-
Pizzi, Cinzia, 395(2)137--157, 410(8)983--987
-
Pizzi:2008:FPM, 395(2)137--157
-
Pizzi:2009:K, 410(8)983--987
-
place, 368(1)1--29
-
plan, 351(2)240--257
-
planar, 369(1)250--255, 379(3)377--386, 381(1)230--233, 384(1)111--125,
385(1)71--77, 396(1)294--300, 407(1)21--28, 408(2)174--187,
410(47)5196--5200, 410(52)5455--5466, 410(52)5515--5528
-
planarity, 355(3)389--395, 395(1)47--56
-
Plandowski, Wojciech, 337(1)105--118, 410(30)2889--2909,
410(38)3925--3941
-
Plandowski, Wojciech, see Biskup, Marek Tomasz,
see Czeizler, Elena,
see Karhumäki, Juhani
-
plane, 349(3)452--461, 402(1)29--42, 407(1)29--84, 409(3)405--410,
410(6)481--499, 410(27)2767--2773, 410(38)3616--3630
-
planning, 379(1)84--119, 399(3)220--235
-
plateau, 410(26)2455--2462
-
Plátek, M., 366(3)272--296, 369(1)1--34, 410(37)3530--3538,
see Jurdzi{\'n}ski, T., \see{Mr{\'a}z, F.
-
platform, 391(3)276--290
-
platform-independent, 336(2)235--284
-
player, Three-, 332(1)367--389
-
player-specific, 410(17)1552--1563
-
players, 377(1)243--259
-
Playing, 409(3)557--564
-
Plotkin, G. D., 410(41)4111--4159
-
Plotkin, G. D., see Glabbeek, R. J. van
-
Plotkin, Gordon, 357(1)70--99, 375(1)20--40
-
Plotkin, Gordon, see Hyland, Martin
-
Pluhár, András, 359(1)43--57,
see Balogh, József
-
Plummer, Andrew R., 388(1)173--180, 403(2)406--408
-
Plummer:2007:SEM, 388(1)173--180
-
Plummer:2008:SEM, 403(2)406--408
-
plurality, 337(1)319--330
-
Pnueli, Amir, 331(2)397--428
-
Pnueli, Amir, see Kesten, Yonit
-
Po, Nathan, 349(2)123--139
-
Po, Nathan, see Hayward, Ryan
-
Poblete, Patricio V., 352(1)136--158
-
Poblete:2006:BTA, 352(1)136--158
-
Pochon, Bastian, 410(6)570--580
-
Pochon, Bastian, see Guerraoui, Rachid
-
Podelski, Andreas, 333(1)67--90, 345(1)1--1
-
Podelski, Andreas, see Blanchet, Bruno,
see Jensen, Kurt
-
Poensgen, Diana, 295(1)279--294, 352(1)347--348
-
Poensgen, Diana, see Krumke, Sven O.
-
point, 339(1)103--128, 350(2)174--187, 350(2)292--324, 350(2)325--344,
351(1)101--110, 359(1)133--147, 359(1)344--368, 376(1)70--88,
379(3)361--376, 389(3)528--549, 392(1)128--140, 393(1)294--300,
401(1)228--235, 406(1)24--30, 408(2)129--142, 410(4)347--354,
410(21)2084--2098, 410(44)4448--4456
-
point, floating-, 409(2)255--268
-
point, Query-, 389(1)1--11
-
point-shaped, 369(1)197--210
-
pointer, 352(1)108--135, 410(42)4216--4233
-
Pol, Jaco van de, 331(2)291--323
-
Pol, Jaco van de, see Hooman, Jozef
-
Polák, Libor, 407(1)278--289,
see Klíma, Ond{\v{r}}ej
-
Poland, Jan, 397(1)77--93, 405(3)256--273
-
Poland:2008:CDB, 405(3)256--273
-
Poland:2008:NBC, 397(1)77--93
-
polarization, 410(46)4747--4768
-
polarized, 343(1)177--206, 343(3)285--304
-
policy, 351(1)111--118, 351(3)425--436, 378(2)175--189
-
Pollett, Chris, 383(2)115--131
-
Pollett:2007:CPW, 383(2)115--131
-
Poly-(D)APX, 339(2)272--292
-
polyforms, 406(1)146--159
-
polygon, 354(3)367--378, 384(1)92--103, 389(1)1--11, 389(1)143--151,
406(1)80--89
-
polygonal, 379(1)231--265, 390(1)1--26
-
polygons, -, 406(1)80--89
-
polygraphic, 360(1)124--146
-
Polyhedra, 403(2)133--159
-
polyhedral, 406(1)24--30, 410(46)4672--4691
-
Polylogarithmic-round, 385(1)167--178
-
polymorphic, 331(2)325--365, 390(2)171--196
-
polymorphism, 388(1)152--172
-
polynomial, 335(1)109--125, 336(1)125--151, 341(1)39--54,
341(1)311--343, 350(1)49--62, 350(1)63--90, 359(1)111--122,
359(1)176--187, 360(1)1--22, 361(2)210--225, 364(1)115--131,
369(1)116--135, 369(1)230--238, 373(1)1--18, 374(1)1--24,
376(1)89--100, 379(3)317--328, 381(1)148--161, 389(1)318--329,
392(1)141--157, 395(1)3--23, 403(2)285--306, 409(2)158--179,
409(2)180--185, 409(2)186--199, 409(2)200--210, 409(2)229--240,
409(2)282--291, 409(2)318--331, 410(17)1599--1606,
410(19)1847--1862, 410(27)2659--2662, 410(30)2811--2822,
410(35)3281--3289
-
Polynomial-size, 357(1)35--52
-
polynomial-time, 298(1)179--206, 353(1)118--164, 357(1)202--214,
377(1)282--283, 410(17)1607--1615
-
polynomially, 345(1)122--138
-
polynomials, quasi-, 410(47)5158--5181
-
polyomino, 346(2)307--334, 346(2)439--454, 347(1)336--352, 356(1)58--72,
400(1)100--112, 409(3)333--340
-
Ponse, Alban, 388(1)319--336
-
Ponse:2007:BLC, 388(1)319--336
-
Pontelli, E., 352(1)108--135
-
Pontelli, E., see Palú, A. Dal
-
Poon, Chung Keung, 410(11)1073--1080
-
Poon, Chung Keung, see Sun, He
-
Popa, Lucian, 336(1)89--124
-
Popa, Lucian, see Fagin, Ronald
-
Popescu, Andrei, 410(12)1109--1128
-
Popescu:2009:SAI, 410(12)1109--1128
-
Popov, V. Yu, 385(1)115--126
-
Popov:2007:MGR, 385(1)115--126
-
Population, 403(1)104--120
-
Porat, Benny, 407(1)587--590
-
Porat, Ely, 379(3)418--436, 407(1)587--590, 410(43)4382--4390,
410(51)5334--5346
-
Porat, Ely, see Amir, Amihood,
see Matias, Yossi, \see{Porat, Benny
-
Porat:2008:PMP, 407(1)587--590
-
port, 401(1)236--242
-
portable, 343(3)482--508
-
Porter, Timothy, 365(3)206--215, 405(1)88--100
-
Porter, Timothy, see Gratus, Jonathan
-
Porter:2008:ECM, 405(1)88--100
-
Portier, Natacha, 380(1)115--126
-
Portier, Natacha, see Koiran, Pascal
-
portrait, 390(1)1--26, 410(46)4605--4607
-
poset, 359(1)200--213, 359(1)282--298, 370(1)240--253,
410(42)4234--4240
-
positional, 352(1)190--196
-
positioning, 344(1)47--68
-
positions, 349(2)168--183, 396(1)254--257, 410(38)3942--3948
-
positive, 298(1)179--206, 342(1)3--27, 347(1)1--35, 348(1)70--83,
350(1)63--90, 360(1)193--208, 361(1)38--56, 364(1)98--114,
377(1)282--283, 382(3)183--197, 389(1)190--218, 392(1)37--65,
397(1)129--149, 397(1)150--165, 397(1)194--232, 410(19)1807--1825,
410(19)1847--1862, 410(27)2562--2580
-
possibility, 336(2)235--284, 405(3)274--284
-
possible, 336(2)235--284, 350(1)40--48, 351(1)82--100, 351(1)101--110,
377(1)126--138, 379(1)210--230
-
possible-world, 375(1)3--19
-
possibly, 410(1)16--34
-
post, 410(30)2957--2960
-
postponed, 351(2)258--275
-
Potapov, Igor, 339(1)35--48, 372(1)37--45, 383(1)45--58, 391(1)3--13
-
Potapov, Igor, see Bell, Paul,
see Ga{\c{}}sieniec, Leszek,
see G{\k{a}}sieniec, Leszek
-
potential, 396(1)88--96
-
Potgieter, Petrus H., 358(1)23--33, 403(1)121--129
-
Potgieter, Petrus H., see Fouché, Willem
-
Potgieter:2006:ZMH, 358(1)23--33
-
Pous, Damien, 380(1)164--180, 402(2)199--220
-
Pous:2007:NTW, 380(1)164--180
-
Pous:2008:UBP, 402(2)199--220
-
Pouzet, Maurice, 396(1)71--87
-
Pouzet, Maurice, see Couceiro, Miguel
-
power, 330(1)135--144, 330(2)311--324, 332(1)573--581, 339(2)241--256,
341(1)1--21, 344(2)279--297, 349(3)283--308, 350(2)325--344,
356(3)374--386, 356(3)387--421, 358(1)3--14, 358(1)142--147,
359(1)299--305, 360(1)440--458, 366(3)199--227, 370(1)48--59,
380(3)330--354, 396(1)180--190, 401(1)243--248, 408(2)116--128,
409(1)137--153, 410(1)44--52, 410(18)1618--1628, 410(19)1863--1875,
410(24)2377--2392, 410(38)3589--3596, 410(52)5443--5454,
410(52)5505--5514, 412(43)6112--6113
-
Power, John, 357(1)70--99, 364(2)254--269, 366(1)144--162, 375(1)20--40
-
Power, John, see Hyland, Martin
-
power, low-, 378(2)198--207
-
power-free, 410(30)2823--2833
-
power-index, 410(1)101--107
-
power-law, 393(1)220--230, 407(1)458--473
-
Power:2006:GMC, 364(2)254--269
-
powerful, 410(38)3893--3900
-
PP, 347(1)415--418
-
practical, 351(1)74--81
-
practice, 347(1)214--238
-
Pradalier, S., 408(1)17--30
-
Pradalier, S., see Credi, A.
-
Pradella, Matteo, 340(2)257--272, 356(1)90--103
-
Pradella, Matteo, see Cherubini, Alessandra,
see Reghizzi, Stefano Crespi
-
Pra{\l}at, P., 399(3)191--205, see Messinger, M. E.
-
Pra{\l}at, Pawe{\l}, 410(52)5491--5504,
see Janssen, Jeannette
-
Prange, Ulrike, 376(3)139--163
-
Prange, Ulrike, see Lara, Juan de
-
pre-buffering, 399(1)3--11
-
pre-loading, 399(1)3--11
-
pre-rRNA, 408(1)41--54
-
precedence, 401(1)107--119, 410(38)3792--3803
-
Precedence--inclusion, 342(2)262--315
-
precise, 336(2)235--284
-
precision, 332(1)337--366, 351(1)74--81
-
preclusion, 410(27)2632--2640
-
preconditioning, 409(2)255--268
-
Predecessor, 386(1)3--37, 395(1)132--133
-
predicate, 354(2)250--271, 360(1)193--208, 370(1)48--59,
410(30)2870--2884
-
Predictable, 410(35)3236--3249
-
predicting, 335(1)67--92, 382(3)247--261
-
prediction, 364(1)10--26, 384(1)33--48, 405(3)285--296, 410(4)294--301
-
Prediction-hardness, 348(1)84--94
-
preemptive, 339(2)293--314
-
preferential, 353(1)26--52
-
prefix, 356(1)245--254, 410(36)3372--3390
-
Prefix-free, 389(1)307--317
-
prefix-freeness, 385(1)193--201
-
prefixing, 356(3)356--373
-
preliminary, 332(1)109--121
-
Prencipe, Giuseppe, 337(1)147--168, 384(2)222--231, 402(1)67--80,
407(1)412--447, 410(14)1305--1306
-
Prencipe, Giuseppe, see Flocchini, Paola
-
Prencipe:2007:IGS, 384(2)222--231
-
Prencipe:2009:P, 410(14)1305--1306
-
Preoteasa, Viorel, 410(42)4216--4233
-
Preoteasa:2009:FRM, 410(42)4216--4233
-
Preparata, Franco P., 408(2)99--105
-
Preparata:2008:UDM, 408(2)99--105
-
Presburger, 409(3)549--556
-
Prescribed, 410(19)1796--1806
-
presence, 343(1)27--41, 355(2)167--196, 360(1)459--459, 368(1)88--123,
384(1)2--21, 410(33)3039--3064, 410(44)4457--4470
-
present, 331(1)3--21, 343(3)482--508, 351(1)82--100, 351(1)111--118
-
presentations, 357(1)53--69, 360(1)124--146
-
preserving, 354(3)405--420, 363(2)108--123, 384(2)184--200,
400(1)113--136, 410(30)2910--2919, 410(37)3513--3519
-
preserving, Property-, 332(1)461--485
-
presheaves, 410(41)4044--4066
-
Priami, C., 404(1)156--169, 408(1)83--96
-
Priami, C., see Dematté, L.,
see Romanel, A.
-
Priami, Corrado, 391(3)189--189
-
Priami:2008:P, 391(3)189--189
-
price, 369(1)116--135, 410(8)745--755
-
priced, 401(1)120--130
-
priced, multi-, 390(2)197--213
-
pricing, 378(2)134--142
-
Prieto, Elena, 351(3)437--445
-
Prieto:2006:LS, 351(3)437--445
-
Prieur, Élise, 407(1)290--301
-
Prieur:2008:LCC, 407(1)290--301
-
primal-dual, 378(2)143--152
-
prime, 363(2)124--134, 370(1)74--93, 376(1)60--69, 403(2)160--175,
410(41)4160--4168
-
primitive, 340(2)273--279, 341(1)311--343, 356(1)186--189,
364(1)98--114, 410(21)2148--2161
-
primitivity, 410(30)2910--2919
-
principle, 383(2)115--131, 387(3)200--219, 387(3)236--248,
404(1)142--155, 409(3)617--622, 410(27)2774--2778,
410(41)4067--4084
-
principled, 336(2)367--401
-
printable, NL-, 355(2)127--138
-
priority, 330(2)251--266, 349(3)309--317, 352(1)181--189
-
priority, fixed-, 354(2)301--317
-
priors, 364(1)27--41
-
Prisco, R., De, 374(1)261--276
-
Prisco, Roberto, De, 410(36)3348--3356
-
prisms, 374(1)66--73
-
prisoner, 377(1)243--259
-
Pritikin, Dan, 410(38)3769--3781
-
Pritikin, Dan, see Jiang, Tao
-
Private, 410(18)1730--1745
-
probabilistic, 331(1)115--142, 340(1)3--56, 341(1)398--410,
342(2)316--350, 345(2)206--234, 346(1)96--112, 346(1)113--134,
346(2)358--387, 349(3)475--483, 353(1)118--164, 356(3)325--355,
358(2)173--199, 360(1)373--385, 373(1)92--114, 376(1)127--136,
379(1)142--165, 387(1)18--31, 389(3)512--527, 390(2)129--170,
391(3)239--257, 395(2)235--254, 396(1)158--179, 397(1)114--128,
404(3)219--234, 410(12)1272--1303, 410(20)1942--1951,
410(38)3804--3813, 410(41)4006--4025, 410(41)4067--4084
-
probabilistic, symbolic-, 353(1)228--248
-
probabilistic, timed-, 338(1)350--392
-
probability, 345(1)2--26, 346(1)161--182, 347(1)214--238,
355(2)243--260, 359(1)329--343, 379(3)361--376, 410(20)1932--1941
-
Probable, 367(1)123--138
-
probe, 355(1)6--24, 379(3)405--417, 381(1)29--32, 390(1)120--125,
396(1)212--222, 410(47)4812--4822
-
probe, bit-, 380(1)127--142
-
procedure, 338(1)247--274, 351(1)82--100, 354(2)187--210,
410(42)4216--4233
-
process, 330(3)553--575, 330(3)577--607, 333(1)171--197, 335(2)131--146,
335(2)215--280, 335(2)281--329, 343(3)285--304, 345(1)2--26,
346(1)161--182, 350(2)188--212, 351(2)131--145, 353(1)118--164,
354(1)42--71, 356(3)356--373, 356(3)468--494, 360(1)172--192,
360(1)352--372, 360(1)440--458, 373(1)19--40, 373(1)41--69,
383(2)200--243, 383(2)260--269, 388(1)267--289, 389(3)446--483,
391(3)190--215, 395(2)203--219, 404(1)112--126, 405(3)237--255,
409(1)59--93, 410(6)614--628, 410(33)3166--3185
-
processing, 337(1)134--146, 371(3)169--182, 374(1)159--169,
374(1)196--202, 375(1)335--345, 380(1)199--217, 393(1)204--210,
410(27)2754--2758
-
processing-oriented, 403(2)176--191
-
processing-time, equal-, 401(1)85--95
-
processor, 330(2)205--220, 333(3)433--454, 371(1)72--82, 378(1)131--131,
393(1)211--219, 410(4)406--416, 410(35)3188--3197
-
processor, multi-, 343(3)482--508
-
Prodinger, Helmut, 341(1)55--72, 355(3)371--381, 391(1)109--125,
410(21)2279--2284
-
Prodinger, Helmut, see Flajolet, Philippe,
see Heuberger, Clemens,
see Louchard, Guy,
see Martínez, Conrado
-
producing, offspring-, 383(2)260--269
-
product, 332(1)543--557, 341(1)311--343, 356(1)73--89, 359(1)43--57,
363(3)278--288, 369(1)406--426, 400(1)230--233, 410(8)696--710,
410(8)727--735
-
production, 378(2)153--164, 410(16)1534--1549
-
Prof, 410(43)4293--4294, 410(44)4446--4447
-
Professor, 356(1)v--ix, 395(2)135--136
-
profile, 395(2)137--157
-
program, 334(1)177--225, 336(2)235--284, 338(1)127--152, 338(1)153--183,
343(1)207--236, 346(1)3--27, 359(1)1--14, 360(1)23--41,
360(1)415--439, 362(1)86--99, 366(1)3--59, 368(1)1--29, 373(1)1--18,
375(1)120--136, 379(1)142--165, 379(3)418--436, 386(1)151--166,
388(1)227--242, 389(3)411--445, 402(2)172--189, 403(2)409--415,
407(1)258--273, 408(1)83--96, 409(3)471--476, 410(2)128--141,
410(12)1217--1260, 410(27)2659--2662, 410(42)4169--4179,
410(46)4704--4723
-
programmability, 403(1)121--129
-
programmable, 410(15)1428--1439
-
Programme Chair FOSSACS 2003, Andrew D., Gordon, 333(1)1--1
-
programmer, 336(2)235--284
-
programming, 332(1)123--139, 342(2)351--381, 343(3)413--442,
349(2)184--201, 360(1)247--288, 364(3)311--317, 382(1)1--2,
382(1)v--ix, 410(2)168--201, 410(2)202--220, 410(16)1495--1515,
410(46)4626--4671, 410(46)4692--4703, 410(46)4784--4800
-
Progresses, 410(47)4844--4855
-
progression, 391(1)126--137
-
Progressive, 362(1)17--32
-
Proietti, Guido, 383(1)23--33, 402(1)43--55, 410(17)1564--1572,
410(17)1607--1615
-
Proietti, Guido, see Bilò, Davide,
see Di Salvo, Aleksej, \see{Penna, Paolo
-
project, 373(3)213--237
-
projection, 346(2)439--454, 354(1)98--117, 368(3)217--230, 406(1)55--62
-
projection, prolongation-, 410(27)2685--2700
-
Projective, 365(3)171--183
-
prologue, 353(1)1--25
-
prolongation--projection, 410(27)2685--2700
-
promoters, 404(1)112--126
-
proof, 331(2)251--290, 339(1)61--67, 341(1)247--262, 343(3)413--442,
343(3)482--508, 350(1)140--162, 351(1)111--118, 353(1)63--70,
356(3)440--467, 357(1)35--52, 357(1)136--142, 357(1)143--166,
360(1)1--22, 360(1)42--76, 364(2)146--165, 366(3)194--198,
368(1)1--29, 370(1)60--73, 374(1)229--260, 376(3)164--184,
377(1)126--138, 384(1)104--110, 385(1)167--178, 386(1)151--166,
393(1)196--203, 398(1)82--94, 402(2)199--220, 403(2)133--159,
403(2)160--175, 410(21)2054--2063, 410(21)2295--2300,
410(38)3839--3855, 410(42)4204--4215
-
Proof-carrying, 364(3)273--291
-
proper, 351(1)111--118
-
property, 334(1)131--159, 336(1)3--31, 337(1)51--104, 340(2)240--256,
341(1)138--149, 342(2)173--228, 345(1)139--170, 345(2)235--247,
352(1)97--107, 352(1)306--317, 354(1)82--97, 359(1)449--454,
360(1)352--372, 364(2)196--211, 367(1)162--202, 369(1)183--196,
378(2)143--152, 379(1)53--83, 379(1)266--285, 382(3)232--246,
387(2)187--195, 391(1)61--64, 392(1)66--91, 395(2)298--310,
396(1)113--144, 398(1)12--15, 404(3)293--307, 410(21)2207--2222,
410(24)2393--2400, 410(30)2860--2863, 410(38)3685--3693,
410(42)4169--4179, 410(42)4234--4240, 410(50)5261--5272
-
Property-preserving, 332(1)461--485
-
propose, 336(2)235--284
-
proposed, 351(1)82--100, 352(1)280--287
-
propositional, 355(2)153--166, 364(2)146--165, 368(1)149--160,
369(1)82--115, 370(1)60--73, 409(1)41--58
-
Proskurowski, Andrzej, 333(3)401--413
-
Proskurowski, Andrzej, see Flammini, Michele
-
Protasov, Vladimir Y., 410(38)3670--3684
-
Protasov, Vladimir Y., see Jungers, Raphaël M.
-
Protean, 410(52)5491--5504
-
proteins, 335(1)67--92, 404(1)26--39, 404(1)40--51, 404(1)127--141,
410(4)355--375, 410(33)3166--3185
-
protocol, 331(1)143--214, 333(1)67--90, 338(1)247--274, 338(1)393--425,
344(1)86--99, 352(1)280--287, 353(1)118--164, 367(1)2--32,
367(1)33--56, 367(1)88--122, 367(1)162--202, 367(1)228--256,
378(2)198--207, 389(3)484--511, 389(3)512--527, 402(1)2--15,
406(3)248--262, 410(6)533--545
-
Protti, Fábio, 349(1)52--66, see Feder, Tomás
-
provably-secure, 407(1)213--230
-
prove, 331(1)3--21, 351(1)119--128, 368(1)1--29
-
prover, 345(1)101--121
-
provide, 336(2)235--284, 343(3)482--508
-
proving, 410(30)2972--2981
-
Prügel-Bennett, A., 386(1)94--113, see Benfold, W.
-
Prügel-Bennett, Adam, 358(1)121--141,
see Rogers, Alex
-
Pruhs, Kirk, 382(2)151--156, 410(45)4580--4587
-
Pruhs, Kirk, see Bansal, Nikhil
-
Pruhs:2007:ASC, 382(2)151--156
-
pruning-grafting, 409(3)382--393
-
pseudo-achromatic, 410(8)818--829
-
pseudo-boolean, 386(1)73--93
-
pseudoknots, 395(1)47--56
-
pseudometric, 331(1)115--142
-
pseudometrics, quasi-, 405(1)64--72
-
Pseudopalindrome, 362(1)282--300
-
PSPACE, 394(3)208--222
-
PSPACE-completeness, 343(1)72--96, 410(50)5215--5226
-
PTAS, 361(2)210--225, 410(27)2732--2745, 410(52)5398--5402
-
public, 367(3)308--323
-
Pucci, Geppino, 408(2)143--150
-
Pucci, Geppino, see Bhatt, Sandeep N.
-
Pugliese, Rosario, 356(3)387--421
-
Pugliese, Rosario, see De Nicola, Rocco
-
Puglisi, Simon J., 401(1)165--171
-
Puglisi:2008:HMR, 401(1)165--171
-
Puppis, Gabriele, 373(1)115--141
-
Puppis, Gabriele, see Lago, Ugo Dal
-
pure, 330(3)501--551, 352(1)108--135, 410(17)1552--1563
-
purely, 343(3)482--508
-
purity, 376(3)205--224
-
push--relabel, 410(44)4489--4503
-
pushdown, 376(1)101--111, 379(1)286--297, 381(1)105--123, 386(1)38--56,
410(37)3447--3460
-
Putra, Raymond H., 345(2)370--385
-
Putra, Raymond H., see Kawachi, Akinori
-
Puzynina, S. A., 391(1)178--187
-
Puzynina:2008:PTD, 391(1)178--187
-
puzzle, 343(1)72--96
-
pyramids, 406(1)136--145
-
python, 351(1)74--81