Index file section M for actainfo.bib
Last update: Thu May 16 02:00:14 MDT 2024
Return to index directory
M
-
M, 6(3)317--318, 9(1)1--21
-
M-automata, 46(5)361--374
-
M-nets, 45(7)537--564
-
/M/1, 55(7)613--624
-
Maass, Wolfgang, 26(1)93--122
-
Maass, Wolfgang, see Sutner, Klaus
-
Machiavelo, António, 58(4)357--375,
see Konstantinidis, Stavros
-
machine, 1(2)115--138, 2(z)162--171, 3(2)171--186, 3(2)187--202,
7(1)95--107, 8(2)177--192, 8(3)267--283, 10(3)229--243,
12(2)177--185, 18(2)135--147, 19(4)385--395, 21(4)339--374,
22(6)663--678, 26(4)381--407, 26(7)679--696, 29(4)375--382,
29(5)425--441, 29(6)499--522, 30(3)267--278, 31(6)503--512,
35(4)269--292, 35(9)795--811, 36(4)287--293, 36(9)673--692,
37(10)727--742, 40(2)81--94, 40(5)367--383, 41(6)315--340,
46(5)375--401, 49(6)361--379, 53(5)469--492, 53(5)509--543,
58(4)377--396, 60(2)101--122
-
machine, single-, 40(4)303--315
-
macro, 11(3)259--285, 39(9)613--698
-
MacVeigh, S. J., Donal T., 7(4)361--394
-
MacVeigh:1977:EDR, 7(4)361--394
-
made, 7(1)35--60
-
Madelaine, Eric, 57(3)627--656
-
Madelaine, Eric, see Qin, Xudong
-
Madhu, Mutyam, 38(10)721--734
-
Madhu:2002:GNF, 38(10)721--734
-
Madlener, Klaus, 9(2)87--104, 9(2)183--193, 24(4)395--415,
28(4)311--350
-
Madlener, Klaus, see Avenhaus, Jürgen
-
Madsen, J{\o}rgen, Steensgaard-, 12(1)73--94
-
Madsen, Ole Lehrmann, 7(1)61--73
-
Madsen:1976:LPE, 7(1)61--73
-
Maggiolo-Schettini, Andrea, 29(6)623--643, 29(8)737--760,
33(6)523--546, 33(8)707--737, 34(5)367--388, 47(5)279--311
-
Maggiolo-Schettini, Andrea, see Fachini, E.,
see Lanotte, Ruggero
-
Maggiolo-Schettini:1996:KLP, 33(6)523--546
-
Magnani, Matteo, 45(2)93--130
-
Magnani:2008:MIP, 45(2)93--130
-
Mahalingam, Kalpana, 44(3)153--166
-
Mahalingam, Kalpana, see Kari, Lila
-
Mahmoud, Hosam, 36(9)735--760, 41(2)99--110, 43(3)147--164,
43(4)243--264, 61(1)53--66
-
Mahmoud, Hosam, see Aguech, Rafik,
see Arora, Amrinder, \see{Gao, Shuyang
-
Mahmoud, Hosam M., 23(1)111--117, 38(11)813--838, 41(1)1--18,
41(1)63--63
-
Mahmoud:1986:AIP, 23(1)111--117
-
Mahmoud:2000:AVB, 36(9)735--760
-
Mahmoud:2002:SRB, 38(11)813--838, 41(1)63--63
-
Mahmoud:2004:ESR, 38(11)813--838, 41(1)63--63
-
Mahmoud:2004:LLT, 41(2)99--110
-
Mahmoud:2004:RSI, 41(1)1--18
-
Mailloux, B. J., 5(1)1--236
-
Mailloux, B. J., see Wijngaarden, Adriaan van
-
main, 6(1)41--60, 8(2)153--175, 8(3)267--283, 9(4)355--376,
27(3)195--215, 60(3)317--329
-
maintainable, Constant-time-, 25(5)475--496
-
maintaining, 20(4)345--369, 21(1)101--112, 27(5)423--452, 27(5)453--480,
41(2)65--81
-
Maintenance, 1(3)173--189, 1(4)290--306, 29(4)375--382
-
Maio, Simone, Di Nardo Di, 55(6)521--545
-
Majster, Mila E., 8(1)37--59
-
Majster-Cederbaum, Mila, 39(8)531--577, 42(6)389--418
-
Majster-Cederbaum, Mila E., 31(1)81--104, 34(9)701--735
-
Majster-Cederbaum, Mila E., see Baier, Christel
-
Majster-Cederbaum:2003:TAR, 39(8)531--577
-
Majster-Cederbaum:2006:RAR, 42(6)389--418
-
Majster:1977:EDG, 8(1)37--59
-
Majumdar, Rupak, 54(2)191--215, 54(2)217--242, 54(8)729--764,
55(2)153--189
-
Majumdar, Rupak, see Chistikov, Dmitry,
see Dimitrova, Rayna,
see Esparza, Javier,
see Soudjani, Sadegh Esmaeil Zadeh
-
Majzik, István, 59(1)1--35, see Tóth, Tamás
-
makes, 21(3)239--250, 59(6)709--724
-
Mäkinen, Erkki, 37(6)449--465, 38(4)235--259,
see Tiplea, Ferucio Laurentiu
-
Makinen:2002:MAT, 38(4)235--259
-
Makowsky, Johann A., 23(3)231--244
-
Makowsky:1986:EPD, 23(3)231--244
-
Malcher, Andreas, 45(3)177--191, 49(4)225--248, 51(8)553--569,
58(4)241--242, 59(1)163--181
-
Malcher, Andreas, see Choffrut, Christian,
see Fernau, Henning, \see{Kutrib, Martin
-
Maletti, Andreas, 46(8)561--590, 48(3)165--189
-
Maletti, Andreas, see Drewes, Frank,
see Engelfriet, Joost
-
Malik, Kavindra, 33(3)255--275
-
Malik, Kavindra, see Kumar, Akhil
-
Malton, Andrew J., 23(5)487--505, 25(1)1--14, 26(3)285--285
-
Malton, Andrew J., see Hehner, Eric C. R.
-
Management, 3(4)321--345, 10(1)85--94, 11(4)305--340, 12(4)321--338,
21(1)1--28, 26(1)25--57, 28(1)43--81, 45(2)93--130
-
Managing, 52(1)1--2
-
Mandal, Chittaranjan, 56(4)321--383, 59(6)725--759
-
Mandal, Chittaranjan, see Bandyopadhyay, Soumyadip
-
Mandrali, Eleni, 51(2)61--106
-
Mandrali:2014:WFO, 51(2)61--106
-
Manea, Florin, 47(2)133--146, 50(1)41--75
-
Manea, Florin, see Dassow, Jürgen,
see Loos, Remco
-
Maneth, Sebastian, 39(9)613--698, 58(1)95--152
-
Maneth, Sebastian, see Engelfriet, Joost
-
manifest, 27(6)505--517
-
manipulating, 53(4)357--385
-
Manna, Zohar, 3(3)243--263, 5(4)333--352, 16(4)371--426, 20(3)207--226,
30(7)609--678, 36(11)837--912
-
Manna, Zohar, see Ben-Ari, Mordechai,
see Katz, Shmuel M., \see{Kesten, Yonit
-
Manna:1974:AAT, 3(3)243--263
-
Manna:1981:PFP, 16(4)371--426
-
Manna:1993:MR, 30(7)609--678
-
Mannila, Heikki, 20(2)143--158, 34(2)109--133, 36(4)267--286
-
Mannila, Heikki, see Eiter, Thomas,
see Khardon, Roni
-
Mannila:1983:RMO, 20(2)143--158
-
Mäntylä, Martti, 21(5)501--519,
see Hertel, Stefan
-
many, 8(1)75--96, 26(4)349--362, 28(2)121--163, 28(7)681--692,
50(5)297--329, 60(3)317--329
-
many-sorted, 14(2)135--155, 25(6)625--661
-
Manyem, 15(2)141--145
-
Mao, Yaping, 61(2)183--198
-
Mao, Yaping, see Yang, Gang
-
Maon, Yael, 23(5)585--596
-
Maon:1986:EST, 23(5)585--596
-
Maoz, Shahar, 57(1)37--79
-
Maoz, Shahar, see Firman, Elizabeth
-
map, 8(2)113--123, 31(2)137--160
-
mapping, 33(2)131--152, 47(2)77--110, 59(6)709--724
-
Marcus, Leo, 29(6)645--662
-
Marcus:1992:EOE, 29(6)645--662
-
Marin, A., 54(5)447--485
-
Marin, Andrea, 59(2)211--244
-
Marin:2017:RBM, 54(5)447--485
-
Marin:2022:PLP, 59(2)211--244
-
Mark, 28(6)603--605
-
Markey, Nicolas, 40(6)431--458, 55(2)91--127
-
Markey, Nicolas, see Bouyer, Patricia
-
Markey:2004:PFC, 40(6)431--458
-
Marking, 11(3)211--221, 11(3)223--232
-
Markov, 13(1)21--37, 29(6)579--594, 37(11)881--919, 48(5)291--315,
54(5)447--485, 54(6)545--587, 55(7)613--624, 58(6)653--674
-
Markovian, 48(4)243--269
-
Markowsky, George, 15(2)141--145, 16(3)363--370, 20(1)103--111
-
Markowsky, George, see Chandra, Ashok K.,
see Kou, L.
-
Markowsky:1981:BHT, 16(3)363--370
-
Marktoberdorf, 39(3)141--142
-
Marlowe, Thomas J., 28(2)121--163
-
Marlowe:1990:PDF, 28(2)121--163
-
Maróti, György, 48(7)397--408,
see Dömösi, Pál
-
Marque-Pucheu, G., 20(3)249--260
-
Marque-Pucheu:1983:RST, 20(3)249--260
-
Marriott, Kim, 30(2)103--129
-
Marriott:1993:FAI, 30(2)103--129
-
Martens, Wim, 55(1)17--56
-
Martens, Wim, see Björklund, Henrik
-
Martin, 23(4)357--360, 58(4)241--242
-
Martin, Alain J., 16(2)219--235, 20(4)301--313
-
Martin, Barnaby, 49(6)381--394
-
Martin, Barnaby, see Golovach, Petr A.
-
Martin, Ursula, 28(2)95--119
-
Martin, Ursula, see Dick, Jeremy
-
Martín-Vide, Carlos, 38(2)117--129, 38(10)695--720, 39(6)517--529,
41(4)257--272, 43(5)331--339, see Alhazov, Artiom,
see Bottoni, Paolo,
see Castellanos, Juan,
see Csuhaj-Varjú, Erzsébet,
see Ito, Masami
-
Martin:1981:ADS, 16(2)219--235
-
Martin:1983:GPR, 20(4)301--313
-
Martinez, Matias, 60(3)209--255
-
Martinez, Matias, see Khaireddine, Besma
-
Martinez, Michel, 17(1)101--120
-
Martinez:1982:PBP, 17(1)101--120
-
Masalagiu, Cristian, 35(2)167--179
-
Masalagiu, Cristian, see Andrei, {\c{S}}tefan
-
Maschinen, 3(2)171--186
-
Massaro, Vittorio, 57(3)329--351
-
Massaro, Vittorio, see Gazda, Maciej
-
Massarotti, A., 14(3)257--269
-
MAT, 48(3)165--189
-
match, 59(6)709--724
-
matching, 8(2)125--144, 15(4)329--346, 20(3)227--248, 24(2)157--171,
27(2)179--191, 32(8)779--792, 59(6)709--724
-
Mateescu, Alexandru, 30(5)441--457
-
Mateescu, Radu, 52(4)337--392
-
Mateescu, Radu, see Garavel, Hubert
-
Mateescu:1993:SPS, 30(5)441--457
-
Mateo, 9(1)1--21
-
Mateus, Paulo, 48(5)271--290, 61(2)131--159
-
Mateus, Paulo, see Li, Hao, \see{Qiu, Daowen
-
Matheja, Christoph, 56(3)255--285
-
Matheja, Christoph, see Kaminski, Benjamin Lucien
-
mathematical, 2(4)293--309, 5(4)297--332, 6(2)187--209, 6(3)227--249,
7(1)35--60, 8(2)125--144, 8(3)221--242, 13(1)1--8, 21(2)125--169,
26(5)421--438, 29(3)281--302
-
MATHEMATICS, 21(4)393--407
-
mathematics, 21(2)193--207
-
Mathew, Anup Basil, 55(8)669--701
-
Mathew, Anup Basil, see Berwanger, Dietmar
-
matrix, 7(4)361--394, 11(1)61--70, 29(3)281--302, 31(3)285--299,
31(8)719--728, 33(6)559--569, 44(3)191--205, 56(6)521--535
-
Matsumoto, Aki, 33(2)99--130
-
Matsumoto:1996:AAP, 33(2)99--130
-
matter, 37(2)83--120, 49(7)485--491
-
Matthews, P. A., 23(4)357--360, 26(5)409--419
-
Matthews, P. A., see Bijlsma, A.
-
Mauney, Jon, 29(2)109--120
-
Mauney, Jon, see Fischer, Charles N.
-
Maurer, Hermann A., 6(4)397--402, 8(1)75--96, 9(4)345--353,
13(1)87--107, 13(2)155--168, 13(4)365--378
-
Maurer, Hermann A., see Bentley, Jon Louis,
see Hule, H.
-
Maurer:1976:GFT, 6(4)397--402
-
Maurer:1977:EF, 8(1)75--96
-
Maurer:1980:GGC, 13(1)87--107
-
Maurer:1980:RBR, 13(4)365--378
-
Max, Min-, 40(9)657--674
-
max, min-, 30(3)215--231
-
Max-Entropy, 12(1)63--72
-
maximal, 14(3)221--242, 23(3)267--288, 30(5)425--439, 36(4)257--266,
54(7)655--692
-
maximization, 17(1)43--61
-
maximize, 8(4)325--334
-
Maximizing, 9(3)263--271
-
maximum, 15(4)329--346, 19(4)339--355, 23(5)545--565, 26(3)241--267,
26(5)501--501, 26(8)787--787, 27(3)247--286, 28(8)801--815,
32(8)779--792, 46(4)285--295, 57(1)107--135
-
Maxson, Carlton J., 10(2)203--208
-
Maxson:1978:LRS, 10(2)203--208
-
may, 7(2)137--152, 8(1)61--73, 8(2)153--175, 8(2)177--192, 8(3)201--220,
8(4)325--334, 9(1)1--21, 17(3)245--265, 18(4)377--392,
21(4)375--391
-
Mayer, Marta Cialdea, 53(6)649--680
-
Mayer, Otto, 29(4)335--373
-
Mayer, Otto, see Ouksel, M. Aris
-
Mayer:2016:PEF, 53(6)649--680
-
Mayr, Ernst W., 15(3)309--318
-
Mayr:1981:PVR, 15(3)309--318
-
Mazhar, Rabia, 58(6)611--651
-
Mazhar:2021:DEA, 58(6)611--651
-
MB, 27(3)195--215
-
McColl, William F., 11(1)71--77
-
McColl:1978:CHB, 11(1)71--77
-
McCreight, Edward M., 1(3)173--189
-
McCreight, Edward M., see Bayer, Rudolf
-
McIver, A. K., 37(4)329--354
-
McIver, Annabelle, 35(2)91--129, 35(11)921--949
-
McIver:2001:DAU, 37(4)329--354
-
McKellar, A. C., 1(z)311--319
-
McKellar:1972:BAS, 1(z)311--319
-
McLeish, E., 45(4)237--277
-
McLeish, E., see Broutin, N.
-
McNaughton, 31(4)379--397
-
McNickle, D. C., 19(4)339--355
-
Mealy, 13(3)269--285
-
mean, 5(4)297--332, 6(1)1--14, 7(2)183--195, 8(1)21--36, 8(1)37--59,
8(3)285--302, 8(4)359--370, 12(2)159--175, 15(3)251--263,
24(5)513--524, 55(8)627--647
-
mean-payoff, 54(6)545--587
-
mean-time, 34(7)543--556
-
meaning, 2(4)335--355, 26(7)615--642, 37(1)1--19
-
measure, 9(2)73--86, 19(4)325--338, 21(3)271--291, 21(6)541--557,
29(3)281--302, 34(2)109--133, 38(5)307--324
-
Measuring, 58(6)653--674
-
Mecca, Giansalvatore, 36(7)511--544
-
Mecca, Giansalvatore, see Bonner, Anthony J.
-
Mechanical, 7(3)319--323, 27(2)97--124
-
mechanically, 6(1)41--60
-
mechanism, 8(2)97--112, 8(3)201--220, 10(3)209--228, 24(1)57--77,
29(8)689--736, 38(1)1--44
-
Meckel, Katja, 58(4)335--356
-
Meckel, Katja, see Jakobi, Sebastian
-
median, 2(z)283--291
-
Medi{\'c}, Doriana, 58(1)1--34, see Lanese, Ivan
-
\medskip, 34(10)737--772
-
Meduna, A., 39(5)307--314
-
Meduna, Alexander, 27(8)781--786, 32(3)285--298, 33(5)457--462,
39(9)699--699, 42(8)541--552, 45(7)593--608, 48(3)149--163,
49(2)55--68, 51(5)327--337
-
Meduna:1990:CFD, 27(8)781--786
-
Meduna:1995:SCS, 32(3)285--298
-
Meduna:1996:SCC, 33(5)457--462
-
Meduna:2003:CES, 39(5)307--314
-
Meduna:2003:ECE, 39(9)699--699
-
Meduna:2006:DPA, 42(8)541--552
-
Meduna:2008:SCG, 45(7)593--608
-
Meduna:2011:OSR, 48(3)149--163
-
Meduna:2012:NCO, 49(2)55--68
-
Meduna:2014:CFA, 51(5)327--337
-
Meersman, Robert, 10(4)323--339
-
Meersman:1978:TLM, 10(4)323--339
-
Meertens, L. G. L. T., 5(1)1--236
-
Meertens, L. G. L. T., see Wijngaarden, Adriaan van
-
meet, 30(8)773--785, 55(2)129--152
-
Meggendorfer, Tobias, 59(5)585--618
-
Meggendorfer, Tobias, see Kretínský, Jan
-
Meghini, Carlo, 22(2)125--138
-
Meghini:1985:QFR, 22(2)125--138
-
Mehlhorn, Kurt, 5(4)287--295, 8(2)193--199, 12(4)371--375,
17(2)157--184, 21(4)339--374, 21(5)501--519, 23(2)163--176
-
Mehlhorn, Kurt, see Becker, M.,
see Deussen, Peter, \see{Hertel, Stefan,
see Huddleston, Scott
-
Mehlhorn:1975:NOB, 5(4)287--295
-
Mehlhorn:1979:SRB, 12(4)371--375
-
Mehlhorn:1984:RDS, 21(4)339--374
-
Meier, Arne, 56(6)487--519
-
Meier, Arne, see Krebs, Andreas
-
Meinicke, Larissa, 45(5)321--382
-
Meinicke:2008:ARP, 45(5)321--382
-
Meinke, K., 38(1)45--88
-
Meinke, Karl, 31(4)329--340
-
Meinke:1994:RSO, 31(4)329--340
-
Meinke:2001:CDS, 38(1)45--88
-
Me{\u{\i}}tus, V. Yu, 11(2)149--168
-
Melichar, Borivoj, 37(9)633--651, 44(1)1--21, 44(1)73--73
-
Melichar, Borivoj, see Aycock, John,
see Vagner, Ladislav
-
Melichar, Bo{\v{r}}ivoj, 46(7)533--547,
see Janou{\v{s}}ek, Jan
-
Melissinos, Nikolaos, 61(2)101--113
-
Melissinos, Nikolaos, see Alonistiotis, Giannis
-
Mellado, Ernesto, López-, 61(1)1--21
-
Mellin, 31(7)673--696, 43(4)243--264
-
membership, 58(4)357--375, 60(4)361--384
-
membrane, 38(10)695--720, 41(2)111--144, 43(2)131--145, 48(7)409--415
-
Memmi, G., 19(3)195--220
-
Memo-Table, 28(1)43--81
-
Mémoire, 3(4)321--345
-
memorandum, 16(4)427--464, 19(2)115--150, 24(3)299--352
-
memoriam, 27(3)193--194
-
memories, 1(1)1--13, 21(4)339--374
-
memory, 3(1)1--23, 3(4)321--345, 4(1)11--47, 6(1)61--75, 6(4)365--386,
8(4)341--357, 8(4)359--370, 14(2)107--117, 15(1)3--17,
20(4)345--369, 25(2)203--231, 26(7)597--614, 27(3)195--215,
27(5)423--452, 27(5)453--480, 30(2)131--146, 33(1)1--20,
36(6)447--462, 59(5)521--556
-
Memory, Shared-, 21(6)599--627
-
Menas, Telis, 29(6)645--662
-
Menas, Telis, see Marcus, Leo
-
Mendívil, José Ramón González de, 46(4)297--330,
see Armendáriz-Iñigo, José Enrique
-
Mendler, Michael, 52(4)393--442
-
Mendler, Michael, see Aguado, Joaquín
-
Menzel, W., 2(z)357--381
-
Menzel:1973:ETL, 2(z)357--381
-
Meo, Maria Chiara, 55(6)521--545
-
Meo, Maria Chiara, see Amato, Gianluca
-
Mercas, Robert, 49(1)53--54
-
Mercas, Robert, see Blanchet-Sadri, F.
-
Merca{\c{s}}, Robert, 48(1)25--41, see Blanchet-Sadri, F.
-
Mereghetti, Carlo, 49(4)225--248
-
Mereghetti, Carlo, see Choffrut, Christian
-
mereley, 5(4)297--332
-
merge, 3(1)25--35, 22(2)171--186, 26(5)421--438, 30(3)215--231
-
Merge-Tree, 33(4)351--385
-
mergeable, 13(1)53--58, 30(3)215--231
-
Merged, 43(5)307--330
-
mergesort, 31(7)673--696, 35(9)775--793, 35(11)911--919
-
merging, 1(z)145--158, 22(2)171--186, 23(6)607--619, 27(3)195--215,
30(3)215--231
-
Merlin-Randell, 23(4)429--463
-
Merritt, Susan M., 18(1)1--15
-
Merritt, Susan M., see Dewar, Robert B. K.
-
Merro, Massimo, 44(6)377--425, 47(2)111--132
-
Merro, Massimo, see Fuzzati, Rachele
-
Merro:2010:OTC, 47(2)111--132
-
Merzenich, W., 22(6)663--678
-
Merzenich, W., see Reusch, Bernd
-
Merzenich, Wolfgang, 11(2)149--168
-
Merzenich:1979:BOT, 11(2)149--168
-
Mescheder, Bernhard, 13(4)383--408
-
Mescheder:1980:NAO, 13(4)383--408
-
Meseguer, José, 33(7)641--667, see Degano, Pierpaolo
-
Mesh-Connected, 24(2)121--130, 26(7)643--655
-
meshes, 35(7)543--566
-
message, 32(4)375--393, 33(2)153--176, 40(1)1--1, 40(1)z--z,
54(5)501--520, 60(2)145--178
-
message-based, 60(2)145--178
-
Messerschmidt, Hartmut, 47(7)391--412
-
Messerschmidt, Hartmut, see Kutrib, Martin
-
Mestel, David, 57(3)403--438
-
Mestel:2020:TBM, 57(3)403--438
-
Meta-Controlled, 10(4)323--339
-
meta-theory, 44(2)91--121
-
Metalanguage, 6(2)109--131
-
Metalgorithm, 5(4)273--285
-
Metatheorems, 26(7)657--677
-
method, 2(4)335--355, 4(1)11--47, 6(1)41--60, 6(1)61--75, 6(1)95--108,
6(3)227--249, 7(2)123--136, 7(2)167--182, 7(3)249--268, 8(1)21--36,
8(2)97--112, 8(4)383--384, 9(2)133--157, 10(3)245--264,
10(3)265--272, 12(4)339--369, 12(4)377--400, 13(2)115--139,
14(2)107--117, 15(1)83--98, 18(3)319--334, 20(4)345--369,
21(6)541--557, 24(1)1--31, 26(3)193--211, 26(3)279--284,
26(4)349--362, 26(5)439--471, 26(7)597--614, 30(2)147--180,
32(2)93--115, 41(7)475--524, 43(4)243--264, 43(7)451--476,
48(1)51--66, 58(1)57--93
-
methodological, 29(8)689--736
-
methodology, 23(5)487--505, 24(1)57--77, 26(3)285--285
-
Metivier, Yves, 30(1)89--101, 31(4)379--397, 35(7)567--593
-
metric, 24(5)491--511, 34(9)701--735, 37(10)765--780, 53(2)171--206,
53(3)301--324, 53(6)621--648
-
Meyer auf der Heide, Friedhelm, 19(3)269--296, 19(4)385--395,
33(7)621--630
-
Meyer auf der Heide, Friedhelm, see Ameur, Foued,
see Klein, Peter
-
Meyer, Antoine, 43(4)265--292
-
Meyer, Antoine, see Carayol, Arnaud
-
Meyer, J.-J. Ch, 24(5)491--511, 25(2)111--153, 27(5)381--397,
32(4)375--393
-
Meyer, J.-J. Ch., see de Bakker, J. W.
-
Meyer, Philipp J., 57(1)3--36
-
Meyer, Philipp J., see Luttenberger, Michael
-
Meyer, Roland, 46(2)87--137
-
Meyer:1990:HSS, 27(5)381--397
-
Meyer:2009:TSS, 46(2)87--137
-
MeyeraufderHeide:1983:EUP, 19(3)269--296
-
Mezník, I., 29(8)761--778
-
Mezzetti, Gianluca, 54(4)399--433
-
Mezzetti, Gianluca, see Degano, Pierpaolo
-
Mezzina, Claudio Antares, 58(1)1--34
-
Mezzina, Claudio Antares, see Lanese, Ivan
-
M/G/1, 17(1)43--61, 19(4)339--355, 31(6)559--571
-
Michalak, Marcin, 59(6)673--685
-
Michalak:2022:HHB, 59(6)673--685
-
Micheli, Andrea, 53(6)681--722
-
Micheli, Andrea, see Cimatti, Alessandro
-
microprocessors, 33(5)421--456
-
Middelburg, C. A., 44(7)525--569, 46(5)375--401, 49(3)139--172
-
Middelburg, C. A., see Bergstra, J. A.
-
Middelburg, C. A. (Kees), 31(5)399--430,
see Jones, Cliff B.
-
Middeldorp, Aart, 36(12)1007--1029
-
Middeldorp:2000:TIE, 36(12)1007--1029
-
Mignot, Ludovic, 49(6)413--436
-
Mignot, Ludovic, see Caron, Pascal
-
Mihalache, V., z(z)z--z
-
Mihalache:19xx:GSR, z(z)z--z
-
Mikkelsen, Jesper W., 55(1)57--80
-
Mikkelsen, Jesper W., see Favrholdt, Lene M.
-
Miko{\l}ajczak, Boles{\l}aw, 28(1)83--94
-
Mikou, N., 12(4)321--338
-
Mikou:1979:AOP, 12(4)321--338
-
Mikulski, {\L}ukasz, 53(1)35--65, see Janicki, Ryszard
-
Milazzo, Paolo, 55(3)227--267
-
Milazzo, Paolo, see Barbuti, Roberto
-
Mili, Ali, 20(4)315--328, 22(1)47--66, 24(3)239--276, 60(3)209--255
-
Mili, Ali, see Khaireddine, Besma
-
Mili, Fatma, 24(3)239--276
-
Mili, Fatma, see Mili, Ali
-
Mili:1983:RAD, 20(4)315--328
-
Mili:1985:SIF, 22(1)47--66
-
Mili:1987:RHD, 24(3)239--276
-
Milner, Hennessy-, 57(3)671--687
-
Milner, Robin, 33(8)707--737
-
Milner:1996:CI, 33(8)707--737
-
Milton, Donn R., 13(2)141--154
-
Milton, Donn R., see Fischer, Charles N.
-
min-cost, 54(1)85--125
-
Min-Max, 40(9)657--674
-
min-max, 30(3)215--231
-
mincing, 26(4)381--407
-
Minh, Do Le, 18(3)319--334
-
minimal, 2(z)172--179, 4(4)321--336, 22(6)663--678, 34(1)59--84,
34(8)579--595, 36(9)721--734, 37(3)193--211, 57(3)657--670
-
minimale, 2(z)172--179
-
Minimally, 38(4)235--259
-
Minimalpolynome, 4(4)321--336
-
minimization, 17(1)43--61, 48(5)271--290, 58(3)177--194
-
minimize, 56(5)433--446
-
minimizing, 6(1)1--14, 24(5)513--524, 27(7)627--663, 30(5)489--502,
36(4)287--293
-
minimum, 15(4)447--470, 20(2)143--158, 31(4)301--313, 34(5)337--346,
36(5)405--424, 60(1)1--10
-
Minimum-Delay, 28(5)453--461
-
Mining, 53(6)547--585
-
Mirkowska, G., 25(4)439--473
-
Mirzaie, Nahal, 57(1)271--304
-
Mirzaie:2020:PSS, 57(1)271--304
-
misconceptions, 35(12)1007--1036
-
Mitchell, J. G., 10(1)1--26
-
Mitchell, J. G., see London, Ralph L.
-
Mitchell, William P. R., 25(5)497--514
-
Mitchell:1988:ICR, 25(5)497--514
-
Mitrana, Victor, 34(4)257--266, 36(11)913--926, 38(2)117--129,
39(6)517--529, 41(4)257--272, 47(2)133--146, 48(1)43--50
-
Mitrana, Victor, see Castellanos, Juan,
see Csuhaj-Varjú, Erzsébet,
see Ito, Masami, \see{Loos, Remco
-
Mitrana:1997:IBS, 34(4)257--266
-
Mitrana:2011:NBQ, 48(1)43--50
-
Mitrani, Isi, 8(1)61--73
-
Mitrani:1977:CPF, 8(1)61--73
-
mittlere, 2(z)283--291
-
mixed, 21(5)473--484, 23(4)465--486, 35(2)91--129
-
mixins, 42(2)143--190
-
Miyakawa, Masahiro, 22(5)475--498, 26(5)439--471
-
Miyakawa:1985:ODT, 22(5)475--498
-
Miyano, Satoru, 17(1)63--67, 34(4)257--266
-
Miyano:1982:HTM, 17(1)63--67
-
MIZAR, 22(3)311--331, 22(6)699--707
-
mj, 19(3)255--268
-
MM, 37(11)881--919
-
M/M/1, 47(1)67--75
-
mobile, 36(5)335--374, 41(2)65--81, 42(2)143--190, 42(4)227--290,
48(7)409--415
-
mobility, 54(4)435--445
-
modal, 32(4)375--393, 39(2)71--96, 50(7)359--380, 51(5)261--295,
52(1)61--106, 52(2)109--132, 52(2)269--297, 58(5)529--569
-
model, 1(1)26--34, 1(z)282--289, 3(2)101--122, 3(2)155--170, 4(1)11--47,
6(3)251--275, 6(4)365--386, 7(1)35--60, 7(2)111--121, 7(2)123--136,
7(2)137--152, 7(2)153--166, 8(2)113--123, 8(2)177--192,
8(3)221--242, 8(4)359--370, 9(4)331--343, 11(2)103--117,
12(4)285--303, 16(1)93--124, 17(1)43--61, 17(2)221--243,
18(1)47--64, 19(1)97--113, 20(2)159--170, 22(5)537--578,
22(6)595--627, 22(6)629--661, 23(3)255--266, 26(4)349--362,
26(5)421--438, 26(6)543--557, 26(7)615--642, 27(1)41--59,
27(2)157--177, 27(8)725--747, 28(2)121--163, 28(3)265--295,
28(6)539--558, 29(3)281--302, 29(6)523--543, 30(7)609--678,
31(5)431--477, 33(5)421--456, 33(7)607--619, 34(2)85--107,
34(3)211--216, 34(6)449--489, 35(8)645--664, 38(7)437--488,
38(11)813--838, 39(6)391--449, 41(1)1--18, 41(1)63--63,
43(7)477--500, 44(1)41--71, 45(1)43--78, 45(4)279--320, 46(1)1--28,
46(4)297--330, 47(1)33--66, 49(5)313--341, 50(2)123--156,
51(6)347--418, 51(7)449--471, 53(4)325--326, 53(5)459--468,
54(8)765--787, 54(8)789--818, 55(3)191--212, 56(4)321--383,
56(6)471--486, 56(6)487--519, 57(1)165--193, 57(3)403--438,
59(5)557--584, 59(6)725--759
-
Model, Rich-, 53(4)325--326
-
Model-checking, 54(7)625--654
-
model-theoretic, 8(3)243--266
-
Modeled, 6(2)187--209
-
modeling, 7(2)137--152, 7(2)167--182, 17(1)43--61, 26(4)349--362,
33(3)203--231, 34(12)927--963
-
Modell, 17(2)221--243
-
Modelling, 7(2)227--247, 34(5)367--388, 40(1)37--79, 45(6)441--465
-
Modes, 24(6)653--678
-
Modifiable, 17(2)135--141
-
modification, 8(1)21--36
-
Modifications, 25(2)155--178
-
modified, 8(4)359--370, 18(1)1--15
-
modular, 26(4)333--348, 29(6)523--543, 29(8)689--736, 32(8)705--778,
35(11)951--1005
-
Modularisation, 33(5)477--510
-
Modularity, 31(7)601--627, 35(4)293--327
-
modularization, 8(2)97--112
-
modulated, 37(11)881--919
-
module, 6(3)227--249, 8(2)97--112, 28(6)539--558, 31(7)601--627,
41(4)181--220
-
Moenck, Robert T., 6(2)153--169
-
Moenck:1976:APH, 6(2)153--169
-
Moffat, Alistair, 35(9)775--793
-
Moffat:1998:TBM, 35(9)775--793
-
Mohania, Mukesh, 44(3)207--247
-
Mohania, Mukesh, see Vincent, Millist W.
-
Moldagaliyev, Birzhan, 59(4)451--478
-
Moldagaliyev, Birzhan, see Jain, Sanjay
-
Molinari, Alberto, 53(6)587--619
-
Molinari:2016:CIP, 53(6)587--619
-
Moll, Karl-Rudolf R., 14(4)317--335
-
Moll:1980:LCP, 14(4)317--335
-
Möller, Bernhard, 22(5)537--578, 52(2)109--132,
see Dang, Han-Hing
-
M{\o}ller, Mikael H., 52(2)269--297, see Benes, Nikola
-
Moller:1985:ASI, 22(5)537--578
-
moment, 17(1)43--61
-
MOMI, 42(2)143--190
-
Monadic, 22(3)277--310
-
Möncke, Ulrich, 26(3)213--239, see Lipps, Peter
-
Monge, 33(6)559--569
-
Mongenet, Catherine, 31(2)137--160
-
Mongenet:1994:GTM, 31(2)137--160
-
Monica, Dario Della, 53(3)207--246
-
Monica, Dario Della, see Aceto, Luca
-
Monien, Burkhard, 6(1)95--108, 8(4)371--382, 8(4)383--384,
22(1)115--123
-
Monien:1976:TMT, 6(1)95--108, 8(4)383--384
-
Monien:1977:CTM, 6(1)95--108, 8(4)383--384
-
Monien:1977:LPD, 8(4)371--382
-
Monien:1985:RNA, 22(1)115--123
-
monitor, 6(3)227--249
-
monitoring, 28(4)365--407, 55(4)309--338
-
monitoring, Distance-edge-, 61(2)183--198
-
Monitors, 6(3)227--249
-
Monmege, Benjamin, 54(1)85--125
-
Monmege, Benjamin, see Brihaye, Thomas
-
Monniaux, David, 56(4)385--389
-
Monniaux:2019:DEP, 56(4)385--389
-
monoid, 7(4)399--413, 23(1)99--110, 27(8)781--786, 33(5)457--462,
34(3)217--230, 44(3)153--166
-
Monoïdes, 7(4)399--413
-
monotone, 7(3)305--317, 12(3)227--243, 13(2)109--114, 22(2)229--240,
22(4)433--449, 23(6)689--696, 35(5)421--440, 54(5)521--541,
56(7)585--617
-
monotone, Non-, 14(3)257--269
-
monotonic, 4(4)311--319, 54(6)545--587
-
Montanari, Angelo, 46(5)331--360, 53(3)207--246, 53(6)587--619,
53(6)621--648
-
Montanari, Angelo, see Aceto, Luca,
see Bresolin, Davide,
see Molinari, Alberto
-
Montanari, Ugo, 26(1)59--91, 32(6)545--596, 33(7)641--667, 52(1)5--33
-
Montanari, Ugo, see Bruni, Roberto,
see Degano, Pierpaolo
-
Montanari:1995:CN, 32(6)545--596
-
Montanari:2016:MPN, 53(6)621--648
-
Montangero, Carlo, 10(1)85--94, 32(5)415--458
-
Montangero, Carlo, see Chen, X. J.
-
Montangero:1978:IMC, 10(1)85--94
-
Monte, 23(6)697--705
-
Montesi, Danilo, 42(6)515--539, 45(2)93--130
-
Montesi, Danilo, see Magnani, Matteo,
see Trombetta, Alberto
-
Montesi, Fabrizio, 54(3)243--269
-
Montesi, Fabrizio, see Carbone, Marco
-
Monti, Angelo, 29(8)761--778
-
Monti, Angelo, see Fachini, E.
-
Moodie, Erica, 39(6)451--468
-
Moodie, Erica, see Currie, James D.
-
Moore, Daniel J., 15(3)193--207
-
Moore:1981:ADT, 15(3)193--207
-
Mor, Moshe, 20(4)371--389
-
Mor, Moshe, see Fraenkel, Aviezri S.
-
Moran, Shlomo, 33(1)1--20
-
Moran, Shlomo, see Taubenfeld, Gadi
-
Morávek, Jaroslav, 23(3)311--323,
see K{\v{r}}iv{\'a}nek, Mirko
-
more, 1(2)115--138, 4(3)231--243, 6(1)41--60, 8(2)177--192, 8(3)201--220,
8(4)335--340, 12(2)159--175, 21(3)239--250, 26(4)349--362,
59(6)709--724
-
Moreau, Luc, 37(8)563--595
-
Moreau:2001:CDR, 37(8)563--595
-
Moreover, 30(3)215--231
-
Morgan, 9(1)1--21
-
Morgan, C., 37(4)329--354
-
Morgan, C., see McIver, A. K.
-
Morgan, Carroll, 27(6)481--503, 57(3)305--311
-
Morgan, Carroll, see Höfner, Peter
-
Morgan:1990:DRC, 27(6)481--503
-
Morimoto, Shin-ichi, 37(9)671--697
-
Morimoto:2001:YAG, 37(9)671--697
-
Morita, Kenichi, 34(5)389--410, 38(11)847--858, 44(5)345--359,
58(4)377--396
-
Morita, Kenichi, see Iwamoto, Chuzo
-
Morita:1997:HUP, 34(5)389--410
-
Morita:2021:ISR, 58(4)377--396
-
Morito, Susumu, 13(4)379--382
-
Morito:1980:UBA, 13(4)379--382
-
Moriya, Etsuro, 30(3)267--278
-
Moriya, Etsuro, see Iwata, Shigeki
-
Morphemes, 1(z)360--374
-
Morphic, 32(5)477--489
-
morphism, 23(5)567--583, 23(5)585--596, 38(2)131--153
-
Morris, Joseph M., 26(4)287--308, 27(4)287--313, 37(8)541--561,
44(5)323--344, 45(6)441--465
-
Morris:1989:LDR, 26(4)287--308
-
Morris:1990:TPT, 27(4)287--313
-
Morris:2001:TB, 37(8)541--561
-
Morris:2007:DUN, 44(5)323--344
-
Morris:2008:MHO, 45(6)441--465
-
Morvan, Christophe, 41(4)293--314
-
Morvan:2005:FAC, 41(4)293--314
-
Morzenti, Angelo, 55(7)547--574, 58(3)195--229
-
Morzenti, Angelo, see Borsotti, Angelo
-
Moser, Hannes, 51(7)449--471
-
Moser, Hannes, see Sorge, Manuel
-
most, 8(1)1--20, 8(1)21--36, 36(5)405--424, 52(4)443--482
-
Mostéfaoui, Achour, 54(5)501--520
-
Mostefaoui:2017:SFA, 54(5)501--520
-
Motion, 26(1)93--122
-
Motzkin, 38(11)793--811, 42(8)603--616
-
Mousavi, Mohammad Reza, 47(1)33--66
-
Mousavi, Mohammad Reza, see Jaghoori, Mohammad Mahdi
-
Mousavi, MohammadReza, 47(3)147--177
-
Mousavi, MohammadReza, see Aceto, Luca
-
Movaghar, Ali, 47(1)33--66, 56(1)1--33
-
Movaghar, Ali, see Ebrahimi, Masoud,
see Jaghoori, Mohammad Mahdi
-
Movement, 25(2)155--178
-
movements, 22(2)171--186
-
moves, 57(3)465--512
-
Moving, 52(2)235--268
-
MR, 26(3)285--285
-
Mráz, Frantisek, 52(7)593--623, see Otto, Friedrich
-
Mráz, Franti{\v{s}}ek, 33(5)409--420,
see Jan{\v{c}}ar, Petr
-
MRE, 28(3)265--295
-
M(t)ash, 28(8)801--815
-
Muller, 31(4)379--397
-
Müller, Richard, 51(8)499--552, see Vogler, Walter
-
multi, 6(3)211--225, 46(8)561--590
-
multi-coloring, 50(5)343--357
-
Multi-Dimensional, 17(3)267--285
-
multi-dimensional, 51(3)129--163
-
multi-disk, 42(1)21--42
-
Multi-Granularity, 33(2)131--152
-
multi-head, 51(8)553--569
-
Multi-letter, 48(5)271--290
-
Multi-Level, 15(2)99--113
-
Multi-Queue, 7(2)217--226
-
Multi-queue, 20(2)113--120
-
Multi-relations, 29(1)33--62
-
multi-resolution, 57(1)245--269
-
multi-server, 37(11)881--919
-
multi-sets, 29(1)33--62
-
multi-threading, 44(7)525--569
-
Multi-tilde-bar, 49(6)413--436
-
multicast, 40(3)211--233, 51(1)51--60
-
Multiclass, 9(4)331--343, 31(7)629--650
-
Multiconnection, 20(2)197--206
-
multidimensional, 4(1)1--9, 9(2)23--29
-
multihead, 2(z)249--252, 8(2)177--192, 17(1)63--67, 19(4)377--384,
22(5)589--594
-
Multiparty, 54(3)243--269
-
Multipass, 4(1)77--85
-
multiple, 8(2)177--192, 12(2)159--175, 12(3)245--284, 21(3)239--250,
24(1)57--77, 26(3)241--267, 26(5)501--501, 26(8)787--787,
29(3)281--302, 32(5)415--458, 43(3)147--164, 53(1)1--22,
55(7)613--624, 58(4)451--462
-
Multiplication, 6(4)341--355, 7(4)395--398, 11(1)61--70, 28(7)693--701
-
multiplicity, 20(3)227--248, 24(4)433--445
-
Multiplier, VLSI-, 24(4)363--380
-
Multiplikation, 3(1)43--45, 7(4)395--398
-
Multiprocessing, 17(3)287--310, 26(7)597--614
-
multiprocessor, 10(1)95--104, 27(8)685--696, 34(12)881--904,
46(4)285--295
-
Multiprogrammed, 8(4)341--357
-
multiprogramming, 7(2)111--121, 7(2)197--216, 8(4)359--370
-
MultiSet, 61(2)161--181
-
Multisets, 31(4)301--313
-
Multitape, 27(2)179--191
-
Multitype, 7(2)111--121
-
multivalued, 10(3)297--305, 19(4)305--324, 26(7)615--642, 37(3)161--192,
45(7)565--591, 54(5)501--520
-
Multiversion, 29(2)121--160
-
Multiway, 14(2)119--133, 21(1)47--60, 26(3)193--211, 29(5)443--460
-
Multiwriter, 33(2)177--202
-
Munch-Andersen, Bo, 8(2)153--175
-
Munch-Andersen:1977:SAJ, 8(2)153--175
-
Mundhenk, Martin, 56(6)487--519
-
Mundhenk, Martin, see Krebs, Andreas
-
Muñoz-Esco, Francesc D., 46(4)297--330,
see Armendáriz-Iñigo, José Enrique
-
Munro, J. Ian, 18(1)17--30, 41(4)273--291, 59(6)687--708
-
Munro, J. Ian, see Brodal, Gerth St{\o}lting,
see Chrobak, Marek,
see Ramírez, Raúl J.
-
Muntz, Richard R., 7(1)35--60
-
Muntz, Richard R., see Gelenbe, Erol
-
Murano, Aniello, 53(6)587--619, 58(6)585--610
-
Murano, Aniello, see Gutierrez, Julian,
see Molinari, Alberto
-
Muraoka, Yoichi, 3(3)203--216
-
Muraoka, Yoichi, see Kuck, David J.
-
Murphy, David, 33(4)317--350
-
Murphy, David, see Aceto, Luca
-
Murtagh, Thomas P., 24(2)145--156
-
Murtagh:1987:RPN, 24(2)145--156
-
Muscholl, Anca, 31(4)379--397
-
Muscholl, Anca, see Diekert, Volker
-
must, 1(2)115--138
-
Musto, Daniela, 26(1)25--57
-
Musto, Daniela, see Bertino, Elisa
-
mutex, 46(3)209--235
-
mutual, 30(3)249--265, 46(1)73--86, 48(7)409--415, 50(3)199--228,
61(1)83--100
-
Mutually, 30(3)279--302