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
robertjohnsimmons'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
robertjohnsimmons's profile
About me
Username:
robertjohnsimmons
Name:
Robert J. Simmons
Job title:
Graduate Student
Affiliation:
Carnegie Mellon University
Web page:
http://www.cs.cmu.edu/~rjsimmon
Joined:
2009-06-30
Research Fields
NEW
None specified
What I do
Not specified
Interests
Not specified
Recent Activity
2009-11-27
15:33: added a comment to group forum thread
[CLOSED] Volume 0?
2009-11-25
23:15: added a group forum thread
[CLOSED] Volume 0?
15:19: posted
Strictly declarative specification of sophisticated points-to analyses
2009-11-24
19:45: posted
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
2009-11-23
16:48: posted
The Principal Type-Scheme of an Object in Combinatory Logic
16:14: posted
A theory of type polymorphism in programming
2009-11-21
00:12: posted
Queue Logic: An Undisplayable Logic?
2009-11-20
07:28: posted
A Coverage Checking Algorithm for LF
2009-11-19
23:58: posted
On understanding data abstraction, revisited