Theoretical Computer Science
Profile Activity
Meta user
Network profile
509
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, 4 months
  • 65 profile views
  • Last seen Dec 27 '19 at 15:34

Communities (29)

Top network posts

Top tags (0)

This user has not participated in any 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
6 What is the worst-case runtime complexity to transform a NFA to DFA via Rabin-Scott's power set construction? Dec 11 '14
5 Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso? Jul 29 '15
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 →