Index file section M for tcs2015.bib
Last update: Sat Mar 13 02:07:49 MST 2021
Return to index directory
M
-
M, 770(z)101--101
-
Ma, Bin, 786(z)32--43
-
Ma, Bin, see Yuasa, Shota
-
Ma, Fei, 708(z)46--57
-
Ma, Feifei, 743(z)93--109, 786(z)26--31
-
Ma, Feifei, see Bereg, Sergey,
see Ge, Cunjing
-
Ma, Fermi, 748(z)28--39
-
Ma, Fermi, see Demaine, Erik D.
-
Ma, Jianfeng, 562(z)112--121
-
Ma, Jianfeng, see Chen, Xiaofeng
-
Ma, Meijie, 694(z)60--65
-
Ma, Qian, 788(z)21--38
-
Ma, Qian, see Duan, Zhenhua
-
Ma, Sha, 714(z)15--26
-
Ma, Sha, see Lai, Jianchang
-
Ma, Xue, 784(z)21--45
-
Ma, Xue, see Liu, Aixia
-
Ma, Yuzhe, 734(z)58--71
-
Ma, Zhanyou, 612(z)45--62
-
Ma, Zhanyou, see Pan, Haiyu
-
Ma:2017:VDE, 694(z)60--65
-
Ma:2018:IMC, 708(z)46--57
-
Ma:2018:NPD, 734(z)58--71
-
Maâmra, Khaled, 782(z)54--78, see Cohen, Johanne
-
Mabrouk, N., El-, 760(z)15--34
-
Machado, Raphael C. S., 618(z)122--134
-
Machado, Raphael C. S.,
see Filho, Hélio B. Macêdo
-
Machado, Rodrigo, 594(z)1--23
-
Machado:2015:RBT, 594(z)1--23
-
Machida, Motoya, 790(z)138--151
-
Machida:2019:SRC, 790(z)138--151
-
machine, 562(z)524--541, 562(z)581--589, 568(z)19--27, 570(z)22--29,
570(z)40--54, 572(z)50--57, 572(z)58--65, 580(z)28--35,
582(z)70--73, 583(z)67--77, 598(z)2--14, 598(z)102--117,
599(z)102--117, 600(z)86--97, 603(z)23--42, 607(z)181--192,
607(z)193--207, 613(z)65--78, 616(z)94--99, 617(z)65--68,
622(z)45--65, 623(z)65--74, 625(z)85--124, 627(z)71--81,
646(z)26--39, 646(z)40--48, 646(z)61--85, 652(z)1--17,
664(z)91--116, 673(z)1--18, 690(z)1--11, 694(z)42--59, 700(z)37--44,
702(z)65--76, 721(z)70--77, 740(z)68--75, 745(z)114--132,
769(z)43--62, 777(z)464--473, 778(z)78--80, 779(z)37--46,
787(z)111--126, 793(z)70--78, 799(z)71--93
-
machine, parallel-, 703(z)66--75
-
machine, Single-, 580(z)36--49, 583(z)57--66
-
machine, single-, 570(z)30--39, 782(z)91--106
-
machine, Two-, 796(z)154--168
-
machine, two-, 582(z)70--73
-
Macías-Ramos, Luis F., 608(z)57--65
-
Macias-Ramos:2015:MFV, 608(z)57--65
-
Mackey, Isaac, 705(z)1--8
-
Mackey, Isaac, see Leiss, Ernst L.
-
Mackie, Ian, 685(z)1--2
-
Mackie, Ian, see Ayala-Rincón, Mauricio
-
MacPherson, Chern-Schwartz-, 681(z)54--74
-
MacQuarrie, Fraser, 590(z)55--72, 608(z)201--218, 610(z)192--203,
709(z)20--30
-
MacQuarrie, Fraser, see Czyzowicz, Jurek,
see Eftekhari, Mohsen,
see Kranakis, Evangelos
-
macro-step-based, 643(z)38--64
-
Madan, Abhishek, 777(z)121--131
-
Madan, Abhishek, see Brzozowski, Janusz A.
-
made, 645(z)41--47
-
Madeira, Alexandre, 741(z)25--31, 744(z)78--96
-
Madeira, Alexandre, see Hennicker, Rolf
-
Madeira:2018:LSD, 744(z)78--96
-
Madonia, Maria, 657(z)127--136, 658(z)4--17, 777(z)55--68
-
Madonia, Maria, see Anselmo, Marcella
-
Maehara, Takanori, 791(z)48--61
-
Maehara, Takanori, see Fukunaga, Takuro
-
Maggiolo-Schettini, Andrea, 587(z)104--124
-
Maggiolo-Schettini, Andrea, see Pardini, Giovanni
-
magic, 607(z)391--410
-
Magnant, Colton, 774(z)44--50
-
Magnant, Colton, see Huang, Fei
-
Magnien, Clémence, 609(z)245--252, see Viard, Jordan
-
Magnifying, 636(z)17--26
-
Magnin, Morgan, 568(z)49--71, 608(z)66--83
-
Magnin, Morgan, see Folschette, Maxime
-
Mahajan, Meena, 708(z)34--45
-
Mahajan:2018:SRO, 708(z)34--45
-
Mahapatra, Priya Ranjan Sinha, 729(z)68--83
-
Mahapatra, Priya Ranjan Sinha, see Bereg, Sergey
-
Mahdian, Mohammad, 779(z)1--7
-
Mahdian, Mohammad, see Abam, Mohammad Ali
-
Maheshwari, Anil, 596(z)67--78, 783(z)9--21, 784(z)133--141,
793(z)28--35
-
Maheshwari, Anil, see Banik, Aritra,
see Biniaz, Ahmad, \see{Carmi, Paz,
see Gheibi, Amin
-
Mahmoody, Ahmad, 774(z)14--30
-
Mahmoody:2019:OSA, 774(z)14--30
-
Mahmoudi, M., 706(z)1--21
-
Mahmoudi, M., see Ebrahimi, M. M.
-
Maia, A. Karolinna, 562(z)283--303
-
Maia, A. Karolinna, see Bang-Jensen, J{\o}rgen
-
Mailler, Cécile, 570(z)70--101,
see Genitrini, Antoine
-
Maimoni, S., 638(z)11--26
-
Maimoni, S., see Benson, G.
-
Mainly, 658(z)264--292
-
maintaining, 562(z)23--32
-
maintenance, 754(z)107--121
-
Majewska, Gabriela, 590(z)73--85
-
Majewska, Gabriela, see Kowaluk, Miros{\l}aw
-
Majidi, Negin, 756(z)1--18
-
Majidi, Negin, see Baghoolizadeh, Shirin
-
majority, 607(z)96--112, 609(z)118--128, 647(z)59--73
-
Majumdar, Diptapriyo, 796(z)207--215
-
Majumdar:2019:TKE, 796(z)207--215
-
make, 562(z)606--620, 596(z)55--66
-
Makeig, Scott, 580(z)59--74
-
Makeig, Scott, see Yang, Yu
-
makespan, 570(z)22--29, 572(z)50--57, 734(z)24--31
-
Makino, Kazuhisa, 562(z)395--405, 609(z)185--196, 774(z)51--64,
786(z)88--95, 799(z)40--58
-
Makino, Kazuhisa, see Boros, Endre,
see Han, Xin, \see{Kawase, Yasushi
-
Malacaria, Pasquale, 597(z)62--87
-
Malacaria, Pasquale, see Biondi, Fabrizio
-
Malcher, Andreas, 578(z)58--71, 682(z)149--164, 787(z)111--126
-
Malcher, Andreas, see Kutrib, Martin
-
Maletti, Andreas, 578(z)72--87, 679(z)2--17, 728(z)29--99
-
Maletti, Andreas, see Engelfriet, Joost
-
Maletti:2015:HOD, 578(z)72--87
-
Maletti:2017:SFS, 679(z)2--17
-
Malgouyres, Rémy, 624(z)2--24,
see Esbelin, Henri-Alex
-
Malheiro, António, 731(z)88--98,
see Araújo, João
-
malicious, 609(z)606--619
-
Malizia, Enrico, 694(z)21--33
-
Malizia, Enrico, see Lukasiewicz, Thomas
-
Malka, Lior, 593(z)1--15
-
Malka, Lior, see Kapron, Bruce
-
malleable, non-, 759(z)98--132
-
Malyshev, Dmitriy, 700(z)63--74
-
Malyshev, Dmitriy, see Lozin, Vadim
-
Mamede, Ricardo, 592(z)87--96
-
Mamede, Ricardo, see Conflitti, Alessandro
-
Mamino, Marcello, 675(z)101--104
-
Mamino:2017:SRS, 675(z)101--104
-
mammalian, 633(z)100--111
-
Mamut, Aygul, 799(z)22--31
-
Mamut, Aygul, see Sabir, Eminjan
-
man, 739(z)39--58
-
management, 589(z)24--33, 595(z)46--64, 675(z)27--42, 723(z)73--83
-
Manca, Vincenzo, 701(z)190--202
-
Manca:2017:PIG, 701(z)190--202
-
Mandai, Yusaku, 644(z)114--126
-
Mandai:2016:LAM, 644(z)114--126
-
Mandrioli, Dino, 643(z)38--64, 658(z)105--121
-
Mandrioli, Dino, see Reghizzi, Stefano Crespi,
see Rossi, Matteo
-
Manea, Florin, 682(z)2--4, 684(z)1--2, 733(z)44--54, 743(z)64--71
-
Manea, Florin, see Currie, James,
see Fernau, Henning
-
Manea:2017:TSIa, 682(z)2--4
-
Manea:2017:TSIb, 684(z)1--2
-
Maneth, Sebastian, 616(z)18--58, 728(z)29--99
-
Maneth, Sebastian, see Engelfriet, Joost
-
Manhattan, 710(z)126--138
-
manifold, 620(z)91--104
-
manipulating, integer-, 750(z)24--37
-
manipulation, 616(z)111--125, 622(z)79--89, 726(z)78--99, 752(z)71--85
-
Manipulative, 731(z)36--49
-
Manlove, David F., 653(z)15--25
-
Manlove, David F., see Cechlárová, Katarína
-
Manolopoulos, Yannis, 710(z)116--125
-
Manolopoulos, Yannis, see Iakovidou, Nantia D.
-
Manoussakis, George, 770(z)25--33, 782(z)54--78
-
Manoussakis, George, see Cohen, Johanne
-
Manoussakis:2019:NDT, 770(z)25--33
-
Mantaci, Sabrina, 658(z)1--3, 664(z)117--130, 698(z)79--87
-
Mantaci, Sabrina, see De Felice, Clelia,
see Giammarresi, Dora
-
Mantaci:2017:MCE, 698(z)79--87
-
Manthey, Bodo, 738(z)42--52
-
Manthey, Bodo, see Cornelissen, Kamiel
-
many, 608(z)255--267, 618(z)30--41, 708(z)34--45, 717(z)2--25,
771(z)93--98, 794(z)3--11
-
many, many-to-, 617(z)45--64, 634(z)24--34
-
many-to-many, 617(z)45--64, 634(z)24--34
-
Manzini, Giovanni, 698(z)67--78
-
Manzini, Giovanni, see Gagie, Travis
-
Manzoni, Luca, 598(z)138--149, 608(z)16--26, 623(z)103--113,
664(z)131--143, 673(z)42--57, 701(z)161--173
-
Manzoni, Luca, see Azimi, Sepinoud,
see Dennunzio, Alberto,
see Leporati, Alberto
-
Mao, Qing, 609(z)253--261
-
Mao, Qing, see Gong, Linming
-
Mao, Yaping, 713(z)11--20, 755(z)38--47, 759(z)61--71, 767(z)16--25
-
Mao, Yaping, see Wang, Zhao, \see{Xiao, Yuzhi
-
Mao:2018:SMP, 713(z)11--20
-
map, 564(z)89--106, 614(z)1--62, 616(z)59--69, 640(z)84--93, 650(z)4--24,
772(z)143--148, 790(z)41--65
-
mapping, 563(z)86--98, 646(z)16--25, 653(z)108--110, 664(z)12--28
-
MapReduce, 608(z)268--281
-
Marathe, Madhav V., 648(z)34--39, 679(z)126--144
-
Marathe, Madhav V., see Adiga, Abhijin,
see Dutta, Tridib
-
Marc, Tilen, 565(z)16--29
-
Marc, Tilen, see Hellmuth, Marc
-
Marchal, Loris, 707(z)1--23
-
Marchal, Loris, see Kayaaslan, Enver
-
Marcilon, Thiago, 708(z)1--17, 791(z)10--27
-
Marcilon, Thiago, see Kanté, Mamadou Moustapha
-
Marcilon:2018:MTN, 708(z)1--17
-
Marcinkowski, Jan, 707(z)89--93
-
Marcinkowski, Jan, see Bienkowski, Marcin
-
Marco, Gianluca, De, 615(z)23--44
-
Marcos, João, 603(z)84--110, see Caleiro, Carlos
-
Marcus, 701(z)2--7
-
Marcus, Solomon, 701(z)8--11
-
Marcus:2017:THN, 701(z)8--11
-
Marinkovi{\'c}, Bojan, 756(z)64--93
-
Marinkovic:2019:PPC, 756(z)64--93
-
Marino, Andrea, 586(z)59--80
-
Marino, Andrea, see Borassi, Michele
-
Mark, 627(z)90--101
-
Markakis, Evangelos, 678(z)40--55
-
Markakis:2017:IBC, 678(z)40--55
-
Markarian, Christine, 786(z)2--12
-
Markarian, Christine, see Abu-Khzam, Faisal N.
-
marked, 750(z)101--116
-
markers, end-, 627(z)71--81
-
Market, 703(z)55--65
-
Markey, Nicolas, 563(z)43--74, 750(z)53--68
-
Markey, Nicolas, see Bouyer, Patricia,
see Le Coënt, Adrien
-
Markou, Euripides, 608(z)231--254, 764(z)42--60
-
Markou, Euripides, see Bampas, Evangelos,
see Das, Shantanu
-
Markov, 573(z)71--89, 595(z)34--45, 611(z)116--135, 633(z)4--18,
650(z)73--91, 680(z)1--14, 699(z)63--74, 714(z)1--14, 719(z)1--20,
747(z)48--74
-
Markovian, 563(z)99--143
-
Markovsky, Ivan, 681(z)176--198
-
Markovsky, Ivan, see Usevich, Konstantin
-
Markovskyi, Oleksandr P., 800(z)42--51
-
Markovskyi, Oleksandr P., see Doukas, Nikolaos
-
MARLEDA, 633(z)4--18
-
Marques-Silva, Joao, 577(z)25--42
-
Marques-Silva, Joao, see Janota, Mikolás
-
Marquezino, F. L., 736(z)41--61
-
Marquezino, F. L., see Grillo, S. A.
-
Marriage, 775(z)76--92
-
Marsault, Victor, 658(z)216--234
-
Marsault:2017:SRL, 658(z)216--234
-
Marsden, Dan, 752(z)104--115
-
Marsden, Dan, see Coecke, Bob
-
Martens, Wim, 627(z)54--70
-
Martens, Wim, see Losemann, Katja
-
Martín, Álvaro, 595(z)34--45,
see Vitale, Luciana
-
Martin, Barnaby, 670(z)56--67, 703(z)18--36
-
Martin, Barnaby, see Glaßer, Christian
-
Martín, David, Orellana-, 701(z)216--225, 701(z)226--234,
736(z)1--14, 777(z)443--453
-
Martin, Russell, 590(z)1, 794(z)27--46
-
Martin, Russell, see Gasieniec, Leszek,
see Lamprou, Ioannis
-
Martin--Löf, 588(z)2--15
-
Martin-Löf, 653(z)26--41
-
Martin:2017:CCQ, 670(z)56--67
-
Martinez, Eric, 667(z)1--15
-
Martinez, Eric, see Chalk, Cameron T.
-
Martínez-del-Amor, Miguel Á, 724(z)1--2, 736(z)1--14
-
Martínez-del-Amor, Miguel A., 701(z)226--234,
see Valencia-Cabrera, Luis
-
Martínez-del-Amor, Miguel Á.,
see Valencia-Cabrera, Luis
-
Martinez-del-Amor:2018:P, 724(z)1--2
-
martingales, 782(z)113--128
-
Martinhon, Carlos A., 602(z)89--102
-
Martinhon, Carlos A., see Faria, Luerbio
-
Martins, Manuel A., 744(z)78--96
-
Martins, Manuel A., see Madeira, Alexandre
-
Martins, Nicolas, 707(z)69--76
-
Martins, Nícolas A., 725(z)1--15, see Cohen, Nathann
-
Martins:2018:LIC, 707(z)69--76
-
Mary, Arnaud, 596(z)124--141, 658(z)391--398
-
Mary, Arnaud, see Beaudou, Laurent,
see David, Julien
-
Marzi, Francesca, 710(z)19--28
-
Marzi, Francesca, see Aronica, Salvatore
-
Masáková, Zuzana, 780(z)74--83, see Ambroz, Petr
-
Masny, Daniel, 692(z)90--113
-
Masny, Daniel, see Biagioni, Silvio
-
Masopust, Tomás, 682(z)165--179
-
Masopust, Tomá{\v{s}}, 711(z)109--114
-
Masopust:2017:BCF, 682(z)165--179
-
Masopust:2018:SPT, 711(z)109--114
-
mass, 598(z)23--39
-
mass-action, 641(z)11--24
-
Massazza, Paolo, 658(z)74--84, 664(z)54--66
-
Massazza, Paolo, see Brocchi, Stefano,
see Castiglione, Giusi
-
Maßberg, Jens, 654(z)59--69
-
Massberg:2016:ERS, 654(z)59--69
-
Massé, Alexandre Blondin, 624(z)121--135, 732(z)1--13
-
Masse:2016:EOD, 624(z)121--135
-
Masse:2018:LRP, 732(z)1--13
-
Massoulié, Laurent, 584(z)3--18, see Hegde, Nidhi
-
Mastermind, 596(z)55--66
-
Mastrangeli, Massimo, 671(z)19--25
-
Mastrangeli, Massimo, see Ipparthi, Dhananjay
-
Masuzawa, Toshimitsu, 617(z)1--11, 705(z)9--30
-
Masuzawa, Toshimitsu, see Shibata, Masahiro
-
Matamala, Martín, 609(z)511--514,
see Grippo, Luciano N.
-
match, 562(z)606--620, 700(z)75--88
-
matching, 570(z)55--69, 576(z)30--44, 578(z)30--41, 579(z)126--136,
588(z)131--137, 589(z)34--46, 592(z)59--71, 596(z)67--78,
602(z)32--38, 607(z)247--256, 609(z)129--142, 609(z)328--335,
609(z)500--510, 615(z)91--101, 621(z)82--91, 635(z)64--73,
638(z)3--10, 638(z)27--32, 638(z)52--62, 638(z)136--144,
638(z)145--158, 653(z)15--25, 656(z)225--233, 657(z)163--172,
665(z)73--86, 670(z)1--10, 674(z)43--52, 675(z)64--81, 675(z)82--88,
677(z)69--82, 687(z)40--47, 695(z)16--27, 699(z)21--32,
703(z)37--54, 710(z)35--43, 711(z)36--43, 713(z)11--20,
715(z)60--70, 720(z)64--72, 723(z)1--10, 726(z)5--29, 731(z)28--35,
734(z)83--93, 753(z)64--75, 754(z)122--129, 755(z)38--47,
759(z)61--71, 767(z)73--82, 770(z)1--24, 770(z)69--78,
777(z)121--131, 782(z)54--78, 786(z)26--31, 791(z)132--140,
792(z)161--172
-
Mateus, Paulo, 773(z)138--152
-
Mateus, Paulo, see Pan, Minghua
-
Mathematical, 608(z)98--107, 666(z)1--11
-
Mathieson, Luke, 665(z)73--86, 677(z)56--68
-
Mathieson, Luke, see Lancia, Giuseppe
-
Mathieson:2017:GEP, 677(z)56--68
-
Matos, Armando B., 594(z)65--81
-
Matos:2015:EPR, 594(z)65--81
-
Matringe, Nadir, 594(z)180--200
-
Matringe, Nadir, see Rebiha, Rachid
-
matrix, 582(z)60--69, 601(z)21--28, 609(z)76--86, 624(z)109--120,
647(z)50--58, 654(z)70--79, 658(z)36--45, 681(z)101--116,
681(z)117--137, 681(z)199--216, 682(z)5--21, 719(z)86--93,
743(z)72--82, 755(z)13--28, 755(z)89--109, 778(z)33--46,
795(z)520--539, 800(z)142--145
-
matrix, zero-, 653(z)87--96
-
matrix-merging, 607(z)126--134
-
matrix-vector, 759(z)72--97
-
matroid, 589(z)121--140, 598(z)150--156, 640(z)119--124, 754(z)50--64,
799(z)40--58
-
Matsen IV, Frederick A., 699(z)1--20
-
Matsen IV, Frederick A., see Whidden, Chris
-
Matsikoudis, Eleftherios, 574(z)39--77
-
Matsikoudis:2015:FPT, 574(z)39--77
-
Matsuda, Takahiro, 795(z)570--597
-
Matsuda, Takahiro, see Hara, Keisuke
-
Matsuoka, Yoshiaki, 656(z)225--233
-
Matsuoka:2016:GPM, 656(z)225--233
-
Matt, Christian, 747(z)1--25
-
Matt:2018:TAT, 747(z)1--25
-
matter, 561(z)24--36, 671(z)56--68, 751(z)46--60
-
Matulovic, Mariana, 606(z)42--56
-
Matulovic, Mariana, see Carnielli, Walter
-
Mauduit, Christian, 743(z)ii--ii
-
Mauduit, Christian, see Ferenczi, Sébastien
-
Maurer, Andreas, 650(z)109--122
-
Maurer, Ueli, 747(z)1--25
-
Maurer, Ueli, see Matt, Christian
-
Maurer:2016:CRE, 650(z)109--122
-
Mauri, Giancarlo, 664(z)131--143, 673(z)42--57, 701(z)161--173,
717(z)1--1, 777(z)243--251, 796(z)272--285
-
Mauri, Giancarlo, see Castelli, Mauro,
see Dennunzio, Alberto,
see Dondi, Riccardo,
see Leporati, Alberto
-
Mautor, Thierry, 602(z)50--59
-
Mautor, Thierry, see LeCun, Bertrand
-
Mavronicolas, Marios, 634(z)67--96
-
Mavronicolas:2016:CER, 634(z)67--96
-
Max, 657(z)54--63, 697(z)58--68, 749(z)47--58, 758(z)30--41
-
max, Min-, 613(z)94--114
-
max, min-, 654(z)45--58, 704(z)87--91
-
Max-Batching, 613(z)79--93
-
max-distance, 573(z)43--53
-
max-sat, 770(z)1--24
-
maximal, 609(z)245--252, 613(z)28--37, 618(z)107--121, 623(z)83--91,
624(z)41--55, 634(z)35--46, 638(z)112--121, 651(z)76--86,
656(z)241--248, 661(z)8--17, 700(z)45--62, 700(z)75--88,
753(z)1--15, 754(z)3--15, 764(z)2--14, 770(z)25--33, 782(z)54--78,
786(z)55--66, 791(z)116--122, 792(z)62--68, 793(z)132--139
-
maximal, Rank-, 767(z)73--82
-
maximal-exponent, 658(z)27--35
-
maximally, 758(z)9--16
-
maximin, 754(z)50--64
-
maximization, 595(z)92--106, 630(z)1--12, 657(z)173--190, 659(z)64--71,
662(z)9--30, 694(z)1--9, 764(z)30--41
-
maximizing, 561(z)24--36
-
maximum, 562(z)496--512, 570(z)22--29, 583(z)67--77, 588(z)81--95,
588(z)131--137, 602(z)32--38, 607(z)247--256, 609(z)287--295,
609(z)316--327, 617(z)65--68, 621(z)82--91, 622(z)45--65,
626(z)134--143, 646(z)1--15, 648(z)84--95, 657(z)86--97,
665(z)87--104, 675(z)64--81, 703(z)37--54, 708(z)1--17,
720(z)47--54, 725(z)31--51, 725(z)64--78, 734(z)32--37,
740(z)76--84, 783(z)41--52, 788(z)53--65, 796(z)294--308
-
maximum-box, 729(z)57--67
-
maximum-duo, 646(z)16--25, 653(z)108--110
-
maximum-weight, 738(z)42--52
-
MaxSAT, 670(z)33--44, 774(z)113--123
-
may, 655(z)41--57
-
Maza, Sebastián González Hermosillo de la, 795(z)9--19
-
Mazauric, D., 584(z)131--143
-
Mazauric, D., see Giroire, F.
-
Mazauric, Dorian, 617(z)28--44
-
Mazauric, Dorian, see Boissonnat, Jean-Daniel
-
Mazo, Loïc, 645(z)128--146, 690(z)73--90
-
Mazo:2016:NLE, 645(z)128--146
-
Mazo:2017:NLL, 690(z)73--90
-
Mazzawi, Hanna, 716(z)15--27
-
Mazzawi, Hanna, see Abasi, Hasan
-
Mazzola, Salvatore, 710(z)19--28
-
Mazzola, Salvatore, see Aronica, Salvatore
-
McBride, Iain, 653(z)15--25
-
McBride, Iain, see Cechlárová, Katarína
-
McCabe-Dansted, John, 594(z)201--222
-
McCabe-Dansted, John, see French, Tim
-
McCauley, Samuel, 743(z)110--129
-
McCauley, Samuel, see Bender, Michael A.
-
McGuinness, Sean, 639(z)1--13
-
McGuinness, Sean, see Brewster, Richard C.
-
Mchedlidze, Tamara, 636(z)47--55, 795(z)375--397, 795(z)408--419
-
Mchedlidze, Tamara, see Angelinia, Patrizio,
see Bekosa, Michael A.,
see Di Giacomo, Emilio
-
McInerney, F., 794(z)59--68
-
McInerney, F., see Bonato, A.
-
McInerney, Michael, 702(z)23--33
-
McInerney, Michael, see Downey, Rod
-
McIver, Annabelle, 744(z)97--112, 777(z)32--54
-
McIver, Annabelle, see Alvim, Mário S.
-
McIver:2018:SFG, 744(z)97--112
-
McMinn, Phil, 605(z)1--20
-
McMinn, Phil, see Kempka, Joseph
-
McQuillan, Ian, 627(z)71--81, 738(z)ii--ii, 745(z)87--113,
777(z)356--378, 798(z)23--39, 799(z)71--93
-
McQuillan, Ian, see Ibarra, Oscar H.
-
MCTS-based, 644(z)63--75
-
MDPs, 735(z)111--131
-
MDS, 757(z)1--10
-
Meagher, Karen, 734(z)119--130
-
Meagher, Karen, see Fallat, Shaun
-
Mealy, 707(z)24--35
-
mean, 608(z)166--177, 633(z)54--70, 675(z)101--104, 681(z)101--116
-
Mean-payoff, 735(z)82--110
-
means++, 588(z)37--51, 634(z)55--66
-
measure, 589(z)1--23, 592(z)23--38, 615(z)71--77, 626(z)144--162,
638(z)11--26, 638(z)76--90, 653(z)26--41, 775(z)53--67,
777(z)32--54
-
measurements, 791(z)87--108
-
Measuring, 698(z)79--87, 764(z)100--124
-
mechanism, 561(z)37--56, 562(z)419--435, 589(z)53--60, 596(z)109--123,
597(z)40--61, 654(z)11--25, 654(z)188--198, 695(z)28--41,
734(z)46--57
-
Mechanizing, 606(z)57--78
-
median, 583(z)51--56, 602(z)149--157, 627(z)13--25, 698(z)9--13,
749(z)80--92, 772(z)73--87, 795(z)119--127
-
Medina, Moti, 584(z)144--154
-
Medina, Moti, see Even, Guy
-
Medková, Katerina, 615(z)12--22, 743(z)12--22,
see Klouda, Karel
-
Meer, Klaus, 591(z)85--98
-
Meer:2015:GFA, 591(z)85--98
-
Meesum, S. M., 654(z)70--79, 661(z)56--64
-
Meesum, S. M., see Ashok, Pradeesha
-
Meesum:2016:RRA, 654(z)70--79
-
meet-semidistributive, 658(z)391--398
-
Megow, Nicole, 754(z)107--121
-
Megow, Nicole, see Abed, Fidaa
-
Mehlhorn, Kurt, 773(z)79--106
-
Mehlhorn, Kurt, see Becker, Ruben
-
Mehrabi, Saeed, 784(z)133--141, 791(z)76--86
-
Mehrabi, Saeed, see Bahoo, Yeganeh,
see Carmi, Paz
-
Mehrpour, Sahar, 791(z)76--86
-
Mehrpour, Sahar, see Bahoo, Yeganeh
-
Mei, Lili, 734(z)46--57
-
Mei:2018:MDO, 734(z)46--57
-
Meier, Florian, 758(z)73--93, 785(z)150--170
-
Meier, Florian, see Einarsson, Hafsteinn,
see Goldberg, Leslie Ann
-
Meijer, Henk, 713(z)78--84
-
Meijer, Henk, see Di Giacomo, Emilio
-
Meira, Luis A. A., 657(z)137--145
-
Meira:2016:CTC, 657(z)137--145
-
Meißner, Julie, 754(z)107--121, see Abed, Fidaa
-
Meister, Daniel, 562(z)252--269, 562(z)606--620
-
Meister, Daniel, see Heggernes, Pinar
-
Meister:2015:USD, 562(z)606--620
-
Melekian, Christoper, 576(z)30--44
-
Melekian, Christoper, see Cheng, Eddie
-
Melekian, Christopher, 713(z)11--20, 755(z)38--47, 791(z)132--140
-
Melekian, Christopher, see Mao, Yaping,
see Wang, Zhao
-
Melekian:2019:NGM, 791(z)132--140
-
Melideo, G., 667(z)101--118
-
Melideo, G., see Flammini, M.
-
Melkman, Avraham A., 590(z)2--16
-
Melkman, Avraham A., see Akutsu, Tatsuya
-
MELL, 768(z)91--98
-
Melnikov, Alexander, 674(z)73--98
-
Melnikov, Alexander, see Kalimullin, Iskander
-
Melucci, Massimo, 752(z)1--4
-
Melucci, Massimo, see Aerts, Diederik
-
membership, 646(z)86--108, 650(z)45--56, 680(z)15--24, 733(z)4--43,
742(z)66--81
-
membrane, 567(z)74--86, 598(z)87--101, 608(z)57--65, 673(z)42--57,
701(z)85--108, 701(z)226--234, 736(z)iii--iii, 736(z)1--14,
736(z)62--75, 736(z)76--78, 777(z)443--453
-
memory, 583(z)51--56, 583(z)86--97, 596(z)55--66, 621(z)57--72,
688(z)86--102, 688(z)103--116, 701(z)2--7, 707(z)1--23
-
Memoryless, 562(z)129--145
-
Menconi, Giulia, 710(z)74--87
-
Menconi, Giulia, see Grossi, Roberto
-
Mendiburu, Alexander, 598(z)64--86
-
Mendiburu, Alexander, see Echegoyen, Carlos
-
Meng, Hui, 734(z)3--14
-
Meng, Hui, see Chen, Zihe
-
Meng, Jixiang, 635(z)64--73, 687(z)40--47, 711(z)36--43, 711(z)44--55,
758(z)9--16, 783(z)95--104
-
Meng, Jixiang, see Hu, Xiaomin,
see Sabir, Eminjan, \see{Sun, Gaoxing,
see Zhang, Yaoyao
-
Menger, 707(z)56--68, 728(z)1--8, 793(z)181--192, 799(z)94--103
-
Menger-edge-connectedness, 731(z)50--67
-
Menger-vertex-connectedness, 731(z)50--67
-
Mercas, Robert, 656(z)234--240, 658(z)27--35, 682(z)180--189,
733(z)44--54
-
Mercas, Robert, see Badkobeh, Golnaz,
see Crochemore, Maxime,
see Fernau, Henning
-
Mercas:2017:AAB, 682(z)180--189
-
Mereghetti, Carlo, 578(z)58--71, 664(z)39--53
-
Mereghetti, Carlo, see Bianchi, Maria Paola,
see Kutrib, Martin
-
Merelli, Emanuela, 587(z)1--2, 608(z)2--3
-
Merelli, Emanuela, see Giannini, Paola
-
Merelli:2015:CSB, 608(z)2--3
-
merge, branch-and-, 745(z)114--132
-
merged, 708(z)75--90
-
merging, 640(z)20--40
-
merging, matrix-, 607(z)126--134
-
Merta, {\L}ukasz, 784(z)81--98
-
Merta:2019:CIV, 784(z)81--98
-
Mertzios, George B., 562(z)524--541, 665(z)1--12, 668(z)43--58
-
Mertzios, George B., see Foucaud, Florent,
see Golovach, Petr A.
-
Mertzios:2015:OBT, 562(z)524--541
-
Merwe, Brink van der, 679(z)69--82
-
Merwe, Brink van der, see Berglund, Martin
-
Meseguer, José, 672(z)1--35
-
Meseguer:2017:SCC, 672(z)1--35
-
mesh, boxed-, 710(z)35--43
-
message, 569(z)13--23, 584(z)67--79, 584(z)80--90, 709(z)2--19,
792(z)117--130
-
message, multiple-, 610(z)182--191
-
Messaoudi, A., 588(z)114--130
-
Messaoudi, A., see Bastos, J.
-
Messegué, Arnau, 648(z)56--71, see Àlvarez, Carme
-
Messinger, M. E., 794(z)59--68
-
Messinger, M. E., see Bonato, A.
-
Mészáros-Karkus, Zsuzsa, 670(z)68--78
-
Meszaros-Karkus:2017:HRS, 670(z)68--78
-
meta, 623(z)160--179
-
meta-theory, 781(z)24--38
-
Metagenomic, 698(z)88--99
-
metaheuristic, 718(z)24--36
-
metamorphism, 577(z)74--97
-
metatheory, 685(z)65--82
-
Metcalfe, George, 768(z)54--75
-
Metcalfe, George, see Cintula, Petr
-
method, 598(z)51--63, 599(z)2--3, 606(z)42--56, 608(z)108--118,
647(z)1--21, 681(z)146--166, 681(z)176--198, 695(z)1--15,
708(z)46--57, 708(z)91--95, 734(z)94--104, 790(z)41--65,
795(z)510--519, 795(z)547--569
-
Métivier, Y., 584(z)115--130, 780(z)20--28,
see Casteigts, A.
-
Metivier:2015:AFD, 584(z)115--130
-
metric, 564(z)131--148, 602(z)149--157, 609(z)384--394, 620(z)105--118,
630(z)43--62, 668(z)43--58, 701(z)85--108, 707(z)89--93,
754(z)88--106, 760(z)15--34, 771(z)9--22
-
Meunier, Pierre-Étienne, 641(z)2--10
-
Meunier:2016:USE, 641(z)2--10
-
Meyden, Ron van der, 631(z)16--42
-
Meyden, Ron van der, see Cassez, Franck
-
Meyer, Bernd, 613(z)115--125
-
Meyer:2016:GPP, 613(z)115--125
-
Meyerhenke, Henning, 695(z)54--73
-
Meyerhenke, Henning, see Glantz, Roland
-
Mezei, Tamás Róbert, 775(z)16--25,
see Colucci, Lucas
-
Mezzina, Claudio Antares, 625(z)25--84
-
Mezzina, Claudio Antares, see Lanese, Ivan
-
Mezzini, Mauro, 745(z)53--62
-
Mezzini:2018:PTA, 745(z)53--62
-
Mhalla, Mehdi, 598(z)129--137
-
Mhalla, Mehdi, see Gravier, Sylvain
-
Miao, Dongjing, 609(z)594--605, 749(z)17--25, 749(z)26--35,
774(z)103--112, 788(z)2--11
-
Miao, Dongjing, see Liu, Xianmin
-
Miao, Lu, 795(z)213--218
-
Miao, Runjie, 799(z)104--114
-
Miao:2016:CSQ, 609(z)594--605
-
Miao:2018:SVD, 749(z)17--25
-
Miao:2019:PTE, 799(z)104--114
-
Miao:2019:SFT, 795(z)213--218
-
Miao:2019:TED, 788(z)2--11
-
Miao:2019:VCC, 774(z)103--112
-
Micali, Silvio, 777(z)155--183
-
Micali, Silvio, see Chen, Jing
-
Michail, Othon, 634(z)1--23, 671(z)36--55
-
Michail:2016:TSP, 634(z)1--23
-
Michail:2017:CPN, 671(z)36--55
-
micro, 643(z)38--64
-
microarray, 608(z)108--118, 701(z)174--189
-
Miculan, Marino, 764(z)80--99
-
Miculan, Marino, see Bernardo, Marco
-
might, 596(z)55--66
-
Mignosi, Filippo, 635(z)16--34, 638(z)171--178, 658(z)1--3,
684(z)29--42, 710(z)19--28
-
Mignosi, Filippo, see Aronica, Salvatore,
see Crochemore, Maxime,
see Fici, Gabriele,
see Giammarresi, Dora
-
Mignot, Ludovic, 679(z)95--106
-
Mignot, Ludovic, see Caron, Pascal
-
migrating, 641(z)85--108
-
migration, 622(z)16--33
-
Mihalák, Matús, 562(z)557--564, see Disser, Yann
-
Mihov, Stoyan, 790(z)80--95
-
Mihov, Stoyan, see Gerdjikov, Stefan
-
Miikkulainen, Risto, 633(z)4--18
-
Miikkulainen, Risto, see Alden, Matthew
-
Miklarz, Clément, 679(z)95--106, see Caron, Pascal
-
Mikos, Patryk, 708(z)96--100
-
Mikos:2018:NLB, 708(z)96--100
-
Milani, Alessia, 715(z)86--96
-
Milani, Alessia, see Capdevielle, Claire
-
Milanic, Martin, 586(z)40--58, 591(z)60--71, 705(z)75--83,
795(z)128--141
-
Milanic, Martin, see Chiarelli, Nina,
see Cicalese, Ferdinando
-
Milazzo, Paolo, 587(z)104--124, 608(z)36--56, 623(z)114--145,
736(z)76--78
-
Milazzo, Paolo, see Barbuti, Roberto,
see Pardini, Giovanni
-
mildly, 697(z)58--68
-
Milius, Stefan, 604(z)81--101, 604(z)102--126, 763(z)66--87
-
Milius, Stefan, see Adámek, Jirí,
see Bonchi, Filippo,
see Myers, Robert S. R.
-
Millar, Andrew J., 765(z)97--119
-
Millar, Andrew J., see Honorato-Zimmer, Ricardo
-
Miller, Avery, 608(z)135--145, 608(z)190--198
-
Miller, Joseph S., 705(z)99--112
-
Miller, Joseph S., see Greenberg, Noam
-
Miller:2015:CNL, 608(z)135--145
-
Miller:2015:FRA, 608(z)190--198
-
million, 681(z)146--166
-
Mim-width, 796(z)216--236
-
min, 609(z)658--665, 771(z)23--38
-
Min, Seunghwan, 710(z)148--157
-
Min, Seunghwan, see Na, Joong Chae
-
min--max, 704(z)87--91
-
min-max, 613(z)94--114, 654(z)45--58
-
min-sum, 609(z)76--86
-
MINCCA, 690(z)91--103
-
Minh, Do Le Paul, 795(z)1--8
-
Minh, V. Hoang Ngoc, 800(z)52--72
-
Minh, V. Hoang Ngoc, see Duchamp, G. H. E.
-
Minh:2019:BNM, 795(z)1--8
-
minimal, 562(z)634--642, 582(z)70--73, 593(z)132--138, 596(z)124--141,
608(z)36--56, 630(z)63--75, 638(z)112--121, 647(z)43--49,
657(z)191--195, 675(z)56--63, 682(z)208--216, 713(z)31--41,
753(z)35--63, 767(z)26--33, 783(z)41--52, 784(z)99--112,
792(z)144--153, 795(z)1--8, 796(z)294--308
-
minimal-interval, 648(z)8--25
-
minimality, 745(z)163--171
-
minimax, 588(z)24--36, 716(z)124--140, 774(z)95--102
-
minimaxity, 742(z)27--49
-
minimization, 583(z)78--85, 601(z)58--66, 609(z)185--196, 695(z)1--15,
702(z)65--76
-
minimize, 570(z)22--29, 572(z)50--57, 583(z)67--77, 584(z)91--102,
617(z)65--68, 622(z)45--65, 705(z)84--98, 707(z)1--23, 774(z)1--13,
795(z)420--431
-
minimizing, 607(z)221--246, 607(z)272--281, 609(z)516--525,
661(z)18--34, 734(z)24--31, 791(z)76--86, 793(z)70--78
-
minimum, 429(1)144--154, 562(z)643--657, 562(z)660--661, 569(z)70--73,
571(z)58--66, 575(z)33--41, 575(z)56--70, 591(z)5--14, 591(z)15--27,
593(z)154--159, 596(z)41--54, 596(z)102--108, 605(z)51--61,
609(z)434--442, 609(z)526--543, 615(z)102--119, 621(z)22--36,
638(z)33--43, 647(z)101--111, 654(z)45--58, 656(z)108--117,
657(z)86--97, 661(z)56--64, 662(z)1--8, 665(z)87--104, 675(z)15--26,
676(z)33--41, 677(z)12--30, 694(z)66--78, 703(z)37--54,
705(z)75--83, 716(z)70--88, 718(z)14--23, 721(z)1--15, 725(z)16--30,
738(z)42--52, 744(z)37--55, 745(z)53--62, 746(z)88--97,
754(z)122--129, 770(z)51--61, 774(z)44--50, 774(z)133--142,
775(z)26--31, 783(z)9--21, 788(z)66--78, 789(z)50--63, 791(z)1--9,
793(z)44--58, 793(z)140--151, 795(z)285--300
-
minimum-width, 718(z)2--13
-
mining, 618(z)107--121, 654(z)155--163
-
minmax, 607(z)411--425
-
minor, 662(z)40--47
-
mirror-edges, 789(z)22--33
-
Misère, 595(z)159--167
-
Mishra, Apoorva, 666(z)1--11
-
Mishra, Sounaka, 657(z)111--126, 690(z)104--113
-
Mishra, Sounaka, see Mohan, Usha
-
Mishra, Subhankar, 607(z)306--319, 609(z)606--619
-
Mishra, Subhankar, see Seo, Jungtaek
-
Mishra:2016:OPS, 609(z)606--619
-
Mishra:2017:AOP, 690(z)104--113
-
Mishra:2017:MAC, 666(z)1--11
-
mismatch, 638(z)3--10, 638(z)136--144, 726(z)5--29
-
Misra, Neeldhara, 616(z)111--125, 676(z)15--32, 726(z)78--99,
782(z)79--90, 783(z)53--70
-
Misra, Neeldhara, see Das, Bireswar,
see Dey, Palash
-
Misra, Pranabendu, 654(z)70--79
-
Misra, Pranabendu, see Meesum, S. M.
-
missing, 609(z)384--394
-
Misún, Filip, 740(z)1--27, see Kostolányi, Peter
-
Mitchell, Joseph S. B., 605(z)51--61
-
Mitchell, Joseph S. B., see Bender, Michael A.
-
Mitigating, 643(z)1--37
-
Mitra, Sayan, 579(z)9--32
-
Mitra, Sayan, see Johnson, Taylor T.
-
Mitrana, Victor, 682(z)22--29, 682(z)49--56
-
Mitrana, Victor, see Arroyo, Fernando,
see Bottoni, Paolo
-
Mitsche, Dieter, 609(z)384--394, 655(z)2--14, 746(z)124--135
-
Mitsche, Dieter, see Bonato, Anthony,
see Zejnilovi{\'c}, Sabina
-
Mitsche:2018:BNG, 746(z)124--135
-
Mitsis, Georgios D., 710(z)116--125
-
Mitsis, Georgios D., see Iakovidou, Nantia D.
-
Mitsou, Valia, 675(z)43--55
-
Mitsou, Valia, see Baffier, Jean-François
-
Mittal, Neeraj, 688(z)24--48
-
Mittal, Neeraj, see Natarajan, Aravind
-
Mittelbach, Arno, 740(z)28--62
-
Mittelbach:2018:FSH, 740(z)28--62
-
mixed, 681(z)41--53, 681(z)199--216, 774(z)95--102, 795(z)119--127
-
mixes, 714(z)1--14
-
Mixon, Dustin G., 791(z)28--35
-
Mixon, Dustin G., see Kueng, Richard
-
mixture, 588(z)2--15
-
Miyano, Eiji, 734(z)24--31
-
Miyano, Eiji, see Tong, Weitian
-
Miyazaki, Shuichi, 657(z)173--190, 675(z)27--42
-
Miyazaki, Shuichi, see Kawahara, Jun,
see Kobayashi, Koji M.
-
Miyazawa, Flávio K., 657(z)137--145,
see Meira, Luis A. A.
-
Miyazawa, Flávio Keidi, 776(z)75--94,
see Lintzmayer, Carla Negri
-
Mizuki, Takaaki, 622(z)34--44
-
Mizuki:2016:CBP, 622(z)34--44
-
MKTP, 795(z)204--212
-
Mlynárcik, Peter, 610(z)78--90, 787(z)89--110,
see Hospodár, Michal,
see Jirásek, Jozef
-
MM, 758(z)1--8
-
MM*, 674(z)53--59, 755(z)81--88
-
Moataz, Fatima Zahra, 579(z)74--87
-
Moataz, Fatima Zahra, see Bermond, Jean-Claude
-
Mobasheri, Nasim, 775(z)53--67
-
Mobasheri, Nasim, see Chatterjee, Tanima
-
mobile, 568(z)84--96, 605(z)129--145, 608(z)201--218, 608(z)219--230,
609(z)171--184, 609(z)361--373, 617(z)1--11, 705(z)9--30,
709(z)64--79, 721(z)27--41, 738(z)25--41, 758(z)17--29,
764(z)42--60, 795(z)362--374
-
mobile, fixed-, 795(z)408--419
-
modal, 564(z)30--62, 603(z)58--83, 642(z)24--53, 656(z)76--105,
693(z)13--34, 727(z)37--100, 744(z)56--77, 768(z)43--53
-
modalities, 637(z)30--58, 685(z)83--103, 693(z)35--58
-
mode, 581(z)97--101, 704(z)28--41, 724(z)3--12
-
model, 411(34)3048--3054, 562(z)57--74, 562(z)565--580, 568(z)49--71,
569(z)70--73, 574(z)86--91, 582(z)48--59, 585(z)55--70, 587(z)3--25,
588(z)1, 595(z)143--158, 599(z)4--33, 599(z)47--63, 599(z)79--101,
604(z)63--80, 608(z)98--107, 609(z)544--560, 609(z)639--657,
610(z)182--191, 611(z)116--135, 612(z)1--22, 612(z)23--28,
612(z)45--62, 618(z)21--29, 621(z)73--81, 623(z)103--113,
623(z)160--179, 634(z)47--54, 637(z)1--29, 639(z)42--59,
640(z)94--103, 648(z)116, 649(z)1--24, 657(z)28--37, 660(z)23--56,
665(z)87--104, 674(z)43--52, 674(z)53--59, 694(z)10--20,
701(z)203--215, 702(z)77--96, 722(z)1--18, 744(z)113--142,
744(z)143--169, 745(z)133--149, 750(z)24--37, 751(z)74--90,
752(z)41--55, 755(z)65--80, 755(z)81--88, 756(z)1--18, 758(z)1--8,
764(z)125--144, 770(z)1--24, 774(z)65--81, 774(z)82--94,
786(z)26--31, 786(z)78--87, 795(z)36--49
-
model-checking, 735(z)2--23
-
Model-order, 599(z)34--46
-
modeled, 608(z)27--35
-
modeling, risk-, 634(z)67--96
-
modelling, 608(z)36--56, 623(z)15--64, 623(z)92--102, 701(z)203--215,
724(z)45--60, 752(z)56--70, 781(z)39--62
-
modification, 644(z)92--105, 654(z)70--79, 772(z)73--87
-
modified, 598(z)118--128, 765(z)145--157
-
modular, 573(z)63--70, 580(z)83--93, 632(z)21--42
-
Modulated, Intensity-, 607(z)126--134
-
modulo, 672(z)1--35
-
Moggi, Eugenio, 747(z)75--99
-
Moggi:2018:SRR, 747(z)75--99
-
Mogiliansky, A., Lambert-, 752(z)97--103
-
Mohabeddine, Amine, 779(z)37--46
-
Mohabeddine:2019:NRT, 779(z)37--46
-
Mohades, Ali, 595(z)130--142, 634(z)120--126, 661(z)65--69,
702(z)48--59, 729(z)57--67
-
Mohades, Ali, see Asaeedi, Saeed,
see Khanteimouri, Payam,
see Khodakarami, Farnoosh,
see Sheikhi, Farnaz
-
Mohamed, Manal, 609(z)374--383, 656(z)241--248, 792(z)85--95
-
Mohamed, Manal, see Almirantis, Yannis,
see Badkobeh, Golnaz,
see Brankovic, Ljiljana
-
Mohammad-noori, Morteza, 790(z)16--40
-
Mohammad-noori, Morteza, see Jahannia, Marieh
-
Mohammed, Abdulmelik, 701(z)203--215
-
Mohammed:2017:CMK, 701(z)203--215
-
Mohan, Chris Monica, 778(z)47--60
-
Mohan, Usha, 657(z)111--126
-
Mohan:2016:CFA, 657(z)111--126
-
Mohan:2019:PDC, 778(z)47--60
-
Mohassel, Payman, 653(z)53--78
-
Mohassel, Payman, see Dagdelen, Özgür
-
Mohri, Mehryar, 679(z)53--68, 716(z)89--106
-
Mohri, Mehryar, see Balle, Borja
-
Mohri:2017:DAW, 679(z)53--68
-
Möhring, Rolf H., 724(z)69--86, see Wu, Zijun
-
Mol, Lucas, 738(z)13--24
-
Mol, Lucas, see Currie, James D.
-
mold, 773(z)79--106
-
Moldagaliyev, Birzhan, 782(z)113--128
-
Moldagaliyev:2019:RFL, 782(z)113--128
-
molecular, 599(z)102--117, 632(z)4--20
-
molecules, 644(z)143--158
-
Molinari, Alberto, 764(z)125--144
-
Molinari, Alberto, see Bozzelli, Laura
-
Molla, Anisur Rahaman, 561(z)113--121, 581(z)45--66
-
Molla, Anisur Rahaman, see Sarma, Atish Das
-
Mollahajiaghaei, Mohsen, 674(z)60--72
-
Mollahajiaghaei, Mohsen, see Ahadi, Arash
-
Monabbati, Ehsan, 704(z)87--91
-
Monabbati, Ehsan, see Sepasian, Ali Reza
-
Monaco, G., 667(z)101--118
-
Monaco, G., see Flammini, M.
-
Monaco, Gianpiero, 562(z)90--100, 613(z)65--78, 662(z)9--30
-
Monaco, Gianpiero, see Bilò, Vittorio,
see Fanelli, Angelo
-
monadic, 604(z)30--45, 619(z)32--67, 732(z)60--72
-
monads, 604(z)2--29, 604(z)30--45
-
Monaghan, Joanna A., Ellis-, 671(z)69--78, 785(z)117--127
-
Moncel, Julien, 746(z)19--35
-
Moncel, Julien, see Beaudou, Laurent
-
Mondal, Debajyoti, 571(z)78--87, 791(z)76--86, 796(z)22--33
-
Mondal, Debajyoti, see Bahoo, Yeganeh,
see De Luca, Felice,
see Durocher, Stephane
-
money, 636(z)27--46, 745(z)172--201, 778(z)19--32
-
Monfroy, Éric, 747(z)48--74, see Bart, Anicet
-
Monica, Dario Della, 777(z)3--31
-
Monica, Dario Della, see Aceto, Luca
-
Monien, Burkhard, 634(z)67--96
-
Monien, Burkhard, see Mavronicolas, Marios
-
monitoring, 669(z)33--58, 717(z)73--85
-
Monmege, Benjamin, 735(z)111--131
-
Monmege, Benjamin, see Haddad, Serge
-
Monnot, Jérôme, 589(z)121--140, 602(z)89--102, 670(z)1--10,
717(z)2--25, 754(z)50--64, 775(z)1--15, 790(z)1--15,
see Aziz, Haris, \see{Bazgan, Cristina,
see Faria, Luerbio,
see Gourvès, Laurent,
see Khoshkhah, Kaveh
-
monochromatic, 602(z)89--102, 659(z)88--94, 674(z)116--118
-
Monoid, 680(z)1--14
-
monoids, 601(z)21--28, 731(z)88--98
-
monophonic, 609(z)287--295
-
monopolies, 667(z)93--100
-
monotone, 588(z)16--23, 654(z)26--32, 771(z)23--38, 786(z)13--25
-
monotonic, 562(z)227--242
-
monotonic, non-, 574(z)18--38
-
Monotonically, 777(z)387--408
-
Montanari, Angelo, 764(z)125--144
-
Montanari, Angelo, see Bozzelli, Laura
-
Montanari, Ugo, 685(z)1--2
-
Montanari, Ugo, see Ayala-Rincón, Mauricio
-
Montassier, M., 562(z)75--89
-
Montassier, M., see Delmas, O.
-
Monte, 644(z)53--62, 644(z)114--126
-
Monte-Carlo, 644(z)92--105, 644(z)106--113
-
Montealegre, Pedro, 609(z)118--128, 711(z)66--78
-
Montealegre, Pedro, see Garnero, Valentin,
see Goles, Eric
-
Montecchiani, Fabrizio, 589(z)76--86, 636(z)1--16, 645(z)100--111,
662(z)59--65, 713(z)78--84, 714(z)51--73, 745(z)23--35,
784(z)11--20
-
Montecchiani, Fabrizio, see Angelini, Patrizio,
see Bae, Sang Won, \see{Binucci, Carla,
see Brandenburg, Franz J.,
see Di Giacomo, Emilio,
see Evans, William S.,
see Lenhart, William J.
-
Montejano, Luis Pedro, 662(z)31--39
-
Montejano:2017:CCR, 662(z)31--39
-
Monteleoni, Claire, 620(z)91--104
-
Monteleoni, Claire, see Choromanska, Anna
-
Montero, Leandro, 636(z)77--84
-
Montero, Leandro, see Groshaus, Marina
-
Monti, Angelo, 718(z)46--57, 764(z)2--14, 791(z)62--75
-
Monti, Angelo, see Baiocchi, Pierluigi,
see Calamoneri, Tiziana
-
Moore, Benjamin, 639(z)1--13
-
Moore, Benjamin, see Brewster, Richard C.
-
Moore, Matthew, 796(z)237--271
-
Moore:2019:FDC, 796(z)237--271
-
Moraglio, Alberto, 561(z)1--2
-
Moraglio, Alberto, see Friedrich, Tobias
-
Morales, Sandra, Astete-, 605(z)42--50, 617(z)12--27
-
Morales-Ponce, Oscar, 610(z)192--203
-
Morales-Ponce, Oscar, see Eftekhari, Mohsen
-
Moran, 758(z)73--93
-
Moran, Shlomo, 793(z)100--112
-
Moran, Shlomo, see Charron-Bost, Bernadette
-
Mordido, Andreia, 781(z)39--62
-
Mordido, Andreia, see Caleiro, Carlos
-
more, 616(z)70--93, 626(z)1--12, 655(z)41--57, 679(z)18--30,
700(z)63--74, 780(z)1--11, 795(z)301--311
-
Moreira, Carlos Gustavo, 743(z)ii--ii
-
Moreira, Carlos Gustavo, see Ferenczi, Sébastien
-
Moreira, Nelma, 658(z)235--245
-
Moreira:2017:OSR, 658(z)235--245
-
Morgan, Carroll, 777(z)32--54
-
Morgan, Carroll, see Alvim, Mário S.
-
Morin, Pat, 616(z)70--93
-
Morin, Pat, see Bose, Prosenjit
-
Morita, Kenichi, 568(z)19--27
-
Morita, Kenichi, see Tang, Ming-Xiao
-
morphic, 602(z)7--21, 640(z)41--51
-
morphism, 615(z)12--22, 691(z)55--80, 711(z)92--104, 743(z)12--22,
780(z)74--83
-
morphogenesis, 633(z)28--36
-
Morse, Ada, 671(z)69--78
-
Morse, Ada, see Ellis-Monaghan, Joanna A.
-
Morse, Thue-, 593(z)88--105, 780(z)66--73
-
Morton, Jason, 598(z)150--156
-
Morton:2015:CTP, 598(z)150--156
-
Morzenti, Angelo, 643(z)38--64
-
Morzenti, Angelo, see Rossi, Matteo
-
Mosca, Raffaele, 700(z)63--74
-
Mosca, Raffaele, see Lozin, Vadim
-
Moscardelli, L., 667(z)101--118
-
Moscardelli, L., see Flammini, M.
-
Moscardelli, Luca, 613(z)65--78, 746(z)73--87
-
Moscardelli, Luca, see Bilò, Vittorio
-
Moscato, Pablo, 665(z)73--86
-
Moscato, Pablo, see Lancia, Giuseppe
-
Moscibroda, Thomas, 584(z)1--2
-
Moscibroda:2015:GES, 584(z)1--2
-
Moseley, Benjamin, 726(z)30--40
-
Moseley, Benjamin, see Fox, Kyle
-
Moser, Georg, 585(z)3--24
-
Moser, Georg, see Avanzini, Martin
-
Moses, Yoram, 751(z)46--60
-
Moses:2018:MEM, 751(z)46--60
-
Moshe, Boaz, Ben-, 627(z)13--25
-
Moshkov, Mikhail, 630(z)26--42
-
Moshkov, Mikhail, see Busbait, Monther
-
Mosleh, Mohammad, 773(z)43--52
-
Mosleh, Mohammad, see PourAliAkbar, Ehsan
-
Mossakowski, Till, 741(z)48--57
-
Mossakowski:2018:PPS, 741(z)48--57
-
Mosses, Peter D., 741(z)32--43
-
Mosses:2018:CDS, 741(z)32--43
-
most, 755(z)1--12
-
most-one, at-, 762(z)51--73
-
Mostéfaoui, Achour, 709(z)80--97
-
Mostefaoui:2018:RSA, 709(z)80--97
-
Motif, 710(z)74--87
-
motion, 678(z)56--62, 691(z)10--26
-
Mouawad, Amer E., 651(z)37--49
-
Mouawad, Amer E., see Haddadan, Arash
-
Mouchard, L., 656(z)108--117
-
Mouchard, L., see Heliou, A.
-
Mouchard, Laurent, 638(z)159--170, 710(z)148--157
-
Mouchard, Laurent, see Na, Joong Chae
-
Mouhartem, Fabrice, 759(z)72--97
-
Mouhartem, Fabrice, see Libert, Benoît
-
Moulton, V., 760(z)15--34
-
Moulton, V., see Lafond, M.
-
Moulton, Vincent, 646(z)1--15, 721(z)1--15
-
Moulton, Vincent, see Kelk, Steven
-
Moulton:2018:UNE, 721(z)1--15
-
Moumen, Hamouma, 709(z)80--97
-
Moumen, Hamouma, see Mostéfaoui, Achour
-
Moura, Arnaldo V., 594(z)180--200
-
Moura, Arnaldo V., see Rebiha, Rachid
-
Moura, Lucia, 592(z)1--8, 800(z)146--154
-
Moura, Lucia, see Chodoriwsky, Jacob
-
Moura, Phablo F. S., 566(z)59--75
-
Moura, Phablo F. S., see Araujo, Julio
-
Moura:2019:UBS, 800(z)146--154
-
Mourad, Bassam, 755(z)13--28
-
Mourad, Bassam, see Nader, Rafic
-
Mousavi, Hamoon, 657(z)146--162
-
Mousavi, Hamoon, see Du, Chen Fei
-
Moussi, Jean, 795(z)362--374
-
Moussi, Jean, see Czyzowicz, Jurek
-
Moutot, Etienne, 777(z)379--386
-
Moutot, Etienne, see Kari, Jarkko
-
Movaghar, Ali, 756(z)1--18
-
Movaghar, Ali, see Baghoolizadeh, Shirin
-
move, 644(z)43--52
-
Move-optimal, 705(z)9--30
-
movement, 652(z)86--101, 667(z)101--118
-
moves, one-cop-, 588(z)96--113
-
moving, 645(z)48--59
-
Mozes, Shay, 710(z)66--73, 711(z)11--35
-
Mozes, Shay, see Gawrychowski, Pawe{\l}
-
Mozes:2018:FSP, 711(z)11--35
-
Mráz, Frantisek, 578(z)88--99, 682(z)190--207,
see Otto, Friedrich
-
MSO, 594(z)82--105
-
MSOL, 676(z)1--14
-
MSVL, 654(z)11--25, 749(z)2--16
-
MTL, 603(z)43--57
-
Mu, Yi, 609(z)49--59, 714(z)15--26, 745(z)75--86, 767(z)51--72,
772(z)1--45
-
Mu, Yi, see Jiang, Peng, \see{Lai, Jianchang,
see Susilo, Willy,
see Thorncharoensri, Pairat,
see Zhou, Yanwei
-
mu-calculus, 564(z)30--62
-
Mujika, Asier, 785(z)150--170
-
Mujika, Asier, see Einarsson, Hafsteinn
-
Mukherjee, Pratyay, 592(z)97--114
-
Mukherjee, Pratyay, see Bhattacharyya, Rishiraj
-
Mukhopadhyay, Sourav, 667(z)16--50
-
Mukhopadhyay, Sourav, see Datta, Pratish
-
Mukund, Madhavan, 594(z)24--43
-
Mukund, Madhavan, see Akshay, S.
-
Müller, Johannes, 580(z)14--27
-
Müller, Mike, 562(z)658--659, 601(z)29--38, 684(z)53--58,
see Harju, Tero, \see{Holub, Step{\'a}n
-
Muller:2015:GLS, 580(z)14--27
-
multi-, 609(z)22--31
-
multi-access, 796(z)34--50
-
multi-battle, 721(z)16--26
-
multi-broadcast, 569(z)13--23
-
multi-channel, 615(z)23--44, 695(z)74--82, 723(z)51--72
-
multi-coloring, 596(z)79--91
-
multi-dimensional, 677(z)1--11, 752(z)41--55
-
multi-domain, 585(z)91--114
-
multi-head, 682(z)149--164
-
multi-hop, 792(z)2--11
-
multi-objective, 718(z)58--66, 736(z)15--24
-
multi-parameter, 765(z)158--169
-
multi-party, 769(z)43--62, 795(z)81--99
-
multi-path, 579(z)9--32
-
Multi-periodic, 633(z)37--53
-
Multi-player, 659(z)14--35, 761(z)7--22, 780(z)84--102
-
multi-queue, 589(z)24--33, 675(z)27--42
-
multi-service, 705(z)58--74
-
multi-stack, 656(z)1--26
-
multi-stage, 734(z)24--31
-
multi-tape, 603(z)23--42
-
multi-target, 732(z)14--25
-
multi-type, 572(z)66--82
-
multi-user, 607(z)391--410, 775(z)32--52
-
MultiAspect, 651(z)50--61
-
multicolorings, 607(z)208--220
-
multidimensional, 694(z)42--59, 734(z)58--71
-
multifurcating, 562(z)496--512
-
Multigames, 604(z)46--62
-
multigraph, 609(z)104--117
-
multigrid, 645(z)128--146
-
Multilevel, 706(z)54--82
-
multimatroids, 608(z)27--35
-
multimodal, 752(z)21--40, 773(z)53--70
-
multioperator, 594(z)106--119
-
multipartite, 571(z)67--77
-
multiparty, 669(z)33--58, 763(z)38--65
-
Multipass, 600(z)19--33
-
Multiphase, 611(z)116--135
-
multiple, 581(z)83--96, 584(z)155--176, 607(z)2--15, 609(z)1--21,
620(z)119--133, 622(z)34--44, 639(z)91--109, 661(z)8--17,
681(z)167--175, 709(z)20--30, 728(z)29--99, 746(z)98--111,
758(z)61--72, 776(z)117--124, 786(z)67--77, 796(z)180--186
-
multiple-choice, 654(z)164--174
-
multiple-message, 610(z)182--191
-
Multiplicative, 720(z)36--46
-
multiplicity, 610(z)158--168
-
multiplier, 773(z)43--52
-
multiply-labelled, 760(z)15--34
-
multiprocessor, 630(z)1--12, 793(z)113--131
-
multiscale, 784(z)99--112
-
multiset, 682(z)138--148, 793(z)36--43
-
Multistate, 675(z)1--14
-
multithreaded, 656(z)173--179
-
multivalued, 716(z)4--14
-
Mulzer, Wolfgang, 789(z)13--21
-
Mulzer, Wolfgang, see Bahoo, Yeganeh
-
Munaro, Andrea, 692(z)46--71
-
Munaro:2017:BCG, 692(z)46--71
-
Munkr's, Kuhn-, 618(z)30--41
-
Munos, Rémi, 620(z)1--3, see Jain, Sanjay
-
Munro, J. Ian, 581(z)97--101, 582(z)74--82, 583(z)51--56, 635(z)94--101,
638(z)27--32, 638(z)91--97, 647(z)59--73, 704(z)28--41
-
Munro, J. Ian, see Butman, Ayelet,
see Chan, Timothy M.,
see Durocher, Stephane, \see{Elmasry, Amr,
see Jayapaul, Varukumar,
see Larsen, Kasper Green,
see Lewenstein, Moshe
-
Munro:2016:FCW, 638(z)91--97
-
Munteanu, Sinziana, 704(z)42--61
-
Munteanu, Sinziana, see Blanchet-Sadri, F.
-
Murano, Aniello, 656(z)1--26
-
Murano, Aniello, see Carotenuto, Dario
-
Mursic, Peter, 799(z)40--58
-
Mursic, Peter, see Boros, Endre
-
Murtaza, Muhammad, 799(z)115--123
-
Murtaza:2019:LDS, 799(z)115--123
-
Murthy, Abhishek, 599(z)34--46
-
Murthy, Abhishek, see Islam, Md. Ariful
-
Muscholl, Anca, 611(z)136--141
-
Muscholl:2016:CLC, 611(z)136--141
-
mutation, 623(z)160--179, 666(z)1--11, 785(z)150--170
-
Mutch, Jim, 633(z)112--121
-
Mutch, Jim, see Anselmi, Fabio
-
mutual, 709(z)31--47, 731(z)68--87, 751(z)46--60
-
Mütze, Torsten, 714(z)74--95, see Gregor, Petr
-
Myers, Robert S. R., 604(z)81--101
-
Myers:2015:CCC, 604(z)81--101