source: Papers/cpp-asm-2012/llncs.ind @ 3440

Last change on this file since 3440 was 2052, checked in by mulligan, 9 years ago

Initial commit of proposed CPP 2012 paper on the proof of correctness for assembler.

File size: 13.2 KB
1% This is LLNCS.IND the handmade demonstration
2% file for an author index from Springer-Verlag
3% for Lecture Notes in Computer Science,
4% version 2.2 for LaTeX2e
7\item Abt~I.               \idxquad{7}
8\item Ahmed~T.             \idxquad{3}
9\item Andreev~V.           \idxquad{24}
10\item Andrieu~B.           \idxquad{27}
11\item Arpagaus~M.          \idxquad{34}
13\item Babaev~A.            \idxquad{25}
14\item B\"arwolff~A.        \idxquad{33}
15\item B\'an~J.             \idxquad{17}
16\item Baranov~P.           \idxquad{24}
17\item Barrelet~E.          \idxquad{28}
18\item Bartel~W.            \idxquad{11}
19\item Bassler~U.           \idxquad{28}
20\item Beck~H.P.            \idxquad{35}
21\item Behrend~H.-J.        \idxquad{11}
22\item Berger~Ch.           \idxquad{1}
23\item Bergstein~H.         \idxquad{1}
24\item Bernardi~G.          \idxquad{28}
25\item Bernet~R.            \idxquad{34}
26\item Besan\c con~M.       \idxquad{9}
27\item Biddulph~P.          \idxquad{22}
28\item Binder~E.            \idxquad{11}
29\item Bischoff~A.          \idxquad{33}
30\item Blobel~V.            \idxquad{13}
31\item Borras~K.            \idxquad{8}
32\item Bosetti~P.C.         \idxquad{2}
33\item Boudry~V.            \idxquad{27}
34\item Brasse~F.            \idxquad{11}
35\item Braun~U.             \idxquad{2}
36\item Braunschweig~A.      \idxquad{1}
37\item Brisson~V.           \idxquad{26}
38\item B\"ungener~L.        \idxquad{13}
39\item B\"urger~J.          \idxquad{11}
40\item B\"usser~F.W.        \idxquad{13}
41\item Buniatian~A.         \idxquad{11,37}
42\item Buschhorn~G.         \idxquad{25}
44\item Campbell~A.J.        \idxquad{1}
45\item Carli~T.             \idxquad{25}
46\item Charles~F.           \idxquad{28}
47\item Clarke~D.            \idxquad{5}
48\item Clegg~A.B.           \idxquad{18}
49\item Colombo~M.           \idxquad{8}
50\item Courau~A.            \idxquad{26}
51\item Coutures~Ch.         \idxquad{9}
52\item Cozzika~G.           \idxquad{9}
53\item Criegee~L.           \idxquad{11}
54\item Cvach~J.             \idxquad{27}
56\item Dagoret~S.           \idxquad{28}
57\item Dainton~J.B.         \idxquad{19}
58\item Dann~A.W.E.          \idxquad{22}
59\item Dau~W.D.             \idxquad{16}
60\item Deffur~E.            \idxquad{11}
61\item Delcourt~B.          \idxquad{26}
62\item Buono~Del~A.         \idxquad{28}
63\item Devel~M.             \idxquad{26}
64\item De Roeck~A.          \idxquad{11}
65\item Dingus~P.            \idxquad{27}
66\item Dollfus~C.           \idxquad{35}
67\item Dreis~H.B.           \idxquad{2}
68\item Drescher~A.          \idxquad{8}
69\item D\"ullmann~D.        \idxquad{13}
70\item D\"unger~O.          \idxquad{13}
71\item Duhm~H.              \idxquad{12}
73\item Ebbinghaus~R.        \idxquad{8}
74\item Eberle~M.            \idxquad{12}
75\item Ebert~J.             \idxquad{32}
76\item Ebert~T.R.           \idxquad{19}
77\item Efremenko~V.         \idxquad{23}
78\item Egli~S.              \idxquad{35}
79\item Eichenberger~S.      \idxquad{35}
80\item Eichler~R.           \idxquad{34}
81\item Eisenhandler~E.      \idxquad{20}
82\item Ellis~N.N.           \idxquad{3}
83\item Ellison~R.J.         \idxquad{22}
84\item Elsen~E.             \idxquad{11}
85\item Evrard~E.            \idxquad{4}
87\item Favart~L.            \idxquad{4}
88\item Feeken~D.            \idxquad{13}
89\item Felst~R.             \idxquad{11}
90\item Feltesse~A.          \idxquad{9}
91\item Fensome~I.F.         \idxquad{3}
92\item Ferrarotto~F.        \idxquad{31}
93\item Flamm~K.             \idxquad{11}
94\item Flauger~W.           \idxquad{11}
95\item Flieser~M.           \idxquad{25}
96\item Fl\"ugge~G.          \idxquad{2}
97\item Fomenko~A.           \idxquad{24}
98\item Fominykh~B.          \idxquad{23}
99\item Form\'anek~J.        \idxquad{30}
100\item Foster~J.M.          \idxquad{22}
101\item Franke~G.            \idxquad{11}
102\item Fretwurst~E.         \idxquad{12}
104\item Gabathuler~E.        \idxquad{19}
105\item Gamerdinger~K.       \idxquad{25}
106\item Garvey~J.            \idxquad{3}
107\item Gayler~J.            \idxquad{11}
108\item Gellrich~A.          \idxquad{13}
109\item Gennis~M.            \idxquad{11}
110\item Genzel~H.            \idxquad{1}
111\item Godfrey~L.           \idxquad{7}
112\item Goerlach~U.          \idxquad{11}
113\item Goerlich~L.          \idxquad{6}
114\item Gogitidze~N.         \idxquad{24}
115\item Goodall~A.M.         \idxquad{19}
116\item Gorelov~I.           \idxquad{23}
117\item Goritchev~P.         \idxquad{23}
118\item Grab~C.              \idxquad{34}
119\item Gr\"assler~R.        \idxquad{2}
120\item Greenshaw~T.         \idxquad{19}
121\item Greif~H.             \idxquad{25}
122\item Grindhammer~G.       \idxquad{25}
124\item Haack~J.             \idxquad{33}
125\item Haidt~D.             \idxquad{11}
126\item Hamon~O.             \idxquad{28}
127\item Handschuh~D.         \idxquad{11}
128\item Hanlon~E.M.          \idxquad{18}
129\item Hapke~M.             \idxquad{11}
130\item Harjes~J.            \idxquad{11}
131\item Haydar~R.            \idxquad{26}
132\item Haynes~W.J.          \idxquad{5}
133\item Hedberg~V.           \idxquad{21}
134\item Heinzelmann~G.       \idxquad{13}
135\item Henderson~R.C.W.     \idxquad{18}
136\item Henschel~H.          \idxquad{33}
137\item Herynek~I.           \idxquad{29}
138\item Hildesheim~W.        \idxquad{11}
139\item Hill~P.              \idxquad{11}
140\item Hilton~C.D.          \idxquad{22}
141\item Hoeger~K.C.          \idxquad{22}
142\item Huet~Ph.             \idxquad{4}
143\item Hufnagel~H.          \idxquad{14}
144\item Huot~N.              \idxquad{28}
146\item Itterbeck~H.         \idxquad{1}
148\item Jabiol~M.-A.         \idxquad{9}
149\item Jacholkowska~A.      \idxquad{26}
150\item Jacobsson~C.         \idxquad{21}
151\item Jansen~T.            \idxquad{11}
152\item J\"onsson~L.         \idxquad{21}
153\item Johannsen~A.         \idxquad{13}
154\item Johnson~D.P.         \idxquad{4}
155\item Jung~H.              \idxquad{2}
157\item Kalmus~P.I.P.        \idxquad{20}
158\item Kasarian~S.          \idxquad{11}
159\item Kaschowitz~R.        \idxquad{2}
160\item Kathage~U.           \idxquad{16}
161\item Kaufmann~H.          \idxquad{33}
162\item Kenyon~I.R.          \idxquad{3}
163\item Kermiche~S.          \idxquad{26}
164\item Kiesling~C.          \idxquad{25}
165\item Klein~M.             \idxquad{33}
166\item Kleinwort~C.         \idxquad{13}
167\item Knies~G.             \idxquad{11}
168\item Ko~W.                \idxquad{7}
169\item K\"ohler~T.          \idxquad{1}
170\item Kolanoski~H.         \idxquad{8}
171\item Kole~F.              \idxquad{7}
172\item Kolya~S.D.           \idxquad{22}
173\item Korbel~V.            \idxquad{11}
174\item Korn~M.              \idxquad{8}
175\item Kostka~P.            \idxquad{33}
176\item Kotelnikov~S.K.      \idxquad{24}
177\item Krehbiel~H.          \idxquad{11}
178\item Kr\"ucker~D.         \idxquad{2}
179\item Kr\"uger~U.          \idxquad{11}
180\item Kubenka~J.P.         \idxquad{25}
181\item Kuhlen~M.            \idxquad{25}
182\item Kur\v{c}a~T.         \idxquad{17}
183\item Kurzh\"ofer~J.       \idxquad{8}
184\item Kuznik~B.            \idxquad{32}
186\item Lamarche~F.          \idxquad{27}
187\item Lander~R.            \idxquad{7}
188\item Landon~M.P.J.        \idxquad{20}
189\item Lange~W.             \idxquad{33}
190\item Lanius~P.            \idxquad{25}
191\item Laporte~J.F.         \idxquad{9}
192\item Lebedev~A.           \idxquad{24}
193\item Leuschner~A.         \idxquad{11}
194\item Levonian~S.          \idxquad{11,24}
195\item Lewin~D.             \idxquad{11}
196\item Ley~Ch.              \idxquad{2}
197\item Lindner~A.           \idxquad{8}
198\item Lindstr\"om~G.       \idxquad{12}
199\item Linsel~F.            \idxquad{11}
200\item Lipinski~J.          \idxquad{13}
201\item Loch~P.              \idxquad{11}
202\item Lohmander~H.         \idxquad{21}
203\item Lopez~G.C.           \idxquad{20}
205\item Magnussen~N.         \idxquad{32}
206\item Mani~S.              \idxquad{7}
207\item Marage~P.            \idxquad{4}
208\item Marshall~R.          \idxquad{22}
209\item Martens~J.           \idxquad{32}
210\item Martin~A.@           \idxquad{19}
211\item Martyn~H.-U.         \idxquad{1}
212\item Martyniak~J.         \idxquad{6}
213\item Masson~S.            \idxquad{2}
214\item Mavroidis~A.         \idxquad{20}
215\item McMahon~S.J.         \idxquad{19}
216\item Mehta~A.             \idxquad{22}
217\item Meier~K.             \idxquad{15}
218\item Mercer~D.            \idxquad{22}
219\item Merz~T.              \idxquad{11}
220\item Meyer~C.A.           \idxquad{35}
221\item Meyer~H.             \idxquad{32}
222\item Meyer~J.             \idxquad{11}
223\item Mikocki~S.           \idxquad{6,26}
224\item Milone~V.            \idxquad{31}
225\item Moreau~F.            \idxquad{27}
226\item Moreels~J.           \idxquad{4}
227\item Morris~J.V.          \idxquad{5}
228\item M\"uller~K.          \idxquad{35}
229\item Murray~S.A.          \idxquad{22}
231\item Nagovizin~V.         \idxquad{23}
232\item Naroska~B.           \idxquad{13}
233\item Naumann~Th.          \idxquad{33}
234\item Newton~D.            \idxquad{18}
235\item Neyret~D.            \idxquad{28}
236\item Nguyen~A.            \idxquad{28}
237\item Niebergall~F.        \idxquad{13}
238\item Nisius~R.            \idxquad{1}
239\item Nowak~G.             \idxquad{6}
240\item Nyberg~M.            \idxquad{21}
242\item Oberlack~H.          \idxquad{25}
243\item Obrock~U.            \idxquad{8}
244\item Olsson~J.E.          \idxquad{11}
245\item Ould-Saada~F.        \idxquad{13}
247\item Pascaud~C.           \idxquad{26}
248\item Patel~G.D.           \idxquad{19}
249\item Peppel~E.            \idxquad{11}
250\item Phillips~H.T.        \idxquad{3}
251\item Phillips~J.P.        \idxquad{22}
252\item Pichler~Ch.          \idxquad{12}
253\item Pilgram~W.           \idxquad{2}
254\item Pitzl~D.             \idxquad{34}
255\item Prell~S.             \idxquad{11}
256\item Prosi~R.             \idxquad{11}
258\item R\"adel~G.           \idxquad{11}
259\item Raupach~F.           \idxquad{1}
260\item Rauschnabel~K.       \idxquad{8}
261\item Reinshagen~S.        \idxquad{11}
262\item Ribarics~P.          \idxquad{25}
263\item Riech~V.             \idxquad{12}
264\item Riedlberger~J.       \idxquad{34}
265\item Rietz~M.             \idxquad{2}
266\item Robertson~S.M.       \idxquad{3}
267\item Robmann~P.           \idxquad{35}
268\item Roosen~R.            \idxquad{4}
269\item Royon~C.             \idxquad{9}
270\item Rudowicz~M.          \idxquad{25}
271\item Rusakov~S.           \idxquad{24}
272\item Rybicki~K.           \idxquad{6}
274\item Sahlmann~N.          \idxquad{2}
275\item Sanchez~E.           \idxquad{25}
276\item Savitsky~M.          \idxquad{11}
277\item Schacht~P.           \idxquad{25}
278\item Schleper~P.          \idxquad{14}
279\item von Schlippe~W.      \idxquad{20}
280\item Schmidt~D.           \idxquad{32}
281\item Schmitz~W.           \idxquad{2}
282\item Sch\"oning~A.        \idxquad{11}
283\item Schr\"oder~V.        \idxquad{11}
284\item Schulz~M.            \idxquad{11}
285\item Schwab~B.            \idxquad{14}
286\item Schwind~A.           \idxquad{33}
287\item Seehausen~U.         \idxquad{13}
288\item Sell~R.              \idxquad{11}
289\item Semenov~A.           \idxquad{23}
290\item Shekelyan~V.         \idxquad{23}
291\item Shooshtari~H.        \idxquad{25}
292\item Shtarkov~L.N.        \idxquad{24}
293\item Siegmon~G.           \idxquad{16}
294\item Siewert~U.           \idxquad{16}
295\item Skillicorn~I.O.      \idxquad{10}
296\item Smirnov~P.           \idxquad{24}
297\item Smith~J.R.           \idxquad{7}
298\item Smolik~L.            \idxquad{11}
299\item Spitzer~H.           \idxquad{13}
300\item Staroba~P.           \idxquad{29}
301\item Steenbock~M.         \idxquad{13}
302\item Steffen~P.           \idxquad{11}
303\item Stella~B.            \idxquad{31}
304\item Stephens~K.          \idxquad{22}
305\item St\"osslein~U.       \idxquad{33}
306\item Strachota~J.         \idxquad{11}
307\item Straumann~U.         \idxquad{35}
308\item Struczinski~W.       \idxquad{2}
310\item Taylor~R.E.          \idxquad{36,26}
311\item Tchernyshov~V.       \idxquad{23}
312\item Thiebaux~C.          \idxquad{27}
313\item Thompson~G.          \idxquad{20}
314\item Tru\"ol~P.           \idxquad{35}
315\item Turnau~J.            \idxquad{6}
317\item Urban~L.             \idxquad{25}
318\item Usik~A.              \idxquad{24}
320\item Valkarova~A.         \idxquad{30}
321\item Vall\'ee~C.          \idxquad{28}
322\item Van Esch~P.          \idxquad{4}
323\item Vartapetian~A.       \idxquad{11}
324\item Vazdik~Y.            \idxquad{24}
325\item Verrecchia~P.        \idxquad{9}
326\item Vick~R.              \idxquad{13}
327\item Vogel~E.             \idxquad{1}
329\item Wacker~K.            \idxquad{8}
330\item Walther~A.           \idxquad{8}
331\item Weber~G.             \idxquad{13}
332\item Wegner~A.            \idxquad{11}
333\item Wellisch~H.P.        \idxquad{25}
334\item West~L.R.            \idxquad{3}
335\item Willard~S.           \idxquad{7}
336\item Winde~M.             \idxquad{33}
337\item Winter~G.-G.         \idxquad{11}
338\item Wolff~Th.            \idxquad{34}
339\item Wright~A.E.          \idxquad{22}
340\item Wulff~N.             \idxquad{11}
342\item Yiou~T.P.            \idxquad{28}
344\item \v{Z}\'a\v{c}ek~J.   \idxquad{30}
345\item Zeitnitz~C.          \idxquad{12}
346\item Ziaeepour~H.         \idxquad{26}
347\item Zimmer~M.            \idxquad{11}
348\item Zimmermann~W.        \idxquad{11}
Note: See TracBrowser for help on using the repository browser.