Theoretical Computer Science
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 10 years, 1 month
  • Last seen this week
Profile Activity
Stats
1,588
reputation
26k
reached
7
answers
28
questions
Communities
View all
About

Researcher at the Free University of Bozen-Bolzano working on temporal reasoning in formal methods and AI.

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
20
bronze badges
Top tags
View all tags
19
Score
16
Posts
46
Posts %
11
Score
7
Posts
20
Posts %
4
Score
7
Posts
20
Posts %
3
Score
4
Posts
11
Posts %
3
Score
3
Posts
9
Posts %
3
Score
3
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
21
Has the semantics of TeX (as a programming language) ever been formalized?
Feb 26, 2018
question
13
Algebraic equivalent of SAT?
Jan 7
question
12
Is there a survey of the field of quantum automata?
Apr 7, 2016
answer
8
Applications of Game theory in computer science?
Jul 9, 2015
question
7
Algebraic characterisation of star-free safety languages
Oct 6, 2021
question
6
Relationship between natural deduction refutation and tableaux for propositional logic
May 22, 2022
question
6
Relationship between the transition monoid of an automaton and its adjacency matrix
Jan 27
question
6
Complexity of validity of first-order logic over finite words with bounded quantifier alternation?
Oct 11, 2016
question
6
Finite Automata with succinct representation of chains of states
Oct 27, 2016
answer
6
EXPSPACE-complete problems
Jun 7, 2016
Top network posts
View all network posts
98
Hyperref warning - Token not allowed in a PDF string
39
How can I detect if a type can be streamed to an std::ostream?
26
Why can't TeX show us the actual "undefined control sequence"?
25
Why the libc++ std::vector internally keeps three pointers instead of one pointer and two sizes?
20
Making use of allocators in a custom container class

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.