Index file section P for lncs1995a.bib

Last update: Mon Mar 13 02:22:13 MDT 2017

Return to index directory

P

P, 893(0)82--z, 953(0)220--z
{P}-Algebra, 907(0)25--z
{P}-Levelability, 944(0)384--z
P0N0P, 900(0)619--z
PAC, 904(0)357--z
Paccanaro, A., 914(0)444--z
Paccanaro:1995:GTR, 914(0)444--z
Pachet, F., 934(0)423--z
Pachet, F., see Dojat, M.
package, 919(0)136--z, 919(0)229--z, 919(0)787--z
Packet, 900(0)291--z
packing, 920(0)388--z
Packlib, 930(0)673--z
Padet, C., 945(0)70--z
Padet:1995:NMO, 945(0)70--z
Padovani, V., 902(0)335--z
Padovani:1995:ECI, 902(0)335--z
Page, 911(0)272--z
Paging, 911(0)272--z
PaiLisp, 907(0)94--z
Pain, 934(0)276--z
Paintbrush, 905(0)77--z
pair, 903(0)282--z, 928(0)358--z, 944(0)292--z
Pairs, Sum-of-, 937(0)128--z
Pairwise, 937(0)215--z
Paky, F., 934(0)197--z
Paky, F., see Miksch, S.
Palagi, P. M., 930(0)956--z
Palagi:1995:ATS, 930(0)956--z
Palamidessi, C., 936(0)531--z
Palamidessi, C., see Falaschi, M.
Palanque, P., 935(0)66--z
Palanque, P., see Bastide, R.
Paliouras, G., 912(0)218--z
Paliouras:1995:ENF, 912(0)218--z
Palmer, J. D., 945(0)495--z
Palmer, J. D., see Park, S.
Palsberg, J., 915(0)561--z
Palsberg:1995:CFB, 915(0)561--z
PAM-CRASH, 919(0)856--z
Panario, D., 911(0)311--z
Panario, D., see Gao, S.
Pancreatic, 930(0)85--89
Pandore, 919(0)176--z
Pantziou, G. E., 900(0)193--z
Pantziou, G. E., see Djidjev, H. N.
Paoli, G., 934(0)443--z
Paoli, G., see Anselmi, R.
Paolucci, P. S., 919(0)741--z
Paolucci, P. S., see Ronchi, C.
Papakonstantinou, G., 919(0)196--z
Papakonstantinou, G., see Stamatelopoulos, F.
Papakostas, A., 894(0)40--z, 894(0)298--z
Papakostas:1995:IAB, 894(0)40--z
Papakostas:1995:UPT, 894(0)298--z
Papathanassiadis, T., 919(0)335--z
Papathanassiadis, T., see Pimentel, A. D.
Papathomas, M., 924(0)162--z
Papathomas:1995:MAO, 924(0)162--z
paper, 895(0)437--z, 916(0)65--z
Paperfolding, 900(0)303--z
PAPERS, 892(0)31--z
Papini, O., 946(0)328--z
Papini:1995:REP, 946(0)328--z
Papoulis, D., 936(0)586--z
Papoulis, D., see Lakshmanan, L. V. S.
Paprzycki, M., 895(0)187--z
Paprzycki:1995:PDC, 895(0)187--z
paradigm, 904(0)53--z, 919(0)735--z, 930(0)283--z
paradox, 902(0)266--z
Paragon, 919(0)94--z, 919(0)618--z
Parallel, Axis-, 912(0)347--z
parallel, axis-, 904(0)313--z
Parallel, Data-, 892(0)76--z, 892(0)155--z, 892(0)472--z, 907(0)433--z
parallel, data-, 919(0)176--z
Parallel, Series-, 920(0)329--z
parallel-DM, 950(0)410--418
Parallel-Sequential, 930(0)789--z
parallelisation, 919(0)21--z, 919(0)136--z, 919(0)156--z, 919(0)455--z, 919(0)831--z
parallelism, 892(0)16--z, 892(0)125--z, 892(0)217--z, 892(0)440--z, 907(0)413--z, 919(0)762--z, 919(0)787--z, 942-0-ix
Parallelity, Series-, 903(0)269--z
parallelization, 892(0)92--z, 893(0)294--z, 919(0)164--z, 919(0)263--z, 919(0)514--z, 919(0)554--z, 919(0)844--z, 947(0)1--z, 947(0)97--z
Parallelizing, 892(0)141--z, 892(0)440--z, 919(0)793--z
Parameterized, 906(0)389--z, 935(0)392--z, 948(0)285--z
Parameters, 898(0)203--z, 903(0)331--z, 930(0)195--z, 930(0)382--z, 930(0)650--z
parametric, 902(0)32--z, 911(0)257--z, 936(0)261--z, 940(0)24--z, 946(0)89--z
Parc, A., Le, 932(0)96--z
PARCS, 919(0)428--z
Pardo, J. A., 945(0)241--z
Pardo, L., 945(0)233--z
Pardo, L., see Morales, D.
Pardo, L. M., 948(0)33--z, 948(0)205--z
Pardo, L. M., see Giusti, M.
Pardo, M. C., 945(0)241--z
Pardo, M. C., see Pardo, J. A.
Pardo:1995:HLU, 948(0)33--z
Pardo:1995:IET, 945(0)241--z
Paredaens, J., 893(0)14--z, 951(0)1--z
Paredaens, J., see Kuijpers, B.
Paredaens:1995:SDF, 893(0)14--z
PaReDuX, 914(0)408--z
Parent, C., 947(0)351--z
Parent, Multi-, 929(0)934--z
Parent:1995:SPP, 947(0)351--z
Parente, D., 911(0)346--z, 944(0)232--z
Parente, D., see Auletta, V., \see{Gruska, J.
Pareschi, R., 924(0)1--z
Pareschi, R., see Andreoli, J.- M.
Parikh, R., 936(0)127--z
Parikh:1995:KBC, 936(0)127--z
Parisi, D., 929(0)353--z, 929(0)439--z, 929(0)862--z
Parisi, D., see Calabretta, R., \see{Nolfi, S.
Parisi-Presicce, F., 903(0)51--z, 906(0)406--z
Parisi-Presicce:1995:DBO, 906(0)406--z
Parisi-Presicce:1995:MGG, 903(0)51--z
Parisi:1995:LAM, 929(0)439--z
PARIX, 919(0)781--z
Park, C. H., 930(0)926--z
Park, C. H., see Cho, J.-W.
Park, I. A., 934(0)251--z
Park, I. A., see Nguyen, D. T.
Park, K., 937(0)318--z
Park, S., 945(0)495--z
Park:1995:FBR, 945(0)495--z
Park:1995:SMH, 937(0)318--z
Parmakson, P., 932(0)355--z
Parmakson:1995:ASQ, 932(0)355--z
ParMod-C, 919(0)514--z
Parra, A., 944(0)123--z
Parra:1995:HUM, 944(0)123--z
Parrish, A., 895(0)279--z
Parrish:1995:ETM, 895(0)279--z
Parsers, 925(0)1--z, 952(0)351--z
Parsing, 894(0)270--z, 937(0)386--z
Parsons, E. W., 949(0)127--z
Parsons, S., 945(0)180--189, 946(0)336--z
Parsons:1995:MSH, 949(0)127--z
Parsons:1995:QVQ, 945(0)180--189
Parsons:1995:UQU, 946(0)336--z
PART, 919(0)229--z
Part, 933(0)136--z
Partial, 893(0)139--z, 900(0)455--z, 906(0)188--z, 914(0)194--z, 927(0)205--z, 928(0)85--z, 928(0)287--z, 935(0)238--z, 936(0)561--z, 944(0)75--z, 945(0)611--z, 948(0)297--z, 948(0)393--z, 948(0)408--z, 948(0)436--z
Partial-Ordering, 911(0)494--z
Partially, 930(0)338--z, 945(0)380--z
Particularly, 933(0)106--z
partition, 903(0)319--z, 919(0)27--z, 951(0)170--z
partitioning, 892(0)170--z, 911(0)230--z, 911(0)449--z, 919(0)392--z, 920(0)172--z, 949(0)146--z, 949(0)165--z, 949(0)219--z
Partners, 929(0)490--z
parts, 947(0)257--z
Pascoli, S., Di, 930(0)666--z
{P}ash, 935(0)45--z
Pass, High-, 929(0)668--z
Passaggio, F., 919(0)269--z
Passaggio, F., see Anguita, D.
Passing, Agent-, 944(0)672--z
Passing, Message-, 949(0)146--z
passing, message-, 919(0)856--z
Past, 895(0)15--z, 897(0)21--z
Pasterkamp, G., 905(0)406--z
Pasterkamp, G., see Kluytmans, M.
Pastor, E., 935(0)374--z
Pastor, E., see Roig, O.
Pastor-Collado, J. A., 932(0)40--z
Pastor-Collado:1995:STD, 932(0)40--z
Patarin, J., 917(0)307--321
Patarin:1995:CID, 917(0)307--321
Patches, 905(0)460--z
Patching, 912(0)303--z
Patel, V., 934(0)139--z
Patel, V., see Ramoni, M.
path, 900(0)193--z, 902(0)312--z, 903(0)269--z, 903(0)387--z, 903(0)395--z, 905(0)399--z, 919(0)634--z, 920(0)185--z, 923(0)103--z, 939(0)367--z, 944(0)99--z, 944(0)244--z
Path-Consistency, 910(0)39--z
Path-width, 903(0)26--z
Pathology, 934(0)251--z
Pathophysiological, 934(0)115--z
Paths, Shortest-, 937(0)128--z
Pathway, 930(0)15--z
Patient, 934(0)29--z, 934(0)91--z, 934(0)173--z
Paton, J. F. R., 930(0)100--z
Paton, J. F. R., see Rybak, I. A.
Paton, R., 890(0)145--z
Paton, R., see Staniford, G.
Patron, M., 919(0)799--z
Patron:1995:ECT, 919(0)799--z
Pattee, H. H., 929(0)23--z
Pattee:1995:ALN, 929(0)23--z
pattern, 892(0)406--z, 900(0)181--z, 904(0)252--z, 904(0)367--z, 904(0)392--z, 911(0)220--z, 913(0)189--z, 919(0)508--z, 930(0)15--z, 930(0)100--z, 930(0)151--z, 930(0)441--z, 930(0)551--z, 930(0)838--z, 930(0)906--z, 930(0)926--z, 934(0)405--z, 937(0)64--z, 937(0)90--z, 937(0)248--z, 937(0)261--z, 937(0)286--z, 945(0)463--z, 945(0)567--z, 948(0)70--z, 952(0)399--z
Pattern-Matching, 937(0)205--z
Pattern-Selective, Periodic-, 930(0)90--z
Patterson, J. C., 949(0)239--z
Patterson, J. C., see Kipersztok, O.
Paul, R. J., 919(0)254--z
Paul, R. J., see Fatin, F.
Paun, G., 944(0)429--z
Paun:1995:GSG, 944(0)429--z
Pavani, R., 919(0)717--z
Pavani:1995:DDC, 919(0)717--z
Pavlovic, D., 953(0)3--z
Pavlovic:1995:CCP, 953(0)3--z
payment, 921(0)121--z
Payoff, 912(0)319--z
Pazat, J.-L., 919(0)176--z
Pazat, J.-L., see Andre, F.
PCF, 919(0)257--z
PDE, 919(0)703--z
Peak, 929(0)148--z
Pearce, D., 928(0)372--z
Pearce:1995:NAS, 928(0)372--z
Pebody, M., 929(0)679--z
Pebody:1995:LAE, 929(0)679--z
Pedagogic, 918(0)324--z
Pedersen, Torben Pryds, 921(0)39--z, 950(0)140--155, 950(0)171--181
Pedersen, Torben Pryds, see Chen, Lidong
Peladan-Germa, A., 948(0)393--z
Peladan-Germa:1995:TIS, 948(0)393--z
Pelagatti, S., 919(0)7--z
Pelagatti, S., see Bacci, B.
Pelayo, F. J., 930(0)728--z, 930(0)736--z
Pelayo, F. J., see Anguita, M.
Pelayo:1995:VAI, 930(0)728--z
Peliti, L., 899(0)27--z
Peliti, L., see Duchateau-Nguyen, G.
Pellenkoft, A., 893(0)280--z
Pellenkoft, A., see Galindo-Legaria, C. A.
Pellot, C., 905(0)392--z
Pellot, C., see Bloch, I.
Peltier, N., 918(0)154--z
Peltier, N., see Caferra, R.
Pentium, 915(0)97--107
people, 919(0)582--z
Peptide, 937(0)366--z
PER, 902(0)32--z
Perception, 898(0)219--z, 930(0)462--z, 930(0)845--z
perceptrons, 921(0)319--z, 930(0)906--z, 931(0)67--z
Pereira, A. E. C., 945(0)409--z
Pereira, A. E. C., see Da Silva, R. M.
Pereira, L. M., 927(0)3--z, 928(0)29--z
Pereira, L. M., see Alferes, J. J., see Damasio, C. V.
Perez Castelo, F. J., 930(0)448--z
Perez Castelo, F. J., see Ferreiro Garcia, R.
Perez Maroto, J., 930(0)934--z
Perez, A., 919(0)844--z
Perez, A., see Ast, M.
Perez, G., 913(0)70--z
Perez-Castellanos, M., 930(0)252--z
Perez-Castellanos, M., see Gimenez, V.
Perez:1995:CSP, 913(0)70--z
PerezMaroto:1995:AAS, 930(0)934--z
perfect, 919(0)472--z, 921(0)367--z, 921(0)367--z--1, 950(0)23--34, 950(0)23--z
performance, 892(0)361--z, 907(0)284--z, 911(0)509--z, 912(0)279--z, 919(0)60--z, 919(0)110--z, 919(0)124--z, 919(0)130--z, 919(0)293--z, 919(0)366--z, 919(0)413--419, 919(0)472--z, 919(0)496--z, 919(0)542--z, 919(0)548--z, 919(0)612--z, 919(0)618--z, 919(0)634--z, 919(0)646--z, 919(0)652--z, 919(0)837--z, 921(0)79--z, 929(0)579--z, 929(0)733--z, 935(0)316--z, 938(0)33--z, 951(0)196--z
Performance, High-, 919(0)520--z
performance, High-, 919(0)142--z
Performance-Oriented, 915(0)772--z
Peria, O., 905(0)23--z
Peria:1995:UPS, 905(0)23--z
Peridy, L., 923(0)85--z
Peridy, L., see Boizumault, P.
period, 911(0)311--z, 921(0)263--z
Periodic-Pattern-Selective, 930(0)90--z
Peripheral, 934(0)221--z
PERMAS, 919(0)844--z
permutation, 900(0)255--z, 903(0)282--z
Peron, A., 900(0)131--z, 915(0)454--z
Peron, A., see Monti, A.
Peron:1995:STS, 915(0)454--z
Perrone, A. L., 888(0)9--z
Perrone:1995:FSA, 888(0)9--z
Perry, D. E., 913(0)119--z
Perry, D. E., see Carr, D. C.
Persiano, G., 917(0)182--z, 944(0)171--z, 944(0)232--z
Persiano, G., see Auletta, V., \see{Blundo, C., see De Santis, A.
Persistent, 913(0)200--z, 930(0)137--z
Person, 919(0)420--z
Personal, 895(0)131--z, 895(0)447--z
Personalised, 934(0)29--z
Perspective, 896(0)225--z, 913(0)193--z, 930(0)121--z, 940(0)12--z, 945(0)463--z
Pescarmona, M. P., 935(0)141--z
Pescarmona, M. P., see Bruno, G.
Pesch, E. J., 931(0)157--z
Pesch, E. J., see Crama, Y.
Petermann, U., 918(0)185--z
Petermann, U., see Neugebauer, G.
Peters, H. J. M., 931(0)67--z
Peters:1995:P, 931(0)67--z
Petersen, H., 917(0)224--z, 944(0)315--z
Petersen, H., see Horster, P.
Petersen, K. D., 915(0)795--z
Petersen, K. D., see Andersen, F.
Petersen:1995:ASD, 944(0)315--z
Petit, A., 900(0)479--z
Petit, A., see Fabret, A.-C.
Petitjean, S., 900(0)571--z
Petitjean:1995:NVP, 900(0)571--z
Petkov, N., 919(0)420--z, 930(0)90--z
Petkov, N., see Kruizinga, P.
Petri, 915(0)334--z, 915(0)349--z, 919(0)709--z, 935(0)23--z, 935(0)66--z, 935(0)103--z, 935(0)121--z, 935(0)161--z, 935(0)201--z, 935(0)218--z, 935(0)278--z, 935(0)316--z, 935(0)335--z, 935(0)374--z, 935(0)392--z, 935(0)432--z, 935(0)451--z, 935(0)471--z, 935(0)490--z, 936(0)322--z, 939(0)423--z
Petrie, M. M., Larrondo-, 895(0)207--z
petroleum, 919(0)287--z
Petrucci, L., 935(0)201--z
Petrucci, L., see Christensen, S.
Pettersson, M., 932(0)231--z
Pettersson:1995:DUI, 932(0)231--z
Peuchot, B., 905(0)549--z
Peuchot:1995:VRO, 905(0)549--z
Pfahringer, B., 912(0)331--z
Pfahringer:1995:NMM, 912(0)331--z
Pfeifer, R., 929(0)657--z
Pfeifer, R., see Scheier, C.
Pferschy, U., 920(0)145--z
Pferschy:1995:RLB, 920(0)145--z
Pfitzmann, Birgit, 921(0)121--z, 950(0)332--340
Pfitzmann:1995:BEA, 950(0)332--340
Pfitzmann:1995:HBA, 921(0)121--z
Pflesser, B., 905(0)487--z
Pflesser:1995:TRV, 905(0)487--z
Pharmacokinetic, 934(0)419--z
Phase, Two-, 893(0)139--z
Phase-Commitment, Two-, 893(0)162--z
phenomena, 919(0)306--z, 930(0)589--z
Phenotype, Genotype-, 899(0)205--z
Philipps, J., 891(0)185--z
Philipps, J., see Fuchs, M.
Phillips, C. A., 937(0)102--z
Phillips, C. A., see Goldberg, L. A.
Philosophical, 945(0)3--z
Phoneme, Grapheme-, 931(0)11--z
Photocoagulation, 905(0)105--z
Phylogenetic, 937(0)102--z
Physical, 930(0)584--z
physics, 919(0)164--z
Pi-Calculus, 936(0)277--z
PIAF, 919(0)672--z
Piano, 912(0)279--z
Piault, E., 919(0)287--z
Piault, E., see Willien, F.
Piccardi, M., 919(0)124--z
Piccardi:1995:PPE, 919(0)124--z
Pickering, J. M., 896(0)241--z
Pickering:1995:SEC, 896(0)241--z
Pico, F., Ibarra, 930(0)948--z
Pico, F., Ibarra-, 930(0)942--z
Picture, Key-, 945(0)577--z
Piecewise-Smooth, 900(0)571--z
Pieprzyk, J., 917(0)322--z
Pieprzyk, J., see Charnes, C.
Pieprzyk, Józef P., 950(0)433--438, see Charnes, C.
Piera Carrete, N., 930(0)478--z
Piera Carrete, N., see Morcego Seix, B.
Pierantonio, A., 906(0)406--z
Pierantonio, A., see Parisi-Presicce, F.
Pierce, B. C., 907(0)187--z
Pierce:1995:COP, 907(0)187--z
Pierre, L., 901(0)72--z
Pierre:1995:AGM, 901(0)72--z
Piersanti, G., 903(0)51--z
Piersanti, G., see Parisi-Presicce, F.
Piessens, F., 933(0)397--z
Piessens:1995:CFD, 933(0)397--z
Pietracaprina, A., 944(0)372--z
Pietracaprina:1995:IDP, 944(0)372--z
Pileri, S., 926(0)94--z
Pileri, S., see Lofrumento, G.
piling-up, 921(0)24--z
Pimentel, A. D., 919(0)335--z
Pimentel:1995:MME, 919(0)335--z
Pin, J.-E., 944(0)348--z
Pin:1995:PCU, 944(0)348--z
Pina, D., 926(0)192--z
Pina, D., see Spinelli, A.
Pinciroli, F., 934(0)397--z
Pinciroli, F., see Combi, C.
Pingali, K., 892(0)46--z
Pingali, K., see Bau, D.
Pinkney, D., 940(0)120--z
Pinkney, D., see Sieg, J. C.
Pipe, A. G., 929(0)273--z, 929(0)463--z
Pipe, A. G., see Bull, L.
Pipe, J., 905(0)513--z
Pipe, J., see Meyer, C. R.
Pipe:1995:LSC, 929(0)463--z
Pipelined, 901(0)33--z, 952(0)253--z
Pipelines, 901(0)13--z
Piperno, A., 894(0)307--z, 902(0)139--z
Piperno, A., see Crescenzi, P., see Di Cosmo, R.
Pipes, 930(0)875--z
Piris, J., 914(0)26--z
Piris, J., see Lysne, O.
Pisanski, T., 894(0)282--z
Pisanski, T., see Fowler, P. W.
Pischel, M., 890(0)261--z
Pischel, M., see Mueller, J. P.
Pisinger, D., 920(0)95--z
Pisinger:1995:MAB, 920(0)95--z
Pitt, J., 918(0)324--z
Pitt:1995:MYA, 918(0)324--z
Pittet, D., 934(0)165--z
Pittet, D., see Safran, E.
Pitts, A. M., 902(0)397--z
Pitts, A. M., see Ritter, E.
Piveteau, Jean-Marc, 921(0)209--z, 950(0)428--432
Piveteau, Jean-Marc, see Camenisch, Jan L., see Stadler, Markus A.
Pixel-based, 945(0)557--z
Pizzi, R., 934(0)435--z
Pizzi, R., see Fiocchi, F.
PL(2,32), 948(0)131--z
PLACA, 890(0)355--z
placement, 919(0)514--z
Placing, 944(0)232--z
plaintext, 950(0)254--265
Planar, 894(0)52--z, 894(0)96--z, 894(0)119--z, 894(0)254--z, 894(0)404--z, 903(0)219--z, 903(0)232--z, 911(0)257--z, 951(0)29--z
Planarity, 894(0)286--z, 894(0)298--z, 903(0)242--z
Plandowski, W., 900(0)181--z, 937(0)78--z, 944(0)444--z
Plandowski, W., see Crochemore, M., see Gasieniec, L., \see{Harju, T.
plane, 894(0)76--z, 894(0)104--z, 894(0)318--z, 944(0)499--z
Planes, gamma-, 948(0)297--z
Planning, 905(0)40--z, 905(0)131--z, 905(0)287--z, 912(0)55--z, 923(0)85--z, 934(0)197--z, 934(0)443--z
Plans, 913(0)30--z, 940(0)120--z
Plant, 935(0)84--z
Plasmeijer, R. M. J., 925(0)183--z
Plasmeijer, R. M. J., see Van Eekelen, M. C. J. D.
Plasticity, 930(0)108--z
Platfoot, R. B., 935(0)335--z
Platfoot, R. B., see Molla-Hosseini, M.
platform, 894(0)182--z, 896(0)28--z, 919(0)196--z, 919(0)640--z, 919(0)863--z, 952(0)399--z
PLATO, 915(0)797--z
Plihon, V., 932(0)126--z
Plihon:1995:MWW, 932(0)126--z
Plotkin, 911(0)195--z
PM, 913(0)60--z, 913(0)93--z
PMC, 915(0)620--z
PN-sequences, 917(0)80--z
Pnueli, A., 900(0)229--z
Pnueli, A., see Maler, O.
Pobil, A. P., Del, 930(0)345--z
Pocket, 904(0)287--z
Podelski, A., 923(0)11--z
Podelski:1995:DAT, 923(0)11--z
Podgorny, M., 919(0)360--z
Podgorny, M., see Fox, G. C.
Poeck, K., 934(0)427--z
Poeck, K., see Puppe, F.
Poedts, S., 919(0)170--z
Poedts, S., see Meijer, P. M.
Poelman, A. B., 892(0)155--z
Poelman, A. B., see Trescher, J. A.
Poggi, A., 890(0)341--z
Poggi:1995:DOO, 890(0)341--z
Pogoda, M., 919(0)329--z
Pogoda, M., see Bubak, M.
Poh, H. L., 930(0)239--z
Poh, H. L., see Jasic, T.
point, 900(0)562--z, 914(0)352--z, 921(0)79--z, 926(0)148--z, 934(0)165--z, 953(0)159--z
Point, Fixed-, 939(0)142--z
Point-Halfspace, 894(0)234--z
Pointcheval, David, 921(0)319--z
Pointcheval:1995:NIS, 921(0)319--z
Pointers, 892(0)234--z
Poisson, Schrödinger-, 919(0)697--z
Poitrenand, D., 935(0)121--z
Poitrenand, D., see Brgan, R.
Pol, J., Van de, 902(0)350--z
Polak, I., 947(0)304--z
Polak, I., see Groenboom, R.
Polaris, 892(0)141--z
Policies, 949(0)165--z
Policriti, A., 900(0)217--z
Policriti, A., see D'Agostino, G.
Polikarpova, N., 934(0)429--z
Polikarpova:1995:AAQ, 934(0)429--z
Poljak, S., 920(0)124--z
Poljak, S., see Helmberg, C.
Pollack, R., 902(0)365--z
Pollack:1995:VT, 902(0)365--z
Poltrock, S., 896(0)93--z
Poltrock, S., see Grudin, J.
Poly-Log, 944(0)159--z
Poly-space, 933(0)486--z
Polychronopoulos, C. D., 892(0)455--z
Polychronopoulos, C. D., see Moreira, J. E.
Polyflow, 919(0)826--z
polygon, 911(0)1--z
Polygonal, 951(0)196--z
Polyhedra, 920(0)426--z
Polyhedral, 894(0)119--z, 920(0)124--z, 920(0)198--z
(Poly)modal, 900(0)217--z
Polymorphic, 952(0)27--51
polymorphism, 902(0)32--z, 902(0)139--z, 925(0)97--z, 940(0)24--z
polynomial, 911(0)332--z, 914(0)194--z, 914(0)426--z, 915(0)288--z, 915(0)364--z, 920(0)40--z, 944(0)348--z, 944(0)384--z, 948(0)70--z, 948(0)82--z, 948(0)106--z, 948(0)205--z, 948(0)285--z, 948(0)365--z, 948(0)469--z
Polynomial-Size, 900(0)26--z, 939(0)239--z
Polynomial-Time, 893(0)38--z, 937(0)162--z
PolyTOIL, 952(0)27--51
polytope, 920(0)50--z, 920(0)65--z, 920(0)198--z
Polytrees, 945(0)149--z
Pomsets, 893(0)191--z
Ponce, J., 905(0)385--z
Ponce, J., see Sullivan, S.
Ponomarenko, I., 903(0)395--z
Ponomarenko, I., see Babel, L.
Pont, M. T., Signes, 930(0)174--z
Pophal, M., 919(0)293--z
Pophal, M., see Hortmann, M.
Popow, C., 934(0)197--z
Popow, C., see Miksch, S.
Population, 899(0)7--z, 899(0)18--z, 929(0)148--z
Population-Based, 905(0)506--z
Porcher, T., 919(0)799--z
Porcher, T., see Patron, M.
portable, 919(0)176--z, 919(0)196--z, 919(0)378--z, 919(0)856--z, 949(0)279--z
Porting, 919(0)318--z, 919(0)488--z, 919(0)806--z, 919(0)869--z
Porto, Adina Di, 921(0)404--z
Porto, Adina Di, see Naccache, David
Poschmann, P., 919(0)850--z
Poschmann, P., see Mayer, S.
Posed, Ill-, 930(0)361--z
Posets, 953(0)117--z
Position, 905(0)23--z
Positional, 920(0)292--z
positioning, 894(0)436--z, 919(0)281--z
positive, 893(0)383--z, 904(0)252--z, 929(0)668--z
Possibilistic, 912(0)3--z, 945(0)263--z, 945(0)281--z, 945(0)311--z, 945(0)318--z, 946(0)60--z, 946(0)77--z
Possibility, 945(0)292--z, 946(0)52--z
Possible, 897(0)144--z, 900(0)640--z, 944(0)63--z
Post, 944(0)63--z
poster, 894(0)461--z
Posteriori, 946(0)9--z
Postma, E. O., 931(0)101--z, 931(0)145--z, 931(0)273--z
Postma, E. O., see Hudson, P. T. W.
Postma:1995:ART, 931(0)101--z
Postma:1995:ON, 931(0)145--z
Poston, T., 905(0)70--z
Poston, T., see Serra, L.
Postulates, 946(0)162--z
Potential, 905(0)465--z
Potentially, 950(0)419--424
Pothen, A., 949(0)200--z
Pothen, A., see Stoica, I.
Potthoff, A., 915(0)125--z
Potthoff:1995:FOL, 915(0)125--z
Poulovassilis, A., 940(0)24--z
Poulovassilis, A., see Courtenage, S.
power, 893(0)97--z, 893(0)208--z, 904(0)99--z, 906(0)453--z, 910(0)39--z, 912(0)174--z, 915(0)409--z, 917(0)182--z, 919(0)366--z, 921(0)341--z, 935(0)84--z, 944(0)417--z
Power, Low-, 930(0)736--z
Power, R., 951(0)348--z
Power, R., see Abel, D. J.
Powerdomain, 933(0)382--z, 953(0)117--z
Powerlists, 936(0)416--z
Powerstructures, 933(0)382--z
Pozzetti, E., 919(0)79--z
Pozzetti:1995:CRD, 919(0)79--z
Pozzi, G., 934(0)397--z
Pozzi, G., see Combi, C.
practical, 894(0)436--z, 895(0)443--z, 896(0)251--z, 921(0)393--z, 926(0)138--z, 930(0)404--z, 950(0)58--66
practice, 913(0)49--z, 915(0)3--z, 915(0)25--z, 937(0)128--z
Practising, 895(0)5--z
Practitioners, 932(0)375--z
Prade, H., 945(0)263--z, 946(0)36--z, 946(0)162--z
Prade, H., see Benferhat, S., \see{Dubois, D.
Pragmatics, 898(0)51--z, 940(0)79--z
PRAM, 944(0)372--z
Prates, C. T., 915(0)797--z
Prates, C. T., see Sampaio, A. J.
Pratt, V., 907(0)1--z, 915(0)97--107, 915(0)108--z
Pratt:1995:APB, 915(0)97--107
Pratt:1995:RMN, 915(0)108--z
Pratt:1995:TIS, 907(0)1--z
Pravato, A., 902(0)381--z
Pravato:1995:CSC, 902(0)381--z
Preattentive, 930(0)875--z
Prebiotic, 929(0)105--z
Precise, 915(0)651--z
precomputation, 950(0)389--399, 950(0)389--z
preconditioners, 919(0)287--z
Predicate, 888(0)227--z, 910(0)68--z, 912(0)92--z, 918(0)138--z, 918(0)231--z, 933(0)177--z, 945(0)409--z
Predict, 934(0)441--z
predicting, 904(0)69--z, 929(0)862--z
prediction, 904(0)84--z, 946(0)336--z
Preference, 945(0)418--z, 946(0)412--z
Prefix, 903(0)206--z
Prefix-Free, 944(0)256--z
Pregnancy, 934(0)441--z
Prehofer, C., 936(0)199--z
Prehofer:1995:HON, 936(0)199--z
preliminary, 914(0)444--z, 919(0)124--z, 919(0)164--z, 932(0)341--z, 934(0)439--z
Prem, E., 929(0)39--z, 930(0)619--z
Prem:1995:DSG, 930(0)619--z
Prem:1995:GES, 929(0)39--z
Preparata, F. P., 900(0)168--z
Preparata, F. P., see Fischer, P. F.
PREPARE, 919(0)526--z
preprocessing, 921(0)413--z, 923(0)121--z
presence, 892(0)234--z, 902(0)428--z, 929(0)463--z
Present, 895(0)15--z
Presentation, 894(0)428--z, 906(0)319--z, 909(0)135--z
Preserving, 933(0)512--z
Preserving, Correctness-, 924(0)29--z
Presicce, F., Parisi-, 903(0)51--z, 906(0)406--z
Pretty-printing, 925(0)53--z
prevent, 917(0)164--z
Priami, C., 944(0)660--z
Priami, C., see Degano, P.
Prida, L., Menendez de la, 930(0)7--z
Prieto, D., Fernandez, 919(0)67--z
Prieto, A., 930(0)736--z, 930(0)838--z, 930(0)898--z
Prieto, A., see Anguita, M., see Bernier, J. L., \see{Puntonet, C. G.
Priming, 930(0)559--z
Primitive, 944(0)63--z
principle, 895(0)51--z, 895(0)443--z, 929(0)843--z, 930(0)1--z, 943(0)8--z, 946(0)301--z
Principled, 901(0)52--z
Prinetto, P., 919(0)39--44
Prinetto, P., see Corno, F.
printing, Pretty-, 925(0)53--z
Prioritized, 946(0)142--z, 946(0)301--z
Priority, 903(0)282--z, 928(0)203--z
prisoner, 929(0)490--z
privacy, 950(0)266--274
Private, 944(0)171--z
probabilistic, 893(0)294--z, 900(0)583--z, 905(0)351--z, 908(0)99--z, 908(0)149--z, 911(0)207--z, 911(0)371--z, 912(0)3--z, 930(0)166--z, 934(0)151--z, 938(0)214--z, 945(0)13--z, 945(0)200--z, 946(0)151--z, 946(0)217--z, 946(0)320--z, 950(0)230--243
probability, 900(0)14--z, 904(0)1--z, 904(0)261--z, 930(0)498--z, 945(0)62--z, 945(0)171--z, 945(0)190--z, 945(0)200--z, 945(0)217--z, 946(0)89--z, 946(0)267--z, 946(0)352--z, 946(0)420--z
problem, 888(0)9--z, 888(0)137--z, 894(0)119--z, 894(0)444--z, 895(0)239--z, 897(0)144--z, 900(0)95--z, 900(0)107--z, 900(0)193--z, 900(0)349--z, 900(0)409--z, 903(0)93--z, 903(0)232--z, 903(0)319--z, 903(0)343--z, 903(0)371--z, 909(0)27--z, 909(0)39--z, 909(0)214--z, 911(0)112--z, 911(0)257--z, 911(0)300--z, 911(0)323--z, 911(0)386--z, 911(0)427--z, 911(0)461--z, 912(0)17--z, 912(0)323--z, 914(0)210--z, 914(0)450--z, 914(0)457--z, 915(0)155--z, 917(0)224--z, 919(0)1--z, 919(0)300--z, 919(0)351--z, 919(0)392--z, 919(0)717--z, 919(0)729--z, 919(0)837--z, 920(0)29--z, 920(0)65--z, 920(0)80--z, 920(0)95--z, 920(0)110--z, 920(0)145--z, 920(0)157--z, 920(0)172--z, 920(0)292--z, 920(0)403--z, 921(0)319--z, 923(0)139--z, 923(0)205--z, 923(0)267--z, 926(0)148--z, 929(0)530--z, 929(0)824--z, 930(0)239--z, 930(0)315--z, 930(0)361--z, 930(0)584--z, 930(0)619--z, 930(0)845--z, 932(0)54--z, 933(0)190--z, 933(0)217--z, 934(0)407--z, 937(0)298--z, 937(0)340--z, 937(0)395--z, 939(0)353--z, 944(0)63--z, 944(0)464--z, 944(0)487--z, 945(0)348--z, 948(0)21--z, 948(0)456--z, 950(0)182--193, 950(0)428--432
Procedure, 927(0)101--z, 930(0)898--z
procedures, 947(0)452--z
process, 890(0)324--z, 894(0)25--z, 895(0)117--z, 895(0)123--z, 895(0)131--z, 895(0)147--z, 895(0)261--z, 895(0)403--z, 895(0)409--z, 895(0)447--z, 896(0)4--z, 899(0)169--z, 900(0)349--z, 907(0)25--z, 907(0)187--z, 907(0)216--z, 907(0)229--z, 913(0)2--z, 913(0)49--z, 913(0)55--z, 913(0)65--z, 913(0)70--z, 913(0)79--z, 913(0)94--z, 913(0)98--z, 913(0)119--z, 913(0)138--z, 913(0)144--z, 913(0)154--z, 913(0)163--z, 913(0)185--z, 913(0)193--z, 913(0)205--z, 913(0)209--z, 913(0)214--z, 913(0)220--z, 913(0)241--z, 913(0)255--z, 915(0)202--z, 915(0)217--z, 915(0)620--z, 926(0)16--z, 926(0)31--z, 926(0)49--z, 926(0)148--z, 929(0)290--z, 929(0)862--z, 931(0)175--z, 932(0)1--z, 935(0)490--z, 936(0)169--183, 938(0)214--z, 939(0)16--z, 939(0)353--z, 944(0)660--z, 945(0)501--z, 945(0)605--z, 947(0)67--z, 947(0)197--z, 949(0)304--z, 953(0)3--z
process, Meta-, 913(0)240--z
Process-Based, 913(0)9--z
Process-Centered, 913(0)200--z
processing, 893(0)54--z, 898(0)85--z, 905(0)365--z, 919(0)67--z, 919(0)526--z, 919(0)570--581, 923(0)157--z, 930(0)260--z, 930(0)673--z, 930(0)882--z, 930(0)963--z, 930(0)987--z, 949(0)259--z
Processing, Spike-, 930(0)720--z
Processor, 915(0)590--z, 930(0)704--z, 949(0)165--z, 952(0)215--z, 952(0)253--z
Processor, Multiple-, 949(0)45--z
procrastination, 904(0)99--z
ProCSuS, 907(0)229--z
Procter, P., 898(0)77--z
Procter:1995:CLS, 898(0)77--z
Prodinger, H., 911(0)461--z
Prodinger:1995:SPY, 911(0)461--z
Producing, 930(0)166--z
product, 893(0)54--z, 903(0)140--z, 913(0)79--z, 926(0)179--z, 926(0)192--z, 944(0)348--z, 947(0)128--z, 948(0)383--z, 950(0)223--229, 950(0)223--z, 952(0)2--z
production, 919(0)347--z, 919(0)831--z, 946(0)18--z, 949(0)337--z
Productivity, 895(0)15--z
Profession, 895(0)47--z
Professionals, 895(0)403--z
Profoundly, 930(0)462--z
Prognostic, 934(0)435--z
program, 892(0)76--z, 892(0)300--z, 892(0)316--z, 892(0)331--z, 892(0)472--z, 893(0)208--z, 894(0)12--z, 895(0)305--z, 897(0)40--z, 897(0)69--z, 902(0)63--z, 903(0)359--z, 907(0)45--z, 907(0)253--z, 908(0)33--z, 908(0)59--z, 908(0)99--z, 912(0)122--z, 912(0)218--z, 912(0)232--z, 912(0)323--z, 914(0)163--z, 914(0)403--z, 914(0)420--z, 915(0)516--z, 915(0)666--z, 915(0)681--z, 919(0)235--z, 919(0)384--391, 919(0)612--z, 920(0)110--z, 920(0)124--z, 924(0)29--z, 925(0)183--z, 927(0)23--z, 927(0)43--z, 927(0)68--z, 927(0)156--z, 927(0)205--z, 928(0)29--z, 928(0)71--z, 928(0)99--z, 928(0)143--z, 928(0)217--z, 928(0)245--z, 928(0)302--z, 928(0)344--z, 928(0)358--z, 928(0)388--z, 936(0)66--z, 936(0)307--z, 936(0)353--z, 939(0)127--z, 939(0)239--z, 944(0)523--z, 945(0)428--z, 945(0)534--z, 947(0)1--z, 947(0)49--z, 947(0)180--z, 947(0)257--z, 947(0)335--z, 947(0)351--z, 948(0)347--z, 952(0)77--z
Programmable, 888(0)53--z, 935(0)218--z
Programmed, 903(0)164--z, 922(0)92--z
programming, 890(0)291--z, 890(0)355--z, 893(0)368--z, 895(0)295--z, 895(0)445--z, 897(0)21--z, 897(0)58--z, 904(0)1--z, 906(0)132--z, 907(0)137--z, 907(0)284--z, 907(0)300--z, 907(0)356--z, 907(0)457--z, 907(0)472--z, 910(0)1--z, 910(0)171--z, 911(0)469--z, 912(0)279--z, 912(0)283--z, 915(0)486--z, 915(0)797--z, 919(0)7--z, 919(0)254--z, 919(0)735--z, 920(0)80--z, 920(0)267--z, 925(0)24--z, 925(0)97--z, 925(0)137--z, 925(0)228--z, 925(0)267--z, 927(0)85--z, 928(0)1--z, 928(0)15--z, 928(0)43--z, 928(0)203--z, 928(0)231--z, 928(0)316--z, 928(0)330--z, 933(0)249--z, 933(0)324--z, 934(0)423--z, 936(0)531--z, 936(0)561--z, 936(0)585--z, 938(0)17--z, 944(0)256--z, 952(0)190--z, 952(0)303--z, 952(0)449--z, 953(0)200--z
Progress, 904(0)337--z, 915(0)3--z, 929(0)200--z
progression, 934(0)441--z
project, 895(0)295--z, 913(0)30--z, 919(0)54--59, 919(0)594--z, 919(0)754--z, 919(0)762--z, 926(0)49--z, 929(0)383--z, 934(0)343--z
Projection, 951(0)292--z
Proliferative, 934(0)413--z
Prolog, 928(0)302--z
promises, 919(0)813--z
Promising, 916(0)21--z
proof, 901(0)72--z, 901(0)165--z, 901(0)280--z, 902(0)109--z, 902(0)312--z, 902(0)350--z, 908(0)59--z, 912(0)303--z, 914(0)11--z, 914(0)56--z, 914(0)241--z, 914(0)426--z, 915(0)605--z, 917(0)182--z, 918(0)106--z, 918(0)122--z, 918(0)263--z, 918(0)324--z, 921(0)64--z, 921(0)413--z, 928(0)231--z, 933(0)121--z, 933(0)151--z, 936(0)400--z, 936(0)576--z, 938(0)164--z, 939(0)84--z, 947(0)197--z, 947(0)304--z, 947(0)351--z, 950(0)140--155, 953(0)59--z, 953(0)182--z
propagation, 915(0)651--z, 919(0)1--z, 919(0)248--z, 930(0)807--z, 931(0)37--z, 934(0)151--z, 945(0)87--z, 945(0)159--z
Propagation:, Back-, 930(0)427--z
Propagation, Epsilon-Back-, 930(0)427--z
property, 900(0)421--z, 901(0)292--z, 902(0)279--z, 902(0)297--z, 906(0)389--z, 915(0)605--z, 917(0)415--z, 920(0)212--z, 923(0)225--z, 928(0)99--z, 938(0)214--z, 939(0)42--z, 939(0)127--z, 939(0)437--z, 945(0)329--z, 948(0)297--z, 952(0)424--z
Proposed, 953(0)240--z
propositional, 900(0)205--z, 912(0)151--z, 918(0)95--z, 918(0)231--z, 918(0)310--z, 928(0)302--z, 930(0)180--z, 933(0)151--z, 933(0)442--z, 945(0)428--z, 946(0)328--z
Propositions, 939(0)325--z
Proskurowski, A., 903(0)93--z
Proskurowski, A., see Kratochvil, J.
prospects, 904(0)337--z, 915(0)3--z
Prosser, P., 923(0)185--z
Prosser:1995:FCB, 923(0)185--z
Protein, 929(0)862--z, 937(0)248--z, 946(0)336--z
protocol, 893(0)162--z, 900(0)291--z, 917(0)133--z, 917(0)171--z, 918(0)338--z, 921(0)158--z, 938(0)33--z, 938(0)111--z, 939(0)381--z, 950(0)299--305, 950(0)320--331, 952(0)168--z, 952(0)351--z, 952(0)374--z
Protocol-Directed, 934(0)3--z
Prototype, 912(0)364--z, 915(0)807--z, 930(0)441--z, 934(0)355--z
Prototypicality, 912(0)77--z
prototyping, 892(0)391--z, 896(0)76--z, 896(0)211--z, 914(0)438--z, 915(0)666--z
provably, 921(0)121--z
Prover, 914(0)432--z, 915(0)793--z, 918(0)338--z, 946(0)285--z, 946(0)301--z, 946(0)311--z
Proverash, 921(0)64--z
providing, 921(0)39--z, 932(0)255--z
Proving, 901(0)203--z, 906(0)1--z, 914(0)101--z, 914(0)271--z, 915(0)681--z, 915(0)797--z, 918(0)1--z, 936(0)152--z, 939(0)54--z, 948(0)183--z
Proving, Theorem-, 945(0)389--z
Proximity, 894(0)328--z, 894(0)340--z, 929(0)614--z
Pruning, 910(0)68--z, 912(0)190--z, 912(0)287--z, 912(0)291--z, 918(0)263--z, 930(0)239--z, 940(0)183--z
Pruyne, J., 949(0)259--z
Pruyne:1995:PPD, 949(0)259--z
Przymusinski, T. C., 927(0)43--z, 928(0)127--z, 928(0)156--z
Przymusinski, T. C., see Lifschitz, V.
Przymusinski:1995:SND, 927(0)43--z
Przymusinski:1995:UMI, 928(0)156--z
Pseudo-{Boolean}, 910(0)22--z
Pseudorandom, 900(0)50--z
PSL, 952(0)374--z
Psychiatry, 934(0)395--z
Psychological, 930(0)589--z, 932(0)341--z
PTIME, 933(0)242--z
PTIME, Sub-, 893(0)125--z
PTTP-Implementation, 918(0)201--z
Public, 944(0)147--z
public-key, 917(0)357--z, 917(0)365--z, 950(0)445--449
Publication, 916(0)33--z
Pucci, G., 944(0)372--z
Pucci, G., see Pietracaprina, A.
Puchol, C., 939(0)127--z
Puchol, C., see Jagadeesan, L. J.
Puder, A., 938(0)153--z
Puder, A., see Geihs, K.
Pudlak, P., 933(0)151--z
Pudlak:1995:HLB, 933(0)151--z
Pugh, W., 892(0)107--z
Pugh, W., see Kelly, W.
Puhr, G. I., 895(0)115--z
Puhr, G. I., see Manns, M. L.
Pulser, 901(0)126--z
pulses, 919(0)312--z
Puntonet, C. G., 930(0)898--z
Puntonet:1995:GBP, 930(0)898--z
Punzi, S., 919(0)257--z
Punzi, S., see Carboni, P.
Puppe, B., 934(0)282--z
Puppe, F., 934(0)427--z
Puppe:1995:GCK, 934(0)427--z
Puppe:1995:RBM, 934(0)282--z
Puppo, E., 951(0)152--z
Puppo:1995:TFM, 951(0)152--z
Purchaser, 926(0)148--z
pure, 902(0)16--z, 920(0)110--z, 933(0)369--z
Puri, A., 900(0)143--z, 939(0)253--z
Puri, A., see Krishnan, S. C.
purpose, 919(0)21--z
Purposes, 898(0)231--z
pursuit, 944(0)499--z
Push-Relabel, 920(0)157--z
PushDown, 944(0)523--z
Pushdown, 911(0)358--z
Puzenat, D., 930(0)559--z
Puzenat:1995:PAN, 930(0)559--z
Puzzling, 912(0)263--z
PVM, 919(0)39--44, 919(0)384--391, 919(0)461--471, 919(0)562--569, 919(0)570--581, 919(0)588--593
PVMe, 919(0)461--471
PVS, 901(0)258--z, 936(0)431--z