Search

Your search keyword '"Bowles, Juliana"' showing total 65 results
Start Over Author "Bowles, Juliana" Publisher springer international publishing
65 results on '"Bowles, Juliana"'

1. Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform

Author

Banton, Matthew, Webber, Thais, Silvina, Agastya, Bowles, Juliana, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

2. A Secure User-Centred Healthcare System: Design and Verification

Author

Baranov, Eduard, Bowles, Juliana, Given-Wilson, Thomas, Legay, Axel, Webber, Thais, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

3. Semantic Annotations in Clinical Guidelines

Author

Rahman, Fahrurrozi, Bowles, Juliana, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Nanni, Mirco, editor

Published
2021
Full Text
View/download PDF

4. A Simulation Study on Demand Disruptions and Limited Resources for Healthcare Provision

Author

Bowles, Juliana, Czekster, Ricardo M., Redeker, Guilherme, Webber, Thais, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Nanni, Mirco, editor

Published
2021
Full Text
View/download PDF

5. A Simulation-Based Approach for the Behavioural Analysis of Cancer Pathways

Author

Silvina, Agastya, Redeker, Guilherme, Webber, Thais, Bowles, Juliana, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Nanni, Mirco, editor

Published
2021
Full Text
View/download PDF

6. Conflict-Free Access Rules for Sharing Smart Patient Health Records

Author

Banton, Matthew, Bowles, Juliana, Silvina, Agastya, Webber, Thais, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Moschoyiannis, Sotiris, editor, Peñaloza, Rafael, editor, Vanthienen, Jan, editor, Soylu, Ahmet, editor, and Roman, Dumitru, editor

Published
2021
Full Text
View/download PDF

7. Design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision

Author

Banton, Matthew, Bowles, Juliana, Silvina, Agastya, Webber, Thais, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Adler, Rasmus, editor, Bennaceur, Amel, editor, Burton, Simon, editor, Di Salle, Amleto, editor, Nostro, Nicola, editor, Olsen, Rasmus Løvenstein, editor, Saidi, Selma, editor, Schleiss, Philipp, editor, Schneider, Daniel, editor, and Schwefel, Hans-Peter, editor

Published
2021
Full Text
View/download PDF

8. Argumentation-Based Explanations of Multimorbidity Treatment Plans

Author

Shaheen, Qurat-ul-ain, Toniolo, Alice, Bowles, Juliana K. F., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Uchiya, Takahiro, editor, Bai, Quan, editor, and Marsá Maestre, Iván, editor

Published
2021
Full Text
View/download PDF

11. Designing a Patient-Centric System for Secure Exchanges of Medical Data

Author

Webber, Thais, Santana, Juan Mendoza, Vermeulen, Andreas Francois, Bowles, Juliana K. F., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gervasi, Osvaldo, editor, Murgante, Beniamino, editor, Misra, Sanjay, editor, Garau, Chiara, editor, Blečić, Ivan, editor, Taniar, David, editor, Apduhan, Bernady O., editor, Rocha, Ana Maria A. C., editor, Tarantino, Eufemia, editor, Torre, Carmelo Maria, editor, and Karaca, Yeliz, editor

Published
2020
Full Text
View/download PDF

12. On Defining Rules for Cancer Data Fabrication

Author

Bowles, Juliana K. F., Silvina, Agastya, Bin, Eyal, Vinov, Michael, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gutiérrez-Basulto, Víctor, editor, Kliegr, Tomáš, editor, Soylu, Ahmet, editor, Giese, Martin, editor, and Roman, Dumitru, editor

Published
2020
Full Text
View/download PDF

13. Dialogue Games for Explaining Medication Choices

Author

Shaheen, Qurat-ul-ain, Toniolo, Alice, Bowles, Juliana K. F., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gutiérrez-Basulto, Víctor, editor, Kliegr, Tomáš, editor, Soylu, Ahmet, editor, Giese, Martin, editor, and Roman, Dumitru, editor

Published
2020
Full Text
View/download PDF

14. Balancing Prescriptions with Constraint Solvers

Author

Bowles, Juliana K. F., Caminati, Marco B., Crippen, Gordon, Advisory Editor, Dress, Andreas, Editor-in-Chief, Giegerich, Robert, Editorial Board Member, Kelso, Janet, Editorial Board Member, Linial, Michal, Editor-in-Chief, Felsenstein, Joseph, Advisory Editor, Troyanskaya, Olga, Editor-in-Chief, Gusfield, Dan, Advisory Editor, Myers, Gene, Editorial Board Member, Istrail, Sorin, Advisory Editor, Pevzner, Pavel, Editorial Board Member, Vingron, Martin, Editor-in-Chief, Lengauer, Thomas, Advisory Editor, McClure, Marcella, Advisory Editor, Nowak, Martin, Advisory Editor, Sankoff, David, Advisory Editor, Shamir, Ron, Advisory Editor, Steel, Mike, Advisory Editor, Stormo, Gary, Advisory Editor, Tavaré, Simon, Advisory Editor, Warnow, Tandy, Advisory Editor, Welch, Lonnie, Advisory Editor, Liò, Pietro, editor, and Zuliani, Paolo, editor

