Theoretical Computer Science
a3nm's user avatar
a3nm's user avatar
a3nm's user avatar
a3nm
  • Member for 11 years, 11 months
  • Last seen this week
  • a3nm.net
  • Télécom Paris, greater Paris
Profile Activity
Stats
8,223
reputation
61k
reached
36
answers
66
questions
Communities
View all
About

Associate professor at Télécom Paris, working on database theory and other theoretical CS topics on enumeration, incremental maintenance, probabilistic data, logics... https://a3nm.net

Badges
View all badges
This user doesn’t have any gold badges yet.
24
silver badges
76
bronze badges
Top tags
View all tags
42
Score
24
Posts
24
Posts %
28
Score
31
Posts
30
Posts %
28
Score
11
Posts
11
Posts %
24
Score
34
Posts
33
Posts %
22
Score
17
Posts
17
Posts %
20
Score
22
Posts
22
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
25
Is it still open to determine the complexity of computing the treewidth of planar graphs?
Sep 11, 2015
question
25
Recognizing sequences with all permutations of $\{1, \ldots, n\}$ as subsequences
May 21, 2015
question
23
Languages recognized by polynomial-size DFAs
May 5, 2014
question
23
Proof of the pumping lemma for context-free languages using pushdown automata
Jun 10, 2011
question
23
Testing whether letters can be scheduled to achieve a word in a regular language
Mar 1, 2018
question
18
"Almost sorting" integers in linear time
Apr 24, 2017
question
17
Complexity of the homomorphism problem parameterized by treewidth
Jun 2, 2016
answer
17
Proof of the pumping lemma for context-free languages using pushdown automata
Apr 24, 2012
question
16
Which monotone Boolean functions are representable as thresholds on sums?
May 12, 2015
question
16
Complexity of counting the number of edge covers of a graph
Feb 27, 2014
Top Meta posts
3
0
9
Should I accept an answer stating that the question is an open problem?
5
Short name for this site?
4
Hiding bad (closed/downvoted questions) on front page?
Top network posts
View all network posts
561
Turn off buffering in pipe
405
How to split a string in shell and get the last field
140
How can I create a Set of Sets in Python?
102
How to do nothing forever in an elegant way?
61
How do I remove an SSH forwarded port

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.