Skip to main content
Theoretical Computer Science
a3nm's user avatar
a3nm's user avatar
a3nm's user avatar
a3nm
  • Member for 13 years, 3 months
  • Last seen this week
  • a3nm.net
  • Télécom Paris, greater Paris
Profile Activity
Stats
9,677
reputation
79k
reached
45
answers
74
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.
30
silver badges
87
bronze badges
Top tags
View all tags
51
Score
24
Posts
20
Posts %
38
Score
13
Posts
11
Posts %
37
Score
31
Posts
26
Posts %
35
Score
25
Posts
21
Posts %
34
Score
36
Posts
30
Posts %
30
Score
16
Posts
13
Posts %
Top posts
View all questions and answers
26
Is it still open to determine the complexity of computing the treewidth of planar graphs?
Sep 11, 2015
25
Recognizing sequences with all permutations of $\{1, \ldots, n\}$ as subsequences
May 21, 2015
23
Languages recognized by polynomial-size DFAs
May 5, 2014
23
Proof of the pumping lemma for context-free languages using pushdown automata
Jun 10, 2011
23
Testing whether letters can be scheduled to achieve a word in a regular language
Mar 1, 2018
22
Is the 3-coloring problem NP-hard on graphs of maximal degree 3?
Nov 21, 2022
19
"Almost sorting" integers in linear time
Apr 24, 2017
18
Complexity of the homomorphism problem parameterized by treewidth
Jun 2, 2016
17
Proof of the pumping lemma for context-free languages using pushdown automata
Apr 24, 2012
16
Which monotone Boolean functions are representable as thresholds on sums?
May 12, 2015
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
576
How to turn off stdout buffering in a pipe?
416
How to split a string in shell and get the last field
149
How can I create a Set of Sets in Python?
109
How to do nothing forever in an elegant way?
68
How do I remove an SSH forwarded port