Skip to content

Research at St Andrews

University > Research portal > Research publications > Aplicação de técnicas quantitativas de modelagem na busca da...

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

Research output: Contribution to conference › Poster

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. Correct composition in the presence of behavioural conflicts and dephasing

    Kuster Filipe Bowles, J. & Caminati, M. B., 1 Jan 2020, In : Science of Computer Programming. 185, 22 p., 102323.

    Research output: Contribution to journal › Article

  2. 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 journal › Article

  3. 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 proceeding › Conference contribution

  4. 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 proceeding › Chapter

  5. 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 journal › Abstract

ID: 246140946

Top