Theoretical Computer Science
Profile Activity
Meta user
Network profile
499
reputation
4
15

DaveBall aka user750378

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

0
answers
8
questions
~4k
people reached
  • Karlsruhe, Germany
  • Member for 9 years
  • 65 profile views
  • Last seen Dec 27 '19 at 15:34

Communities (28)

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 (19)

Gold

—

Silver

4

Rarest

Bronze

15

Rarest

View all badges →