Research mind-map

Here is the complete mind-map of my accumulated research papers. It's about 80 documents, only about half of which will likely be useful, depending on which way I go. I've broken down the categories a little more than the preliminary version, but there aren't many big differences. Just the addition of about 20 documents.

I've uploaded the mind map in three formats:

  1. PNG Image
  2. HTML outline
  3. KDissert file

The image just gives the structure of the tree and title of each document while the HTML page displays the content of each node in outline form (despite the fact that the nodes are not ordered). The kdissert file has everything, as the others were generated from it. (Note: all links resolve to my local disk.)

Now it's time to figure out where to go with all this. I think I'll do that in a separate post.

A preliminary research list

As promised, here is a preliminary mind map and categorized list of my electronic research documents. I still have a (comparatively) small stack of paper documents and notes to go over, which I will include in a later version.

So far, I have categorized my research into two broad areas: practical and theoretical. By this, I'm refering primarily to the distinction between documents relating to more abstract mathematical concerns, such as semantic formalizations for programming constructs, and ones focused more on real-world activities, such as case studies or discussion of industrial considerations when using formal methods.

It seems I've got a lot of stuff to go on here. As is evident from the previous posts, my existing research base covers a wide range, from the highly abstract mathematics to in-depth industrial case studies. I seem to have a bit more material on the academic side, but I've got lots of practical stuff too. I'm going to have a hard time figuring out where to go with this. Of course, that's part of the reason I had to get organized and start this log in the first place.

Anyway, here are the documents in question. A picture of the mind map and the HTML document generated from it. Both of these documents were generated by KDissert 0.9. And just for the record, don't bother clicking any of the links in the HTML document - they all resolve to the files on my local machine. Anyone who's interested in seeing the documents in question should e-mail me or leave a comment.