Last update: Thu Jun 29 02:46:09 MDT 2023
Return to index directory
M
-
Ma, Jie, 177(2)189--201
-
Ma, Jie, see Qi, Bin
-
Ma, Liang, 173(1)33--45
-
Ma, Liang, see Lin, Cheng-Kuan
-
Ma, Minghui, 179(3)239--274
-
Ma, Minghui, see Lin, Zhe
-
Machine, 177(2)157--179, 181(2)213--238
-
MacOS/iOS/FreeBSD, 185(4)285--311
-
Macyna, Wojciech, 173(1)47--72, 188(2)103--126
-
Macyna:2020:FAS, 173(1)47--72
-
Macyna:2022:AMP, 188(2)103--126
-
Magnetic, 172(2)105--128
-
Mahalingam, Kalpana, 172(4)327--341
-
Mahalingam, Kalpana, see Bera, Somnath
-
Mahmoudi, Mohammad Reza, 176(1)79--102
-
Mahmoudi, Mohammad Reza, see Zhao, Chenyue
-
Makowsky, Johann A., 186(1)155--173
-
Makowsky, Johann A., see Kotek, Tomer
-
Malcher, Andreas, 180(1)53--76, 185(4)337--356
-
Malcher, Andreas, see Kutrib, Martin
-
Malcher:2021:DQI, 180(1)53--76
-
Mancini, Toni, 174(3)229--258, 174(3)283--310
-
Mancini, Toni, see Chen, Qian Matteo,
see Sinisi, Stefano
-
Manolopoulos, Yannis, 172(3)i--ii
-
Manolopoulos, Yannis, see Badica, Costin
-
Manuel, Amaldev, 180(4)333--350
-
Manuel, Amaldev, see Gastin, Paul
-
many, Finitely-, 186(1)121--132
-
Many-sorted, 173(2)191--215
-
Many-valued, 173(2)177--189, 186(1)143--153
-
Manyà, Felip, 174(1)83--101
-
Manya:2020:STC, 174(1)83--101
-
Mapping, 175(1)123--141
-
Maratea, Marco, 174(3)i--iii
-
Maratea, Marco, see Eiter, Thomas
-
Marcolino, Leandro, 174(1)61--62
-
Marcolino, Leandro, see Andrejczuk, Ewa
-
Marcovici, Irène, 185(1)27--82, see Fatès, Nazim
-
Mari, Federico, 174(3)283--310
-
Mari, Federico, see Sinisi, Stefano
-
Marin, Andrea, 181(1)1--35
-
Marin, Andrea, see Hillston, Jane
-
Marrakchi, Sirine, 179(1)35--58
-
Marrakchi:2021:SSL, 179(1)35--58
-
Martin, Enrique, Martin-, 177(3)203--234
-
Martin-Martin, Enrique, 177(3)203--234
-
Martin-Martin, Enrique, see Albert, Elvira
-
Martínez, A. Cabrera, 185(3)201--220
-
Martínez, José A., 185(2)185--199,
see Garzón, Ester M.
-
Martinez:2022:PDR, 185(3)201--220
-
Maschio, Samuele, 176(1)61--78
-
Maschio:2020:TFC, 176(1)61--78
-
Massazza, Paolo, 180(3)251--273
-
Massazza:2021:DSA, 180(3)251--273
-
Matching, 182(3)257--283, 185(3)247--283, 186(1)155--173
-
Mateus, Paulo, 182(4)321--344
-
Mateus, Paulo, see Zhengwei, Xie
-
mathematician, 186(1)133--141
-
matrix, 172(4)327--341, 172(4)379--397, 174(2)137--165, 174(2)167--183,
179(4)385--397, 180(4)289--314, 181(4)313--337
-
Matroids, 179(4)399--416
-
Maugeri, Pietro, 181(1)37--69
-
Maugeri, Pietro, see Cantone, Domenico
-
Maximum, 172(2)105--128, 182(3)257--283
-
Means, 177(2)95--113
-
means++, 172(4)361--377
-
mechanism, 181(2)239--271
-
Meduna, Alexander, 179(4)361--384
-
Meduna, Alexander, see K{\v{r}}ivka, Zbyn{\v{e}}k
-
Meeting, 187(1)1--30
-
Melatti, Igor, 174(3)229--258
-
Melatti, Igor, see Chen, Qian Matteo
-
Membranes, 182(3)243--255
-
memoir, Micro-, 186(1)133--141
-
memory, 185(4)285--311, 188(1)41--61, 188(2)103--126
-
Menegaz, Gloria, 172(2)169--186
-
Menegaz:2020:CFB, 172(2)169--186
-
Mensah, Mawunyo Kofi, Darkey-, 184(4)297--306
-
Mereghetti, Carlo, 185(4)337--356
-
Mereghetti, Carlo, see Kutrib, Martin
-
Mereological, 172(1)73--95
-
Merging, 188(2)103--126
-
Meseguer, José, 173(4)315--382, 177(3)297--329,
see Alpuente, María,
see Skeirik, Stephen
-
Mesnard, Fred, 177(3)359--383
-
Mesnard:2020:SUC, 177(3)359--383
-
Message, 178(3)229--266
-
Meta-Search, 188(2)63--90
-
Metalogic, 181(1)71--98
-
method, 172(4)343--359, 174(1)43--59, 174(2)167--183, 176(2)167--181,
177(2)189--201, 181(4)339--371, 185(4)285--311
-
Metric, 174(2)185--199, 188(2)63--90
-
Micro-memoir, 186(1)133--141
-
Middelburg, C. A., 179(4)321--344
-
Middelburg, C. A., see Bergstra, J. A.
-
Mieg, Yann, Thierry-, 183(3)319--342
-
Mikala{\v{c}}ki, Mirjana, 185(1)83--97,
see Forcan, Jovana
-
Mikulski, {\L}ukasz, 183(1)67--96,
see Escrig, David de Frutos
-
Milani, Alfredo, 174(3)201--228
-
Milani, Alfredo, see Baioletti, Marco
-
Milazzo, Paolo, 179(2)205--225
-
Milazzo, Paolo, see Barbuti, Roberto
-
Milner, 173(2)217--251
-
MILP, 174(3)229--258
-
Minaei, Behrouz, 176(1)79--102
-
Minaei, Behrouz, see Zhao, Chenyue
-
Minimal, 174(2)167--183, 178(3)203--227, 181(2)99--127
-
Minimisation, 184(3)181--203
-
Minimization, 172(2)187--202
-
Minimum, 174(1)27--42, 182(3)301--319
-
Mining, 176(2)141--166, 176(2)167--181, 182(2)181--218
-
Mission, 174(3)229--258
-
Mitra, Sushmita, 176(2)139--140
-
Mitra, Sushmita, see Ghosh, Kuntal
-
Mitrovi{\'c}, Melanija, 184(3)233--271
-
Mitrovic:2021:TCS, 184(3)233--271
-
Mitterreiter, Matthias, 177(2)157--179
-
Mitterreiter, Matthias, see Laue, Sören
-
Moang{\u{a}}, Natalia, 173(2)191--215,
see Leu{\c{s}}tean, Ioana
-
Modal, 173(2)177--189, 173(2)191--215
-
model, 173(2)139--176, 175(1)123--141, 176(3)271--297, 177(1)69--93,
177(2)181--188, 178(4)347--378, 179(1)1--33, 179(2)183--203,
180(1)53--76, 182(1)1--29, 183(3)169--201, 183(3)293--317,
184(2)107--139, 184(3)205--231, 185(4)357--373, 187(2)103--138
-
Model-Checking, 178(1)1--30, 183(3)319--342
-
Modeled, Geometrically-, 184(3)205--231
-
Modulo, 177(3)297--329, 179(3)227--238
-
Mohades, Ali, 184(3)205--231
-
Mohades, Ali, see Keikha, Vahideh
-
Mohamadpoor, Majid, 176(1)79--102
-
Mohamadpoor, Majid, see Zhao, Chenyue
-
Monadic, 186(1)89--120
-
Monica, Dario, Della, 176(3)i--ii
-
Monica:2020:P, 176(3)i--ii
-
Montali, Marco, 178(4)i--ii, 182(1)1--29
-
Montali, Marco, see Felli, Paolo
-
Mood, 176(2)183--203
-
Morak, Michael, 177(3)275--296
-
Morak, Michael, see Bichler, Manuel
-
Moreno, Juan J., 185(2)185--199
-
Moreno, Juan J., see Garzón, Ester M.
-
morphism, 172(4)413--434, 185(1)1--25
-
Motion, 172(2)105--128, 175(1)187--199
-
Moumen, Hamouma, 173(1)73--89
-
Moumen, Hamouma, see Tioura, Abdelhamid
-
Mousavi, Mohammad Reza, 173(2)217--251
-
Mousavi, Mohammad Reza, see Caltais, Georgiana
-
Moves, 180(3)179--249
-
Mráz, Franti{\v{s}}ek, 180(1)v--vi,
see Hirvensalo, Mika
-
Mrozek, Ireneusz, 188(1)41--61
-
Mrozek:2022:UAS, 188(1)41--61
-
Mukhopadhyaya, Krishnendu, 187(1)1--30
-
Mukhopadhyaya, Krishnendu, see Bhagat, Subhash
-
Multi-agent, 175(1)59--95
-
Multi-Buffer, 178(1)77--99
-
Multi-level, 179(1)1--33
-
Multiagent, 174(1)61--62
-
Multicore, 179(1)35--58
-
Multicounter, 181(2)99--127
-
Multigranular, 176(1)17--41
-
Multilinear, 177(1)69--93
-
Multipartite, 178(3)187--202
-
Multiset, 184(2)141--180
-
Murano, Aniello, 176(3)i--ii
-
Murano, Aniello, see Della Monica, Dario
-
Music, 176(2)183--203