Computer Science
Profile Activity
Meta user
Network profile
375
reputation
1
8

Cilenco

Student at the university of Münster (Germany). I concentrate on Android development and efficient algorithms and data structures.

1
answer
11
questions
~3k
people reached
  • Germany
  • Member for 5 years, 3 months
  • 24 profile views
  • Last seen Nov 20 '20 at 7:12

Communities (10)

Top network posts

Top tags (17)

Score 1
Posts 1
Posts % 8
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (12)

All Questions Answers
Votes Newest
5 How to prove the emptiness of intersection of two context free languages is undecidable? May 18 '19
5 Problem with definition of bisimilarity May 13 '17
3 Proof emptiness for PDA is $\mathcal{O}(n^3)$ May 21 '19
3 Nested word automatons Mar 10 '19
3 Automaton without stack for visibly pushdown languages Mar 6 '19
2 Why is LTL Model Checking in PSPACE Jan 30 '19
2 Is a Petri net without places well-defined? Oct 19 '15
1 Efficiently deciding whether TM accepts all inputs in at most $k$ steps May 19 '19
1 Show that NP is not equal to SPACE(n) Jun 24 '18
1 Nodes reached with exactly $k$ steps in an undirected graph? May 26 '17
View all questions and answers →

Badges (9)

Gold

—

Silver

1

Rarest

Bronze

8

Rarest