-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy paththesisrefs.bib
1226 lines (1031 loc) · 40.7 KB
/
thesisrefs.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
@STRING{IEEE_J_EC = "{IEEE} Trans. En. Conv."}
@STRING{IEEE_J_PWRE = "{IEEE} Trans. Power Electron."}
@STRING{IEEE_J_PWRS = "{IEEE} Trans. Power Syst."}
@STRING{IEEE_J_MAG = "{IEEE} Trans. Magn."}
@STRING{J_NUM_ENG = "Int. J. Numer. Meth. Engng."}
@STRING{ENG_ANAL = "Eng. Anal."}
@STRING{IEEE_J_EDU = "{IEEE} Trans. Educ."}
@STRING{IEEE_J_MTT = "{IEEE} Trans. Microwave Theory Tech."}
@STRING{IEEE_J_IA = "{IEEE} Trans. Ind. Applicat."}
@STRING{IEEE_J_AntProp = "{IEEE} Trans. Ant. and Prop."}
@IEEEtranBSTCTL{IEEEexample:BSTcontrol,
CTLmax_names_forced_etal = "4",
CTLnames_show_etal = "1"
};
%% IEEEexample.bib
%% V1.10
%% 2002/09/27
%% Copyright (c) 2002 by Michael Shell
%% mshell(at)ece.gatech.edu
%% See support website below for current contact information.
%%
%% NOTE: This text file uses MS Windows line feed conventions. When (human)
%% reading this file on other platforms, you may have to use a text
%% editor that can handle lines terminated by the MS Windows line feed
%% characters (0x0D 0x0A).
%%
%% This is an example BibTeX database for the official IEEEtran.bst
%% BibTeX style file.
%%
%% Some entries call strings that are defined in the IEEEabrv.bib file.
%% Therefore, IEEEabrv.bib should be loaded prior to this file.
%% Usage:
%%
%% \bibliographystyle{./IEEEtran} % use IEEEtran.bst style
%% \bibliography{./IEEEabrv,./IEEEexample}
%%
%%
%% Support sites:
%% http://www.ctan.org/tex-archive/macros/latex/contrib/supported/IEEEtran/
%% and/or
%% http://www.ieee.org
%%**********************************************************************
%% Legal Notice:
%% This code is offered as-is without any warranty either expressed or
%% implied; without even the implied warranty of MERCHANTABILITY or
%% FITNESS FOR A PARTICULAR PURPOSE!
%% User assumes all risk.
%% In no event shall IEEE or any contributor to this code be liable for
%% any damages or losses, including, but not limited to, incidental,
%% consequential, or any other damages, resulting from the use or misuse
%% of any information contained here.
%%
%% This code is distributed under the Perl Artistic License
%% ( http://language.perl.com/misc/Artistic.html )
%% and may be freely used, distributed and modified - subject to the
%% constraints therein.
%% Retain all contribution notices, credits and disclaimers.
%%
%% All comments are the opinions of their respective authors and are not
%% necessarily endorsed by the IEEE.
%%**********************************************************************
% Note that, because the example references were taken from actual IEEE
% publications, these examples do not always contain the full amount
% of information that may be desirable (for use with other BibTeX styles).
% In particular, full names (not abbreviated with initials) should be
% entered whenever possible as some (non-IEEE) bibliography styles use
% full names. IEEEtran.bst will automatically abbreviate when it
% encounters full names.
@electronic{Report:Report,
author = "Simon Marlow",
url = "https://www.haskell.org/onlinereport/haskell2010/",
title = "Haskell 2010 Report",
year = "2010"
};
@electronic{Report:27,
author = "Simon Marlow",
url = "https://www.haskell.org/onlinereport/haskell2010/haskellch2.html#x7-210002.7",
title = "Haskell 2010 Report",
year = "2010"
};
@electronic{Report:103,
author = "Simon Marlow",
url = "https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-17800010.3",
title = "Haskell 2010 Report",
year = "2010"
};
@electronic{Report:105,
author = "Simon Marlow",
url = "https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-18000010.5",
title = "Haskell 2010 Report",
year = "2010"
};
@electronic{Report:101,
author = "Simon Marlow",
url = "https://www.haskell.org/onlinereport/haskell2010/haskellch10.html#x17-17600010.1",
title = "Haskell 2010 Report",
year = "2010"
};
@electronic{Report:104,
author = "Simon Marlow",
url = "https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-620004",
title = "Haskell 2010 Report",
year = "2010"
};
@book{Type:Type,
author = "Benjamin Pierce",
title = "Types and Programming Languages",
year = "2002"
};
@electronic{Stanford:TypeTheory,
url = "https://plato.stanford.edu/entries/type-theory/",
title = "Stanford Encyclopedia of Philosophy"
};
@electronic{Infer:TypeSub,
author = "Nikos Drakos and Ross Moore",
url = "http://www.mathcs.duq.edu/simon/Fall04/notes-7-4/node3.html",
year = "2001"
};
@electronic{Infer:Compose,
author = "Nikos Drakos and Ross Moore",
url = "http://www.mathcs.duq.edu/simon/Fall04/notes-7-4/node4.html",
year = "2001"
};
@electronic{CS421:Unif,
url = "https://courses.engr.illinois.edu/cs421/fa2018/CS421A/lectures/15-16-poly-type-infer-unif.pdf",
title = "CS 421 Class Notes on Inference and Unification"
};
@electronic{Foldoc:Type,
url = "http://foldoc.org/type",
title = "Free Online Dictionary of Computing"
};
@electronic{Stack:Depre,
url = "https://stackoverflow.com/questions/9345589/guards-vs-if-then-else-vs-cases-in-haskell",
title = "Stack Overflow"
};
@article{TypeSystem:Hindley,
author = "R. Hindley",
title = "The principal type scheme of an object in combinatory logic",
journal = "Transactions of the American Mathematical Society",
volume = "146",
month = dec,
year = "1969",
pages = "29-60"
};
@inproceedings{TypeSystem:Milner,
author = "Luis Damas and Robin Milner",
title = "Principal type-schemes for functional programs",
booktitle = "In Conference Record of the 9th Annual ACM Symposium on Principles of Programming Languages",
address = "New York",
year = "1982",
pages = "207-212"
};
@article{rosu-serbanuta-2010-jlap,
title={An Overview of the {K} Semantic Framework},
author={Grigore Ro{\c s}u and Traian Florin {\c S}erb{\u a}nu{\c t}{\u a} },
journal={Journal of Logic and Algebraic Programming},
volume={79},
number={6},
pages={397--434},
year={2010},
ee={http://dx.doi.org/10.1016/j.jlap.2010.03.012},
doi={10.1016/j.jlap.2010.03.012},
};
@electronic{KFrame,
url = "http://www.kframework.org/",
title = "K-Framework"
};
@BOOK{Milner90thedefinition,
author = {Robin Milner and Mads Tofte},
title = {The Definition of Standard ML},
year = {1990},
};
@electronic{GHC,
url = "https://www.haskell.org/ghc/",
title = "GHC Website"
};
%A. Church: A Formulation of the Simple Theory of Types, JSL 5, 1940
@article{TypeSystem:Simple,
author = "A. Church",
title = "A Formulation of the Simple Theory of Types",
journal = "The Journal of Symbolic Logic",
volume = "5",
month = jun,
year = "1940",
pages = "56-68"
};
@article{Reynolds2018,
author = "John C Reynolds",
title = "{Towards a Theory of Type Structure}",
year = "2018",
month = "6",
url = "https://figshare.com/articles/Towards_a_Theory_of_Type_Structure/6611015",
doi = "10.1184/R1/6611015.v1"
}
% references for the IEEEtran.bst documentation
% the distribution site for IEEEtran.bst
@electronic{IEEEexample:shellCTANpage,
author = "Michael Shell",
title = "{IEEE}tran Homepage on {CTAN}",
url = "http://www.ctan.org/tex-archive/macros/latex/contrib/supported/IEEEtran/",
year = "2002"
};
% the IEEE website
% sort key is needed for sorting styles
@electronic{IEEEexample:IEEEwebsite,
title = "The {IEEE} Website",
url = "http://www.ieee.org/",
year = "2002",
key = "IEEE"
};
% The BibTeX user's guide.
% The filename could have been put in the URL instead. But, there might
% be other interesting things for the user in the same directory - and
% the filename might change before the directory that contains it.
@electronic{IEEEexample:bibtexuser,
author = "Oren Patashnik",
title = "{\BibTeX}ing",
howpublished = "{btxdoc.pdf}",
url = "http://www.ctan.org/tex-archive/biblio/bibtex/contrib/doc/",
month = feb,
year = "1988"
};
% The BibTeX style designer's guide.
@electronic{IEEEexample:bibtexdesign,
author = "Oren Patashnik",
title = "Designing {\BibTeX\ } Styles",
howpublished = "{btxhak.pdf}",
url = "http://www.ctan.org/tex-archive/biblio/bibtex/contrib/doc/",
month = feb,
year = "1988"
};
% The BibTeX Tips and FAQ guide.
@electronic{IEEEexample:bibtexFAQ,
author = "David Hoadley and Michael Shell",
title = "{\BibTeX}\ Tips and {FAQ}",
howpublished = "{btxFAQ.txt}",
url = "http://www.ctan.org/tex-archive/biblio/bibtex/contrib/doc/",
month = oct,
year = "2002"
};
% TeX User Group Bibliography Archive
@electronic{IEEEexample:beebe_archive,
author = "Nelson H. F. Beebe",
title = "{\TeX\ }User Group Bibliography Archive",
url = "http://www.math.utah.edu:8080/pub/tex/bib/index-table.html",
month = may,
year = "2002"
};
% The url.sty package.
@electronic{IEEEexample:urlsty,
author = "Donald Arseneau",
title = "The url.sty package",
url = "http://www.ctan.org/tex-archive/macros/latex/contrib/other/misc/",
month = mar,
year = "1999",
};
% The hyperref.sty package.
@electronic{IEEEexample:hyperrefsty,
author = "Sebastian Rahtz and Heiko Oberdiek",
title = "The hyperref.sty package",
url = "http://www.ctan.org/tex-archive/macros/latex/contrib/supported/hyperref/",
month = jul,
year = "2002",
};
% The Babel package.
@electronic{IEEEexample:babel,
author = "Johannes Braams",
title = "The {Babel} package",
url = "http://www.ctan.org/tex-archive/macros/latex/required/babel/",
month = feb,
year = "2001",
};
% The three most common and typical types of references used in
% IEEE publications:
% an article in a journal
% Note the use of the IEEE_J_EDL string, defined in the IEEEabrv.bib file,
% for the journal name. IEEEtran.bst defines the BibTeX standard three
% letter month codes per IEEE style.
% From the June 2002 issue of "IEEE Transactions on Electron Devices",
% page 996, reference #16.
@article{IEEEexample:article_typical,
author = "S. Zhang and C. Zhu and J. K. O. Sin and P. K. T. Mok",
title = "A Novel Ultrathin Elevated Channel Low-temperature
Poly-{Si} {TFT}",
journal = IEEE_J_EDL,
volume = "20",
month = nov,
year = "1999",
pages = "569-571"
};
% journal article using et al.
% The (five) authors are actually: F. Delorme, S. Slempkes, G. Alibert,
% B. Rose, J. Brandon
% The month (July) was not given here.
% From the September 1998 issue of "IEEE Journal on Selected Areas in
% Communications", page 1257, reference #28.
@article{IEEEexample:articleetal,
author = "F. Delorme and others",
title = "Butt-jointed {DBR} Laser With 15 {nm} Tunability Grown
in Three {MOVPE} Steps",
journal = "Electron. Lett.",
volume = "31",
number = "15",
year = "1995",
pages = "1244-1245"
};
% a paper in a conference proceedings
% "conference" can be used as an alias for "inproceedings"
% From the June 2002 issue of "Journal of Microelectromechanical Systems",
% page 205, reference #16.
@inproceedings{IEEEexample:conf_typical,
author = "R. K. Gupta and S. D. Senturia",
title = "Pull-in Time Dynamics as a Measure of Absolute Pressure",
booktitle = "Proc. {IEEE} International Workshop on
Microelectromechanical Systems ({MEMS}'97)",
address = "Nagoya, Japan",
month = jan,
year = "1997",
pages = "290-294"
};
% a book
% From the May 2002 issue of "IEEE Transactions on Magnetics",
% page 1466, reference #4.
@book{IEEEexample:book_typical,
author = "B. D. Cullity",
title = "Introduction to Magnetic Materials",
publisher = "Addison-Wesley",
address = "Reading, MA",
year = "1972"
};
% Other examples
% journal article with large page numbers, IEEE will divide numbers 5 digits
% or longer into groups of three with small spaces between them. Page ranges
% can be separated via either "-" or "--", IEEEtran.bst will automatically
% convert the separator dash(es) to "--".
% Authors and/or IEEE do not always provide/use the journal number, but it
% was used in this case. IEEEtran.bst can be configured to ignore journal
% numbers if desired.
% From the August 2000 issue of "IEEE Photonics Technology Letters",
% page 1039, reference #11.
@article{IEEEexample:articlelargepages,
author = "A. Castaldini and A. Cavallini and B. Fraboni
and P. Fernandez and J. Piqueras",
title = "Midgap Traps Related to Compensation Processes in
{CdTe} Alloys",
journal = "Phys. Rev. B.",
volume = "56",
number = "23",
year = "1997",
pages = "14897-14900"
};
% journal article with dual months
% use the BibTeX "#" concatenation operator
% From the March 2002 issue of "IEEE Transactions on Mechatronics",
% page 21, reference #8.
@article{IEEEexample:articledualmonths,
author = "Y. Okada and K. Dejima and T. Ohishi",
title = "Analysis and Comparison of {PM} Synchronous Motor and
Induction Motor Type Magnetic Bearings",
journal = IEEE_J_IA,
volume = "31",
month = sep # "/" # oct,
year = "1995",
pages = "1 047-1053"
};
% journal article to be published as a misc entry type
% date information like month and year is optional
% However, the article form like that below may be a better approach.
% From the May 2002 issue of "IEEE Journal of Selected Areas in
% Communication", page 725, reference #3.
@misc{IEEEexample:TBPmisc,
author = "M. Coates and A. Hero and R. Nowak and B. Yu",
title = "Internet Tomography",
howpublished = IEEE_M_SP,
month = may,
year = "2002",
note = "to be published"
};
% journal article to be published as an article entry type
% year is required, so if absent, use the year field to hold
% the "submitted for publication" in order to avoid a warning for
% the missing year field.
% From the June 2002 issue of "IEEE Transactions on Information Theory",
% page 1461, reference #21.
@article{IEEEexample:TBParticle,
author = "N. Kahale and R. Urbanke",
title = "On the Minimum Distance of Parallel and Serially
Concatenated Codes",
journal = IEEE_J_IT,
year = "submitted for publication"
};
% book with editor and no author
% From the June 2002 issue of "IEEE Transactions on Information Theory",
% page 1725, reference #1.
@book{IEEEexample:bookwitheditor,
editor = "J. C. Candy and G. C. Temes",
title = "Oversampling Delta-Sigma Data Converters Theory,
Design and Simulation",
publisher = "{IEEE} Press.",
address = "New York",
year = "1992"
};
% book with edition, author and editor
% Note that the standard BibTeX styles do not support book entries with both
% author and editor fields, but IEEEtran.bst does.
% The standard BibTeX way of specifying the edition is to use capitalized
% ordinal words such as "First", "Second", etc. Most .bst files can convert
% up to about "Fifth" into the format needed. IEEEtran.bst can convert up
% to "Tenth" to the "Arabic ordinal" form IEEE uses (e.g., "10th"). For
% editions over the tenth, it is best to use the "Arabic ordinal" form for
% IEEE related work (e.g., "101st")
% Note how "Jr." has to be entered.
% From the May 2002 issue of "Journal of Lightwave Technology", page 856,
% reference #17.
@book{IEEEexample:book,
author = "S. M. Metev and V. P. Veiko",
editor = "Osgood, Jr., R. M.",
title = "Laser Assisted Microtechnology",
edition = "Second",
publisher = "Springer-Verlag",
address = "Berlin, Germany",
year = "1998"
};
% book with series and volume
% From the January 2000 issue of "IEEE Transactions on Communications",
% page 11, reference #31.
@book{IEEEexample:bookwithseriesvolume,
editor = "J. Breckling",
title = "The Analysis of Directional Time Series: Applications to
Wind Speed and Direction",
series = "Lecture Notes in Statistics",
publisher = "Springer",
address = "Berlin, Germany",
year = "1989",
volume = "61"
};
% inbook with chapter number. The pages field could also have been given.
% The chapter number could be changed to something else such as a section
% number via the type field: type = "sec.".
% From the May 2002 issue of "IEEE Transactions on Circuits and Systems---I:
% Fundamental Applications and Theory", page 638, reference #22.
@inbook{IEEEexample:inbook,
author = "H. E. Rose",
title = "A Course in Number Theory",
publisher = "Oxford Univ. Press",
address = "New York, NY",
year = "1988",
chapter = "3"
};
% inbook with pages and note. The language field is not set to Russian
% because the title is presented here in its translated, English, form.
% From the May 2002 issue of "IEEE Transactions on Magnetics", page 1533,
% reference #5.
@inbook{IEEEexample:inbookpagesnote,
author = "B. K. Bul",
title = "Theory Principles and Design of Magnetic Circuits",
publisher = "Energia Press",
address = "Moscow",
year = "1964",
pages = "464",
note = "(in Russian)"
};
% incollection with author and editor
% From the May 2002 issue of "Journal of Lightwave Technology",
% page 807, reference #7.
@incollection{IEEEexample:incollection,
author = "W. V. Sorin",
editor = "D. Derickson",
title = "Optical Reflectometry for Component Characterization",
booktitle = "Fiber Optic Test and Measurement",
publisher = "Prentice-Hall",
address = "Englewood Cliffs, NJ",
year = "1998"
};
% incollection with series
% From the April 2000 issue of "IEEE Transactions on Communication",
% page 609, reference #3.
@incollection{IEEEexample:incollectionwithseries,
author = "J. B. Anderson and K. Tepe",
title = "Properties of the Tailbiting {BCJR} Decoder",
booktitle = "Codes, Systems and Graphical Models",
series = "{IMA} Volumes in Mathematics and Its Applications",
publisher = "Springer-Verlag",
address = "New York",
year = "2000"
};
% incollection with author, editor, chapter and pages
% From the January 2000 issue of "IEEE Transactions on Communications",
% page 16, reference #9.
@incollection{IEEEexample:incollection_chpp,
author = "P. Hedelin and P. Knagenhjelm and M. Skoglund",
editor = "W. B. Kleijn and K. K. Paliwal",
title = "Theory for Transmission of Vector Quantization Data",
booktitle = "Speech Coding and Synthesis",
publisher = "Elsevier Science",
address = "Amsterdam, The Netherlands",
year = "1995",
chapter = "10",
pages = "347-396"
};
% incollection with a large number of authors, some authors/journals will
% use et al. for so many names. IEEEtran.bst can be configured to do this
% if desired, or "R. M. A. Dawson and others" can be used instead.
% Note that IEEE may not include the publisher for incollection entries -
% IEEEtran.bst will not issue a warning if the publisher is missing for
% incollections - but other .bst files often will.
% From the June 2002 issue of "IEEE Transactions on Electron Devices",
% page 996, reference #12.
@incollection{IEEEexample:incollectionmanyauthors,
author = "R. M. A. Dawson and Z. Shen and D. A. Furst and
S. Connor and J. Hsu and M. G. Kane and R. G. Stewart and
A. Ipri and C. N. King and P. J. Green and R. T. Flegal
and S. Pearson and W. A. Barrow and E. Dickey and K. Ping
and C. W. Tang and S. Van. Slyke and
F. Chen and J. Shi and J. C. Sturm and M. H. Lu",
title = "Design of an Improved Pixel for a Polysilicon
Active-Matrix Organic {LED} Display",
booktitle = "{SID} Tech. Dig.",
volume = "29",
year = "1998",
pages = "11-14"
};
% A Motorola data book as a manual
% It is somewhat unusual to include the data book part number.
% in the title. It might be more correct to put this information
% in the howpublished field instead.
% From the December 2000 issue of "IEEE Transactions on Communications",
% page 1986, reference #10.
@manual{IEEEexample:motmanual,
title = "{FLEXChip} Signal Processor ({MC68175/D})",
organization = "Motorola",
year = "1996"
};
% same reference, but using IEEEtran's howpublished extension
@manual{IEEEexample:motmanualhowpub,
title = "{FLEXChip} Signal Processor",
howpublished = "{MC68175/D}",
organization = "Motorola",
year = "1996"
};
% conference paper with an address and days. Some journals capitalize the
% letters in "Globecom", this one did not.
% From the May 2002 issue of "IEEE Transactions on Communications",
% page 697, reference #12.
@inproceedings{IEEEexample:confwithadddays,
author = "M. S. Yee and L. Hanzo",
title = "Radial Basis Function Decision Feedback Equaliser
Assisted Burst-by-burst Adaptive Modulation",
booktitle = "Proc. {IEEE} Globecom '99",
address = "Rio de Janeiro, Brazil",
month = dec # " 5--9,",
year = "1999",
pages = "2183-2187"
};
% conference paper with volume number. A conference proceedings with a vol
% number is a little uncommon, note that the vol number is placed
% before the address in the formatted bibliography entry
% From the April 2002 issue of "IEEE/ACM Transactions on Networking",
% page 181, reference #26.
@inproceedings{IEEEexample:confwithvolume,
author = "M. Yajnik and S. B. Moon and J. Kurose and D. Towsley",
title = "Measurement and Modeling of the Temporal Dependence in
Packet Loss",
booktitle = "Proc. {IEEE} {INFOCOM}'99",
volume = "1",
address = "New York, NY",
month = mar,
year = "1999",
pages = "345-352"
};
% conference paper with a paper number, the type field can be used to
% override the word "paper", e.g., type = "postdeadline paper". A type
% can be given even without a paper field.
% Also, IEEEtran.bst can be configured to ignore paper numbers and types.
% From the May 2002 issue of "Journal of Lightwave Technology",
% page 807, reference #4.
@inproceedings{IEEEexample:confwithpaper,
author = "M. Wegmuller and J. P. von der Weid and P. Oberson
and N. Gisin",
title = "High Resolution Fiber Distributed Measurements With
Coherent {OFDR}",
booktitle = "Proc. {ECOC}'00",
year = "2000",
paper = "11.3.4",
pages = "109"
};
% conference paper with a postdeadline type paper, the paper field is
% optional.
% From the August 2000 issue of "IEEE Photonics Technology Letters",
% page 1087, reference #12.
@inproceedings{IEEEexample:confwithpapertype,
author = "B. Mikkelsen and G. Raybon and R.-J. Essiambre and
K. Dreyer and Y. Su. and L. E. Nelson and J. E. Johnson
and G. Shtengel and A. Bond and D. G. Moodie and
A. D. Ellis",
title = "160 {Gbit/s} Single-channel Transmission Over 300 km
Nonzero-dispersion Fiber With Semiconductor Based
Transmitter and Demultiplexer",
booktitle = "Proc. {ECOC}'99",
year = "1999",
paper = "2-3",
type = "postdeadline paper",
pages = "28-29"
};
% presented at a conference
% intype overrides the default "in" and causes the booktitle not to be
% emphasized (rendered in italics).
% From the February 2002 issue of "IEEE/ACM Transactions on Networking",
% page 163, reference #6.
@inproceedings{IEEEexample:presentedatconf,
author = "S. G. Finn and M. M{\'e}dard and R. A. Barry",
title = "A Novel Approach to Automatic Protection Switching
Using Trees",
intype = "presented at the",
booktitle = "Proc. Int. Conf. Commun.",
year = "1997"
};
% master's thesis, often the University name will be abbreviated and the
% state or country will be included in the address. The type field can
% used to override the default type "Master's thesis"
% From the June 2002 issue of "IEEE Transactions on Microelectromechanical
% Systems", page 186, reference #11.
@mastersthesis{IEEEexample:masters,
author = "Nin C. Loh",
title = "High-Resolution Micromachined Interferometric
Accelerometer",
school = "Massachusetts Institute of Technology",
address = "Cambridge",
year = "1992"
};
% master's thesis with a type field
% From the August 2001 issue of "IEEE/ACM Transactions on Networking",
% page 391, reference #12.
@mastersthesis{IEEEexample:masterstype,
author = "A. Karnik",
title = "Performance of {TCP} Congestion Control with Rate
Feedback: {TCP/ABR} and Rate Adaptive {TCP/IP}",
school = "Indian Institute of Science",
type = "M. Eng. thesis",
address = "Bangalore, India",
month = jan,
year = "1999"
};
% Ph.D. dissertation with a URL field, the university is abbreviated
% From the October 2001 issue of "IEEE/ACM Transactions on Networking",
% page 590, reference #11.
@phdthesis{IEEEexample:phdurl,
author = "Q. Li",
title = "Delay Characterization and Performance Control of
Wide-area Networks",
school = "Univ. of Delaware",
address = "Newark",
month = may,
year = "2000",
url = "http://www.ece.udel.edu/~qli"
};
% technical report
% From the August 2001 issue of "IEEE/ACM Transactions on Networking",
% page 490, reference #15.
@techreport{IEEEexample:techrep,
author = "R. Jain and K. K. Ramakrishnan and D. M. Chiu",
title = "Congestion Avoidance in Computer Networks with a
Connectionless Network Layer",
institution = "Digital Equipment Corporation",
address = "MA",
number = "DEC-TR-506",
month = aug,
year = "1987"
};
% technical report with type
% for those times when "Tech. Rep." needs to be modified
% From the February 2001 issue of "IEEE/ACM Transactions on Networking",
% page 46, reference #8.
@techreport{IEEEexample:techreptype,
author = "J. Padhye and V. Firoiu and D. Towsley",
title = "A Stochastic Model of {TCP} {R}eno Congestion Avoidance
and Control",
institution = "Univ. of Massachusetts",
address = "Amherst, MA",
type = "CMPSCI Tech. Rep.",
number = "99-02",
year = "1999"
};
% technical report with type
% for those times when "Tech. Rep." needs to be modified
% This reference did not have an address.
% From the January 2000 issue of "IEEE Transactions on Communications",
% page 117, reference #6.
@techreport{IEEEexample:techreptypeii,
author = "D. Middleton and A. D. Spaulding",
title = "A Tutorial Review of Elements of Weak Signal Detection
in Non-{G}aussian {EMI} Environments",
institution = "National Telecommunications and Information
Administration ({NTIA}), U.S. Dept. of Commerce",
type = "NTIA Report",
number = "86-194",
month = may,
year = "1986"
};
% an unpublished work
% for unpublished types, the note field is required. IEEE usually
% just uses the word "unpublished" for the note.
% From the August 2001 issue of "IEEE/ACM Transactions on Networking",
% page 391, reference #16.
@unpublished{IEEEexample:unpublished,
author = "T. J. Ott and N. Aggarwal",
title = "{TCP} over {ATM}: {ABR} or {UBR}",
note = "Unpublished"
};
% electronic with a howpublished information field
% From the August 2001 issue of "IEEE/ACM Transactions on Networking",
% page 391, reference #7.
@electronic{IEEEexample:electronhowinfo,
author = "V. Jacobson",
title = "Modified {TCP} Congestion Avoidance Algorithm",
howpublished = "end2end-interest mailing list",
url = "ftp://ftp.isi.edu/end2end/end2end-interest-1990.mail",
month = apr,
year = "1990"
};
% electronic with a howpublished information field
% From the August 2001 issue of "IEEE/ACM Transactions on Networking",
% page 418, reference #31.
@electronic{IEEEexample:electronhowinfo2,
author = "V. Valloppillil and K. W. Ross",
title = "Cache Array Routing Protocol v1.1",
howpublished = "Internet draft",
url = "http://ds1.internic.net/internet-drafts/draft-vinod-carp-v1-03.txt",
year = "1998"
};
% electronic with an organization and address
% From the February 2002 issue of "IEEE/ACM Transactions on Networking",
% page 114, reference #15.
@electronic{IEEEexample:electronorgadd,
author = "D. H. Lorenz and A. Orda",
title = "Optimal Partition of {QoS} Requirements on Unicast
Paths and Multicast Trees",
organization = "Dept. Elect. Eng., Technion",
address = "Haifa, Israel",
url = "ftp://ftp.technion.ac.il/pub/supported/ee/Network/lor.mopq98.ps",
month = jul,
year = "1998"
};
% U.S. patent
% Use the type field to override the patent type. e.g.,
% type = "Patent Application"
% The address is that of the assignee. Note that IEEE does not
% display the assignee, the address, and only displays one date.
% (if year is not present, the filed dates are used.) However, this
% information should be entered as other BibTeX styles may use it.
% alternatively, nationality could be entered as "U.S."
% From the April 2000 issue of "IEEE Transactions on Communications",
% page 542, reference #6.
@patent{IEEEexample:uspat,
author = "Ronald E. Sorace and Victor S. Reinhardt and
Steven A. Vaughn",
assignee = "Hughes Aircraft Company",
address = "Los Angeles, CA",
title = "High-Speed Digital-to-{RF} Converter",
nationality = "United States",
number = "5668842",
dayfiled = "28",
monthfiled = feb,
yearfiled = "1995",
day = "16",
month = sep,
year = "1997"
};
% Japanese Patent
% From the April 2000 issue of "IEEE Transactions on Communications",
% page 556, reference #6.
@patent{IEEEexample:jppat,
author = "U. Hideki",
title = "Quadrature Modulation Circuit",
nationality = "Japanese",
number = "152932/92",
day = "20",
month = may,
year = "1992"
};
% French Patent request, the language field must be entered in lower case
% as this is the option name Babel uses. The nationality field needs to be
% capitalized. Because this is a patent request, the date filed fields are
% used while the date fields are left empty/missing. In other countries,
% the words "Patent Application", etc. are used instead.
% From the April 2000 issue of "IEEE Transactions on Communications",
% page 556, reference #9.
@patent{IEEEexample:frenchpatreq,
author = "F. Kowalik and M. Isard",
title = "Estimateur d'un D{\'e}faut de Fonctionnement
d'un Modulateur en Quadrature et {\'E}tage de Modulation
l'Utilisant",
language = "french",
nationality = "French",
type = "Patent Request",
number = "9500261",
dayfiled = "11",
monthfiled = jan,
yearfiled = "1995"
};
% a periodical
% From the April 2001 issue of "IEEE/ACM Transactions on Networking",
% page 160, reference #1.
% sort key is needed for sorting styles
@periodical{IEEEexample:periodical,
title = IEEE_M_PCOM # ", Special Issue on Wireless {ATM}",
volume = "3",
month = aug,
year = "1996",
key = "IEEE"
};
% standard, IEEE does not use the address for standards, but it is good
% to provide one for BibTeX styles that use it.
% From the August 2001 issue of "IEEE/ACM Transactions on Networking",
% page 451, reference #2.
@standard{IEEEexample:standard,
title = "Wireless {LAN} Medium Access Control {(MAC)} and
Physical Layer {(PHY)} Specification",
organization = "IEEE",
address = "Piscataway, NJ",
number = "802.11",
year = "1997"
};
% standard with type and revision, the type overrides the word standard
% (or std.). Here a standard number is not available and a revision number
% is used.
% From the August 2000 issue of "IEEE Photonics Technology Letters",
% page 1048, reference #13.
@standard{IEEEexample:standardproposed,
title = "Fiber Channel Physical Interface ({FC-PI})",
institution = "NCITS",
address = "Washington, DC",
type = "Working Draft Proposed Standard",
revision = "5.2",
year = "1999"
};
% standard draft as a misc with author
% From the May 2002 issue of "IEEE Journal of Selected Areas in
% Communication", page 725, reference #16.
@misc{IEEEexample:draftasmisc,
author = "I. Widjaja and A. Elwalid",