External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Optimization and Multistage Systems. The Thawing Case

Eleonora Pippia, Arianna Bozzato, Emidio Tiberi, Riccardo Furlanetto, Alberto Policriti. Optimization and Multistage Systems. The Thawing Case. In Nicola Gigante, Federico Mari, Andrea Orlandini, editors, Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019. Volume 2509 of CEUR Workshop Proceedings, pages 101-106, CEUR-WS.org, 2019. [doi]

Authors

Eleonora Pippia

This author has not been identified. Look up 'Eleonora Pippia' in Google

Arianna Bozzato

This author has not been identified. Look up 'Arianna Bozzato' in Google

Emidio Tiberi

This author has not been identified. Look up 'Emidio Tiberi' in Google

Riccardo Furlanetto

This author has not been identified. Look up 'Riccardo Furlanetto' in Google

Alberto Policriti

This author has not been identified. Look up 'Alberto Policriti' in Google
runs on