Index file section L for tcs2005.bib
Last update: Fri Oct 18 02:04:06 MDT 2024
Return to index directory
L
-
L-convex, 347(1)336--352, 356(1)58--72
-
L-shape, 359(1)69--76
-
Label, 369(1)197--210
-
labeled, 379(3)377--386, 382(2)97--108
-
labeled, edge-, 352(1)190--196
-
labeling, 400(1)230--233, 410(38)3702--3710
-
labeling, -, 400(1)230--233, 410(38)3702--3710
-
labelings, 349(1)92--98
-
labelings, -, 349(1)92--98
-
Labelle, 408(2)163--173
-
Labelle, G., 346(2)200--225, 391(1)75--89, 406(1)31--42
-
Labelle, G., see Brlek, S.
-
labelled, 333(1)171--197
-
labelling, 378(3)271--291
-
labels, 399(1)54--70
-
Laber, Eduardo Sany, 401(1)120--130
-
Laber:2008:RCA, 401(1)120--130
-
Lacasse, A., 346(2)200--225, 391(1)75--89, 406(1)31--42
-
Lacasse, A., see Brlek, S.
-
laceability, 339(2)257--271, 381(1)218--229
-
Ladner, Richard E., 399(1)3--11
-
Ladner, Richard E., see Bar-Noy, Amotz
-
Ladouceur, A., 352(1)306--317
-
Ladouceur, A., see Brlek, S.
-
Ladyman, James, 410(4)376--383
-
Ladyman:2009:WDI, 410(4)376--383
-
Lafuente, Alberto, Lluch-, 346(1)135--160
-
Lagergren, Jens, 351(3)296--302, 410(21)1993--2000
-
Lagergren, Jens, see Bryant, David,
see Elias, Isaac
-
Lago, Ugo Dal, 373(1)115--141, 398(1)32--50
-
Lago:2007:CTA, 373(1)115--141
-
Lago:2008:WLC, 398(1)32--50
-
Lagorio, Giovanni, 368(1)1--29
-
Lagorio, Giovanni, see Drossopoulou, Sophia
-
Lai, Cheng-Nan, 341(1)196--215
-
Lai, Hongliang, 388(1)1--25
-
Lai, Yung-Ling, 377(1)238--242
-
Lai:2005:SRN, 341(1)196--215
-
Lai:2007:CDC, 388(1)1--25
-
Lai:2007:EGG, 377(1)238--242
-
Laird, J., 333(1)199--224, 342(1)132--148, 350(2)275--291, 394(1)64--83
-
Laird:2005:GSL, 333(1)199--224
-
Laird:2005:LBD, 342(1)132--148
-
Laird:2006:CC, 350(2)275--291
-
Laird:2008:DSC, 394(1)64--83
-
Lam, Tak-Wah, 352(1)240--249, 359(1)430--439, 409(3)521--529
-
Lam, Tak-Wah, see Chan, Joseph Wun-Tat,
see Chan, Wun-Tat,
see Huynh, Trinh N. D.
-
Lam, Tao Kai, 401(1)172--180
-
Lam, Tao Kai, see Bachmat, Eitan
-
Lamb, Luís C., 358(1)34--55, 371(1)34--53,
see Garcez, Artur S. d'Avila
-
lambda, 342(1)79--103, 355(2)108--126, 364(3)338--356, 398(1)12--15,
398(1)16--31, 398(1)32--50, 398(1)95--113, 398(1)114--128
-
lambda-terms, 403(2)347--372
-
Lambek, 357(1)186--201
-
Lamo, Yngve, 355(2)215--227
-
Lamo:2006:QFL, 355(2)215--227
-
Lan, James K., 359(1)69--76
-
Lan, James K., see Chen, Chiuyuan
-
Lancia, Giuseppe, 335(1)109--125
-
Lancia, Giuseppe, see Bafna, Vineet
-
Landau, Gad M., 395(2)268--282, 395(2)283--297, 410(43)4315--4326,
410(51)5299--5299
-
Landau, Gad M., see Crochemore, Maxime,
see Ferragina, Paolo, \see{Kapah, Oren,
see Kim, Jin Wook
-
Landau, Shir, 387(3)220--235
-
Landau, Shir, see Kaplan, Haim
-
Lando, Yuval, 410(21)2122--2125
-
Lando:2009:ISN, 410(21)2122--2125
-
landscape, 378(1)54--77
-
Lanese, Ivan, 366(1)98--120, 402(2)102--119
-
Lanese, Ivan, see Bruni, Roberto
-
Laneve, C., 408(1)17--30
-
Laneve, C., see Credi, A.
-
Laneve, Cosimo, 404(1)127--141
-
Laneve:2008:SCP, 404(1)127--141
-
Langberg, Michael, 377(1)35--42
-
Langberg, Michael, see Avidor, Adi
-
Lange, Steffen, 348(1)15--40, 348(1)41--57, 387(1)51--66,
397(1)194--232
-
Lange, Steffen, see Jain, Sanjay,
see Nessel, Jochen
-
Lange:2005:IIA, 348(1)15--40
-
Lange:2008:LIF, 397(1)194--232
-
Langerman, Stefan, 332(1)405--415, 410(8)949--957
-
Langerman, Stefan, see Cardinal, Jean
-
Langevin, 408(1)31--40
-
Langille, Miika, 395(1)24--30
-
Langille:2008:SVP, 395(1)24--30
-
Langston, Mike, 351(3)295--295
-
Langston, Mike, see Downey, Rod
-
language-based, 388(1)26--52
-
Laplacian, 410(1)78--83
-
Lara, Juan de, 376(3)139--163
-
large, 330(1)23--34, 332(1)417--446, 339(1)19--34, 363(1)85--98,
385(1)137--151, 386(1)114--131, 389(1)91--99, 390(2)129--170,
401(1)107--119, 406(3)215--224, 407(1)155--181, 407(1)458--473,
410(47)5196--5200, 410(50)5236--5243
-
Larger, 372(1)46--68
-
largest, 332(1)543--557, 347(1)54--75, 350(1)40--48, 362(1)33--53,
367(3)273--285
-
Largeteau, Gaëlle, 388(1)26--52,
see Geniet, Dominique
-
Larmore, Lawrence L., 410(8)711--717, 410(38)3631--3639
-
Larmore, Lawrence L., see Bein, Wolfgang W.,
see Bein, Wolfgang
-
Larose, Benoît, 410(18)1629--1647
-
Larose:2009:UAH, 410(18)1629--1647
-
Laroussinie, F., 353(1)249--271
-
Laroussinie:2006:ETM, 353(1)249--271
-
Larsen, K. G., 410(41)4026--4043
-
Larsen, K. G., see Bene{\v{s}}, N.
-
Larsen, Kim Guldstrand, 390(2)197--213
-
Larsen, Kim S., 362(1)127--139
-
Larsen, Kim S., see Boyar, Joan
-
Larsen:2008:ORM, 390(2)197--213
-
Larsson, N. Jesper, 387(3)258--272
-
Larsson:2007:FSS, 387(3)258--272
-
Lasota, Slawomir, 360(1)172--192
-
Lasota, S{\l}awomir, 386(3)169--187,
see Fröschle, Sibylle
-
Lasota:2006:DPE, 360(1)172--192
-
Lasserre, Jean B., 410(27)2685--2700
-
Lasserre:2009:PPA, 410(27)2685--2700
-
last, 410(30)2870--2884
-
Latapy, Matthieu, 346(2)226--253, 355(1)1--5, 407(1)458--473
-
Latapy, Matthieu, see Chavanon, Frédéric,
see Kumar, Ravi
-
Latapy:2008:MMT, 407(1)458--473
-
Latella, Diego, 382(1)42--70
-
Latella, Diego, see De Nicola, Rocco
-
latency, 410(8)745--755
-
lateness, 381(1)234--240
-
Lathrop, James I., 410(4)384--405
-
Lathrop:2009:SSA, 410(4)384--405
-
Latteux, Michel, 332(1)179--198, 340(2)322--333, 356(1)212--223,
380(3)355--362
-
Latteux, Michel, see Berstel, Jean,
see Halava, Vesa,
see Karhumäki, Juhani
-
Latteux:2006:IBL, 356(1)212--223
-
lattice, 346(2)307--334, 374(1)66--73, 403(1)71--88, 406(1)55--62,
409(3)382--393, 410(27)2701--2713, 410(38)3616--3630
-
lattice-based, 367(3)308--323
-
Lau, Francis C. M., 384(2)263--286, 389(1)250--264, 410(38)3882--3892
-
Lau, Francis C. M., see Hua, Qiang-Sheng,
see Wang, Rui
-
Laud, Peeter, 364(3)292--310
-
Laud:2006:TSE, 364(3)292--310
-
Laura, Luigi, 401(1)144--152, 408(2)116--128
-
Laura, Luigi, see Allulli, Luca,
see Bonifaci, Vincenzo
-
Laurence, Michael R., 373(1)1--18
-
Laurence, Michael R., see Danicic, Sebastian
-
Laurent, Monique, 361(2)210--225, 410(27)2685--2700
-
Laurent, Monique, see Klerk, Etienne de,
see Lasserre, Jean B.
-
Laurent, Olivier, 343(1)177--206
-
Laurent:2005:SVS, 343(1)177--206
-
Lauria, Massimo, 384(2)161--167, 399(1)38--53
-
Lauria, Massimo, see Calamoneri, Tiziana,
see Clementi, Andrea E. F.
-
Lavallée, Ivan, 410(6)451--452
-
Lavallée, Sylvain, 381(1)266--273
-
Lavallee:2007:ZFA, 381(1)266--273
-
Lavallee:2009:EP, 410(6)451--452
-
Lavault, Christian, 359(1)239--254
-
Lavault:2006:AAL, 359(1)239--254
-
law, 390(2)129--170
-
law, power-, 393(1)220--230, 407(1)458--473
-
Lawson, 357(1)230--240, 405(1)198--205
-
Lawson, Jimmie D., 405(1)73--74
-
Lawson:2008:MSD, 405(1)73--74
-
Lawvere, 366(1)144--162
-
Lax, R. F., 332(1)63--81
-
Lax, R. F., see Seiden, Steven S.
-
layered, multi-, 348(1)95--127
-
lazy, 375(1)120--136
-
LCS, 409(3)438--449, 410(43)4303--4314
-
Le, Minh Ha, 389(1)82--90
-
Le, Van Bang, 370(1)229--239, 389(1)330--335, 410(47)4812--4822,
410(52)5443--5454
-
Le, Van Bang, see Bayer, Daniel,
see Brandstädt, Andreas
-
Le:2007:CCG, 389(1)330--335
-
Le:2007:SPD, 389(1)82--90
-
lead, 378(2)134--142, 405(1)64--72
-
leader, 356(3)468--494, 359(1)239--254, 369(1)442--447, 388(1)267--289
-
Leading, 405(3)285--296
-
leaf, 410(45)4571--4579, 410(52)5505--5514
-
leaf-agreement, 370(1)299--308
-
learnability, 397(1)150--165, 410(47)4928--4936
-
learnability, PAC-, 387(1)18--31
-
learnable, non-, 350(1)91--102
-
learners, 410(27)2562--2580
-
learning, 341(1)39--54, 342(2)262--315, 344(2)298--334, 348(1)3--14,
348(1)41--57, 348(1)58--69, 348(1)70--83, 348(1)95--127,
349(2)168--183, 350(1)3--12, 350(1)13--23, 350(1)24--39,
350(1)49--62, 350(1)103--124, 350(1)125--139, 364(1)42--61,
364(1)77--97, 364(1)98--114, 364(1)115--131, 367(3)286--307,
378(1)87--100, 382(3)183--197, 382(3)209--220, 384(1)2--21,
384(1)66--76, 387(1)32--50, 387(1)51--66, 387(1)67--76,
389(1)190--218, 395(2)135--136, 397(1)4--56, 397(1)194--232,
397(1)233--246, 405(3)209--222, 405(3)223--236, 405(3)256--273,
405(3)274--284, 407(1)192--202, 410(19)1765--1780,
410(19)1796--1806, 410(19)1807--1825, 410(19)1826--1846,
410(19)1863--1875, 410(19)1903--1912, 410(47)5145--5157
-
learning, subspace-, 405(3)237--255
-
least, 350(2)325--344, 382(3)221--231
-
Lebesgue, 377(1)126--138
-
Lebhar, Emmanuelle, 348(2)294--310, 355(1)96--103, 410(21)1970--1981
-
Lebhar, Emmanuelle, see Duchon, Philippe,
see Fraigniaud, Pierre
-
Lebhar:2005:COD, 348(2)294--310
-
Lecomte, Pierre, 391(1)1--2
-
Lecomte, Pierre, see Berthé, Valérie
-
Lecroq, T., 410(43)4350--4359
-
Lecroq, T., see Salson, M.
-
Lecroq, Thierry, 407(1)290--301
-
Lecroq, Thierry, see Prieur, Élise
-
Lee, D. T., 377(1)151--156
-
Lee, D. T., see Lin, Tien-Ching
-
Lee, Der-Tsai, 408(2)97--98
-
Lee, Der-Tsai, see Amato, Nancy M.
-
Lee, Edward A., 409(1)110--125
-
Lee, Edward A., see Liu, Xiaojun
-
Lee, James R., 348(2)262--276
-
Lee, James R., see Krauthgamer, Robert
-
Lee, Jonathan K., 407(1)258--273
-
Lee, Kangbok, 410(38)3975--3981
-
Lee, Richard Chia-Tung, 341(1)385--397
-
Lee, Richard Chia-Tung, see Wu, Quincy
-
Lee, Sunho, 410(43)4402--4413
-
Lee, T. T., 346(1)161--182
-
Lee, T. T., see Harrison, P. G.
-
Lee, Troy, 345(2)386--405
-
Lee, Wen-shin, 409(2)180--185
-
Lee, Wen-shin, see Cuyt, Annie
-
Lee:2005:RBS, 345(2)386--405
-
Lee:2008:ARA, 407(1)258--273
-
Lee:2009:DRS, 410(43)4402--4413
-
Lee:2009:OST, 410(38)3975--3981
-
Leeuwen, Jan van, 331(1)1--2
-
Leeuwen, Jan van, see Orejas, Fernando
-
Lefmann, Hanno, 363(1)85--98
-
Lefmann:2006:LTD, 363(1)85--98
-
left-arm, 355(3)303--314
-
left-right-imbalance, 370(1)265--278
-
left-to-right, 341(1)55--72
-
Lehtonen, Eero, 407(1)596--600
-
Lehtonen:2008:TUV, 407(1)596--600
-
Leibon, Gregory, 409(2)211--228
-
Leibon:2008:FHT, 409(2)211--228
-
Leighton, Tom, 352(1)318--321
-
Leighton, Tom, see Hajiaghayi, M. T.
-
Leiss, 369(1)377--383
-
Leitsch, Alexander, 403(2)160--175
-
Leitsch, Alexander, see Baaz, Matthias
-
Lemaitre, Claire, 395(2)171--192
-
Lemaitre:2008:STU, 395(2)171--192
-
Lemay, Aurélien, 356(1)212--223, see Latteux, Michel
-
lemma, 377(1)126--138, 410(21)2207--2222, 410(43)4295--4302
-
lemmata, 394(3)223--228
-
Lena, P., Di, 410(47)4823--4833
-
length, 332(1)573--581, 339(2)315--332, 339(2)333--343, 347(1)54--75,
401(1)131--143, 410(35)3223--3235, 410(47)5182--5187
-
length, run-, 395(2)268--282, 410(38)3942--3948,
410(43)4402--4413
-
length, tree-, 383(1)34--44
-
length-constrained, 407(1)349--358
-
Lenisa, Marina, 398(1)150--169
-
Lenisa, Marina, see Di Gianantonio, Pietro
-
Lenstra, Jan Karel, 379(3)305--305
-
Lenstra, Jan Karel, see Baeten, Jos C. M.
-
Lenzerini, Maurizio, 336(1)1--1, 371(3)169--182
-
Lenzerini, Maurizio, see Calvanese, Diego
-
Lenzerini:2005:P, 336(1)1--1
-
Lenzi, Giacomo, 338(1)64--95
-
Lenzi, Giacomo, see D'Agostino, Giovanna
-
Léonard, M., 410(43)4350--4359, see Salson, M.
-
Leone, Pierre, 344(1)69--85
-
Leone:2005:TDM, 344(1)69--85
-
Leontief, 378(2)134--142
-
Leontief, linear-, 410(17)1573--1580
-
Lepistö, Arto, 347(1)419--422, 380(3)377--387,
see Harju, Tero
-
Lepisto:2007:TIW, 380(3)377--387
-
Leporati, Alberto, 372(2)218--241
-
Leporati:2007:TQA, 372(2)218--241
-
Lermer, Karl, 346(1)3--27
-
Lermer:2005:TET, 346(1)3--27
-
Leroux, Jérôme, 409(3)549--556
-
Leroux, Pierre, 346(2)307--334
-
Leroux, Pierre, see Gouyou-Beauchamps, Dominique
-
Leroux:2008:SPD, 409(3)549--556
-
Lescanne, Pierre, 398(1)114--128
-
Lescanne, Pierre, see Dougherty, Daniel J.
-
less, 394(1)134--140
-
Letouzey, Fabien, 348(1)70--83
-
Letouzey, Fabien, see Denis, François
-
letter, 374(1)25--40, 376(1)30--41, 380(3)388--392, 410(30)2870--2884,
410(30)2957--2960, 410(38)3893--3900
-
letter, 2-, 393(1)166--181
-
letter, multi-, 410(30)3006--3017
-
letter, one-, 340(2)408--431, 410(16)1477--1485
-
Leucker, Martin, 358(2)150--172
-
Leucker, Martin, see Bollig, Benedikt
-
Leung, H. F., 363(1)69--75
-
Leung, Hing, 387(2)91--92
-
Leung, Joseph Y.-T., 401(1)85--95, 410(38)3975--3981
-
Leung, Joseph Y.-T., see Huo, Yumei,
see Lee, Kangbok
-
Leung, Vitus, 396(1)158--179
-
Leung, Vitus, see Irani, Sandy
-
Leung:2006:EAO, 363(1)69--75
-
Leung:2007:P, 387(2)91--92
-
Leupold, Peter, 330(2)205--220, 370(1)170--185
-
Leupold, Peter, see Castellanos, Juan
-
Leupold:2007:LGI, 370(1)170--185
-
Levé, F., 339(1)103--128, 372(1)15--25
-
Levé, Florence, 409(3)578--600, see Glen, Amy
-
Leve:2005:CAF, 339(1)103--128
-
Leve:2007:QSW, 372(1)15--25
-
level, 330(2)299--310, 351(1)74--81, 406(3)240--247
-
level, high-, 336(2)205--207, 336(2)235--284, 343(3)482--508
-
level, low-, 373(3)273--302
-
level, multi-, 351(2)146--166
-
level-1, 363(1)60--68
-
Levene, Mark, 396(1)88--96
-
Levene, Mark, see Fenner, Trevor
-
Lévêque, Benjamin, 410(21)2234--2240
-
Leveque:2009:CAG, 410(21)2234--2240
-
Levi, 410(46)4603--4604, 410(46)4605--4607
-
Levi, Tamir, 410(14)1369--1376, 410(38)3725--3732
-
Levi, Tamir, see Even, Guy
-
Levi:2009:ACO, 410(38)3725--3732
-
Levin, Asaf, 349(3)337--346, 359(1)418--429, 369(1)384--395,
407(1)85--96
-
Levin, Asaf, see Epstein, Leah
-
Levin:2006:PMT, 369(1)384--395
-
Levner, Eugene, 410(47)5188--5190
-
Levner, Eugene, see Che, Ada
-
Levy, Avivit, 410(43)4315--4326, 410(43)4382--4390, 410(51)5334--5346
-
Levy, Avivit, see Amir, Amihood,
see Kapah, Oren
-
Levy, Eythan, 410(8)949--957
-
Levy, Eythan, see Cardinal, Jean
-
Levy, Meital, 363(1)18--27, 407(1)203--212
-
Levy, Meital, see Azar, Yossi,
see Epstein, Leah
-
Levy, Paul Blain, 375(1)20--40
-
Levy, Paul Blain, see Hyland, Martin
-
Lewenstein, Moshe, 410(51)5347--5353
-
Lewenstein, Moshe, see Keller, Orgad
-
Lewis, Philip, 353(1)71--92
-
Lewis, Philip, see Lu, Shiyong
-
lexicalized, 410(37)3530--3538
-
lexicographic, 337(1)240--248
-
Leykin, Anton, 359(1)111--122
-
Leykin:2006:NMD, 359(1)111--122
-
Li, Angsheng, 384(1)1--1, 410(11)1042--1053
-
Li, Angsheng, see Cooper, Barry
-
Li, Bin, 409(2)200--210
-
Li, Chen, 368(1)88--123
-
Li, Chen, see Afrati, Foto
-
Li, Deying, 410(8)661--669
-
Li, Hao, 377(1)25--34, 393(1)81--89
-
Li, Hao, see Zhang, Zhao
-
Li, Jianbo, 381(1)124--133
-
Li, Jianbo, see Chen, Mingxia
-
Li, Jianping, 335(1)15--27, 335(1)53--66, 381(1)124--133,
410(8)877--885
-
Li, Jianping, see Chen, Mingxia,
see Wang, Lusheng, \see{Xu, Ying
-
Li, Li (Erran), 410(17)1589--1598, see Immorlica, Nicole
-
Li, Lian, 393(1)81--89
-
Li, Lian, see Li, Hao
-
Li, Lvzhou, 358(1)65--74, 403(1)42--51, 410(26)2529--2535
-
Li, Ming, 410(24)2410--2423, 410(30)2834--2839
-
Li, Ming, see Bu, Dongbo, \see{Li, Shuai Cheng
-
Li, Minming, 337(1)390--398, 401(1)52--61, 407(1)511--523,
410(11)1013--1021, 410(27)2619--2631
-
Li, Minming, see Chen, Zhi-Zhong,
see Huang, Li-Sha,
see Huang, Scott C.-H., \see{Wu, Weiwei
-
Li, Ping, 378(2)190--197, 396(1)258--263
-
Li, Ping, see Cheng, Gang, \see{Liu, Guizhen
-
Li, Qiao, 352(1)197--214
-
Li, Qiao, see Bao, Xuewen
-
Li, Sanjiang, 403(2)192--201
-
Li, Shisheng, 410(47)4856--4863
-
Li, Shuai Cheng, 410(24)2410--2423, 410(30)2834--2839
-
Li, Shuai Cheng, see Bu, Dongbo
-
Li, Wei, 355(3)291--302
-
Li, Wei, see Xu, Ke
-
Li, Weidong, 381(1)124--133, 410(8)877--885
-
Li, Weidong, see Chen, Mingxia,
see Li, Jianping
-
Li, Wenjie, 410(47)5182--5187
-
Li, Xiang-Yang, 378(3)271--291
-
Li, Xiang-Yang, see Kao, Ming-Yang
-
Li, Xiaoshan, 365(1)109--142
-
Li, Xiaoshan, see Jifeng, He
-
Li, Xueliang, 355(3)354--363, 385(1)1--10, 385(1)60--70, 396(1)151--157
-
Li, Xueliang, see Broersma, Hajo,
see Jin, Zemin
-
Li, Yingshu, 352(1)1--7
-
Li, Yingshu, see Wu, Weili
-
Li, Zhongfei, 363(3)248--256
-
Li, Zhongfei, see Cai, Mao-cheng
-
Li:2006:DEB, 358(1)65--74
-
Li:2007:MMM, 385(1)1--10
-
Li:2008:AGP, 409(2)200--210
-
Li:2008:DEO, 403(1)42--51
-
Li:2008:ECW, 393(1)81--89
-
Li:2008:OCC, 396(1)151--157
-
Li:2008:SCA, 403(2)192--201
-
Li:2009:AOT, 410(11)1013--1021
-
Li:2009:CSC, 410(8)661--669
-
Li:2009:EDA, 410(11)1042--1053
-
Li:2009:NQS, 410(26)2529--2535
-
Li:2009:OSU, 410(47)5182--5187
-
Li:2009:SCM, 410(8)877--885
-
Li:2009:SFJ, 410(47)4856--4863
-
Li:2009:TOP, 410(24)2410--2423
-
Liang, Chuck, 410(46)4747--4768
-
Liang, Jihua, 405(1)35--40
-
Liang, Jihua, see Huang, Fangping
-
Liang, Tyne, 410(8)801--811
-
Liang, Tyne, see Kung, Tzu-Liang
-
Liang, Weifa, 409(3)477--485
-
Liang, Weifa, see Shen, Xiaojun
-
Liang:2009:FPL, 410(46)4747--4768
-
Liao, Bo, 358(1)56--64
-
Liao:2006:GRD, 358(1)56--64
-
liberal, 373(1)1--18
-
Libkin, Leonid, 371(3)147--147
-
Libkin, Leonid, see Eiter, Thomas
-
library, 351(1)111--118
-
Lieberum, Jens, 349(2)230--244
-
Lieberum:2005:EFG, 349(2)230--244
-
Liedloff, Mathieu, 385(1)226--240
-
Liedloff, Mathieu, see Kratsch, Dieter
-
Life, 372(1)46--68
-
light, 336(2)235--284, 381(1)292--300
-
lightweight, 410(6)500--513
-
like, ambient-, 356(3)440--467
-
like, Collatz-, 390(1)92--101
-
like, CTL-, 356(1)136--152
-
like, domain-, 365(3)258--282
-
like, Fibonacci-, 337(1)379--389
-
like, hypercube-, 377(1)170--180, 381(1)218--229,
410(27)2632--2640
-
like, traceroute-, 355(1)6--24
-
like, Yao-, 410(14)1388--1400
-
Lim, Andrew, 332(1)1--17
-
Lim, Hyeong-Seok, 377(1)170--180
-
Lim, Hyeong-Seok, see Park, Jung-Heum
-
Lim:2005:CPM, 332(1)1--17
-
Lime, D., 403(2)202--220
-
Lime, D., see Bérard, B.
-
limit, 364(1)77--97, 372(1)46--68, 390(2)230--247, 402(2)221--233,
410(30)2972--2981
-
limitation, 351(1)82--100
-
limited, 337(1)147--168, 364(1)3--9, 385(1)78--87, 389(1)190--218,
410(21)1961--1969
-
limited, negation-, 410(11)1054--1060
-
Limiting, 410(38)3988--3994
-
Lin, Cheng-Kuan, 339(2)257--271, 381(1)218--229, 410(8)801--811
-
Lin, Cheng-Kuan, see Kung, Tzu-Liang
-
Lin, Guohui, 410(52)5415--5424
-
Lin, Guohui, see Cai, Zhipeng
-
Lin, Hong-Yiu, 407(1)545--553
-
Lin, Mingen, 363(3)266--277
-
Lin, Tien-Ching, 377(1)151--156
-
Lin, Yixun, 374(1)196--202, 381(1)234--240
-
Lin, Yixun, see Fu, Ruyan, \see{He, Cheng
-
Lin, Zhiyong, 363(3)266--277
-
Lin, Zhiyong, see Lin, Mingen
-
Lin:2005:SCP, 339(2)257--271
-
Lin:2006:GBW, 363(3)266--277
-
Lin:2007:RAS, 377(1)151--156
-
Lin:2007:SCS, 381(1)218--229
-
Lin:2008:TWD, 407(1)545--553
-
Linden, Isabelle, 410(2)221--253
-
Linden, Isabelle, see Jacquet, Jean-Marie
-
Lindner, Wolfgang, 350(1)49--62, 410(47)4928--4936
-
Lindner, Wolfgang, see Arvind, V.,
see Köbler, Johannes
-
line, 332(1)251--264, 349(3)462--474, 351(3)425--436, 377(1)157--169,
410(38)3655--3669
-
line, On-, 332(1)83--108, 372(1)94--102, 374(1)49--57,
407(1)290--301
-
line, on-, 339(2)333--343, 364(1)10--26, 393(1)287--293,
405(3)285--296, 407(1)554--563, 408(2)116--128
-
line, Semi-on-, 337(1)134--146
-
line, straight-, 407(1)258--273, 410(27)2659--2662
-
linear, 332(1)199--232, 333(1)199--224, 334(1)99--113, 339(1)68--87,
342(2)382--415, 347(1)76--89, 347(1)276--287, 348(2)217--225,
350(1)40--48, 352(1)288--292, 352(1)332--341, 353(1)165--207,
354(1)82--97, 355(3)303--314, 357(1)215--229, 359(1)28--42,
360(1)42--76, 362(1)115--126, 363(2)182--195, 373(1)1--18,
374(1)191--195, 380(1)23--36, 381(1)230--233, 382(2)109--119,
388(1)53--82, 404(1)76--87, 407(1)155--181, 409(2)255--268,
410(8)718--726, 410(27)2592--2618, 410(38)3761--3768,
410(38)3982--3987, 410(46)4747--4768, 410(51)5300--5316
-
linear, Quasi-, 410(21)2126--2134
-
linear-Leontief, 410(17)1573--1580
-
Linear-size, 410(11)1054--1060
-
linear-time, 341(1)411--440, 384(1)92--103, 385(1)127--136, 410(1)1--15
-
linearization, 342(1)79--103
-
Lingas, Andrzej, 354(3)319--319, 374(1)149--158, 380(1)37--46
-
Lingas, Andrzej, see Alon, Noga,
see Czumaj, Artur
-
Lingas:2006:P, 354(3)319--319
-
link, 368(1)1--29, 374(1)1--24, 381(1)44--56, 407(1)318--329,
410(8)766--775
-
Link, Sebastian, 353(1)53--62, 355(2)167--196, 360(1)459--459,
364(2)212--240
-
Link, Sebastian, see Hartmann, Sven
-
linked, 368(1)1--29
-
linking, 368(1)1--29
-
linking, re-, 368(1)1--29
-
lion, 399(3)220--235
-
Liotta, Giuseppe, 359(1)148--175, 408(2)129--142
-
Liotta, Giuseppe, see Badent, Melanie,
see Di Giacomo, Emilio
-
Lipschitz, 382(3)232--246
-
Lipton, James, 410(46)4626--4671
-
Lipton, James, see Amato, Gianluca
-
liquid, 410(11)1003--1012
-
Liquori, Luigi, 398(1)243--260
-
Liquori:2008:EFJ, 398(1)243--260
-
Li{\'s}kiewicz, Maciej, 410(11)1030--1041, 410(51)5317--5333,
see Hundt, Christian,
see Jakoby, Andreas
-
list, 346(2)189--199, 349(1)52--66, 349(1)92--98, 352(1)136--158,
355(2)167--196, 360(1)459--459, 369(1)250--255, 379(3)418--436,
401(1)62--76, 407(1)21--28, 410(38)3631--3639
-
lit-only, 381(1)292--300
-
literals, 410(30)2920--2934
-
Litman, Ami, 410(14)1369--1376, 410(38)3725--3732
-
Litman, Ami, see Even, Guy, \see{Levi, Tamir
-
Litovsky, Igor, 363(2)107--107
-
Litovsky, Igor, see Farré, Jacques
-
Liu, Bin, 410(47)5196--5200
-
Liu, Bin, see Yu, Dongxiao
-
Liu, Guangwu, 410(35)3272--3280
-
Liu, Guangwu, see Ésik, Zoltán
-
Liu, Gui-Zhen, 381(1)230--233
-
Liu, Gui-Zhen, see Wu, Jian-Liang
-
Liu, Guizhen, 369(1)250--255, 396(1)258--263, 407(1)110--116,
410(21)1982--1985, 410(47)5196--5200
-
Liu, Guizhen, see Hou, Jianfeng,
see Ma, Meijie, \see{Wang, Guanghui,
see Yu, Dongxiao
-
Liu, Hong, 410(27)2746--2753
-
Liu, Hsiao-Fei, 389(1)182--189, 407(1)349--358
-
Liu, J. J., 410(38)3942--3948
-
Liu, Jiping, 396(1)212--222
-
Liu, Jiping, see Chandler, David B.
-
Liu, Kin-Shing, 359(1)430--439
-
Liu, Kin-Shing, see Chan, Wun-Tat
-
Liu, L. L., 374(1)159--169
-
Liu, Lan, 378(3)316--330
-
Liu, Li, 393(1)81--89
-
Liu, Li, see Li, Hao
-
Liu, Longcheng, 396(1)28--34
-
Liu, Ming, 410(21)2099--2109, 410(38)3875--3881, 410(47)5039--5046
-
Liu, Ruifang, 410(1)78--83
-
Liu, Xiaojun, 409(1)110--125
-
Liu, Xingwu, 410(21)2162--2173
-
Liu, Yan Yan, 389(1)250--264
-
Liu, Yan Yan, see Wang, Rui
-
Liu, Yiguang, 367(3)273--285
-
Liu, Zhaohui, 347(1)288--298
-
Liu, Zhiming, 365(1)109--142
-
Liu, Zhiming, see Jifeng, He
-
Liu, Zi-Long, 410(38)3804--3813
-
Liu:2005:ASM, 347(1)288--298
-
Liu:2006:CFN, 367(3)273--285
-
Liu:2007:CAM, 378(3)316--330
-
Liu:2007:SJA, 374(1)159--169
-
Liu:2007:TAK, 389(1)182--189
-
Liu:2008:AFW, 407(1)349--358
-
Liu:2008:CST, 409(1)110--125
-
Liu:2008:IMM, 396(1)28--34
-
Liu:2008:PCG, 396(1)258--263
-
Liu:2009:CRT, 410(21)2162--2173
-
Liu:2009:FAF, 410(38)3942--3948
-
Liu:2009:MLS, 410(1)78--83
-
Liu:2009:OSM, 410(47)5039--5046
-
Liu:2009:OST, 410(21)2099--2109
-
Liu:2009:OSU, 410(38)3875--3881
-
Liu:2009:PAU, 410(38)3804--3813
-
Liu:2009:PCC, 410(27)2746--2753
-
lived, Long-, 383(1)59--85
-
liveness, 387(2)187--195
-
Lluch-Lafuente, Alberto, 346(1)135--160
-
Lluch-Lafuente:2005:QCC, 346(1)135--160
-
LMNtal, 410(46)4784--4800
-
load, 361(2)314--328, 369(1)348--360
-
loading, pre-, 399(1)3--11
-
local, 338(1)315--349, 355(1)80--95, 356(1)126--135, 361(1)2--17,
364(2)196--211, 365(3)199--205, 372(1)81--93, 375(1)271--307,
378(1)32--40, 380(3)317--329, 399(1)71--82, 410(1)94--100,
410(14)1388--1400, 410(27)2701--2713, 410(45)4543--4553,
410(46)4769--4783
-
local, non-, 358(1)3--14
-
localization, 344(1)86--99
-
locally, 342(1)132--148, 348(2)187--206, 401(1)206--216, 410(8)926--932,
410(47)4961--4974
-
Locating, 333(1)297--327, 349(3)429--442
-
location, 336(2)285--309, 361(2)275--313, 363(3)289--300, 372(1)81--93,
384(1)126--135, 410(38)3856--3874
-
locks, 343(3)482--508
-
Loehr, Nicholas A., 407(1)400--411
-
Loehr, Nicholas A., see Benedetto, Katherine P.
-
Löf, Martin-, 382(3)247--261
-
log-depth, 410(11)1054--1060
-
logarithm, 410(8)736--744
-
Logarithmic, 410(21)2110--2121
-
logic, 330(3)475--499, 334(1)259--274, 336(1)125--151, 336(1)181--203,
336(2)343--365, 338(1)127--152, 342(1)56--78, 342(2)316--350,
342(2)351--381, 343(1)72--96, 343(3)413--442, 343(3)482--508,
344(2)134--207, 346(1)113--134, 350(1)103--124, 350(2)325--344,
351(2)258--275, 353(1)93--117, 353(1)165--207, 354(1)24--41,
354(3)421--440, 355(2)105--107, 355(2)197--214, 355(2)215--227,
356(1)126--135, 356(1)136--152, 356(3)440--467, 357(1)136--142,
357(1)143--166, 357(1)167--185, 357(1)215--229, 358(2)150--172,
358(2)255--272, 358(2)293--314, 360(1)42--76, 360(1)193--208,
360(1)247--288, 363(2)182--195, 366(3)228--247, 367(3)336--346,
368(1)50--63, 368(1)149--160, 369(1)82--115, 371(1)34--53,
373(1)70--91, 373(3)163--181, 373(3)213--237, 373(3)273--302,
375(1)227--270, 375(1)308--334, 376(1)89--100, 380(1)69--86,
382(1)3--23, 382(1)42--70, 386(1)38--56, 388(1)83--108,
388(1)319--336, 389(3)411--445, 390(2)230--247, 394(1)1--38,
394(3)141--143, 402(2)172--189, 403(1)130--131, 403(2)373--381,
408(1)55--65, 409(1)41--58, 410(12)1143--1158, 410(18)1666--1683,
410(20)1952--1959, 410(37)3481--3494, 410(42)4262--4291,
410(46)4692--4703, 410(46)4747--4768, 410(46)4784--4800
-
logical, 368(1)124--148, 389(3)337--340, 391(3)258--275, 394(1)39--63,
397(1)114--128, 410(8)696--710
-
logical, meta-, 367(1)162--202
-
Lohrey, Markus, 363(2)196--210
-
Lohrey:2006:CTA, 363(2)196--210
-
Loidl, Hans-Wolfgang, 364(3)271--272, 389(3)411--445
-
Loidl, Hans-Wolfgang, see Aspinall, David,
see Hofmann, Martin
-
Loizou, George, 396(1)88--96
-
Loizou, George, see Fenner, Trevor
-
Lombardi, Henri, 392(1)113--127
-
Lombardi:2008:SRF, 392(1)113--127
-
Lombardy, Sylvain, 332(1)141--177, 356(1)224--244
-
Lombardy:2005:DRE, 332(1)141--177
-
Lombardy:2006:S, 356(1)224--244
-
Lonardi, Stefano, 368(3)217--230, 395(2)135--136
-
Lonardi, Stefano, see Giancarlo, Raffaele
-
Lonardi:2006:FBR, 368(3)217--230
-
Lonati, Violetta, 356(1)153--169
-
Lonati, Violetta, see Goldwurm, Massimiliano
-
long, 377(1)25--34, 389(1)330--335, 409(3)432--437
-
Long, Philip M., 405(3)207--208
-
Long-lived, 383(1)59--85
-
long-range, 348(2)294--310
-
long-term, 408(2)199--207
-
Long:2008:P, 405(3)207--208
-
longer, 332(1)559--566
-
longest, 337(1)370--378, 362(1)248--254, 370(1)1--18, 378(3)223--236,
395(2)255--267, 407(1)349--358, 410(8)766--775, 410(8)900--913,
410(27)2759--2766, 410(51)5347--5353
-
Longo, Giuseppe, 398(1)170--182
-
Longo, Giuseppe, see Hoyrup, Mathieu
-
Longpré, Luc, 410(50)5252--5260
-
Longpre:2009:CS, 410(50)5252--5260
-
look, 410(46)4692--4703
-
lookahead, 341(1)344--363, 408(2)116--128, 410(47)5182--5187
-
Looking, 351(3)437--445
-
loop, 380(3)363--372, 381(1)68--85, 403(2)307--327
-
loop, double-, 359(1)69--76
-
Loos, Remco, 358(1)75--87, 386(1)132--150, 410(4)406--416
-
Loos:2006:ADS, 358(1)75--87
-
Loos:2007:CTS, 386(1)132--150
-
Loos:2009:SRF, 410(4)406--416
-
López, Damián, 410(47)4961--4974,
see García, Pedro
-
López, Luis, 343(1)4--26
-
López, Natalia, 353(1)228--248
-
López-Ortiz, Alejandro, 410(38)3694--3701,
see Dorrigiv, Reza
-
Lopez:2005:MMT, 343(1)4--26
-
Lopez:2006:STI, 353(1)228--248
-
Lorenz, Robert, 410(12)1190--1216
-
Lorenz:2009:ESP, 410(12)1190--1216
-
Loreti, Michele, 382(1)42--70
-
Loreti, Michele, see De Nicola, Rocco
-
Lory{\'s}, Krzysztof, 361(2)150--171, see Krysta, Piotr
-
Losing, 379(1)298--304
-
loss, 351(1)111--118, 410(8)847--858
-
losslessness, 371(3)169--182
-
Lotker, Zvi, 410(21)1970--1981
-
Lotker, Zvi, see Fraigniaud, Pierre
-
Lou, Jianyu, 409(3)477--485
-
Lou, Jianyu, see Shen, Xiaojun
-
Louchard, Guy, 346(2)358--387, 359(1)239--254, 391(1)109--125
-
Louchard, Guy, see Lavault, Christian
-
Louchard:2005:MRU, 346(2)358--387
-
Louchard:2008:GAC, 391(1)109--125
-
low, 349(1)82--91, 369(1)142--156
-
low-contention, 333(3)373--400
-
low-discrepancy, 331(1)23--36
-
low-level, 373(3)273--302
-
low-power, 378(2)198--207
-
low-weight, 385(1)101--114
-
Löwe, Benedikt, 371(1)1--3, 394(3)141--143, 410(4)283--284,
see Beckmann, Arnold,
see Bonizzoni, Paola,
see Bäck, Thomas
-
Lowe, Gavin, 330(3)407--438, 340(1)82--101
-
Lowe, Gavin, see Bolton, Christie,
see Rohrmair, Gordon Thomas
-
lower, 331(1)3--21, 332(1)293--311, 339(2)241--256, 348(2)311--320,
351(1)82--100, 359(1)1--14, 359(1)58--68, 361(2)241--256,
362(1)86--99, 380(1)199--217, 383(2)132--139, 387(3)348--359,
396(1)1--9, 407(1)474--487, 407(1)511--523, 409(3)617--622,
410(21)2054--2063, 410(30)2972--2981
-
lowest, 380(1)37--46
-
Lowry, Mike, 336(2)209--234
-
Lowry, Mike, see Artho, Cyrille
-
Loyer, Yann, 342(2)351--381
-
Loyer:2005:WAL, 342(2)351--381
-
Lozes, Etienne, 358(2)293--314
-
Lozes, Etienne, see Caires, Luís
-
Lozes, Étienne, 330(3)475--499
-
Lozes:2005:ESC, 330(3)475--499
-
Lozin, V. V., 389(1)219--236
-
Lozin, V. V., see Alekseev, V. E.
-
LP-based, 361(2)241--256
-
LP-relaxation, 354(3)339--353
-
LPT, 349(3)407--419
-
LTL, 330(3)577--607, 345(1)60--82, 360(1)96--123, 410(33)3128--3148,
410(42)4180--4189
-
Lu, Changhong, 410(47)5063--5071, 410(47)5072--5081
-
Lu, Changhong, see Chen, Lei
-
Lu, Chi-Jen, 341(1)39--54, 370(1)293--298, 410(8)867--876
-
Lu, Chi-Jen, see Chan, Chi-Yuan,
see Chang, Yan-Cheng
-
Lu, Chin Lung, 341(1)385--397
-
Lu, Chin Lung, see Wu, Quincy
-
Lu, Dianchen, 351(1)27--38
-
Lu, Dianchen, see Zheng, Xizhong
-
Lu, Hongtao, 344(2)103--119
-
Lu, Lingfa, 393(1)102--108, 396(1)283--289
-
Lu, Pinyan, 410(18)1618--1628
-
Lu, Pinyan, see Cai, Jin-Yi
-
Lu, Shan, 360(1)147--171
-
Lu, Shan, see Zhu, Zhaohui
-
Lu, Shiyong, 353(1)71--92
-
Lu, Zhonghua, 410(1)78--83
-
Lu, Zhonghua, see Liu, Ruifang
-
Lu:2005:AES, 344(2)103--119
-
Lu:2006:AWV, 353(1)71--92
-
Lu:2007:IHA, 370(1)293--298
-
Lu:2008:SMS, 393(1)102--108
-
Lu:2008:UPB, 396(1)283--289
-
Luan, Junfeng, 410(27)2746--2753
-
Luan, Junfeng, see Liu, Hong
-
Luca, Alessandro, De, 356(1)118--125, 362(1)282--300,
410(30)2860--2863
-
Luca, A. de, 340(2)179--185
-
Luca, Aldo de, 330(1)35--57, 340(2)220--239, 356(1)118--125,
362(1)282--300, 393(1)23--36, 407(1)569--573, 410(30)2840--2859
-
Luca, Aldo de, see Bucci, Michelangelo,
see Carpi, Arturo
-
Luca, Alessandro De, 393(1)23--36, 410(30)2840--2859
-
Luca, Alessandro De, see Bucci, Michelangelo
-
Lucanu, Dorel, 373(3)163--181
-
Lucanu, Dorel, see Andrei, Oana
-
Lucas, 346(2)189--199
-
Lucchi, Roberto, 346(1)28--57
-
Lucchi, Roberto, see Bravetti, Mario
-
Luccio, Fabrizio, 377(1)277--281
-
Luccio, Fabrizio, see Cleary, Sean
-
Luccio, Flaminia L., 383(1)86--101
-
Luccio:2007:FVS, 383(1)86--101
-
Lücking, T., 343(1)133--157, 361(2)226--240,
see Decker, T., \see{Gairing, M.
-
Lücking, Thomas, 369(1)116--135, 406(3)187--206,
see Gairing, Martin
-
Lucking:2008:NMS, 406(3)187--206
-
Ludäscher, Bertram, 371(3)200--226, see Deutsch, Alin
-
Ludics, 350(2)213--233
-
Lugiez, D., 345(1)27--59
-
Lugiez, Denis, 333(1)225--263
-
Lugiez:2005:MAC, 333(1)225--263
-
Lugiez:2005:POS, 345(1)27--59
-
Lukkarila, Ville, 410(16)1516--1533
-
Lukkarila:2009:WDT, 410(16)1516--1533
-
Lungo, 346(2)184--188
-
Lungo, A. Del, 406(1)63--71
-
Lungo, A. Del, see Brunetti, S.
-
Luo, Junzhou, 409(3)477--485
-
Luo, Junzhou, see Shen, Xiaojun
-
Lüttgen, Gerald, 360(1)209--227, 373(1)19--40
-
Luttgen:2006:BSU, 360(1)209--227
-
Luttgen:2007:CPF, 373(1)19--40
-
Luttik, Bas, 330(3)377--405, 335(2)147--186
-
Luttik, Bas, see Aceto, Luca
-
Luttik:2005:DOA, 335(2)147--186
-
Lutz, Jack H., 410(4)384--405
-
Lutz, Jack H., see Lathrop, James I.
-
Luxburg, Ulrike von, 410(19)1749--1764
-
Luxburg, Ulrike von, see Maier, Markus
-
Lv, Jian Cheng, 367(3)286--307
-
Lv:2006:GCO, 367(3)286--307
-
Lyapunov, 332(1)543--557
-
Lynch, Nancy, 365(1)83--108
-
Lynch, Nancy, see Cheung, Ling
-
Lyndon, 380(3)393--400, 409(3)578--600
-
Lyndon, Curtis-Hedlund-, 410(38)3606--3615
-
Lyndon--Schützenberger, 366(3)194--198
-
Lyuu, Yuh-Dauh, 401(1)228--235, 407(1)545--553, 410(27)2714--2724
-
Lyuu, Yuh-Dauh, see Chang, Ching-Lueh,
see Lin, Hong-Yiu