Skip to main content
Theoretical Computer Science
DaveBall aka user750378's user avatar
DaveBall aka user750378's user avatar
DaveBall aka user750378's user avatar
DaveBall aka user750378
  • Member for 13 years
  • Last seen more than 1 year ago
  • Karlsruhe, Germany
Profile Activity
Stats
499
reputation
7k
reached
0
answers
8
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
17
bronze badges
Top tags
View all tags
0
Score
5
Posts
62
Posts %
0
Score
4
Posts
50
Posts %
0
Score
4
Posts
50
Posts %
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
Top posts
question
16
(How) can you model broadcasts in the pi-calculus?
Mar 19, 2012
question
12
Expressiveness of Büchi vs CTL(*)
Jun 19, 2012
question
7
Can choice or sequential execution be expressed with other basic operators of the pi calculus?
Jul 13, 2015
question
5
Are there temporal logics linear time properties that only have counterexamples that are more complex than a lasso?
Jul 29, 2015
question
5
What is the worst-case runtime complexity to transform a NFA to DFA via Rabin-Scott's power set construction?
Dec 11, 2014
question
4
Inductive definition of ECTL*: how are recursive formulas forbidden?
Jan 14, 2013
question
2
What is the space complexity of CTL model checking?
Jan 9, 2015
question
1
How to show that ECTL* is more expressive than CTL* $\cup$ Büchi (with an example)
Jan 22, 2013
Top network posts
View all network posts
83
Linked list loop detection algorithm
75
Do object-oriented programming languages exist that are not class-based?
72
What is the best macro-benchmarking tool / framework to measure a single-threaded complex algorithm in Java?
58
What is the best macro-benchmarking tool / framework to measure a single-threaded complex algorithm in Java?
48
what's meaning the container_cpu_cfs_throttled_seconds_total metrics