Theo Dounas, PhD SFHEA ARB

Research output

Research output per year 2006 2021 2022 2023 2024 2025

• 42 Conference contribution
• 6 Article
• 5 Chapter
• 4 Conference article
• 5 More
  • 2 Book
  • 1 Paper
  • 1 Letter
  • 1 Digital or Visual Products

Research output per year

Research output per year

Search results

• 2025

  Shaping Formal Methods: Syntax, Typology and Computation

  Dounas, T. & Lombardi, D., Mar 2025, In: Nexus Network Journal. 27, 1, p. 1-5 5 p.

  Research output: Contribution to journal › Letter

  • design 100%
  • calculation methods 100%
  • Geometric Transformation 100%
  • Analytical Process 100%
  • Formal Method 100%