Last update: Sat Apr 13 02:05:55 MDT 2024
Return to index directory
N
-
N, 10(1)90--92, 12(2)157--158, 14(1)110--110, 16(2)204--205
-
N-state, 24(3)189--220
-
N.92, 24(3)287--287
-
N.S.W, 2(1)89--89
-
Nacif, José, 173(z)21--36, see Bessa, Tarsila
-
Nadas, Andras, 89(z)105--125
-
Nadas:2014:MIA, 89(z)105--125
-
Nadjm-Tehrani, Simin, 194(z)z--99999999, 208(z)z--99999999
-
Nadjm-Tehrani, Simin, see Saar de Moraes, Rodrigo,
see Törnblom, John
-
Nadkarni, Chaitanya, 74(11)989--1020
-
Nadkarni, Chaitanya, see Mili, Ali
-
Nagao, Takahiro, 155(z)76--102
-
Nagao:2018:RIC, 155(z)76--102
-
Nagaraj, Karthik, 78(2)147--167
-
Nagaraj, Karthik, see Sivaramakrishnan, K. C.
-
Nagpurkar, Priya, 59(1)64--81
-
Nagpurkar:2006:PBV, 59(1)64--81
-
Naive, 25(2)187--218
-
Nakajima, Shin, 78(12)2331--2346
-
Nakajima, Shin, see Ubayashi, Naoyasu
-
Nakano, Keisuke, 54(2)257--290, 215(z)z--99999999
-
Nakano, Keisuke, see Nishimura, Susumu
-
Nakano:2022:TST, 215(z)z--99999999
-
Naliuka, Katsiaryna, 74(1)2--12
-
Naliuka, Katsiaryna, see Aktug, Irem
-
name, 27(3)289--322, 223(z)z--99999999
-
named-entity, 130(z)24--36
-
naming, 3(1)101--114, 39(2)149--188
-
Namur, 31(1)3--45, 31(1)47--73, 31(1)91--112, 31(1)113--145,
31(1)147--173
-
nand, 8(1)105--112, 8(2)203--211
-
Nandagopal, Nanda, 97(z)202--234
-
Nandagopal, Nanda, see Cameron, Alexander
-
Naps, Thomas L., 88(z)22--40
-
Naps, Thomas L., see Fouh, Eric
-
Narain, Sanjai, 53(2)125--141
-
Narain, Sanjai, see Qie, Xiaohu
-
Nardi, 18(2)209--213
-
Nardini, Elena, 78(5)569--582
-
Nardini:2013:STC, 78(5)569--582
-
Nardone, R., 133(z)116--153
-
Nardone, R., see Benerecetti, M.
-
Narkawicz, Anthony, 77(10)1039--1057
-
Narkawicz:2012:PCC, 77(10)1039--1057
-
narrative-based, 67(1)76--90
-
narrowing, 112(z)24--57, 120(z)1--24, 235(z)z--99999999
-
NASA, 61(1)48--57
-
Nash, 228(z)z--99999999
-
Nassif, Ali Bou, 204(z)z--99999999, 219(z)z--99999999,
226(z)z--99999999
-
Nassif, Ali Bou, see Azzeh, Mohammad
-
Nat, M., van der, 7(1)23--33
-
NAT2TEST, 95(z)275--297
-
Native, 89(z)273--297
-
natively, 169(z)18--32
-
natural, 14(1)110--110, 14(1)110--112, 14(2)255--279, 20(1)113--140,
22(1)21--44, 32(1)49--72, 95(z)275--297, 96(z)121--140,
121(z)128--152, 150(z)31--55, 181(z)84--110, 189(z)z--99999999,
232(z)z--99999999
-
natural-language, 14(1)110--110, 181(z)111--139, 201(z)z--99999999
-
naturalistic, 166(z)89--119
-
Naumann, David A., 41(1)1--51
-
Naumann:2001:PTS, 41(1)1--51
-
Navabi, Armand, 77(6)707--726
-
Navabi:2012:DAS, 77(6)707--726
-
Navarre, David, 86(z)3--29
-
Navarre, David, see Barboni, Eric
-
Navarro, A., 71(1)1--16
-
Navarro, Ana-Marcela, Herrera-, 143(z)1--8
-
Navarro, Elena, 78(10)1930--1950
-
Navarro, Elena, see Catala, Alejandro
-
Navarro, Marcelo, 220(z)z--99999999
-
Navarro:2008:CNM, 71(1)1--16
-
Navarro:2022:SPP, 220(z)z--99999999
-
Navas, Juan F., 78(8)1073--1098
-
Navas:2013:RRT, 78(8)1073--1098
-
Navaux, Philippe O. A., 78(4)412--421
-
Navaux, Philippe O. A., see Rodrigues, Eduardo R.
-
Navet, Nicolas, 156(z)1--20
-
Navet, Nicolas, see Brau, Guillaume
-
navigation, 67(1)91--104, 71(1)1--16
-
NCL, 107(0)64--92
-
near, 28(0)91--299
-
Near-omniscient, 206(z)z--99999999
-
nearest-neighbor, 215(z)z--99999999
-
Necula, George C., 64(1)97--114
-
Necula, George C., see Gulwani, Sumit
-
Nederlof, Alex, 97(z)173--180
-
Nederlof, Alex, see Deursen, Arie van
-
need, 27(3)289--322, 36(1)65--96, 44(1)23--49
-
need, call-by-, 147(z)3--26
-
needed, 195(z)z--99999999
-
Neele, Thomas, 188(z)z--99999999
-
Neele:2020:FCP, 188(z)z--99999999
-
Neema, Sandeep, 73(1)26--38
-
Neema, Sandeep, see Karsai, Gabor
-
negation, 26(1)179--196
-
negative, 76(7)609--626, 198(z)z--99999999
-
negotiation, 31(2)179--203, 77(1)4--28, 95(z)3--25
-
neighbor, nearest-, 215(z)z--99999999
-
Neighborhood, 235(z)z--99999999
-
Nejati, Shiva, 160(z)30--47
-
Nejati, Shiva, see Behjati, Razieh
-
NeoEMF, 149(z)9--14
-
Neopost, 80(z)188--209
-
Neri, Davide, 166(z)194--213
-
Neri, Davide, see Brogi, Antonio
-
Nerson, Jean-Marc, 5(2)111--142
-
Nerson, Jean-Marc, see Meyer, Bertrand
-
nested, 9(3)221--262, 63(2)186--201, 76(3)204--224, 78(12)2381--2398,
152(z)38--62
-
net, 21(3)225--261, 23(0)107--311, 23(1)55--89, 23(2)151--195,
30(1)51--82, 38(1)143--146, 40(1)97--118, 41(3)195--240,
56(1)171--189, 77(3)290--313, 78(12)2414--2432, 94(z)93--108,
109(z)96--124, 112(z)75--101, 132(z)209--225, 151(z)48--60,
157(z)1--2, 157(z)3--16, 157(z)41--55, 157(z)56--70, 157(z)71--102,
181(z)1--26, 206(z)z--99999999
-
net-based, Petri-, 23(1)55--89
-
Netherlands, 15(1)98--98, 15(1)98--100
-
Netherlandsash, 24(1)97--99
-
Neto, João Batista de Souza, 215(z)z--99999999
-
Neto, Plácido A. Souza, 77(4)533--550,
see Costa, Umberto Souza da
-
Neto:2022:TLF, 215(z)z--99999999
-
network, 2(3)175--206, 4(1)1--15, 4(3)249--256, 5(1)1--36, 5(2)171--199,
6(1)1--9, 6(2)191--205, 7(1)1--22, 8(3)231--274, 9(2)179--205,
10(1)65--85, 11(1)65--86, 21(2)93--113, 22(1)45--65, 24(2)159--181,
26(1)99--115, 28(2)93--110, 29(1)3--22, 29(1)23--52, 29(1)123--146,
29(1)147--170, 29(1)171--197, 29(1)199--233, 29(1)235--258,
29(1)259--278, 30(1)201--226, 31(2)179--203, 31(2)359--381,
53(2)165--194, 53(2)195--214, 53(2)215--253, 56(1)191--210,
60(1)1--26, 64(2)187--204, 74(7)446--469, 75(6)440--469,
76(7)609--626, 77(6)663--684, 77(7)940--954, 78(2)168--194,
78(2)195--217, 78(5)583--593, 78(10)1951--1970, 80(z)25--49,
80(z)288--310, 81(z)53--78, 91(z)161--187, 115(z)79--99,
157(z)3--16, 180(z)18--35, 187(z)z--99999999, 228(z)z--99999999,
230(z)z--99999999, 233(z)z--99999999, 235(z)z--99999999
-
network, flow-, 93(z)19--38
-
Network-on-Chip, 118(z)24--39
-
Networked, 78(12)2453--2467
-
Netz, Lukas, 232(z)z--99999999
-
Netz, Lukas, see Buschhaus, Constantin
-
neural, 228(z)z--99999999, 235(z)z--99999999
-
neuron, 215(z)z--99999999
-
Nevalainen, Olli, 3(2)205--216
-
Nevalainen, Olli, see Katajainen, Jyrki
-
Neverov, Gregory, 62(1)85--94
-
Neverov:2006:EOO, 62(1)85--94
-
Neves, Renato, 126(z)73--93, 132(z)50--76
-
Neves, Renato, see Madeira, Alexandre
-
Neves:2016:PTH, 126(z)73--93
-
new, 5(3)318--320, 6(3)273--290, 9(3)271--286, 11(2)175--176,
11(2)191--195, 12(2)105--121, 12(2)170--172, 15(1)100--111,
15(1)111--112, 15(2)135--158, 16(1)97--100, 24(1)63--81,
24(2)183--185, 24(3)189--220, 29(3)303--326, 38(1)143--146,
46(3)219--254, 48(2)81--97, 56(1)1--4, 59(1)82--96, 73(1)39--58,
75(11)1095--1112, 76(10)837--860, 85(z)115--136, 97(z)366--380,
162(z)3--34, 175(z)17--34, 180(z)18--35, 195(z)z--99999999,
207(z)z--99999999, 228(z)z--99999999, 432(0)ix--435
-
new, age-, 18(2)207--209
-
Newar, Dip Kiran Pradhan, 227(z)z--99999999
-
Newar:2023:SFD, 227(z)z--99999999
-
newbies, 204(z)z--99999999
-
Newman, Christian, 213(z)z--99999999
-
Newman, Christian, see AlOmar, Eman Abdullah
-
news, 94(z)32--52
-
Newton, 30(1)83--118
-
NewWave, 203(z)z--99999999
-
next, 61(1)48--57, 184(z)z--99999999, 226(z)z--99999999
-
next-generation, 66(1)4--24, 78(6)684--694
-
nfer, 231(z)z--99999999
-
Ng, Pan-Wei, 101(z)66--78
-
Ng, Wee-Keong, 53(1)87--105
-
Ng, Wee-Keong, see Liu, Zehua
-
Ng:2015:ISE, 101(z)66--78
-
Nguyen, Hoang Nga, 96(z)315--336
-
Nguyen, Hoang Nga, see James, Phillip
-
Nguyen, Huu Hai, 77(9)1006--1036
-
Nguyen, Huu Hai, see Chin, Wei-Ngan
-
Nguyen, Kim, 217(z)z--99999999
-
Nguyen, Kim, see Castagna, Giuseppe
-
Nguyen, T., 30(1)227--250
-
Nguyen, Thang, 118(z)40--59
-
Nguyen, Viet-Ha, 193(z)z--99999999
-
Nguyen, Viet-Ha, see Tran, Hoang-Viet
-
Nguyen:1998:DAC, 30(1)227--250
-
Nguyen:2016:ABM, 118(z)40--59
-
NiCad, 79(z)158--171
-
Nicholson, Jon, 80(z)211--222
-
Nicholson:2014:AVD, 80(z)211--222
-
Nickovi{\'c}, Dejan, 118(z)40--59, see Nguyen, Thang
-
Nickson, Ray, 29(3)279--302
-
Nickson:1997:SCP, 29(3)279--302
-
Nicola, Rocco, De, 63(1)57--87, 64(2)187--204, 75(6)376--397,
168(z)71--93, 187(z)z--99999999, 192(z)z--99999999,
202(z)z--99999999, 223(z)z--99999999
-
Nicola:2018:AEE, 168(z)71--93
-
Nieke, Michael, 163(z)139--159
-
Nieke, Michael, see Mauro, Jacopo
-
Nielsen, Jacob, 18(2)218--221
-
Nielsen:1992:BRB, 18(2)218--221
-
Nielson, 24(2)186--187
-
Nielson, Flemming, 10(2)139--176, 22(3)327--354, 31(1)113--145,
47(2)145--175, 75(6)376--397, 78(9)1264--1277, 83(z)80--105
-
Nielson, Flemming, see De Nicola, Rocco,
see Lackner Solberg Gasser, Kirsten,
see Nielson, Hanne R.,
see Ramli, Carroline Dewi Puspa Kencana,
see Yang, Fan
-
Nielson, Hanne R., 10(2)139--176
-
Nielson, Hanne Riis, 9(2)107--136, 22(3)327--354, 31(1)113--145,
32(1)1--2, 47(2)145--175, 75(6)376--397, 78(9)1264--1277,
83(z)80--105
-
Nielson, Hanne Riis, see De Nicola, Rocco,
see Lackner Solberg Gasser, Kirsten,
see Nielson, Flemming,
see Ramli, Carroline Dewi Puspa Kencana,
see Yang, Fan
-
Nielson:1987:HLP, 9(2)107--136
-
Nielson:1988:ABT, 10(2)139--176
-
Nielson:1994:TPW, 22(3)327--354
-
Nielson:1998:F, 32(1)1--2
-
Nielson:2003:AIM, 47(2)145--175
-
Nierstrasz, Oscar, 79(z)204--223, 97(z)150--156, 161(z)57--88,
161(z)105--121, 161(z)122--148
-
Nierstrasz, Oscar, see Kurs, Jan,
see Leske, Max, \see{Lungu, Mircea,
see Milojkovi{\'c}, Nevena
-
Nierstrasz:2015:PAM, 97(z)150--156
-
Nieuwenhuisen, D., 67(1)91--104
-
Nieuwenhuisen:2007:HQN, 67(1)91--104
-
Nigam, Vivek, 155(z)27--51
-
Nigam, Vivek, see Benton, Nick
-
Nipkow, Tobias, 11(2)178--180, 12(2)123--149
-
Nipkow:1988:BRB, 11(2)178--180
-
Nipkow:1989:ERI, 12(2)123--149
-
Niqui, Milad, 78(11)2192--2215
-
Niqui:2013:SPC, 78(11)2192--2215
-
Nisan, 33(2)215--216
-
Nisbet, Andy, 57(3)319--338
-
Nisbet, Andy, see Gregg, David
-
Nishida, Naoki, 155(z)76--102
-
Nishida, Naoki, see Nagao, Takahiro
-
Nishimura, Susumu, 27(1)1--35, 54(2)257--290
-
Nishimura:1996:IDV, 27(1)1--35
-
Nishimura:2005:XST, 54(2)257--290
-
Nishizaki, Shin-ya, 21(2)165--190
-
Nishizaki:1993:PCL, 21(2)165--190
-
NISQ, 214(z)z--99999999
-
Nistala, Padmalata, 233(z)z--99999999
-
Nistala:2024:IER, 233(z)z--99999999
-
Nitsche, Thomas, 37(1)225--252
-
Nitsche, Ulrich, Ultes-, 65(1)1--3
-
Nitsche:2000:SAF, 37(1)225--252
-
Niu, Wei, 129(z)3--19
-
Niu, Wei, see Zhang, Bingxue
-
NJ, 5(1)107--109, 5(3)317--318, 33(2)213--214
-
NLBSE'22, 232(z)z--99999999
-
NMM, 71(1)1--16
-
NN, MOGA-, 208(z)z--99999999
-
NN, RBF-, 208(z)z--99999999
-
Noam, 33(2)215--216
-
Nobakht, B., 94(z)362--378
-
Nobakht:2014:MMC, 94(z)362--378
-
Noble, James, 58(3)344--365, 71(3)213--241
-
Noble, James, see Shanneb, Abdelsalam,
see Zhao, Tian
-
Nobuo, 27(3)215--216
-
NOD4J, 206(z)z--99999999
-
node, 5(1)1--36, 11(1)29--43, 21(2)93--113, 81(z)3--52
-
Nogueira, P., 95(z)176--199
-
Nogueira, P., see García-Pérez, A.
-
Nogueira, Pablo, 85(z)101--101
-
Nogueira, Pablo, see Gibbons, Jeremy
-
Nogueira, Sidney, 181(z)84--110
-
Nogueira, Sidney C., 197(z)z--99999999
-
Nogueira, Sidney C., see Lima, Lucas
-
Nogueira:2019:TCG, 181(z)84--110
-
Noguera, Carlos, 96(z)107--120
-
Noguera, Carlos, see Stevens, Reinout
-
Noguera, Manuel, 66(1)25--43, 75(8)669--671, 75(8)726--760, 77(1)1--3,
78(10)1895--1911
-
Noguera, Manuel, see Chung, Lawrence,
see Garrido, José Luis,
see Ruiz-López, Tomás
-
Noguera:2010:ODA, 75(8)726--760
-
Nolan, Brian, 59(1)109--126
-
Nolan, Brian, see Ayres, Tony
-
Noll, John, 98(z)120--139
-
Noll, John, see Jordan, Howell
-
Noll, Thomas, 97(z)157--162, 196(z)z--99999999
-
Noll, Thomas, see Heinen, Jonathan,
see Müller, Sascha
-
nomadic, 78(2)168--194
-
non-bisimilar, 202(z)z--99999999
-
non-cloned, 95(z)445--468
-
non-computable, 75(11)1142--1164
-
non-cyclicity, 95(z)359--375
-
non-determinism, 152(z)70--98
-
non-deterministic, 5(3)277--307, 78(9)1324--1345, 204(z)z--99999999
-
non-functional, 156(z)1--20, 168(z)18--37, 218(z)z--99999999
-
non-invasively, 94(z)53--66
-
non-LR1, 75(11)943--979
-
Non-Recursive, 11(1)29--43
-
non-recursive, 146(z)2--27
-
non-secure, 66(1)60--70
-
non-standard, 30(3)309--338
-
nonblocking, 113(z)119--148
-
nondeterminacy, 65(2)159--172
-
nondeterminism, 20(3)223--251, 65(2)140--158, 197(z)z--99999999
-
nondeterministic, 3(1)65--100, 5(3)277--307, 6(1)89--94, 10(1)65--85,
22(1)21--44, 43(1)77--89, 78(9)1294--1323
-
Nonfunctional, 20(1)3--50
-
noninterference, 217(z)z--99999999
-
nonlinear, 9(1)1--15, 10(3)281--318, 30(1)83--118
-
@NonNull, 76(7)587--608
-
Nonnumerical, 11(3)197--261
-
Nonstandard, 22(3)283--306
-
nonterminating, 22(1)21--44, 43(2)161--192
-
Nontermination, 20(3)223--251
-
nontrivial, 19(3)197--237
-
Nordlander, Johan, 43(2)93--127
-
Nordlander:2002:PSO, 43(2)93--127
-
Nordström, 16(2)202--203
-
normal, 28(1)1--41, 31(1)3--45
-
normalisers, 95(z)176--199
-
Noronha, Sapphire, 233(z)z--99999999
-
Noronha, Sapphire, see Nistala, Padmalata
-
North, 18(2)213--215
-
North-Holland, 15(1)98--98, 15(1)98--100
-
not, 4(1)45--86, 75(1)55--70, 102(z)57--75, 197(z)z--99999999
-
notation, 24(3)221--248, 29(1)99--122, 44(1)23--49, 77(5)609--635,
85(z)115--136, 88(z)54--81
-
note, 1(3)203--222, 2(1)53--68, 2(3)207--214, 11(1)90--91, 11(1)95--97,
12(1)83--84, 12(3)260--264, 73(2)129--135, 152(z)iii--iii,
152(z)iv--iv, 212(z)z--99999999
-
notion, 75(5)350--373, 77(7)908--939
-
novel, 75(11)921--942
-
November, 199(z)z--z, 211(z)z--z, 223(z)z--z
-
November, 1941-, 75(4)211--213
-
NOW, 78(2)168--194
-
now, 184(z)z--99999999
-
Nowak, David, 77(10)1058--1074, 162(z)76--92
-
Nowak, David, see Affeldt, Reynald,
see Jomaa, Narjes
-
Noyé, Jacques, 72(1)22--30, 75(12)1235--1261,
see Tanter, Éric
-
NTGash, 3(1)117--117
-
Nucci, D., Di, 232(z)z--99999999
-
Nucci, Dario, Di, 205(z)z--99999999, 218(z)z--99999999,
227(z)z--99999999
-
null-dereference, 98(z)645--679
-
number, 3(1)37--63, 5(1)37--58, 5(2)219--229, 6(1)11--34, 6(2)207--211,
22(1)21--44, 33(2)133--162, 76(3)160--180, 78(9)1294--1323,
78(9)1663--1678
-
Number, Prime-, 9(1)17--35
-
number, prime-, 9(1)17--35
-
number, real-, 9(1)37--83
-
Number-Theoretic, 3(1)37--63
-
number-theoretic, 3(1)37--63, 232(z)z--99999999
-
numbering, 64(1)97--114
-
numeric, 93(z)154--182
-
numerical, 24(3)189--220, 24(3)249--286, 28(1)1--41, 30(1)83--118,
72(1)3--21, 90(z)1--1, 90(z)34--41, 95(z)320--342,
213(z)z--99999999
-
Nunes, Daltro José, 78(8)1157--1175,
see Rubbo, Fernando Barden
-
Núñez, Manuel, 57(2)187--216
-
Nuñez, Pablo, 65(1)57--69,
see Gallardo, María del Mar
-
Núñez-Valdez, Edward Rolando, 207(z)z--99999999,
see Guzmán-Guzmán, Xiomarah
-
Nuñez-Varela, Alberto S., 196(z)z--99999999
-
Nunez-Varela:2020:DCS, 196(z)z--99999999
-
Nunez:2005:FSM, 57(2)187--216
-
NuSMV, 111(z)277--299
-
NVP-BEZ235, 232(z)z--99999999
-
Nxumalo, Madoda, 200(z)z--99999999
-
Nxumalo, Madoda, see Timm, Nils
-
Nyberg, Mattias, 146(z)2--27
-
Nyberg, Mattias, see Westman, Jonas
-
Nygård, Jan F., 149(z)3--8, see Hammad, Muhammad
-
Nyman, Ulrik, 83(z)106--128, 113(z)236--260, 127(z)103--130
-
Nyman, Ulrik, see Bauer, Sebastian S.,
see Boudjadar, Abdeldjalil