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
~5k
people reached
  • Karlsruhe, Germany
  • Member for 9 years, 11 months
  • 66 profile views
  • Last seen Dec 27 '19 at 15:34

Communities (29)

Top network posts

This user doesn’t have any gold badges yet.
4
silver badges
15
bronze badges
View all badges

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

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.