Links:

Computer Science Digital libraries:

  1. ACM Portal
  2. IEEE Explore
  3. Springer Link Service
  4. Elsevier Science Direct
  5. Cambridge Journals Online
  6. Formal Methods Wiki

Scientific search engines:

  1. Research Index
  2. Networked Computer Science Technical Reference Library
  3. Computer Science Bibliographies
  4. Personal Home Pages of Computer Scientists
  5. Computing Science Repository (CoRR)

Theoretical Computer Science Weblogs:

  1. Process Algebra Diary
  2. Lambda the Ultimate
  3. Computational Complexity

How to write academic papers:

  1. How to write a Ph.D. thesis
  2. The Science of Scientific Writing
  3. How to present a paper in theoretical computer science
  4. How to have your abstract rejected.
  5. How to write a graduate thesis
  6. Erik Demaine's List of Events
  7. Call For Papers (formal methods and related fields)
  8. CS Conference Rankings
  9. Computer Science (Theory and Methods) Journal Rankings
  10. Formal methods and software technology conferences
  11. Open Refereeing Policy by Bertrand Meyer
  12. My English usage links page
  13. My LaTex links page
    14. `

How to be a good (better) graduate student:

  1. You and Your Research by Richard Hamming. Mirror
  2. So long and thanks for the Ph.D.
  3. How to get a Ph.D.
  4. I did a PhD and did NOT go mad
  5. Online PhD Guide
    6. (Thanks to Hannah Vaughn for encouragement and suggesting the above two links.)
  6. Advices on CS graduate school
  7. How to be a good graduate student
  8. Lots of nice notes on academic life by Douglas Comer (Don't miss the research topic generator!)
    Along the same lines, but in a different subject domain, check The Postmodernism Generator.
  9. How to have a bad career in research/academia

Others, Interests:

  1. Iran:
    1. Iran’s travel entry in Google web directory
    2. Persian Poetry, 2
    3. Pictures from Iran and Tehran
    4. Islam
    5. Persian Recipes
    6. Mahan Air
    7. IranAir, The Nethelands' Office
  2. The Netherlands:
    1. The UnDutchables
    2. The Internet Guide to Amsterdam
    3. American Vlaai
    4. Taalunieversum: Everything about Dutch (Language)
    5. Dutch Spelling
  3. Humor:
    1. Robust Windows!
    2. Which OS are you?
    3. Formal Methods Humor

Travel:

  1. Search Engines:
    1. DoHop: A Search engine including most low-fare airlines.
    2. Ebookers
    3. Expedia
  2. Low-fare Airlines
    1. Ryan Air
    2. Easy Jet
    3. Sterling
    4. Air Berlin
    5. Iceland Express
  3. Countries I have been to (33 countries, ~170 more to go!)

    4. create your own visited country map

Disclaimer:

The author and his corresponding institution do not have any responsibility about the contents of the provided links.

Back to Home

Created: 05/Oct/2001
Last Change: 01/Nov/2011