Computer Science
doganulus
  • Member for 7 years, 11 months
  • Last seen more than 4 years ago
Profile Activity
Stats
326
reputation
6k
reached
8
answers
1
question
Communities
View all
About

PhD Student in CS. Interested in timed systems, formal verification, language and automata theory. Background in electrical engineering.

Also proficient in C and Python.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
14
Score
4
Posts
44
Posts %
10
Score
3
Posts
33
Posts %
8
Score
2
Posts
22
Posts %
7
Score
3
Posts
33
Posts %
5
Score
2
Posts
22
Posts %
4
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Votes Newest
4
Implementing regular expression matching using Brzozowski derivatives
Jul 29 '16
4
Why are regular expressions defined with union, concatenation and star operations?
Jul 27 '16
4
Model paths by regular languages
Jul 26 '15
3
The complexity of BDD Synchronous Composition
Aug 30 '16
2
Does Thompson's algorithm produce optimal NFAs?
Jul 26 '15
1
Streaming parsing algorithms
Aug 13 '16
1
Why should we study all the three forms of representation of finite automata?
Aug 11 '16
1
Should a pure function take all of the functions it calls as arguments?
Jul 27 '16
1
Is there any development in continuous-value computers?
Jul 28 '15
Top network posts
View all network posts
8
Name of a book featuring a race using interplanetary telepathy

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.