Index file section N for scicomputprogram.bib

Last update: Tue Jul 22 02:00:27 MDT 2025               

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
• Namayala, Phesto P., 237(z)z--99999999
• Namayala:2024:AFD, 237(z)z--99999999
• 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
• Nancy, 247(z)z--z
• 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--z, 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--z
• Navarro:2008:CNM, 71(1)1--16
• Navarro:2022:SPP, 220(z)z--z
• 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, 236(z)z--99999999
• nearest-neighbor, 215(z)z--z
• 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, 244(z)z--99999999
• need, call-by-, 147(z)3--26
• needed, 195(z)z--99999999
• needle-steering, 245(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--z
• negotiation, 31(2)179--203, 77(1)4--28, 95(z)3--25
• Neidhardt, Maximilian, 245(z)z--99999999
• Neidhardt, Maximilian, see Lehmann, Sascha
• neighbor, nearest-, 215(z)z--z
• 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
• nested, non-, 245(z)z--99999999
• 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, 247(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, 236(z)z--99999999, 238(z)z--99999999, 239(z)z--99999999, 243(z)z--99999999, 245(z)z--99999999
• network, flow-, 93(z)19--38
• network-based, 243(z)z--99999999
• 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, 236(z)z--99999999, 238(z)z--99999999, 243(z)z--99999999, 245(z)z--99999999
• Neurohr, Christian, 242(z)z--99999999
• Neurohr, Christian, see Borchers, Philipp
• neuron, 215(z)z--99999999
• Nevalainen, Olli, 3(2)205--216
• Nevalainen, Olli, see Katajainen, Jyrki
• Never, 240(z)z--99999999
• 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--z, 207(z)z--99999999, 228(z)z--99999999, 246(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--z
• 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
• Nitol, Kumar, 247(z)z--99999999
• Nitol, Kumar, see Roy, Partha Protim
• 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--z
• NN, RBF-, 208(z)z--z
• 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-commutativity, 245(z)z--99999999
• 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, 241(z)z--99999999
• non-invasively, 94(z)53--66
• non-LR1, 75(11)943--979
• non-nested, 245(z)z--99999999
• 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--z, 246(z)z--z
• 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, 236(z)z--99999999, 238(z)z--99999999
• November, 199(z)z--99999999, 211(z)z--99999999, 223(z)z--99999999
• November, 1941-, 75(4)211--213
• novice, 237(z)z--99999999
• 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--z
• 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