Theoretical Computer Science
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 11 years
  • Last seen more than a month ago
Profile Activity
Stats
2,329
reputation
40k
reached
18
answers
31
questions
Communities
View all
About

I am interested in distributed computing and formal methods.

Badges
View all badges
1
gold badge
16
silver badges
32
bronze badges
Top tags
View all tags
16
Score
30
Posts
61
Posts %
11
Score
5
Posts
10
Posts %
10
Score
18
Posts
37
Posts %
9
Score
9
Posts
18
Posts %
6
Score
6
Posts
12
Posts %
4
Score
20
Posts
41
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
25
Curious about computer-assisted NP-completeness proofs
Jan 31, 2015
question
19
Why is the consensus problem so important in distributed computing?
Dec 5, 2012
question
13
Correctness proofs of classic Paxos and Fast Paxos
Sep 24, 2014
question
11
Is there algorithmic mathematical analysis?
May 30, 2015
question
10
What are the major research issues in distributed transactions?
Dec 14, 2014
question
10
Why is linearizability a safety property and why are safety properties closed sets?
Feb 27, 2014
question
9
Is linearizability equivalent to consensus problem?
Apr 15, 2013
question
8
Is there some mathematical closed form (or somewhat tight asymptotic one) for "Google Eggs Puzzle"?
Dec 9, 2012
question
7
Explaining computer science algorithms/concepts/ideas using metaphors
Nov 2, 2014
question
7
Confusions about the technique for verifying implementations of linearizable objects in [Herlihy and Wing, 1990]
Nov 23, 2015
Top network posts
View all network posts
33
Why is the "topologist's sine curve" not locally connected?
25
Projection map being a closed map
23
How to enforce the left-to-right node ordering in GraphViz rank layout?
21
How to center an `itemize` in beamer, together with its headline?
20
log(n) complexity. Difficulty understanding example

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.