Search all the public and
authenticated
articles in CiteULike.
Enter a search phrase. You can also specify
a CiteULike article id (
123456
),
a DOI (
doi:10.1234/12345678
)
or a PubMed Id (
pmid:12345678
).
Click
Help
for advanced usage.
CiteULike
mvermaat's CiteULike
Search
Register
Log in
Home
News/Blog
NEW
Citegeist
Everyone's Library
Browse Groups
Search Groups
Journals
FAQs
Howto
Discussion
Library
Unread
Search
Authors
Tags
Export
Profile
Publications
Blog
Context Menu
Groups
Connections
Recommendations
NEW
Neighbours
Watchlist
mvermaat's profile
About me
Username:
mvermaat
Name:
Martijn Vermaat
Job title:
Not specified
Affiliation:
Not specified
Web page:
http://martijn.vermaat.name/
Joined:
2008-02-26
What I do
Not specified
Interests
Not specified
Recent Activity
2009-11-16
18:02: posted
Certified Programming with Dependent Types
09:57: posted
The surprise examination or unexpected hanging paradox