Last update: Thu Jun 29 02:46:00 MDT 2023
Return to index directory
D
-
D, 146(2)211--217, 155(4)363--372, 155(4)373--405
-
D'Agostino, Giovanna, 124(4)465--482, 140(3)307--328
-
d'Amato, Claudia, 99(2)187--205
-
d'Amato, Claudia, see Esposito, Floriana
-
D'eer, Lynn, 142(1)53--86
-
D'eer, Lynn, see Vluymans, Sarah
-
D-FLAT, 147(1)27--61
-
D-Volume, 125(3)361--376, 135(1)171--197
-
D., Adrião, 112(4)337--363, see Santana, Fabiana T.
-
D{\k{a}}browski, Robert, 128(1)47--63, 138(3)339--350
-
Dabrowski:2013:OGR, 128(1)47--63
-
Dabrowski:2015:CCZ, 138(3)339--350
-
Daggers, 150(3)407--449
-
DAgostino:2013:MCS, 124(4)465--482
-
DAgostino:2015:MSH, 140(3)307--328
-
DAGs, 103(1)247--287
-
Dahmoune, Mohamed, 132(1)79--94
-
Dahmoune:2014:TRP, 132(1)79--94
-
Dai, Jingguo, 152(4)373--396
-
Dai, Jingguo, see Peng, Xindong
-
Dalsgaard, Andreas E., 161(4)351--381
-
Dalsgaard:2018:DFP, 161(4)351--381
-
DAN, 168(2)269--285
-
Dang, Jianwu, 132(3)381--399
-
Dang, Jianwu, see An, Shuang
-
Dang, Zhe, 110(1)95--109
-
Dang, Zhe, see Cui, Cewei
-
Dangalchev, Chavdar, 162(1)1--15
-
Dangalchev:2018:RCG, 162(1)1--15
-
Danitz, Robert, 108(1)151--180
-
Danitz, Robert, see Wolf, Karsten
-
Dapoigny, Richard, 104(4)293--327
-
Dapoigny:2010:MCD, 104(4)293--327
-
Darkey-Mensah, Mawunyo Kofi, 170(4)325--338
-
Darkey-Mensah:2019:IFI, 170(4)325--338
-
Darondeau, Philippe, 113(3)179--203
-
Darondeau, Philippe, see Best, Eike
-
DART, 141(2)207--231
-
Dart, 126(2)247--261
-
DASs, 146(3)231--254
-
Dassow, Jüegen, 104(1)93--110,
see Martín, Gema M.
-
Dassow, Jürgen, 112(2)157--170, 136(1)1--35
-
Dassow:2011:NEP, 112(2)157--170
-
Dassow:2015:PAN, 136(1)1--35
-
Data, 98(1)33--47, 98(1)49--70, 98(1)71--86, 98(1)107--121, 98(1)z--z,
98(2)257--275, 103(1)31--52, 103(1)53--67, 103(1)89--104,
104(4)349--384, 113(2)97--115, 119(3)319--336, 120(1)59--70,
124(1)153--174, 125(3)261--272, 125(3)273--284, 126(4)319--333,
127(1)445--459, 127(1)513--528, 128(4)367--412, 132(2)153--176,
132(2)177--202, 132(2)239--266, 132(2)267--290, 132(3)365--379,
133(1)35--53, 135(1)117--134, 137(2)171--217, 137(2)219--236,
137(2)237--252, 143(1)19--34, 143(3)287--316, 146(1)35--82,
148(1)1--33, 148(1)51--64, 148(1)133--155, 153(3)221--233,
155(4)373--405, 162(4)311--359, 163(1)1--20, 163(3)245--251,
163(4)395--411, 165(3)363--380, 166(4)349--378, 167(3)193--217,
168(2)249--268
-
Data-driven, 132(3)349--363
-
Data-Intensive, 163(2)111--138
-
database, 101(1)115--123, 101(3)187--213, 123(4)401--416,
127(1)445--459, 129(3)193--224, 130(2)201--218, 130(3)343--376,
137(2)291--304, 158(4)327--352
-
Dataflow, 128(3)337--366
-
Datalog, 159(1)65--93
-
Datasets, 98(1)15--32, 127(1)273--288, 147(2)241--259
-
Daubner, Jakub, 122(4)275--295
-
Daubner:2013:NCO, 122(4)275--295
-
Dawar, Anuj, 98(4)351--372, 150(3)281--316
-
Dawar:2010:PAA, 98(4)351--372
-
Dawar:2017:PGA, 150(3)281--316
-
Dayal, Umeshwar, 128(3)303--335
-
Dayal, Umeshwar, see Simitsis, Alkis
-
Daykin, Jacqueline W., 139(2)115--126
-
Daykin, Jacqueline W., see Alatabbi, Ali
-
DCOPs, 158(1)63--91
-
De Angelis, Emanuele, 120(3)205--229, 140(3)329--355, 150(1)73--117,
165(3)205--244
-
De Beenhouwer, Jan, 135(1)21--42
-
De Beenhouwer, Jan, see Bleichrodt, Folkert
-
De Bock, Koen W., 98(1)49--70
-
De Ita, Guillermo, 113(1)63--77
-
De Luca, Alessandro, 116(1)25--33
-
De Luca, Alessandro, see Bucci, Michelangelo
-
De Marco, Gianluca, 153(3)199--219
-
De Marco, Gianluca, see Chlebus, Bogdan S.
-
De Masellis, Riccardo, 161(1)75--111
-
De Masellis, Riccardo, see Chesani, Federico
-
De Mol, Liesbeth, 99(4)435--471
-
De Rosa, Christian, 105(1)105--133
-
De Rosa, Christian, see Campagna, Dario
-
deadlock, 109(3)255--264
-
Deadlockability, 161(4)383--421
-
Dealing, 135(4)433--449, 148(1)1--33, 160(1)101--118
-
DeAngelis:2012:SCP, 120(3)205--229
-
DeAngelis:2015:RBV, 140(3)329--355
-
DeAngelis:2017:PVU, 150(1)73--117
-
DeAngelis:2019:SCT, 165(3)205--244
-
DeBock:2010:PWA, 98(1)49--70
-
deBoer:2018:PNB, 159(3)197--256
-
Decentralized, 99(2)207--226
-
Decidability, 104(1)141--160, 105(3)291--317, 126(2)121--156,
126(2)157--181, 130(1)99--123, 138(1)77--84, 170(1)111--138
-
Deciding, 132(4)439--459, 135(4)433--449
-
Decipherability, 110(1)197--200
-
Decision, 101(1)125--141, 104(3)285--292, 109(3)255--264, 113(1)41--61,
115(2)157--171, 115(2)203--218, 116(1)175--187, 119(3)233--248,
120(3)231--242, 123(1)1--14, 123(2)171--197, 127(1)151--160,
127(1)341--356, 127(1)545--560, 128(1)1--15, 129(1)1--13,
129(1)15--26, 131(3)441--450, 132(3)291--313, 132(3)331--347,
132(3)381--399, 136(4)297--316, 139(3)307--328, 141(1)71--93,
141(4)275--295, 143(1)1--18, 144(3)255--261, 148(1)65--85,
152(4)373--396, 156(2)169--178, 157(3)271--320, 159(4)361--383,
159(4)385--428, 162(2)101--118, 165(2)99--137, 165(2)157--191,
165(3)245--261, 165(3)263--281, 166(1)57--85
-
Decision-making, 106(1)93--117, 122(4)327--355
-
Decision-Theoretic, 115(2)141--156, 126(4)415--432
-
Decision-theoretic, 115(2)157--171, 115(2)173--188, 126(4)353--375,
139(1)67--89, 142(1)117--143
-
Declarative, 102(3)325--361
-
Decoding, 133(4)387--397
-
Decomposition, 106(2)233--258, 125(2)135--152, 126(1)37--82,
127(1)257--272, 130(4)467--490, 132(2)239--266, 135(3)295--308,
147(1)27--61, 153(4)399--413, 167(1)59--92
-
Decreasing, 145(2)207--219
-
Dedekind, 170(4)325--338
-
Dedicated, 103(1)1--29
-
Deduction, 170(1)139--176
-
Deep, 163(1)41--62, 168(2)185--218
-
Default, 113(1)41--61, 166(2)167--197
-
Defeasible, 155(3)233--260, 161(1)135--161
-
Defects, 115(4)327--356
-
Deficiency, 105(3)237--261, 109(1)27--81
-
Definability, 116(1)45--50, 129(4)301--327, 159(4)429--450
-
Definable, 98(4)337--349, 141(1)37--55, 167(3)235--256
-
Defining, 128(1)97--111
-
Definite, 149(3)241--261, 158(4)369--384
-
Definition, 120(1)93--109, 135(3)331--340, 148(1)123--132,
164(4)299--325
-
Degano, Pierpaolo, 134(3)z--z
-
Degano:2014:ML, 134(3)z--z
-
degeneracy, 160(3)343--359
-
Degenerations, 132(4)519--532
-
Degree, 107(1)67--83, 111(2)223--239, 122(3)207--225, 145(3)279--312
-
deGroote:2011:APS, 106(2)211--231
-
DeIta:2011:TPS, 113(1)63--77
-
Deja, Alicja, Wakulicz-, 101(1)125--141, 106(1)93--117,
122(4)327--355, 127(1)341--356
-
Deja, Gra{\.z}yna, 127(1)513--528, see Froelich, Wojciech
-
Deja, Rafa{\l}, 127(1)513--528, see Froelich, Wojciech
-
del-Amor, Miguel A., Martínez-, 136(3)269--284,
153(1)147--172
-
del-Amor, Miguel Ángel, Martínez-, 134(1)153--166,
164(2)139--155
-
Delaplace, Franck, 160(1)119--142
-
Delaplace:2018:AND, 160(1)119--142
-
Delay, 120(3)341--357, 151(1)109--133, 160(1)119--142
-
Deletion, 110(1)13--28
-
Deletion, Insertion-, 155(1)163--185
-
deletion, Insertion-, 138(1)127--144
-
Deliberation, 158(1)93--120
-
Dell'Arciprete, Lorenzo, 107(2)199--222
-
Dell'Arciprete, Lorenzo, see Zanzotto, Fabio Massimo
-
Della Vedova, Gianluca, 154(1)47--63
-
Della Vedova, Gianluca, see Bonizzoni, Paola
-
Delmas, Patrice, 131(3)465--483
-
Delmas, Patrice, see Nicolescu, Radu
-
Delosme, Jean-Marc, 146(1)83--119
-
Delosme, Jean-Marc, see Hujsa, Thomas
-
Delta, 128(1)143--158
-
Delzanno, Giorgio, 143(3)287--316, 161(1)113--133
-
Delzanno:2016:ADR, 143(3)287--316
-
Delzanno:2018:LBV, 161(1)113--133
-
Demergian, Iulia Teodora, Banu-, 131(3)313--336
-
Demographics, 98(1)49--70
-
DeMol:2010:SHR, 99(4)435--471
-
Demri, Stéphane, 143(3)z--z, see Abdulla, Parosh Aziz
-
den Bussche, Jan, Van, 128(3)z--z
-
den Poel, Dirk, Van, 98(1)49--70
-
Deng, Jianping, 166(3)273--296
-
Deng, Jianping, see Wang, Zhaohao
-
Deng, Junli, 168(1)1--24
-
Deng, Junli, see Jiang, Suxia
-
Deng, Weibin, 126(4)377--395
-
Deng, Xiaofei, 132(3)291--313
-
Deng, Zhi-Hong, 111(4)373--390
-
Deng:2011:MEA, 111(4)373--390
-
Deng:2013:NME, 126(4)377--395
-
Deng:2014:MAP, 132(3)291--313
-
Denisiuk, Aleksander, 153(3)221--233
-
Denisiuk:2017:LDE, 153(3)221--233
-
Deni{\c{t}}iu, Andreea, 135(1)73--102
-
Denitiu:2014:PTC, 135(1)73--102
-
Dennunzio, Alberto, 115(1)87--105, 115(1)z--z, 120(2)165--180,
126(2)183--199, 126(2)z--z
-
Dennunzio, Alberto, see Cervelle, Julien,
see Ciucci, Davide
-
Dennunzio:2012:CIA, 120(2)165--180
-
Dennunzio:2012:ODT, 115(1)87--105
-
Dennunzio:2013:POD, 126(2)183--199
-
Dense, 145(2)125--141
-
Density, 116(1)141--156, 152(1)1--12, 168(1)45--49
-
Denti, Enrico, 161(1)53--74
-
Denti, Enrico, see Calegari, Roberta
-
Deontic, 143(1)173--205
-
Deorowicz, Sebastian, 99(4)409--433
-
Deorowicz:2010:BPA, 99(4)409--433
-
Dependence, 155(1)1--29
-
Dependency, 98(2)167--181, 99(3)263--292, 113(2)117--150,
127(1)193--207, 158(4)327--352, 161(4)351--381
-
Dependent, 102(2)145--176, 104(4)293--327, 131(3)485--497
-
dependent, State-, 151(1)109--133
-
Dependently, 102(2)177--207, 102(2)209--228
-
Depth, 129(1)15--26, 152(2)123--144
-
derivative, 119(3)393--406, 137(4)425--455, 149(3)311--361,
151(1)77--89, 151(1)145--159, 151(1)161--171
-
Derived, 105(3)211--235, 168(2)249--268
-
Deriving, 107(2)267--287, 139(4)403--419, 144(3)263--278, 146(1)1--34,
147(1)93--131
-
DES-like, 114(3)239--269
-
Desai, Santosh S., 139(2)127--151
-
Desai:2015:RFC, 139(2)127--151
-
Describing, 134(1)39--50, 147(2)193--207, 151(1)77--89
-
Description, 103(1)1--29, 104(4)349--384, 127(1)325--340,
127(1)399--412, 128(4)503--526, 129(1)161--176, 133(2)287--303,
135(4)433--449, 137(3)323--340, 140(3)373--391, 143(1)113--139,
145(4)429--470, 147(2)209--221, 156(3)361--411, 159(1)95--122,
160(3)343--359
-
Descriptive, 127(1)357--367, 163(4)305--324
-
Descriptor, 109(3)355--368
-
Desel, Jörg, 137(1)z--z, see Colom, José Manuel
-
Desfontaines, Damien, 138(1)77--84
-
Desfontaines, Damien, see Calude, Cristian S.
-
Design, 98(2)233--256, 107(1)19--42, 108(1)1--21, 108(1)119--149,
124(1)91--110, 124(1)153--174, 131(2)187--203, 134(1)183--200,
137(1)143--170, 147(1)1--25, 161(3)249--273, 164(2)181--194
-
Designing, 146(4)403--430
-
Desirable, 158(4)327--352
-
Destro-Filho, J. B., 124(1)111--132
-
Destro-Filho, J. B., see Saito, J. H.
-
Detecting, 105(4)435--466, 161(3)299--316
-
detecting, Error-, 101(4)257--270
-
Detection, 106(1)75--91, 111(1)65--79, 127(1)289--305, 127(1)529--544,
142(1)237--267, 168(1)79--88, 168(2)231--248
-
Detector, 164(2)195--205
-
determinant, 129(1)37--48
-
Determination, 98(1)123--142
-
Determined, 99(1)1--12, 131(2)205--215, 137(3)413--424, 142(1)87--104
-
Determining, 123(4)447--490, 156(1)95--123, 169(4)285--294
-
determinism, Non-, 103(1)173--202, 164(2)139--155
-
Deterministic, 98(2)143--166, 108(1)91--118, 113(1)1--18,
119(3)393--406, 136(1)139--155, 152(3)289--295, 154(1)37--46,
155(1)89--110, 160(3)281--301
-
Deterministic, Non-, 130(3)343--376
-
deterministic, Non-, 132(1)113--129
-
Deterministic, Semi-, 146(4)431--459
-
Development, 118(3)291--304
-
Device, 135(4)341--353, 136(3)269--284
-
Devillers, Raymond, 122(1)85--117, 140(1)39--59, 146(1)z--z,
161(4)383--421, 169(1)1--30
-
Devillers, Raymond, see Best, Eike,
see Hujsa, Thomas,
see Peschanski, Frédéric
-
Devillers:2016:P, 146(1)z--z
-
Devillers:2019:ASW, 169(1)1--30
-
Dezani-Ciancaglini, Mariangiola, 103(1)1--29
-
Dezani-Ciancaglini, Mariangiola, see Barbuti, Roberto
-
DFAs, 110(1)143--158
-
Di Francescomarino, Chiara, 161(1)75--111
-
Di Francescomarino, Chiara, see Chesani, Federico
-
Di Giusto, Cinzia, 160(1)119--142
-
Di Giusto, Cinzia, see Delaplace, Franck
-
Di Lena, Pietro, 115(1)75--85, 126(2)183--199
-
Di Lena, Pietro, see Dennunzio, Alberto
-
Di Mauro, Nicola, 129(3)251--277
-
Diabetes, 127(1)513--528
-
Diagnosability, 102(1)19--34, 161(4)317--349
-
Diagnosis, 168(2)219--230
-
Diagnostic, 127(1)209--223
-
Diagonal, 117(1)249--264
-
Diagonalization, 139(4)329--346
-
Diagram, 105(3)263--289, 115(4)327--356, 123(4)447--490, 124(3)339--364
-
Dialogue, 128(1)239--253, 135(4)403--417, 161(1)191--218, 162(1)17--36,
165(3)345--361
-
Diameter, 140(2)205--219
-
diameter, Wide-, 125(2)153--160
-
Díaz-Pernil, Daniel, 134(1)83--96
-
Diaz-Pernil:2014:AFT, 134(1)83--96
-
Dicky, Anne, 141(4)311--343
-
Dicky:2015:TWA, 141(4)311--343
-
Dicomplemented, 156(3)281--295
-
dictionary, 170(1)177--205
-
Diekert, Volker, 116(1)65--77
-
Diekert:2012:KRT, 116(1)65--77
-
difference, 116(1)205--222, 152(3)273--287
-
Differencing, 98(2)321--336, 118(3)281--289
-
Different, 109(4)405--424, 141(2)207--231
-
Differential, 114(3)239--269, 143(1)73--87, 151(1)91--108,
151(1)161--171, 164(2)227--242
-
differential, Integro-, 133(4)421--431, 151(1)109--133
-
Diffraction, 146(2)219--230
-
Diffusible, 118(4)419--461
-
Diffusion, 133(1)19--34
-
Digital, 112(4)337--363, 125(3)361--376, 135(1)171--197, 135(3)243--268,
138(3)321--338, 138(4)483--514, 159(3)297--325, 162(1)73--100,
168(2)89--184
-
Digraphs, 153(4)291--325
-
Diker, Murat, 108(3)305--336
-
Diker:2011:TFR, 108(3)305--336
-
Dilation, 164(1)17--39
-
DiLena:2012:UAP, 115(1)75--85
-
Dillon, Tharam S., 119(2)187--231
-
Dillon, Tharam S., see Tan, Henry
-
Dima, C{\u{a}}t{\u{a}}lin, 131(3)389--407
-
Dima:2014:NDT, 131(3)389--407
-
Dimasi, Antonella, 105(1)35--55
-
Dimasi, Antonella, see Ricca, Francesco
-
DiMauro:2014:GPR, 129(3)251--277
-
dimension, 98(1)15--32, 118(4)371--384, 127(1)307--323, 132(4)519--532,
135(1)199--210, 141(1)57--69, 162(2)143--160
-
dimensional, 98(1)71--86, 113(2)97--115, 114(2)149--182, 114(2)183--201,
119(3)357--372, 123(1)15--42, 140(2)129--172, 140(2)173--203,
163(4)375--393
-
Dimensional, Multi-, 122(4)357--399
-
Dimensional, One-, 126(2)201--224
-
dimensional, One-, 115(1)87--105, 166(2)87--110
-
dimensional, Six-, 146(2)219--230
-
Dimensional, Two-, 148(3)309--340, 151(1)77--89
-
dimensional, Two-, 98(2)143--166, 102(3)467--487,
115(1)87--105
-
Din{\v{c}}i{\'c}, Milan R., 98(2)233--256,
see Peri{\'c}, Zoran H.
-
Ding, Xiuyong, 128(4)503--526
-
Ding, Xiuyong, see Wang, Zhaohao
-
Dinh, Tien, 130(2)231--246
-
Dinh, Tien, see Pham, San
-
Dining, 161(1)113--133
-
Dinu, Anca, 112(4)263--280
-
Dinu, Liviu P., 118(3)245--252, 131(3)409--424, 141(4)297--310
-
Dinu, Liviu P., see Bortolussi, Luca
-
Dinu:2011:VCD, 112(4)263--280
-
Dinu:2014:SLG, 131(3)409--424
-
Diophantine, 109(4)425--462, 125(1)95--99
-
Direct, 133(2)227--240, 141(2)245--258
-
Directed, 110(1)29--44, 130(3)317--342
-
Directed, Object-, 109(3)355--368
-
direction, 132(2)177--202, 153(4)327--346, 155(4)407--423
-
Directional, 141(2)151--167
-
Dirichlet, 166(2)111--137
-
Disambiguation, 119(1)61--86
-
Discourse, 108(3)337--369, 112(4)263--280
-
Discovering, 98(1)33--47
-
Discovery, 108(1)151--180, 113(3)343--376, 128(1)65--79, 131(1)103--138,
133(2)197--209, 137(2)237--252, 154(1)1--13
-
Discrete, 100(1)77--98, 110(1)343--359, 120(3)341--357, 125(3)223--237,
125(3)239--259, 125(3)261--272, 125(3)273--284, 125(3)285--312,
125(3)313--328, 127(1)35--47, 131(3)465--483, 135(1)43--57,
135(4)553--568, 136(4)317--329, 140(1)89--121, 141(4)345--366,
155(4)407--423, 155(4)425--447, 156(2)209--235, 156(3)281--295
-
discrete, Quasi-, 142(1)105--115
-
Discrete-Time, 101(1)9--27, 160(1)181--198
-
Discrete-time, 156(2)125--139
-
Discretization, 131(3)389--407
-
Discriminative, 130(2)247--261, 168(2)231--248
-
Disease, 160(1)143--165
-
Disentangling, 116(1)51--63
-
Disjunctions, 102(3)429--466
-
Dispersion, 145(2)207--219
-
Displacement, 164(2)181--194, 164(2)243--257, 164(2)277--288
-
Display, 146(3)293--304
-
Disruption, 104(1)93--110
-
distance, 101(3)157--171, 101(4)257--270, 115(1)125--139,
118(3)245--252, 123(3)365--380, 132(4)461--483, 164(1)17--39
-
Distance-based, 137(3)355--367
-
Distinguishability, 118(3)245--252, 148(3)243--266
-
Distortion, 153(3)221--233
-
Distributed, 101(1)9--27, 102(3)263--286, 105(1)57--78, 119(3)265--280,
125(1)1--20, 128(3)281--302, 130(4)377--407, 153(1)v--vi,
161(1)113--133, 161(4)351--381
-
Distributed-memory, 128(3)337--366
-
Distribution, 112(4)305--335, 117(1)147--154, 117(1)229--248,
136(3)199--208, 153(1)147--172, 159(3)257--277
-
Distributional, 146(4)339--377
-
Distributive, 115(1)25--56
-
Divides, 114(3)287--299
-
Diving, 107(2)267--287
-
Divisibility, 152(1)87--105
-
Divisible, 136(4)331--343
-
Division, 138(1)97--111
-
Divisors, 116(1)65--77
-
Djafari, Ali, Mohammad-, 155(4)373--405, 155(4)449--480
-
Djouadi, Yassine, 99(2)169--186
-
Djouadi:2010:IVF, 99(2)169--186
-
DLPC, 145(2)143--150
-
DNA, 123(2)199--226, 123(2)227--243, 133(2)105--121, 138(1)179--192,
143(1)35--49, 164(2)181--194, 164(2)195--205, 164(2)243--257,
164(2)277--288
-
Doberkat, Ernst-Erich, 149(4)363--383
-
Doberkat:2016:BCS, 149(4)363--383
-
Document, 124(1)27--46, 132(3)423--438, 156(1)43--68
-
Dodaro, Carmine, 167(1)31--58
-
Dodaro, Carmine, see Alviano, Mario
-
Does, 125(1)95--99
-
Doherty, Patrick, 127(1)135--149
-
Doherty:2013:AGL, 127(1)135--149
-
Dojer, Norbert, 103(1)53--67
-
Dojer:2010:EAL, 103(1)53--67
-
Doliwa, Dariusz, 112(1)47--71
-
Doliwa:2011:PWS, 112(1)47--71
-
Dolques, Xavier, 115(4)327--356
-
Dolques:2012:FGD, 115(4)327--356
-
domain, 127(1)495--511, 127(1)529--544, 129(4)341--364, 130(4)467--490,
133(2)133--147, 137(2)171--217, 137(2)237--252, 138(1)207--225,
139(2)127--151, 140(3)373--391, 148(1)1--33, 156(2)209--235,
156(3)361--411, 158(4)297--326, 159(1)123--146, 161(1)9--27,
166(4)349--378, 170(4)325--338
-
domain, Co-, 141(2)115--134
-
domain, Two-, 164(2)277--288
-
Dominance-based, 115(1)25--56
-
Dominating, 130(4)415--421
-
dominating, Non-, 140(2)123--127
-
Domination, 152(3)273--287, 166(4)379--392
-
Domino, 117(1)249--264
-
Dong, Jianwu, 125(2)135--152
-
Dong, JinSong, 131(1)81--101
-
Dong, JinSong, see Liu, GuanJun
-
Dong, Minggang, 163(2)205--223
-
Dong, Minggang, see Tong, Lyuyang
-
Dong, Yafei, 164(2)195--205
-
Dong, Yafei, see Guo, Bingjie
-
Dong, Zhengchao, 151(1)z--z
-
Dong, Zhengchao, see Zhang, Yudong
-
Dong:2013:DAL, 125(2)135--152
-
Donia, Hassan M., Abu-, 137(3)387--402
-
Donnelly, Kevin, 103(1)69--87
-
Donnelly:2010:CRV, 103(1)69--87
-
Dorzán, Maria Gisela, 119(1)1--27
-
Dorzan:2012:AMW, 119(1)1--27
-
Dost, {\c{S}}enol, 158(4)353--368
-
Dost:2018:PSA, 158(4)353--368
-
Double, 111(1)1--14, 117(1)155--177, 129(1)37--48, 130(4)415--421,
147(4)447--456
-
Dovier, Agostino, 105(1)79--103, 105(1)105--133, 124(4)561--575,
140(3)221--246, 161(1)53--74
-
Dovier, Agostino, see Ancona, Davide,
see Calegari, Roberta,
see Campagna, Dario, \see{Zhou, Neng-Fa
-
Dovier:2010:IMA, 105(1)79--103
-
down, Top-, 112(2)239--261
-
Downen, Paul, 170(1)39--92
-
Downen:2019:DCI, 170(1)39--92
-
dP, 111(4)423--436
-
Drábik, Peter, 120(3)259--274
-
Drabik:2012:CMV, 120(3)259--274
-
Dragomir, Ciprian, 134(1)97--110
-
Dragomir, Ciprian, see Konur, Savas
-
Drami{\'n}ski, Micha{\l}, 127(1)273--288,
see Kruczyk, Marcin
-
drawn, 125(3)329--342
-
Dra{\v{z}}i{\'c}, Slobodan, 164(1)17--39
-
Drazic:2019:AMD, 164(1)17--39
-
Dreossi, Diego, 141(2)233--243
-
Dreossi, Diego, see Brun, Francesco
-
Drewes, Frank, 136(1)z--z, 155(1)89--110
-
Drewes, Frank, see Bensch, Suna
-
Drewes:2017:TBC, 155(1)89--110
-
Drift, Concept-, 124(1)47--61
-
Dritschler, Timo, 141(2)245--258, 141(2)259--274
-
Dritschler, Timo, see Shkarin, Andrei,
see Shkarin, Roman
-
Driven, 109(3)223--236
-
driven, Data-, 132(3)349--363
-
Driven, Resource-, 120(3)243--257
-
Driven, Species-, 154(1)47--63
-
Driven, Tinput-, 155(1)59--88
-
driver, 111(1)65--79
-
Droste, Manfred, 136(1)37--58
-
Droste:2015:SWU, 136(1)37--58
-
Drug, 147(2)193--207
-
Dry{\l}o, Robert, 153(4)399--413, 169(4)275--283, 169(4)285--294,
see Wro{\'n}ski, Micha{\l}
-
Drylo:2019:DFR, 169(4)285--294
-
Drylo:2019:JHC, 169(4)275--283
-
DSM, 157(4)359--370
-
Dssouli, Rachida, 152(3)223--271
-
Dssouli, Rachida, see El Kholy, Warda
-
DT0L, 110(1)175--182
-
Du, Junwei, 123(4)401--416
-
Du, Junwei, see Jiang, Feng
-
Du, Yong, 111(1)65--79
-
Du:2011:KFR, 111(1)65--79
-
Duality, 100(1)77--98, 106(2)273--294, 127(1)35--47, 127(1)49--64,
136(4)317--329, 144(1)45--75, 156(3)331--359, 170(1)39--92
-
Duan, Zhenhua, 167(4)323--354
-
Duan, Zhenhua, see Klaudel, Hanna
-
Duarte, M. C., 124(1)47--61
-
Duarte, M. C., see Hruschka, Jr., E. R.
-
Dubernard, Jean-Philippe, 137(4)425--455
-
Dubernard, Jean-Philippe, see Champarnaud, Jean-Marc
-
Dubois, Didier, 99(2)147--168, 108(3)223--247, 142(1)1--19
-
Dubois, Didier, see Benferhat, Salem,
see Ciucci, Davide, \see{Couso, In{\'e}s
-
Dubtsov, Roman, 133(2)133--147
-
Dubtsov:2014:DVT, 133(2)133--147
-
Duchi, Enrica, 163(1)21--39
-
Duchi:2018:GTP, 163(1)21--39
-
Dudenhefner, Andrej, 170(1)93--110
-
Dudenhefner:2019:UIT, 170(1)93--110
-
Dulio, P., 125(3)z--z
-
Dulio, Paolo, 135(1)z--z, 146(2)179--183, 155(4)407--423, 155(4)i--vii,
163(1)93--109, 163(1)v--xiv
-
Dulio, Paolo, see Brunetti, Sara
-
Dulio:2013:P, 125(3)z--z
-
Dulio:2014:P, 135(1)z--z
-
Dulio:2016:P, 146(2)179--183
-
Dulio:2017:P, 155(4)i--vii
-
Dulio:2017:RUQ, 155(4)407--423
-
Dulio:2018:GMS, 163(1)93--109
-
Dunin-K{\c{e}}plicz, Barbara, 100(1)53--76
-
Dunin-K{\k{e}}plicz, Barbara, 158(1)1--39
-
Dunin-Keplicz:2010:FGB, 100(1)53--76
-
Dunin-Keplicz:2018:MPP, 158(1)1--39
-
Düntsch, Ivo, 100(1)77--98, 127(1)35--47, 127(1)241--256,
156(3)281--295, see Wang, Hui
-
Duntsch:2010:SMT, 100(1)77--98
-
Duntsch:2013:DDR, 127(1)35--47
-
Duntsch:2017:DRDa, 156(3)281--295
-
Duntsch:2017:DRDb, 156(3)281--295
-
Duong, Anh-Duc, 130(2)219--229
-
Duong, Anh-Duc, see Nguyen, Ngoc Trung
-
Dupré, Daniele Theseider, 161(1)135--161,
see Giordano, Laura
-
Durand-Lose, Jérôme, 155(1)v--vii
-
Durand-Lose:2017:PE, 155(1)v--vii
-
Durda, 168(1)79--88
-
Durnoga, Konrad, 141(4)345--366, 156(2)179--185
-
Durnoga:2015:CDL, 141(4)345--366
-
Durnoga:2017:LSM, 156(2)179--185
-
Duta, Nicolae, 131(3)425--440
-
Duta:2014:NLU, 131(3)425--440
-
Dutt, Mousumi, 159(3)297--325, 162(1)73--100
-
Dutt, Mousumi, see Sarkar, Apurba
-
Dutta, Soma, 133(1)1--18, 142(1)213--236, 154(1)95--108, 162(1)17--36,
165(3)283--302
-
Dutta, Soumitra, 124(1)197--229
-
Dutta, Soumitra, see Pal, Sankar K.
-
Dutta:2014:GCF, 133(1)1--18
-
Dutta:2015:GQC, 142(1)213--236
-
Dutta:2017:ILS, 154(1)95--108
-
Dutta:2018:DHL, 162(1)17--36
-
Dutta:2019:LRS, 165(3)283--302
-
Dvure{\v{c}}enskij, Anatolij, 115(1)15--24,
see Buhagiar, David
-
Dworza{\'n}ski, Leonid W., 120(3)275--293
-
Dworzanski:2012:CBL, 120(3)275--293
-
Dyck, 117(1)127--145, 117(1)279--285
-
Dydo, Lukasz, 143(1)1--18, 143(1)19--34, 147(2)193--207
-
Dydo, Lukasz, see Bazan, Jan G.,
see Buregwa-Czuma, Sylwia
-
Dynamic, 99(2)207--226, 100(1)19--41, 100(1)159--180, 103(1)31--52,
111(2)147--161, 112(1)89--101, 114(2)105--128, 115(1)57--74,
119(1)29--60, 119(3)233--248, 125(3)285--312, 128(4)367--412,
134(1)67--82, 135(4)387--401, 138(1)1--16, 142(1)285--306,
142(1)373--397, 147(1)27--61, 147(2)159--171, 147(2)261--288,
148(1)87--105, 156(2)125--139, 158(1)121--148, 163(2)189--204,
164(1)119--138, 169(3)179--210
-
Dynamic-Logical, 158(1)149--169
-
Dynamical, 126(2)183--199
-
Dynkin, 123(4)447--490, 124(3)339--364, 125(1)21--49, 158(4)369--384
-
Dynkin, Coxeter-, 139(4)347--367