Skip to main content
Kai's user avatar
Kai's user avatar
Kai's user avatar
Kai
  • Member for 13 years, 2 months
  • Last seen this week
10 votes
Accepted

Reasoning about non-deterministically terminating loops

9 votes

Applications of metric structures on posets/lattices in theoryCS

6 votes
Accepted

Sufficient conditions to guarantee unique fixpoint (not unique least/greatest fixpoint) for monotone functions on complete lattice

6 votes
Accepted

How to auto-derivate sequential iterative programs from a mathematical specification?

5 votes

What is the theoretical basis of imperative programming?

5 votes

Decide if a given sequence is regular or context-free

4 votes

How hard is it to reduce termination to partial correctness?

4 votes

Are there "small" machines which can efficiently match regular expressions?

4 votes
Accepted

Are both safety and liveness properties closed under finite intersection?

3 votes

Applications of metric structures on posets/lattices in theoryCS

2 votes
Accepted

What is "structural model checking"?

2 votes

Does mathematical model for conccurent computations exist?

2 votes

Venues for short research articles

1 vote

Confusions about the technique for verifying implementations of linearizable objects in [Herlihy and Wing, 1990]

1 vote

How to translate general recursion into a set of $\mu$-recursive operator applications?

1 vote

Equivalence of finitary and infinitary semantics of concurrent programs

0 votes

The utility of Renyi entropies?

0 votes

How many DFAs accept two given strings?