Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
M
-
M, 11(1)90--91, 11(2)175--176, 11(2)180--184, 11(2)191--195, 12(2)167--168,
12(2)170--172, 14(1)110--110, 15(1)95--97, 15(1)98--98,
16(2)202--203, 24(1)102--103, 24(2)185--186, 51(3)291--292
-
M-transition, 24(3)189--220
-
MA, 11(1)87--88, 11(1)88--90, 11(1)94--95, 12(2)167--168, 18(2)207--209,
18(2)213--215, 18(2)218--221, 24(1)97--99
-
Ma, 15(1)113--114
-
Ma, Jun, 163(z)1--18
-
Ma, Jun, see Wang, Jue
-
Ma, Kwan-Liu, 72(1)40--51
-
Ma, Kwan-Liu, see Jackson, Stoney
-
Ma, Qin, 162(z)55--75
-
Ma, Qin, see Gammaitoni, Loïc
-
Ma, Xiaoxing, 163(z)1--18
-
Ma, Xiaoxing, see Wang, Jue
-
Ma, Yue, 106(z)54--77
-
Ma, Yue, see Besnard, Loïc
-
Maalej, Maroua, 152(z)161--184
-
Maalej:2018:CRI, 152(z)161--184
-
Maass, Sergio, 161(z)34--56
-
Maass, Sergio, see Bergel, Alexandre
-
Maassen, Andreas, 18(1)1--38
-
Maassen:1992:PPD, 18(1)1--38
-
Mac, 16(1)97--100
-
Macedo, Hugo Daniel, 78(11)2160--2191
-
Macedo, Nuno, 211(z)z--99999999, 220(z)z--99999999
-
Macedo, Nuno, see Liu, Chong
-
Macedo:2013:TLA, 78(11)2160--2191
-
Macedo:2021:ETA, 211(z)z--99999999
-
Macedonio, Damiano, 81(z)53--78
-
Macedonio:2014:SAK, 81(z)53--78
-
MACH, 134(z)47--60
-
Machado, Ivan, 231(z)z--99999999
-
Machado, Ivan, see Santana, Railana
-
Machado, Patrícia D. L., 77(4)423--423, 126(z)52--72,
see Moraes, Alan
-
Machado, Rodrigo, 198(z)z--99999999
-
Machado, Rodrigo, see Ribeiro, Leila
-
Machado:2012:PSP, 77(4)423--423
-
machine, 3(2)151--188, 7(1)1--22, 8(2)173--202, 11(2)191--195,
15(1)15--54, 22(1)45--65, 32(1)109--143, 38(1)125--142,
46(3)283--306, 57(3)251--252, 57(3)275--294, 57(3)319--338,
57(3)339--356, 59(1)38--63, 59(3)209--249, 74(10)836--860,
76(11)1037--1053, 77(2)96--112, 78(3)270--271, 78(6)725--746,
79(z)146--157, 80(z)343--355, 94(z)67--68, 94(z)93--108,
95(z)176--199, 105(z)92--123, 131(z)22--41, 133(z)116--153,
139(z)1--35, 148(z)26--48, 158(z)122--147, 171(z)67--88,
173(z)3--20, 175(z)17--34, 184(z)z--99999999, 197(z)z--99999999,
212(z)z--99999999, 215(z)z--99999999, 218(z)z--99999999,
226(z)z--99999999, 227(z)z--99999999, 231(z)z--99999999,
233(z)z--99999999
-
machine, Mealy-, 230(z)z--99999999
-
machine-checked, 20(1)51--71, 158(z)64--80
-
Macià, Hermenegilda, 77(3)290--313,
see Valero, Valentín
-
Macías, José A., 78(11)2282--2291, 234(z)z--99999999,
see Rojas, Luis A.
-
Macias:2024:MFU, 234(z)z--99999999
-
Mackenzie, Bennett, 113(z)29--50
-
Mackenzie, Bennett, see Bender, Marc
-
macros, 75(7)496--515, 96(z)211--229
-
macroscopic, 168(z)142--164
-
Madari, Istvan, 89(z)105--125
-
Madari, Istvan, see Nadas, Andras
-
made, 112(z)195--226
-
Madeira, Alexandre, 126(z)73--93, 132(z)50--76, 175(z)1--16
-
Madeira, Alexandre, see Neves, Renato,
see Santiago, Regivan
-
Madeira:2016:MRD, 132(z)50--76
-
Madelaine, Eric, 127(z)1, 178(z)43--44
-
Madelaine, Eric, see Kouchnarenko, Olga,
see Lanese, Ivan
-
Madey, Jan, 25(1)41--61
-
Madey, Jan, see Parnas, David Lorge
-
Madey:1997:FSF, 28(0)91--299
-
Madhukar, K., 25(1)63--77
-
Madhukar:1995:SDA, 25(1)63--77
-
Madsen, Jonas, 231(z)z--99999999
-
Madsen, Jonas, see Harbo, Sean Kristian Remond
-
Maes, Jerome, 97(z)113--121
-
Maes, Jerome, see Cleve, Anthony
-
Maex, Steve, 74(7)430--445
-
Maex, Steve, see Binkley, Dave
-
Magalhães, José Pedro, 112(z)170--193,
see Adams, Michael D.
-
Maggiolo-Schettini, Andrea, 73(2)76--94
-
Maggiolo-Schettini, Andrea, see Lanotte, Ruggero
-
Maghsoodloo, Saeed, 60(2)121--133
-
Maghsoodloo, Saeed, see Umphress, David A.
-
magic, 10(3)319--325
-
Magnani, Gianluca, 78(7)828--842
-
Magnani, Gianluca, see Ferrari, Alessio
-
Magnetic, 15(2)235--248
-
Magnusson, Eva, 47(1)37--58, 68(1)21--37, 78(10)1809--1827
-
Magnusson, Eva, see Hedin, Görel,
see Söderberg, Emma
-
Magnusson:2007:CRA, 68(1)21--37
-
Mahe, Erwan, 232(z)z--99999999
-
Mahe:2024:DOS, 232(z)z--99999999
-
Maheshwari, Piyush, 57(1)109--128
-
Maheshwari:2005:SAC, 57(1)109--128
-
Mahmood, Tariq, 224(z)z--99999999
-
Mahmood, Tariq, see Afzal, Uzma
-
Mahmoud, Khaled, 230(z)z--99999999
-
Mahmoud, Khaled, see Liu, Kenan
-
Mahmoud, Qusay H., 53(1)1--2
-
Mahmoud:2004:PEJ, 53(1)1--2
-
Maia, Marcelo de Almeida, 93(z)65--85, 96(z)230--253
-
Maia, Marcelo de Almeida,
see Ferreira, Gabriel Coutinho Sousa,
see Gaia, Felipe Nunes
-
Maia, Marcio E. F., 78(12)2381--2398
-
Maia, Marcio E. F., see Marinho, Fabiana G.
-
Maibaum, Tom, 28(2)111--138, 111(z)339--362
-
Maibaum, Tom, see Fiadeiro, Jose Luiz,
see Patcas, Lucian M.
-
Maidl, André Murbach, 132(z)129--140
-
Maidl:2016:ERP, 132(z)129--140
-
Maier, 4(1)95--96
-
maintainability, 76(12)1161--1176
-
maintenance, 57(2)129--163, 62(3)287--317, 64(3)312--331, 78(8)969--970,
212(z)z--99999999
-
Maio, Paulo, 95(z)3--25
-
Maio:2014:EAB, 95(z)3--25
-
Majchrzak, Tim A., 97(z)31--36
-
Majchrzak, Tim A., see Heitkötter, Henning
-
Majster-Cederbaum, Mila, 78(12)2488--2510, 98(z)516--530
-
Majster-Cederbaum, Mila, see Lambertz, Christian
-
Majster-Cederbaum:2015:BCE, 98(z)516--530
-
Majzik, István, 157(z)17--40,
see Vörös, András
-
make, 12(1)1--38, 233(z)z--99999999
-
Mäkelä, Sami, 74(5)355--378
-
Makela:2009:CBC, 74(5)355--378
-
makers, 202(z)z--99999999
-
Makhnist, Leonid, 203(z)z--99999999
-
Makhnist, Leonid, see Changizi, Behnaz
-
Making, 29(1)53--78, 93(z)39--64, 113(z)29--50, 121(z)100--127,
135(z)4--19
-
making, Decision-, 75(5)311--332
-
making, decision-, 167(z)51--69
-
Malcolm, Grant, 14(2)255--279
-
Malcolm:1990:DSP, 14(2)255--279
-
Maldonado, J. C., 56(1)211--230
-
Maldonado, J. C., see Vincenzi, A. M. R.
-
Maldonado, José Carlos, 78(9)1639--1662,
see Ferrari, Fabiano Cutigi
-
Male, Chris, 76(7)587--608
-
Male:2011:FIA, 76(7)587--608
-
Maletic, Jonathan I., 78(9)1449--1469
-
Maletic, Jonathan I., see Sutton, Andrew
-
malicious, 75(6)426--439
-
Malik, Robi, 89(z)23--40, 113(z)119--148
-
Malik, Robi, see Pilbrow, Colin,
see Ware, Simon
-
Mallet, Frederic, 198(z)z--99999999
-
Mallet, Frédéric, 106(z)78--92, 154(z)42--60, 166(z)71--88,
202(z)z--99999999, 203(z)z--99999999, 209(z)z--99999999,
216(z)z--99999999, see Chen, Xiaohong,
see Du, Dehui, \see{Hasan, Osman,
see Zhang, Min, \see{Zhang, Yuanrui
-
Mallet:2015:CIM, 106(z)78--92
-
Mallet:2020:ETA, 198(z)z--99999999
-
Malloy, Brian A., 69(1)3--13, 75(11)943--979
-
Malloy, Brian A., see Denny, Joel E.,
see Kraft, Nicholas A.
-
Maluszynski, Jan, 9(2)179--205
-
Maluszynski, Jan, see Komorowski, Henryk Jan
-
Mamei, Marco, 78(5)542--543
-
Mamei, Marco, see Casadei, Matteo
-
Mammar, Amel, 131(z)76--93, 232(z)z--99999999
-
Mammar, Amel, see Huynh, Nghi
-
Mammar:2024:FAC, 232(z)z--99999999
-
management, 24(1)41--61, 29(1)23--52, 31(2)179--203, 45(1)1--96,
48(1)43--65, 53(2)143--164, 53(2)215--253, 53(3)255--258,
53(3)259--284, 53(3)333--352, 54(1)99--124, 58(1)264--289,
62(2)95--97, 62(2)98--121, 62(2)122--144, 65(3)215--221,
65(3)249--274, 66(1)44--59, 71(3)213--241, 75(5)292--310,
77(5)644--659, 78(6)657--681, 78(9)1368--1406, 81(z)53--78,
94(z)3--17, 95(z)73--92, 98(z)551--588, 121(z)3--15, 154(z)61--88,
168(z)38--70, 173(z)95--127, 191(z)z--99999999, 206(z)z--99999999,
213(z)z--99999999, 223(z)z--99999999, 235(z)z--99999999
-
managerial, 89(z)144--161
-
managers, 146(z)87--103
-
managing, 57(1)5--26, 66(1)71--86, 75(10)898--917, 98(z)439--463,
127(z)24--49, 134(z)100--111
-
managing, self-, 64(2)246--262
-
Mancarella, Paolo, 32(1)145--176
-
Mancarella, Paolo, see Barbuti, Roberto
-
Mandel, Louis, 111(z)190--211
-
Mandel:2015:TRF, 111(z)190--211
-
Mandrioli, Dino, 97(z)47--54, 112(z)195--226
-
Mandrioli, Dino, see Barenghi, Alessandro,
see Bianculli, Domenico
-
Manes, 11(2)175--176, 24(1)100--102
-
Manghirmalani, Ravi, 11(1)29--43
-
Manghirmalani, Ravi, see Mateti, Prabhaker
-
manifesting, 163(z)1--18
-
Manipulate, 10(2)177--210
-
manipulating, 230(z)z--99999999
-
manipulating, heap-, 82(z)56--76
-
manipulation, 3(2)151--188, 13(2)181--218, 54(1)73--98, 62(3)205--208,
76(6)467--468, 95(z)147--148, 105(z)1--2, 112(z)119, 137(z)1--1
-
Manjhi, Devesh, 208(z)z--99999999
-
Manjhi:2021:REI, 208(z)z--99999999
-
Manjón, B., Fernández-, 71(1)1--16
-
Manjón, Baltasar, Fernández-, 67(1)3--31
-
Mann, Zoltán Ádám, 56(1)23--39,
see Arató, Péter
-
Manna, Zohar, 1(1)5--48, 4(3)257--290, 9(1)37--83
-
Manna:1981:DSU, 1(1)5--48
-
Manna:1984:APP, 4(3)257--290
-
Manna:1987:OBS, 9(1)37--83
-
Mannaert, Herwig, 76(12)1210--1222
-
Mannaert:2011:TRS, 76(12)1210--1222
-
Manolios, Panagiotis, 167(z)1--24
-
Manolios, Panagiotis, see Pittou, Maria
-
Mansell, Todd, 97(z)202--234
-
Mansell, Todd, see Cameron, Alexander
-
Mansky, William, 130(z)2--23
-
Mansky:2016:SEO, 130(z)2--23
-
Mantz, Florian, 104(z)2--43
-
Mantz:2015:CEM, 104(z)2--43
-
manual, 62(2)122--144, 230(z)z--99999999
-
Manuel, 18(2)213--215
-
Many, 34(2)141--158
-
many, Many-to-, 168(z)118--141
-
Many-Core, 133(z)154--174
-
Many-Sorted, 12(3)207--253
-
many-sorted, 158(z)3--20, 225(z)z--99999999
-
Many-to-many, 168(z)118--141
-
Manzano, M., 202(z)z--99999999
-
Manzano, M., see López, L.
-
Mao, Xia, 215(z)z--99999999
-
Mao:2022:RDA, 215(z)z--99999999
-
map, 21(1)57--90, 71(1)1--16, 76(3)204--224
-
Maple, 76(6)469--491
-
mapping, 2(2)91--131, 78(8)1010--1034, 166(z)89--119, 194(z)z--99999999,
217(z)z--99999999, 218(z)z--99999999, 232(z)z--99999999,
234(z)z--99999999
-
MapReduce, 70(1)1--30, 145(z)13--36
-
Maraikar, Ziyan, 76(1)23--36
-
Maraikar, Ziyan, see Krause, Christian
-
Marandjan, Hrant. B., 24(1)97--99
-
Marandjan:1995:BRB, 24(1)97--99
-
Maraninchi, F., 63(3)297--320
-
Maraninchi, F., see Altisen, K.
-
Maraninchi, Florence, 46(3)219--254
-
Maraninchi:2003:MAN, 46(3)219--254
-
Marc, 12(1)90--92
-
Marcelis, A. J. J. M., 14(1)1--24
-
Marcelis:1990:CAE, 14(1)1--24
-
March, 1(1)149--155, 27(3)215--216, 188(z)z--z, 203(z)z--z, 215(z)z--z,
226(z)z--z, 233(z)z--z
-
Marchand, H., 41(1)85--104
-
Marchand, Hervé, 123(z)2--41, see Falcone, Yliès
-
Marchand:2001:FVP, 41(1)85--104
-
Marché, Claude, 96(z)279--296
-
Marche:2014:VFB, 96(z)279--296
-
Marcos, Claudia, 182(z)64--85
-
Marcos, Claudia, see Vidal, Santiago
-
Marcos, Esperanza, 98(z)3--27
-
Marcos, Esperanza, see Jiménez, Álvaro
-
Marcozzi, Michaël, 105(z)44--72, 207(z)z--99999999,
see Bardin, Sébastien
-
Marcozzi:2015:RSE, 105(z)44--72
-
Marcus, 18(2)218--221
-
Marcus, Mat, 75(7)596--614, 75(9)773--786
-
Marcus, Mat, see Järvi, Jaakko,
see Pirkelbauer, Peter
-
Marek, Lukás, 95(z)344--358, 98(z)100--115,
see Sarimbekov, Aibek
-
Marek:2015:IDP, 98(z)100--115
-
Margaris, D., 98(z)707--734
-
Margaris:2015:IFA, 98(z)707--734
-
Margoor, Amogh, 98(z)645--679
-
Margoor:2015:TTI, 98(z)645--679
-
Maria, 18(2)209--213
-
Maria, Elisabetta, De, 206(z)z--99999999
-
Maria, Costanzo di, 175(z)17--34
-
Maria, Costanzo di, see Harrison, Michael D.
-
Mariani, Stefano, 184(z)z--99999999
-
Mariani:2019:CST, 184(z)z--99999999
-
Mariegaard, Anders, 230(z)z--99999999
-
Mariegaard, Anders, see Larsen, Kim G.
-
Marin, A., 94(z)289--306
-
Marin, A., see Bugliesi, M.
-
Marín, Diana, Pérez-, 88(z)92--109
-
Marín-Piña, Rosario, 121(z)176--189,
see Velasco-Elizondo, Perla
-
Marinelli, L., 80(z)188--209
-
Marinelli, L., see Sijtema, M.
-
Marinescu, Radu, 134(z)19--36
-
Marinescu, Radu, see Ganea, George
-
Marinho, Fabiana G., 78(12)2381--2398
-
Marinho:2013:MNS, 78(12)2381--2398
-
Marino, Andrea, 130(z)24--36
-
Marino, Andrea, see Blanco, Roi
-
market, 225(z)z--99999999
-
marking, 10(2)107--137
-
Markov, 36(1)97--127, 58(1)179--205, 78(12)2537--2579, 91(z)90--114,
105(z)26--43, 112(z)58--74
-
Markovski, Jasen, 97(z)17--22, 115(z)127--145
-
Markovski, Jasen, see Baeten, Jos
-
Markovski:2015:PTA, 115(z)127--145
-
mark\&sweep, 64(3)341--374
-
markup, 86(z)3--29
-
Marlowe, T. J., 11(1)1--15
-
Marlowe, T. J., see Ryder, B. G.
-
Marmsoler, Diego, 182(z)1--41
-
Marmsoler:2019:CDA, 182(z)1--41
-
Maróti, M., 56(1)191--210, see Völgyesi, P.
-
Marquez, Jose Luis, Fernandez-, 110(z)1--2
-
Marr, Stefan, 98(z)140--158, 98(z)159--183
-
Marr, Stefan, see De Koster, Joeri
-
Marr:2015:PGR, 98(z)159--183
-
Marra, Matteo, 194(z)z--99999999
-
Marra:2020:DAL, 194(z)z--99999999
-
Marriott, Kim, 31(1)3--45
-
Marriott, Kim, see Armstrong, Tania
-
Marron, Assaf, 98(z)117--119, 98(z)233--267, 98(z)268--292,
149(z)15--27
-
Marron, Assaf, see Ashrov, Adiel,
see Greenyer, Joel, \see{Harel, David,
see Ricci, Alessandro
-
Marrone, S., 133(z)116--153
-
Marrone, S., see Benerecetti, M.
-
MARS, EUD-, 200(z)z--99999999
-
MARTEash, 106(z)78--92, 154(z)42--60, 166(z)71--88
-
Martelli, A., 3(3)279--312
-
Martelli, A., see Barbuti, R.
-
Martens, Jan, 225(z)z--99999999
-
Martens, Jan, see Eerd, Johri van
-
Martí-Oliet, Narciso, 99(z)1--2, 126(z)1--2,
see Braga, Christiano,
see Durán, Francisco
-
Martiel, Simon, 214(z)z--99999999
-
Martiel, Simon,
see Brugière, Timothée Goubault de
-
Martin, 12(2)168--170
-
Martin, A. J., 26(1)79--97
-
Martin, A. J., see Back, R. J. R.
-
Martin, Alain J., 5(3)265--276, 12(2)151--155, 15(2)119--133
-
Martin, Alain J., see Gries, David,
see Hofstee, H. Peter
-
Martin, C. E., 65(2)140--158
-
Martin, Clare E., 22(1)21--44
-
Martin, Clare E., see Gardiner, Paul H. B.
-
Martin, Enrique, Martin-, 110(z)104--118
-
Martin, Florian, 35(2)163--189
-
Martin, Florian, see Ferdinand, Christian
-
Martin, Ursula, 11(2)176--178
-
Martin-Löf, 8(1)1--42
-
Martin-Löf, 16(2)202--203
-
martin-lof, 8(1)1--42
-
Martin-Martin, Enrique, 110(z)104--118
-
Martin-Martin, Enrique, see Caballero, Rafael
-
Martín-SanJosé, Juan-Fernando, 88(z)3--21
-
Martin-SanJose:2014:FLI, 88(z)3--21
-
Martin:1985:DME, 5(3)265--276
-
Martin:1988:BRB, 11(2)176--178
-
Martin:2007:MAD, 65(2)140--158
-
Martinelli, Fabio, 50(1)23--49
-
Martinelli, Fabio, see Gorrieri, Roberto
-
Martínez, Jesús, 65(1)57--69,
see Gallardo, María del Mar
-
Martinez, Jose, Figueroa-, 78(11)2259--2267
-
Martínez, Mónica, 78(8)1121--1136
-
Martínez, Paloma, 86(z)58--73,
see Miñón, Raúl
-
Martínez, Salvador, 136(z)1--16
-
Mart{\'{\i}}nez, Salvador, 210(z)z--99999999,
see Guérin, Sylvain
-
Martínez-Fernández, S., 134(z)61--74
-
Mart{\'{\i}}nez-Fern{\'a}ndez, S., 202(z)z--99999999,
see López, L.
-
Martinez-Fernandez:2017:MUQ, 134(z)61--74
-
Martínez-Ortiz, Iván, 67(1)3--31,
see Moreno-Ger, Pablo
-
Martínez-Perez, Francisco E., 196(z)z--99999999,
see Nuñez-Varela, Alberto S.
-
Martinez:2013:SFA, 78(8)1121--1136
-
Martinez:2017:RMT, 136(z)1--16
-
Martini, Antonio, 163(z)42--61
-
Martini:2018:TDT, 163(z)42--61
-
Martinie, Célia, 86(z)3--29, see Barboni, Eric
-
Martino, Beniamino, Di, 40(2)235--263
-
Martins, Luana, 231(z)z--99999999
-
Martins, Luana, see Santana, Railana
-
Martins, Manuel A., 126(z)73--93, 132(z)50--76, 175(z)1--16,
216(z)z--99999999
-
Martins, Manuel A., see Campos, Suene,
see Madeira, Alexandre,
see Neves, Renato, \see{Santiago, Regivan
-
Martins, Pedro, 132(z)2--28, 173(z)71--94
-
Martins, Pedro, see Fernandes, João Paulo
-
Martins, Rui C., 143(z)9--19
-
Martins, Rui C., see Fachada, Nuno
-
Martins:2016:EAG, 132(z)2--28
-
Martorella, Tommaso, 231(z)z--99999999
-
Martorella, Tommaso, see Bucchiarone, Antonio
-
Marussy, Kristóf, 157(z)17--40,
see Vörös, András
-
Marwedel, Peter, 133(z)175--193
-
Marwedel, Peter, see Kelter, Timon
-
Marzo Serugendo, Giovanna, Di, 110(z)1--2
-
MAS, 66(1)71--86, 78(6)695--704
-
Masalagiu, C., 25(2)117--147
-
Mascardi, Viviana, 205(z)z--99999999
-
Mascardi, Viviana, see Ancona, Davide
-
Mascarenhas, Fabio, 89(z)235--250, 93(z)3--18, 96(z)177--190,
132(z)129--140, 187(z)z--99999999
-
Mascarenhas, Fabio, see Maidl, André Murbach,
see Medeiros, Sérgio Queiroz de,
see Medeiros, Sérgio
-
Mascarenhas:2014:RBC, 89(z)235--250
-
Masci, Paolo, 175(z)17--34
-
Masci, Paolo, see Harrison, Michael D.
-
MASCOT, 57(1)45--60
-
Mashkoor, Atif, 158(z)148--167
-
Mashkoor, Atif, see Arcaini, Paolo
-
Masiero, Paulo Cesar, 74(10)861--878
-
Masiero, Paulo Cesar,
see Lemos, Otávio Augusto Lazzarini
-
Mason, 12(1)83--84
-
Mason, Dave, 161(z)2--17
-
Mason, Dave, see Bouraqadi, Noury
-
Mason, Ian A., 10(2)177--210
-
Mason:1988:VPD, 10(2)177--210
-
mass, 4(1)96--97, 57(2)129--163, 62(3)287--317, 77(5)609--635
-
Massacci, Fabio, 74(1)1--1
-
Massacci:2008:P, 74(1)1--1
-
Massink, Mieke, 110(z)23--50, 180(z)16--17, 206(z)z--99999999,
225(z)z--99999999
-
Massink, Mieke, see Hojjat, Hossein,
see Jacquet, Jean-Marie,
see Latella, Diego
-
Massive, 26(1)59--78
-
Masson, Pierre-Alain, 132(z)190--208
-
Masson, Pierre-Alain, see Bride, Hadrien
-
Massoni, Tiago, 197(z)z--99999999, 205(z)z--99999999
-
Massoni, Tiago, see Vidal, Marzina
-
Massoni:2021:PSI, 205(z)z--99999999
-
Master, 11(1)101--106, 20(3)293--299
-
masterpiece, 8(2)139--145
-
Masuda, Masahiro, 232(z)z--99999999
-
Masuda:2024:PGM, 232(z)z--99999999
-
Masuhara, Hidehiko, 150(z)56--74, 156(z)104--120
-
Masuhara, Hidehiko, see Kamina, Tetsuo,
see Khatchadourian, Raffi
-
Mata, Leonardo Luiz Padovani da, 78(8)1193--1206
-
matching, 11(2)133--159, 12(2)93--104, 27(2)85--118, 36(2)285--302,
48(2)99--117, 75(11)1095--1112, 77(5)609--635, 78(7)933--952,
78(11)2216--2242, 95(z)3--25, 162(z)110--131, 232(z)z--99999999
-
matching, pattern-, 11(2)133--159
-
Mateescu, Radu, 46(3)255--281, 77(10)1075--1094, 78(7)843--861,
96(z)354--376
-
Mateescu:2003:EFM, 46(3)255--281
-
Mateescu:2012:SDF, 77(10)1075--1094
-
Mateescu:2013:MCP, 78(7)843--861
-
Mateescu:2014:PDR, 96(z)354--376
-
Mateo, Pedro Reales, 78(4)364--387
-
Mateo:2013:MMC, 78(4)364--387
-
Mateos, Cristian, 89(z)374--407
-
Mateos, Cristian, see Coscia, José Luis Ordiales
-
Materlik, Dirk, 53(1)71--85
-
Materlik, Dirk, see Kortenkamp, Ulrich
-
Mateti, Prabhaker, 11(1)29--43
-
Mateti:1988:MTT, 11(1)29--43
-
mathematics, 4(1)45--86, 4(3)221--248, 8(1)1--42, 10(2)218--219,
11(2)191--195, 12(2)168--170, 13(1)122--125, 18(2)181--204,
20(3)173--204, 20(3)253--289, 22(1)3--19, 22(1)21--44, 22(1)45--65,
22(1)67--105, 22(1)107--135, 22(1)137--155, 22(1)157--180,
23(1)1--18, 23(1)19--53, 25(0)79--325, 26(0)274, 26(1)5--9,
26(1)11--14, 26(1)15--31, 26(1)59--78, 26(1)99--115, 26(1)117--132,
26(1)133--148, 26(1)167--177, 26(1)179--196, 26(1)197--216,
26(1)217--236, 26(1)237--254, 26(1)255--272, 27(2)85--118,
32(1)49--72, 32(1)109--143, 33(3)221--260, 38(1)155--157,
74(11)989--1020, 78(11)2027--2028, 85(z)101--101
-
Mathew, Sujith Samuel, 235(z)z--99999999
-
Mathew, Sujith Samuel, see Kuhail, Mohammad Amin
-
Mathiske, Bernd, 70(2)127--148
-
Mathiske:2008:ADF, 70(2)127--148
-
Matias, Rivalino, 165(z)ii--ii
-
Matias, Rivalino, see Gracioli, Giovani
-
MATLAB, 130(z)97--106, 191(z)z--99999999
-
Matlab, 211(z)z--99999999
-
matrix, 7(1)55--60, 24(2)149--158, 25(2)251--283, 33(1)29--85,
84(z)3--21, 90(z)55--66
-
matrix, sparse-, 150(z)26--30
-
Matsinger, Aart, 78(12)2313--2330
-
Matsinger, Aart, see Hartmann, Herman
-
Matsuda, Kazutaka, 78(11)2216--2242, 111(z)79--109
-
Matsuda, Kazutaka, see Wang, Meng
-
Matsuda:2015:BFM, 111(z)79--109
-
Matsumoto, Kenichi, 135(z)75--87, 223(z)z--99999999
-
Matsumoto, Kenichi, see Tsunoda, Masateru,
see Ueda, Yuki
-
Mattarei, Cristian, 98(z)464--483
-
Mattarei, Cristian, see Bozzano, Marco
-
Matteucci, Attilio, 9(2)161--177
-
Matteucci, Attilio, see Giannotti, Fosca
-
Matteucci, Lorenzo, 235(z)z--99999999
-
Matteucci, Lorenzo, see Giudice, Nicola Del
-
Matthes, Ralph, 76(3)204--224
-
Matthes:2011:MFN, 76(3)204--224
-
Matthews, Brian, 29(1)53--78
-
Matthews, Brian, see Bicarregui, Juan
-
Matthias, 11(1)88--90
-
Matzner, T., 1(1)73--114
-
Matzner, T., see Bauer, F. L.
-
Mauborgne, Laurent, 31(1)91--112, 47(2)121--144
-
Mauborgne:1998:AIU, 31(1)91--112
-
Mauborgne:2003:IRT, 47(2)121--144
-
Mauboussin, A., 12(1)1--38
-
Mauboussin, A., see Bidoit, M.
-
Maude, 66(2)125--153, 74(10)812--835, 77(12)1235--1271, 80(z)385--415,
99(z)24--74, 99(z)75--94, 113(z)85--118, 154(z)61--88,
233(z)z--99999999
-
Maude, HI-, 99(z)95--127
-
Mauny, M., 8(2)173--202
-
Mauny, M., see Cousineau, G.
-
Maurel, Heloise, 219(z)z--99999999
-
Maurel:2022:SIX, 219(z)z--99999999
-
Maurer, Ward Douglas, 60(3)244--273, 67(2)223--246, 72(3)220--239,
75(11)1142--1164
-
Maurer:2006:TCI, 60(3)244--273
-
Maurer:2007:GSP, 67(2)223--246
-
Maurer:2008:PDC, 72(3)220--239
-
Maurer:2010:SSI, 75(11)1142--1164
-
Maurizio, 18(2)209--213
-
Mauro, Jacopo, 97(z)41--46, 113(z)261--284, 163(z)139--159
-
Mauro, Jacopo, see Lascu, Tudor A.,
see Preda, Mila Dalla
-
Mauro:2018:CAR, 163(z)139--159
-
Mauw, S., 44(3)253--292
-
Mauw, S., see Engels, A. G.
-
Mauw, Sjouke, 74(1)1--1
-
Mauw, Sjouke, see Massacci, Fabio
-
Max-SAT-based, 228(z)z--99999999
-
maximal, 6(3)313--318, 15(1)79--94
-
maximality, 212(z)z--99999999
-
Maximova, Maria, 104(z)44--70
-
Maximova:2015:LCA, 104(z)44--70
-
maximum, 7(1)87--97, 228(z)z--99999999
-
may, 4(1)45--86, 28(0)91--299, 190(z)z--z, 205(z)z--z, 216(z)z--99999999,
217(z)z--z, 234(z)z--z, 432(0)ix--435
-
Mayer, Wolfgang, 97(z)202--234
-
Mayer, Wolfgang, see Cameron, Alexander
-
Mayoh, B. H., 14(2)229--242
-
Mayol, Enric, 88(z)41--53
-
Mayol, Enric, see Conde, Miguel Á.
-
Mazahua, Lisbeth, Rodríguez-, 102(z)1--19
-
Mazanek, Steffen, 85(z)41--99
-
Mazanek, Steffen, see Jakumeit, Edgar
-
Mazaud, Monique, 15(1)15--54
-
Mazaud, Monique, see Despland, Annie
-
MAZE, 131(z)126--150
-
Mazur, Tomasz, 81(z)3--52
-
Mazur:2014:CBC, 81(z)3--52
-
Mazza, M., 31(2)231--261
-
Mazza, M., see Ciancarini, P.
-
Mazzanti, Franco, 76(2)119--135, 169(z)1--17, 224(z)z--99999999
-
Mazzanti, Franco, see Beek, Maurice H. ter
-
Mazzara, Manuel, 97(z)181--182
-
Mazzara, Manuel, see Lanese, Ivan
-
Mazzeo, Antonino, 40(2)235--263
-
Mazzeo, Antonino, see Di Martino, Beniamino
-
Mazzocca, N., 133(z)116--153
-
Mazzocca, N., see Benerecetti, M.
-
Mazzocca, Nicola, 40(2)235--263
-
Mazzocca, Nicola, see Di Martino, Beniamino
-
McAree, Owen, 148(z)88--106
-
McAree, Owen, see Kamali, Maryam
-
McCamant, Stephen, 69(1)35--45
-
McCamant, Stephen, see Ernst, Michael D.
-
McComas, David, 78(12)2360--2380
-
McComas, David, see Ganesan, Dharmalingam
-
McCurley, Robert, 6(1)1--9
-
McCurley:1986:DDA, 6(1)1--9
-
McDonald, Austen, 63(2)111--129
-
McDonald, Austen, see Carlstrom, Brian D.
-
McGettrick, 10(1)90--92
-
McGraw-Hill, 5(3)318--320, 10(1)92--93
-
McIver, A., 28(2)171--192
-
McIver, A., see He, Jifeng
-
McKinna, James, 231(z)z--99999999
-
McKinna, James, see Berg, Birthe van den
-
Mclaren, 8(2)139--145
-
McMillan, K. L., 37(1)279--309
-
McMillan:2000:MHV, 37(1)279--309
-
McMinn, Phil, 97(z)405--425
-
McMinn, Phil, see Shahbaz, Muzammil
-
McNaughton, Matthew, 67(1)32--58
-
McNaughton, Matthew, see Cutumisu, Maria
-
mCRL2, 232(z)z--99999999
-
McTear, Michael, 54(1)99--124
-
McTear, Michael, see O'Neill, Ian
-
MD, 4(1)96--97
-
MDA, 78(12)2313--2330
-
MDA-based, 66(1)25--43
-
MDD, 86(z)74--88
-
MDE-based, 89(z)199--221
-
Meadows, Catherine, 50(1)3--22
-
Meadows:2004:OSM, 50(1)3--22
-
Mealy-machine, 230(z)z--99999999
-
mean-field, 110(z)23--50
-
meaning, 20(1)73--111, 75(11)980--1000
-
means, 9(3)263--270, 33(2)133--162, 95(z)1--2, 121(z)55--74
-
Mearns, Ian, 11(1)90--91
-
Mearns:1988:BRB, 11(1)90--91
-
measure, 173(z)21--36, 203(z)z--99999999, 207(z)z--99999999
-
measurement, 135(z)1--3, 135(z)4--19, 135(z)20--44, 135(z)45--74,
135(z)88--104, 226(z)z--99999999
-
measuring, 28(2)93--110, 60(2)121--133, 62(2)164--183, 76(11)1054--1072,
78(9)1572--1599, 176(z)14--32
-
Mebarki, Leila Amel, 136(z)17--42
-
Mebarki, Leila Amel, see Boudaa, Boudjemaa
-
mechanical, 76(7)609--626, 77(4)444--479, 78(9)1622--1638,
208(z)z--99999999
-
Mechanised, 77(4)424--443
-
Mechanising, 74(4)219--237
-
mechanism, 6(1)35--88, 21(2)141--163, 39(2)149--188, 53(3)381--407,
77(1)29--45, 156(z)104--120, 167(z)114--137, 187(z)z--99999999
-
Mechanization, 197(z)z--99999999
-
mechanized, 74(1)52--63
-
mechanizing, 26(1)33--57
-
Medeiros Duarte, Rodrigo, 173(z)56--70
-
Medeiros, Sérgio, 89(z)235--250, 93(z)3--18, 96(z)177--190,
132(z)129--140, see Maidl, André Murbach,
see Mascarenhas, Fabio
-
Medeiros, Sérgio Queiroz de, 187(z)z--99999999
-
Medeiros:2014:LRP, 96(z)177--190
-
Medeiros:2014:RPE, 93(z)3--18
-
MedeirosDuarte:2019:CPC, 173(z)56--70
-
media, 121(z)16--33
-
Mediator, 192(z)z--99999999
-
medical, 158(z)148--167, 182(z)42--63, 200(z)z--99999999,
206(z)z--99999999
-
Medicine-by-wire, 200(z)z--99999999
-
Medina, Barbara, 78(12)2360--2380
-
Medina, Barbara, see Ganesan, Dharmalingam
-
Meding, Wilhelm, 135(z)1--3
-
Meding, Wilhelm, see Staron, Miroslaw
-
Medvidovic, Nenad, 90(z)67--70
-
Medvidovic, Nenad, see Buhnova, Barbora
-
Meertens, Bird-, 22(1)67--105, z(z)z--z
-
meet, 30(1)157--199, 78(7)862--883, 232(z)z--99999999
-
Mefteh, Mariem, 166(z)89--119
-
Mefteh:2018:TNP, 166(z)89--119
-
Mehlhorn, 13(1)128--130
-
Mehlich, Michael, 36(2)131--147
-
Mehlich, Michael, see Baxter, Ira D.
-
Mehrotra, Gaurav, 204(z)z--99999999
-
Mehrotra:2021:HBN, 204(z)z--99999999
-
Meijster, Arnold, 41(2)173--194
-
Meijster, Arnold, see Hesselink, Wim H.
-
Meinicke, Jens, 79(z)70--85
-
Meinicke, Jens, see Thüm, Thomas
-
Meinicke, Larissa A., 78(11)2086--2107
-
Meinicke, Larissa A., see Hayes, Ian J.
-
Meira, Igor, 201(z)z--99999999
-
Meira, Igor, see Carvalho, Gustavo
-
Mejia, Jezreel, 121(z)3--15, 121(z)176--189
-
Mejia, Jezreel, see Velasco-Elizondo, Perla
-
Mejia:2016:RAM, 121(z)3--15
-
Meldrum, Sarah, 199(z)z--99999999
-
Meldrum:2020:USO, 199(z)z--99999999
-
Mélèse, B., 3(2)151--188, see Kahn, G.
-
Melgratti, Hernán, 167(z)91--113, see Gadducci, Fabio
-
Melideo, M., 56(1)141--156
-
Melideo, M., see Gross, H.-G.
-
Mellish, 14(1)110--110, 14(1)110--112
-
Mellor, Michael R., 76(4)227--242
-
Mellor, Michael R., see Russell, Francis P.
-
Melo, Ana C. V. de, 75(5)333--349
-
Melo, Ana C. V. de, see Pereira, David P.
-
Melski, David, 58(1)206--263
-
Melski, David, see Reps, Thomas
-
Melvin, 11(1)91--94
-
Memoization, 27(3)263--288
-
Memoized, 173(z)71--94
-
Memoizing, 27(3)263--288
-
memory, 7(3)297--312, 10(2)177--210, 23(1)1--18, 25(1)1--39,
58(1)141--178, 58(1)264--289, 58(3)310--324, 62(2)95--97,
62(2)98--121, 62(2)122--144, 62(2)145--163, 63(2)111--129,
63(2)172--185, 63(2)186--201, 71(3)213--241, 74(4)219--237,
74(7)430--445, 76(2)136--157, 77(5)644--659, 78(7)778--795,
78(9)1559--1571, 78(9)1701--1727, 80(z)440--456, 132(z)226--246,
140(z)17--29, 146(z)50--86, 162(z)76--92, 163(z)115--137,
184(z)z--99999999, 198(z)z--99999999, 217(z)z--99999999,
234(z)z--99999999
-
memory, distributed-, 80(z)65--90
-
memory, shared-, 78(7)843--861
-
Mendes, Celso L., 78(4)412--421
-
Mendes, Celso L., see Rodrigues, Eduardo R.
-
Mendes, Jorge, 96(z)254--275
-
Mendes, Jorge, see Cunha, Jácome
-
Méndez, William, Ravelo-, 206(z)z--99999999, 225(z)z--99999999
-
Mendler, Nax, 16(2)202--203
-
Mendler:1991:BRB, 16(2)202--203
-
Mendonca, Marcilio, 75(5)311--332
-
Mendonca:2010:DMC, 75(5)311--332
-
Mendoza, J., 182(z)42--63
-
Mendoza, J., see Bowles, J.
-
Menezes, Ronaldo, 78(5)542--543
-
Menezes, Ronaldo, see Casadei, Matteo
-
Meng, Sun, 76(8)651--680, 77(7)799--822, 78(1)1--2
-
Meng:2011:SRC, 76(8)651--680
-
Meng:2012:CDM, 77(7)799--822
-
Meng:2012:FAC, 78(1)1--2
-
Mennicke, Stephan, 172(z)27--47
-
Mennicke, Stephan, see Luthmann, Lars
-
Mens, Kim, 75(1)3--20, 75(4)214--215, 76(12)1113--1129, 79(z)1--5,
105(z)73--91, 134(z)1--3, 134(z)75--99
-
Mens, Kim, see Brand, Mark G. J. van den,
see Camacho, Diego Ordóñez,
see Castro, Sergio, \see{Lozano, Angela
-
Mens, Tom, 78(8)971--986, 89(z)251--272, 207(z)z--99999999,
208(z)z--99999999
-
Mens, Tom, see Decan, Alexandre,
see Goeminne, Mathieu,
see Vasilescu, Bogdan,
see Zerouali, Ahmed
-
Mens:2014:GEI, 79(z)1--5
-
mentol, 3(2)151--188
-
menu, 50(1)3--22
-
Meo, M. C., 27(3)217--262
-
Meo, M. C., see Bossi, A.
-
Merayo, Mercedes G., 163(z)85--92
-
Merayo, Mercedes G., see Gómez-Abajo, Pablo
-
Merchant, Fehmina, 31(2)291--311
-
Merchant, Fehmina, see Fukuda, Munehiro
-
Mercury, 134(z)61--74
-
Méré, Maxime, 232(z)z--99999999,
see Jouault, Frédéric
-
Merelli, Emanuela, 115(z)23--46
-
Merelli:2015:ACC, 115(z)23--46
-
merge, 10(1)65--85, 78(8)971--986
-
merging, 113(z)3--28, 113(z)51--81, 220(z)z--99999999
-
Merín, Mauricio, 230(z)z--99999999,
see Galeano, Iris
-
Merino, P., 77(3)375--392
-
Merino, P., see Gallardo, M. M.
-
Merino, Pedro, 65(1)57--69, 76(2)63--64
-
Merino, Pedro, see Cofer, Darren,
see Gallardo, María del Mar
-
Mernik, Marjan, 47(1)1--1, 75(11)919--920, 77(9)969--970, 78(4)388--389,
78(6)613--614
-
Mernik, Marjan, see Brand, Mark van den
-
Mernik:2010:SIP, 75(11)919--920
-
Mernik:2012:SIP, 77(9)969--970
-
Mernik:2013:SIP, 78(4)388--389
-
Mernik:2013:SSP, 78(6)613--614
-
Merro, Massimo, 81(z)53--78
-
Merro, Massimo, see Macedonio, Damiano
-
Merwe, Dean van der, 74(3)128--142
-
Merwe, Dean van der, see Kourie, Derrick G.
-
Méry, Dominique, 121(z)100--127, 216(z)z--99999999,
218(z)z--99999999, see Ait-Ameur, Yamine
-
Mery:2022:SPI, 218(z)z--99999999
-
Mery:2022:SPR, 216(z)z--99999999
-
Merz, Stephan, 96(z)277--278, 158(z)3--20, 158(z)64--80
-
Merz, Stephan, see Azmy, Noran,
see Lüttgen, Gerald
-
Merz:2018:ETU, 158(z)3--20
-
Mesbah, Ali, 97(z)173--180
-
Mesbah, Ali, see Deursen, Arie van
-
Meseguer, José, 66(2)125--153, 83(z)3--34, 91(z)3--44, 99(z)24--74,
99(z)193--234, 99(z)235--261, 103(z)13--50, 112(z)24--57,
154(z)3--41, see Bae, Kyungmin,
see Cholewa, Andrew,
see Durán, Francisco,
see Eckhardt, Jonas,
see Gutiérrez, Raúl
-
Meseguer:2014:TDS, 83(z)3--34
-
Meseguer:2018:VBS, 154(z)3--41
-
message, 4(3)291--322, 6(3)291--311, 7(1)1--22, 24(2)105--128,
39(2)249--272, 44(3)253--292, 54(2)213--256, 62(2)98--121,
133(z)51--73, 180(z)36--70
-
Message-Based, 6(3)291--311
-
message-based, 6(3)291--311
-
message-passing, 24(2)105--128, 41(3)241--275, 74(8)498--533,
234(z)z--99999999
-
message-routing, 2(3)175--206
-
messaging, 71(2)110--143, 84(z)22--51
-
MESSENGERS, 31(2)291--311
-
Messengers, 31(2)291--311
-
Messina, Fabrizio, 139(z)36--55
-
Messina, Fabrizio, see Fichera, Loris
-
meta-circular, 95(z)219--253
-
meta-control, 140(z)2--16
-
meta-data, 97(z)349--365
-
Meta-level, 20(1)3--50
-
meta-logical, 172(z)48--62
-
meta-model, 56(1)59--78, 78(8)1035--1054, 78(10)1930--1950
-
meta-modelling, 180(z)71--80
-
meta-models, 104(z)2--43, 113(z)3--28, 152(z)38--62
-
meta-theory, 91(z)70--89
-
meta-tracing, 98(z)408--421
-
metacompilation, 75(3)85--105
-
metadata, 98(z)617--644, 181(z)27--46
-
Metadata-based, 89(z)126--143
-
metafront, 68(1)2--20
-
MeTAGeM-Trace, 98(z)3--27
-
metaheuristic, 97(z)366--380
-
metal, 3(2)151--188
-
metalanguage, 12(3)260--264
-
metamodeling, 44(1)5--22, 76(7)555--586
-
metamodelling, 96(z)396--416
-
Metamorphisms, 65(2)108--139
-
MetaOCaml, 62(1)3--24, 62(1)66--84
-
metaprogramming, 72(1)22--30, 200(z)z--99999999, 231(z)z--99999999
-
metaprograms, 78(9)1600--1621
-
Metasoft, 12(3)260--264
-
metatheory, 3(2)119--149, 5(2)143--169, 6(3)213--272, 7(1)55--60,
8(1)1--42, 8(1)69--86, 8(1)87--103, 8(2)173--202, 8(3)275--306,
10(2)139--176, 10(2)177--210, 11(1)17--28, 11(1)45--63, 11(1)65--86,
11(2)107--131, 11(2)133--159, 12(1)1--38, 12(1)39--74, 12(1)75--81,
12(2)93--104, 12(3)177--190, 12(3)191--206, 12(3)207--253,
13(1)23--50, 13(1)51--72, 13(1)73--110, 13(2)181--218,
13(2)219--236, 14(1)59--79, 14(2)133--158, 14(2)185--228,
14(2)255--279, 14(2)281--304, 14(2)305--321, 15(1)1--13,
15(1)55--77, 15(1)79--94, 15(2)171--183, 16(1)49--88, 16(2)151--195,
16(3)207--249, 16(3)251--275, 17(0)z--z, 17(1)3--34, 17(1)35--75,
17(1)77--117, 17(1)119--138, 17(1)139--215, 17(1)217--245,
18(1)39--66, 18(1)67--106, 18(1)107--137
-
Métayer, Daniel, Le, 15(1)55--77, 25(2)219--249, 31(2)263--289,
113(z)223--235
-
meter, 28(2)93--110
-
Metere, Roberto, 174(z)72--89
-
Metere, Roberto, see Lindner, Andreas
-
MethApp4Mob, 230(z)z--99999999
-
methodological, 54(2)213--256, 65(1)41--56, 74(9)754--776,
78(11)2243--2244, 230(z)z--99999999
-
methodology, 2(1)1--18, 2(1)19--52, 5(1)107--109, 16(1)95--97,
24(3)189--220, 27(3)217--262, 37(1)279--309, 38(1)125--142,
42(1)87--99, 44(1)101--129, 78(6)684--694, 78(11)2268--2281,
133(z)154--174
-
methods, multi-, 75(7)638--667, 98(z)531--550
-
metric, 37(1)163--205, 59(1)4--25, 74(5)355--378, 78(1)117--144,
79(z)224--240, 90(z)116--134, 135(z)45--74, 166(z)214--230,
196(z)z--99999999, 227(z)z--99999999
-
Metric, Goal-Question-, 184(z)z--99999999
-
Metrô, 78(7)828--842
-
Meur, Anne-Françoise Le, 52(1)341--370,
see Consel, Charles
-
Meurice, Loup, 97(z)113--121, 230(z)z--99999999
-
Meurice, Loup, see Cleve, Anthony,
see Gobert, Maxime
-
Meuter, Wolfgang, De, 78(10)1951--1970, 80(z)52--64, 98(z)159--183,
98(z)360--375
-
Meyer, 12(1)88--90
-
Meyer, Bertrand, 5(1)107--109, 5(2)111--142, 97(z)163--172,
133(z)194--215
-
Meyer, Bertrand, see Caltais, Georgiana,
see Kogtenkov, Alexander
-
Meyer, Carsten, 51(3)215--263
-
Meyer, Carsten, see Giegerich, Robert
-
Meyer, J.-J. Ch, 78(9)1278--1293
-
Meyer, J.-J. Ch., see Astefanoaei, L.
-
Meyer, Uwe, 34(1)55--73
-
Meyer:1985:BRB, 5(1)107--109
-
Meyer:1985:SPS, 5(2)111--142
-
Meyer:1999:CLP, 34(1)55--73
-
Meyers, Bart, 76(12)1223--1246
-
Meyers:2011:FEM, 76(12)1223--1246
-
Mezini, Mira, 73(1)13--25, 78(6)615--632, 79(z)146--157, 155(z)146--172
-
Mezini, Mira, see Cepa, Vasian,
see Dinkelaker, Tom, \see{Grewe, Sylvia,
see Sarimbekov, Aibek
-
MFCS'91, 15(1)115--116
-
Michael, 11(1)94--95, 12(1)84--84, 13(1)119--122, 33(2)213--214
-
Michael, Judith, 232(z)z--99999999
-
Michael, Judith, see Buschhaus, Constantin
-
Michaelson, 16(2)198--200
-
Michel, 76(8)627--630
-
Michel, Beat, 10(3)247--280
-
Michel, Laurent, 30(1)83--118
-
Michel, Laurent, see Van Hentenryck, Pascal
-
Michel:1988:DTP, 10(3)247--280
-
microcomputer, 6(2)191--205
-
Microcomputers, 26(1)79--97
-
microcontroller, 76(2)100--118, 78(7)862--883, 80(z)109--129
-
microengineering, 97(z)64--68
-
microprocessor, 26(1)79--97, 118(z)60--76
-
microservice, 228(z)z--99999999
-
Miculan, Marino, 221(z)z--99999999
-
Miculan, Marino, see Chiapperini, Alessio
-
Middelburg, 51(3)291--292
-
middleware, 66(1)4--24, 73(1)3--12, 73(1)39--58, 77(6)663--684,
78(10)2009--2025
-
Midtgaard, Jan, 105(z)145--170
-
Midtgaard:2015:SDC, 105(z)145--170
-
Mieg, Yann, Thierry-, 235(z)z--99999999
-
migration, 77(2)83--95, 78(8)1157--1175, 133(z)154--174
-
Miguelez, Joan, Giner-, 231(z)z--99999999
-
Mihelci{\'c}, Matej, 95(z)376--388, see Blom, Stefan
-
Mikaelyan, Liana, 196(z)z--99999999
-
Mikaelyan, Liana, see Müller, Sascha
-
Mikucionis, Marius, 113(z)236--260, 127(z)103--130
-
Mikucionis, Marius, see Boudjadar, Abdeldjalil
-
Mikulski, Lukasz, 151(z)48--60
-
Mikulski, Lukasz, see Barylska, Kamila
-
Milazzo, Paolo, 73(2)76--94
-
Milazzo, Paolo, see Lanotte, Ruggero
-
Mili, A., 26(1)237--254, 56(3)343--361
-
Mili, A., see Cortellessa, V.,
see Frappier, M.
-
Mili, Ali, 12(2)165--167, 18(1)67--106, 20(3)253--289, 38(1)73--123,
74(11)989--1020, 78(9)1212--1239, 138(z)26--48
-
Mili, Ali, see Ayed, Rahma Ben,
see Desharnais, Jules, \see{Mili, Fatma,
see Mraihi, Olfa
-
Mili, Fatma, 18(1)67--106, 20(3)253--289
-
Mili, Fatma, see Desharnais, Jules
-
Mili:1989:BRB, 12(2)165--167
-
Mili:1992:HCW, 18(1)67--106
-
Mili:2009:MRA, 74(11)989--1020
-
Milicevic, Aleksandar, 94(z)203--216
-
Milicevic:2014:PAO, 94(z)203--216
-
military, 77(5)636--643
-
Milius, Stefan, 80(z)150--168
-
Milius, Stefan, see Huhn, Michaela
-
Milkowska, Miroslawa, 28(2)193--223
-
Milkowska, Miroslawa, see Kluzniak, Feliks
-
Miller, D. Michael, 212(z)z--99999999
-
Miller, Mark S., 98(z)422--438
-
Miller, Mark S., see Van Cutsem, Tom
-
Miller:2021:FTS, 212(z)z--99999999
-
Millikin, Kevin, 74(8)534--549
-
Millikin, Kevin, see Danvy, Olivier
-
Mills, 12(2)170--172, 13(1)117--119
-
Millstein, Todd, 55(1)209--226
-
Millstein, Todd, see Leino, K. Rustan M.
-
Milne, Robert, 11(1)95--97
-
Milne, Robert E., 15(1)98--98, 15(1)98--100
-
Milne:1988:BRB, 11(1)95--97
-
Milne:1990:BRBa, 15(1)98--98
-
Milne:1990:BRBb, 15(1)98--100
-
Milner, 23(1)55--89, 38(1)151--153
-
Milner, Damas-, 22(3)231--256
-
Milner, Hindley-, 27(1)37--83, 95(z)254--271
-
Milojkovi{\'c}, Nevena, 161(z)105--121
-
Milojkovic:2018:MIC, 161(z)105--121
-
Milward, David, 192(z)z--99999999
-
Milward, David, see Davies, Jim
-
Minamide, Yasuhiko, 230(z)z--99999999
-
Minamide, Yasuhiko, see Hirata, Michikazu
-
Minas, Mark, 44(2)157--180
-
Minas:2002:CRD, 44(2)157--180
-
Mincer-Daszkiewicz, Janina, 28(2)139--170
-
Mincer-Daszkiewicz, Janina, see Iglewski, Michal
-
mind, 15(1)100--111
-
mindfulness, 230(z)z--99999999
-
Miné, A., 93(z)154--182
-
Miné, Antoine, 229(z)z--99999999,
see Parolini, Francesco
-
Mine:2014:BUA, 93(z)154--182
-
Minea, Marius, 29(1)79--98, 230(z)z--99999999
-
Minea, Marius, see Campos, Sergio,
see Campos, Sérgio
-
mined, 202(z)z--99999999
-
Ming, Zhong, 148(z)189--212
-
Ming, Zhong, see Qin, Shengchao
-
Minh, Chi Cao, 63(2)111--129
-
Minh, Chi Cao, see Carlstrom, Brian D.
-
minimal, 3(2)205--216, 9(1)85--89, 18(3)247--269, 48(2)81--97,
75(11)943--979, 76(4)243--257, 98(z)439--463
-
Minimality, 22(3)197--230
-
MiniMAO, 63(3)321--374
-
Minimization, 21(3)225--261
-
Minimizing, 208(z)z--99999999
-
mining, 75(11)1113--1141, 77(6)743--759, 95(z)406--425, 121(z)128--152,
150(z)31--55, 161(z)105--121, 163(z)62--84, 207(z)z--99999999
-
mining, \pkg{SATDBailiff}-, 213(z)z--99999999
-
MiniZinc, 111(z)156--189
-
Minker, 24(1)99--100
-
Miñón, Raúl, 86(z)58--73
-
Minon:2014:AIA, 86(z)58--73
-
Mints, Grigori, 2(3)215--240
-
Mints:1982:JSS, 2(3)215--240
-
MIPS, 98(z)551--588
-
Miracles, 20(3)223--251
-
Miranda, 13(2)181--218
-
Mirandola, Raffaela, 44(1)101--129, 80(z)356--384, 98(z)439--463
-
Mirandola, Raffaela, see Cortellessa, Vittorio
-
Mirandola:2014:ASE, 80(z)356--384
-
Mirkowska, G., 20(1)141--171
-
mirror, 4(2)205--210
-
misalignments, 57(1)5--26
-
misbehaviour, 100(z)2--27
-
mismatch, 33(2)101--131
-
Misra, J., 2(2)143--152
-
Misra, Jayadev, 14(2)159--184
-
Misra:1982:FRE, 2(2)143--152
-
Misra:1990:SCO, 14(2)159--184
-
Missing, 27(1)37--83
-
mission-related, 192(z)z--99999999
-
missions, 61(1)48--57
-
Mitchell, Áine, 59(1)4--25
-
Mitchell, John C., 21(2)141--163
-
Mitchell, R. J., 12(1)87--88
-
Mitchell:1989:BRB, 12(1)87--88
-
Mitchell:1993:AEP, 21(2)141--163
-
Mitchell:2006:SIC, 59(1)4--25
-
Mitigating, 95(z)298--319
-
Mitra, Tulika, 69(1)56--67
-
Mitra, Tulika, see Li, Xianfeng
-
Mixed, 89(z)199--221
-
Miyazaki, Kunihiko, 131(z)59--75
-
Miyazaki, Kunihiko, see Fürst, Andreas
-
Miyazawa, Alvaro, 77(10)1151--1177, 174(z)1--37, 181(z)140--176
-
Miyazawa, Alvaro, see Cavalcanti, Ana
-
Miyazawa:2012:ROM, 77(10)1151--1177
-
Miyazawa:2019:SCS, 181(z)140--176
-
Mizera, Andrzej, 180(z)18--35
-
Mizera, Andrzej, see Yuan, Qixia
-
Mkaouer, Mohamed Wiem, 213(z)z--99999999
-
Mkaouer, Mohamed Wiem, see AlOmar, Eman Abdullah
-
ML, 31(1)147--173, 68(2)79--94, 106(z)3--29
-
ml, 8(2)173--202, 27(1)37--83
-
ML-like, 58(1)141--178
-
MMINT-A, 231(z)z--99999999
-
MMU, 162(z)76--92
-
mobile, 31(2)291--311, 38(1)151--153, 39(2)249--272, 44(3)293--342,
46(1)137--162, 47(2)145--175, 53(1)107--122, 66(3)246--265,
67(1)76--90, 75(6)440--469, 78(9)1470--1489, 78(10)2009--2025,
78(12)2381--2398, 115(z)79--99, 129(z)3--19, 230(z)z--99999999
-
MobiLine, 78(12)2381--2398
-
mobility, 61(2)114--135, 78(10)1971--1986
-
Möbius, 15(2)185--200
-
{MOBS, RT}-, 206(z)z--99999999
-
Mocci, Andrea, 150(z)31--55
-
Mocci, Andrea, see Bacchelli, Alberto
-
Mocholi, Jose A., 78(10)1930--1950
-
Mocholi, Jose A., see Catala, Alejandro
-
modal, 21(2)115--139, 23(0)107--311, 24(1)41--61, 29(1)3--22,
77(12)1212--1234, 78(12)2468--2487, 83(z)106--128, 169(z)1--17,
172(z)27--47, 215(z)z--99999999
-
modal, Tri-, 132(z)190--208
-
Modalities, 8(3)275--306
-
mode, reverse-, 231(z)z--99999999
-
Mode-Automata, 46(3)219--254
-
mode-rich, 78(7)884--905
-
Modechart, 29(1)99--122
-
model, meta-, 56(1)59--78, 78(8)1035--1054, 78(10)1930--1950
-
model, model-to-, 68(3)114--137
-
model, multi-, 121(z)3--15
-
Model, Peer-, 223(z)z--99999999
-
Model-Based, 156(z)1--20
-
model-based, 80(z)188--209, 90(z)161--179, 96(z)254--275, 97(z)383--404,
120(z)25--48, 132(z)143--172, 230(z)z--99999999, 231(z)z--99999999,
232(z)z--99999999, 233(z)z--99999999
-
model-checker, 235(z)z--99999999
-
model-checking, 40(1)59--96, 46(3)255--281, 56(3)251--273,
76(2)119--135, 110(z)23--50
-
Model-Driven, 78(6)695--704, 89(z)71--87, 234(z)z--99999999
-
model-driven, 66(2)105--124, 73(1)13--25, 73(1)26--38, 74(4)168--196,
75(8)689--725, 77(3)247--269, 78(10)1912--1929, 78(11)2245--2258,
89(z)88--104, 89(z)126--143, 89(z)144--161, 89(z)162--175,
89(z)176--198, 89(z)320--349, 96(z)156--174, 97(z)31--36,
107(0)41--63, 129(z)48--71, 136(z)17--42, 161(z)18--33,
168(z)18--37, 200(z)z--99999999, 208(z)z--99999999,
232(z)z--99999999
-
model-equality, 77(4)518--532
-
model-extraction, 77(3)375--392
-
model-integrated, 89(z)105--125
-
model-to-model, 68(3)114--137
-
modelers, 65(1)4--13
-
Modelica, 75(1)21--38
-
modeling, 7(1)1--22, 20(1)113--140, 29(1)99--122, 38(1)143--146,
44(2)229--252, 53(3)305--331, 55(1)161--183, 57(1)89--108,
61(1)58--71, 61(2)75--113, 66(1)60--70, 66(2)162--180, 71(1)73--87,
75(12)1193--1214, 76(1)23--36, 77(7)799--822, 78(1)3--26,
78(3)327--342, 78(9)1208--1211, 78(9)1470--1489, 88(z)54--81,
94(z)69--92, 96(z)417--443, 97(z)150--156, 97(z)331--332,
99(z)95--127, 104(z)1--1, 111(z)156--189, 113(z)285--301,
115(z)225--246, 121(z)16--33, 121(z)153--175, 128(z)22--50,
146(z)2--27, 147(z)54--77, 149(z)15--27, 166(z)35--70, 166(z)71--88,
166(z)167--193, 168(z)142--164, 183(z)z--99999999,
184(z)z--99999999, 187(z)z--99999999, 192(z)z--99999999,
203(z)z--99999999, 210(z)z--99999999, 230(z)z--99999999,
234(z)z--99999999
-
modeling, object-, 44(1)23--49
-
modelled, 56(1)171--189
-
modelling, 20(3)173--204, 65(1)14--29, 65(2)140--158, 76(10)942--967,
76(12)1130--1143, 76(12)1223--1246, 78(3)293--309, 86(z)74--88,
89(z)41--68, 96(z)315--336, 98(z)1--2, 98(z)52--79, 99(z)75--94,
106(z)54--77, 133(z)91--115, 133(z)116--153, 156(z)21--44,
157(z)17--40, 168(z)165--168, 180(z)71--80, 184(z)z--99999999,
203(z)z--99999999, 215(z)z--99999999, 225(z)z--99999999,
231(z)z--99999999
-
modelling, meta-, 180(z)71--80
-
MODELS'2016, 149(z)1--2
-
models, meta-, 104(z)2--43, 113(z)3--28, 152(z)38--62
-
ModelSet, 231(z)z--99999999
-
MODELSWARD, 113(z)1--2
-
modern, 34(2)159--161, 62(2)95--97
-
modernization, 77(3)247--269
-
modes, 20(3)205--221
-
modifications, 54(2)143--211
-
Modifying, 27(1)1--35
-
modular, 3(3)223--278, 20(1)73--111, 44(1)51--69, 62(3)253--286,
68(1)38--61, 69(1)14--26, 78(9)1538--1558, 80(z)416--439,
84(z)101--120, 87(z)23--43, 87(z)44--61, 96(z)511--526,
98(z)589--616, 109(z)96--124, 114(z)7--19, 114(z)33--44,
129(z)35--47, 131(z)3--21, 195(z)z--99999999
-
modularity, 3(3)223--278, 87(z)62--94
-
modularization, 28(0)91--299, 28(2)111--138, 68(3)138--154
-
module, 3(3)223--278, 15(1)113--114, 17(1)77--117, 25(1)41--61,
27(2)175--184, 28(0)91--299, 28(2)139--170, 47(1)3--36,
66(2)125--153, 74(1)13--22, 96(z)230--253, 101(z)6--20
-
modulo, 22(3)197--230, 99(z)235--261, 112(z)24--57, 165(z)1--2,
178(z)20--42
-
MOGA-NN, 208(z)z--99999999
-
Mogavero, Fabio, 83(z)56--79
-
Mogavero, Fabio, see Aminof, Benjamin
-
Mogensen, Torben Æ, 35(2)191--221
-
Mogensen, Torben Æ., see Rehof, Jakob
-
Mogensen, Torben Ægidius, 215(z)z--99999999
-
Mogensen:2022:HRL, 215(z)z--99999999
-
Moggi, E., 24(2)186--187
-
Moggi:1995:BRB, 24(2)186--187
-
Mohaqeqi, Morteza, 162(z)35--54
-
Mohaqeqi, Morteza, see Araujo, Hugo
-
Moharil, Ambarish, 230(z)z--99999999
-
Moharil:2023:TTB, 230(z)z--99999999
-
Mohring, Christine, Paulin-, 74(8)568--589, 76(3)159--159
-
Moir, Mark, 25(1)1--39, 30(3)287--308, 58(3)291--292
-
Moir:1995:WFA, 25(1)1--39
-
Moir:1998:FLL, 30(3)287--308
-
Moir:2005:CSJ, 58(3)291--292
-
Moisan, Sabine, 206(z)z--99999999
-
Moisan, Sabine, see L'Yvonnet, Thibaud
-
Moitra, Abha, 5(3)277--307, 8(1)43--67
-
Moitra, Abha, see Joseph, Mathai
-
Moitra:1985:ACC, 5(3)277--307
-
Mokni, Abderrahman, 127(z)24--49
-
Mokni:2016:FAM, 127(z)24--49
-
Moldaschl, Michael, 90(z)55--66
-
Moldaschl:2014:CES, 90(z)55--66
-
Moldt, Daniel, 157(z)1--2
-
Moldt, Daniel, see Kordon, Fabrice
-
Molesini, Ambra, 78(6)705--714
-
Molesini:2013:SAO, 78(6)705--714
-
Molina, Ana I., 88(z)54--81, 89(z)320--349
-
Molina, Ana Isabel, 74(9)754--776
-
Molina, Facundo, 181(z)47--63
-
Molina, Jesús García, 89(z)176--198,
see Cuadrado, Jesús Sánchez
-
Molina:2009:MAU, 74(9)754--776
-
Molina:2014:EGN, 88(z)54--81
-
Molina:2014:MDD, 89(z)320--349
-
Molina:2019:EAT, 181(z)47--63
-
M{\o}ller, Anders, 75(3)176--191, 76(6)492--515, 133(z)51--73,
see Brabrand, Claus, \see{Ernst, Erik
-
Möller, B., 1(1)73--114, 85(z)204--223,
see Bauer, F. L., \see{Dang, H.-H.
-
Möller, Bernhard, 7(1)35--53, 21(1)57--90, 22(1)157--180, 26(1)3--3,
51(1)1--2, 65(2)195--214, 75(11)1022--1047,
see Apel, Sven, \see{Boiten, Eerke,
see Broy, Manfred
-
Moller, Faron, 96(z)315--336, 233(z)z--99999999
-
Moller, Faron, see James, Phillip
-
Moller:1993:TPA, 21(1)57--90
-
Moller:1994:SPG, 22(1)157--180
-
Moller:1995:MPC, 26(0)274
-
Moller:1996:P, 26(1)3--3
-
Moller:2007:KGL, 65(2)195--214
-
Moller:2011:XGP, 76(6)492--515
-
Molnár, Vince, 157(z)17--40,
see Vörös, András
-
Momm, Christof, 90(z)116--134
-
Momm, Christof, see Krebs, Rouven
-
monadic, 23(2)287--311, 119(z)3--30, 152(z)70--98, 173(z)37--55
-
Monadification, 52(1)101--129
-
monads, 23(2)287--311, 37(1)67--111, 76(5)349--375, 78(9)1600--1621,
201(z)z--99999999
-
Monahan, Brian, 12(3)260--264
-
Monahan, Rosemary, 233(z)z--99999999
-
Monahan, Rosemary, see Reynolds, Conor
-
Monahan:1989:BRB, 12(3)260--264
-
Mondal, Manishankar, 95(z)445--468
-
Mondal:2014:IDC, 95(z)445--468
-
Monden, Akito, 135(z)75--87
-
Monden, Akito, see Tsunoda, Masateru
-
Mongiovi, Melina, 93(z)39--64
-
Mongiovi:2014:MRS, 93(z)39--64
-
Monin, Jean-François, 26(1)179--196
-
Monin:1996:ECH, 26(1)179--196
-
monitor, 80(z)52--64, 172(z)160--179, 196(z)z--99999999
-
monitoring, 94(z)362--378, 118(z)40--59, 132(z)226--246,
225(z)z--99999999, 230(z)z--99999999, 232(z)z--99999999,
234(z)z--99999999
-
Monniaux, David, 47(2)177--202, 58(1)179--205
-
Monniaux:2003:ACP, 47(2)177--202
-
Monniaux:2005:AIP, 58(1)179--205
-
Monographs, 10(2)215--216, 11(1)97--98, 15(1)113--114
-
Monolithic, 96(z)511--526
-
monomorphic, 111(z)79--109
-
monotonic, 20(1)73--111, 28(0)91--299, 28(2)93--110
-
Monreale, Giacoma Valentina, 109(z)96--124
-
Monreale, Giacoma Valentina, see Baldan, Paolo
-
Monsen, Kenth, Eng{\o}-, 53(2)195--214
-
Montagna, Sara, 110(z)3--22
-
Montagna, Sara, see Viroli, Mirko
-
Montalvo, Carlos, Soubervielle-, 196(z)z--99999999
-
Montanari, A., 20(1)141--171
-
Montanari, A., see Ciapessoni, E.
-
Montanari, U., 30(1)51--82
-
Montanari, U., see Bueno, F.
-
Montanari, Ugo, 21(3)225--261, 97(z)23--30
-
Montanari, Ugo, see Bruni, Roberto,
see De Francesco, Nicoletta
-
Montangero, Carlo, 34(2)79--140
-
Montangero, Carlo, see Semini, Laura
-
Monteiro, Felipe R., 152(z)63--69
-
Monteiro:2018:EGC, 152(z)63--69
-
Montenegro, Manuel, 111(z)51--78, 111(z)426--457, 111(z)458--482
-
Montenegro:2015:SAF, 111(z)51--78
-
Montenegro:2015:SCAa, 111(z)426--457
-
Montenegro:2015:SCAb, 111(z)458--482
-
Montenyohl, Margaret, 16(1)1--18
-
Montenyohl:1991:CSF, 16(1)1--18
-
Montes, J. L. Isla, 66(1)44--59
-
Montes, J. L. Isla, see Vela, F. L. Gutiérrez
-
Montesi, Fabrizio, 97(z)181--182, 130(z)69--96, 228(z)z--99999999
-
Montesi, Fabrizio, see Giallorenzo, Saverio,
see Lanese, Ivan
-
Montesi:2016:PAW, 130(z)69--96
-
Montgomery, Lisa P., 78(12)2360--2380
-
Montgomery, Lisa P., see Ganesan, Dharmalingam
-
MontiGem, 232(z)z--99999999
-
Moon, Young-Joo, 80(z)3--24
-
Moon:2014:CMR, 80(z)3--24
-
Moonen, Leon, 40(2)189--211, 60(2)205--220, 97(z)105--112
-
Moonen, Leon, see Deursen, Arie van
-
Moonen:2015:TEB, 97(z)105--112
-
Moor, Oege de, 22(1)21--44, 35(1)3--27
-
Moor, Oege de, see Gardiner, Paul H. B.
-
Moore, J. Strother, 57(3)253--274
-
Moore, J. Strother, see Liu, Hanbing
-
Moore-style, Boyer-, 48(2)99--117
-
Moose, 79(z)6--22
-
Mora-Soto, Arturo, 121(z)176--189
-
Mora-Soto, Arturo, see Velasco-Elizondo, Perla
-
Moraes, Rodrigo, Saar de, 208(z)z--99999999
-
Moraes, Alan, 126(z)52--72
-
Moraes:2016:FTS, 126(z)52--72
-
Morales, José F., 155(z)3--26, see Stulova, Nataliia
-
Morales, L. E. Mendoza, 65(1)41--56
-
Morales, L. E. Mendoza, see Akhlaki, K. Benghazi
-
Moran, Andrew, 46(1)99--135
-
Moran:2003:EFS, 46(1)99--135
-
Morato, Jorge, 121(z)34--54
-
Morato, Jorge, see Barra, Eduardo
-
Morb:2015:FST, 111(z)248--276
-
Morbé, Georges, 111(z)248--276
-
Morcos, E., 3(2)151--188
-
Morcos, E., see Kahn, G.
-
more, 12(1)1--38, 15(1)1--13, 65(1)1--3, 102(z)57--75
-
Moreau, Luc, 39(2)249--272
-
Moreau:2001:DDS, 39(2)249--272
-
Moreira, Ana, 78(1)117--144
-
Moreira, Ana, see Piveta, Eduardo Kessler
-
Moreira, Anamaria Martins, 77(4)533--550, 215(z)z--99999999
-
Moreira, Anamaria Martins, see Costa, Umberto Souza da,
see Neto, João Batista de Souza
-
Moreno, Lourdes, 86(z)58--73
-
Moreno, Lourdes, see Miñón, Raúl
-
Moreno-Ger, Pablo, 67(1)3--31
-
Moreno-Ger:2007:DAA, 67(1)3--31
-
Moret, Philippe, 76(11)1015--1036, 79(z)146--157
-
Moret, Philippe, see Sarimbekov, Aibek,
see Villazón, Alex
-
Morgan, C., 22(1)1--z
-
Morgan, Carroll, 11(1)17--28, 14(2)281--304, 18(2)205--207,
74(8)629--653, 85(z)115--136, 92(z)85--85
-
Morgan, Carroll, see Simao, Adenilso
-
Morgan:1988:PPA, 11(1)17--28
-
Morgan:1990:TIR, 14(2)281--304
-
Morgan:1992:BRB, 18(2)205--207
-
Morgan:1994:F, 22(1)1--z
-
Morgan:2009:SKR, 74(8)629--653
-
Morgan:2014:ONN, 85(z)115--136
-
Morihata, Akimasa, 98(z)484--515
-
Morihata, Akimasa, see Mu, Shin-Cheng
-
Morisset, Charles, 75(10)879--897
-
Morisset, Charles, see Lei, Bin
-
Morley, Matthew J., 29(1)147--170
-
Morley:1997:SLC, 29(1)147--170
-
Morrell, Christopher, 74(7)430--445
-
Morrell, Christopher, see Binkley, Dave
-
Morris, 11(1)29--43
-
Morris, J. M., 43(1)77--89
-
Morris, Joseph M., 9(3)287--306, 34(2)141--158, 65(2)159--172
-
Morris-Pratt, Knuth-, 12(2)93--104
-
Morris:1987:TBS, 9(3)287--306
-
Morris:1999:LRE, 34(2)141--158
-
Morris:2002:SIT, 43(1)77--89
-
Morris:2007:TUD, 65(2)159--172
-
Morrisett, Greg, 62(2)122--144
-
Morrisett, Greg, see Swamy, Nikhil
-
Moseler, Oliver, 230(z)z--99999999
-
Moseler:2023:CFA, 230(z)z--99999999
-
Moser, Georg, 185(z)z--99999999
-
Moser:2020:AAR, 185(z)z--99999999
-
Moss, J. Eliot B., 63(2)186--201
-
Moss:2006:NTM, 63(2)186--201
-
Mossakowski, Till, 126(z)3--30, 144(z)1--49
-
Mossakowski, Till, see Calegari, Daniel,
see Codescu, Mihai
-
Mössenböck, Hanspeter, 74(5)279--295, 75(11)1077--1094,
76(11)1073--1073, 78(5)423--424, see Aleksy, Markus,
see Häubl, Christian,
see Würthinger, Thomas
-
Mosser, Sébastien, 78(8)1035--1054
-
Mosser:2013:SAS, 78(8)1035--1054
-
Mosses, Peter D., 11(2)175--176, 47(1)3--36, 61(3)245--264, 97(z)2--10
-
Mosses, Peter D., see Brand, Mark van den,
see Doh, Kyung-Goo
-
Mosses:1988:BRB, 11(2)175--176
-
Mosses:2015:SPL, 97(z)2--10
-
Mossige, Morten, 216(z)z--99999999
-
Mossige, Morten, see Murray, Yvonne
-
most, 6(1)89--94, 29(1)53--78, 97(z)309--319
-
Mosteller, David, 157(z)56--70
-
Mosteller, David, see Cabac, Lawrence
-
Mota, Alexandre, 40(1)59--96, 75(5)350--373, 78(8)1137--1156,
95(z)275--297, 201(z)z--99999999
-
Mota, Alexandre, see Carvalho, Gustavo,
see Correia, Alexandre,
see Ramos, Rodrigo,
see Rebêlo, Henrique
-
Mota, João, 221(z)z--99999999, see Bacchiani, Lorenzo
-
Mota:2001:MCC, 40(1)59--96
-
Motif, 16(1)90--90, 16(1)91--92
-
motion, 39(1)3--29
-
Motta, Leonardo, 95(z)275--297
-
Motta, Leonardo, see Carvalho, Gustavo
-
MoULDyS, 230(z)z--99999999
-
Mounier, Laurent, 29(1)171--197
-
Mounier, Laurent, see Garavel, Hubert
-
Moura, Paulo, 134(z)75--99
-
Moura, Paulo, see Castro, Sergio
-
Mourad, Azzam, 59(1)38--63
-
Mourad, Azzam, see Debbabi, Mourad
-
Mouriño-García, Marcos, 129(z)72--91,
see Pérez-Rodríguez, Roberto
-
Mousavi, Mohammad, 205(z)z--99999999
-
Mousavi, Mohammad, see Massoni, Tiago
-
Mousavi, Mohammad Reza, 80(z)1--2, 89(z)1--1, 95(z)273--274,
123(z)42--60, 162(z)35--54, 168(z)171--185, 171(z)67--88,
212(z)z--99999999
-
Mousavi, Mohammad Reza, see Araujo, Hugo,
see Beohar, Harsh,
see Fragal, Vanderson Hafemann,
see Lucia, Andrea De,
see Varshosaz, Mahsa
-
Mousavi, MohammadReza, 77(7)889--907, 78(1)3--26
-
Mousavi, MohammadReza, see Aceto, Luca,
see Khakpour, Narges
-
Mousavi:2014:F, 89(z)1--1
-
Mousavi:2014:PSS, 80(z)1--2
-
Mousavi:2014:SSS, 95(z)273--274
-
movements, 198(z)z--99999999
-
Mover, Sergio, 98(z)464--483
-
Mover, Sergio, see Bozzano, Marco
-
Moving, 77(7)940--954
-
MPC, 78(11)2027--2028
-
MPI, 76(2)65--81, 78(4)412--421
-
MR, 2(1)85--85, 29(3)335--335
-
Mraihi, Olfa, 78(9)1212--1239
-
Mraihi:2013:IAI, 78(9)1212--1239
-
MT, 68(3)196--213
-
MTL, 225(z)z--99999999
-
mTOR, 232(z)z--99999999
-
Mu, 21(2)115--139
-
Mu, Kedian, 78(9)1572--1599
-
Mu, Shin-Cheng, 51(1)87--116, 95(z)147--148, 98(z)484--515
-
Mu, Shin-Cheng, see Albert, Elvira
-
Mu, Xiangyu, 231(z)z--99999999
-
mu-calculus, 46(3)255--281, 54(2)291--311
-
Mu:2004:TAI, 51(1)87--116
-
Mu:2013:MSI, 78(9)1572--1599
-
Mu:2015:ATD, 98(z)484--515
-
Mu:2024:MTC, 231(z)z--99999999
-
Muccini, Henry, 97(z)331--332, 97(z)381--382
-
Muccini, Henry, see Cortellessa, Vittorio
-
Muccini:2015:SIS, 97(z)381--382
-
Muchaluat-Saade, Débora C., 107(0)64--92,
see Santos, Joel dos
-
Mudiam, Sudhakiran V., 60(2)134--148
-
Mudiam:2006:SIL, 60(2)134--148
-
Mühlbauer, Tobias, 99(z)24--74, see Eckhardt, Jonas
-
Mühlberg, Jan Tobias, 82(z)77--97,
see Philippaerts, Pieter
-
Muldoon, Conor, 78(5)583--593
-
Muldoon:2013:DCO, 78(5)583--593
-
Müller, H. A., 36(2)183--207, see Storey, M.-A. D.
-
Müller, Hausi A., 75(4)247--263,
see Kienle, Holger M.
-
Muller, Jean-Michel, 90(z)1--1
-
Muller, Jean-Michel, see Gil, Amparo
-
Müller, Matthias M., 73(1)3--12,
see Christoph, Alexander
-
Müller, Peter, 62(3)253--286
-
Müller, Richard, 138(z)1--25
-
Müller, Sascha, 196(z)z--99999999
-
Muller:2006:MIL, 62(3)253--286
-
Muller:2017:DCB, 138(z)1--25
-
Muller:2020:SOF, 196(z)z--99999999
-
Multi, 172(z)203--231
-
multi-actor, 115(z)100--126
-
multi-agent, 57(2)187--216, 66(3)226--245, 75(6)398--425, 78(6)747--761,
78(6)762--774, 131(z)126--150, 148(z)66--87, 187(z)z--99999999,
224(z)z--99999999, 228(z)z--99999999
-
Multi-Bach, 202(z)z--99999999
-
multi-class, 78(4)364--387
-
multi-component, 177(z)41--66
-
multi-concept, 201(z)z--99999999
-
multi-core, 133(z)175--193, 172(z)102--116, 207(z)z--99999999
-
multi-database, 149(z)9--14
-
multi-device, 206(z)z--99999999
-
multi-level, 131(z)42--58
-
multi-methods, 75(7)638--667, 98(z)531--550
-
multi-model, 121(z)3--15
-
multi-objective, 226(z)z--99999999
-
Multi-paradigm, 57(2)217--250
-
multi-platform, 172(z)63--101
-
multi-stage, 62(1)85--94, 76(5)349--375
-
Multi-task, 207(z)z--99999999
-
multi-tenancy, 163(z)160--173
-
multi-threaded, 80(z)169--187
-
multi-view, 167(z)1--24
-
multiagent, 78(6)715--724
-
multicapabilities, 64(2)205--222
-
multicellular, 157(z)3--16
-
Multicomputer, 22(1)45--65
-
multicore, 77(6)727--740, 78(8)1176--1192, 111(z)505--534, 179(z)24--53
-
multidimensional, 132(z)29--49
-
Multifunctional, 75(12)1193--1214
-
multilevel, 15(2)217--233, 179(z)24--53
-
multilingual, 97(z)143--149
-
multimethods, 78(7)953--968
-
multimodal, 86(z)30--42
-
multiparty, 31(2)179--203, 98(z)293--316
-
multiple, 22(1)45--65, 26(1)59--78, 27(2)85--118, 31(2)231--261,
31(2)335--358, 33(3)261--298, 75(9)787--795, 76(7)555--586,
76(10)915--941, 85(z)137--165, 132(z)77--95, 139(z)1--35,
143(z)1--8, 163(z)42--61, 165(z)24--37
-
Multiple-Arcs, 12(1)75--81
-
multiplier, 15(2)201--215
-
Multipliers, 15(2)201--215
-
Multiplying, 22(1)107--135
-
multiprocessing, 8(1)87--103, 8(3)231--274, 13(1)1--21, 22(1)45--65,
25(1)1--39, 30(3)287--308
-
Multiprogramming, 10(1)65--85, 13(1)23--50, 29(3)327--334
-
multirate, 91(z)3--44, 103(z)13--50
-
multirelations, 65(2)140--158
-
multiset, 15(1)55--77, 31(2)263--289, 96(z)297--314
-
multistage, 169(z)18--32
-
multithreaded, 71(2)89--109, 80(z)223--263
-
München, 1(1)149--155, 3(3)223--278
-
Mundy, 14(1)103--105
-
Mungo, 155(z)52--75
-
Munich, 1(1)149--155
-
Munkby, Gustav, 76(4)278--289
-
Munkby:2011:AES, 76(4)278--289
-
Munnik, Daan van der, 233(z)z--99999999
-
Munnik, Daan van der, see Kurtev, Ivan
-
Muñoz, César, 77(10)1039--1057, 92(z)211--228,
see Narkawicz, Anthony,
see Rocha, Camilo
-
Muñoz, César A., 78(7)813--827,
see Goodloe, Alwyn E.
-
Muñoz, Edrisi, 121(z)3--15, see Mejia, Jezreel
-
Muñoz, Mirna, 121(z)3--15, see Mejia, Jezreel
-
Muñoz, Paula, 233(z)z--99999999
-
Muñoz-Avila, Héctor, 67(1)59--75,
see Ponsen, Marc
-
Munoz:2024:PSI, 233(z)z--99999999
-
Muon, 78(12)2435--2452
-
Murakami, Masaki, 57(1)61--72, 61(1)38--47
-
Murakami:2005:CCS, 57(1)61--72
-
Murakami:2006:FMC, 61(1)38--47
-
Muram, Faiz UL, 174(z)38--71
-
Muram:2019:SAC, 174(z)38--71
-
Murano, Aniello, 83(z)56--79
-
Murano, Aniello, see Aminof, Benjamin
-
Murphy, Gail, 163(z)138--138
-
Murphy, Gail, see Potanin, Alex
-
Murphy, Logan, 231(z)z--99999999
-
Murphy, Logan, see Di Sandro, Alessio
-
Murray, Yvonne, 216(z)z--99999999
-
Murray:2022:SAI, 216(z)z--99999999
-
Murta, Daniel, 110(z)51--77
-
Murta, Leonardo, 65(3)249--274
-
Murta:2007:OSI, 65(3)249--274
-
Murta:2015:SRA, 110(z)51--77
-
music, 132(z)143--172
-
Musicante, Martin A., 77(4)533--550, 215(z)z--99999999
-
Musicante, Martin A., see Costa, Umberto Souza da,
see Neto, João Batista de Souza
-
mutable, 54(1)3--23, 160(z)78--92, 191(z)z--99999999
-
mutant, 95(z)298--319
-
Mutating, 191(z)z--99999999
-
mutation, 78(4)343--344, 78(4)345--363, 78(4)364--387, 78(9)1639--1662,
97(z)383--404, 120(z)25--48, 163(z)85--92
-
Mutschler, Bela, 75(5)292--310
-
Mutschler, Bela, see Weber, Barbara
-
mutual, 5(3)265--276, 29(3)327--334, 76(7)542--554, 78(7)843--861,
102(z)57--75
-
MVL, 212(z)z--99999999
-
Mycroft, Alan, 64(1)166--183, 97(z)127--134
-
Mycroft, Alan, see Thompson, Sarah,
see Urma, Raoul-Gabriel
-
Myers, Chris, 118(z)24--39
-
Myers, Chris, see Zhang, Zhen
-
Myreen, Magnus O., 77(4)505--517
-
Myreen:2012:FE, 77(4)505--517
-
Myriad, 25(2)187--218
-
MyType, 78(7)933--952