bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Overview of complexity and decidability results for three classes of elementary nonlinear systems Vincent D. Blondel John N. Tsitsiklis [github]
Complexity of stability and controllability of elementary hybrid systems Vincent D Blondel John N Tsitsiklis [github]
The continuous Skolem-Pisot problem Paul C. Bell Jean-Charles Delvenne Raphael M. Jungers Vincent D. Blondel [github]
A survey of computational complexity results in systems and control Vincent D. Blondel John N. Tsitsiklis [github]
The presence of a zero in an integer linear recurrent sequence is NP-hard to decide Vincent D. Blondel Natacha Portier [github]
The boundedness of all products of a pair of matrices is undecidable Vincent D. Blondel John N. Tsitsiklis [github]

Library Size: 13G (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge
[show logs] [hide logs]