Last update: Thu Jun 29 02:46:09 MDT 2023
Return to index directory
D
-
D4, 176(3)349--384, 178(4)315--346
-
Dagdia, Zaineb Chelly, 182(2)111--179
-
Dagdia:2021:DSD, 182(2)111--179
-
Dal Zilio, Silvano, 187(2)103--138
-
Dal Zilio, Silvano, see Amat, Nicolas
-
Dangalchev, Chavdar, 176(1)1--15
-
Dangalchev:2020:ACN, 176(1)1--15
-
Daniel, 187(1)v--vii
-
Danvy, Olivier, 185(2)115--183
-
Danvy:2022:GTB, 185(2)115--183
-
Daowen, Qiu, 182(4)321--344
-
Daowen, Qiu, see Zhengwei, Xie
-
Darkey-Mensah, Mawunyo Kofi, 184(4)297--306
-
Darkey-Mensah:2021:CLS, 184(4)297--306
-
Das, Bibhuti, 187(1)1--30
-
Das, Bibhuti, see Bhagat, Subhash
-
Das, Ritankar, 176(2)141--166
-
Das, Ritankar, see Dasgupta, Abhijit
-
Dasgupta, Abhijit, 176(2)141--166
-
Dasgupta:2020:PRM, 176(2)141--166
-
Data, 176(2)141--166, 176(2)167--181, 176(3)299--319, 182(2)i--ii,
188(2)91--101
-
Data-Aware, 182(1)1--29
-
database, 173(1)47--72
-
DBpedia, 172(3)261--297
-
De Domenico, Andrea, 181(1)37--69
-
De Domenico, Andrea, see Cantone, Domenico
-
De, Rajat K., 176(2)141--166
-
De, Rajat K., see Dasgupta, Abhijit
-
Decentralized, 181(4)339--371
-
Decidability, 179(3)239--274, 180(1)53--76, 188(1)15--39
-
Decidable, 181(1)37--69
-
Decision, 179(1)75--92
-
Declarative, 178(4)347--378
-
deComposition, 181(2)163--188
-
Deep, 182(2)95--110
-
Definability, 188(1)15--39
-
Definite, 181(4)313--337
-
Degenerate, 175(1)41--58
-
degree, High-, 184(2)107--139
-
Dekker, Arnold J. den, 172(2)105--128
-
Dekker, Arnold J. den, see Beirinckx, Quinten
-
Delaila, J. Nancy, 178(3)187--202
-
Delaila, J. Nancy, see Arockiaraj, Micheal
-
Delgado, Karina Valdivia, 174(1)63--81
-
Delgado, Karina Valdivia, see Andrés, Ignasi
-
Delicado, Luis, 175(1)123--141
-
Delicado, Luis, see Carmona, Josep
-
Deligkas, Argyrios, 184(3)181--203
-
Deligkas, Argyrios, see Adamson, Duncan
-
Della Monica, Dario, 176(3)i--ii
-
Delzanno, Giorgio, 178(4)347--378
-
Delzanno, Giorgio, see Conchon, Sylvain
-
Denisov, Vadim, 183(3)203--242
-
Denisov, Vadim, see Fahland, Dirk
-
Denneulin, Sébastien, 172(2)203--219,
see Turpin, Léonard
-
Dependent, Clock-, 178(1)101--138
-
Deriving, 177(3)385--415
-
Dershowitz, Nachum, 186(1)v--viii
-
Dershowitz, Nachum, see Avron, Arnon
-
Description, 176(3)349--384, 178(4)315--346, 179(4)399--416,
186(1)89--120
-
Descriptional, 180(1)103--122, 181(2)189--211, 185(4)337--356
-
Desel, Jörg, 175(1)143--172
-
Desel:2020:STP, 175(1)143--172
-
design, 185(4)285--311
-
Detailed, 182(2)111--179
-
Detection, 181(4)339--371
-
Determine, 176(2)167--181
-
Deterministic, 172(1)39--51
-
Deterministic, Non-, 184(2)141--180
-
deterministic, Non-, 183(3)243--291, 186(1)143--153
-
Detour, 172(1)97--104
-
Development, 184(3)233--271
-
Devillers, Raymond, 175(1)59--95, 175(1)97--122, 183(1)1--31,
187(2)139--165, 187(2)167--196
-
Devillers, Raymond, see Arcile, Johan,
see Best, Eike
-
Devillers:2021:APT, 183(1)1--31
-
Devillers:2022:SBT, 187(2)167--196
-
Devillers:2022:SPI, 187(2)139--165
-
/dev/(u)random, 185(4)285--311
-
Di Bari, Gabriele, 174(3)201--228
-
Di Bari, Gabriele, see Baioletti, Marco
-
Diaconescu, Denisa, 173(2)177--189
-
Diaconescu:2020:MEB, 173(2)177--189
-
Diagnosability, 177(2)181--188
-
Diagnosis, 177(2)181--188, 185(4)357--373
-
Diagnosis/prediction, 181(4)339--371
-
Diamond, 178(3)173--185
-
Different, 176(2)167--181
-
Digital, 172(2)221--238, 174(3)283--310, 179(1)59--74
-
dimension, 177(2)95--113
-
dimensional, One-, 187(1)31--59
-
Directed, 173(1)1--31, 182(3)219--242
-
Dischargeable, 176(3)321--348
-
Discovering, 175(1)1--40
-
Discovery, 172(3)299--325
-
Discrete, 177(2)189--201
-
Discrete-event, 181(4)339--371
-
Disease, 176(2)167--181
-
Disjunctive, 174(1)15--26
-
Dissimilar, 176(2)167--181
-
Distributed, 178(4)347--378, 179(2)113--134, 182(2)111--179
-
Djordjevi{\'c}, Radosav, 174(2)185--199
-
Djordjevic:2020:PML, 174(2)185--199
-
Do, Phan Thuan, 182(3)257--283
-
Do, Phan Thuan, see Nguyen, Viet Dung
-
Dobronravov, Egor, 180(4)315--331
-
Dobronravov, Nikita, 180(4)315--331
-
Dobronravov, Nikita, see Dobronravov, Egor
-
Dobronravov:2021:LSS, 180(4)315--331
-
Dodaro, Carmine, 176(3)271--297
-
Dodaro, Carmine, see Alviano, Mario
-
Dolce, Francesco, 185(1)1--25
-
Dolce:2022:MPP, 185(1)1--25
-
domain, 179(3)295--319
-
Domenico, Andrea, De, 181(1)37--69
-
Domination, 174(1)15--26, 174(1)43--59, 185(3)201--220
-
domination, 2-, 185(2)185--199
-
Donatelli, Susanna, 183(1)v--vi
-
Donatelli:2021:P, 183(1)v--vi
-
Dovier, Agostino, 176(3)299--319
-
Dovier, Agostino, see Tarzariol, Alice
-
Dowbor, Piotr, 177(1)39--67
-
Dowbor:2020:CCT, 177(1)39--67
-
Downward, 188(3)127--178
-
Dry{\l}o, Robert, 181(4)303--312, 184(2)107--139,
see Wro{\'n}ski, Micha{\l}
-
Drylo:2021:CTJ, 181(4)303--312
-
Dulio, Paolo, 172(2)221--238, 172(2)i--xi
-
Dulio, Paolo, see Brunetti, Sara
-
Durand-Lose, Jérôme, 181(2)i--iii
-
Durand-Lose:2021:P, 181(2)i--iii
-
Dynamic, 173(4)253--283, 173(4)285--314, 175(1)59--95, 177(3)331--357
-
Dynamical, 180(3)251--273, 183(3)169--201
-
Dynkin, 184(1)49--82, 185(3)221--246