Last update: Tue Dec 17 02:02:04 MST 2019
Return to index directory
P
-
PAC, 41(1)229--258
-
Pacheco, Olga, 48(2)129--163
-
Pacheco, Olga, see Carmo, José
-
Pachoulakis, Ioannis, 73(3)321--360
-
Pachoulakis, Ioannis, see Analyti, Anastasia
-
package, 56(1)71--88
-
Packet, 46(4)287--314
-
Padberg, Julia, 74(1)1--29
-
Padberg, Julia, see Ehrig, Hartmut
-
Paddon, Derek J., 72(1)295--309
-
Paddon, Derek J., see Nguyen, Trung Thanh
-
Page, 76(1)171--187
-
Pagetti, Claire, 62(3)291--332
-
Pagetti, Claire, see Cassez, Franck
-
Pagliani, Piero, 59(2)221--239
-
Pagliani:2004:PDS, 59(2)221--239
-
pair, 77(4)345--395
-
Pair, Dual-, 90(1)125--155
-
Pairing, 44(4)397--420
-
Pairwise, 94(2)197--217
-
Pal, Sankar K., 75(1)483--504, 76(1)171--187, 80(4)475--496,
97(1)215--234
-
Pal, Sankar K., see Maji, Pradipta,
see Saha, Suman, \see{Sen, Debashis
-
Palka, Ewa, 68(3)221--230, 78(2)295--309
-
Palka:2005:FMP, 68(3)221--230
-
Palka:2007:ISS, 78(2)295--309
-
Palù, Alessandro, Dal, 96(3)227--252, 96(3)297--322
-
Pan, Jeff Z., 82(3)265--288
-
Pan, Jeff Z., see Damásio, Carlos Viegas
-
Pan, Linqiang, 58(2)67--77, 87(1)117--136, 97(1)275--294
-
Pan, Linqiang, see Alhazov, Artiom,
see Zeng, Xiangxiang, \see{Zhang, Xingyi
-
Pan, Yunhe, 84(3)403--427
-
Pan, Yunhe, see Liu, Yong
-
Panagis, Yannis, 71(2)259--277
-
Panagis, Yannis, see Iliopoulos, Costas S.
-
Pancerz, K., 60(1)143--157
-
Pancerz, K., see Fryc, B.
-
Pancerz, Krzysztof, 55(2)149--165, 60(1)251--268, 61(2)97--116,
67(1)233--247, 71(1)101--120, 71(1)121--137, 79(3)553--566,
93(1)143--154
-
Pancerz, Krzysztof, see Grochowalski, Piotr,
see Suraj, Zbigniew
-
Pancerz:2003:SPN, 55(2)149--165
-
Pancerz:2004:DAC, 61(2)97--116
-
Pancerz:2004:DCM, 60(1)251--268
-
Pang, Jun, 87(3)287--311
-
Pang, Jun, see Fokkink, Wan
-
Pankowski, Tadeusz, 49(4)369--395
-
Pankowski:2002:PQL, 49(4)369--395
-
Pant, Millie, 95(4)511--531
-
Pant:2009:LDI, 95(4)511--531
-
Pantelic, Vera, 70(1)75--110
-
Pantelic, Vera, see Lawford, Mark
-
Papadimitriou, Christos, 92(4)363--372
-
Papadimitriou, Christos, see Spatharis, Anthony
-
paper, 65(1)z--z, 74(1)z--z, 77(4)z--z, 85(1)1--17, 90(1)17--26,
93(4)353--356
-
Papini, Odile, 53(3)251--280
-
Papini, Odile, see Benferhat, Salem
-
Pappalardo, Giuseppe, 48(1)21--54, 59(1)1--37
-
Pappalardo, Giuseppe, see Burton, Jonathan,
see Koutny, Maciej
-
Pappas, Pavlos, 51(3)297--310
-
Pappas, Pavlos, see Koutras, Costas D.
-
Paprzycki, Marcin, 96(4)395--418
-
Paprzycki, Marcin, see Rhee, Sang Keun
-
Paquet, Ulrich, 76(1)147--170
-
Paquet:2007:PSL, 76(1)147--170
-
Paraconsistent, 71(4)419--441, 97(4)405--438
-
paradigm, 54(1)67--88, 70(4)367--385, 90(3)283--303
-
Paradiso, 89(4)393--417
-
Paradowski, Mariusz, 96(4)435--463
-
Paradowski:2009:IRW, 96(4)435--463
-
parallel, 43(1)227--243, 55(2)115--128, 55(3)243--254, 60(1)99--111,
69(3)273--285, 78(3)311--327, 87(3)407--415, 89(2)313--329,
92(3)233--257, 93(1)111--125, 93(4)357--369, 95(2)325--348
-
Parallel, Series-, 91(3)611--629
-
Parallelism, 91(1)17--34
-
Parallelization, 41(1)187--228, 93(4)411--434, 93(4)435--457
-
Parameter, 50(2)155--174, 86(1)1--17
-
Parameterizations, 65(1)153--172
-
Parameterized, 66(3)221--257
-
parameters, 85(1)35--50, 93(1)45--64
-
Parametric, 42(3)279--302, 78(1)1--33, 91(2)275--303
-
Paraschiv, Dorin, 49(1)61--66
-
Paraschiv, Dorin, see Ciobanu, Gabriel
-
Parasitic, 83(4)337--353
-
Pardo, D., 62(1)123--137
-
Pardo:2004:SCC, 62(1)123--137
-
Parent, Xavier, 48(2)237--252
-
Parent:2001:CIT, 48(2)237--252
-
Parente, Mimmo, 96(3)323--339
-
Parente, Mimmo, see Ferrante, Alessandro
-
Pareto, 78(1)35--74
-
Parikh, 49(4)289--299, 64(1)391--404, 73(1)265--283, 84(3)291--303
-
Parisi-Presicce, Francesco, 74(1)z--z
-
Parisi-Presicce, Francesco, see Engels, Gregor
-
Parity-based, 97(1)1--14
-
Park, Eunhui, 84(1)81--97
-
Park, Kunsoo, 56(1)181--190, 84(1)17--32, 84(1)81--97
-
Park, Kunsoo, see Lee, Inbok,
see Park, Eunhui, \see{Roh, Kangho
-
Park, Myon-Woong, 96(4)395--418
-
Park, Myon-Woong, see Rhee, Sang Keun
-
Park, Sanghyun, 78(4)525--542
-
Park, Sanghyun, see Seo, Minkoo
-
Park:2008:IBC, 84(1)81--97
-
Parsable, 80(4)379--413
-
Parser, 79(3)513--524
-
Parsimoniously, 91(1)35--51
-
Parsing, 64(1)171--183, 66(4)367--395, 79(3)513--524, 85(1)441--451,
93(1)325--336
-
Part, 47(3)295--306, 63(1)17--39, 63(1)41--63, 63(4)331--355,
63(4)357--373, 66(4)z--z, 68(1)131--174, 68(3)249--288, 69(1)z--z,
79(1)187--208, 79(1)209--227, 92(3)279--299, 92(4)373--396,
93(4)411--434, 93(4)435--457, 97(1)111--138, 97(1)139--176,
97(1)235--273, 97(4)439--470
-
partial, 43(1)245--267, 45(3)195--205, 60(1)383--399, 63(4)375--384,
67(4)323--342, 75(1)357--374, 86(1)19--40, 88(4)437--468,
91(1)17--34, 92(3)259--277, 94(1)101--120, 95(1)187--217
-
Partially, 49(4)369--395, 79(3)553--566, 87(3)407--415, 97(1)15--40
-
Particle, 76(1)147--170, 95(4)427--447, 95(4)449--463, 95(4)511--531
-
particles, 58(3)203--221, 95(2)349--380
-
partition, 49(4)301--312, 78(4)613--628, 82(1)15--27, 91(1)17--34
-
Partitioning, 55(2)203--221, 93(4)435--457
-
party, Multi-, 89(4)451--478
-
passing, 41(3)341--366, 72(1)81--93, 80(1)221--246
-
Password, 87(3)483--492
-
Password, Strong-, 68(4)399--406
-
Past, 88(3)387--409
-
Pastor, Enric, 50(2)135--154
-
Pastor, Enric, see Carmona, Josep
-
Paszy{\'n}ski, Maciej, 93(4)411--434, 93(4)435--457
-
Paszynski:2009:PSAa, 93(4)411--434
-
Paszynski:2009:PSAb, 93(4)435--457
-
Patel, Dilip, 90(3)203--228
-
Patel, Dilip, see Wang, Yingxu
-
Paterson, Tim, 79(1)71--83
-
Paterson, Tim, see Herman, Grzegorz
-
path, 43(1)227--243, 79(3)379--399, 82(1)47--60, 89(2)259--288,
93(4)459--469
-
PathLog, 49(4)369--395
-
Patient, 43(1)343--353
-
Patón, A., Rodríguez-, 49(1)229--239
-
Patón, Alfonso, Rodríguez-, 44(4)353--372, 64(1)353--367
-
Patra, Swarnajyoti, 84(3)429--442
-
Patra:2008:CDR, 84(3)429--442
-
pattern, 56(1)137--154, 58(3)321--354, 60(1)351--366, 67(1)203--217,
70(3)185--202, 71(1)1--14, 72(1)37--50, 75(1)27--47, 76(4)495--510,
78(3)369--396, 80(4)379--413, 84(1)1--15, 87(2)207--226,
90(1)125--155, 92(4)345--362
-
Patterson, David, 77(3)243--275
-
Patterson, David, see Pechenizkiy, Mykola
-
P{\u{a}}un, Andrei, 49(1)1--15, 64(1)53--63, 72(4)467--483,
see Câmpeanu, Cezar,
see Martín-Vide, Carlos
-
P{\u{a}}un, Gh, 64(1)z--z
-
P{\u{a}}un, Gh., see Calude, C.
-
P{\u{a}}un, Gheorghe, 41(3)313--340, 44(4)353--372, 49(1)1--15,
49(1)z--z, 64(1)353--367, 71(2)279--308, 73(1)27--36, 73(1)213--227,
75(1)141--162, 76(3)271--292, 82(1)29--46,
see Chen, Haiming, \see{Ciobanu, Gabriel,
see Csuhaj-Varjü, Erzsébet,
see Csuhaj-Varjú, Erzsébet,
see Dassow, Jürgen,
see Ionescu, Mihai,
see Martín-Vide, Carlos
-
P{\u{a}}un, Radu, 73(1)213--227, see P{\u{a}}un, Gheorghe
-
Paun:2000:MCE, 41(3)313--340
-
Paun:2005:SAS, 64(1)353--367
-
Paun:2006:MCE, 73(1)213--227
-
Paun:2006:SPM, 72(4)467--483
-
Pawlak, 75(1)1--25, 75(1)315--330, 75(1)331--334, 75(1)435--451,
75(1)z--99999999, 75(1)z--z, 83(4)451--464
-
Pawlak, Zdzis{\l}aw, 60(1)33--39, 64(1)369--377
-
Pawlak:2004:DRD, 60(1)33--39
-
Pawlak:2005:FGI, 64(1)369--377
-
Paw{\l}owski, Wies{\l}aw, 72(1)51--63, 85(1)19--33,
see Bednarczyk, Marek A.
-
Payet, Étienne, 44(3)265--290
-
Payet:2000:TSI, 44(3)265--290
-
Payload, 88(1)47--61
-
Paz, Azaria, 42(2)149--199, 73(1)229--236
-
Paz:2000:RIR, 42(2)149--199
-
Paz:2006:PIR, 73(1)229--236
-
Pazos, Juan, 64(1)353--367
-
Pazos, Juan, see P{\u{a}}un, Gheorghe
-
PCAM, 93(4)435--457
-
PDL, 45(3)173--194, 56(3)211--242
-
Peak, 78(4)613--628
-
Pearson, 90(3)251--267
-
Pebble, 52(1)81--132, 89(2)207--257
-
Pechenizkiy, Mykola, 77(3)243--275
-
Pechenizkiy:2007:FED, 77(3)243--275
-
Pedicini, Marco, 45(1)1--31
-
Pedicini, Marco, see Baillot, Patrick
-
Pedrycz, Witold, 86(4)481--502, 90(3)203--228
-
Pedrycz, Witold, see Ha, Minghu,
see Wang, Yingxu
-
Pelc, Andrzej, 42(3)235--249, 55(3)285--306, 59(4)333--347,
71(2)229--242, 82(1)113--125
-
Pelc, Andrzej, see Chlebus, Bogdan S.,
see Czyzowicz, Jurek, \see{Denejko, Piotr,
see Dobrev, Stefan, \see{Ilcinkas, David
-
Peltier, Nicolas, 54(1)17--65, 76(4)449--480
-
Peltier:2003:CDP, 54(1)17--65
-
Peltier:2007:RCS, 76(4)449--480
-
Penczek, W., 63(2)221--240
-
Penczek, W., see Kacprzak, M.
-
Penczek, Wojciech, 43(1)245--267, 51(1)135--156, 55(2)167--185,
55(2)203--221, 55(2)223--241, 60(1)211--224, 60(1)307--331,
72(1)215--234, 79(3)363--378, 79(3)379--399, 79(3)453--471,
85(1)313--328, 85(1)359--375, 85(1)425--440, 93(1)185--203,
93(1)245--259, 93(1)289--303
-
Penczek, Wojciech, see Jakubowska, Gizela,
see Janowska, Agata,
see Kacprzak, Magdalena,
see Konikowka, Beata,
see Kurkowski, Miros{\l}aw,
see Lomuscio, Alessio,
see Niewiadomski, Artur,
see Pó{\l}rola, Agata,
see Wo{\'z}na, Bo{\.z}ena
-
Penczek:2000:IPO, 43(1)245--267
-
Penczek:2002:BMC, 51(1)135--156
-
Penczek:2003:VEP, 55(2)167--185
-
Penczek:2008:SBU, 85(1)425--440
-
Peng, Jun, 90(3)269--282
-
Peng:2009:DIE, 90(3)269--282
-
Pennemann, Karl-Heinz, 74(1)135--166
-
Pennemann, Karl-Heinz, see Ehrig, Hartmut
-
Peper, Ferdinand, 58(3)295--320
-
Peper, Ferdinand, see Lee, Jia
-
Perceptron, 84(3)429--442
-
Perceptual, 95(4)533--552
-
Perdikuri, Katerina, 71(2)259--277
-
Perdikuri, Katerina, see Iliopoulos, Costas S.
-
Pérez-Jiménez, Mario J., 49(1)261--271, 49(1)273--287,
64(1)353--367, 73(1)27--36, 75(1)141--162, 82(1)29--46, 87(1)79--91,
see Chen, Haiming, \see{Ciobanu, Gabriel,
see Csuhaj-Varjú, Erzsébet,
see P{\u{a}}un, Gheorghe,
see Romero-Jiménez, Álvaro,
see Zandron, Claudio
-
Perez-Jimenez:2002:FTS, 49(1)261--271
-
Perfect, 70(3)185--202
-
Performance, 50(2)223--241, 60(1)269--289, 95(1)157--186
-
Performance, High-, 82(1)155--169
-
perICS, 85(1)533--548
-
Perimeters, 69(3)319--330
-
Periodic, 58(3)223--240, 83(1)91--107
-
Periodicity, 64(1)29--42
-
Permitting, 82(1)47--60
-
permutation, 79(1)71--83, 84(1)99--110
-
Peron, Adriano, 43(1)153--173, 47(3)271--282, 54(2)237--252
-
Peron, Adriano, see Lanotte, Ruggero
-
Perseus, 93(1)65--79
-
Persistency, 93(1)33--43
-
Personal, 67(1)271--285
-
Persuasion, 85(1)51--65, 93(1)65--79
-
Pestov, Vladimir, 70(4)367--385
-
Pestov:2006:ISS, 70(4)367--385
-
Peszek, Piotr, 54(4)387--408
-
Peszek, Piotr, see Wakulicz-Deja, Alicja
-
Peter, 74(4)447--462
-
Peter, see Cavaliere, Matteo
-
Peter, Christof, 48(4)315--341
-
Peter, Christof, see Puntigam, Franz
-
Peters, J. F., 51(1)201--214, 60(1)143--157, 75(1)z--99999999
-
Peters, J. F., see Fryc, B.,
see Suraj, Zbigniew
-
Peters, James, 72(1)363--378
-
Peters, James, see Skowron, Andrzej
-
Peters, James F., 43(1)269--290, 47(3)307--323, 51(1)157--173,
54(2)263--277, 67(1)219--231, 67(1)249--269, 71(2)323--349,
75(1)407--433, 75(1)453--468, 79(3)497--512, 85(1)249--265
-
Peters, James F., see Jankowski, Andrzej,
see Ramanna, Sheela,
see Skowron, Andrzej,
see Suraj, Zbigniew, \see{Synak, Piotr
-
Peters:2000:ARS, 43(1)269--290
-
Peters:2001:SFF, 47(3)307--323
-
Peters:2002:TOA, 51(1)157--173
-
Peters:2006:RLA, 71(2)323--349
-
Peters:2007:LWZ, 75(1)z--99999999
-
Peters:2007:NOE, 79(3)497--512
-
Peters:2007:NSS, 75(1)407--433
-
Petit, Jean-Marc, 78(4)543--559
-
Petit, Jean-Marc, see Agier, Marie
-
Petre, Ion, 73(1)179--190, 84(3)363--373
-
Petre, Ion, see Ishdorj, Tseren-Onolt,
see Langille, Miika
-
Petri, 41(4)415--431, 43(1)21--48, 43(1)61--79, 43(1)195--214,
47(3)247--258, 47(3)283--293, 47(3)295--306, 47(3)307--323,
47(3)325--335, 50(1)33--55, 51(1)43--58, 51(1)91--101,
51(1)121--133, 54(2)151--164, 54(2)185--193, 55(2)101--114,
55(2)129--147, 55(2)149--165, 60(1)131--142, 60(1)143--157,
60(1)307--331, 61(3)351--368, 65(3)211--247, 66(3)221--257,
67(1)65--75, 67(1)121--130, 67(1)149--162, 67(1)163--174,
70(3)203--226, 71(1)83--99, 71(1)101--120, 72(1)123--137,
72(1)407--420, 76(1)189--218, 77(3)187--215, 79(3)431--445,
79(3)541--551, 80(1)75--90, 80(1)199--219, 85(1)111--121,
85(1)219--234, 85(1)281--295, 86(3)255--298, 86(3)325--341,
87(3)331--365, 87(3)367--406, 88(3)225--249, 88(3)275--305,
88(3)329--356, 88(3)357--385, 88(3)387--409, 88(4)437--468,
88(4)469--495, 93(1)171--184, 93(1)337--352, 94(3)331--360,
94(3)z--z, 95(1)187--217, 95(1)219--244, 97(1)111--138,
97(1)139--176
-
Petrinets, 51(1)185--200, 55(2)187--202
-
Pettorossi, Alberto, 66(4)z--z, 69(1)z--z, 96(3)373--393
-
Pettorossi, Alberto, see Senni, Valerio
-
Pettorossi:2005:PTT, 66(4)z--z
-
Pettorossi:2006:PTT, 69(1)z--z
-
Pfahringer, Bernhard, 47(1)1--13
-
Pfahringer, Bernhard, see Kramer, Stefan
-
Pfeifer, Gerald, 71(2)183--214
-
Pfeifer, Gerald, see Calimeri, Francesco
-
Phase, Three-, 82(1)1--13
-
Phase, Two-, 94(2)219--232
-
Pheromone, 92(4)345--362
-
Philipose, Matthai, 89(1)111--129
-
Philipose, Matthai, see Landwehr, Niels
-
Philosophers, 80(1)273--281
-
Philosophy, 54(2)151--164, 81(1)1--17
-
Phones, 72(1)283--293
-
Photosynthesis, 49(1)249--259
-
Phylogenies, 78(2)199--216
-
Physical, 52(1)233--248
-
Piatek, Lukasz, 94(2)121--131
-
Piatek, Lukasz, see Blajdo, Piotr
-
Pick-up, 71(1)27--36
-
picture, 56(4)311--328, 56(4)389--409, 75(1)331--334, 91(2)231--249
-
Piecewise-Quartics, 61(3)267--283
-
Pieckowska, Joanna, 72(1)311--321, 80(1)259--272
-
Pieckowska, Joanna, see Ochma{\'n}ski, Edward
-
Pieri, 81(1)139--154
-
Pietkiewicz-Koutny, Marta, 50(2)175--203, 88(3)307--328, 94(3)275--303
-
Pietkiewicz-Koutny, Marta, see Darondeau, Philippe,
see Koutny, Maciej
-
Pietkiewicz-Koutny:2002:SEN, 50(2)175--203
-
Pietruszczak, Andrzej, 81(1)139--154
-
Pietruszczak, Andrzej, see Gruszczy{\'n}ski, Rafa{\l}
-
Pietrzyk, Jacek J., 75(1)27--47, 85(1)155--172
-
Pietrzyk, Jacek J., see Bazan, Jan G.,
see Góra, Grzegorz
-
Piliszczu, Marcin, 94(1)101--120
-
Piliszczu, Marcin, see Moshkov, Mikhail Ju.
-
Piliszczuk, Marcin, 75(1)357--374, 85(1)549--561, 92(3)259--277
-
Piliszczuk, Marcin, see Moshkov, Mikhail Ju.,
see Zielosko, Beata
-
Pindur, Roman, 61(2)117--137
-
Pindur:2004:HAD, 61(2)117--137
-
Pinhas, Tamar, 54(2)107--135
-
Pinhas, Tamar, see Abraham, Uri
-
Pinna, G. Michele, 44(3)209--244, 73(3)409--430
-
Pinna, G. Michele, see Busi, Nadia
-
Pinna:2006:ESD, 73(3)409--430
-
Pinto, Guilherme A., 82(1)171--184
-
Pinto, Guilherme A., see Moura, Arnaldo V.
-
Pinto, Jorge Sousa, 66(4)315--352
-
Pinto, Jorge Sousa, see Cunha, Alcino
-
Pinzon, Yoan J., 56(1)1--21, 56(1)89--103
-
Pinzon, Yoan J., see Crochemore, Maxime
-
Piotrów, Marek, 42(3)235--249, see Denejko, Piotr
-
Piotrowski, Aleksander, 96(1)181--194
-
Piotrowski, Aleksander, see Rudnicki, Witold R.
-
Pipeline, 50(2)155--174
-
Pisokas, Theophilos, 76(1)91--112
-
Pisokas, Theophilos, see Formenti, Enrico
-
Pivato, Marcus, 78(3)417--447
-
Pivato:2007:SDB, 78(3)417--447
-
Pixel, 84(3)471--492, 86(4)411--428, 90(1)125--155, 96(1)49--59
-
Pixel, Three-Circular-, 91(3)581--595
-
Pixel-Value, 83(3)319--335
-
Pixel-Values, 70(3)171--184
-
Place, 88(3)225--249, 88(3)275--305
-
Placeash, 44(3)209--244, 47(3)217--229, 51(1)43--58, 93(1)33--43
-
Plan, 79(1)25--69
-
Plana, Luis A., 95(1)53--72
-
Plana, Luis A., see Yang, Shufan
-
Planar, 89(2)331--344
-
Plandowski, Wojciech, 56(1)1--21
-
Plandowski, Wojciech, see Crochemore, Maxime
-
plane, 56(3)255--272, 61(1)19--27, 94(1)63--99
-
Planning, 57(2)345--370, 85(1)155--172
-
Platek, 44(1)145--181, 44(1)183--208
-
Plátek, Martin, 64(1)217--228,
see Jurdzi{\'n}ski, Tomasz
-
Play, 63(2)185--219
-
Ploscaru, C{\u{a}}lina, 81(4)459--471, see Manea, Florin
-
Plotkin, 92(3)301--306
-
Plourde, Corinne, 67(4)323--342
-
Plourde, Corinne, see Gire, Françoise
-
plus, max-, 65(1)29--60
-
PMA, 44(1)95--131
-
point, 46(1)129--143, 76(1)129--145, 78(1)35--74, 84(1)135--149,
96(1)195--209
-
Point, Fixed-, 65(1)153--172
-
point, Fixed-, 48(2)107--128
-
Point-Free, 46(1)129--143
-
Point-free, 66(4)315--352
-
Pol, Jaco van de, 73(4)535--559
-
Pol, Jaco van de, see Orzan, Simona
-
Polak, Micha{\l}, 60(1)269--289
-
Polak:2004:PET, 60(1)269--289
-
Polarizationless, 87(1)79--91
-
Polarized, 84(2)185--205
-
Poliakov, Ivan, 88(4)581--610
-
Poliakov, Ivan, see Sokolov, Danil
-
Policies, 53(3)229--250, 76(1)13--23, 89(4)511--538, 94(3)275--303
-
Polkowska, Maria, Semeniuk-, 60(1)291--305, 64(1)379--390
-
Polkowski, Lech, 43(1)291--320, 46(1)83--96, 50(3)305--314,
53(3)335--343, 54(1)67--88, 59(2)z--z, 60(1)291--305, 61(1)37--45,
64(1)379--390, 71(1)49--61, 75(1)435--451
-
Polkowski, Lech, see Wang, Guoyin
-
Polkowski:2000:RMI, 43(1)291--320
-
Polkowski:2001:CSR, 46(1)83--96
-
Polkowski:2002:FDI, 50(3)305--314
-
Polkowski:2002:RSA, 53(3)335--343
-
Polkowski:2003:RMR, 54(1)67--88
-
Polkowski:2004:NVR, 61(1)37--45
-
Polkowski:2004:SRS, 60(1)291--305
-
Polkowski:2005:RSL, 64(1)379--390
-
Polkowski:2006:STR, 71(1)49--61
-
Polkowski:2007:CAM, 75(1)435--451
-
Pollack, Randy, 65(1)113--134
-
Pollack, Randy, see Coquand, Thierry
-
Polleres, Axel, 57(2)345--370
-
Polleres, Axel, see Dix, Jürgen
-
Pó{\l}rola, Agata, 51(1)59--89, 55(2)203--221, 60(1)307--331,
79(3)579--593, 85(1)313--328,
see Dembi{\'n}ski, Piotr,
see Kacprzak, Magdalena,
see Zbrzezny, Andrzej
-
Polrola:2003:RAT, 55(2)203--221
-
Polrola:2004:MAT, 60(1)307--331
-
Polygonal, 91(3)487--505
-
Polymorphic, 51(1)13--41, 71(4)477--491
-
polynomial, 53(3)251--280, 58(2)93--104
-
Polynomial-Time, 62(2)197--220, 84(1)111--133
-
polynomial-time, 53(3)199--228
-
Polyphonic, 97(3)331--346
-
POMDP, 84(3)329--351
-
Pomello, Lucia, 80(1)31--47, 85(1)19--33
-
Pomello, Lucia, see Bednarczyk, Marek A.,
see Bernardinello, Luca
-
Pommereau, Franck, 50(1)33--55, 54(4)295--344
-
Pommereau, Franck, see Devillers, Raymond,
see Klaudel, Hanna
-
Pomyka{\l}a, Jacek, 69(4)411--425
-
Pomyka{\l}a--Barabasz, 80(4)453--459
-
Pomykala:2006:ECB, 69(4)411--425, 80(4)453--459
-
Pontelli, Enrico, 96(3)297--322
-
Pontelli, Enrico, see Dal Palù, Alessandro
-
Popa, Bianca, 72(4)467--483
-
Popa, Bianca, see P{\u{a}}un, Andrei
-
Popa, Ionu{\c{t}}, 67(4)371--375
-
Popa:2005:KTD, 67(4)371--375
-
Popescu, Andrei, 53(1)23--54
-
Popescu, Andrei, see Georgescu, George
-
Popescu, Cristian, 73(1)153--164
-
Popescu, Cristian, see Ilie, Lucian
-
Popescu, Marius, 86(1)79--91, 91(3)547--562
-
Popescu, Marius, see Dinu, Liviu P.,
see Hristea, Florentina
-
Popova-Zeugmann, Louchka, 51(1)185--200, 55(2)187--202, 61(3)351--368,
67(1)149--162, 67(1)163--174, 93(1)337--352
-
Popova-Zeugmann, Louchka, see Richling, Jan,
see Wegener, Jan-Thierry,
see Werner, Matthias
-
Popova-Zeugmann:2003:USE, 55(2)187--202
-
Popova-Zeugmann:2005:ERS, 67(1)163--174
-
Popova-Zeugmann:2005:TPN, 67(1)149--162
-
Poppleton, Michael, 77(1)29--69
-
Poppleton, Michael, see Banach, Richard
-
Poranen, Timo, 50(3)315--324, 68(4)333--356
-
Poranen:2002:LTS, 50(3)315--324
-
Poranen:2005:GHA, 68(4)333--356
-
Porwik, Piotr, 77(3)277--291
-
Porwik:2007:EAA, 77(3)277--291
-
Pose, 94(2)179--195
-
Poset, 53(3)321--333, 71(2)309--321
-
Positions, 48(2)273--293
-
Positive, 42(1)29--60
-
Possessing, 86(4)447--458
-
Possibilistic, 46(3)199--217, 79(1)257--263
-
Possibilistic, Quasi-, 57(2)101--125
-
Possibility-Theoretic, 75(1)195--213
-
Possible, 48(4)343--362, 49(4)325--347, 72(1)139--154, 76(3)325--336
-
Postow, Brian, 50(3)325--359
-
Postow:2002:UUP, 50(3)325--359
-
Potapov, Igor, 56(1)137--154, 91(2)395--409
-
Potapov, Igor, see Gasieniec, Leszek,
see Lisitsa, Alexei
-
Potential, 81(1)241--248
-
Potikas, Petros, 72(4)485--527
-
Potikas:2006:VPT, 72(4)485--527
-
Potop-Butucaru, Dumitru, 78(1)131--159
-
Potop-Butucaru:2007:CCA, 78(1)131--159
-
power, 49(1)167--178, 49(1)229--239, 62(3)333--342, 73(1)133--152,
91(2)395--409
-
Power, John, 84(2)221--240
-
Power:2008:CTS, 84(2)221--240
-
Pozzato, Gian Luca, 96(3)341--372
-
Pozzato, Gian Luca, see Giordano, Laura
-
Practical, 56(3)243--253, 80(4)461--474, 84(1)1--15, 94(3)439--471
-
Prade, Henri, 57(2)101--125, 75(1)195--213
-
Prade, Henri, see Dubois, Didier
-
Pragmatic, 75(1)295--314, 84(2)z--z, 84(3)443--470
-
Prakken, Henry, 48(2)253--271
-
Prakken:2001:MDL, 48(2)253--271
-
PRAM, 55(3)285--306
-
Prange, Ulrike, 74(1)1--29, 74(1)31--61
-
Prange, Ulrike, see Ehrig, Hartmut
-
Pratt-Hartmann, Ian, 46(1)159--186, 97(4)347--367
-
Pratt-Hartmann, Ian, see Düntsch, Ivo
-
Pratt-Hartmann:2001:ERR, 46(1)159--186
-
Pre-computed, 87(1)61--77
-
Prebases, 45(3)195--205
-
Precursor, 75(1)331--334
-
Predator-Prey, 83(4)337--353
-
Predicate, 79(1)187--208, 79(1)209--227
-
Predicateash, 85(1)465--479
-
Predication, 84(2)151--183
-
Prediction, 47(1)1--13, 74(2)189--207, 78(2)257--270, 87(3)313--329,
89(2)189--206
-
Predictive, 78(2)239--255
-
Preemptible, 50(1)33--55
-
Preface, 41(1)z--z, 43(1)z--z, 45(1)z--z, 46(1)z--z, 47(1)z--z, 47(3)z--z,
48(2)z--z, 50(2)z--z, 51(1)z--z, 54(2)z--z, 55(2)z--z, 57(2)z--z,
58(1)z--z, 59(2)z--z, 60(1)z--z, 61(2)z--z, 62(1)z--z, 62(2)z--z,
63(2)z--z, 71(1)z--z, 76(3)z--z, 81(1)z--z, 88(3)z--z, 90(3)z--z,
90(4)z--z, 91(1)z--z, 91(2)z--z
-
Preference, 48(2)183--204, 57(2)393--421, 65(4)307--328
-
Preferential, 42(3)391--410, 84(1)61--79, 89(2)259--288, 96(3)341--372
-
Prefix-Free, 73(1)107--117, 90(1)93--106
-
Prefixes, 95(1)219--244
-
Pregroups, 61(1)29--36
-
Prelanguages, 46(4)343--348
-
Preprocessing, 69(3)343--358, 85(1)35--50
-
Preprocessor, 93(1)45--64
-
Prescribed, 83(1)159--175
-
Presentability, 79(1)169--185
-
Presentation, 97(1)235--273, 97(4)439--470
-
Preservation, 91(3)463--485
-
Preserving, 73(3)373--387, 78(4)595--612, 80(1)31--47
-
Presicce, Francesco, Parisi-, 74(1)z--z
-
Pretopologies, 59(2)221--239
-
Preventing, 92(1)27--42
-
Prevention, 48(4)315--341, 97(1)41--91
-
Previous, 81(1)297--313
-
Prey, Predator-, 83(4)337--353
-
Priami, Corrado, 64(1)275--289
-
Priami, Corrado, see Mardare, Radu
-
Pricing, 76(1)59--73
-
Prime, 58(3)421--435, 81(1)83--96, 81(4)441--457
-
Primitive, 79(3)513--524
-
Principal, 45(1)33--51, 65(1)87--112
-
principle, 55(3)387--403, 71(1)15--26, 81(1)97--122, 93(4)353--356
-
Prinz, Andreas, 77(1)143--174
-
Prinz, Andreas, see Graf, Susanne
-
Prioritized, 73(3)389--407, 91(3)631--670
-
Priority, 61(3)351--368
-
Privacy, 78(4)507--524, 78(4)595--612
-
Probabilistic, 53(3)281--314, 57(2)167--192, 64(1)255--260,
66(1)103--130, 67(1)13--27, 73(1)229--236, 85(1)173--187,
87(3)417--433, 96(1)127--151
-
Probabilistically, 65(3)193--209, 66(3)259--275
-
probability, 45(3)207--213, 57(2)323--344, 67(1)121--130, 71(4)367--370,
78(4)467--485, 79(1)17--23, 86(4)429--433, 96(1)127--151
-
Probably, 93(1)81--96
-
problem, 41(1)91--129, 44(1)133--144, 46(3)257--276, 47(3)231--245,
48(4)295--314, 52(1)133--141, 52(1)249--256, 53(1)79--104,
53(3)199--228, 53(3)315--320, 55(3)307--320, 56(1)71--88,
56(1)181--190, 58(2)67--77, 59(2)287--298, 63(2)283--307,
64(1)1--16, 64(1)405--416, 64(1)471--480, 65(1)135--151,
68(4)333--356, 71(1)27--36, 71(4)477--491, 73(1)65--79,
73(1)127--132, 73(1)153--164, 74(1)115--134, 76(3)255--270,
78(3)449--465, 79(3)295--302, 79(3)401--413, 81(4)459--471,
83(4)389--410, 84(1)17--32, 84(3)329--351, 86(1)191--212,
87(1)93--116, 91(1)35--51, 91(1)161--178, 91(2)305--323,
92(1)145--168, 92(3)193--231, 95(4)465--489, 95(4)511--531,
96(4)435--463
-
Procedure, 48(2)253--271, 48(4)343--362, 53(1)1--22, 54(1)17--65,
64(1)43--52, 70(4)351--366
-
process, 43(1)49--60, 45(4)359--378, 47(3)217--229, 48(1)21--54,
50(1)1--13, 50(1)15--31, 53(1)55--77, 54(2)151--164, 59(1)1--37,
60(1)113--129, 60(1)269--289, 60(1)291--305, 61(1)47--59,
61(3)183--211, 65(3)211--247, 67(1)65--75, 68(1)175--206,
70(1)21--48, 72(1)333--345, 72(1)407--420, 73(1)37--50,
73(1)307--319, 78(1)101--130, 78(4)487--505, 80(1)199--219,
82(1)141--153, 82(1)185--212, 82(3)237--263, 85(1)455--464,
87(3)331--365, 92(3)233--257, 92(3)279--299, 92(4)373--396,
93(1)65--79, 93(1)155--169, 94(3)387--412, 95(1)157--186
-
Process-algebraic, 80(1)283--310
-
Process-Specific, 74(2)351--373
-
Processing, 41(1)33--56, 49(4)325--347, 60(1)41--66, 69(3)273--285,
75(1)385--406
-
Processor, 43(1)227--243, 55(3)285--306, 89(2)313--329, 91(1)1--15
-
processor, Co-, 76(1)75--89
-
product, 44(3)265--290, 51(1)13--41, 55(3)349--362, 73(1)205--211,
82(1)61--78
-
product, Omega-, 72(1)333--345
-
Production, 41(4)367--392
-
Products, Omega-, 60(1)333--350
-
products, Omega-, 67(1)175--185
-
Professor, 75(1)z--z
-
Profile, 78(4)487--505
-
Program, 41(3)341--366, 42(1)29--60, 45(3)237--252, 55(1)63--100,
60(1)81--98, 60(1)99--111, 66(4)315--352, 66(4)353--366,
66(4)367--395, 66(4)415--439, 66(4)z--z, 69(1)63--102,
69(1)103--121, 69(1)123--178, 69(1)179--218, 69(1)z--z,
72(4)485--527, 74(4)511--528, 77(4)511--531, 80(1)125--146,
81(1)211--239, 82(3)289--310, 85(1)533--548, 91(2)411--435,
93(1)111--125, 93(1)305--324, 96(3)271--295, 96(3)373--393
-
Program-Size, 71(4)367--370
-
Programmable, 93(4)411--434
-
Programming, 41(1)229--258, 50(3)325--359, 57(2)393--421, 60(1)99--111,
63(2)259--281, 65(4)291--305, 67(1)29--44, 67(1)z--z, 68(1)1--19,
68(1)131--174, 68(3)249--288, 70(4)351--366, 71(2)183--214,
72(1)95--108, 72(1)z--z, 73(3)321--360, 76(3)325--336,
77(1)105--141, 79(1)187--208, 79(3)z--z, 81(1)325--345, 85(1)1--17,
85(1)z--z, 93(1)z--z, 94(3)387--412, 96(3)297--322
-
Progress, 89(1)z--z
-
Proietti, Maurizio, 66(4)z--z, 69(1)z--z, 96(3)373--393
-
Proietti, Maurizio, see Pettorossi, Alberto,
see Senni, Valerio
-
Projection, 85(1)399--408
-
Promela, 85(1)409--424
-
Proof, 42(1)1--27, 46(4)277--285, 59(1)39--65, 66(4)353--366,
70(4)351--366, 77(4)331--343, 77(4)489--510, 79(1)71--83,
79(1)169--185, 82(4)391--463, 83(1)21--24, 88(1)207--223,
92(3)301--306
-
Proof-Carrying, 77(4)303--330
-
propagating, Value-, 72(4)485--527
-
property, 41(3)259--294, 43(1)245--267, 49(1)191--203, 51(1)185--200,
55(2)167--185, 55(2)223--241, 63(1)65--87, 64(1)463--470,
68(3)221--230, 72(1)51--63, 72(1)245--254, 72(4)437--452,
73(1)99--106, 73(1)165--178, 73(1)229--236, 73(1)307--319,
76(1)39--57, 79(1)5--15, 79(3)347--362, 79(3)487--495, 80(1)31--47,
80(1)49--74, 80(1)125--146, 81(1)211--239, 81(4)409--439,
83(1)141--157, 83(1)197--217, 85(1)329--342, 86(3)325--341,
88(4)469--495, 91(2)325--340, 92(1)145--168, 93(1)235--244,
94(1)41--48, 95(2)349--380
-
Propositional, 79(1)71--83, 81(1)325--345
-
Propositions-as-Types, 82(4)311--340
-
Protection, 71(4)443--451
-
Protein, 72(4)467--483, 78(4)525--542
-
protocol, 51(1)91--101, 61(3)389--398, 67(1)287--301, 68(4)399--406,
72(1)215--234, 79(3)363--378, 79(3)453--471, 79(3)473--486,
85(1)359--375, 88(3)357--385, 93(1)185--203, 93(1)245--259
-
prototyping, 60(1)269--289
-
Prove, 55(2)187--202, 61(3)351--368
-
Prover, 93(1)273--288
-
Proving, 54(2)165--183, 64(1)43--52, 67(1)45--64, 68(1)131--174,
68(3)249--288, 95(2)305--324
-
Provision, 95(1)53--72
-
Proximal, 83(1)25--34
-
Proximity, 74(2)209--249, 74(2)251--282, 88(1)207--223
-
Proxy, 53(2)131--134, 56(3)243--253, 69(4)411--425
-
Pruning, 71(2)183--214, 95(4)491--510
-
PSO-SVM, 95(4)491--510
-
PSPACE, 80(1)169--197
-
PSPACE-Complete, 58(2)67--77
-
PSPACE-complete, 42(3)211--234
-
Psychologism, 81(1)355--365
-
Publication, 94(3)305--330
-
Puntigam, Franz, 48(4)315--341
-
Puntigam:2001:TAO, 48(4)315--341
-
Pure, 52(4)345--360, 76(3)239--254
-
Purse, 77(1)29--69
-
Push, 45(3)215--229
-
Pushdown, 51(4)399--405, 66(3)277--298, 81(4)367--377, 93(1)221--233,
93(1)235--244
-
Putnam, Davis-, 79(1)5--15
-
Puuronen, Seppo, 47(1)91--117, 77(3)243--275
-
Puuronen, Seppo, see Pechenizkiy, Mykola
-
Puuronen:2001:LFS, 47(1)91--117
-
puzzle, 91(1)35--51