Computer Science
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 8 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
448
reputation
2k
reached
1
answer
14
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.
2
silver badges
12
bronze badges
Top tags
View all tags
3
Score
1
Posts
7
Posts %
3
Score
1
Posts
7
Posts %
3
Score
1
Posts
7
Posts %
0
Score
5
Posts
33
Posts %
0
Score
3
Posts
20
Posts %
0
Score
2
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
7
Is there any published paper about automated planning software used in the ESA Rosetta mission?
Jun 5, 2015
question
5
Has this graph-theoretic problem got a known name? Is it NP-hard?
Mar 17, 2016
question
3
Uses of of the one-variable fragment of first-order logic aka S5
Nov 11, 2021
question
3
Complementation of deterministic Streett automata
Oct 31, 2022
question
3
Building the minimal automaton from the syntactic monoid of a language
Jan 29
answer
3
Why isn't deque implemented as a dynamic array?
Jan 24, 2018
question
2
Test suite for SAT solvers
Dec 31, 2020
question
2
Recurring computations for 2-counter machines
Dec 7, 2021
question
1
Suggestion for a good statistics book for computer scientists, in preparation of machine learning
Oct 22, 2019
question
1
Modal logic equivalent to two-variable first-order logic?
Jan 18, 2021
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?
22
Has the semantics of TeX (as a programming language) ever been formalized?

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.