Published
2019
Full Text
View/download PDF

15. On Predicting the Outcomes of Chemotherapy Treatments in Breast Cancer

Author

Silvina, Agastya, Bowles, Juliana, Hall, Peter, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Riaño, David, editor, Wilk, Szymon, editor, and ten Teije, Annette, editor

Published
2019
Full Text
View/download PDF

21. Annotated BPMN Models for Optimised Healthcare Resource Planning

Author

Bowles, Juliana, Czekster, Ricardo M., Webber, Thais, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Mazzara, Manuel, editor, Ober, Iulian, editor, and Salaün, Gwen, editor

Published
2018
Full Text
View/download PDF

22. A Flexible Approach for Finding Optimal Paths with Minimal Conflicts

Author

Bowles, Juliana K. F., Caminati, Marco B., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Duan, Zhenhua, editor, and Ong, Luke, editor

Published
2017
Full Text
View/download PDF

23. Correct Composition of Dephased Behavioural Models

Author

Bowles, Juliana, Caminati, Marco B., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Proença, José, editor, and Lumpe, Markus, editor

Published
2017
Full Text
View/download PDF

24. Formal Verification of CNL Health Recommendations

Author

Rahman, Fahrurrozi, Bowles, Juliana Küster Filipe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Polikarpova, Nadia, editor, and Schneider, Steve, editor

Published
2017
Full Text
View/download PDF

25. A Verified Algorithm Enumerating Event Structures

Author

Bowles, Juliana, Caminati, Marco B., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Geuvers, Herman, editor, England, Matthew, editor, Hasan, Osman, editor, Rabe, Florian, editor, and Teschke, Olaf, editor

Published
2017
Full Text
View/download PDF

29. Avoiding Medication Conflicts for Patients with Multimorbidities

Author

Kovalov, Andrii, Bowles, Juliana Küster Filipe, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, and Huisman, Marieke, editor

Published
2016
Full Text
View/download PDF

30. A Logical Approach for Behavioural Composition of Scenario-Based Models

Author

Bowles, Juliana Küster Filipe, Bordbar, Behzad, Alwanain, Mohammed, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Conchon, Sylvain, editor, and Zaïdi, Fatiha, editor

Published
2015
Full Text
View/download PDF

32. A Strongly Consistent Transformation from UML Interactions to PEPA Nets

Author

Bowles, Juliana, Kloul, Leïla, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Murgante, Beniamino, editor, Misra, Sanjay, editor, Rocha, Ana Maria A. C., editor, Torre, Carmelo, editor, Rocha, Jorge Gustavo, editor, Falcão, Maria Irene, editor, Taniar, David, editor, Apduhan, Bernady O., editor, and Gervasi, Osvaldo, editor

Published
2014
Full Text
View/download PDF

39. MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking

Author

Vandin, Andrea, Giachini, Daniele, Lamperti, Francesco, Chiaromonte, Francesca, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

40. Towards Model Checking Video Streams Using VoxLogicA on GPUs

Author

Bussi, Laura, Ciancia, Vincenzo, Gadducci, Fabio, Latella, Diego, Massink, Mieke, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

43. A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science

Author

Cerone, Antonio, Mengdigali, Anel, Nabiyeva, Nuray, Nurbay, Temirlan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

44. Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations

Author

Li, Bowen, Gedara, Jayathilake Pahala, Xia, Yuqing, Curtis, Thomas P., Zuliani, Paolo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

45. Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations

Author

Gray, Marissa, Majumder, Shweta, Nelson, Kate, Munbodh, Reshma, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

46. Analysis and Verification of Robustness Properties in Becker-Döring Model

Author

Nasti, Lucia, Gori, Roberta, Milazzo, Paolo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

47. A Refinement Based Algorithm for Learning Program Input Grammars

Author

Sochor, Hannes, Ferrarotti, Flavio, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

48. Privacy Risk and Data Utility Assessment on Network Data

Author

Pellungrini, Roberto, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Pellungrini, Roberto, editor

Published
2022
Full Text
View/download PDF

49. Handshape Classification in a Reverse Dictionary of Sign Languages for the Deaf

Author

Abutalipov, Alikhan, Janaliyeva, Aigerim, Mukushev, Medet, Cerone, Antonio, Sandygulova, Anara, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Nanni, Mirco, editor

Published
2021
Full Text
View/download PDF

50. Deriving Performance Measures of Workflow in Radiation Therapy from Real-Time Data

Author

Munbodh, Reshma, Leonard, Kara L., Klein, Eric E., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowles, Juliana, editor, Broccia, Giovanna, editor, and Nanni, Mirco, editor

Published
2021
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results