ThesaHelp: help with bibliographic references

Summary

A bibliographic reference provides access to an article or book. It lists the authors, title, city of publication , publisher, page numbers, and date. See the ACM Digital Library for articles published by the ACM. See the IEEE Computer Society Digital Library for articles published by the IEEE.

Thesa defines an abbreviated name for each reference. The name consists of the first four letters of the first author's last name followed by the author's initials and date of publication. The initials are capitalized. The date consists of a one or two digit month and a four digit year separated by an underscore. The date may be followed by a single letter if multiple references would otherwise have the same name. For informal notes, the reference is the author's initials.

A reference may have multiple sources. If so, the page numbers for quotations may come from the alternative source.

If a page number is followed by '+', the previous quotation had two or more titles.

The bottom of the web page records when and who collected the quotation. The earliest date in Thesa is 1980, indicating notes collected from 1974 to 1980. The first collection of quotations was made with slips of paper from a manual typewriter, and sorted into glycene envelopes. Initially, the notes were cryptic. I soon discovered that a quotation was a better record of an idea. Over the years, the average length of quotation has increased.

Unless otherwise noted, the following journals and conferences have been scanned from inception to 2019-date. Computational geometry references are scanned for the development of Qhull (http://qhull.org). Some of these references have Thesa quotations.

INSPEC Computer & Control Abstracts were scanned to 2003. Unfortunately the Web interfaces to INSPEC do not allow searching by primary classification code. Hence coverage of Springer's Lecture Notes in Computer Science, and other sources, is limited after 2003.

ACM/SIGPLAN Conference of Programming Language Design and Implementation (PLDI)

ACM SIGPLAN International Conference on Functional Programming (ICFP)

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

ACM Transactions on Computer-Human Interaction

ACM Transactions on Information Systems

ACM Transactions on Internet Technology (TOIT)

ACM Transactions on Programming Languages & Systems (TOPLAS)

ACM Transactions on Software Engineering and Methodology

ACM Transactions on Web (TWEB)

Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)

Annual Symposium on the Foundations of Computer Science (FOCS, IEEE, from 1986)

Automated Software Engineering (Kluwer)

Behavioral & Brain Sciences

Canadian Conference on Computational Geometry

Communications of the ACM

Computational Geometry: Theory & Applications (skipped vol. 89-97, 99, 101, 104, 106)

Computer (IEEE, from vol 8)

Computing Reviews

Computing Surveys

Discrete & Computational Geometry (Springer)

IEEE Software

IEEE Transactions on Software Enginering

IEEE/ACM International Conference on Software Engineering (ICSE)

International Journal of Computational Geometry & Applications (IJCGA)

International Symposium on the Computational Geometry (SoCG)

Journal of Systems and Software (Open Access)

Journal of Computational Geometry

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)

Proceedings on Programming Languages (PACMPL, OOPSLA, POPL, ICFP)

SIGIR

SIGIR conference (from 1993)

SIGPLAN Notices

Software Engineering Notes

Software Practice & Experience

Related

ThesaHelp: getting started with Thesa

ThesaHelp: help with quotations

ThesaHelp: help with topics