Index file section D for tcs2010.bib
Last update: Sun Mar 31 03:12:29 MDT 2019
Return to index directory
D
-
D, 412(15)1378--1391, 508(z)35--40
-
D'Adderio, M., 502(z)217--226
-
D'Agostino, Giovanna, 411(50)4273--4290, 493(z)1--1
-
D'Agostino, Marcello, 480(z)43--68
-
D'Alessandro, Flavio, 416(1)1--16
-
D'Alonzo, Valerio, 411(44)3932--3937
-
D'Alonzo, Valerio, see Carpi, Arturo
-
D'Angelo, Gianlorenzo, 411(7)1013--1037, 516(z)1--19
-
D'Angelo, Gianlorenzo, see Cicerone, Serafino
-
D'Arco, Paolo, 411(1)213--227
-
D'Argenio, Pedro R., 538(z)84--102
-
D'Argenio, Pedro R., see Giro, Sergio
-
D'Emidio, Mattia, 516(z)1--19
-
D'Emidio, Mattia, see D'Angelo, Gianlorenzo
-
d'Inverno, Mark, 503(z)31--60
-
d'Inverno, Mark, see Howells, Paul
-
D-width, hyper-, 463(1)26--34
-
D0L, 412(41)5728--5743, 432(1)94--97, 445(1)63--74
-
DA, 412(46)6556--6569
-
Dabrowski, Konrad K., 478(z)33--40, 522(z)34--43
-
Dabrowski:2013:NRM, 478(z)33--40
-
Dabrowski:2014:CGR, 522(z)34--43
-
Daciuk, Jan, 450(1)10--21
-
Daciuk:2012:SRF, 450(1)10--21
-
DAdderio:2013:EFS, 502(z)217--226
-
Daescu, Ovidiu, 447(1)1--1
-
Daescu, Ovidiu, see Wu, Weili
-
daFonseca:2014:ESA, 540(z)70--81
-
DAgostino:2010:CTF, 411(50)4273--4290
-
DAgostino:2013:GAL, 493(z)1--1
-
DAgostino:2013:SPT, 480(z)43--68
-
Dal Lago, Ugo, 411(2)377--409, 412(20)2029--2047
-
Dalen, Dirk van, 412(28)3140--3144
-
DAlessandro:2012:QPL, 416(1)1--16
-
Daley, Mark, 429(1)54--64, 454(1)38--50, 454(1)81--87
-
Daley, Mark, see Biegler, Franziska,
see Chiniforooshan, Ehsan
-
Daley:2012:RC, 429(1)54--64
-
DalLago:2010:QIC, 411(2)377--409
-
DalLago:2011:RMI, 412(20)2029--2047
-
Dalmau, Oscar, 412(15)1434--1441
-
Dalmau, Víctor, 411(34)3188--3208,
see Carvalho, Catarina
-
Dalmau:2011:AMM, 412(15)1434--1441
-
Dam, Wim van, 486(z)11--19
-
Dam, Wim van, see Cleve, Richard
-
Damaschke, Peter, 452(1)39--46, 511(z)137--146
-
Damaschke:2012:PRA, 452(1)39--46
-
Damaschke:2013:SSS, 511(z)137--146
-
Damgård, Ivan, 560(z)12--26
-
Damgaard:2014:SIQ, 560(z)12--26
-
Damiand, Guillaume, 412(15)1392--1405, 498(z)76--99
-
Damiand, Guillaume, see Gosselin, Stéphane,
see Higuera, Colin de la
-
Damiani, Ferruccio, 431(1)75--95
-
Damiani, Ferruccio, see Coppo, Mario
-
Damljanovi{\'c}, Nada, 534(z)86--100
-
Damljanovic:2014:BWA, 534(z)86--100
-
Dang, Thao, 412(21)2095--2107
-
Dang, Zhe, 498(z)58--75
-
Dang, Zhe, see Cui, Cewei
-
Dang:2011:CRS, 412(21)2095--2107
-
DAngelo:2014:LFS, 516(z)1--19
-
dangerous, 472(z)28--45
-
Danicic, Sebastian, 411(11)1372--1386, 412(49)6809--6842
-
Danicic, Sebastian, see Barraclough, Richard W.
-
Danicic:2011:UTC, 412(49)6809--6842
-
Dantzig--Wolfe, 412(15)1325--1337
-
Danvy, Olivier, 435(1)21--42, 546(z)244--256
-
Danvy, Olivier, see Clausen, Christian
-
Danvy:2012:IDS, 435(1)21--42
-
Darbon, Jérôme, 412(15)1325--1337,
see Borghi, Alexandre
-
DArco:2010:VTA, 411(1)213--227
-
Darmann, Andreas, 411(49)4217--4234
-
Darmann:2010:RAT, 411(49)4217--4234
-
Darnstädt, Malte, 412(19)1756--1766, 519(z)68--87
-
Darnstadt:2011:SPL, 412(19)1756--1766
-
Darnstadt:2014:SLC, 519(z)68--87
-
Das, Sandip, 508(z)74--80
-
Das, Sandip, see Mukherjee, Joydeep
-
Das, Shantanu, 509(z)70--85
-
Das, Shantanu, see Chalopin, Jérémie
-
Das, Sukanta, 559(z)1--2
-
Das, Swagatam, 411(21)2127--2139
-
Das, Swagatam, see Biswas, Arijit
-
Das:2014:NUC, 559(z)1--2
-
Dasgupta, Anurag, 412(33)4297--4311
-
DasGupta, Bhaskar, 457(1)45--58
-
DasGupta, Bhaskar, see Comi, Marco
-
Dasgupta, Sambarta, 411(21)2127--2139
-
Dasgupta, Sambarta, see Biswas, Arijit
-
Dasgupta, Sanjoy, 412(19)1767--1781
-
Dasgupta:2011:FCW, 412(33)4297--4311
-
Dasgupta:2011:TFA, 412(19)1767--1781
-
Dash, Santanu Kumar, 513(z)25--37
-
Dash:2013:SAC, 513(z)25--37
-
Dasse-Hartaut, Sandrine, 502(z)195--209
-
Dasse-Hartaut, Sandrine, see Aval, Jean-Christophe
-
Dassow, J., 412(41)5789--5795
-
Dassow, J., see Turaev, S.
-
Dassow, Jürgen, 412(43)6101--6111, 449(1)64--73, 449(1)134--144,
see Lobo, Daniel, \see{Turaev, Sherzod
-
Dassow:2012:ECG, 449(1)64--73
-
Dastani, Mehdi, 412(44)6115--6134
-
Dastani, Mehdi, see Alechina, Natasha
-
data, 411(1)188--212, 411(3)691--700, 411(4)702--715, 411(7)935--957,
411(7)976--985, 412(19)1821--1831, 412(22)2451--2456,
412(24)2564--2576, 412(28)3101--3121, 412(32)4161--4172,
412(34)4439--4451, 412(39)5176--5186, 412(39)5285--5297,
412(42)5854--5870, 413(1)36--57, 428(1)58--79, 432(1)38--51,
447(1)44--52, 460(1)42--53, 464(1)113--129, 489(z)37--47,
497(z)123--130, 497(z)139--153, 501(z)72--81, 509(z)122--139,
519(z)155--169, 530(z)12--22, 540(z)82--88, 554(z)254--262,
558(z)51--61
-
data-analysis, 482(z)60--72
-
database, 412(31)4044--4072
-
dates, 412(35)4536--4544, 462(1)80--87
-
Datta, Ajoy K., 412(33)4227--4227, 412(40)5541--5561, 496(z)1--1,
512(z)49--66
-
Datta, Samir, 417(1)36--49
-
Datta, Suprakash, 412(50)6897--6912
-
Datta, Suprakash, see MacLean, Stuart
-
Datta:2011:SSL, 412(40)5541--5561
-
Datta:2011:SSS, 412(33)4227--4227
-
Datta:2012:CCF, 417(1)36--49
-
Datta:2013:P, 496(z)1--1
-
Datta:2013:SSL, 512(z)49--66
-
Daurat, Alain, 412(36)4824--4840
-
Daurat, Alain, see Tajine, Mohamed
-
David, J., 468(z)59--68
-
David, Julien, 417(1)50--65
-
David, René, 412(11)1022--1026
-
David, Shalev, Ben-, 558(z)51--61
-
David:2011:SPA, 412(11)1022--1026
-
David:2012:ACM, 417(1)50--65
-
David:2013:PEA, 468(z)59--68
-
Davidson, Colin R., 483(z)96--103
-
Davidson, Colin R., see Elberfeld, Michael
-
Davis--Putnam, 492(z)70--87
-
Day, Adam R., 452(1)47--55
-
Day:2012:PTT, 452(1)47--55
-
Daykin, David E., 483(z)149--161
-
Daykin, Jacqueline W., 483(z)149--161, 531(z)77--89
-
Daykin, Jacqueline W., see Daykin, David E.
-
Daykin:2013:LPA, 483(z)149--161
-
Daykin:2014:BVB, 531(z)77--89
-
DBDH, 543(z)79--89
-
dcpo, 412(25)2714--2723
-
Dcpo-completion, 411(22)2167--2173
-
De Castro, Rodrigo, 528(z)40--56
-
De Castro, Rodrigo, see Ramírez, José L.
-
De Felice, Clelia, 411(48)4149--4161, 412(27)2909--2910
-
De Felice, Clelia, see Bonizzoni, Paola,
see Carpi, Arturo
-
De Felice, Sven, 450(1)31--42
-
De Felice, Sven, see Carnino, Vincent
-
De Francesco, Nicoletta, 411(22)2174--2201
-
De Luca, Alessandro, 411(40)3668--3684, 454(1)109--128, 468(z)12--22,
495(z)17--24
-
De Luca, Alessandro, see Bucci, Michelangelo,
see Luca, Aldo de
-
De Marco, Gianluca, 461(1)17--26
-
De Maria, Elisabetta, 412(21)2108--2127
-
De Mol, Liesbeth, 412(1)97--112
-
De Nicola, Rocco, 546(z)63--92
-
De Nicola, Rocco, see Bernardo, Marco
-
De Pierro, Massimiliano, 412(43)6036--6057
-
De Pierro, Massimiliano, see Cordero, Francesca
-
De Prisco, Roberto, 510(z)62--86
-
De Santis, Alfredo, 411(1)213--227, 412(41)5684--5699, 510(z)62--86
-
De Santis, Alfredo, see D'Arco, Paolo,
see De Prisco, Roberto
-
De Werra, Dominique, 472(z)9--27
-
De Werra, Dominique, see Demange, Marc
-
deadline, 411(40)3587--3600, 540(z)156--168, 554(z)229--253
-
deal, 412(52)7087--7098
-
deallocation, 411(51)4358--4378
-
deBrecht:2010:MCC, 411(7)976--985
-
Debuisschert, T., 560(z)62--81
-
Debuisschert, T., see Alléaume, R.
-
deCarvalho:2011:SME, 412(20)1884--1902
-
decay, 411(34)3048--3054, 648(z)116
-
decidability, 411(44)4023--4027, 412(34)4439--4451, 420(1)56--63,
550(z)90--99
-
decidable, 412(48)6770--6785, 560(z)307--325
-
deciding, 411(49)4263--4271, 412(18)1705--1717, 412(22)2340--2355,
456(1)65--79, 472(z)104--109, 475(z)34--46, 492(z)1--39,
513(z)96--108
-
decision, 411(6)865--877, 411(7)1192--1201, 411(10)1261--1282,
411(29)2684--2695, 493(z)98--115, 515(z)46--63, 538(z)70--83,
554(z)169--190
-
decoding, 411(16)1785--1792, 462(1)1--11, 520(z)111--123
-
decompilation, 435(1)3--20
-
decomposable, 411(7)958--966, 411(40)3527--3552
-
decomposing, 411(34)3068--3072, 468(z)102--113, 471(z)74--83
-
decomposition, 411(14)1648--1667, 411(31)2827--2846, 412(35)4688--4703,
412(43)6002--6019, 443(1)70--81, 454(1)38--50, 479(z)43--69,
510(z)111--126, 522(z)95--114, 526(z)41--57, 537(z)105--124
-
decomposition, branch-, 412(32)4100--4109
-
decomposition, co-, 469(z)77--91
-
decompression, 525(z)10--22
-
decompressor, 412(4)482--486
-
decreasing, 417(1)12--22, 510(z)13--61
-
dedicated, 412(28)3033--3034
-
Défago, Xavier, 512(z)1--1
-
Defago:2013:P, 512(z)1--1
-
defect, 412(4)493--497
-
definability, 412(41)5656--5667, 537(z)72--86
-
Definable, 411(3)631--659
-
defined, 380(1)143--163, 411(44)3917--3922, 431(1)4--12, 454(1)206--221,
492(z)117--122
-
definitions, 411(4)765--782, 412(37)4893--4904, 467(z)68--88
-
deformation, 412(45)6235--6251
-
DeFrancesco:2010:UAI, 411(22)2174--2201
-
Degano, Pierpaolo, 412(21)2094--2094
-
Degano:2011:P, 412(21)2094--2094
-
Degasperi, A., 488(z)15--45
-
Degasperi:2013:PAF, 488(z)15--45
-
Degener, Bastian, 509(z)97--112
-
Degener, Bastian, see Brandes, Philipp
-
degeneracy, 411(34)3181--3187, 472(z)104--109
-
degenerate, 557(z)50--58
-
degree, 411(1)285--287, 412(18)1669--1685, 412(29)3775--3787,
412(32)4092--4099, 466(z)20--36, 469(z)92--104, 476(z)16--23,
476(z)94--108, 478(z)51--75, 481(z)74--84, 505(z)81--92,
508(z)2--15, 518(z)1--9, 522(z)54--61, 535(z)59--64, 548(z)68--78,
550(z)21--35
-
degree, Bounded-, 498(z)46--57
-
degree, bounded-, 447(1)120--135
-
degree, weighted-, 412(8)901--912
-
degree-bounded, 418(1)92--105, 554(z)40--49
-
degree-two, 461(1)86--105
-
Déharbe, David, 455(1)1--1, see Cavalcanti, Ana
-
Dehghan, Ali, 495(z)25--36
-
Dehghan:2013:ACP, 495(z)25--36
-
Dejean, 412(27)3010--3018, 412(46)6507--6516
-
Dekking, Michel, 414(1)20--37, 550(z)107--112
-
Dekking:2012:PMP, 414(1)20--37
-
Dekking:2014:STM, 550(z)107--112
-
Delacourt, M., 412(30)3800--3821
-
Delacourt:2011:DDA, 412(30)3800--3821
-
Delaët, S., 512(z)15--27, see Beauquier, J.
-
Delaët, Sylvie, 412(35)4471--4481
-
Delaet:2011:DSP, 412(35)4471--4481
-
Delahaye, Benoît, 412(34)4373--4404,
see Caillaud, Benoît
-
delaHiguera:2013:PAO, 498(z)76--99
-
Delaunay, 412(29)3589--3597, 457(1)137--148
-
Delaune, Stéphanie, 492(z)1--39, see Cheval, Vincent
-
Delcourt, Michelle, 463(1)54--61
-
Delcourt, Michelle, see Carraher, James
-
Delete, Union-Find-, 412(4)487--492, 423(1)75--75
-
deletion, 412(1)136--144, 412(8)714--728, 412(39)5111--5120,
511(z)172--180, 526(z)90--96
-
deletion, insertion-, 456(1)80--88
-
Delimited, 435(1)56--76
-
delivery, 412(3)270--274, 412(39)5333--5339, 412(45)6261--6268,
422(1)39--51, 438(1)55--61, 491(z)94--102, 553(z)91--105
-
Delorme, M., 412(30)3866--3880, 412(30)3881--3905
-
Delorme:2011:BAT, 412(30)3866--3880
-
Delorme:2011:BIC, 412(30)3881--3905
-
Delporte-Gallet, Carole, 496(z)34--49
-
Delporte-Gallet:2013:BAH, 496(z)34--49
-
deLuca:2010:GCE, 411(1)70--90
-
deLuca:2012:GPM, 454(1)109--128
-
Delvenne, Jean-Charles, 411(40)3625--3634
-
Delvenne, Jean-Charles, see Bell, Paul C.
-
Delzanno, Giorgio, 431(1)56--74, 467(z)12--29, 560(z)251--268
-
Delzanno, Giorgio, see Solimando, Alessandro
-
Delzanno:2012:RPB, 431(1)56--74
-
Delzanno:2013:CRL, 467(z)12--29
-
Demaine, Erik D., 412(12)1054--1065, 521(z)51--61
-
Demaine, Erik D., see Ito, Takehiro
-
Demaine, Martin L., 521(z)51--61
-
Demaine, Martin L., see Demaine, Erik D.
-
Demaine:2014:HES, 521(z)51--61
-
demand, 411(31)2978--2986, 413(1)2--20, 426(1)66--74
-
demand, On-, 411(2)504--541
-
demand, on-, 411(2)504--541
-
Demange, Marc, 472(z)9--27, 478(z)33--40, 540(z)89--102
-
Demange, Marc, see Dabrowski, Konrad K.
-
Demange:2013:SCP, 472(z)9--27
-
Demange:2014:CSG, 540(z)89--102
-
DeMarco:2012:CMT, 461(1)17--26
-
DeMaria:2011:DOP, 412(21)2108--2127
-
Demetrescu, Camil, 411(44)3994--4004, 514(z)1--1
-
Demetrescu:2010:APA, 411(44)3994--4004
-
Demetrescu:2013:P, 514(z)1--1
-
DeMol:2011:CBS, 412(1)97--112
-
Demri, Stéphane, 411(22)2298--2316
-
Demri:2010:MCM, 411(22)2298--2316
-
den Bussche, Jan, Van, 429(1)46--53
-
deNaurois:2011:CLL, 412(20)1941--1957
-
Deng, Lunzhi, 535(z)38--45
-
Deng, Xiaotie, 539(z)1--12
-
Deng, Yuxin, 538(z)16--36
-
Deng:2014:RMB, 539(z)1--12
-
Deng:2014:RRT, 538(z)16--36
-
Deng:2014:TNI, 535(z)38--45
-
deniable, 560(z)172--189
-
Denise, A., 411(40)3527--3552
-
Denise, Alain, 411(26)2423--2432, 502(z)165--176
-
Denise, Alain, see Herrbach, Claire,
see Oudinet, Johan
-
Denise:2010:CNU, 411(40)3527--3552
-
Dennunzio, Alberto, 504(z)38--51, 516(z)40--59, 559(z)73--90
-
Dennunzio:2013:LRD, 504(z)38--51
-
Dennunzio:2014:MCA, 516(z)40--59
-
Dennunzio:2014:TRD, 559(z)73--90
-
dense, 411(26)2581--2590, 412(4)419--429, 414(1)92--99, 494(z)134--143
-
Dense-choice, 542(z)17--31
-
dense-time, 467(z)89--108
-
Density, 481(z)51--73
-
density, fixed-, 502(z)46--54
-
deontic, 455(1)98--122
-
deParga:2013:PDR, 487(z)17--22
-
dependence, 412(49)6809--6842, 553(z)2--17
-
dependencies, 412(22)2331--2339, 431(1)13--39, 489(z)75--87,
515(z)64--95
-
dependent, 546(z)99--119
-
dependent, distribution-, 473(z)4--28
-
dependent, past-sequence-, 438(1)55--61
-
dependent, sequence-, 434(1)45--52
-
depending, 509(z)40--50
-
deployment, 412(8)783--795
-
DePrisco:2013:CVC, 510(z)62--86
-
depth, 411(44)3938--3946, 412(22)2282--2295, 448(1)56--65,
477(z)96--108, 480(z)43--68
-
depth, Hypertree-, 463(1)84--95
-
derandomization, 412(18)1718--1728, 434(1)35--44
-
Derek, Magnus-, 412(4)339--344
-
Dereniowski, Dariusz, 411(44)3971--3978, 412(41)5700--5713,
463(1)96--113, 495(z)37--49, 557(z)76--86
-
Dereniowski, Dariusz, see Borowiecki, Piotr
-
Dereniowski:2010:PPH, 411(44)3971--3978
-
Dereniowski:2011:CSW, 412(41)5700--5713
-
Dereniowski:2012:ASS, 463(1)96--113
-
Dereniowski:2013:MCE, 495(z)37--49
-
derivation, 412(28)3226--3241, 489(z)21--36, 537(z)87--96
-
derivational, 438(1)1--12
-
derivative, 412(36)4805--4813
-
deriving, inter-, 435(1)21--42
-
Dershowitz, Nachum, 464(1)35--47
-
Dershowitz:2012:JEM, 464(1)35--47
-
deSa:2011:CDP, 412(22)2370--2379
-
DeSantis:2011:EPS, 412(41)5684--5699
-
descent, 411(26)2487--2501
-
describe, 411(22)2174--2201
-
description, 415(1)60--85, 505(z)55--73, 536(z)1--20
-
description-based, 412(48)6736--6749
-
descriptional, 449(1)119--133, 480(z)1--25, 528(z)85--100
-
descriptive, 411(34)3274--3286
-
design, 411(1)174--187, 412(3)217--224, 412(21)2108--2127,
412(29)3738--3751, 412(35)4482--4492, 448(1)9--20, 460(1)78--88,
482(z)86--95, 496(z)50--68, 503(z)1--30, 521(z)107--122,
522(z)62--76
-
designing, 412(15)1406--1418, 494(z)144--160
-
destructible, self-, 412(17)1592--1605
-
detailed, 439(1)58--68
-
detect, 411(34)3110--3122
-
detecting, 411(20)1999--2018, 412(36)4841--4850, 482(z)20--32,
525(z)60--67
-
detecting, error-, 440(0)60--72
-
detection, 424(1)46--68, 428(1)47--57, 459(1)1--15, 525(z)103--110
-
detector, 412(33)4273--4284, 512(z)130--142
-
deteriorating, 411(40)3642--3650, 412(4)275--280, 445(1)75--81,
462(1)80--87, 487(z)95--102, 543(z)46--51
-
deterioration, 411(40)3578--3586, 497(z)108--111
-
deteriorative, 456(1)2--17
-
Determinacy, 412(11)1005--1021, 493(z)80--97
-
determinant, 454(1)64--71, 552(z)1--12
-
determination, 412(35)4715--4720
-
determining, 412(35)4531--4535, 423(1)1--10, 543(z)112--119
-
determinism, time-, 446(1)20--47
-
deterministic, 411(16)1770--1784, 411(25)2345--2358, 411(29)2684--2695,
411(31)2871--2877, 411(38)3404--3413, 411(38)3436--3443,
411(38)3469--3480, 412(3)257--264, 412(8)922--930,
412(23)2503--2512, 412(29)3568--3578, 412(35)4471--4481,
412(50)6926--6937, 417(1)23--35, 418(1)37--47, 428(1)18--35,
449(1)23--36, 454(1)231--239, 486(z)20--26, 487(z)17--22,
494(z)144--160, 496(z)184--194, 506(z)43--54, 512(z)119--129
-
deterministic, non-, 536(z)1--20
-
determinization, 464(1)72--89, 480(z)104--117
-
Devauchelle, Claudine, Landès-, 462(1)1--11
-
Devi, N. Safina, 526(z)90--96
-
Devi, N. Safina, see Kumar, Mrinal
-
device, 420(1)89--98, 453(1)65--74
-
Devismes, Stéphane, 496(z)1--1, 498(z)10--27, 512(z)49--66,
see Datta, Ajoy K.
-
Devismes:2013:OPR, 498(z)10--27
-
Dezani-Ciancaglini, Mariangiola, 431(1)165--180, 464(1)113--129
-
Dezani-Ciancaglini, Mariangiola, see Bioglio, Livio
-
Dezani-Ciancaglini:2012:TWW, 464(1)113--129
-
DFA, 448(1)41--46
-
Di Battista, Giuseppe, 514(z)2--20
-
Di Battista, Giuseppe, see Angelini, Patrizio
-
Di Lena, P., 411(7)1075--1084
-
Di Pierro, Alessandra, 413(1)1--1
-
Di Stefano, Gabriele, 411(7)1013--1037
-
Di Stefano, Gabriele, see Cicerone, Serafino
-
Diaconescu, Razvan, 412(28)3145--3174, 433(1)20--42
-
Diaconescu:2011:ASS, 412(28)3145--3174
-
Diaconescu:2012:AAS, 433(1)20--42
-
diagnosability, 452(1)132--147, 530(z)58--65, 531(z)47--53,
548(z)79--97, 548(z)98--116, 557(z)101--114
-
diagnosis, 411(47)4055--4101, 493(z)15--29, 531(z)47--53
-
diagnostic, 501(z)62--71
-
diagram, 411(1)91--112, 411(2)301--323, 411(31)2945--2967, 496(z)17--33,
497(z)20--30, 532(z)31--39
-
diagrammatic, 464(1)20--34
-
diameter, 411(34)3068--3072, 411(40)3757--3762, 412(29)3658--3675,
417(1)12--22, 468(z)50--58, 487(z)50--64, 514(z)84--95,
542(z)63--70
-
Dianati, M., 560(z)62--81
-
Dianati, M., see Alléaume, R.
-
Dias, Cátia, 527(z)37--49, see Carvalho, Alda
-
Díaz, J., 463(1)114--122, see Àlvarez, C.
-
Dib, L., 412(23)2486--2495
-
Dib, L., see Carbone, A.
-
dichotomic, 502(z)165--176
-
dichotomy, 412(22)2370--2379, 447(1)120--135
-
dictionary, 475(z)113--119
-
dictionary-based, 525(z)55--59
-
Didier, Frédéric, 412(21)2128--2141
-
Didier, Gilles, 462(1)1--11
-
Didier:2011:AEP, 412(21)2128--2141
-
Didier:2012:VLL, 462(1)1--11
-
Didimo, Walter, 412(39)5156--5166, 526(z)75--89
-
Didimo, Walter, see Binucci, Carla
-
Didimo:2011:DGR, 412(39)5156--5166
-
Diekert, Volker, 429(1)65--73, 454(1)129--135, 537(z)29--41
-
Diekert:2012:LTP, 429(1)65--73
-
Diekert:2012:SFL, 454(1)129--135
-
Diekert:2014:TMP, 537(z)29--41
-
Dieudonné, Yoann, 428(1)47--57, 506(z)43--54, 524(z)59--67
-
Dieudonne:2012:SSG, 428(1)47--57
-
Dieudonne:2013:DGE, 506(z)43--54
-
Dieudonne:2014:PAM, 524(z)59--67
-
diffeomorphisms, 411(1)259--265
-
difference, 537(z)97--104, 552(z)1--12
-
different, 412(6)517--533, 450(1)31--42, 559(z)3--19
-
differentiable, 443(1)46--62
-
differential, 412(20)1979--1997, 536(z)62--69
-
digit, 412(4)307--319, 412(35)4738--4741, 547(z)18--33
-
digital, 412(15)1350--1363, 448(1)80--93, 506(z)1--16
-
digitization, 466(z)2--19
-
digraph, 412(4)419--429, 412(35)4688--4703, 432(1)58--63, 434(1)98--113,
438(1)48--54, 443(1)10--24, 463(1)73--83, 475(z)13--20,
477(z)32--47, 520(z)87--96, 554(z)40--49
-
Diker, Murat, 488(z)46--65
-
Diker:2013:CRS, 488(z)46--65
-
Dikovsky, Alexandre, 450(1)22--30
-
Dikovsky, Alexandre, see Béchet, Denis
-
DiLena:2010:ULB, 411(7)1075--1084
-
Dilworth, 524(z)34--40, 547(z)82--89, 602(z)158--159
-
dimension, 411(26)2454--2458, 412(1)166--177, 412(29)3598--3603,
412(30)3838--3855, 412(36)4814--4823, 412(48)6696--6711,
482(z)111--114, 514(z)96--104
-
dimensional, 426(1)49--65, 500(z)44--56, 501(z)1--10, 536(z)42--61,
554(z)135--149
-
dimensional, higher-, 411(11)1452--1483, 457(1)137--148
-
dimensional, low-, 505(z)2--10
-
dimensional, multi-, 412(22)2418--2424, 412(37)4946--4966
-
dimensional, One-, 521(z)42--50
-
dimensional, one-, 412(30)3856--3865, 466(z)64--86
-
dimensional, positive-, 468(z)102--113
-
dimensional, three-, 412(4)307--319, 412(15)1350--1363
-
dimensional, Two-, 411(31)2899--2911
-
dimensional, uni-, 411(34)3154--3168
-
dimensionality, 412(29)3639--3649
-
dimer, monomer-, 548(z)68--78
-
Dimitrov, Nedialko B., 412(7)614--625
-
Dimitrov:2011:BSG, 412(7)614--625
-
Dimitrova, Elena, 412(26)2816--2826
-
Dimitrova:2011:PEB, 412(26)2816--2826
-
Dimovski, Aleksandar S., 560(z)364--379
-
Dimovski:2014:PVU, 560(z)364--379
-
Ding, Wei, 412(3)225--232
-
Ding, Yong, 411(6)888--896
-
Ding, Yong, see Liu, Xingchang
-
Ding:2011:LTA, 412(3)225--232
-
Diophantine, 416(1)1--16, 449(1)54--63
-
dipath, 504(z)5--11
-
DiPierro:2012:EQA, 413(1)1--1
-
direct, 411(22)2155--2166, 412(25)2701--2713
-
directed, 411(26)2502--2512, 411(38)3493--3506, 412(4)375--382,
412(8)901--912, 412(32)4173--4186, 412(39)5325--5332,
412(41)5744--5751, 412(41)5752--5759, 412(45)6390--6408,
454(1)30--37, 457(1)1--9, 463(1)2--25, 465(z)35--48, 468(z)50--58,
485(z)1--15, 504(z)5--11, 513(z)25--37, 560(z)235--250
-
direction, 411(48)4200--4215, 412(1)83--96, 559(z)73--90
-
directional, 412(30)3800--3821, 497(z)139--153
-
Disanto, F., 502(z)239--248
-
Disanto, F., see Bilotta, S.
-
disc, 506(z)1--16
-
disc-ring, 498(z)28--45
-
disconnectivity, 434(1)98--113
-
disconnectivity, -, 434(1)98--113
-
discounted, 558(z)125--143
-
discounting, 519(z)140--154
-
discovery, 411(14)1626--1637, 411(37)3328--3347
-
discrete, 412(15)1301--1312, 412(15)1378--1391, 412(17)1614--1628,
412(28)3378--3403, 412(30)3932--3946, 412(36)4755--4756,
412(36)4757--4769, 429(1)292--304, 456(1)100--111, 469(z)119--126,
502(z)118--142, 504(z)3--4, 552(z)13--25, 556(z)34--44,
560(z)235--250, 560(z)269--291
-
discretisation, 412(21)2142--2161
-
discretized, 412(36)4805--4813
-
DISJOINT, 513(z)96--108
-
disjoint, 411(10)1261--1282, 411(34)3247--3254, 412(35)4513--4530,
412(35)4570--4578, 412(35)4636--4649, 465(z)35--48, 491(z)103--118,
506(z)55--78, 513(z)1--24, 556(z)45--54, 556(z)85--93
-
disjoint, Arc-, 438(1)48--54, 526(z)28--40
-
disjoint, edge-, 412(35)4747--4753, 432(1)58--63
-
disjoint, Node-, 465(z)28--34
-
disjoint, node-, 418(1)82--91
-
disjoint, two-, 531(z)26--36
-
disjunction, 411(26)2559--2571, 412(31)3992--4006, 467(z)1--11
-
disk, 412(3)198--208, 412(18)1696--1704, 418(1)92--105, 428(1)80--90,
540(z)70--81, 544(z)14--31
-
disoriented, 506(z)43--54
-
dispersal, 411(31)2773--2783
-
dissemination, 520(z)11--26
-
Disser, Y., 444(1)52--59
-
Disser, Y., see Bilò, D.
-
Disser, Yann, 553(z)106--113
-
Disser:2014:MPH, 553(z)106--113
-
dissociation, 412(50)7009--7017
-
distance, 411(31)2925--2944, 411(43)3814--3822, 411(43)3834--3844,
412(4)352--364, 412(4)375--382, 412(15)1350--1363,
412(32)4173--4186, 412(32)4187--4199, 412(36)4787--4794,
412(39)5239--5246, 413(1)21--35, 421(1)15--24, 429(1)213--221,
448(1)80--93, 459(1)89--99, 463(1)54--61, 470(z)10--22,
487(z)37--49, 525(z)103--110, 530(z)23--41, 532(z)73--79,
556(z)34--44, 560(z)348--363
-
Distance, All-Pairs-Shortest-Path-, 411(34)3293--3300
-
distance-2, 444(1)28--39
-
distance-aware, 555(z)43--54
-
distance-restricted, 411(16)1895--1897
-
distant, 554(z)263--274
-
distinct, 411(49)4235--4241, 412(36)4778--4786
-
distinct, Quasi-, 422(1)1--14
-
distinguishability, 473(z)46--60
-
distinguishing, 501(z)101--108
-
distortion, 412(12)1275--1297, 412(29)3530--3536
-
distributed, 411(2)566--580, 411(7)1013--1037, 411(26)2459--2466,
411(40)3661--3667, 412(8)633--641, 412(25)2724--2745,
412(31)4007--4043, 412(32)4212--4225, 412(33)4227--4227,
412(41)5760--5770, 429(1)292--304, 439(1)69--82, 444(1)17--27,
451(1)1--37, 457(1)137--148, 502(z)64--75, 509(z)3--24,
512(z)28--40, 538(z)84--102, 553(z)37--56
-
distribution, 412(28)3323--3336, 412(29)3717--3730, 413(1)106--141,
466(z)20--36, 476(z)94--108, 479(z)22--42, 504(z)38--51,
551(z)22--38, 552(z)13--25, 560(z)7--11, 560(z)46--61, 560(z)62--81,
560(z)91--106
-
distribution-dependent, 473(z)4--28
-
Distributional, 411(16)1763--1769
-
distributive, 501(z)82--92
-
distributivity, 458(1)1--28
-
Ditmarsch, Hans van, 495(z)81--95
-
Ditmarsch, Hans van, see Cordón-Franco, Andrés
-
divergence, 412(1)166--177
-
divergence, Failure-, 455(1)31--65
-
Diversity, 511(z)159--171
-
divide-and-conquer, 548(z)25--53
-
divisionless, 411(6)878--887
-
Djahromi, N., Saheb-, 502(z)64--75
-
DNA, 412(3)217--224, 412(21)2108--2127, 429(1)46--53, 454(1)5--22,
494(z)144--160, 499(z)23--37
-
Do, Huy Hoang, 532(z)14--30
-
Do:2014:FRL, 532(z)14--30
-
Dobrev, S., 412(18)1696--1704
-
Dobrev, S., see Czyzowicz, J.
-
Dobrev, Stefan, 444(1)60--76, 472(z)28--45, 509(z)113--121
-
Dobrev, Stefan, see Brejová, Brona,
see Czyzowicz, Jurek
-
Dobrev:2013:EUD, 472(z)28--45
-
document, 483(z)36--50, 542(z)83--97, 560(z)251--268
-
Doerr, Benjamin, 412(17)1629--1644, 412(43)6020--6035, 425(1)17--33,
436(1)71--86, 471(z)12--26, 471(z)84--106, 545(z)108--121
-
Doerr:2011:EAD, 412(43)6020--6035
-
Doerr:2011:RAA, 412(17)1629--1644
-
Doerr:2012:CCP, 425(1)17--33
-
Doerr:2012:NEL, 436(1)71--86
-
Doerr:2013:BBC, 471(z)84--106
-
Doerr:2013:MEC, 471(z)12--26
-
Doerr:2014:RAU, 545(z)108--121
-
Dolev, Shlomi, 411(6)837--853, 411(26)2459--2466, 412(40)5513--5514,
453(1)1--1, 475(z)59--65, 553(z)2--17
-
Dolev, Shlomi, see Cohen, Asaf
-
Dolev:2010:GAR, 411(26)2459--2466
-
Dolev:2010:MTB, 411(6)837--853
-
Dolev:2011:P, 412(40)5513--5514
-
Dolev:2012:EAA, 453(1)1--1
-
Dolev:2013:UPH, 475(z)59--65
-
domain, 411(19)1900--1917, 412(4)482--486, 412(50)7029--7043,
519(z)103--126, 546(z)17--29, 546(z)176--187
-
domain-free, 412(44)6193--6207
-
Dombb, Yair, 411(43)3814--3822
-
Dombb:2010:ASM, 411(43)3814--3822
-
Dombek, D., 412(48)6653--6665
-
Dombek:2011:NRU, 412(48)6653--6665
-
dominating, 411(44)4023--4027, 412(3)198--208, 412(3)265--269,
412(23)2536--2543, 412(41)5744--5751, 412(50)6982--7000,
414(1)92--99, 428(1)80--90, 447(1)38--43, 459(1)77--88,
487(z)82--94, 508(z)2--15, 511(z)2--12, 511(z)147--158,
540(z)70--81, 554(z)275--282, 560(z)207--216
-
domination, 412(22)2387--2392, 448(1)1--8, 461(1)27--44, 476(z)84--93,
557(z)28--33
-
domination, paired-, 459(1)89--99
-
Domínguez, César, 412(11)962--970
-
Domínguez, Manuel, 412(27)2942--2954
-
Dominguez:2011:ECD, 412(27)2942--2954
-
Dominguez:2011:EHB, 412(11)962--970
-
domino, 411(44)4010--4016
-
Donado, Fernando Solano, 444(1)3--16
-
Donado, Fernando Solano, see Bermond, Jean-Claude
-
Donaldson, Robin, 456(1)30--50
-
Donaldson:2012:MMS, 456(1)30--50
-
Dondi, Riccardo, 429(1)36--45, 454(1)51--63, 483(z)10--21,
511(z)159--171, 530(z)66--79
-
Dondi, Riccardo, see Blin, Guillaume,
see Bonizzoni, Paola
-
Dondi:2013:FAC, 483(z)10--21
-
Dondi:2013:IDP, 511(z)159--171
-
Dong, Fangyan, 412(15)1406--1418
-
Dong, Fangyan, see Le, Phuc Q.
-
Dong, Jianming, 491(z)94--102
-
Dong, Jianrong, 412(48)6634--6652
-
Dong, Jianrong, see Bansal, Mukul S.
-
Dong, Min, 522(z)24--33
-
Dong, Min, see Zhang, Yi-Hao
-
Dong, Qiang, 412(22)2409--2417, 472(z)46--59
-
Dong, Qiang, see Yang, Xiaofan
-
Dong, Yingfei, 412(32)4073--4073
-
Dong, Yingfei, see Du, Ding-Zhu
-
Dong:2013:AAT, 491(z)94--102
-
Dong:2013:HCR, 472(z)46--59
-
Dorn, Frederic, 412(50)7018--7028
-
Dorn, Frederic, see Adler, Isolde
-
Dörnfelder, Martin, 542(z)71--82
-
Dornfelder:2014:PCC, 542(z)71--82
-
Dorrigiv, Reza, 412(32)4200--4211
-
Dorrigiv, Reza, see Arroyuelo, Diego
-
Dósa, György, 412(8)642--653, 412(45)6269--6278, 508(z)35--40,
510(z)13--61, 510(z)102--110, see Chen, Xin,
see Lan, Yan
-
Dosa:2011:OSR, 412(8)642--653
-
Dosa:2013:GSM, 510(z)102--110
-
Dosa:2013:TAB, 510(z)13--61
-
Dosen, Kosta, 484(z)41--55
-
Dosen:2013:GPC, 484(z)41--55
-
Doty, David, 412(1)145--158
-
Doty:2011:LSA, 412(1)145--158
-
double, 439(1)30--40, 487(z)17--22, 502(z)98--117, 528(z)32--39,
539(z)1--12
-
double-loop, 468(z)50--58
-
doubled, 516(z)96--100
-
doubly, 411(31)2818--2826, 543(z)79--89
-
doubly-logarithmic, 526(z)58--74
-
doughnuts, 502(z)4--15
-
Dourado, Mitre C., 412(29)3693--3700, 460(1)16--25, 510(z)127--135
-
Dourado, Mitre C., see Centeno, Carmen C.
-
Dourado:2012:RIG, 460(1)16--25
-
Dourado:2013:CNI, 510(z)127--135
-
Dowek, Gilles, 412(37)4853--4866, 451(1)38--69
-
Dowek, Gilles, see Rocha, Camilo
-
Dowek:2012:PHL, 451(1)38--69
-
Down, 560(z)219--234
-
Downey, Rod, 460(1)1--9
-
Downey:2012:LBR, 460(1)1--9
-
Doyen, Laurent, 458(1)49--60
-
Doyen, Laurent, see Chatterjee, Krishnendu
-
dP, 431(1)4--12
-
DPLL, 421(1)25--55
-
DQBF, 523(z)86--100
-
Dragan, Feodor F., 412(8)846--852, 547(z)1--17
-
Dragan:2011:AMW, 412(8)846--852
-
Dragan:2014:CAT, 547(z)1--17
-
Dräger, Klaus, 538(z)37--53
-
Drager:2014:LAR, 538(z)37--53
-
Draisma, Jan, 412(24)2611--2622
-
Draisma:2011:PAM, 412(24)2611--2622
-
drawbacks, 412(6)543--559
-
drawing, 411(1)91--112, 412(4)430--447, 412(39)5156--5166, 445(1)36--51,
532(z)80--90, 554(z)150--168
-
drawn, 412(35)4558--4569
-
Drevet, Charles-Éric, 412(22)2219--2236
-
Drevet:2011:OTS, 412(22)2219--2236
-
Drewes, Frank, 411(34)3090--3109, 531(z)1--25
-
Drewes, Frank, see Bensch, Suna
-
Drewes:2010:ASG, 411(34)3090--3109
-
Drgas-Burchardt, Ewa, 557(z)50--58
-
Drgas-Burchardt, Ewa, see Borowiecki, Mieczyslaw
-
drift, 436(1)71--86
-
drifting, 411(29)2670--2683
-
driven, 412(32)4212--4225, 554(z)229--253
-
driven, Ancilla-, 430(1)51--72
-
Drocco, Maurizio, 431(1)75--95
-
Drocco, Maurizio, see Coppo, Mario
-
Droste, Manfred, 412(12)1140--1153, 418(1)14--36, 485(z)38--48,
534(z)1--1
-
Droste:2011:KST, 412(12)1140--1153
-
Droste:2012:WAM, 418(1)14--36
-
Droste:2013:WFA, 485(z)38--48
-
Droste:2014:P, 534(z)1--1
-
Drucker, Andrew, 412(41)5796--5801
-
Drucker:2011:BSM, 412(41)5796--5801
-
drunk, 463(1)133--147
-
drunkenness, 481(z)100--120
-
DSA, 420(1)89--98
-
Du, Ding-Zhu, 412(3)191--191, 412(32)4073--4073, 461(1)1--1, 554(z)1--1
-
Du, Dingzhu, 554(z)229--253
-
Du, Dingzhu, see Zhang, Nan
-
Du, Donglei, 476(z)109--117
-
Du, Donglei, see Li, Yu
-
Du, Hongwei, 412(3)198--208, 412(3)265--269, 447(1)38--43,
497(z)139--153
-
Du, Hongwei, see Liu, Hui, \see{Wang, Feng,
see Zou, Feng
-
Du, Ye, 411(1)293--300, 472(z)104--109
-
Du:2010:PAM, 411(1)293--300
-
Du:2011:Pa, 412(3)191--191
-
Du:2011:Pb, 412(32)4073--4073
-
Du:2012:PC, 461(1)1--1
-
Du:2012:PTA, 447(1)38--43
-
Du:2013:CDD, 472(z)104--109
-
Du:2014:CC, 554(z)1--1
-
dual, 411(22)2317--2330, 412(8)729--735, 454(1)136--163, 457(1)166--173,
520(z)62--74
-
dual, primal-, 412(50)7044--7048
-
dual-cube-like, 472(z)1--8
-
duality, 411(34)3188--3208, 412(27)2942--2954, 412(45)6420--6431
-
Duan, Zhenhua, 412(18)1729--1744, 461(1)76--85, 497(z)68--83,
497(z)84--107, 554(z)169--190, 554(z)229--253
-
Duan, Zhenhua, see Tian, Cong, \see{Zhang, Nan
-
Duan, Ziming, 412(22)2393--2397
-
Duan:2011:NUB, 412(22)2393--2397
-
Duan:2013:CPS, 497(z)84--107
-
Duan:2014:PDP, 554(z)169--190
-
Dubernard, Jean-Philippe, 449(1)54--63
-
Dubernard, Jean-Philippe, see Champarnaud, Jean-Marc
-
Dubois, Swan, 412(29)3418--3439, 412(33)4285--4296, 496(z)89--112
-
Dubois, Swan, see Cournier, Alain
-
Dubois:2011:DFA, 412(29)3418--3439
-
Duchêne, E., 485(z)49--60, see Beaulieu, G.
-
Duchêne, Eric, 411(34)3169--3180, 516(z)20--27
-
Duchêne--Rigo, 412(8)729--735
-
Duchene:2010:IG, 411(34)3169--3180
-
Duchene:2014:VNP, 516(z)20--27
-
Duchon, Philippe, 502(z)143--152
-
Duchon, Philippe, see Aval, Jean-Christophe
-
Duh, Dyi-Rong, 412(29)3658--3675, 506(z)55--78, 516(z)28--39
-
Duh, Dyi-Rong, see Hsieh, Hsien-Jone
-
Duh:2013:TSD, 506(z)55--78
-
Duh:2014:IEF, 516(z)28--39
-
Dukkipati, Ambedkar, 459(1)1--15
-
Dukkipati, Ambedkar, see Ananth, Prabhanjan V.
-
Dullerud, Geir, 412(48)6770--6785
-
Dullerud, Geir, see Vladimerou, Vladimeros
-
Dulucq, Serge, 411(26)2423--2432
-
Dulucq, Serge, see Herrbach, Claire
-
Dumas, Estelle, 412(26)2854--2883
-
Dumas, Estelle, see Mateescu, Radu
-
Dumas, H. S., 457(1)101--110
-
Dumas, H. S., see Graça, Daniel S.
-
Dumas, Jean-Guillaume, 479(z)22--42
-
Dumas, Jean-Guillaume, see Nuel, Gregory
-
Dumas, Philippe, 548(z)25--53
-
Dumas:2014:AEL, 548(z)25--53
-
Dumrauf, Dominic, 469(z)24--52
-
Dumrauf:2013:CMC, 469(z)24--52
-
duo-preservation, 530(z)1--11
-
Duong, Phan Thi Ha, 411(3)594--601
-
Duong:2010:SSP, 411(3)594--601
-
duplication, 476(z)94--108, 530(z)66--79
-
duplication--loss, 411(26)2487--2501
-
Duque, David, Fernández-, 495(z)81--95
-
Durand, Bruno, 504(z)3--4
-
Durand, Bruno, see Calude, Cristian
-
Durand-Lose, Jérôme, 412(1)57--67
-
Durand-Lose:2011:AGC, 412(1)57--67
-
Durocher, Stephane, 412(32)4161--4172, 412(32)4200--4211
-
Durocher, Stephane, see Arroyuelo, Diego,
see Biedl, Therese
-
Dürr, Christoph, 475(z)92--102,
see Bienkowski, Marcin
-
Durzinsky, Markus, 412(26)2800--2815
-
Durzinsky:2011:AFN, 412(26)2800--2815
-
Dutot, Pierre-François, 511(z)32--41,
see Bougeret, Marin
-
Dutta, Soumitra, 412(42)5834--5853
-
Dutta, Soumitra, see Ganivada, Avatharam
-
Dütting, Paul, 478(z)22--32
-
Dutting:2013:BOA, 478(z)22--32
-
Duval, J.-P., 522(z)77--84
-
Duval:2014:LCU, 522(z)77--84
-
DVcube, 498(z)28--45
-
Dvorák, Tomás, 411(40)3774--3786
-
Dvorak:2010:CCL, 411(40)3774--3786
-
Dyck, 502(z)195--209
-
Dyer, Danny, 495(z)37--49
-
Dyer, Danny, see Dereniowski, Dariusz
-
Dykstra, 411(31)2818--2826
-
dynamic, 174(1)203--216, 411(7)1013--1037, 411(20)2052--2077,
411(21)2116--2126, 411(26)2467--2474, 411(38)3460--3468,
412(16)1470--1483, 412(21)2188--2206, 412(24)2564--2576,
412(24)2668--2678, 412(24)2691--2698, 412(29)3418--3439,
412(30)3800--3821, 412(30)3932--3946, 412(43)6020--6035,
412(45)6371--6381, 426(1)75--90, 439(1)41--57, 445(1)82--92,
446(1)48--74, 447(1)44--52, 463(1)114--122, 468(z)37--49,
475(z)92--102, 493(z)46--65, 500(z)90--112, 504(z)3--4,
504(z)26--37, 511(z)66--76, 512(z)84--97, 516(z)1--19, 526(z)58--74,
526(z)108--119, 544(z)74--83, 554(z)217--228, 559(z)34--41
-
dynamical, 174(1)203--216, 412(30)3838--3855, 412(30)3932--3946,
469(z)119--126, 550(z)107--112
-
dynamical, semi-, 440(0)29--38
-
Dynamically, 412(21)2207--2218