Index file section N for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
N
-
N, 9(2)235--256
-
n, 34(3)13--13, 40(3)11--11, 41(4)20--20
-
N-body, 19(6)942--991
-
N-Take, Give-, 22(5)816--860
-
Naaf, Matthias, 42(3)13--13
-
Naaf, Matthias, see Frohn, Florian
-
Nachtigal, Michael, 39(1)4--4
-
Nachtigal, Michael, see Ligatti, Jay
-
Naden, Karl, 36(1)2--2
-
Naden, Karl, see Stork, Sven
-
Nagappan, 37(3)8--8
-
Nagarajan, Vijay, 32(5)17--17
-
Nagarajan, Vijay, see Jeffrey, Dennis
-
Nagasamudram, Ramana, 44(4)25--25
-
Nagasamudram, Ramana, see Banerjee, Anindya
-
Naik, Mayur, 30(5)29--29
-
Naik:2008:TSE, 30(5)29--29
-
naive, 6(4)505--526, 14(4)589--616, 16(3)649--686, 21(3)430--501,
32(1)2--2
-
naïve, 35(2)8--8, 36(2)6--6
-
Nakatani, Toshio, 27(4)732--785, 28(1)70--105, 28(1)106--133,
28(1)134--174
-
Nakatani, Toshio, see Kawahito, Motohiro,
see Ogasawara, Takeshi,
see Suganuma, Toshio
-
name, 5(2)127--163, 14(2)147--172, 16(1)151--174, 16(4)1361--1398,
17(2)264--292, 19(1)188--222, 19(6)899--915, 21(4)813--847,
28(2)290--330, 30(5)26--26, 35(4)13--13, 40(1)2--2, 40(3)12--12
-
name, call-by-, 17(1)47--62, 20(2)344--387, 31(4)13--13,
33(1)5--5, 41(4)22--22
-
name-binding, 30(5)26--26
-
named, 8(4)547--576, 13(1)1--20, 14(4)574--588, 20(4)707--723
-
namely, 14(4)574--588, 15(1)133--181, 17(2)331--365, 18(4)454--476,
19(3)444--461, 19(6)992--1030, 28(4)747--793, 34(4)17--17,
35(1)2--2, 41(1)2--2, 43(1)3--3
-
namespace, 16(3)456--492, 35(1)2--2
-
Naming, 15(5)795--825
-
Nanda, Mangala Gowri, 28(6)1088--1144
-
Nanda:2006:ISM, 28(6)1088--1144
-
Nandivada, V. Krishna, 35(1)3--3, 41(3)16--16
-
Nandivada, V. Krishna, see Thakur, Manas
-
Nandivada:2013:TFO, 35(1)3--3
-
Nanevski, Aleksandar, 35(2)6--6
-
Nanevski:2013:DTT, 35(2)6--6
-
Napier88, 13(3)342--371
-
Narayanan, Praveen, 42(2)9--9
-
Narayanan:2020:SDV, 42(2)9--9
-
Narayanasamy, 37(3)8--8
-
Narayanasamy, Satish, 38(4)16--16
-
Narayanasamy, Satish, see Marino, Daniel
-
Narayanaswamy, Ganesh, 39(4)15--15
-
Narayanaswamy, Ganesh, see Forejt, Vojt{\u{a}}ch
-
Narlikar, Girija J., 21(1)138--173
-
Narlikar:1999:SES, 21(1)138--173
-
narrower, 20(4)768--844
-
narrowing, 20(4)768--844
-
narrowing-driven, 20(4)768--844
-
Nascent, 17(1)85--122
-
Nasr, Roger, 11(1)115--146
-
Nasr, Roger, see {A{\"{}\i}t}-Kaci, Hassan
-
native, 22(4)673--700, 27(6)1049--1096, 30(4)18--18, 30(4)22--22,
41(3)18--18
-
natural, 13(2)269--290, 15(4)659--680, 16(3)687--726, 16(4)1215--1247,
17(1)1--15, 17(5)777--803, 18(1)73--108, 18(2)175--234,
18(6)711--729, 20(6)1171--1194, 20(6)1297--1322, 21(4)813--847,
22(2)224--264, 26(3)510--577, 28(3)389--428, 28(3)429--475,
29(5)29--29, 30(2)8--8, 30(5)29--29, 31(4)13--13, 33(5)16--16,
34(4)15--15, 36(3)9--9, 37(1)3--3, 39(1)3--3, 40(3)9--9, 40(3)10--10,
41(2)11--11, 43(3)10--10
-
naturally, 13(2)211--236, 14(4)589--616, 28(3)429--475, 31(2)7--7,
31(3)12--12, 35(1)5--5, 38(2)7--7, 40(3)9--9, 41(2)8--8, 42(3)15--15,
44(3)14--14
-
nature, 4(4)650--667, 4(4)687--710, 7(4)501--538, 12(4)643--669,
16(1)35--101, 16(3)305--327, 20(4)768--844, 21(3)627--676,
31(1)1--1, 39(4)14--14, 41(2)12--12, 41(3)17--17, 43(2)6--6
-
Naumann, David, 44(4)25--25
-
Naumann, David, see Banerjee, Anindya
-
Naumann, David A., 37(4)13--13, 40(2)6--6
-
Naumann, David A., see Banerjee, Anindya,
see Leavens, Gary T.
-
Naur, Backus-, 4(4)615--649
-
Navas, Jorge A., 37(1)1--1, 43(3)11--11
-
Navas, Jorge A., see Gange, Graeme
-
navigating, 32(6)23--23
-
NDPG, 40(3)11--11
-
NDPGs, 40(3)11--11
-
Neamtiu, Iulian, 29(4)22--22
-
Neamtiu, Iulian, see Stoyle, Gareth
-
near, 13(1)52--98
-
Near, Joseph P., 45(2)8--8
-
Near, Joseph P., see Toro, Matías
-
near-optimal, 17(4)561--575
-
nearer, 27(6)1147--1215
-
nearly, 13(2)211--236, 41(3)17--17, 44(1)5--5
-
necessarily, 14(2)265--297, 18(2)175--234, 43(1)1--1
-
necessary, 4(2)179--195, 6(2)159--174, 8(4)491--523, 14(3)396--416,
16(3)387--427, 16(3)924--938, 16(4)1248--1278, 16(5)1648--1659,
16(6)1811--1841, 17(4)561--575, 18(3)235--253, 18(4)477--518,
18(6)649--658, 21(1)11--45, 21(2)240--285, 21(4)703--746,
22(2)296--339, 27(6)1147--1215, 28(5)942--965, 30(4)18--18,
30(4)21--21, 31(3)9--9, 32(2)6--6, 32(4)14--14, 36(1)1--1,
36(4)13--13, 37(3)9--9, 37(4)12--12, 37(4)13--13, 38(2)4--4,
39(2)7--7, 43(1)2--2
-
necessitate, 22(2)416--430
-
necessity, 17(2)366--393
-
Necula, 39(2)7--7
-
Necula, George C., 27(3)477--526, 29(5)28--28, 30(2)8--8
-
Necula, George C., see Chander, Ajay,
see Weimer, Westley
-
Necula:2005:CTS, 27(3)477--526
-
Nederhof, Mark-Jan, 21(1)1--10
-
Nederhof, Mark-Jan, see Bertsch, Eberhard
-
need, 4(1)44--82, 4(4)711--732, 8(4)491--523, 9(2)235--256, 9(4)491--542,
13(2)237--268, 14(4)521--573, 15(1)73--132, 16(3)607--648,
16(3)687--726, 16(3)986--1009, 16(4)1279--1318, 16(6)1768--1810,
17(2)264--292, 18(5)615--647, 19(6)899--915, 20(1)51--115,
20(2)274--301, 20(3)635--678, 20(4)869--916, 20(6)1131--1170,
21(6)1137--1195, 22(2)187--223, 22(2)296--339, 22(4)638--672,
22(4)701--771, 22(6)1037--1080, 28(4)715--746, 28(5)942--965,
31(6)22--22, 32(3)9--9, 33(1)3--3, 34(3)12--12, 35(1)5--5, 35(2)8--8,
35(3)11--11, 36(3)10--10, 36(4)14--14, 37(1)3--3, 37(3)10--10,
37(4)12--12, 38(3)8--8, 40(2)6--6, 41(3)14--14, 42(2)8--8, 43(1)2--2,
43(3)10--10, 44(4)25--25
-
need, call-by-, 20(2)344--387
-
needed, 4(2)149--178, 7(1)62--79, 9(2)125--163, 13(2)269--290,
14(4)490--520, 16(3)370--386, 16(4)1248--1278, 19(6)1053--1084,
20(4)869--916, 21(2)189--239, 21(4)703--746, 27(6)1049--1096,
29(2)13--13, 30(1)4--4, 31(3)9--9, 31(6)23--23, 32(2)5--5, 32(3)8--8,
39(2)8--8, 40(3)13--13, 41(3)15--15, 43(1)1--1
-
needing, 32(4)14--14
-
needs., 43(1)1--1
-
negation, 16(4)1081--1096, 20(2)302--343
-
negative, 22(1)162--186, 22(5)861--931, 32(6)21--21, 38(3)8--8,
38(3)12--12
-
negatively, 21(4)813--847
-
negligible, 17(4)635--671, 37(2)6--6, 41(1)1--1
-
Neighborhood-Constrained, 11(4)562--584
-
neither, 5(3)405--421, 14(1)28--53, 18(2)175--234, 20(2)302--343,
22(3)506--539
-
Nelson, Greg, 1(2)245--257, 11(4)517--561, 16(3)924--938, 24(5)491--553,
28(6)967--989
-
Nelson, Greg, see Broy, Manfred,
see Joshi, Rajeev,
see Leino, K. Rustan M.
-
Nelson:1979:SCD, 1(2)245--257
-
Nelson:1989:GDC, 11(4)517--561
-
Nemanich, Brad, 30(2)9--9
-
Nemanich, Brad, see Cooke, Daniel E.
-
Ness, 14(4)471--489
-
nest, 18(4)424--453, 22(2)265--295, 22(5)816--860, 34(1)3--3,
38(3)11--11, 38(3)12--12, 42(3)12--12
-
nested, 15(3)400--462, 16(3)954--985, 18(6)649--658, 18(6)683--710,
19(4)557--567, 21(1)138--173, 21(6)1251--1297, 31(6)23--23,
33(5)15--15, 44(3)19--19
-
nested-enrolement, 16(3)954--985
-
nested-parallel, 21(1)138--173
-
nesting, 19(4)557--567, 32(6)22--22
-
nesting, loop-, 21(2)175--188
-
net, 19(1)188--222, 20(5)917--979, 21(1)138--173, 34(1)6--6, 34(4)16--16
-
Net-Based, Petri-, 20(5)917--979
-
Netfinity, 28(1)1--69
-
Nettles, S. M., 16(6)1719--1736
-
Nettles, S. M., see Haines, N.
-
Nettles, Scott, 27(6)1049--1096
-
Nettles, Scott, see Hicks, Michael
-
network, 4(1)37--43, 4(3)382--401, 4(4)527--551, 4(4)678--686,
6(2)159--174, 6(3)380--401, 7(1)80--112, 7(2)270--298, 7(4)656--679,
8(1)154--182, 9(2)235--256, 9(4)618--645, 10(1)51--86, 11(1)90--114,
11(2)284--329, 11(2)330--344, 11(3)404--417, 11(4)562--584,
12(1)84--101, 12(1)102--122, 12(2)303--339, 12(4)537--565,
13(2)211--236, 14(2)201--264, 14(3)396--416, 14(3)417--461,
15(1)1--35, 15(1)36--72, 15(1)208--208, 16(1)151--174,
16(2)259--303, 17(3)535--559, 18(5)615--647, 19(1)188--222,
19(5)726--750, 19(5)804--851, 19(6)1031--1052, 20(1)1--50,
20(2)388--435, 20(3)483--545, 20(6)1265--1296, 21(2)175--188,
21(6)1196--1250, 27(6)1344--1395, 31(6)20--20, 31(6)22--22,
32(3)9--9, 32(4)12--12, 38(4)13--13, 39(4)17--17, 40(4)17--17,
42(2)7--7, 46(1)2--2
-
network-transparent, 19(5)804--851, 21(3)569--626
-
networked, 16(3)577--604
-
networking, 32(3)9--9
-
NETWORKS, 7(1)80--112, 7(2)270--298, 8(1)154--182, 9(2)235--256,
10(1)51--86, 10(2)282--312, 10(4)513--554, 11(1)90--114,
11(2)249--283, 11(2)284--329, 11(2)330--344, 12(2)303--339,
12(4)537--565, 13(4)558--576, 14(3)417--461, 15(1)1--35,
15(1)36--72, 15(3)563--573, 15(4)706--734, 15(4)735--742,
16(2)259--303, 16(3)986--1009, 17(1)157--179, 17(3)535--559,
18(5)615--647, 20(1)51--115
-
Netzer, Robert H. B., 13(4)491--530
-
Netzer, Robert H. B., see Choi, Jong-Deok
-
Neumann, 13(1)21--51
-
neural, 19(1)188--222
-
neutral, 29(1)2--2
-
never, 4(2)179--195, 9(2)277--295, 9(3)408--440, 16(4)1319--1360,
16(5)1449--1466, 17(2)293--330, 18(5)615--647, 20(2)436--482,
21(3)430--501, 21(3)502--526, 28(1)134--174, 31(5)17--17, 32(1)2--2,
34(2)7--7, 38(2)5--5
-
nevertheless, 13(1)124--149, 15(5)745--770, 30(3)17--17, 31(2)6--6,
38(2)7--7, 42(3)15--15
-
newly, 9(2)125--163, 17(4)635--671, 21(3)430--501, 32(5)17--17
-
Newton, 39(2)9--9
-
Newtonian, 39(2)9--9
-
NEXPTIME-complete, 32(1)2--2
-
next, 14(4)471--489, 14(4)589--616, 16(6)1842--1874, 21(2)175--188,
31(1)2--2
-
next-generation, 37(2)6--6, 38(2)4--4
-
Nguyen, Thi Viet Nga, 27(3)527--570
-
Nguyen:2005:EEA, 27(3)527--570
-
Niagara, 35(1)3--3
-
Nicholson, 15(1)206--208, 16(3)605--606
-
Nicholson, Tim, 11(4)650--665
-
Nicholson:1989:DSP, 11(4)650--665, 15(1)206--208
-
Nicolau, Alexandru, 5(4)532--553
-
Nicolau, Alexandru, see Cohen, Jacques
-
Nielson, 16(3)607--648
-
Nielson, Flemming, 7(3)359--379, 8(3)406--407
-
Nielson, Hanne Riis, 8(3)406--407
-
Nielson, Hanne Riis, see Nielson, Flemming
-
Nielson:1985:PTD, 7(3)359--379
-
Nielson:1986:TCC, 6(4)603--631, 8(3)406--407
-
Nierstrasz, Oscar, 28(2)331--388
-
Nierstrasz, Oscar, see Ducasse, Stéphane
-
Nieuwpoort, Rob V., Van, 32(3)9--9
-
Nieuwpoort, Rob, Van, 23(6)747--775
-
Nikhil, Rishiyur S., 11(4)598--632
-
Nikhil, Rishiyur S., see Arvind
-
Nikoli{\'c}, Durica, 35(4)14--14
-
Nikolic:2013:RAP, 35(4)14--14
-
Nikouei, Mohammad, 40(2)6--6, 44(4)25--25
-
Nikouei, Mohammad, see Banerjee, Anindya
-
Nilsen, Kelvin, 10(1)51--86
-
Nilsen, Kelvin, see Andrews, Gregory R.
-
NIM, 9(2)235--256
-
Nimal, Vincent, 39(2)6--6
-
Nimal, Vincent, see Alglave, Jade
-
nine, 28(5)848--907
-
Nipkow, Tobias, 28(4)619--695
-
Nipkow, Tobias, see Klein, Gerwin
-
Nix, Robert P., 7(4)600--621
-
Nix:1985:EE, 7(4)600--621
-
Niznik, Charlotte, 40(3)10--10
-
Niznik, Charlotte, see Florence, Spencer P.
-
NK, 20(1)51--115
-
no-go, 44(2)7--7
-
no-sensitive-upgrade, 39(3)10--10
-
no-worklist, 33(1)3--3
-
Noble, James, 32(2)4--4
-
Noble, James, see Markstrum, Shane
-
node, 3(4)508--532, 9(2)235--256, 9(3)319--349, 14(2)201--264,
14(4)574--588, 15(4)659--680, 16(4)1117--1155, 17(3)487--506,
17(4)600--634, 17(5)777--803, 18(3)300--324, 19(4)557--567,
19(6)1031--1052, 20(5)980--1013, 20(6)1297--1322, 21(2)240--285,
22(1)1--44, 22(4)673--700, 24(4)299--333, 34(1)5--5, 34(2)10--10,
35(4)14--14
-
node-disjoint, 19(6)1085--1087
-
node-specific, 22(4)673--700
-
node-weighted, 41(2)12--12
-
\noindent, 22(1)162--186
-
noise, 43(2)6--6
-
Nomadic, 32(4)12--12
-
nominal, 30(5)26--26, 36(4)12--12
-
non-, 10(2)338--342
-
non-blocking, 34(1)6--6
-
non-commutative, 39(2)9--9
-
non-determinism, 40(2)7--7
-
Non-Deterministic, 40(3)11--11
-
non-deterministic, 40(3)11--11, 41(4)20--20
-
non-developers, 30(6)31--31
-
non-functional, 11(4)598--632, 21(1)46--89
-
non-generational, 41(1)3--3, 44(4)22--22
-
non-local, 41(3)14--14
-
non-modular, 42(1)3--3
-
non-numerical, 9(2)125--163
-
non-polynomial, 41(4)20--20
-
non-primitive, 41(3)18--18
-
non-probabilistic, 41(4)22--22
-
non-recursive, 41(4)20--20
-
non-separating, 34(1)2--2
-
non-SIMD, 35(4)13--13
-
non-space-optimal, 30(5)28--28
-
Non-Statistical, 39(4)16--16
-
non-termination, 40(1)1--1, 40(2)5--5, 40(3)11--11
-
nonaffine, 20(3)635--678
-
Nonalgebraic, 13(3)315--341, 18(1)30--72
-
nonatomic, 36(2)6--6
-
Noncanonical, 1(2)295--320
-
nonconforming, 35(3)11--11
-
Noncorrecting, 7(3)478--489
-
noncurrent, 16(3)387--427, 20(6)1111--1130
-
nondeterminacy, 21(3)677--701, 28(4)747--793, 30(6)34--34, 31(4)16--16
-
nondeterminate, 16(1)3--34
-
nondeterminism, 2(2)234--238, 4(4)668--677, 7(2)270--298, 9(2)125--163,
10(1)87--117, 12(2)203--223, 16(3)924--938, 16(6)1675--1683,
17(2)366--393, 18(3)325--353, 18(5)528--563, 20(2)436--482,
30(6)34--34, 31(4)16--16, 40(1)4--4, 42(1)4--4, 45(1)5--5
-
nondeterministic, 4(2)258--282, 4(4)668--677, 15(4)659--680,
16(3)924--938, 17(1)180--180, 17(2)366--393, 20(2)274--301,
20(5)1014--1066, 22(4)583--637, 29(5)29--29, 30(6)34--34
-
nondistributed, 4(4)527--551
-
nondistributive, 19(6)992--1030
-
none, 16(5)1411--1430, 20(1)1--50, 30(6)33--33, 36(4)14--14
-
nonerror, 4(2)179--195
-
nonetheless, 19(4)617--638
-
nonexecutable, 16(4)1097--1113
-
nonfaulty, 15(5)745--770
-
nonfloundering, 20(3)586--634
-
nonfunctional, 21(1)46--89
-
nonhierarchical, 17(2)394--429
-
nonhomogeneous, 9(2)235--256
-
nonincremental, 22(2)187--223
-
noninterference, 39(3)10--10, 40(4)16--16, 44(4)25--25
-
Noninterfering, 11(3)345--387
-
nonintrusive, 27(6)1097--1146
-
noniterative, 33(5)17--17
-
nonlinear, 4(4)733--757, 9(3)408--440, 17(1)85--122, 20(3)635--678,
39(2)8--8, 41(2)13--13
-
nonlocal, 31(1)1--1
-
nonLR1, 28(4)577--618
-
nonmainstream, 31(2)7--7
-
nonmatching, 16(6)1842--1874
-
Nonmonotonic, 20(3)586--634
-
nonnull, 32(2)4--4
-
nonnumerical, 7(2)348--357, 10(1)1--50, 11(1)33--56, 11(1)57--66,
11(3)404--417, 11(4)491--516, 11(4)562--584, 11(4)585--597,
12(1)84--101, 12(2)203--223, 13(3)399--442, 15(2)312--336,
15(4)632--658, 16(4)1117--1155, 16(5)1472--1511, 17(2)331--365,
17(3)487--506, 18(5)528--563, 19(6)853--898, 20(2)259--273,
20(6)1265--1296, 21(4)790--812
-
nonoptimization, 16(5)1648--1659
-
nonoptimized, 16(5)1449--1466
-
nonoptimizing, 16(5)1613--1647, 31(5)18--18
-
nonparallelizable, 28(5)942--965
-
nonprocedural, 1(2)196--217, 4(1)83--112, 4(2)295--322, 5(2)127--163,
8(4)547--576, 11(4)491--516, 14(1)107--125, 15(5)826--875,
16(4)1279--1318, 17(2)331--365, 17(2)366--393, 17(4)635--671,
18(5)564--614
-
nonrectangular, 24(4)409--453
-
nonrecursive, 10(2)248--266
-
nonrelational, 36(3)8--8
-
nonscalars, 30(2)9--9
-
Nonsequentiality, 3(3)293--317
-
nonspeculative, 28(5)942--965
-
nonstandard, 15(1)133--181, 16(3)328--369, 18(6)730--751, 22(2)340--377,
22(4)638--672
-
nonstrict, 13(2)269--290, 14(4)589--616, 16(3)328--369, 18(2)175--234
-
nonstrictly, 18(1)73--108
-
nonstrictness, 16(6)1675--1683
-
nonterminals, 13(1)150--178
-
nonterminating, 36(4)14--14, 40(3)12--12, 42(4)19--19
-
nontermination, 20(1)208--258, 28(2)256--289
-
nontrivial, 11(4)633--649, 13(1)150--178, 16(6)1699--1718,
17(2)197--216, 19(3)444--461, 19(5)726--750, 20(6)1251--1264,
28(2)331--388, 32(3)8--8, 32(5)16--16, 34(1)5--5, 35(4)14--14,
40(4)14--14
-
nonuniform, 34(3)11--11
-
Noorman, Job, 43(3)12--12
-
Noorman, Job, see Busi, Matteo
-
nor, 5(3)405--421, 18(2)175--234, 22(3)506--539
-
Nori, Aditya V., 33(5)17--17
-
Nori, Aditya V., see Gulavani, Bhargav S.
-
norm-based, 21(6)1137--1195
-
normal, 13(1)150--178, 16(4)1081--1096, 19(3)492--524, 20(1)208--258,
20(3)586--634, 22(4)583--637, 28(1)70--105
-
normalisation, 41(1)5--5
-
normalization, 19(4)557--567, 41(2)10--10, 44(2)7--7
-
normalize, 30(2)9--9, 30(4)23--23
-
normally, 15(1)182--205, 31(3)9--9, 41(3)18--18
-
norms, 29(2)10--10
-
Norris, Brian, 38(3)10--10
-
Norris:2016:PAM, 38(3)10--10
-
not, collected-, 38(3)9--9
-
notable, 36(4)13--13, 40(4)16--16, 44(1)5--5, 45(3)19--19
-
notably, 19(1)7--47
-
notably, facilities-, 10(2)189--203
-
notation, 3(3)251--262, 4(1)44--82, 4(1)83--112, 4(1)113--119,
9(3)297--318, 9(3)367--389, 14(4)521--573, 16(2)259--303,
16(3)577--604, 16(4)1117--1155, 16(5)1411--1430, 18(4)454--476,
21(1)46--89, 21(3)417--429
-
notational, 20(5)980--1013
-
note, 2(1)129--133, 7(1)176--181, 7(4)680--685, 10(1)178--188,
15(2)357--365, 17(1)45--46, 17(2)228--232, 17(3)431--447,
19(6)1085--1087, 33(6)18--18
-
nothing, 10(2)189--203, 38(4)15--15
-
notice, 29(6)35--35
-
noticeable, 21(5)977--1027
-
noticeably, 29(1)2--2
-
noticed, 32(5)19--19
-
notify, wait-, 35(4)12--12
-
notion, 11(4)633--649, 13(1)99--123, 13(2)269--290, 15(4)681--705,
15(5)876--895, 16(3)370--386, 16(3)798--842, 16(6)1811--1841,
17(2)331--365, 17(2)366--393, 17(4)600--634, 18(1)1--15,
18(4)477--518, 18(5)519--527, 19(1)7--47, 19(4)568--585,
19(4)617--638, 19(6)899--915, 20(2)302--343, 20(5)917--979,
20(5)1067--1109, 20(6)1111--1130, 20(6)1171--1194, 20(6)1251--1264,
21(2)189--239, 21(3)430--501, 21(5)914--947, 22(1)45--86,
22(6)1002--1036, 22(6)1037--1080, 28(2)290--330, 28(3)389--428,
28(4)577--618, 30(6)34--34, 31(4)15--15, 33(5)16--16, 34(2)9--9,
34(4)17--17, 35(3)9--9, 35(4)13--13, 36(4)12--12, 37(4)11--11,
38(1)2--2, 40(2)7--7, 40(4)17--17, 41(1)5--5, 41(2)10--10,
41(3)18--18, 42(1)2--2, 42(1)4--4, 42(3)14--14, 43(1)4--4,
44(4)25--25
-
notoriously, 27(6)1344--1395, 44(2)12--12
-
Notth, Stephen C., 5(3)405--421
-
Notth, Stephen C., see Lipton, Richard J.
-
novel, 4(2)239--257, 4(4)552--562, 5(2)236--264, 7(4)501--538,
8(4)419--490, 14(1)54--106, 14(4)574--588, 15(5)745--770,
16(3)986--1009, 17(3)461--486, 18(4)355--400, 19(1)48--86,
19(5)726--750, 20(1)166--207, 20(2)436--482, 21(5)1028--1075,
22(1)45--86, 27(6)1049--1096, 27(6)1097--1146, 27(6)1216--1269,
27(6)1344--1395, 28(1)1--69, 28(5)942--965, 30(1)4--4, 30(4)24--24,
30(6)33--33, 31(5)18--18, 32(1)2--2, 32(2)4--4, 32(3)9--9,
32(4)12--12, 32(4)13--13, 32(4)15--15, 33(6)21--21, 34(1)3--3,
34(1)5--5, 34(2)7--7, 34(3)14--14, 34(4)15--15, 34(4)17--17,
35(1)2--2, 35(2)6--6, 36(4)12--12, 36(4)14--14, 37(1)1--1,
37(3)10--10, 37(4)11--11, 38(4)13--13, 38(4)14--14, 39(4)15--15,
40(1)2--2, 41(1)1--1, 41(3)14--14, 41(3)19--19, 42(1)2--2, 42(1)3--3,
42(3)14--14, 43(2)6--6, 43(4)15--15, 44(1)3--3, 44(3)14--14,
45(2)7--7, 46(1)3--3
-
novelty, 22(4)701--771, 28(1)1--69, 38(1)3--3
-
novice, 32(4)14--14, 36(3)10--10
-
Novotný, Petr, 40(2)7--7, see Chatterjee, Krishnendu
-
now, 17(4)576--599, 18(5)519--527, 22(3)506--539, 28(2)290--330,
33(5)15--15, 34(1)1--1, 34(1)2--2, 34(3)14--14, 38(3)9--9, 39(1)5--5,
40(3)13--13
-
Nowatzki, Tony, 37(1)2--2
-
Nowatzki:2015:SFS, 37(1)2--2
-
noweb, 19(3)492--524
-
NP, 35(3)10--10
-
NP-complete, 6(4)527--545, 17(4)600--634, 18(3)235--253, 18(5)528--563,
20(4)869--916, 21(4)790--812, 36(3)9--9, 39(4)15--15
-
NP-completeness, 21(4)790--812
-
NP-easy, 17(4)600--634
-
NP-Hard, 19(1)1--6
-
NP-hard, 15(4)632--658, 17(4)600--634, 18(1)73--108, 19(1)1--6,
40(2)7--7, 41(2)12--12
-
NP-hardness, 40(2)7--7
-
NQLALR1, 10(2)338--342
-
NS32032, 7(4)560--599
-
null, 22(2)265--295
-
null-dereference-check, 41(3)16--16
-
nulled, 28(4)577--618
-
nullifying, 32(5)17--17
-
nullness, 35(4)14--14
-
NUMA, 39(4)17--17
-
numbered, 4(4)758--762
-
numbering, 17(2)181--196
-
numeric, 4(2)226--238, 18(2)139--174
-
NUMERICAL, 10(2)313--337, 14(2)127--144, 14(3)339--395, 18(2)139--174,
18(3)325--353, 20(4)869--916
-
numerical, 4(2)226--238, 14(3)339--395, 18(2)139--174, 39(2)8--8,
39(2)9--9, 43(3)11--11
-
numerical, non-, 9(2)125--163
-
numerical-analysis, 39(2)9--9
-
numerically, 22(2)265--295
-
numerous, 21(4)813--847, 28(2)331--388, 30(5)28--28, 35(4)12--12,
40(2)5--5, 41(4)23--23
-
nursery, 29(1)2--2
-
Nystrom, Nathaniel, 38(4)15--15
-
Nystrom, Nathaniel, see Blackburn, Stephen M.