Bibliography

theoretical background & nearby subjects

tableaux methods & translating LTL to Büchi automata

emptiness checks

ω-automata

partial orders

fairness

hierachies/classes of temporal logics

counterexamples generation

General overviews, surveys, or tutorials.

Thesis or book chapters too big to fit in folders.

28cm = 11in

The computer science lab I work in is being relocated to another place in Paris. So while movers are having fun with our 13-storey building, I carried my paper collection home so I could work. This pile is almost everything I have to cite in my thesis. It's rather daunting, especially if you know that I printed most papers in a "two pages per side" layout to save paper. Fortunately it's already mostly sorted, annotated, and indexed.

This photo has notes. Move your mouse over the photo to see them.

To take full advantage of Flickr, you should use a JavaScript-enabled browser and
install the latest version of the Macromedia Flash Player.

Comments

dmswart says:

(to the tune of hakuna matata)
ω-automata: what a wonderful phrase.
ω-automata: ain't no passing phase.

I did my masters in theoretical computer science too (With Jeff Shallit). Sometimes I miss it.

My Erdos number is two - so that's nice.
Posted 37 months ago. ( permalink )

World_Citizen says:

I thought that one of the most important impact of computer science would have been to save paper... and trees... and planet warming !
Posted 37 months ago. ( permalink )

gadl says:

@Dave: if you like singing math, you probably know about The Klein Four Group? I bought their CD a couple of months ago (unfortunately the 2-page booklet does not include the lyrics, so it's a bit hard for me to get every pun).

Good for you to have such a small Erdos number, it's half of the requirements to get your Nobel price :)

@papa: Maybe in a few years we'll have user interfaces that are as easy to use as paper, but right now they aren't. I want to be able to lay out several pages in front of me, annotate them in all sort of ways, mark some pages dog-eared, etc.

I also have the equivalent stack of papers into my computer. I only use it when I'm searching for something, or when my printed version is out of reach.
Posted 37 months ago. ( permalink )

dmswart says:

Checked out the Klein four group - definately will look into them more.

@world citizen - I'm not sure many people would agree that less paper consumption is "the most important impact of computer science" because
a) the sheer magnitude of other impacts computer science has had a hand in.
b) the paper consumption is likely up not down.
Posted 37 months ago. ( permalink )

Manυ says:

I checked the group too, very funny! gadl, you can actually get the lyrics on their website.

@dave: "On April 20, 2004 Bill Tozier, a researcher with Erdős number 4, offered the chance for collaboration to attain an Erdős number 5 in an auction on eBay. The final bid was $1,031" (Wikipedia). If you don't win the Nobel prize, at least you can earn some money... :)
Posted 37 months ago. ( permalink )

Hatchibombotar says:

Thanks for putting a CC license on this photo. I used it to illustrate a blog post about bibliographic software.
Posted 26 months ago. ( permalink )

andrew.kaufman says:

Hello,

I work for a website called Mahalo, and I used your photo on a page I worked on called "How to Cite":

www.mahalo.com/How_to_Cite

Thank you for a great photo! I really appreciate it.

Mahalo!
Andy
Posted 22 months ago. ( permalink )

johnlamb says:

Thanks for publishing your photo with a Creative Commons license! I used it in the following post and gave you credit here:

nashvilleforallofus.wordpress.com/2009/01/22/ deluge/
Posted 11 months ago. ( permalink )

susanej05 says:

Nice photo! I've included it (with attribution at the bottom) in a blog post. Thanks!
Posted 6 months ago. ( permalink )

2Pan2change says:

Thank you so much for publishing with a CC. I too, used your photo in a post for a woman's writing group:

chrysaliswomenwriters.wordpress.com

Perhaps the photo of your thesis is just as popular as the thesis?
Thanks.
Posted 6 months ago. ( permalink )

Would you like to comment?

[?]

	gadl's photostream
		5,778 uploads

4 people call this photo a favorite

Additional Information

Some rights reserved Anyone can see this photo

Taken with a Sony DSC-T5.
More properties
Taken on December 11, 2006
Viewed 2,074 times

Add to your map

Yay location removed

...

(Some formats are OK.)

Or, remove it from the map.

Go to the map

You	Sign in \| Create Your Free Account
Explore	Places \| Last 7 Days \| This Month \| Popular Tags \| The Commons \| Creative Commons \| Search
Help	Community Guidelines \| The Help Forum \| FAQ \| Sitemap \| Get Help

Bibliography

Comments

dmswart says:

World_Citizen says:

gadl says:

dmswart says:

Manυ says:

Hatchibombotar says:

andrew.kaufman says:

johnlamb says:

susanej05 says:

2Pan2change says:

Would you like to comment?

gadl's photostream

Tags

Additional Information