Last update: Thu Jun 29 03:37:43 MDT 2023
Return to index directory
D
-
D, 7252(0)102--113, 7264(0)1--12, 7264(0)106--116, 7269(0)21--29
-
D'Andrea, Annalisa, 7276(0)111--122
-
D'Andreagiovanni, Fabio, 7276(0)63--74
-
D'Andreagiovanni, Fabio, see Büsing, Christina
-
D'Angelo, Gianlorenzo, 7276(0)123--134, 7276(0)135--147
-
d'Aquin, Mathieu, 7295(0)119--133
-
d'Aquin, Mathieu, see Nikolov, Andriy
-
D'Emidio, Mattia, 7276(0)123--134, 7276(0)135--147
-
D'Emidio, Mattia, see D'Angelo, Gianlorenzo
-
d'Orazio, Laurent, 7279(0)14--25
-
d'Orazio, Laurent, see Vancea, Andrei
-
D-RAB, 7284(0)193--202
-
Da Rolt, Jean, 7275(0)89--104
-
Dadush, Daniel, 7256(0)207--218
-
Dadush:2012:TSA, 7256(0)207--218
-
Daenen, Koen, 7289(0)175--189
-
Daenen, Koen, see Janssens, Nico
-
Dag, 7276(0)51--62
-
Dagba, Théophile K., 7270(0)103--118,
see Adanhounmè, Villèvo
-
Dahyot, Rozenn, 7252(0)78--89
-
Dahyot, Rozenn, see Kim, Donghoon
-
Dai, Weiguo, 7277(0)232--243
-
Dai, Weiguo, see Yu, Dongxiao
-
Daily, 7251(0)83--90
-
DAIS, 7272(0)235
-
Dallas, 7292(0)224
-
Damaschke, Peter, 7292(0)72--83
-
Damaschke:2012:EPS, 7292(0)72--83
-
Damljanovic, Danica, 7295(0)24--38
-
Damljanovic:2012:LDB, 7295(0)24--38
-
DAndrea:2012:RSM, 7276(0)111--122
-
DAngelo:2012:ENL, 7276(0)123--134
-
DAngelo:2012:FDM, 7276(0)135--147
-
Danger, Jean-Luc, 7275(0)183--198
-
Danger, Jean-Luc, see Murdica, Cédric
-
Daras, Petros, 7281(0)130--141
-
Daras, Petros, see Axenopoulos, Apostolos
-
Dark, 7278(0)1--1
-
Darmois, Emmanuel, 7281(0)18--29
-
Darmois, Emmanuel, see Sales, Bernard
-
Darmstadt, 7275(0)264
-
DaRolt:2012:NSA, 7275(0)89--104
-
Das, Amitabh, 7275(0)89--104
-
Das, Amitabh, see Da Rolt, Jean
-
DasGupta, Bhaskar, 7292(0)84--86
-
DasGupta:2012:MAT, 7292(0)84--86
-
Dash, 7264(0)1--12
-
DaSilva, Luiz A., 7291(0)19--26
-
DaSilva, Luiz A., see Xiao, Yong
-
Data, 7250(0)287--300, 7252(0)30--41, 7253(0)61--78, 7255(0)1--25,
7260(0)29--35, 7260(0)173--189, 7260(0)190--196, 7261(0)219--233,
7262(0)64--78, 7262(0)127--147, 7266(0)80--90, 7266(0)91--102,
7267(0)21--29, 7268(0)56--63, 7268(0)73--81, 7268(0)82--91,
7268(0)92--99, 7268(0)136--143, 7269(0)3--11, 7277(0)90--101,
7278(0)2--2, 7278(0)164--179, 7278(0)180--194, 7287(0)84--93,
7289(0)190--204, 7289(0)205--216, 7294(0)228--242, 7295(0)6--6,
7295(0)8--23, 7295(0)39--55, 7295(0)56--71, 7295(0)87--102,
7295(0)103--118, 7295(0)134--148, 7296(0)64--73, 7297(0)41--48,
7297(0)124--131, 7299(0)96--111, 7299(0)112--126
-
Data-Based, 7295(0)24--38
-
Data-Driven, 7284(0)203--214
-
Data-Parallel, 7260(0)136--150
-
database, 7258(0)197--210, 7260(0)19--28, 7260(0)29--35, 7260(0)85--100,
7260(0)101--115, 7279(0)14--25, 7295(0)3--3, 7299(0)81--95
-
Datacenter, Pico-, 7277(0)26--39
-
Dataflow, 7253(0)241--258
-
Datalog, 7265(0)72--86
-
Daubert, Erwan, 7272(0)16--30
-
Daubert, Erwan, see Fouquet, François
-
Davendra, Donald, 7291(0)145--150
-
Davendra, Donald, see Zelinka, Ivan
-
Davey, James, 7281(0)93--104
-
Davey:2012:VAT, 7281(0)93--104
-
Davis, James, 7284(0)181--192
-
Davis, James, see Ferebee, Susan
-
Davis, Kathryn, 7264(0)130--137
-
Davis, Kathryn, see Wu, Jue
-
Davoodi, Pooya, 7256(0)219--230
-
Davoodi:2012:TDR, 7256(0)219--230
-
day, 7259(0)140--154
-
Day, Andy M., 7282(0)13--24
-
Day, Andy M., see Asque, Christopher T.
-
De Backer, Manu, 7286(0)78--87
-
De Backer, Manu, see Van Looy, Amy
-
de beeck, Steven, Op, 7271(0)1--52
-
De Bie, Johan, 7251(0)116--123
-
De Bie, Johan, see Corsi, Cristiana
-
de Oliveira Jr., Frederico, Alvares, 7274(0)29--43
-
de Oliveira Silva, Flávio, 7281(0)142--153
-
De Prisco, Roberto, 7269(0)48--56
-
De Raedt, Luc, 7250(0)122--143, 7250(0)147--165, 7278(0)2--2
-
De Raedt, Luc, see Dries, Anton,
see Kimmig, Angelika
-
De Ryck, Philippe, 7272(0)59--72
-
De Souza Santos, Eduardo, 7281(0)142--153
-
De Souza Santos, Eduardo,
see de Oliveira Silva, Flávio
-
De Turck, Filip, 7279(0)2--13
-
De Turck, Filip, see Bouten, Niels
-
de Velde, Erwin, Van, 7266(0)137--150
-
De Vos, Marina, 7254(0)129--148
-
De Vos, Marina, see Balke, Tina
-
Deadlines, 7256(0)13--24
-
Dealing, 7295(0)2--2
-
Debate, 7295(0)7--7
-
Debats, Nienke B., 7283(0)19--24
-
Debats:2012:PHR, 7283(0)19--24
-
DeBlasio, Dan F., 7262(0)45--59
-
DeBlasio:2012:EAM, 7262(0)45--59
-
Debugging, 7294(0)73--87
-
December, 7252(0)233, 7258(0)225, 7261(0)241
-
December, 30-, 7259(0)318
-
Decentralized, 7290(0)238--251, 7295(0)5--5
-
Decision, 7277(0)208--219, 7286(0)78--87, 7286(0)239--255,
7297(0)57--64
-
Declarative, 7258(0)40--53, 7278(0)2--2, 7294(0)62--72, 7294(0)73--87
-
Decomposition, 7269(0)110--118, 7276(0)1--8
-
Dedicated, 7260(0)315
-
Dedication, 7260(0)1--6
-
Deductive, 7295(0)164--178
-
Deepak, Akshay, 7292(0)87--98
-
Deepak:2012:IRT, 7292(0)87--98
-
Default, 7265(0)195--210
-
Defining, 7273(0)169--185
-
Definitions, 7281(0)201--212
-
Deflection, 7282(0)193--204
-
Deformable, 7282(0)205--217
-
deformation, 7264(0)47--57
-
Deformity, 7264(0)93--105
-
Degano, Pierpaolo, 7274(0)261--276
-
Degano:2012:TCS, 7274(0)261--276
-
Degerlund, Fredrik, 7272(0)177--184
-
Degerlund:2012:SCI, 7272(0)177--184
-
Degradation, 7279(0)98--108
-
Degree, 7288(0)189--197, 7289(0)149--160
-
Degree, Bounded-, 7256(0)85--96
-
deGuzman:2012:GIF, 7294(0)104--119
-
Deimmunization, 7262(0)184--198
-
Delahaye, Benoît, 7273(0)203--218
-
Delahaye:2012:SIT, 7273(0)203--218
-
Delays, 7259(0)48--60, 7269(0)119--127
-
delCerro:2012:BSL, 7265(0)265--278
-
delegatable, Non-, 7259(0)219--234
-
Delgrande, James, 7265(0)164--177
-
Delgrande:2012:CBR, 7265(0)164--177
-
Deliberation, 7258(0)155--169
-
Deligianni, Despina, 7297(0)65--72
-
Deligianni:2012:FCB, 7297(0)65--72
-
Delimited-Control, 7294(0)47--61
-
Delivery, 7251(0)148--156
-
Dellamonica Jr., Domingos, 7256(0)231--242
-
Dellamonica:2012:IUB, 7256(0)231--242
-
Delzanno, Giorgio, 7273(0)235--250
-
Delzanno:2012:VAH, 7273(0)235--250
-
Demaine, Erik D., 7288(0)81--93
-
Demaine, Martin L., 7288(0)81--93
-
Demaine, Martin L., see Demaine, Erik D.
-
Demaine:2012:PHP, 7288(0)81--93
-
Demand, 7289(0)232--246, 7296(0)137--151
-
Demand, On-, 7290(0)15--28
-
Demassey, Sophie, 7298(0)113--128
-
Demassey, Sophie, see Chabert, Gilles
-
Demeester, Piet, 7281(0)68--80
-
Demeester, Piet, see Papadimitriou, Dimitri
-
Denazis, Spyros, 7281(0)201--212
-
Denazis, Spyros, see Tranoris, Christos
-
Denecker, Marc, 7265(0)178--194
-
Denecker:2012:AFT, 7265(0)178--194
-
Denotational, 7253(0)12--41
-
Dense, 7285(0)172--181
-
Density, 7256(0)109--120, 7256(0)231--242
-
deOliveiraSilva:2012:SES, 7281(0)142--153
-
Dependable, 7279(0)154
-
Dependence, 7259(0)140--154
-
Dependency, 7262(0)183--183, 7268(0)3--12, 7291(0)97--104
-
Dependent, Time-, 7260(0)151--172
-
Dependently-Typed, 7294(0)3--3
-
Deployment, 7253(0)187--204, 7261(0)145--159, 7272(0)162--176
-
DePrisco:2012:DEA, 7269(0)48--56
-
DEPSO-2S, 7269(0)57--65
-
Deques, 7294(0)62--72
-
DeRaedt:2012:DMM, 7278(0)2--2
-
Derived, 7280(0)101--109, 7280(0)181--189
-
DeRyck:2012:SSR, 7272(0)59--72
-
Describing, 7257(0)148--163
-
Descriptions, 7287(0)156--163
-
Descriptively, 7255(0)41--121
-
Desel, Jörg, 7273(0)67--83, see Klai, Kais
-
Design, 7257(0)164--180, 7259(0)302--318, 7260(0)52--72,
7262(0)165--179, 7266(0)137--150, 7266(0)151--162, 7271(0)168--215,
7271(0)268--305, 7272(0)140--147, 7275(0)17--32, 7275(0)167--182,
7275(0)264, 7281(0)55--67, 7281(0)166--177, 7283(0)13--18,
7283(0)67--72, 7284(0)193--202, 7284(0)203--214, 7284(0)238,
7286(0)28--35, 7286(0)36--51, 7286(0)52--65, 7286(0)66--77,
7286(0)88--107, 7286(0)108--121, 7286(0)139--146, 7286(0)152--173,
7286(0)191--205, 7286(0)206--219, 7286(0)220--238, 7286(0)271--286,
7286(0)286, 7289(0)161--174, 7291(0)72--79, 7296(0)74--88,
7296(0)98--108, 7296(0)172--182
-
Designated, 7259(0)219--234
-
Designed, 7284(0)55--66
-
Designing, 7272(0)194--201, 7284(0)13--30, 7284(0)112--122,
7286(0)9--27, 7286(0)36--51, 7286(0)256--270
-
Designing-in-the-Large, 7286(0)122--138
-
Desktop, 7296(0)74--88
-
DESRIST, 7286(0)286
-
Detecting, 7259(0)127--139, 7279(0)122--125, 7282(0)124--135,
7289(0)56--67, 7290(0)149--160, 7290(0)161--171, 7297(0)114--123
-
Detection, 7259(0)140--154, 7261(0)3--3, 7262(0)163--164, 7268(0)30--37,
7269(0)93--101, 7279(0)86--97, 7279(0)109--112, 7279(0)118--121,
7299(0)73--80, 7299(0)81--95, 7299(0)96--111, 7299(0)145--153
-
determinant, 7284(0)1--12, 7284(0)203--214
-
Determine, 7264(0)58--64
-
Determining, 7284(0)1--12
-
Deterministic, 7256(0)37--48
-
Develop, 7264(0)65--73, 7286(0)66--77
-
Developing, 7277(0)26--39, 7284(0)67--78
-
Development, 7251(0)1--8, 7264(0)13--23, 7271(0)305, 7272(0)140--147,
7281(0)81--92, 7282(0)136--147, 7284(0)227--238, 7286(0)52--65,
7291(0)133--138, 7292(0)84--86, 7294(0)213--227, 7296(0)46--53
-
deviation, 7280(0)168--180
-
Device, 7252(0)90--101, 7282(0)37--46, 7282(0)112--123, 7282(0)148--159,
7282(0)226, 7283(0)120, 7291(0)133--138, 7296(0)210--220
-
Deville, Yves, 7298(0)260--274, 7298(0)292--306
-
Deville, Yves, see Massen, Florence,
see Pham, Quang Dung
-
DFS, 7261(0)35--49
-
Dhamdhere, Amogh, 7290(0)111--123, 7290(0)136--148
-
Dhamdhere, Amogh, see Mikians, Jakub
-
Dhamdhere:2012:MEI, 7290(0)136--148
-
Di Bitonto, Pierpaolo, 7270(0)198--221
-
Di Cerbo, Francesco, 7281(0)105--116
-
Di Natale, Giorgio, 7275(0)89--104
-
Di Natale, Giorgio, see Da Rolt, Jean
-
Diabetic, 7284(0)31--42
-
Diagram, 7285(0)36--46
-
Dial-a-Ride, 7298(0)275--291
-
Dialectics, 7255(0)122--180
-
Dialogue, 7270(0)119--143
-
Diamantopoulos, Panagiotis, 7297(0)106--113
-
Diamantopoulos, Panagiotis,
see Anastassiou, Vassileios-Marios
-
Diameter, 7256(0)219--230, 7276(0)99--110
-
Dias, Alex, 7281(0)142--153
-
Dias, Alex, see de Oliveira Silva, Flávio
-
Díaz, Jorge, Mata-, 7266(0)80--90
-
Díaz-Báñez, José Miguel, 7256(0)25--36,
see Arkin, Esther M.
-
DiBitonto:2012:EMA, 7270(0)198--221
-
DiCerbo:2012:TTS, 7281(0)105--116
-
Dickson, 7280(0)40--52
-
Dietzfelbinger, Martin, 7276(0)148--159
-
Dietzfelbinger:2012:MRG, 7276(0)148--159
-
difference, 7275(0)1--16, 7282(0)91--102, 7283(0)43--48
-
Different, 7268(0)111--119, 7295(0)24--38
-
Different, All-, 7298(0)50--65
-
Differential, 7269(0)12--20, 7269(0)39--47, 7269(0)48--56,
7269(0)57--65, 7269(0)110--118, 7269(0)128--135, 7269(0)136--144,
7269(0)145--153, 7269(0)154--161, 7275(0)135--150, 7292(0)153--164
-
Differentially, 7280(0)25--39
-
Differentiation, 7285(0)182--191
-
Diffie--Hellman, 7259(0)275--301
-
Digit, Single-, 7288(0)142--153
-
Digital, 7286(0)9--27, 7295(0)7--7, 7297(0)17--24
-
Dignum, Virginia, 7254(0)58--74
-
Dignum, Virginia, see Jiang, Jie
-
dimension, 7268(0)100--110
-
dimensional, Multi-, 7278(0)112--127
-
Dimensional, Three-, 7256(0)121--132, 7262(0)180--180
-
Dimensional, Two-, 7256(0)219--230
-
Dimitrova, Desislava C., 7277(0)126--137
-
Dimitrova:2012:ECB, 7277(0)126--137
-
Ding, Liping, 7259(0)248--260
-
Ding, Liping, see Lu, Yi
-
Ding, Ning, 7285(0)161--171
-
Ding, Ning, see Lan, Yan
-
Dinges, Peter, 7274(0)89--103
-
Dinges:2012:SSC, 7274(0)89--103
-
Direct, 7277(0)220--231
-
Directed, 7276(0)99--110
-
direction, 7283(0)31--36, 7283(0)97--102, 7292(0)84--86
-
Directionally, 7252(0)102--113
-
Disambiguation, 7297(0)33--40
-
Disaster, 7266(0)40--56
-
Disciplinary, Cross-, 7281(0)42--54
-
Disconnected, 7272(0)118--131
-
Discourse, 7258(0)27--39
-
Discovery, 7250(0)1--10, 7250(0)91--103, 7250(0)230--245,
7250(0)263--284, 7250(0)287--300, 7250(0)300, 7251(0)9--17,
7253(0)133--150, 7258(0)184--185, 7262(0)181--182, 7271(0)1--52,
7272(0)208--221, 7278(0)164--179, 7279(0)2--13, 7287(0)27--27,
7292(0)1--12, 7295(0)119--133
-
Discrete-Continuum, 7269(0)21--29
-
discriminant, 7297(0)90--97
-
Discrimination, 7282(0)160--172, 7283(0)37--42, 7283(0)79--84
-
Disease, 7251(0)18--25, 7251(0)42--49, 7251(0)164
-
Dishonest, 7274(0)245--260
-
Disjoint, 7256(0)195--206
-
Display, 7282(0)58--66, 7283(0)67--72, 7283(0)97--102
-
Dissemination, 7272(0)16--30
-
Dissociation, 7283(0)79--84
-
distance, 7256(0)97--108, 7258(0)186--196, 7258(0)211--223,
7267(0)169--177, 7273(0)169--185, 7285(0)26--35, 7285(0)47--57,
7292(0)13--23, 7292(0)60--71
-
Distinguishability, 7268(0)120--127
-
Distress, 7299(0)73--80
-
Distributed, 7253(0)1--2, 7253(0)278--295, 7254(0)38--57, 7267(0)3--11,
7272(0)1--15, 7272(0)31--44, 7272(0)140--147, 7272(0)185--193,
7272(0)235, 7273(0)118--134, 7273(0)267, 7274(0)74--88,
7276(0)208--223, 7279(0)2--13, 7279(0)113--117, 7288(0)1--1,
7289(0)68--81, 7289(0)82--96, 7291(0)43--51, 7296(0)64--73,
7297(0)141--148
-
Distributed-Memory, 7257(0)35--50
-
Distribution, 7272(0)96--103, 7280(0)168--180, 7289(0)1--12
-
Diversity, 7291(0)63--71
-
Dix, Jürgen, 7265(0)195--210
-
Dix:2012:PPU, 7265(0)195--210
-
Djatmiko, Mentari, 7290(0)198--210
-
Djatmiko:2012:HSM, 7290(0)198--210
-
DLV, 7265(0)247--264
-
DNA, 7255(0)1--25
-
DNNF, 7298(0)195--210
-
DNS, 7279(0)151--154
-
Dobrev, Stefan, 7288(0)94--106
-
Dobrev:2012:OSN, 7288(0)94--106
-
Dobrovolný, Jakub, 7279(0)62--73,
see Krej{\v{c}}{\'\i}, Radek
-
Document, 7250(0)54--65, 7250(0)66--90, 7250(0)91--103, 7258(0)126--140,
7299(0)145--153
-
Doerfel, Stephan, 7278(0)77--95
-
Doerfel:2012:PAF, 7278(0)77--95
-
Doerr, Christian, 7289(0)56--67, 7289(0)97--108, 7291(0)35--42
-
Doerr, Christian, see Blenn, Norbert,
see Martín-Hernández, Javier
-
Does, 7251(0)83--90, 7269(0)174--181
-
Do{\u{g}}anaksoy, Ali, 7280(0)89--100,
see Çalik, Ça{\u{g}}da{\c{s}}
-
domain, 7262(0)44--44, 7268(0)38--46, 7281(0)190--200, 7298(0)17--33
-
Domain, Inter-, 7289(0)13--26, 7291(0)63--71
-
domain, Inter-, 7290(0)124--135, 7291(0)113--120
-
domain, Multi-, 7290(0)252--264
-
Domain-Driven, 7271(0)1--52
-
Domain-Specific, 7268(0)38--46
-
Domenach:2012:FCA, 7278(0)210
-
Domination, 7285(0)129--138
-
Don't, 7276(0)160--171
-
Dong, Jianrong, 7292(0)87--98
-
Dong, Jianrong, see Deepak, Akshay
-
Dong, Xiaoju, 7296(0)198--209
-
Dong, Xiaoju, see Xue, Jianxin
-
Donia, H. M., Abu-, 7255(0)26--40
-
Donnellan, Brian, 7286(0)108--121
-
Donnellan, Brian, see Meyer, Martin
-
Donnelly, Mark, 7251(0)157--164
-
Donnelly, Mark, see McDowell, Andrew
-
Donnelly:2012:IAS, 7251(0)164
-
Doolin, Kevin, 7281(0)30--41
-
Doolin:2012:SWP, 7281(0)30--41
-
Dooren, Marko van, 7274(0)44--58
-
Doorn, George H., Van, 7282(0)91--102, 7283(0)25--30, 7283(0)55--60
-
Dor, Abbas, El, 7269(0)57--65
-
Dormoy, Julien, 7253(0)115--132
-
Dormoy:2012:RVT, 7253(0)115--132
-
Dorsey, Thomas J., 7280(0)117--125
-
Dorsey:2012:ICR, 7280(0)117--125
-
Dos Santos, Carlos Eduardo Moreira, 7281(0)81--92
-
Dos Santos, Carlos Eduardo Moreira,
see Ben Hamida, Amira
-
Dósa, György, 7285(0)161--171, see Lan, Yan
-
Douglas, Karen, 7284(0)79--89
-
Douglas, Karen, see Schumann, Sandy
-
Dovrolis, Constantine, 7290(0)111--123, 7290(0)136--148
-
Dovrolis, Constantine, see Dhamdhere, Amogh,
see Mikians, Jakub
-
Downen, Paul, 7294(0)32--46
-
Downen, Paul, see Ariola, Zena M.
-
Downing, Nicholas, 7298(0)146--162
-
Downing:2012:EFB, 7298(0)146--162
-
Downloading, 7290(0)97--110
-
DPL, PA-, 7275(0)39--53
-
DPOR-Based, 7261(0)95--114
-
Drapa{\l}a, Jaros{\l}aw, 7281(0)154--165,
see {\'S}wi{\k{a}}tek, Pawe{\l}
-
Drawing, 7285(0)13--25
-
Dreamland, 7283(0)109--114
-
Drechsler, Andreas, 7286(0)191--205
-
Drechsler:2012:DSD, 7286(0)191--205
-
Dries, Anton, 7250(0)147--165
-
Dries:2012:BQL, 7250(0)147--165
-
Drift, 7268(0)82--91
-
Drill, 7283(0)73--78
-
Driven, Data-, 7284(0)203--214
-
Driven, Domain-, 7271(0)1--52
-
Driven, Ontology-, 7268(0)3--12, 7279(0)2--13
-
Driven, SaaS-, 7299(0)198--206
-
driver, 7266(0)57--67, 7266(0)68--79
-
Drouin, Simon, 7264(0)13--23
-
Drouin:2012:RTD, 7264(0)13--23
-
Drozd, Filip, 7284(0)157--168
-
Drozd:2012:EPP, 7284(0)157--168
-
Du, Yusong, 7259(0)219--234, 7259(0)261--274
-
Du, Yusong, see Tian, Haibo
-
Du:2012:RBF, 7259(0)261--274
-
Dual, 7276(0)87--98
-
Duality, 7278(0)148--163
-
Dubaj, Vladimir, 7282(0)91--102
-
Dubaj, Vladimir, see Van Doorn, George H.
-
Dubitzky, Werner, 7250(0)11--32
-
Dubitzky:2012:TCI, 7250(0)11--32
-
Dubois, Swan, 7288(0)107--118
-
Dubois:2012:BBP, 7288(0)107--118
-
Dubrova, Elena, 7275(0)54--68
-
Dubrova, Elena, see Mansouri, Shohreh Sharif
-
Duc, Thanh Tran, 7295(0)56--71
-
Duc, Thanh Tran, see Wagner, Andreas
-
Duda, Piotr, 7267(0)39--46, 7267(0)47--54, 7267(0)55--62, 7268(0)56--63,
7268(0)82--91, 7268(0)92--99
-
Duda, Piotr, see Er, Meng Joo,
see Jaworski, Maciej
-
Duda:2012:PPA, 7268(0)56--63
-
Duda:2012:SCO, 7267(0)47--54
-
Duda:2012:SCR, 7267(0)55--62
-
Dugeon, Olivier, 7291(0)113--120
-
Dugeon, Olivier, see Agiatzidou, Eleni
-
Dummett, Gödel-, 7294(0)151--165
-
Duplication, 7262(0)94--112, 7292(0)165--176
-
Düsterhöft, Antje, 7260(0)1--6
-
Dusterhoft:2012:CMT, 7260(0)315
-
Dusterhoft:2012:DTM, 7260(0)1--6
-
Dutch, 7286(0)239--255
-
Dutta, Partha, 7289(0)190--204
-
Dutta, Partha, see Mann, Vijay
-
Du{\v{z}}{\'\i}, Marie, 7260(0)268--290
-
Duzi:2012:ELH, 7260(0)268--290
-
Dvo{\v{r}}{\'a}k, Wolfgang, 7265(0)57--71,
see Baumann, Ringo
-
Dvorsky, Marek, 7291(0)139--144
-
Dvorsky:2012:IGB, 7291(0)139--144
-
Dyer, Matthew D., 7262(0)183--183
-
Dyer, Matthew D., see Murali, T. M.
-
Dynamic, 7253(0)115--132, 7254(0)38--57, 7255(0)1--25, 7258(0)13--26,
7258(0)68--81, 7259(0)140--154, 7261(0)115--129, 7261(0)219--233,
7262(0)60--61, 7266(0)27--39, 7271(0)92--122, 7272(0)132--139,
7273(0)219--234, 7274(0)104--121, 7276(0)135--147, 7277(0)232--243,
7279(0)2--13, 7283(0)37--42, 7288(0)2--2, 7289(0)175--189,
7291(0)19--26, 7291(0)145--150
-
Dynamizing, 7276(0)224--235
-
Dziwok, Stefan, 7274(0)166--180
-
Dziwok:2012:RTC, 7274(0)166--180