Last update: Sat Jan 6 02:13:50 MST 2018
Return to index directory
P
-
P, 2309(0)193--z
-
{P}-Systems, 2295(0)379--z
-
Paar, Alexander, 2299(0)241--z
-
Paar, Alexander, see Feldbusch, Fridtjof
-
Pach, János, 2265(0)154--z, 2265(0)247--z
-
Pach:2002:RSG, 2265(0)247--z
-
Pach:2002:UP, 2265(0)154--z
-
Package, 2313(0)420--z, 2328(0)446--z
-
Packet, 2281(0)600--z, 2299(0)34--z
-
packing, 2265(0)378--z, 2286(0)293--z, 2286(0)569--z, 2328(0)194--z
-
Padmanabhan, Sriram, 2287(0)409--z
-
Padmanabhan, Sriram, see Wang, Min
-
Paechter, Ben, 2279(0)334--z
-
Paechter, Ben, see Urquhart, Neil
-
Paetzold, Thorsten, 2298(0)215--z
-
Paetzold, Thorsten, see Steininger, Silke
-
Page, Dan, 2268(0)242--z
-
Page, Dan, see Muller, Henk
-
Page, Kevin R., 2266(0)47--z
-
Page, Kevin R., see Beales, Richard
-
Page-Replacement, 2287(0)533--z
-
PageRank, 2291(0)73--z
-
Pages, 2281(0)650--z
-
Pagli, Linda, 2286(0)15--z
-
Pagli, Linda, see Luccio, Fabrizio
-
Pairing, 2286(0)118--z, 2308(0)109--z
-
Pairwise, 2329(0)468--z
-
Paiva, Ely C. de, 2238(0)216--z
-
Paiva, Ely C. de, see Elfes, Alberto
-
Paiva, Maria Stela V., 2327(0)346--z
-
Paiva, Maria Stela V., see Mello, Rodrigo F. de
-
Pajek, 2265(0)477--z
-
Paker, Yakup, 2328(0)280--z
-
Paker, Yakup, see Sener, Cevat
-
Palacios, José Juan, 2313(0)252--z
-
Palacios:2002:FAP, 2313(0)252--z
-
Paliouras, Georgios, 2308(0)167--z
-
Paliouras, Georgios, see Sigletos, Georgios
-
Pallickara, S., 2329(0)22--z
-
Pallickara, S., see Fox, G.
-
Pallottino, Lucia, 2289(0)351--z
-
Pallottino, Lucia, see Pancanti, Stefania
-
Palmer, Fiona, 2311(0)191--z
-
Palmer, Fiona, see McClean, Sally
-
Palopoli, Luigi, 2289(0)337--z
-
Palopoli:2002:SRC, 2289(0)337--z
-
Palsberg, Jens, 2303(0)187--z
-
Palsberg, Jens, see Jha, Somesh
-
Pan, Victor Y., 2285(0)215--z
-
Pan:2002:RAF, 2285(0)215--z
-
Panayiotopoulos, Themistoklis, 2308(0)85--z
-
Panayiotopoulos:2002:GES, 2308(0)85--z
-
Pancanti, Stefania, 2289(0)351--z
-
Pancanti:2002:OCQ, 2289(0)351--z
-
Pande, Santosh, 2304(0)261--z
-
Pande, Santosh, see Rele, Siddharth
-
Panek, Sebastian, 2289(0)421--z
-
Panek, Sebastian, see Stursberg, Olaf
-
Panel, 2323(0)208--z
-
Pang, Liping, 2326(0)60--z
-
Pang, Liping, see Tan, Guang
-
Pangrác, Ond{\v{r}}ej, 2265(0)261--z,
see {\v{C}}ern{\'y}, Jakub
-
Panigrahi, Debashis, 2268(0)260--z
-
Panigrahi, Debashis, see Taylor, Clark N.
-
Pankowska, Lidia, 2328(0)79--z
-
Pankowska, Lidia, see Gawiejnowicz, Stanis{\l}aw
-
Paolini, Paolo, 2306(0)294--z
-
Paolini, Paolo, see Baresi, Luciano
-
Paolucci, Mario, 2287(0)307--z
-
Paolucci, Mario, see Tininini, Leonardo
-
Paolucci, Massimo, 2322(0)198--z
-
Paolucci, Massimo, see Gozzi, Andrea
-
Papadakis, Nick, 2308(0)18--z
-
Papadakis:2002:RQP, 2308(0)18--z
-
Papadias, Dimitris, 2287(0)179--z, 2287(0)682--z
-
Papadias, Dimitris, see Tao, Yufei
-
Papadias:2002:APM, 2287(0)179--z
-
Papadimitriou, Christos H., 2286(0)2--z, 2308(0)1--z
-
Papadimitriou:2002:IWA, 2286(0)2--z
-
Papadimitriou:2002:UI, 2308(0)1--z
-
Papanikolaou, Kyparisia A., 2266(0)215--z, 2308(0)191--z
-
Papanikolaou, Kyparisia A., see Grigoriadou, Maria
-
Papanikolaou:2002:IIS, 2266(0)215--z
-
Papatheodorou, T. S., 2329(0)673--z
-
Papatheodorou, T. S., see Koulisianis, M. D.
-
paper, 2317(0)31--z
-
Pappas, Alexandros, 2313(0)411--z
-
Pappas, George J., 2289(0)436--z
-
Pappas, George J., see Tabuada, Paulo
-
Pappas:2002:NMA, 2313(0)411--z
-
Paprzycki, Marcin, 2328(0)719--z
-
Paprzycki:2002:SNA, 2328(0)719--z
-
Paquete, Luis, 2279(0)122--z
-
Paquete:2002:EII, 2279(0)122--z
-
Paraconsistency, 2311(0)141--z
-
paradigm, 2222(0)188--z, 2312(0)72--z, 2315(0)191--z, 2319(0)269--z,
2329(0)97--z
-
Paradiso, Joseph A., 2298(0)9--z
-
Paradiso, Joseph A., see Benbasat, Ari Y.
-
parallel, 2238(0)195--z, 2278(0)93--z, 2278(0)326--z, 2279(0)41--z,
2279(0)304--z, 2281(0)628--z, 2285(0)535--z, 2291(0)303--z,
2295(0)359--z, 2295(0)369--z, 2305(0)83--z, 2308(0)314--z,
2310(0)180--z, 2310(0)362--z, 2311(0)166--z, 2315(0)332--z,
2318(0)128--z, 2318(0)213--z, 2324(0)259--z, 2326(0)103--z,
2326(0)156--z, 2326(0)166--z, 2326(0)279--z, 2327(0)25--z,
2327(0)175--z, 2327(0)231--z, 2327(0)243--z, 2327(0)291--z,
2327(0)401--z, 2327(0)437--z, 2327(0)449--z, 2327(0)503--z,
2327(0)539--z, 2328(0)10--z, 2328(0)51--z, 2328(0)145--z,
2328(0)170--z, 2328(0)185--z, 2328(0)194--z, 2328(0)210--z,
2328(0)218--z, 2328(0)228--z, 2328(0)236--z, 2328(0)256--z,
2328(0)272--z, 2328(0)299--z, 2328(0)323--z, 2328(0)331--z,
2328(0)340--z, 2328(0)395--z, 2328(0)446--z, 2328(0)485--z,
2328(0)502--z, 2328(0)510--z, 2328(0)526--z, 2328(0)535--z,
2328(0)552--z, 2328(0)564--z, 2328(0)599--z, 2328(0)778--z,
2328(0)789--z, 2328(0)819--z, 2329(0)409--z, 2329(0)533--z,
2329(0)543--z, 2329(0)592--z, 2329(0)633--z, 2329(0)753--z,
2329(0)890--z, 2329(0)900--z, 2329(0)920--z, 2329(0)1010--z,
2329(0)1020--z
-
Parallel, Data-, 2328(0)280--z
-
Parallel, Hybrid-, 2327(0)11--z
-
Parallel, Series-, 2295(0)217--z
-
Parallelisation, 2280(0)371--z, 2326(0)92--z
-
Parallelism, 2285(0)477--z, 2326(0)249--z, 2327(0)469--z, 2329(0)940--z
-
Parallelization, 2326(0)231--z, 2328(0)154--z, 2328(0)803--z
-
Parallelize, 2313(0)89--z
-
Parallelizing, 2312(0)138--z, 2327(0)25--z
-
Parameter, 2286(0)371--z, 2313(0)118--z, 2328(0)729--z, 2329(0)950--z
-
Parameter, Fixed-, 2265(0)1--z
-
Parameterized, 2280(0)221--z, 2280(0)251--z, 2285(0)262--z,
2285(0)359--z, 2294(0)317--z, 2309(0)72--z
-
Parametric, 2285(0)620--z, 2287(0)409--z, 2329(0)582--z
-
parametric, Non-, 2279(0)31--z
-
Parametrized, 2285(0)227--z
-
Pareto, 2291(0)183--z
-
Paris, Gregory, 2310(0)267--z
-
Paris:2002:ABT, 2310(0)267--z
-
Parisi-Presicce, Francesco, 2303(0)223--z
-
Parisi-Presicce, Francesco, see Koch, Manuel
-
Parity-Check, 2292(0)175--z
-
Parker, David, 2280(0)52--z, 2324(0)200--z
-
Parker, David, see Kwiatkowska, Marta
-
Parker, Steven G., 2327(0)190--z
-
Parker, Steven G., see de St. Germain, J. Davison
-
Parmentier, Gilles, 2328(0)218--z
-
Parmentier, Gilles, see Guinand, Frédéric
-
pARMS, 2328(0)446--z
-
Parr, Gerard, 2311(0)14--z
-
Parr, Gerard, see Chieng, David
-
Parr, Ronald, 2308(0)249--z
-
Parr, Ronald, see Lagoudakis, Michail G.
-
Parra, Carlos, 2313(0)11--z
-
Parra, Carlos, see Murrieta-Cid, Rafael
-
Parra, Marino, Sánchez-, 2313(0)494--z
-
Parrott, K. A., 2329(0)813--z
-
Parrott, K. A., see Din{\u{c}}ov, D. D.
-
Parsers, 2304(0)143--z
-
Parsons, Simon, 2222(0)297--z
-
Parsons, Simon, see Vasconcelos, Wamberto
-
Part, 2238(0)259--z
-
Parthasarathy, Sailaja, 2287(0)142--z
-
Parthasarathy, Sailaja, see Lakshmanan, Laks V. S.
-
Partial, 2310(0)117--z, 2318(0)112--z
-
Partially, 2286(0)278--z, 2291(0)22--z
-
Partially-Ordered, 2295(0)239--z
-
Particle, 2238(0)305--z, 2281(0)426--z
-
Particle-in-Cell, 2327(0)515--z
-
Particle-Mesh, 2329(0)1020--z
-
Particular, 2296(0)207--z
-
partition, 2280(0)415--z, 2286(0)131--z, 2328(0)185--z
-
Partitioned, 2238(0)122--z, 2327(0)260--z, 2329(0)306--z
-
Partitioning, 2268(0)135--z, 2328(0)97--z, 2328(0)404--z,
2329(0)1020--z, 2329(0)1058--z
-
Partsakoulakis, Ioannis, 2308(0)449--z
-
Partsakoulakis:2002:RCA, 2308(0)449--z
-
party, Multi-, 2288(0)258--z
-
Parunak, H. Van Dyke, 2222(0)1--z
-
Parunak:2002:RSS, 2222(0)1--z
-
Pascal, Patricia, 2326(0)126--z
-
Pascal, Patricia, see Monteil, Thierry
-
Pascoe, J. S., 2318(0)148--z
-
Pascoe, James, 2299(0)131--z
-
Pascoe, James, see Tonev, Georgi
-
Pascoe:2002:APP, 2318(0)148--z
-
Pasechnik, Dmitrii V., 2285(0)419--z
-
Pasechnik, Dmitrii V., see Grigoriev, Dima
-
Pashkin, Mikhail, 2296(0)293--z
-
Pashkin, Mikhail, see Smirnov, Alexander
-
Pasini, Daniele, 2287(0)753--z
-
Pasini, Daniele, see Damiani, Ernesto
-
Pasko, Robert, 2268(0)274--z
-
Pasko, Robert, see Desmet, Dirk
-
Pass, One-, 2303(0)98--z
-
Passage, 2313(0)185--z, 2329(0)61--z
-
Passage-Time, 2324(0)178--z
-
Passing, 2303(0)129--z, 2326(0)241--z, 2328(0)466--z
-
Passive, 2329(0)306--z
-
Past, 2308(0)42--z
-
Pasternak, Tal, 2289(0)364--z
-
Pasternak:2002:RHC, 2289(0)364--z
-
Pastor, Nelio, 2313(0)470--z
-
Pastor, Nelio, see Flores, Juan J.
-
Pastuszak, Jarek, 2288(0)186--z
-
Pastuszak:2002:CPO, 2288(0)186--z
-
Paszkowski, Mariusz, 2328(0)904--z
-
Paszkowski, Mariusz, see Topa, Pawe{\l}
-
Pasztor, Zoltan, 2308(0)72--z
-
Pasztor, Zoltan, see Vlahavas, Ioannis P.
-
Pataki, M., 2329(0)51--z
-
Pataki, M., see Monostori, K.
-
Patan, Maciej, 2328(0)729--z
-
Patan:2002:OLS, 2328(0)729--z
-
Patel, Jignesh M., 2287(0)590--z
-
Patel, Jignesh M., see Wu, Yuqing
-
Patel, M. K., 2329(0)743--z
-
Patel, M. K., see Christakis, N.
-
Patented, 2278(0)26--z
-
path, 2269(0)256--z, 2285(0)250--z, 2286(0)435--z, 2286(0)584--z,
2299(0)114--z, 2301(0)326--z, 2308(0)121--z, 2313(0)21--z,
2313(0)41--z
-
Path-Width, 2265(0)102--z
-
Patients, 2314(0)187--z
-
Patra, Tusar Kanti, 2327(0)321--z
-
Patra, Tusar Kanti, see Kumar, Rakesh
-
Patrignani, Maurizio, 2265(0)451--z, 2265(0)475--z
-
Patrignani, Maurizio, see Battista, Giuseppe Di,
see Didimo, Walter
-
pattern, 2281(0)201--z, 2281(0)284--z, 2281(0)307--z, 2281(0)504--z,
2281(0)518--z, 2281(0)565--z, 2282(0)87--z, 2282(0)221--z,
2286(0)326--z, 2287(0)70--z, 2287(0)496--z, 2295(0)117--z,
2296(0)161--z, 2296(0)283--z, 2308(0)485--z, 2311(0)232--z,
2311(0)247--z, 2313(0)282--z, 2328(0)323--z, 2329(0)70--z
-
Pattern, Tree-, 2287(0)514--z
-
Paul, Ray, 2311(0)354--z
-
Paul:2002:WUC, 2311(0)354--z
-
Paula, Virgínia C. C. de, 2306(0)128--z
-
Paula:2002:MAC, 2306(0)128--z
-
Paulson, Lawrence C., 2283(0)3--z, 2283(0)9--z, 2283(0)27--z,
2283(0)53--z, 2283(0)67--z, 2283(0)105--z, 2283(0)127--z,
2283(0)149--z, 2283(0)175--z, 2283(0)195--z, 2283(0)207--z,
2283(0)209--z
-
Paulson, Lawrence C., see Nipkow, Tobias
-
Pauw, Wim De, 2269(0)151--z
-
Pauw:2002:VEJ, 2269(0)151--z
-
Pavan, A., 2285(0)408--z
-
Pavan:2002:BIS, 2285(0)408--z
-
PaViS, 2328(0)437--z
-
Pavliska, Ales, 2296(0)227--z
-
Pavliska:2002:RDP, 2296(0)227--z
-
Pavon, Juan, 2222(0)119--z
-
Pavon, Juan, see Caire, Giovanni
-
Pazos, Rodolfo, 2313(0)118--z
-
Pazos, Rodolfo, see Pérez, Joaquín
-
PC, 2327(0)515--z
-
PCs, 2329(0)562--z, 2329(0)783--z
-
PDE, 2327(0)301--z
-
PDES, 2329(0)107--z
-
Pearce, David J., 2324(0)220--z
-
Pearce:2002:GDI, 2324(0)220--z
-
Pechoucek, Michal, 2296(0)234--z
-
P{\v{e}}chou{\v{c}}ek, Michal, 2322(0)159--z, 2322(0)233--z,
2322(0)308--z, 2322(0)363--z, see Bárta, Jaroslav,
see Ma{\v{r}}{\'\i}k, Vladim{\'\i}r,
see Ríha, Ale{\v{s}}
-
Pechoucek:2002:CAM, 2296(0)234--z
-
Pechoucek:2002:CCP, 2322(0)363--z
-
Peer, Peer-to-, 2327(0)346--z
-
Peer-Reviewed, 2266(0)94--z
-
Peer-to-Peer, 2327(0)346--z
-
Peled, Doron, 2280(0)357--z, 2280(0)431--z, 2318(0)230--z
-
Peled, Doron, see Eisner, Cindy,
see Groce, Alex, \see{Gunter, Elsa
-
Peleg, David, 2285(0)76--z
-
Peleg, David, see Korman, Amos
-
Pelican, Michael J. S., 2289(0)225--z
-
Pelican, Michael J. S., see Goldman, Robert P.
-
Peltier, Mikael, 2306(0)143--z
-
Peltier, Mikael, see Belaunde, Mariano
-
Peña, Ricardo, 2312(0)1--z, 2312(0)88--z, 2312(0)121--z,
see Encina, Alberto de la
-
Pena:2002:PCN, 2312(0)121--z
-
Pena:2002:STT, 2312(0)1--z
-
Penalty, 2310(0)295--z, 2313(0)108--z
-
Penczek, Wojciech, 2296(0)242--z, 2328(0)247--z
-
Penczek, Wojciech, see Dembi{\'n}ski, Piotr
-
Penczek:2002:EMC, 2296(0)242--z
-
Pending, 2327(0)310--z
-
Penna, 2328(0)888--z
-
PEP, 2280(0)476--z
-
PEPA, 2324(0)111--z
-
Peral, Jesús, 2313(0)146--z
-
Peral:2002:MSE, 2313(0)146--z
-
Perception, 2238(0)141--z, 2238(0)216--z
-
Perceptual, 2320(0)13--z, 2320(0)57--z
-
Perez, Daniel, Gatica-, 2314(0)229--z
-
Pérez, E. Islas, 2313(0)128--z
-
Pérez, Joaquín, 2313(0)118--z
-
Pérez, José Antonio, 2315(0)250--z
-
Pérez, Rafael Bello, 2313(0)292--z,
see Cruz, Isis Bonet
-
Perez:2002:AGC, 2313(0)118--z
-
Perez:2002:GAC, 2313(0)128--z
-
Perez:2002:OBD, 2315(0)250--z
-
Perfect, 2290(0)248--z
-
Perform, 2329(0)793--z
-
Performance, 2268(0)242--z, 2278(0)103--z, 2279(0)41--z, 2279(0)51--z,
2285(0)88--z, 2287(0)372--z, 2291(0)41--z, 2291(0)334--z,
2312(0)138--z, 2321(0)43--z, 2322(0)107--z, 2324(0)111--z,
2324(0)141--z, 2324(0)159--z, 2324(0)212--z, 2324(0)233--z,
2324(0)259--z, 2326(0)47--z, 2327(0)64--z, 2327(0)146--z,
2327(0)190--z, 2327(0)207--z, 2327(0)370--z, 2327(0)390--z,
2327(0)413--z, 2327(0)490--z, 2327(0)491--z, 2327(0)515--z,
2328(0)154--z, 2328(0)418--z, 2329(0)296--z, 2329(0)503--z
-
Performance, High-, 2299(0)209--z, 2327(0)7--z, 2328(0)652--z
-
Performer, 2298(0)241--z
-
Pericleous, K. A., 2329(0)813--z
-
Pericleous, K. A., see Din{\u{c}}ov, D. D.
-
Perini, Anna, 2222(0)151--z
-
Perini, Anna, see Bresciani, Paolo
-
Periodic, 2295(0)304--z, 2314(0)219--z
-
Perkusich, Angelo, 2319(0)240--z
-
Perkusich, Angelo, see Gorgônio, Kyller Costa
-
Perl, 2298(0)134--z
-
Perminov, V., 2329(0)823--z
-
Perminov:2002:NSR, 2329(0)823--z
-
Permpoontanalarp, Yongyuth, 2288(0)268--z
-
Permpoontanalarp, Yongyuth, see Kungpisdan, Supakorn
-
permutation, 2295(0)81--z
-
Perrin, Dominique, 2285(0)547--z
-
Perrin, Dominique, see Béal, Marie-Pierre
-
Perry, Dewayne E., 2319(0)1--z
-
Perry, Dewayne E., see Grechanik, Mark
-
Persiano, Pino, 2288(0)244--z
-
Persiano, Pino, see Galdi, Clemente
-
Persistence, 2328(0)896--z
-
Persistent, 2320(0)176--z
-
Personalized, 2266(0)215--z, 2269(0)368--z, 2296(0)54--z, 2314(0)143--z
-
Perspective, 2269(0)31--z, 2269(0)347--z, 2311(0)357--z, 2320(0)201--z
-
Pertselakis, Minas, 2308(0)225--z
-
Pertselakis, Minas, see Frossyniotis, Dimitrios
-
Perturbation, 2328(0)778--z
-
Perturbative, 2316(0)135--z
-
Pervasive, 2296(0)15--z, 2299(0)67--z
-
Pesavento, F., 2329(0)733--z
-
Pesavento, F., see Bianco, M.
-
Pesch, Hans-Josef, 2279(0)143--z
-
Pesch, Hans-Josef, see Schindler, Barbara
-
Pessoa, Artur Alves, 2286(0)248--z
-
Pessoa, Artur Alves, see Milidiú, Ruy Luiz
-
Petaflops-Scale, 2327(0)1--z
-
Petcu, Dana, 2326(0)172--z, 2328(0)437--z
-
Petcu:2002:SLS, 2328(0)437--z
-
Petcu:2002:ULI, 2326(0)172--z
-
Peters, C., 2291(0)248--z
-
Peters, Charlotte R., 2317(0)356--z
-
Peters:2002:SDC, 2317(0)356--z
-
Peters:2002:UBN, 2291(0)248--z
-
Petersen, Holger, 2285(0)513--z
-
Petersen:2002:MPR, 2285(0)513--z
-
Peterson, 2328(0)202--z
-
Petit, Jean-Marc, 2287(0)464--z
-
Petit, Jean-Marc, see Marchi, Fabien De
-
Petkovic, Milan, 2287(0)736--z
-
Petkovic:2002:CCB, 2287(0)736--z
-
Petreschi, Rossella, 2286(0)236--z
-
Petreschi, Rossella, see Calamoneri, Tiziana
-
Petri, 2280(0)371--z, 2295(0)69--z, 2306(0)279--z, 2319(0)240--z,
2324(0)239--z, 2329(0)1049--z
-
Petriu, Dorin, 2324(0)141--z
-
Petriu, Dorina C., 2324(0)159--z
-
Petriu:2002:AUP, 2324(0)159--z
-
Petriu:2002:SPM, 2324(0)141--z
-
Petroleum, 2286(0)248--z
-
Petrone, G., 2266(0)280--z
-
Petrone, G., see Ardissono, L.
-
Petropoulos, Anthony, 2308(0)85--z
-
Petropoulos, Anthony, see Panayiotopoulos, Themistoklis
-
Pettersson, Paul, 2280(0)67--z, 2280(0)460--z
-
Pettersson, Paul, see Amnell, Tobias,
see Fersman, Elena
-
Petunin, D., 2328(0)797--z
-
Petunin, D., see Kleymenov, A.
-
Peureux, Fabien, 2280(0)188--z
-
Peureux, Fabien, see Bouquet, Fabrice
-
Pezzè, Mauro, 2306(0)189--z, see Baresi, Luciano
-
Pfeiffer, Jr., Joseph J., 2317(0)279--z
-
Pfeiffer, Michael, 2304(0)229--z
-
Pfeiffer, Michael, see Mössenböck, Hanspeter
-
Pfeiffer:2002:UBS, 2317(0)279--z
-
Pflanz, Matthias, 2270(0)1--z, 2270(0)13--z, 2270(0)27--z, 2270(0)55--z,
2270(0)65--z, 2270(0)81--z, 2270(0)87--z
-
Pflanz:2002:ADP, 2270(0)87--z
-
Pflanz:2002:CO, 2270(0)81--z
-
Pflanz:2002:FMF, 2270(0)13--z
-
Pflanz:2002:FPR, 2270(0)65--z
-
Pflanz:2002:I, 2270(0)1--z
-
Pflanz:2002:LCTa, 2270(0)27--z
-
Pflanz:2002:LCTb, 2270(0)55--z
-
Pflug, G. Ch., 2329(0)206--z
-
Pflug:2002:BQM, 2329(0)206--z
-
Phase, 2286(0)1--z, 2289(0)49--z, 2328(0)535--z, 2329(0)399--z
-
phase, Multi-, 2328(0)679--z
-
Phase, Two-, 2328(0)526--z
-
Phase-Type, 2324(0)82--z
-
PhD, 2323(0)1--z
-
Phenomena, 2328(0)711--z
-
Pheromone, 2279(0)21--z, 2279(0)325--z, 2296(0)197--z
-
PhFit, 2324(0)82--z
-
Philips-Open, 2290(0)187--z
-
Philosophical, 2281(0)31--z
-
Phones, 2296(0)54--z
-
Phonetics, 2298(0)101--z
-
Phrases, 2291(0)213--z
-
Phylogenetic, 2328(0)218--z
-
Physical, 2287(0)627--z, 2288(0)414--z, 2299(0)7--z, 2328(0)738--z
-
Piattini, Mario, 2323(0)174--z
-
Piattini, Mario, see Brito e Abreu, Fernando
-
Piazza, Carla, 2280(0)415--z, 2294(0)16--z
-
Piazza, Carla, see Focardi, Riccardo,
see Gentilini, Raffaella
-
Picault, Sébastien, 2322(0)221--z, see Landau, Samuel
-
Piccinno, Antonio, 2266(0)315--z
-
Piccinno, Antonio, see Buono, Paolo
-
Picco, Gian Pietro, 2315(0)258--z
-
Picco:2002:ETS, 2315(0)258--z
-
Pick, Andreas, 2265(0)455--z
-
Pick, Andreas, see Brandenburg, Franz J.
-
Pick, Cut-and-, 2287(0)88--z
-
PicSOM, 2314(0)247--z
-
picture, 2306(0)327--z
-
piece, 2301(0)404--z
-
Piecewise, 2308(0)314--z
-
Piecewise-Affine, 2289(0)364--z
-
Pielorz, Amalia, 2328(0)738--z
-
Pielorz:2002:AER, 2328(0)738--z
-
Pieprzyk, Josef, 2288(0)186--z, 2288(0)226--z
-
Pieprzyk, Josef, see Pastuszak, Jarek
-
Pieprzyk:2002:CCI, 2288(0)226--z
-
Pierce, M., 2329(0)503--z
-
Pierce:2002:GCW, 2329(0)503--z
-
Pierre, Patrick, Saint-, 2289(0)378--z
-
Pi{\c{e}}tal, Anna, Kucaba-, 2328(0)719--z
-
Pietarinen, Ahti, 2313(0)214--z
-
Pietarinen:2002:GLK, 2313(0)214--z
-
Pigeonhole, 2295(0)100--z
-
Piirainen, Martti, 2306(0)33--z
-
Piirainen, Martti, see Ehrig, Hartmut
-
Pike, Scott M., 2319(0)46--z
-
Pike:2002:ERC, 2319(0)46--z
-
Pimentel, A. D., 2268(0)57--z
-
Pimentel, Ernesto, 2318(0)254--z
-
Pimentel, Ernesto, see Gallardo, María del Mar
-
Pimentel:2002:TED, 2268(0)57--z
-
Pineda, L. A., 2313(0)166--z
-
Pineda:2002:DP, 2313(0)166--z
-
Pinello, Claudio, 2289(0)337--z
-
Pinello, Claudio, see Palopoli, Luigi
-
Pinkas, Benny, 2320(0)40--z
-
Pinkas:2002:ESU, 2320(0)40--z
-
Pipeline, 2266(0)47--z, 2286(0)248--z
-
Pipelined, 2278(0)1--z
-
Piracy, 2320(0)1--z
-
Pirates, 2320(0)22--z
-
Pirsch, P., 2268(0)188--z
-
Pirsch:2002:PAM, 2268(0)188--z
-
Pisot, 2286(0)141--z
-
Pistore, Marco, 2294(0)196--z, 2303(0)129--z, 2309(0)49--z
-
Pistore, Marco, see Cimatti, Alessandro,
see Ferrari, Gianluigi
-
Pitas, Ioannis, 2308(0)355--z, 2308(0)390--z
-
Pitas, Ioannis, see Gordan, Mihaela,
see Krinidis, Stelios
-
Pitfalls, 2304(0)111--z
-
Pitsillides, A., 2311(0)1--z
-
Pitsillides, A., see Rossides, L.
-
Pitt, Nigel G., 2317(0)350--z
-
Pitt, Nigel G., see Cheng, Peter C-H.
-
Piumarta, I., 2326(0)16--z
-
Piumarta, I., see Folliot, B.
-
Piwakowski, Konrad, 2328(0)87--z
-
Piwakowski, Konrad, see Giaro, Krzysztof
-
Pizzonia, Maurizio, 2265(0)444--z, 2265(0)451--z, 2265(0)475--z
-
Pizzonia, Maurizio, see Barbagallo, Gabriele,
see Battista, Giuseppe Di,
see Didimo, Walter
-
Place, In-, 2286(0)494--z, 2305(0)36--z
-
place, In-, 2294(0)167--z
-
Places, 2287(0)749--z
-
Plaintext, Known-, 2288(0)214--z
-
Planar, 2265(0)75--z, 2265(0)407--z, 2285(0)250--z, 2286(0)494--z,
2287(0)682--z
-
Planarity, 2265(0)471--z
-
Planarization, 2265(0)1--z, 2265(0)60--z
-
plane, 2265(0)392--z, 2285(0)238--z, 2301(0)22--z, 2301(0)372--z,
2301(0)404--z
-
Planner, 2313(0)41--z
-
Planning, 2238(0)195--z, 2261(0)69--z, 2261(0)89--z, 2308(0)121--z,
2313(0)1--z, 2313(0)21--z, 2313(0)41--z, 2313(0)477--z,
2315(0)300--z, 2319(0)137--z, 2322(0)159--z, 2322(0)280--z,
2322(0)308--z, 2322(0)363--z
-
Planning, Floor-, 2265(0)367--z
-
Planquelle, B., 2328(0)803--z
-
Planquelle, B., see Revol, N.
-
Plans, 2238(0)317--z, 2265(0)465--z, 2308(0)97--z
-
Plant, 2265(0)475--z, 2278(0)316--z, 2289(0)209--z, 2313(0)430--z
-
Plasma, 2281(0)372--z, 2281(0)426--z, 2281(0)438--z
-
Plasmeijer, Rinus, 2312(0)55--z, 2312(0)168--z
-
Plasmeijer, Rinus, see Alimarine, Artem,
see Mol, Maarten de
-
Plassmann, P. E., 2329(0)1020--z
-
Plassmann, P. E., see Cheng, J.-R. C.
-
Platform, 2287(0)712--z, 2290(0)164--z, 2290(0)224--z, 2290(0)390--z,
2296(0)253--z, 2299(0)21--z, 2302(0)157--z, 2326(0)118--z,
2326(0)179--z, 2327(0)437--z, 2329(0)474--z
-
Platform, Cross-, 2312(0)138--z
-
Platform-Based, 2268(0)38--z
-
Playing, 2315(0)1--z, 2317(0)31--z
-
Plemenos, Dimitri, 2308(0)203--z
-
Plemenos, Dimitri, see Vassilas, Nikolaos
-
Plenty, 2287(0)14--z
-
Plexousakis, Dimitris, 2308(0)18--z
-
Plexousakis, Dimitris, see Papadakis, Nick
-
Plotkin, Gordon, 2303(0)342--z
-
Plotkin:2002:NCD, 2303(0)342--z
-
Plug-In, 2298(0)47--z
-
Plumejeaud, C., 2329(0)474--z
-
Plumejeaud, C., see Nguyen, T.
-
Pluta, Sebastian, 2328(0)703--z
-
Pluta, Sebastian, see Leszczy{\'n}ski, Jacek
-
{PM}, {DSM}-, 2326(0)179--z
-
PN, 2315(0)220--z
-
Pnueli, Amir, 2294(0)208--z
-
Pnueli, Amir, see Zuck, Lenore
-
Podelski, Andreas, 2280(0)158--z, 2294(0)109--z
-
Podelski, Andreas, see Ball, Thomas,
see Charatonik, Witold
-
Podhaisky, H., 2328(0)778--z
-
Podhaisky, H., see Weiner, R.
-
Poellabauer, Christian, 2299(0)83--z
-
Poellabauer:2002:KEC, 2299(0)83--z
-
Poels, Geert, 2323(0)174--z
-
Poels, Geert, see Brito e Abreu, Fernando
-
Poetzsch-Heffter, Arnd, 2323(0)30--z
-
Poetzsch-Heffter, Arnd, see Leavens, Gary T.
-
Poggi, Isabella, 2298(0)158--z
-
Poggi:2002:TGP, 2298(0)158--z
-
Pohl, Klaus, 2290(0)13--z, 2290(0)22--z
-
Pohl, Klaus, see Bosch, Jan
-
Pohl:2002:CVD, 2290(0)22--z
-
point, 2281(0)31--z, 2287(0)682--z, 2292(0)113--z, 2295(0)21--z,
2297(0)89--z, 2298(0)173--z, 2301(0)102--z, 2301(0)197--z,
2303(0)250--z, 2313(0)242--z, 2319(0)109--z, 2329(0)439--z
-
Point, Floating-, 2305(0)209--z
-
Pointcheval, David, 2288(0)1--z
-
Pointcheval:2002:PSP, 2288(0)1--z
-
Pointer, 2286(0)263--z
-
Pointing, 2298(0)59--z
-
Pokorny, L. Robert, 2280(0)236--z
-
Pokorny, L. Robert, see Basu, Samik
-
Pol, Jaco van de, 2315(0)274--z
-
Pol:2002:FSJ, 2315(0)274--z
-
Polar, 2265(0)407--z, 2265(0)422--z
-
Polettini, Silvia, 2316(0)83--z
-
Polettini:2002:MBD, 2316(0)83--z
-
Poli, Riccardo, 2278(0)212--z
-
Poli:2002:ADL, 2278(0)212--z
-
Policriti, Alberto, 2280(0)415--z
-
Policriti, Alberto, see Gentilini, Raffaella
-
Policy, 2222(0)84--z, 2287(0)317--z, 2303(0)223--z, 2315(0)340--z
-
Poll, Erik, 2323(0)30--z
-
Poll, Erik, see Leavens, Gary T.
-
Pollutant, 2329(0)266--z
-
Pollution, 2329(0)1068--z
-
Pó{\l}rola, Agata, 2328(0)247--z,
see Dembi{\'n}ski, Piotr
-
Polstra, S., 2268(0)57--z
-
Polstra, S., see Pimentel, A. D.
-
polygon, 2265(0)154--z, 2301(0)350--z
-
Polygonal, 2286(0)153--z, 2289(0)49--z
-
Polygonalization, 2301(0)313--z
-
polynomial, 2281(0)482--z, 2286(0)165--z, 2287(0)664--z, 2328(0)107--z
-
Polynomial-Cost, 2312(0)121--z
-
Polyomino, 2265(0)378--z
-
Polyp, 2329(0)88--z
-
Polyphemus, 2265(0)444--z
-
Pomsets, 2295(0)206--z
-
Pons, Olivier, 2277(0)217--z
-
Pons:2002:GTT, 2277(0)217--z
-
Pontelli, Enrico, 2286(0)263--z
-
Pontelli:2002:APP, 2286(0)263--z
-
Pontil, Massimiliano, 2308(0)346--z
-
Pontil, Massimiliano, see Evgeniou, Theodoros
-
Ponweiser, Wolfgang, 2238(0)101--z
-
Ponweiser, Wolfgang, see Vincze, Markus
-
pool, 2266(0)28--z
-
Popa, Horia, 2326(0)172--z
-
Popa, Horia, see Petcu, Dana
-
Popat, K., 2291(0)229--z
-
Popat, K., see Gaussier, E.
-
Popescu, Tudor, 2326(0)207--z
-
Popescu, Tudor, see Tapus, Nicolae
-
Populated, 2238(0)25--z
-
Population, 2279(0)72--z, 2290(0)51--z, 2310(0)31--z, 2316(0)213--z,
2327(0)329--z
-
Porkaew, Kriengkrai, 2287(0)269--z
-
Porkaew, Kriengkrai, see Lazaridis, Iosif
-
Porous, 2328(0)526--z, 2329(0)813--z
-
Portal, 2329(0)70--z, 2329(0)503--z
-
Portfolio, 2310(0)156--z
-
Portraits, 2289(0)49--z
-
Posegga, Joachim, 2318(0)42--z
-
Posegga, Joachim, see Basin, David
-
Position, 2278(0)131--z, 2317(0)161--z
-
Positive, 2281(0)543--z, 2285(0)501--z
-
Positivity, 2328(0)870--z
-
Possibilistic, 2311(0)263--z
-
Possible, 2303(0)159--z
-
Post, 2269(0)46--z
-
Post-2000, 2278(0)26--z
-
Post-Correction, 2313(0)138--z
-
Post-Masking, 2316(0)163--z
-
Postema, Herman, 2290(0)390--z
-
Postema:2002:PBP, 2290(0)390--z
-
poster, 2323(0)213--z
-
Postures, 2298(0)307--z
-
Potamias, George, 2308(0)237--z
-
Potamias:2002:DFB, 2308(0)237--z
-
Poullikkas, Andreas, 2328(0)747--z
-
Poullikkas:2002:MFS, 2328(0)747--z
-
power, 2285(0)372--z, 2286(0)209--z, 2289(0)209--z, 2295(0)145--z,
2295(0)262--z, 2299(0)51--z, 2304(0)247--z, 2304(0)261--z,
2313(0)430--z, 2321(0)181--z, 2327(0)354--z, 2329(0)1030--z
-
Power, John, 2303(0)342--z
-
Power, John, see Plotkin, Gordon
-
PPM, 2281(0)268--z
-
PPRO, 2287(0)753--z
-
Prabhakar, Achal, 2327(0)413--z
-
Prabhakar:2002:PCB, 2327(0)413--z
-
Practical, 2288(0)1--z, 2288(0)268--z, 2319(0)339--z, 2319(0)349--z
-
Practically, 2281(0)307--z
-
practice, 2268(0)112--z, 2311(0)350--z, 2318(0)2--z, 2318(0)14--z,
2319(0)123--z
-
Praxical, 2298(0)268--z
-
Precedence, 2328(0)65--z
-
Precise, 2304(0)95--z, 2306(0)143--z, 2306(0)159--z
-
Precision, 2305(0)194--z, 2305(0)209--z
-
Predicate, 2289(0)35--z
-
Predict, 2281(0)296--z
-
Prediction, 2279(0)190--z, 2279(0)202--z, 2279(0)210--z, 2310(0)42--z,
2311(0)60--z, 2311(0)352--z, 2321(0)43--z, 2324(0)259--z,
2326(0)126--z, 2327(0)133--z, 2327(0)335--z
-
Predictive, 2313(0)430--z
-
Predictor, 2299(0)179--z, 2327(0)106--z, 2327(0)120--z, 2327(0)271--z
-
Preemption, 2327(0)321--z
-
Preemptive, 2280(0)113--z, 2285(0)100--z, 2327(0)321--z
-
Preferences, 2287(0)34--z, 2296(0)169--z
-
Prefetch, 2327(0)146--z
-
Prefetching, 2304(0)307--z, 2327(0)160--z
-
Pregnancy, 2311(0)206--z
-
Preliminary, 2310(0)104--z, 2321(0)133--z
-
Prentzas, Jim, 2308(0)30--z
-
Prentzas, Jim, see Hatzilygeroudis, Ioannis
-
Preorder, 2294(0)272--z
-
Prepaid, 2296(0)54--z
-
Preprocessing, 2279(0)163--z
-
Prescribed, 2265(0)124--z, 2265(0)261--z
-
Presence, 2311(0)74--z
-
Presentations, 2318(0)205--z
-
Presenting, 2269(0)227--z, 2283(0)53--z, 2317(0)161--z
-
Preserving, 2324(0)178--z
-
Presicce, Francesco, Parisi-, 2303(0)223--z
-
Preux, Philippe, 2310(0)350--z
-
Preux, Philippe, see Delepoulle, Samuel
-
Pricing, 2329(0)673--z
-
Priestley, Hilary A., 2297(0)21--z
-
Priestley:2002:COS, 2297(0)21--z
-
Prigent, Armelle, 2318(0)79--z
-
Prigent:2002:ETS, 2318(0)79--z
-
Primal-Dual, 2292(0)198--z
-
Primitive, 2281(0)338--z, 2290(0)169--z, 2314(0)88--z
-
principle, 2277(0)1--z, 2281(0)553--z, 2285(0)347--z, 2295(0)100--z,
2318(0)14--z
-
Priority-Scheduling, 2329(0)276--z
-
PRISM, 2280(0)52--z, 2324(0)200--z
-
Prisner, Erich, 2286(0)224--z
-
Prisner, Erich, see Matamala, Martín
-
Pristinta, M., 2328(0)256--z
-
Pristinta, M., see González, J. A.
-
Privacy, 2285(0)335--z, 2320(0)76--z, 2320(0)106--z
-
Private, 2288(0)244--z
-
Probabilistic, 2280(0)52--z, 2285(0)192--z, 2288(0)72--z, 2289(0)253--z,
2294(0)208--z, 2303(0)114--z, 2308(0)97--z, 2308(0)337--z,
2311(0)191--z, 2313(0)1--z, 2324(0)200--z
-
probability, 2329(0)137--z
-
Probe-Based, 2308(0)378--z
-
problem, 2277(0)63--z, 2277(0)145--z, 2279(0)11--z, 2279(0)51--z,
2279(0)61--z, 2279(0)82--z, 2279(0)112--z, 2279(0)132--z,
2279(0)143--z, 2279(0)153--z, 2279(0)173--z, 2280(0)415--z,
2285(0)154--z, 2285(0)262--z, 2285(0)513--z, 2285(0)620--z,
2286(0)4--z, 2286(0)105--z, 2286(0)118--z, 2286(0)165--z,
2286(0)263--z, 2286(0)508--z, 2286(0)554--z, 2286(0)613--z,
2287(0)627--z, 2289(0)134--z, 2295(0)175--z, 2297(0)281--z,
2301(0)372--z, 2302(0)157--z, 2304(0)111--z, 2308(0)18--z,
2308(0)42--z, 2308(0)325--z, 2310(0)180--z, 2310(0)295--z,
2313(0)89--z, 2317(0)236--z, 2317(0)264--z, 2318(0)148--z,
2318(0)241--z, 2321(0)23--z, 2321(0)88--z, 2322(0)198--z,
2322(0)268--z, 2326(0)103--z, 2328(0)79--z, 2328(0)194--z,
2328(0)236--z, 2328(0)387--z, 2328(0)395--z, 2328(0)643--z,
2328(0)663--z, 2328(0)679--z, 2328(0)778--z, 2328(0)789--z,
2328(0)797--z, 2328(0)833--z, 2328(0)851--z, 2329(0)286--z,
2329(0)335--z, 2329(0)345--z, 2329(0)468--z, 2329(0)623--z,
2329(0)673--z, 2329(0)733--z, 2329(0)853--z, 2329(0)862--z,
2329(0)881--z, 2329(0)900--z
-
ProC/B, 2324(0)51--z
-
Procedure, 2298(0)158--z, 2306(0)336--z, 2309(0)87--z, 2309(0)132--z
-
process, 2238(0)317--z, 2265(0)45--z, 2268(0)89--z, 2280(0)67--z,
2281(0)459--z, 2285(0)535--z, 2287(0)287--z, 2290(0)79--z,
2290(0)125--z, 2290(0)207--z, 2290(0)258--z, 2290(0)388--z,
2296(0)47--z, 2296(0)227--z, 2303(0)372--z, 2306(0)49--z,
2308(0)273--z, 2308(0)473--z, 2310(0)77--z, 2313(0)430--z,
2313(0)440--z, 2313(0)494--z, 2313(0)536--z, 2314(0)311--z,
2315(0)96--z, 2319(0)194--z, 2319(0)332--z, 2322(0)336--z,
2324(0)51--z, 2324(0)92--z, 2324(0)178--z, 2328(0)202--z,
2329(0)61--z, 2329(0)186--z, 2329(0)743--z
-
Processing, 2238(0)195--z, 2279(0)267--z, 2287(0)179--z, 2287(0)215--z,
2287(0)336--z, 2287(0)390--z, 2287(0)682--z, 2298(0)202--z,
2298(0)285--z, 2326(0)293--z, 2326(0)308--z, 2327(0)175--z,
2328(0)125--z, 2328(0)340--z, 2328(0)599--z, 2329(0)276--z
-
Processor, 2268(0)188--z, 2268(0)207--z, 2270(0)13--z, 2270(0)27--z,
2270(0)55--z, 2270(0)65--z, 2270(0)87--z, 2299(0)149--z,
2304(0)261--z, 2326(0)126--z, 2326(0)145--z, 2327(0)281--z,
2327(0)310--z, 2327(0)354--z, 2328(0)272--z
-
Processor, Inter-, 2326(0)77--z
-
processor, Multi-, 2328(0)97--z
-
Processor-in-Memory, 2327(0)1--z
-
PROD, 2324(0)131--z
-
Prodan, A., 2329(0)1040--z
-
Prodan, R., 2329(0)1040--z
-
Prodan, R., see Prodan, A.
-
Prodan:2002:CJC, 2329(0)1040--z
-
Prodinger, Helmut, 2295(0)81--z
-
Prodinger:2002:WPR, 2295(0)81--z
-
Produces, 2278(0)316--z, 2317(0)236--z
-
product, 2285(0)142--z, 2285(0)501--z, 2286(0)91--z, 2286(0)248--z,
2290(0)3--z, 2290(0)13--z, 2290(0)22--z, 2290(0)38--z, 2290(0)51--z,
2290(0)64--z, 2290(0)70--z, 2290(0)83--z, 2290(0)101--z,
2290(0)113--z, 2290(0)125--z, 2290(0)143--z, 2290(0)155--z,
2290(0)187--z, 2290(0)207--z, 2290(0)264--z, 2290(0)304--z,
2290(0)330--z, 2290(0)342--z, 2290(0)346--z, 2290(0)353--z,
2290(0)364--z, 2290(0)383--z, 2290(0)390--z, 2290(0)401--z,
2290(0)409--z, 2303(0)114--z, 2319(0)62--z, 2319(0)78--z,
2319(0)93--z, 2319(0)334--z, 2319(0)339--z, 2319(0)345--z,
2319(0)349--z
-
Product-Line, 2319(0)343--z
-
Production, 2289(0)1--z, 2296(0)322--z, 2298(0)158--z, 2322(0)308--z
-
Profile, 2279(0)233--z, 2281(0)438--z, 2291(0)124--z, 2324(0)159--z
-
Profile, Value-, 2304(0)307--z
-
Profiling, 2304(0)78--z
-
Profit, 2287(0)70--z
-
Program, 2268(0)89--z, 2269(0)31--z, 2269(0)151--z, 2269(0)163--z,
2269(0)176--z, 2269(0)295--z, 2278(0)162--z, 2278(0)258--z,
2280(0)173--z, 2280(0)236--z, 2285(0)431--z, 2297(0)149--z,
2297(0)203--z, 2303(0)37--z, 2304(0)159--z, 2304(0)213--z,
2305(0)262--z, 2306(0)96--z, 2308(0)54--z, 2312(0)72--z,
2317(0)221--z, 2318(0)242--z, 2323(0)30--z, 2324(0)259--z,
2327(0)6--z, 2327(0)219--z, 2327(0)291--z, 2327(0)551--z,
2328(0)145--z, 2328(0)256--z, 2328(0)272--z, 2329(0)3--z,
2329(0)206--z
-
Programmable, 2268(0)18--z, 2327(0)160--z
-
Programmers, 2312(0)55--z
-
Programming, 2238(0)282--z, 2278(0)1--z, 2278(0)26--z, 2278(0)37--z,
2278(0)50--z, 2278(0)71--z, 2278(0)142--z, 2278(0)172--z,
2278(0)182--z, 2278(0)212--z, 2278(0)228--z, 2278(0)238--z,
2278(0)248--z, 2278(0)258--z, 2278(0)298--z, 2278(0)308--z,
2278(0)326--z, 2279(0)190--z, 2279(0)210--z, 2279(0)245--z,
2281(0)140--z, 2281(0)178--z, 2283(0)9--z, 2283(0)27--z,
2296(0)313--z, 2302(0)9--z, 2304(0)1--z, 2305(0)53--z, 2305(0)68--z,
2309(0)147--z, 2310(0)245--z, 2310(0)255--z, 2310(0)267--z,
2311(0)166--z, 2311(0)315--z, 2311(0)350--z, 2312(0)168--z,
2313(0)194--z, 2313(0)224--z, 2313(0)252--z, 2315(0)111--z,
2315(0)149--z, 2315(0)166--z, 2317(0)106--z, 2319(0)269--z,
2319(0)331--z, 2319(0)351--z--1, 2323(0)98--z, 2323(0)131--z,
2323(0)135--z, 2326(0)26--z, 2326(0)36--z, 2326(0)241--z,
2327(0)11--z, 2327(0)401--z, 2327(0)437--z, 2328(0)170--z,
2328(0)288--z, 2328(0)323--z, 2328(0)811--z, 2329(0)429--z,
2329(0)890--z, 2329(0)1058--z
-
Progress, 2265(0)501--z
-
Progressive, 2287(0)664--z
-
Prohibition, 2278(0)131--z
-
Project, 2308(0)288--z, 2313(0)166--z, 2316(0)172--z, 2319(0)227--z
-
Projection, 2301(0)136--z, 2301(0)209--z, 2301(0)392--z, 2328(0)841--z
-
Projective, 2288(0)428--z
-
ProjectLeader, 2290(0)207--z
-
Prolog, 2308(0)72--z
-
Promela, 2318(0)79--z
-
PROMELAash, 2318(0)205--z
-
Promotion, 2304(0)247--z
-
Pronominal, 2313(0)146--z
-
Proof, 2277(0)96--z, 2277(0)160--z, 2277(0)217--z, 2285(0)419--z,
2294(0)16--z, 2295(0)100--z, 2303(0)357--z, 2305(0)213--z,
2309(0)193--z, 2311(0)128--z
-
Proot, M. M. J., 2329(0)900--z
-
Proot, M. M. J., see Nool, M.
-
Propagation, 2305(0)194--z, 2311(0)263--z, 2326(0)92--z, 2327(0)231--z
-
property, 2278(0)298--z, 2279(0)31--z, 2280(0)205--z, 2280(0)342--z,
2281(0)268--z, 2285(0)396--z, 2293(0)51--z, 2293(0)65--z,
2293(0)155--z, 2294(0)1--z, 2294(0)154--z, 2301(0)165--z,
2303(0)372--z, 2309(0)239--z, 2315(0)72--z, 2318(0)187--z,
2328(0)770--z
-
Property-Specification, 2280(0)296--z
-
ProPolyne, 2287(0)664--z
-
Propositional, 2309(0)162--z
-
Propositions, 2277(0)160--z
-
Prostate, 2313(0)450--z
-
Protect, 2316(0)34--z, 2316(0)181--z
-
Protecting, 2288(0)382--z, 2316(0)213--z, 2320(0)106--z, 2320(0)160--z
-
Protection, 2288(0)186--z, 2316(0)83--z, 2316(0)97--z, 2316(0)117--z,
2316(0)135--z, 2316(0)153--z, 2320(0)192--z
-
Protein, 2285(0)274--z
-
Protocol, 2222(0)68--z, 2222(0)136--z, 2269(0)241--z, 2283(0)195--z,
2286(0)415--z, 2288(0)258--z, 2288(0)268--z, 2288(0)355--z,
2294(0)46--z, 2294(0)317--z, 2296(0)29--z, 2296(0)131--z,
2296(0)242--z, 2299(0)256--z, 2315(0)174--z, 2315(0)389--z,
2318(0)148--z, 2318(0)187--z, 2322(0)169--z, 2326(0)179--z,
2327(0)64--z, 2327(0)346--z
-
Prototype, 2277(0)160--z, 2305(0)228--z
-
prototyping, 2279(0)1--z, 2299(0)195--z, 2306(0)308--z
-
Provably, 2288(0)81--z, 2288(0)318--z
-
Prove, 2294(0)126--z
-
Providers, 2266(0)322--z
-
Providing, 2266(0)160--z
-
Proving, 2303(0)37--z, 2303(0)172--z, 2309(0)33--z, 2312(0)55--z,
2312(0)72--z, 2312(0)88--z, 2317(0)46--z
-
Provision, 2315(0)207--z
-
Provisioning, 2311(0)14--z
-
Proxy, 2287(0)88--z
-
Pruning, 2281(0)296--z
-
PSEs, 2329(0)523--z
-
pseudosnakes, 2286(0)224--z
-
{PSPACE}-Hard, 2285(0)535--z
-
Psychopathology, 2329(0)236--z
-
Public, 2238(0)25--z, 2288(0)72--z
-
Public-Key, 2288(0)1--z, 2288(0)51--z, 2288(0)81--z
-
Publishable, 2266(0)94--z
-
Publishash, 2299(0)224--z
-
Pucci, G., 2329(0)733--z
-
Pucci, G., see Bianco, M.
-
Puch, Roberto O., 2313(0)420--z
-
Puch:2002:FTP, 2313(0)420--z
-
Puchta, Markus, 2279(0)132--z
-
Puchta:2002:SCS, 2279(0)132--z
-
Puente, S. T., 2328(0)65--z
-
Puente, S. T., see Fernández, C.
-
Puertas, Jerónimo, 2279(0)190--z, see Dorado, Julian
-
Pugliese, Andrea, 2266(0)252--z
-
Pugliese, Andrea, see Cannataro, Mario
-
Pulsatile, 2329(0)361--z
-
Pulvermueller, Elke, 2323(0)86--z
-
Pulvermueller:2002:FIC, 2323(0)86--z
-
Puppe, Frank, 2296(0)217--z
-
Puppe, Frank, see Oechslein, Christoph
-
Puppo, Enrico, 2301(0)69--z
-
Puppo, Enrico, see Floriani, Leila De
-
Purchase, 2281(0)565--z
-
Pure, 2285(0)287--z, 2286(0)263--z, 2286(0)371--z
-
Purhonen, Anu, 2290(0)238--z
-
Purhonen:2002:QAT, 2290(0)238--z
-
Purpose, 2310(0)231--z
-
pursuit, 2281(0)504--z
-
Pushdown, 2295(0)262--z, 2303(0)205--z
-
Putot, Sylvie, 2305(0)209--z
-
Putot, Sylvie, see Goubault, Eric
-
puzzle, 2278(0)238--z
-
PVS, 2280(0)205--z
-
PWA, 2289(0)194--z
-
Pyramid, 2301(0)1--z, 2301(0)92--z
-
Pyrolysis, 2329(0)723--z