Skip to content

Research at St Andrews

Aplicação de técnicas quantitativas de modelagem na busca da eficiência de processos hospitalares

Research output: Contribution to conferencePoster

Author(s)

Thais Webber, Marco Bright Caminati, Marciane Mueller, Guilherme Redeker, Juliana Kuster Filipe Bowles, Ricardo Czekster, Sandra Quickert

School/Research organisations

Details

Original languagePortuguese
Publication statusAccepted/In press - 23 Sep 2016

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1 Aug 2019, In : Science of Computer Programming. 182, p. 42-63 22 p.

    Research output: Contribution to journalArticle

  2. An integrated approach to a combinatorial optimisation problem

    Kuster Filipe Bowles, J. & Caminati, M. B., 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). LNCS ed. Cham: Springer, p. 284-302 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11918).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Balancing prescriptions with constraint solvers

    Bowles, J. K. F. & Caminati, M. B., 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Cham: Springer, p. 243-267 25 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Formalization and Automation of Quality Assurance Processes in Radiation Oncology

    Munbodh, R., Zaveri, H., Caminati, M. & Bowles, J., 31 Jul 2018, In : Medical physics. 45, 6, p. E274-E274 1 p.

    Research output: Contribution to journalAbstract

ID: 246140946

Top