Index file section P for lncs1996a.bib

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

Return to index directory

P

Pablo-Based, 1041(0)69--z
PAC, 1046(0)231--z
PAC-learning, 1079(0)531--z
Pach, J., 1027(0)1--z
Pach, J., see Agarwal, P. K.
Pacherie, Jean-Lin, 1098(0)275--z
Pacherie, Jean-Lin, see Jézéquel, Jean-Marc
Pachet, F., 1086(0)363--z
Pachet, F., see Giroux, S.
Pachowicz, P., 1079(0)633--z
Pachowicz, P., see Bala, J.
Package, 1067(0)493--z, 1067(0)547--z, 1088(0)223--z
Packet, 1044(0)39--z, 1044(0)289--z, 1097(0)234--z
packing, 1073(0)536--z, 1084(0)430--z, 1097(0)321--z
PadFEM, 1067(0)580--z
Padget, J., 1068(0)336--z
Padget:1996:FVM, 1068(0)336--z
Padmanabhan, R., 1095-0-ix
Padmanabhan, R., see McCune, W.
Pagac, D., 1093(0)164--z
Pagac:1996:EAP, 1093(0)164--z
Paging, 1046(0)593--z
Pahl, C., 1061(0)416--z
Pahl, C., see Doberkat, E.-E.
Pain, H., 1086(0)659--z
Pain, H., see Retalis, S.
Painless, 1076(0)262--z
pair, 1041(0)125--z, 1059(0)17--z, 1059(0)196--z, 1059(0)211--z, 1064(0)17--z, 1074(0)185--z
Pajot, R., 1063(0)181--z
Pajot, R., see Xanthakis, S.
Pal Bhogal, A. S., 1081(0)187--z
Pal Bhogal, A. S., see Charlebois, D.
Pal, S. P., 1097(0)284--z
Pal, S. P., see Aronov, B.
Palermo, D. J., 1033(0)392--z
Palermo:1996:ASD, 1033(0)392--z
Palma, S., 1067(0)890--z
Palma, S., see D'Acierno, A.
Palmer, D. W., 1033(0)346--z
Palmer:1996:PEN, 1033(0)346--z
Palsberg, J., 1058(0)280--z
Palsberg:1996:NAC, 1058(0)280--z
Panagiotopoulos, P. D., 1054(0)232--z
Panagiotopoulos, P. D., see Pardalos, P. M.
Panagos, E., 1057(0)388--z
Panagos:1996:FGL, 1057(0)388--z
Panario, D., 1099(0)232--z
Panario, D., see Flajolet, P.
Pandya, P. K., 1092(0)434--z
Pandya:1996:SEP, 1092(0)434--z
Pantelides, C. C., 1066(0)244--z
Pantelides, C. C., see Dimitriadis, V. D.
Paolillo, E., 1044(0)209--z
Paolillo, E., see Felix, D.
Paolucci, M., 1086(0)372--z
Paolucci:1996:AAG, 1086(0)372--z
Papachristou, P., 1035(0)383--z
Papachristou:1996:LPU, 1035(0)383--z
Papadimitriou, C., 1099(0)280--z
Papadimitriou, C., see Koutsoupias, E.
Papadimitriou, C. H., 1090(0)273--z
Papadimitriou, C. H., see Grigni, M.
Papadopoulo, O., 1065(0)696--z
Papadopoulo, O., see Faugeras, T.
Papakostas, A., 1027(0)419--z
Papakostas:1996:IIO, 1027(0)419--z
Papaspyrou, N., 1080(0)44--z
Papaspyrou, N., see Vescoukis, V. C.
Pape, C., 1071(0)93--z
Pape, C., see Beckert, B.
paper, 1050(0)209--z, 1050(0)229--z, 1050(0)255--z, 1072(0)204--z, 1085(0)697--z, 1085(0)705--z
Papetti, F., 1067(0)729--z
Papetti, F., see Bernaschi, M.
Paquette, G., 1086(0)363--z, 1086(0)382--z
Paquette, G., see Giroux, S.
Paquette:1996:ACE, 1086(0)382--z
par, 1086(0)333--z
Paraconsistent, 1081(0)296--z
paradigm, 1030(0)403--z, 1041(0)141--z, 1060(0)192--z, 1064(0)579--z, 1067(0)66--z, 1067(0)228--z, 1067(0)447--z, 1077(0)17--z
paradigm-driven, 1040(0)385--z
Parallax, 1064(0)17--z
PArallel, 1067(0)413--z
Parallel, Data-, 1033(0)191--z, 1033(0)346--z, 1041(0)443--z, 1067(0)228--z
Parallelisation, 1067(0)20--z, 1067(0)36--z, 1067(0)116--z, 1067(0)352--z
Parallelism, 1033(0)581--z, 1046(0)193--z, 1068(0)174--z
Parallelization, 1033(0)61--z, 1033(0)176--z, 1033(0)480--z, 1041(0)24--z, 1041(0)50--z, 1041(0)134--z, 1041(0)141--z, 1041(0)540--z, 1067(0)82--z, 1067(0)170--z, 1067(0)200--z, 1067(0)778--791, 1067(0)901--z
Parallelized, 1041(0)257--z
Parallelizer, 1067(0)784--z
Parallelizing, 1033(0)96--z, 1067(0)530--z
Parameter, 1049(0)118--z, 1077(0)47--z, 1094(0)134--z
Parameterized, 1055(0)258--z
parametric, 1064(0)71--z, 1064(0)317--z, 1092(0)291--z, 1097(0)149--z
Parametricity, 1058(0)204--z
paraperspective, 1065(0)129--z
Pardalos, P. M., 1054(0)1--z, 1054(0)232--z
Pardalos, P. M., see Ferreira, A.
Pardalos:1996:PAG, 1054(0)232--z
Parente, M., 1097(0)259--z
Parente, M., see Auletta, V.
Parentheses, 1097(0)198--z
Parents, 1080(0)402--z
Parets, J., 1030(0)181--z
Parets:1996:LDC, 1030(0)181--z
PARIS, 1031(0)191--z
Paris, G., 1027(0)431--z
Paris, J., 1093(0)171--z
Paris:1996:ADC, 1027(0)431--z
Paris:1996:BFC, 1093(0)171--z
Parisi-Presicce, F., 1073(0)428--z
Parisi-Presicce:1996:TGG, 1073(0)428--z
Parity, 1039(0)159--z, 1081(0)362--z, 1090(0)41--z
PARK, 1057(0)35--z
Park, H. S., 1066(0)424--z
Park, K., 1075(0)335--z
Park, M.-K., 1072(0)179--z
Park, M.-K., see Kim, M.-K.
Park:1996:ATD, 1075(0)335--z
Park:1996:MSH, 1066(0)424--z
PARKBENCH, 1067(0)770--777
Parkes, A. J., 1048(0)170--z
Parkes:1996:LPS, 1048(0)170--z
Parse, 1081(0)121--z
parsed, 1040(0)413--z
parser, 1040(0)355--z, 1060(0)281--z
PARSETALK, 1081(0)133--z
parsing, 1040(0)413--z, 1060(0)294--z, 1073(0)170--z
Parsons, S., 1085(0)449--z, 1085(0)705--z
Parsons:1996:ADM, 1085(0)705--z
Parsons:1996:DNS, 1085(0)449--z
Part, 1036(0)68--z, 1064(0)199--z, 1072(0)246--z, 1086(0)531--z, 1088(0)439--z
Partial, 1048(0)1--z, 1050(0)213--z, 1051(0)287--z, 1052(0)118--z, 1058(0)45--z, 1058(0)77--z, 1060(0)208--z, 1069(0)106--z, 1073(0)1--z, 1073(0)469--z, 1074(0)57--z, 1079(0)98--z, 1090(0)68--z, 1092(0)403--z, 1097(0)161--z
Partial-Order, 1055(0)241--z
Partial-order, 1083-0-z
Partially, 1091(0)460--z, 1093(0)146--z
Particle, 1041(0)115--z, 1041(0)391--z, 1067(0)269--z, 1067(0)447--z
partir, 1086(0)243--z
partition, 1057(0)373--z, 1085(0)480--z
Partitioned, 1031(0)191--z, 1057(0)241--z
Partitioning, 1033(0)392--z, 1044(0)173--z, 1067(0)475--z, 1097(0)161--z
party, 1029(0)98--z, 1052(0)229--z
Pascual, E., 1036(0)205--z
Pascual:1996:ITF, 1036(0)205--z
Pash, 1091(0)113--z
Pass, One-, 1060(0)294--z
Passing, 1049(0)118--z
Passing, Message-, 1067(0)228--z
past, 1040(0)370--z
Pataki, G., 1084(0)162--z
Pataki:1996:CLS, 1084(0)162--z
Patarin, Jacques, 1070(0)1--z, 1070(0)33--z
Patarin, Jacques, see Coppersmith, Don
Patarin:1996:HFE, 1070(0)33--z
Patch, 1035(0)149--z
Patel, N., 1078(0)164--z
Patel, N., see Yuan, G.
Patel, V., 1086(0)130--z
Patel, V., see Khuwaja, R.
Paterson, K. G., 1029(0)250--z
Paterson, K. G., see Fuchsberger, A.
Paterson, M., 1097(0)368--z, 1099(0)658--z
Paterson, R., 1058(0)204--z
Paterson, R., see Launchbury, J.
Paterson:1996:CSF, 1099(0)658--z
Paterson:1996:PS, 1097(0)368--z
path, 1044(0)1--z, 1044(0)13--z, 1059(0)59--z, 1059(0)287--z, 1066(0)485--z, 1084(0)94--z, 1090(0)81--z, 1090(0)209--z, 1093(0)322--z
Path-Width, 1046(0)453--z
Paths, 2-, 1073(0)469--z
Patient, 1038(0)218--z
Paton, N. W., 1094(0)36--z
Paton, N. W., see Dinn, A.
Patt-Shamir, B., 1058(0)280--z
Patt-Shamir, B., see Palsberg, J.
pattern, 1040(0)246--z, 1040(0)275--z, 1051(0)576--z, 1057(0)3--z, 1062(0)118--z, 1064(0)642--z, 1073(0)454--z, 1075(0)186--z, 1075(0)288--z, 1075(0)335--z, 1075(0)348--z, 1075(0)373--z, 1077(0)265--z, 1079(0)139--z, 1080(0)99--z, 1081(0)402--z
Paulik, L., 1050(0)289--z
Paulik, L., see Vojtas, P.
Pautet, L., 1031(0)191--z, 1031(0)206--z
Pautet, L., see Gargaro, A., see Kermarrec, Y.
Pavilion, G., 1057(0)201--z
Pavilion:1996:KDE, 1057(0)201--z
Pazzani, M. J., 1040(0)329--z
Pazzani, M. J., see Yamazaki, T.
pcall, 1068(0)53--z
PDE, 1058(0)373--z
Pearls, 1094(0)222--z
Pebble, 1097(0)259--z
Pechal, Z., 1030(0)437--z
Pechal, Z., see Vysoky, P.
Pedagogical, 1086(0)225--z
pédagogique, 1086(0)484--z
Pedersen, Torben P., 1070(0)237--z
Pedersen, Torben P., see Knudsen, Lars R.
Pedersen, Torben Pryds, 1070(0)372--z
Pedersen, Torben Pryds, see Damgård, Ivan Bjerre
Pei, N., 1090(0)381--z
Pei, N., see Whitesides, S.
Pelagatti, S., 1067(0)485--z
Pelagatti, S., see Ceccolini, A.
Peled, D., 1055(0)35--z, 1055(0)241--z
Peled, D., see Alur, R., \see{Chou, C.-T.
Peleg, M., 1072(0)286--z
Peleg, M., see Dori, D.
Peleg, S., 1065(0)262--z
Peleg, S., see Benayoun, S.
Peleska, J., 1051(0)39--z, 1051(0)538--z
Peleska:1996:TAS, 1051(0)39--z
Peleska:1996:TTT, 1051(0)538--z
Pelillo, M., 1035(0)343--z
Pelillo:1996:CFR, 1035(0)343--z
Pellegrini, F., 1067(0)493--z
Pellegrini:1996:SSP, 1067(0)493--z
Pelletier, S.-J., 1037(0)267--z
Pelletier, S.-J., see Arcand, J.-F.
Peltier, N., 1050(0)51--z, 1092(0)130--z
Peltier, N., see Caferra, R.
Pemmaraju, S. V., 1027(0)300--z
Pemmaraju, S. V., see Heath, L. S.
Penalty, 1063(0)320--z
Pendrith, M., 1081(0)257--z
Pendrith:1996:RLR, 1081(0)257--z
Penetrating, 1067(0)327--z
Pentland, A., 1064(0)589--z
Pentland, A., see Nastar, C.
Penzhorn, W. T., 1039(0)159--z
Penzhorn:1996:CAS, 1039(0)159--z
people, 1065(0)593--z
PEP, 1055(0)397--z
Peralta, René, 1070(0)131--z, see Boyar, Joan
perception, 1065(0)528--z, 1087(0)144--z, 1093(0)9--z, 1093(0)93--z
Perception-Based, 1038(0)26--z, 1093(0)368--z
Pereira, L. M., 1050(0)103--z
Pereira, L. M., see Damasio, C. V.
Perennes, S., 1099(0)574--z
Perennes, S., see Bermond, J.-C.
Perfect, 1046(0)605--z, 1075(0)130--z
Perfect, Near-, 1083-0-z
Performance, 1030(0)423--z, 1031(0)99--z, 1033(0)304--z, 1033(0)581--z, 1038(0)128--z, 1041(0)1--z, 1041(0)69--z, 1041(0)95--z, 1041(0)278--z, 1041(0)493--z, 1044(0)131--z, 1044(0)149--z, 1044(0)187--z, 1044(0)335--z, 1049(0)76--z, 1051(0)140--z, 1052(0)79--z, 1057(0)3--z, 1057(0)147--z, 1057(0)573--z, 1067(0)12--z, 1067(0)51--z, 1067(0)116--z, 1067(0)514--z, 1067(0)522--z, 1067(0)530--z, 1067(0)571--z, 1067(0)627--z, 1067(0)755--z, 1067(0)762--z, 1067(0)880--z, 1068(0)81--z, 1072(0)13--z, 1072(0)57--z, 1072(0)270--z, 1081(0)41--z, 1084(0)301--z, 1091(0)536--z, 1094(0)152--z
Performance, High-, 1030(0)417--z, 1035(0)171--z, 1067(0)306--z, 1067(0)907--z
Performing, 1077(0)257--z
Periodic, 1029(0)125--z, 1031(0)355--z
Perkusich, A., 1086(0)168--z
Perkusich, A., see De Barros Costa, E.
Permutable, 1055(0)187--z
permutation, 1046(0)375--z
Pernici, B., 1057(0)443--z
Pernici, B., see Casati, F.
Peron, A., 1073(0)107--z
Peron, A., see Maggiolo-Schettini, A.
Perram, J., 1069(0)206--z
Perram, J., see Overgaard, L.
Persiano, P., 1097(0)259--z
Persiano, P., see Auletta, V.
Persistence, 1049(0)260--z, 1088(0)342--z, 1088(0)396--z
Persistent, 1057(0)403--z
Personal, 1029(0)1--z, 1045(0)143--z, 1077(0)257--z, 1077(0)279--z
perspective, 1029(0)40--z, 1029(0)65--z, 1036(0)17--z, 1040(0)453--z, 1050(0)209--z, 1065(0)129--z, 1065(0)696--z, 1067(0)880--z, 1085(0)151--z, 1085(0)375--z, 1098(0)26--z
Perspective, Multi-, 1076(0)229--z
Persson, T., 1067(0)327--z
Persson:1996:PII, 1067(0)327--z
Peters, P., 1079(0)34--z
Peters, P., see Jarke, M.
Petersen, H., 1069(0)206--z
Petersen, H., see Overgaard, L.
Petersen, I. R., 1066(0)553--z
Petersen, I. R., see Savkin, A. V.
Petit, A., 1046(0)257--z
Petit, A., see Berard, B.
Petitet, A., 1041(0)95--z, 1041(0)107--114, 1041(0)166--176
Petitet, A., see Choi, J., \see{Choi, Jaeyoung, see Dongarra, J.
Petri, 1030(0)88--z, 1030(0)283--z, 1051(0)518--z, 1055(0)49--z, 1055(0)397--z, 1073(0)288--z, 1077(0)47--z, 1091(0)11--z, 1091(0)57--z, 1091(0)153--z, 1091(0)172--z, 1091(0)192--z, 1091(0)249--z, 1091(0)289--z, 1091(0)327--z, 1091(0)346--z, 1091(0)380--z, 1091(0)400--z, 1091(0)420--z, 1099(0)478--z
Petrie, M. M., Larrondo-, 1080(0)222--z
Petrou, M., 1035(0)383--z
Petrou, M., see Papachristou, P.
Petrushin, V. A., 1077(0)237--z
Petrushin:1996:HSC, 1077(0)237--z
Pettersson, M., 1060(0)177--z
Pettersson, P., 1055(0)431--z, 1066(0)232--z, 1066(0)575--z
Pettersson, P., see Bengtsson, J., see Larsen, K. G.
Pettersson:1996:CNS, 1060(0)177--z
Pevzner, P. A., 1075(0)141--z
Pevzner, P. A., see Gelfand, M. S.
Peyre, J.-F., Pradat-, 1091(0)57--z
Pfahler, P., 1060(0)18--z
Pfahler:1996:CMS, 1060(0)18--z
Pfenning, F., 1050(0)67--z, 1058(0)296--z, 1059(0)119--z
Pfenning, F., see Cervesato, I., see Rohwedder, E.
Pfenning:1996:PLF, 1059(0)119--z
Pfitzmann, Birgit, 1070(0)84--z
Pfitzmann:1996:AF, 1070(0)84--z
pGVT, 1051(0)405--z
phase, 1065(0)141--z
phase-portrait, 1066(0)377--z
Phenomena, 1067(0)402--z
Philbin, J., 1033(0)450--z
Philbin:1996:VTN, 1033(0)450--z
Phillips, C. A., 1075(0)234--z, 1075(0)253--z, 1099(0)646--z
Phillips, C. A., see Chakrabarti, S., see Goldberg, L. A.
Phillips, I. T., 1072(0)270--z
Phillips, I. T., see Kong, B.
Phillips:1996:AMT, 1075(0)234--z
Philosophers, 1088(0)247--z
photographs, 1065(0)659--z
photometric, 1064(0)642--z
Photometry, 1035(0)395--z
Phylogeny, 1046(0)605--z, 1075(0)253--z, 1083-0-z
physically-based, 1064(0)589--z
physics, 1067(0)251--z, 1067(0)258--z
Pi-Calculus, 1061(0)424--z
Piatetsky-Shapiro, G., 1079(0)56--z
Piatetsky-Shapiro:1996:DMK, 1079(0)56--z
Picard, R., 1035(0)3--z
Picard:1996:DLM, 1035(0)3--z
Pichler, F., 1030(0)341--z, 1030(0)465--z
Pichler, F., see Praehofer, H.
Pichler, M., 1077(0)28--z
Pichler, M., see Andrews, K.
Pichler:1996:FDG, 1030(0)465--z
picture, 1073(0)412--z
PID, 1030(0)253--z
Piecewise, 1033(0)346--z
Piepenbrock, G., 1060(0)18--z
Piepenbrock, G., see Pfahler, P.
Pieprzyk, J., 1029(0)201--214
Pieprzyk, J., see Bakhtiari, S.
Pierret-Golbreich, C., 1076(0)1--z
Pierret-Golbreich, C., see Benjamins, R.
Pietracaprina, A., 1097(0)404--z, 1099(0)598--z
Pietracaprina, A., see Baeumker, A., see Herley, K. T.
Piguet, C., 1062(0)166--z
Piguet, C., see Marchal, P.
Pilot, 1044(0)225--z, 1067(0)441--z
Pilot-Implementation, 1067(0)340--z
Pilu, M., 1064(0)71--z
Pilu:1996:RGP, 1064(0)71--z
Pin, F. G., 1079(0)335--z
Pin, J.-E., 1099(0)300--z
Pin:1996:EPE, 1099(0)300--z
Pin:1996:FBA, 1079(0)335--z
Pinar, A., 1041(0)473--z
Pinar, M., 1041(0)473--z
Pinar, M., see Pinar, A.
Pinar:1996:DLP, 1041(0)473--z
Pingali, K., 1033(0)480--z
Pingali, K., see Kotlyar, V.
Pinna, G. M., 1091(0)113--z
Pinna, G. M., see Busi, N.
Pinto, J., 1079(0)212--z
Pinto, J., see Bertossi, L.
Pipelining, 1033(0)16--z, 1060(0)1--z, 1060(0)18--z
Pipelining-Dovetailing, 1060(0)1--z
Piquer, J. M., 1068(0)310--z
Piquer:1996:RIT, 1068(0)310--z
Pirrelli, V., 1040(0)385--z
Pirrelli, V., see Federici, S.
Pischel, M., 1037(0)203--z
Pischel, M., see Fischer, K.
Pistore, M., 1058(0)265--z
Pistore, M., see Montanari, U.
Pith, J., 1071(0)160--z
Pith:1996:DMT, 1071(0)160--z
Pitrik, R., Motschnig-, 1080(0)514--z
Pitts, 1030(0)494--z
Pivert, O., 1079(0)408--z
Pivert, O., see Bosc, P.
Pixel, 1035(0)139--z, 1067(0)319--z
Place, 1035(0)3--z
Plan, 1069(0)166--z, 1081(0)109--z, 1086(0)120--z, 1086(0)632--z, 1087(0)100--z
planar, 1027(0)212--z, 1035(0)149--z, 1064(0)642--z, 1066(0)389--z, 1067(0)387--z, 1084(0)147--z, 1084(0)475--z, 1090(0)152--z, 1097(0)198--z
Planar, Leveled-, 1027(0)300--z
Planar, Quasi-, 1027(0)1--z
Planche, T., 1031(0)21--z
Planche, T., see David, P.
Plandowski, W., 1075(0)39--z, 1097(0)392--z
Plandowski, W., see Gasieniec, L.
plane, 1027(0)277--z, 1027(0)287--z, 1065(0)238--z, 1084(0)175--z, 1090(0)92--z, 1090(0)117--z, 1097(0)333--z
planification, 1086(0)484--z
Planner, 1036(0)144--z, 1093(0)235--z
planning, 1030(0)117--z, 1030(0)386--z, 1037(0)111--z, 1038(0)86--z, 1048(0)189--z, 1061(0)416--z, 1066(0)485--z, 1067(0)183--z, 1069(0)179--z, 1069(0)206--z, 1071(0)193--z, 1076(0)321--z, 1076(0)338--z, 1076(0)354--z, 1079(0)541--z, 1080(0)255--z, 1081(0)187--z, 1085(0)555--z, 1086(0)252--z, 1088(0)500--z, 1093(0)322--z, 1093(0)353--z
Plant, 1030(0)523--z, 1051(0)425--z, 1055(0)225--z, 1073(0)536--z
Plasma, 1067(0)276--z
Platform, 1044(0)299--z, 1067(0)51--z, 1067(0)74--z, 1067(0)387--z, 1080(0)301--z, 1086(0)363--z
Play, 1037(0)127--z
Playing, Role-, 1086(0)668--z
Plevyak, J., 1033(0)566--z, 1049(0)76--z
Plevyak, J., see Chien, A.
Plevyak:1996:TDC, 1033(0)566--z
Plexousakis, D., 1057(0)497--z
Plexousakis:1996:AIC, 1057(0)497--z
Ploedereder, E., 1088(0)385--z
Ploedereder, E., see Gellerich, W.
Plug, J., 1085(0)464--z
Plug:1996:CAJ, 1085(0)464--z
Plump, D., 1073(0)75--z
Plump:1996:GUM, 1073(0)75--z
plural, 1040(0)61--z
Plus, 1092(0)308--z
Pnueli, A., 1066(0)13--z
Pnueli, A., see Kesten, Y.
Podolny, E. I., 1077(0)257--z
Podolny, E. I., see Egov, A. S.
Poggio, T., 1035(0)437--z, 1064(0)652--z
Poggio, T., see Vetter, T.
Poggio:1996:FHF, 1035(0)437--z
Pogoda, M., 1067(0)243--z
Pogoda, M., see Bubak, M.
Pohl, W., 1085(0)480--z
Pohl:1996:CPM, 1085(0)480--z
point, 1027(0)64--z, 1052(0)244--z, 1064(0)17--z, 1071(0)1--z, 1072(0)23--z, 1088(0)370--z, 1092(0)161--z, 1097(0)198--z
Point, Fixed-, 1092(0)388--z
Point, Multi-, 1081(0)26--z
point, multi-, 1065(0)217--z
Pointcheval, David, 1070(0)387--z
Pointcheval:1996:SPS, 1070(0)387--z
Pointer, 1046(0)643--z, 1058(0)125--z, 1097(0)212--z, 1098(0)189--z
Points-to, 1060(0)136--z
Poisson, 1075(0)209--z
Pol, J., Van de, 1074(0)201--z
polarized, 1065(0)625--z
Poli, R., 1037(0)392--z
Poli, R., see Sloman, A.
Poliakoff, J. F., 1072(0)233--z
Poliakoff, J. F., see Thomas, P. D.
Policy, 1029(0)20--z, 1029(0)75--z
Polishjuk, A. V., 1077(0)257--z
Polishjuk, A. V., see Egov, A. S.
Pollack, R., 1027(0)1--z
Pollack, R., see Agarwal, P. K.
Pollefeys, M., 1035(0)405--z, 1064(0)31--z
Pollefeys:1996:ERI, 1064(0)31--z
Pollefeys:1996:ERS, 1035(0)405--z
Pollock, J. L., 1085(0)495--z
Pollock, L. L., 1067(0)499--z
Pollock, L. L., see Chu-Carroll, M.
Pollock:1996:RCW, 1085(0)495--z
Pollution, 1030(0)417--z
Polman, M., 1067(0)812--z
Polman:1996:DLS, 1067(0)812--z
Polychronopoulos, C., 1033(0)581--z
Polychronopoulos, C., see Moreira, J. E.
polygon, 1090(0)391--z
Polygonal, 1090(0)117--z
polygrams, 1040(0)217--z
polyhedra, 1064(0)175--z
polyhedral, 1065(0)455--z, 1065(0)659--z, 1084(0)445--z
Polykakhin, A. V., 1077(0)257--z
Polykakhin, A. V., see Egov, A. S.
Polymers, 1067(0)373--z
Polymorphic, 1058(0)341--z, 1074(0)221--z, 1092(0)215--z
Polymorphism, 1091(0)380--z, 1092(0)291--z, 1098(0)449--z, 1099(0)170--z
polynomial, 1035(0)373--z, 1041(0)189--z, 1042(0)164--z, 1070(0)33--z, 1070(0)60--z, 1084(0)460--z, 1092(0)145--z, 1099(0)232--z
polynomial, multi-, 1066(0)389--z
Polynomial-Time, 1081(0)375--z, 1083-0-z
polytope, 1084(0)415--z
Pomeroy, B., 1094(0)107--z
Pomeroy, B., see Wiseman, S.
Pomponi, R., 1067(0)51--z
Pomponi:1996:PPP, 1067(0)51--z
Poncelet, P., 1080(0)496--z
Poncelet, P., see Bellahsene, Z.
Pons, O., 1079(0)491--z
Pons:1996:ADF, 1079(0)491--z
Popowich, F., 1081(0)97--z
Popowich:1996:CGS, 1081(0)97--z
Porrill, J., 1064(0)427--z
Porrill, J., see Gaarding, J.
Porta, L., La, 1067(0)460--z, 1067(0)703--z
Porta, M., La, 1044(0)187--z
Portability, 1060(0)208--z
Portable, 1027(0)385--z, 1041(0)95--z, 1067(0)467--z, 1067(0)580--z, 1068(0)157--z, 1068(0)286--z
Porting, 1067(0)12--z, 1067(0)43--z, 1067(0)51--z
portrait, 1065(0)141--z
portrait, phase-, 1066(0)377--z
Portraits, 1067(0)312--z
pose, 1065(0)455--z
Pose, R., 1077(0)117--z
Pose:1996:TRV, 1077(0)117--z
Posegga, J., 1092(0)64--z
Posegga, J., see Beckert, B.
Position, 1085(0)697--z, 1085(0)705--z
positive, 1046(0)219--z, 1071(0)143--z, 1092(0)468--z
POSIXash, 1088(0)275--z
possibility, 1079(0)408--z
Possible, 1029(0)1--z, 1085(0)141--z, 1085(0)414--z
Post, 1046(0)39--z
Postprocessing, 1035(0)383--z
Postulates, 1050(0)303--z
Potentials, 1044(0)107--z
Pottle, M. S., 1067(0)365--z
Pottle, M. S., see O'Donnell, T. J.
pour, 1086(0)111--z, 1086(0)215--z, 1086(0)315--z, 1086(0)333--z, 1086(0)484--z, 1086(0)502--z
power, 1027(0)431--z, 1030(0)523--z, 1046(0)257--z, 1051(0)425--z, 1067(0)365--z, 1067(0)421--z, 1099(0)300--z, 1099(0)348--z
Power, A., John, 1050(0)177--z
Powers, S., 1027(0)385--z
Powers, S., see Madden, B.
Pozzi, G., 1057(0)443--z
Pozzi, G., see Casati, F.
PP, 1040(0)188--z, 1046(0)99--z
PQ-Tree, 1084(0)490--z
Practical, 1031(0)51--z, 1033(0)515--z, 1039(0)113--z, 1058(0)1--z, 1070(0)344--z, 1073(0)38--z, 1085(0)58--z, 1085(0)73--z, 1085(0)663--z, 1086(0)512--z, 1088(0)471--z, 1098(0)3--z, 1098(0)26--z, 1099(0)268--z
Practically, 1085(0)716--z
practice, 1051(0)465--z, 1059(0)119--z, 1079(0)19--z, 1086(0)466--z, 1087(0)130--z
Pradat-Peyre, J.-F., 1091(0)57--z
Pradat-Peyre, J.-F., see Barkaoui, K.
Prade, H., 1079(0)19--z
Prade, H., see Dubois, D.
Praehofer, H., 1030(0)341--z
Praehofer:1996:MOO, 1030(0)341--z
Pragma-Dialectical, 1085(0)151--z, 1085(0)375--z
pragmatic, 1037(0)203--z, 1073(0)137--z, 1083-0-z
Prakash, S., 1033(0)239--z
Prakash:1996:PSD, 1033(0)239--z
Prakken, H., 1085(0)510--z
Prakken:1996:SDA, 1085(0)510--z
PRAM, 1067(0)736--z
Prasad, A., 1072(0)270--z
Prasad, A., see Kong, B.
Prasad, K. V. S., 1061(0)321--z
Prasad:1996:BT, 1061(0)321--z
Pre-Computation, 1044(0)1--z
Preconditioners, 1041(0)189--z
Preconditioning, 1067(0)619--z
Preconditions, 1051(0)557--z
Precongruence, 1092(0)335--z
Predators, 1042(0)113--z
predicate, 1079(0)398--z, 1091(0)212--z, 1094(0)232--z
Predicate-Logic, 1081(0)375--z
Prediction, 1067(0)379--z, 1067(0)762--z
Predictive, 1044(0)277--z, 1052(0)209--z
Predictors, 1081(0)41--z
Preelaboration, 1031(0)164--z
Preferences, 1037(0)17--z
prefixes, 1071(0)244--z
Preliminary, 1041(0)207--z, 1067(0)51--z, 1085(0)540--z, 1087(0)189--z
Preminger, S., 1097(0)357--z
Preminger:1996:SET, 1097(0)357--z
Premises, 1099(0)502--z
Prendinger, H., 1085(0)525--z
Prendinger:1996:MLM, 1085(0)525--z
Preneel, B., 1039(0)71--z, 1039(0)99--z
Preneel, B., see Dobbertin, H., see Rijmen, V.
Preneel, Bart, 1070(0)19--z
Preneel:1996:STM, 1070(0)19--z
Preprocessed, 1035(0)373--z
Preprocessor, 1081(0)249--z
Presburger, 1059(0)30--z
Presence, 1068(0)53--z
present, 1039(0)89--97
Presentation, 1045(0)33--z, 1077(0)47--z, 1086(0)605--z
preserves, 1064(0)439--z
Preserving, 1035(0)71--z, 1048(0)1--z, 1091(0)73--z
Presicce, F., Parisi-, 1073(0)428--z
press, 1066(0)114--z
Pretexte, 1036(0)238--z
Preussig, J., 1055(0)225--z
Preussig, J., see Kowalewski, S.
Preview, 1076(0)213--z
Prey, 1042(0)113--z
Priami, C., 1099(0)490--z
Priami, C., see Bodei, C.
Primal-Dual, 1084(0)147--z
Primes, 1046(0)569--z
Primitives, 1037(0)49--z, 1063(0)287--z, 1080(0)476--z
principle, 1030(0)494--z, 1044(0)239--z, 1076(0)48--z
Prinetto, P., 1067(0)454--z
Prinetto, P., see Corno, F.
Prins, J. F., 1033(0)346--z
Prins, J. F., see Palmer, D. W.
Print, Finger-, 1075(0)39--z
Printed, 1072(0)80--z
Prioritization, 1068(0)190--z
prioritized, 1066(0)350--z
Priority, 1044(0)173--z, 1055(0)278--z, 1085(0)510--z, 1097(0)416--z
Priority, Demand-, 1044(0)149--z
priors, 1065(0)613--z
Privacy, 1029(0)20--z
Private, 1077(0)265--z
probabilistic, 1035(0)383--z, 1040(0)173--z, 1055(0)369--z, 1086(0)353--z, 1090(0)371--z, 1093(0)93--z, 1093(0)164--z, 1093(0)307--z, 1097(0)380--z, 1099(0)369--z
problem, 1031(0)139--z, 1031(0)298--z, 1033(0)551--z, 1035(0)149--z, 1035(0)509--z, 1036(0)17--z, 1046(0)39--z, 1046(0)99--z, 1048(0)33--z, 1048(0)189--z, 1054(0)1--z, 1054(0)7--z, 1054(0)115--z, 1054(0)232--z, 1058(0)1--z, 1061(0)357--z, 1063(0)120--z, 1063(0)247--z, 1063(0)320--z, 1063(0)333--z, 1067(0)60--z, 1067(0)429--z, 1067(0)447--z, 1067(0)467--z, 1067(0)633--z, 1069(0)40--z, 1069(0)106--z, 1073(0)155--z, 1073(0)211--z, 1074(0)109--z, 1075(0)87--z, 1075(0)304--z, 1075(0)361--z, 1076(0)354--z, 1079(0)325--z, 1081(0)14--z, 1081(0)69--z, 1081(0)362--z, 1083-0-z, 1084(0)58--z, 1084(0)72--z, 1084(0)85--z, 1084(0)147--z, 1084(0)204--z, 1084(0)249--z, 1084(0)316--z, 1084(0)359--z, 1084(0)389--z, 1084(0)445--z, 1086(0)29--z, 1086(0)234--z, 1086(0)353--z, 1086(0)466--z, 1086(0)475--z, 1086(0)550--z, 1086(0)605--z, 1087(0)1--z, 1087(0)174--z, 1088(0)147--z, 1090(0)21--z, 1090(0)68--z, 1090(0)241--z, 1090(0)250--z, 1090(0)310--z, 1090(0)333--z, 1091(0)1--z, 1092(0)266--z, 1097(0)28--z, 1097(0)66--z, 1097(0)76--z, 1097(0)100--z, 1097(0)112--z, 1097(0)149--z, 1097(0)161--z, 1099(0)268--z, 1099(0)466--z, 1099(0)562--z, 1099(0)610--z
Problem-Solving, 1076(0)1--z, 1076(0)17--z, 1086(0)466--z, 1086(0)521--z
problème, 1086(0)148--z
Procedural, 1037(0)127--z, 1085(0)663--z
Procedure, 1037(0)33--z, 1046(0)281--z, 1048(0)204--z, 1067(0)820--z, 1068(0)3--z, 1078(0)17--z, 1085(0)231--z, 1086(0)392--z, 1092(0)130--z, 1092(0)320--z
Procedure-Level, 1051(0)682--z
process, 1030(0)201--z, 1030(0)403--z, 1043(0)102--z, 1043(0)149--z, 1044(0)119--z, 1051(0)367--z, 1055(0)187--z, 1055(0)427--z, 1059(0)72--z, 1060(0)341--z, 1061(0)160--z, 1061(0)197--z, 1061(0)420--z, 1061(0)440--z, 1064(0)371--z, 1066(0)64--z, 1066(0)244--z, 1067(0)460--z, 1067(0)493--z, 1068(0)344--z, 1073(0)225--z, 1075(0)209--z, 1078(0)88--z, 1079(0)501--z, 1080(0)234--z, 1081(0)172--z, 1086(0)120--z, 1086(0)252--z, 1088(0)111--z, 1093(0)146--z, 1096-0-xii, 1099(0)182--z, 1099(0)466--z, 1099(0)490--z
Process, Object-, 1072(0)212--z
Process-Calculus, 1061(0)285--z
Process-Sensitive, 1086(0)430--z
processing, 1031(0)355--z, 1033(0)254--z, 1034(0)84--z, 1035(0)489--z, 1040(0)1--z, 1040(0)102--z, 1040(0)315--z, 1057(0)147--z, 1057(0)373--z, 1061(0)1--z, 1064(0)251--z, 1067(0)711--z, 1072(0)13--z, 1077(0)61--z, 1079(0)386--z, 1079(0)418--z, 1083-0-z, 1093(0)131--z
Processor, 1033(0)304--z, 1041(0)333--z
processors, 1039(0)89--97, 1067(0)297--z, 1068(0)108--z
processus, 1086(0)148--z, 1086(0)197--z
Produce, 1098(0)2--z
product, 1059(0)2--z, 1086(0)120--z
Production, 1073(0)240--z, 1073(0)257--z, 1082(0)259--z
Proebsting, T. A., 1060(0)294--z
Proebsting:1996:OPO, 1060(0)294--z
Proesmans, M., 1064(0)31--z
Proesmans, M., see Pollefeys, M.
ProfGlot, 1036(0)314--z
profiles, 1064(0)293--z
program, 1031(0)406--z, 1033(0)191--z, 1033(0)239--z, 1033(0)346--z, 1033(0)566--z, 1040(0)146--z, 1041(0)61--z, 1041(0)267--z, 1041(0)436--z, 1041(0)473--z, 1046(0)427--z, 1046(0)503--z, 1048(0)33--z, 1048(0)61--z, 1048(0)76--z, 1048(0)106--z, 1048(0)120--z, 1048(0)137--z, 1048(0)152--z, 1048(0)170--z, 1048(0)171--z, 1048(0)174--z, 1048(0)189--z, 1048(0)204--z, 1048(0)219--z, 1048(0)234--z, 1048(0)252--z, 1050(0)1--z, 1050(0)35--z, 1050(0)153--z, 1050(0)177--z, 1050(0)229--z, 1050(0)237--z, 1051(0)327--z, 1051(0)557--z, 1051(0)595--z, 1055(0)313--z, 1055(0)422--z, 1058(0)18--z, 1058(0)45--z, 1058(0)108--z, 1058(0)280--z, 1058(0)296--z, 1059(0)165--z, 1060(0)121--z, 1060(0)136--z, 1061(0)107--z, 1063(0)307--z, 1066(0)52--z, 1067(0)365--z, 1067(0)536--z, 1067(0)806--z, 1068(0)81--z, 1073(0)170--z, 1073(0)321--z, 1077(0)216--z, 1078(0)127--z, 1079(0)168--z, 1079(0)468--z, 1079(0)531--z, 1082(0)17--z, 1084(0)16--z, 1084(0)162--z, 1086(0)411--z, 1086(0)531--z, 1088(0)101--z, 1088(0)123--z, 1088(0)135--z, 1088(0)235--z, 1091(0)249--z, 1092(0)1--z, 1098(0)142--z, 1099(0)348--z, 1099(0)634--z
Programmable, 1062(0)1--z, 1062(0)197--z
programmation, 1086(0)333--z
Programmed, 1073(0)122--z
programming, 1030(0)117--z, 1030(0)289--z, 1031(0)206--z, 1031(0)217--z, 1037(0)331--z, 1040(0)355--z, 1040(0)370--z, 1046(0)669--z, 1049(0)250--z, 1050(0)51--z, 1050(0)119--z, 1050(0)161--z, 1050(0)209--z, 1050(0)273--z, 1050(0)303--z, 1054(0)87--z, 1058(0)156--z, 1058(0)250--z, 1061(0)124--z, 1061(0)249--z, 1061(0)407--z, 1061(0)424--z, 1063(0)21--z, 1063(0)247--z, 1067(0)228--z, 1067(0)499--z, 1067(0)840--z, 1068(0)134--z, 1068(0)286--z, 1069(0)63--z, 1079(0)98--z, 1079(0)202--z, 1079(0)223--z, 1079(0)295--z, 1080(0)432--z, 1081(0)227--z, 1084(0)1--z, 1084(0)175--z, 1085(0)231--z, 1086(0)297--z, 1086(0)623--z, 1088(0)1--z, 1088(0)58--z, 1088(0)370--z, 1092(0)52--z, 1098(0)48--z, 1099(0)562--z
Prograph, 1068(0)128--z
PROGRES, 1073(0)454--z
Progress, 1068(0)336--z, 1097(0)368--z
project, 1031(0)51--z, 1044(0)209--z, 1067(0)413--z, 1067(0)762--z, 1068(0)344--z, 1076(0)66--81, 1079(0)189--z, 1085(0)691--z, 1086(0)279--z, 1088(0)500--z
projection, 1027(0)52--z, 1046(0)491--z, 1064(0)45--z, 1065(0)293--z
projective, 1064(0)147--z, 1065(0)709--z
Projector, 1041(0)524--z
Prolog, 1048(0)252--z, 1050(0)255--z, 1058(0)62--z, 1058(0)108--z, 1081(0)240--z
Promela, 1055(0)329--z
{Promela}ash, 1055(0)349--z
Promoting, 1049(0)215--z, 1086(0)1--z
PRONAOS, 1031(0)124--z
proof, 1046(0)75--z, 1048(0)137--z, 1048(0)204--z, 1050(0)67--z, 1051(0)1--z, 1055(0)34--z, 1066(0)327--z, 1066(0)604--z, 1070(0)131--z, 1070(0)143--z, 1070(0)387--z, 1071(0)193--z, 1071(0)244--z, 1071(0)261--z, 1071(0)312--z, 1074(0)74--z, 1074(0)201--z, 1079(0)212--z, 1085(0)178--z, 1085(0)231--z, 1092(0)86--z, 1099(0)48--z
Proof-theory, 1050(0)161--z
propagation, 1033(0)141--z, 1041(0)408--z, 1057(0)207--z, 1060(0)74--z, 1064(0)263--z, 1064(0)343--z, 1080(0)160--z, 1081(0)375--z
Propagation, Back-, 1067(0)890--z
proper, 1079(0)398--z, 1079(0)468--z
property, 1030(0)88--z, 1048(0)204--z, 1055(0)167--z, 1055(0)412--z, 1058(0)250--z, 1062(0)197--z, 1064(0)175--z, 1067(0)379--z, 1074(0)37--z, 1084(0)260--z, 1090(0)241--z
Proposal, 1041(0)107--114, 1041(0)158--165, 1067(0)421--z, 1098(0)232--z
Proposed, 1029(0)98--z
propositional, 1037(0)33--z, 1050(0)153--z, 1071(0)48--z, 1079(0)448--z, 1092(0)434--z, 1099(0)48--z
Propositions-as-Types, 1043(0)5--z
Proskurowski, A., 1073(0)469--z
Proskurowski, A., see Arnborg, S.
Prospector, 1076(0)213--z
Prospects, 1085(0)596--z
Protected, 1088(0)287--z
protection, 1052(0)229--z, 1066(0)101--z
Protein, 1067(0)373--z, 1075(0)271--z, 1075(0)288--z
protocol, 1029(0)215--z, 1038(0)100--z, 1038(0)116--z, 1044(0)187--z, 1049(0)137--z, 1049(0)275--z, 1051(0)465--z, 1051(0)662--z, 1055(0)147--z, 1066(0)604--z, 1097(0)16--z, 1098(0)316--z
Prototype, 1035(0)531--z, 1061(0)416--z, 1067(0)905--z, 1082(0)221--z, 1088(0)298--z
prototyping, 1027(0)111--z, 1055(0)402--z, 1088(0)262--z
Provable, 1039(0)205--z
Provably, 1039(0)113--z, 1070(0)245--z
Prove, 1046(0)427--z, 1048(0)204--z
Provide, 1045(0)131--z
Providing, 1044(0)65--z, 1044(0)263--z, 1057(0)427--z
proving, 1030(0)88--z, 1051(0)662--z, 1055(0)412--z, 1059(0)226--z, 1071(0)160--z, 1074(0)144--z, 1079(0)551--z, 1092(0)452--z, 1099(0)1--z
Provost, T., Le, 1034(0)148--z
Provot, X., 1063(0)273--z
Provot, X., see Louchet, J.
Proximity, 1027(0)178--z
Pruning, 1050(0)35--z, 1097(0)16--z
Prusinkiewicz, P., 1073(0)550--z
Prusinkiewicz:1996:SBS, 1073(0)550--z
Przygienda, T., 1044(0)1--z
Przygienda, T., see Crochat, O.
Przymusinski, T. C., 1050(0)229--z
Przymusinski:1996:SLP, 1050(0)229--z
Przytycka, T., 1027(0)365--z, 1097(0)246--z, 1099(0)658--z
Przytycka, T., see Kratochvil, J., see Paterson, M.
Przytycka:1996:OCS, 1097(0)246--z
Psaila, G., 1057(0)56--z
Psaila, G., see Meo, R.
Pseudo-random, 1070(0)245--z
Pseudonyms, 1029(0)232--z
PSR, 1091(0)133--z
Public, 1070(0)49--z, 1070(0)60--z, 1070(0)212--z, 1077(0)265--z, 1082(0)1--z, 1085(0)650--z
Public-Key, 1055(0)147--z
Public-key, 1029(0)250--z
Publicly, 1070(0)190--z
Pucci, G., 1099(0)598--z
Pucci, G., see Herley, K. T.
Pucheral, P., 1057(0)490--z
Pucheral, P., see Fessy, J.
Pudlak, P., 1090(0)41--z
Pudlak, P., see Lefmann, H.
Puebla, G., 1058(0)108--z
Puebla, G., see Bueno, F.
Puehlhoefer, M., 1052(0)61--z
Puehlhoefer, M., see Cossmann, H.
Puente, J. A., De La, 1088(0)78--z
Pugh, W., 1033(0)126--z, 1033(0)377--z
Pugh, W., see Kelly, W., \see{Sheffler, T. J.
Pugliese, R., 1051(0)425--z, 1061(0)160--z
Pugliese, R., see De Nicola, R.
Pugliese:1996:AVH, 1051(0)425--z
PULSAR, 1067(0)177--z
Pulse, 1067(0)263--z
Pumping, 1059(0)44--z
Pun, T., 1065(0)307--z
Pun, T., see Gil, S.
punctuation, 1040(0)399--z
Pupo, F., 1091(0)420--z
Pupo, F., see Nigro, L.
Puppe, F., 1086(0)531--z
Puppe, F., see Schewe, S.
Purchase, H. C., 1027(0)435--z
Purchase:1996:VGD, 1027(0)435--z
Pure, 1081(0)388--z
Puri, A., 1066(0)362--z
Puri:1996:ADI, 1066(0)362--z
Purpose, 1033(0)422--z, 1037(0)251--z, 1067(0)499--z, 1076(0)66--81, 1081(0)323--z
Purpose, General-, 1067(0)251--z
Putting, 1079(0)1--z
Puustjaervi, J., 1080(0)345--z
Puustjaervi:1996:MOT, 1080(0)345--z
PVM, 1031(0)206--z, 1041(0)69--z, 1041(0)419--z, 1061(0)432--z, 1067(0)352--z, 1067(0)798--z, 1067(0)820--z
Pym, D., 1071(0)295--z
Pym, D., see Ritter, E.
Pyramidal, 1041(0)436--z