• Skip to main navigation
  • Skip to search
  • Skip to main content
JKU & KUK Research Portal Home JKU & KUK Research Portal Logo
  • Help & FAQ
    • English
    • Deutsch
  • Home
  • Research units
  • Profiles
  • Research output
  • Projects
  • Activities
  • Datasets
  • Prizes
  • Press/Media
No photo of Tereso Del Rio Almajano

Tereso Del Rio Almajano

Dr.

  • Institute for Symbolic Artificial Intelligence
  • Research Institute for Symbolic Computation
  • Emailtereso.del_rio_almajanojkuat
  • Overview
  • Network
  • Research output (1)
  • Activities (3)

Research output

  • 1 Research report

Research output per year

Research output per year

  • A DSL for Specifying a Class of Industrial Optimisation Problems

    Del Rio Almajano, T., Schreiner, W., Seidl, M., Kutsia, T. & Windsteiger, W., 2025, RISC, JKU, 19 p. (RISC Report Series; vol. 25-12).

    Research output: Working paper and reports › Research report

    Open Access

Activities

  • 3 Other talk or presentation

Activities per year

  • InProSSA: Automatising Industrial Optimisation

    Del Rio Almajano, T. (Speaker)

    17 Nov 2025

    Activity: Talk or presentation › Other talk or presentation › science-to-science

  • Speeding Up Quantifier Elimination by Machine learning

    Del Rio Almajano, T. (Speaker)

    16 Jun 2025

    Activity: Talk or presentation › Other talk or presentation › science-to-science

  • Selfintroduction

    Del Rio Almajano, T. (Speaker)

    26 May 2025

    Activity: Talk or presentation › Other talk or presentation › science-to-science

JKU & KUK Research Portal Logo

Powered by Pure, Scopus & Elsevier Fingerprint Engine™

All content on this site: Copyright © 2026 JKU & KUK Research Portal, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

Log in to Pure

Impressum

About web accessibility

Report vulnerability

Contact us