Theoretical Computer Science
Meta user
Network profile
234
reputation
3
14

DaveBall aka user750378

I'm the CEO of QPR Technologies and always want to improve my coding skills.

0
answers
8
questions
~3k
people reached
  • Karlsruhe, Germany
  • Member for 7 years, 10 months
  • 64 profile views
  • Last seen Mar 21 '18 at 12:21

Communities (26)

Top network posts

Top tags (13)

Score 0
Posts 5
Posts % 62
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (8) All Questions Answers | Votes Newest

16 (How) can you model broadcasts in the pi-calculus? Mar 19 '12
12 Expressiveness of Büchi vs CTL(*) Jun 19 '12
7 Can choice or sequential execution be expressed with other basic operators of the pi calculus? Jul 13 '15
5 Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso? Jul 29 '15
5 What is the worst-case runtime complexity to transform a NFA to DFA via Rabin-Scott's power set construction? Dec 11 '14
4 Inductive definition of ECTL*: how are recursive formulas forbidden? Jan 14 '13
2 What is the space complexity of CTL model checking? Jan 9 '15
1 How to show that ECTL* is more expressive than CTL* $\cup$ Büchi (with an example) Jan 22 '13

Badges (17)

Gold

—

Silver

3

Rarest

Bronze

14

Rarest

View all badges →