Institut für Softwaretechnik und Programmiersprachen

Suchergebnisse

  • 2024

    Detection of spoiled food along the supply chain with novel sensors for packed food

    Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2024, Photonic Technologies in Plant and Agricultural Science. Heinemann, D. & Polder, G. (Hrsg.). SPIE, Band 12879. S. 1287906 1 S.

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2023

    Consensus on the definition and assessment of external validity of randomized controlled trials: A Delphi study

    Jung, A., Braun, T., Armijo-Olivo, S., Challoumas, D. & Luedtke, K., 25.12.2023, in: Research Synthesis Methods.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Fluorescence based detection of gaseous food spoilage indicators

    Altmann, A., Khodaygani, M., Leucker, M., Schell, C. & Rahmanzadeh, R., 2023, Translational Biophotonics: Diagnostics and Therapeutics III. Huang, Z. & Lilge, L. D. (Hrsg.). SPIE, Band 12627. S. 126270I

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag

  • 2022

    Identification of tools used to assess the external validity of randomized controlled trials in reviews: a systematic review of measurement properties

    Jung, A., Balzer, J., Braun, T. & Luedtke, K., 12.2022, in: BMC Medical Research Methodology. 22, 1, 100.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    4 Zitate (Scopus)

  • Responsible and Regulatory Conform Machine Learning for Medicine: A Survey of Challenges and Solutions

    Petersen, E., Potdevin, Y., Mohammadi, E., Zidowitz, S., Breyer, S., Nowotka, D., Henn, S., Pechmann, L., Leucker, M., Rostalski, P. & Herzog, C., 2022, in: IEEE Access. 10, S. 58375-58418 44 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    2 Zitate (Scopus)
  • 2021

    AI-Lab - An Ecosystem for Managing AI projects

    Leucker, M. & Ostanina, M., 2021, INFORMATIK 2021: Managing Artificial Intelligence. Giffen, B. V., Koehler, J., Brenner, W. & Albayrak, C. A. (Hrsg.).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search.

    Barbot, B., Bollig, B., Finkel, A., Haddad, S., Khmelnitsky, I., Leucker, M., Neider, D., Roy, R. & Ye, L., 2021, S. 113-129.

    Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

    Bartocci, E. (Hrsg.), Falcone, Y. (Hrsg.) & Leucker, M. (Hrsg.), 2021, Springer. (Lecture Notes in Computer Science)(Formal Methods in Outer Space)

    Publikation: Bücher/Sammlungen/Gesamtwerke/Habilitations- und Dissertationsschriften › Anthologien › Begutachtung

  • Minimal important change and responsiveness of the Migraine Disability Assessment Score (MIDAS) questionnaire

    Carvalho, G. F., Luedtke, K. & Braun, T., 12.2021, in: Journal of Headache and Pain. 22, 1, 126.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    12 Zitate (Scopus)

  • Preface.

    Leucker, M. & Colombo, C., 2021, in: Int. J. Softw. Tools Technol. Transf.. 23, 2, S. 155-156 2 S., 2.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

    Khmelnitsky, I., Neider, D., Roy, R., Xie, X., Barbot, B., Bollig, B., Finkel, A., Haddad, S., Leucker, M. & Ye, L., 2021, S. 364-380.

    Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Responsible and Regulatory Conform Machine Learning for Medicine - A Survey of Technical Challenges and Solutions

    Petersen, E., Potdevin, Y., Mohammadi, E., Zidowitz, S., Breyer, S., Nowotka, D., Henn, S., Pechmann, L., Leucker, M., Rostalski, P. & Herzog, C., 2021, arXiv.

    Publikation: Andere Beiträge › Andere › Forschung

  • Timed Dyadic Deontic Logic.

    Kharraz, K. Y., Leucker, M. & Schneider, G., 2021, JURIX. S. 197-204 8 S.

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2020

    Formal verification of neural networks?

    Leucker, M., 19.11.2020, SBMF 2020: Formal Methods: Foundations and Applications. Carvalho, G. & Stolz, V. (Hrsg.). Springer, Cham, Band 12475 LNCS. S. 3-7 5 S. (Lecture Notes in Computer Science; Band 12475 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • KI-SIGS: Artificial Intelligence for the Northern German Health Ecosystem

    Fischer, S., Leucker, M., Lüth, C., Martinetz, T., Mildner, R., Nowotka, D. & Steinicke, F., 01.2020, in: Digitale Welt. 4, 1, S. 49-54 6 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Navigation and visualisation with HoloLens in endovascular aortic repair

    Garciá-Vázquez, V., Von Haxthausen, F., Jäckle, S., Schumann, C., Kuhlemann, I., Bouchagiar, J., Höfer, A. C., Matysiak, F., Hüttmann, G., Goltz, J. P., Kleemann, M., Ernst, F. & Horn, M., 01.09.2020, in: Innovative Surgical Sciences. 3, 3, S. 167-177 11 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    27 Zitate (Scopus)

  • Real-time MTL with durations as SMT with applications to schedulability analysis.

    Pedro, A. D. M., Leucker, M., Pereira, D. & Pinto, J. S., 2020, TASE. S. 49-56 8 S.

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Runtime verification of real-time event streams under non-synchronized arrival

    Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M. & Schramm, A., 01.06.2020, in: Software Quality Journal. 28, 2, S. 745-787 43 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    1 Zitat (Scopus)

  • SkinDot: A modified full-skin transplantation technique

    Ottoman, C., Buntrock, G., Gatz, K., Hartmann, B., Aarabi, G., Kaschwich, M., Kleemann, M. & Bayer, A., 05.2020, in: Annals of Anatomy. 229, 151454.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • 2019

    COST action IC1402 runtime verification beyond monitoring

    Colombo, C., Falcone, Y., Leucker, M., Reger, G., Sanchez, C., Schneider, G. & Stolz, V., 08.11.2019, RV 2018: Runtime Verification. Colombo, C. & Leucker, M. (Hrsg.). Springer, Cham, Band 11237. S. 18-26 9 S. (Lecture Notes in Computer Science; Band 11237).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Empowering Multilevel DSMLs with Integrated Runtime Verification

    Macias, F., Rutle, A., Stolz, V., Scheffel, T. & Schmitz, M., 22.05.2019. 15 S.

    Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Error-resistant scaling of three-dimensional nanoscale shapes on the basis of DNA-tiles

    Bende, P., Lau, F-L. & Fischer, S., 25.09.2019, NANOCOM '19: Proceedings of the Sixth Annual ACM International Conference on Nanoscale Computing and Communication. Association for Computing Machinery, S. 1–6 6 S. 3345460

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

    Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., 06.02.2019, in: International Journal on Software Tools for Technology Transfer. 21, 1, S. 31-70 40 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    33 Zitate (Scopus)

  • Generic Parallel Array Programming in SAC

    Grelck, C. & Scholz, S-B., 01.03.2019, S. 1 - 11. 11 S.

    Publikation: Konferenzbeiträge › Konferenzpapiere › Begutachtung

  • Hardware-based runtime verification with embedded tracing units and stream processing

    Convent, L., Hungerecker, S., Scheffel, T., Schmitz, M., Thoma, D. & Weiss, A., 08.11.2019, RV 2018: Runtime Verification. Colombo, C. & Leucker, M. (Hrsg.). Springer, Cham, Band 11237. S. 43-63 21 S. (Lecture Notes in Computer Science; Band 11237).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Non-intrusive MC/DC measurement based on traces

    Ahishakiye, F., Jaksic, S., Lange, F. D., Schmitz, M., Stolz, V. & Thoma, D., 07.2019, 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, S. 86-92 7 S. 8914094

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Preface to special issue: ICTAC 2015

    Leucker, M., Pérez, J. A., Rueda, C. & Valencia, F. D., 01.01.2019, in: Mathematical Structures in Computer Science. 29, 1, S. 1-2 2 S.

    Publikation: Beiträge in Fachzeitschriften › Leitartikel

  • Runtime Verification for Timed Event Streams with Partial Information

    Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M. & Thoma, D., 01.10.2019, RV 2019: Runtime Verification . Finkbeiner, B. & Mariani, L. (Hrsg.). Springer, Cham, Band 11757 LNCS. S. 273-291 19 S. (Lecture Notes in Computer Science; Band 11757 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Test und Fehlersuche in komplexen Autonomen Systemen

    Preusser, T., Schulz, A., Weiss, A., Heininger, M., Leucker, M., Schmitz, M., Scheffel, T. & Thoma, D., 18.09.2019, Echtzeit 2019. Unger, H. (Hrsg.). Springer Vieweg, Wiesbaden, S. 33-42 10 S. (Informatik aktuell).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2018

    Extended device profiles and testing procedures for the approval process of integrated medical devices using the IEEE 11073 communication standard

    Janß, A., Thorn, J., Schmitz, M., Mildner, A., Dell'Anna-Pudlik, J., Leucker, M. & Radermacher, K., 23.02.2018, in: Biomedizinische Technik. 63, 1, S. 95-103 9 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    9 Zitate (Scopus)

  • From SOMDA to application - integration strategies in the OR.NET demonstration sites

    Rockstroh, M., Franke, S., Dees, R., Merzweiler, A., Schneider, G., Dingler, M., Dietz, C., Pfeifer, J., Kühn, F., Schmitz, M., Mildner, A., Janß, A., Dell'Anna Pudlik, J., Köny, M., Andersen, B., Bergh, B. & Neumuth, T., 23.02.2018, in: Biomedizinische Technik / Biomedical Engineering. 63, 1, S. 69-80 12 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Konstruktion von Lösungen für Unart-Subset-Sun und verwandte Probleme in TC^0

    Bartels, F., 2018

    Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

  • Monitoring events that carry data

    Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 11.02.2018, Lectures on Runtime Verification. Bartocci, E. & Falcone, Y. (Hrsg.). Springer Verlag, Band 10457 LNCS. S. 61-102 42 S. (Lecture Notes in Computer Science; Band 10457 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Kapitel › Begutachtung

    23 Zitate (Scopus)

  • Non-intrusive runtime verification within a system-on-chip

    Rufino, J., Casimiro, A., Lange, F. D., Leucker, M., Scheffel, T., Schmitz, M. & Thoma, D., 12.2018, in: Ada User Journal. 39, 4, S. 296-299 4 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Online Analysis of Debug Trace Data for Embedded Systems

    Decker, N., Dreyer, B., Gottschling, P., Hochberger, C., Lange, A., Leucker, M., Scheffel, T., Wegener, S. & Weiss, A., 19.04.2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, Band 2018-January. S. 851-856 6 S. (IEEE Proceedings).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • OR.NET: a service-oriented architecture for safe and dynamic medical device interoperability

    Kasparick, M., Schmitz, M., Andersen, B., Rockstroh, M., Franke, S., Schlichting, S., Golatowski, F. & Timmermann, D., 23.02.2018, in: Biomedizinische Technik / Biomedical Engineering. 63, 1, S. 11-30 20 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • OR.NET - Secure dynamic networks in the operating room and clinic

    Golatowski, F., Janss, A., Leucker, M. & Neumuth, T., 23.02.2018, in: Biomedizinische Technik. 63, 1, S. 1-3 3 S.

    Publikation: Beiträge in Fachzeitschriften › Übersichtsarbeiten › Forschung

    3 Zitate (Scopus)

  • Quantitative sensory testing profiles in children, adolescents and young adults (6–20 years) with cerebral palsy: Hints for a neuropathic genesis of pain syndromes

    Blankenburg, M., Junker, J., Hirschfeld, G., Michel, E., Aksu, F., Wager, J. & Zernikow, B., 01.05.2018, in: European Journal of Paediatric Neurology. 22, 3, S. 470-481 12 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    2 Zitate (Scopus)

  • Reliable smart contracts: State-of-the-art, applications, challenges and future directions

    Sánchez, C., Schneider, G. & Leucker, M., 30.10.2018, ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. Margaria, T. & Steffen, B. (Hrsg.). Springer, Cham, Band 11247 LNCS. S. 275-279 5 S. (Lecture Notes in Computer Science; Band 11247 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Scheduling-Algorithmen für Energiemanagementsysteme in Smart-Homes

    Bachmann, M., 2018

    Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

  • TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams

    Leucker, M., Sánchez, C., Scheffel, T., Schmitz, M. & Schramm, A., 09.04.2018, SAC '18 Proceedings of the 33rd Annual ACM Symposium on Applied Computing. ACM, S. 1925-1933 9 S. (Proceedings of the ACM Symposium on Applied Computing).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • TeSSLa: Temporal stream-based specification language

    Convent, L., Hungerecker, S., Leucker, M., Scheffel, T., Schmitz, M. & Thoma, D., 24.10.2018, SBMF 2018: Formal Methods: Foundations and Applications. Massoni, T. & Mousavi, M. R. (Hrsg.). Springer, Cham, Band 11254 LNCS. S. 144-162 19 S. (Lecture Notes in Computer Science ; Band 11254 LNCS).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • 2017

    ClonoCalc and ClonoPlot: Immune repertoire analysis from raw files to publication figures with graphical user interface

    Fähnrich, A., Krebbel, M., Decker, N., Leucker, M., Lange, F. D., Kalies, K. & Möller, S., 11.03.2017, in: BMC Bioinformatics. 18, 1, 164.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    5 Zitate (Scopus)

  • COEMS - open traces from the industry

    Jakvsi'c, S., Leucker, M., Li, D. & Stolz, V., 14.12.2017, RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. Reger, G. & Havelund, K. (Hrsg.). EasyChair, Band 3. S. 96-105 10 S. (Kalpa Publications in Computing).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Critical care admission following elective surgery was not associated with survival benefit: prospective analysis of data from 27 countries

    Kahan, B. C., Koulenti, D., Arvaniti, K., Beavis, V., Campbell, D., Chan, M., Moreno, R., Pearse, R. M., Beattie, S., Clavien, PA., Demartines, N., Fleisher, LA., Grocott, M., Haddow, J., Hoeft, A., Holt, P., Pritchard, N., Rhodes, A., Wijeysundera, D., Wilson, M., &2.463 mehrAhmed, T., Everingham, K., Hewson, R., Januszewska, M., Phull, MK., Halliwell, R., Shulman, M., Myles, P., Schmid, W., Hiesmayr, M., Wouters, P., de Hert, S., Lobo, S., Fang, X., Rasmussen, L., Futier, E., Biais, M., Venara, A., Slim, K., Sander, M., Kulkarni, A., Chandra, S., Tantri, A., Geddoa, E., Abbas, M., Della Rocca, G., Sivasakthi, D., Mansor, M., Luna, P., Bouwman, A., Buhre, W., Short, T., Osinaike, T., Matos, R., Grigoras, I., Kirov, M., Protsenko, D., Biccard, BM., Aldecoa, C., Chew, M., Hofer, C., Hubner, M., Ditai, J., Szakmany, T., Ferguson, M., MacMahon, M., Cherian, R., Currow, H., Kanathiban, K., Gillespie, D., Pathmanathan, E., Phillips, K., Reynolds, J., Rowley, J., Douglas, J., Kerridge, R., Garg, S., Bennett, V., Jain, M., Alcock, D., Terblanche, N., Cotter, R., Leslie, K., Stewart, M., Zingerle, N., Clyde, A., Hambidge, O., Rehak, A., Cotterell, S., Binh Quan Huynh, W., McCulloch, T., Ben-Menachem, E., Egan, T., Cope, J., Fellinger, P., Haselberger, S., Holaubek, C., Lichtenegger, P., Scherz, F., Hoffer, F., Cakova, V., Eichwalder, A., Fischbach, N., Klug, R., Schneider, E., Vesely, M., Wickenhauser, R., Grubmueller, KG., Leitgeb, M., Lang, F., Toro, N., Bauer, M., Laengle, F., Mayrhofer, T., Buerkle, C., Forstner, K., Germann, R., Rinoesl, H., Schindler, E., Trampitsch, E., Fritsch, G., Szabo, C., Bidgoli, J., Verdoodt, H., Forget, P., Kahn, D., Lois, F., Momeni, M., Prégardien, C., Pospiech, A., Steyaert, A., Veevaete, L., De Kegel, D., De Jongh, K., Foubert, L., Smitz, C., Vercauteren, M., Poelaert, J., Van Mossevelde, V., Abeloos, J., Bouchez, S., Coppens, M., De Baerdemaeker, L., Deblaere, I., De Bruyne, A., Fonck, K., Heyse, B., Jacobs, T., Lapage, K., Moerman, A., Neckebroek, M., Parashchanka, A., Roels, N., Van Den Eynde, N., Vandenheuvel, M., Van Limmen, J., Vanluchene, A., Vanpeteghem, C., Wyffels, P., Huygens, C., Vandenbempt, P., Van de Velde, M., Dylst, D., Janssen, B., Schreurs, E., Aleixo, FB., Candido, K., Dias Batista, H., Guimarães, M., Guizeline, J., Hoffmann, J., Lobo, SM., Lobo, FR., Nascimento, V., Nishiyama, K., Pazetto, L., Souza, D., Souza Rodrigues, R., Vilela Dos Santos, A. M., Jardim, J., Silva, J., do Nascimento Junior, P., Baio, TH., Pereira de Castro, GI., Watanabe Oliveira, HR., Amendola, CP., Cardoso, G., Ortega, D., Brotto, AF., De Oliveira, MC., Réa-Neto, A., Dias, F., Azambuja, P., Knibel, MF., Martins, A., Almeida, W., Neto, CN., Tardelli, MA., Caser, E., Machado, M., Aguzzoli, C., Baldisserotto, S., Beck Tabajara, F., Bettega, F., Rodrigues Júnior, HC., de Gasperi, J., Faina, L., Nolasco, MF., da Costa Fischer, BF., de Campos Ferreira, MF., Hartmann, C., Kliemann, M., Ribeiro, GLH., Fraga, JM., Netto, TM., Pozza, LV., Wendling, PR., Azevedo, C., Garcia, J., Lopes, M., Maia, B., Maselli, P., Melo, R., Mendes, W., Neves, M., Ney, J., Piras, C., Applewhaite, C., Carr, A., Chow, L., Duttchen, K., Foglia, J., Greene, M., Hinther, A., Houston, K., McCormick, TJ., Mikhayel, J., Montasser, S., Ragan, A., Suen, A., Woolsey, A., Yu, HC., Funk, D., Kowalski, S., Legaspi, R., McDonald, H., Siddiqui, F., Pridham, J., Rowe, B., Sampson, S., Thiessen, B., Zbitnew, G., Bernard, A., George, R., Jones, P., Moor, R., Siddiqui, N., Wolfer, A., Tran, D., Winch, D., Dobson, G., McCormick, T., Montasser, O., Hall, R., Baghirzada, L., Dai, SY., Hare, G., Lee, E., Shastri, U., Tsui, A., Yagnik, A., Alvares, D., Choi, S., Dwyer, H., Flores, K., McCartney, C., Somascanthan, P., Carroll, J., Pazmino-Canizares, J., Ami, N., Chan, V., Perlas, A., Argue, R., Lavis, K., Mayson, K., Cao, Y., Gao, H., Hu, T., Lv, J., Yang, J., Yang, Y., Zhong, Y., Zhou, J., Zou, X., He, M., Li, X., Luo, D., Wang, H., Yu, T., Chen, L., Wang, L., Cai, Y., Cao, Z., Li, Y., Lian, J., Sun, H., Wang, S., Wang, Z., Wang, K., Zhu, Y., Du, X., Fan, H., Fu, Y., Huang, L., Huang, Y., Hwan, H., Luo, H., Qu, PS., Tao, F., Wang, G., Zhang, Y., Zhang, X., Chen, C., Wang, W., Liu, Z., Fan, L., Tang, J., Chen, Y., Han, Y., Huang, C., Liang, G., Shen, J., Wang, J., Yang, Q., Zhen, J., Zhou, H., Chen, J., Chen, Z., Meng, B., Ye, H., Bi, Y., Cao, J., Guo, F., Lin, H., Liu, Y., Lv, M., Shi, P., Song, X., Sun, C., Sun, Y., Wang, Y., Zhang, M., Chen, R., Hou, J., Leng, Y., Meng, QT., Qian, L., Shen, ZY., Xia, ZY., Xue, R., Zhao, B., Zhou, XJ., Chen, Q., Guo, H., Guo, Y., Qi, Y., Wei, J., Zhang, W., Zheng, L., Bao, Q., Fei, Y., Hu, N., Hu, X., Lei, M., Lv, X., Miao, F., Ouyang, L., Shen, C., Wang, D., Wu, C., Xu, L., Yuan, J., Zhang, L., Zhang, H., Zhao, J., Zhao, C., Zhao, L., Zheng, T., Zhou, D., Zhou, C., Lu, K., Zhao, T., He, C., Chen, H., Chen, S., Cheng, B., He, J., Jin, L., Li, C., Li, H., Pan, Y., Shi, Y., Wen, XH., Wu, S., Xie, G., Zhang, K., Lu, X., Chen, F., Liang, Q., Lin, X., Ling, Y., Liu, G., Tao, J., Yang, L., Feng, Y., Hou, B., Lin, J., Liu, M., Luo, F., Shi, X., Xiong, Y., Yang, S., Zhang, Q., Zhao, W., Bai, Y., Dai, Q., Geng, W., Han, K., He, X., Ji, B., Jia, D., Jin, S., Li, Q., Liang, D., Luo, S., Lwang, L., Mo, Y., Qi, X., Qian, M., Qin, J., Ren, Y., Xie, J., Yan, Y., Yao, Y., Zhuang, X., Ai, Y., Du, F., He, L., Li, Z., Li, L., Meng, S., Yuan, Y., Zhang, E., Zhang, J., Zhao, S., Ji, Z., Pei, L., Dong, B., Li, J., Miao, Z., Mu, H., Qin, C., Su, L., Wen, Z., Xie, K., Yu, Y., Yuan, F., Xiao, W., Zhu, Z., Fu, K., Hu, R., Huang, S., Liang, Y., Yu, S., Guo, Z., Jing, Y., Tang, N., Wu, J., Yuan, D., Zhang, R., Zhao, X., Bai, HP., Liu, CX., Liu, FF., Ren, W., Wang, XL., Xu, GJ., Li, B., Ou, Y., Tang, Y., Yao, S., Zhang, S., Kong, CC., Liu, B., Wang, T., Lu, B., Xia, Y., Cai, F., Chen, P., Hu, S., Xu, Q., Hu, L., Jing, L., Liu, Q., Peng, ZD., Qiu, X., Ren, Q., Tong, Y., Wen, Y., Wu, Q., Xia, J., Xiong, X., Xu, S., Yang, T., Yin, N., Zeng, Q., Zhang, B., Zheng, K., Cang, J., Fan, Y., Fu, S., Ge, X., Guo, B., Huang, W., Jiang, L., Jiang, X., Shan, Q., Wang, F., Christiansen, IC., Granum, SN., Rasmussen, BS., Daugaard, M., Gambhir, R., Steingrímsdóttir, GE., Jensen-Gadegaard, P., Olsen, KS., Siegel, H., Zwicky Eskildsen, K., Gätke, Wibrandt, I., Heintzelmann, SB., Lange, KHW., Lundsgaard, RS., Amstrup-Hansen, L., Hovendal, C., Larsen, M., Lenstrup, M., Kobborg, T., Larsen, JR., Pedersen, AB., Smith, SH., Oestervig, RM., Afshari, A., Andersen, C., Ekelund, K., Secher, EL., Brandsborg, B., Beloeil, H., Lasocki, S., Ouattara, A., Sineus, M., Molliex, S., Legouge, ML., Wallet, F., Tesniere, A., Gaudin, C., Lehur, P., Forsans, E., de Rudnicki, S., Serra Maudet, V., Mutter, D., Sojod, G., Ouaissi, M., Regimbeau, JM., Desbordes, J., Comptaer, N., El Manser, D., Ethgen, S., Lebuffe, G., Auer, P., Härtl, C., Deja, M., Legashov, K., Sonnemann, S., Wiegand-Loehnert, C., Falk, E., Habicher, M., Angermair, S., Laetsch, B., Schmidt, K., Von Heymann, C., Ramminger, A., Jelschen, F., Pabel, S., Weyland, A., Czeslick, E., Gille, J., Malcharek, M., Sablotzki, A., Lueke, K., Wetzel, P., Weimann, J., Lenhart, FP., Reichle, F., Schirmer, F., Hüppe, M., Klotz, K., Nau, C., Schön, J., Mencke, T., Wasmund, C., Bankewitz, C., Baumgarten, G., Fleischer, A., Guttenthaler, V., Hack, Y., Kirchgaessner, K., Männer, O., Schurig-Urbaniak, M., Struck, R., van Zyl, R., Wittmann, M., Goebel, U., Harris, S., Veit, S., Andreadaki, E., Souri, F., Katsiadramis, I., Skoufi, A., Vasileiou, M., Aimoniotou-Georgiou, E., Katsourakis, A., Veroniki, F., Vlachogianni, G., Petra, K., Chlorou, D., Oloktsidou, E., Ourailoglou, V., Papapostolou, K., Tsaousi, G., Daikou, P., Dedemadi, G., Kalaitzopoulos, I., Loumpias, C., Bristogiannis, S., Dafnios, N., Gkiokas, G., Kontis, E., Kozompoli, D., Papailia, A., Theodosopoulos, T., Bizios, C., Koutsikou, A., Moustaka, A., Plaitakis, I., Armaganidis, A., Christodoulopoulou, T., Lignos, M., Theodorakopoulou, M., Asimakos, A., Ischaki, E., Tsagkaraki, A., Zakynthinos, S., Antoniadou, E., Koutelidakis, I., Lathyris, D., Pozidou, I., Voloudakis, N., Dalamagka, M., Gkonezou, E., Chronis, C., Manolakaki, D., Mosxogiannidis, D., Slepova, T., Tsakiridou, IS., Lampiri, CL., Vachlioti, AV., Panagiotakis, CP., Sfyras, DS., Tsimpoukas, FT., Tsirogianni, A., Axioti, E., Filippopoulos, A., Kalliafa, E., Kassavetis, G., Katralis, P., Komnos, I., Pilichos, G., Ravani, I., Totis, A., Apagaki, E., Efthymiadi, A., Kampagiannis, N., Paraforou, T., Tsioka, A., Georgiou, G., Vakalos, A., Bairaktari, A., Charitos, E., Markou, G., Niforopoulou, P., Papakonstantinou, N., Tsigou, E., Xifara, A., Zoulamoglou, M., Gkioni, P., Karatzas, S., Kyparissi, A., Mainas, E., Papapanagiotou, I., Papavasilopoulou, T., Fragandreas, G., Georgopoulou, E., Katsika, E., Psarras, K., Synekidou, E., Verroiotou, M., Vetsiou, E., Zaimi, D., Anagnou, A., Apostolou, K., Melissopoulou, T., Rozenberg, T., Tsigris, C., Boutsikos, G., Kalles, V., Kotsalas, N., Lavdaiou, C., Paikou, F., Panagou, GL., Spring, A., Botis, I., Drimala, M., Georgakakis, G., Kiourtzieva, E., Ntouma, P., Prionas, A., Xouplidis, K., Dalampini, E., Giannaki, C., Iasonidou, C., Ioannidis, O., Lavrentieva, A., Papageorgiou, G., Kokkinoy, M., Stafylaraki, M., Gaitanakis, S., Karydakis, P., Paltoglou, J., Ponireas, P., Chaloulis, P., Provatidis, A., Sousana, A., Gardikou, VV., Konstantivelli, M., Lataniotou, O., Lisari, E., Margaroni, M., Stamatiou, K., Nikolaidis, E., Pnevmatikos, I., Sertaridou, E., Andreou, A., Arkalaki, E., Athanasakis, E., Chaniotaki, F., Chatzimichali, A., Christofaki, M., Dermitzaki, D., Fiorentza, K., Frantzeskos, G., Geromarkaki, E., Kafkalaki, K., Kalogridaki, M., Karydi, K., Kokkini, S., Kougentakis, G., Lefaki, T., Lilitsis, E., Makatounaki, A., Malliotakis, P., Michelakis, D., Neonaki, M., Nyktari, V., Palikyra, I., Papadakis, E., Papaioannou, A., Sfakianakis, K., Sgouraki, M., Souvatzis, X., Spartinou, A., Stefanidou, N., Syrogianni, P., Tsagkaraki, G., Arnaoutoglou, E., Arnaoutoglou, C., Bali, C., Bouris, V., Doumos, R., Gkini, KP., Kapaktsi, C., Koulouras, V., Lena, A., Lepida, D., Michos, E., Papadopoulos, D., Paschopoulos, M., Rompou, VA., Siouti, I., Tsampalas, S., Ververidou, O., Zilis, G., Charlalampidoy, A., Christodoulidis, G., Flossos, A., Stamoulis, K., Tsang, MSC., Tsang, Lai, ML., Yip, CP., Chan, HMH., Law, B., Li, WS., Chu, HM., Koo, EGY., Lam, CCJ., Cheng, KH., Lam, T., Chu, S., Lam, WY., Wong, KWK., Kwok, D., Hung, CYJ., Chan, WKJ., LamWong, W., Chung, CKE., Ma, SK., Kaushik, S., Shah, B., Shah, D., Shah, S., Ar, P., Muthuchellappan, R., Agarwal, V., Divatia, J., Mishra, S., Nimje, G., Pande, S., Savarkar, S., Shrivastava, A., Thomas, M., Yegnaram, S., Hidayatullah, R., Puar, N., Niman, S., Indra, I., Hamzah, Z., Yuliana, A., Abidin, UN., Dursin, AN., Kurnia, A., Susanti, A., Handayani, D., Aribawa, MA., Arya, A., Senapathi, TGA., Utara, UH., Wid, WM., Wima, S., Wir, WM., Jehosua, B., Kaunang, J., Lantang, EY., Najoan, R., Waworuntu, N., Awad, H., Fuad, A., Geddoa, B., Khalaf, AR., Al Hussaini, S., Albaj, S., Kenber, M., Bettinelli, A., Spadaro, S., Volta, CA., Giancarlo, L., Sottosanti, V., Spagnesi, L., Toretti, I., Alloj, C., Cardellino, S., Carmino, L., Costanzo, E., Fanfani, LC., Novelli, MT., Roasio, A., Bellandi, M., Beretta, L., Bignami, E., Bocchino, S., Cabrini, L., Corti, D., Landoni, G., Meroni, R., Moizo, E., Monti, G., Pintaudi, M., Plumari, VP., Taddeo, D., Testa, V., Winterton, D., Zangrillo, A., Cloro, LM., Colangelo, C., Colangelo, A., Rotunno, G., Angel, MP., Maria, CP., Pata, A., Parrini, V., Gatta, A., Nastasi, M., Tinti, C., Arrigo, M., Benevento, A., Bottini, C., Cannavo', M., Gastaldi, C., Marchesi, A., Pascazio, A., Pata, F., Pozzi, E., Premoli, A., Tessera, G., Boschi, L., D'Andrea, R., Ghignone, F., Poggioli, G., Sibilio, A., Taffurelli, M., Ugolini, G., Ab Majid, MA., Ab Rahman, R., Joseph, J., Pathan, F., Shah, MHS., Yap, HL., Cheah, S., Chin, II., Looi, JK., Tan, SC., Visvalingam, S., Kwok, FY., Lee, CK., Tan, TS., Wong, SM., Abdullah, NH., Liew, CF., Luxuman, L., Mohd Zin, NH., Norddin, MF., Alias, RLR., Wong, JY., Yong, J., Bin Mustapha, MT., Chan, WK., Dzulkipli, N., Kuan, PX., Lee, YC., Alias, A., Guok, EC., Jee, CC., Ramon, BR., Weng, CW., Abd Ghafar, FNI., Aziz, FZ., Hussain, N., Lee, HS., Sukawi, I., Woon, YL., Abd Hadi, HZ., Ahmad Azam, UA., Alias, AH., Kesut, SA., Lee, JM., Ooi, DV., Sulaiman, HA., Tengku Lih, TA., Veerakumaran, J., Rojas, E., Resendiz, GEA., Zapata, DDM., Aguilar López, JCJ., Flores, AAA., Amador, JCB., Avila, EJD., Aquino, LPG., Rodriguez, RL., Landa, MT., Urias, E., Hollmann, M., Hulst, A., Kirzner, O., Preckel, B., Koopman-van Gemert, A., Buise, M., Tolenaar, N., Weber, E., de Fretes, J., Houweling, P., Ormskerk, P., Van Bommel, J., Lance, M., Smit-Fun, V., van Zundert, T., Baas, P., de Boer, HD., Sprakel, J., Elferink-Vonk, R., Noordzij, P., van Zeggeren, L., Brand, B., Spanjersberg, R., Ten Bokkel-Andela, J., Numan, J., van Klei, W., van Zaane, B., Boer, C., van Duivenvoorde, Y., Hering, JP., Zonneveldt, H., Hoare, S., Santa, S., Allen, SJ., Bell, R., Choi, HD., Drake, M., Farrell, H., Higgie, K., Holmes, K., Jenkins, N., Kim, CJ., Kim, S., Law, KC., McAllister, D., Park, K., Pedersen, K., Pfeifer, L., Salmond, T., Steynor, M., Tan, M., Waymouth, E., Ab Rahman, AS., Armstrong, J., Dudson, R., Nilakant, J., Richard, S., Virdi, P., Dixon, L., Donohue, R., Farrow, M., Kennedy, R., Marissa, H., McKellow, M., Nicola, D., Pascoe, R., Roberts, SJ., Rowell, G., Sumner, M., Templer, P., Chandrasekharan, S., Fulton, G., Jammer, I., Ali, M., More, R., Wilson, L., Chang, YH., Chang, J., Fowler, C., Panckhurst, J., Sara, R., Stapelberg, F., Cherrett, V., Ganter, DL., McCann, L., Foley, J., Gilmour, F., Lumsden, R., Moores, M., Olliff, S., Sardareva, E., Tai, J., Wikner, M., Wong, C., Chaddock, M., Czepanski, C., McKendry, P., Polakovic, D., Polakovich, D., Robert, A., Tormo Belda, M., Norton, T., Alherz, F., Barneto, L., Ramirez, A., Sayeed, A., Smith, N., Bennett, C., McQuoid, S., Jansen, TL., Nico, Z., Scott, J., Freschini, D., Freschini, A., Hopkins, B., Manson, L., Stoltz, D., Bates, A., Davis, S., Freeman, V., McGaughran, L., Baskar Sharma, S., Burrows, T., Byrne, K., English, D., Johnson, R., Chai Law, K., Manikkam, B., Naidoo, S., Rumball, M., Whittle, N., Franks, R., Gibson-Lapsley, H., Salter, R., Walsh, D., Cooper, R., Perry, K., Obobolo, A., Sule, UM., Ahmad, A., Atiku, M., Mohammed, AD., Sarki, AM., Adekola, O., Akanmu, O., Durodola, A., Olukoju, O., Raji, V., Olajumoke, T., Oyebamiji, E., Adenekan, A., Adetoye, A., Faponle, F., Olateju, S., Owojuyigbe, A., Talabi, A., Adenike, O., Adewale, B., Collins, N., Ezekiel, E., Fatungase, OM., Grace, A., Sola, S., Stella, O., Ademola, A., Adeolu, AA., Adigun, T., Akinwale, M., Fasina, O., Gbolahan, O., Idowu, O., Olonisakin, RP., Osinaike, BB., Asudo, F., Mshelia, D., Abdur-Rahman, L., Agodirin, O., Bello, J., Bolaji, B., Oyedepo, OO., Ezike, H., Iloabachie, I., Okonkwo, I., Onuora, E., Onyeka, T., Ugwu, I., Umeh, F., Alagbe-Briggs, O., Dodiyi-Manuel, A., Echem, R., Obasuyi, B., Onajin-Obembe, B., Bandeira, ME., Tomé, M., Martins Costa, ACM., Krystopchuk, A., Branco, T., Esteves, S., Melo, MA., Monte, J., Rua, F., Martins, I., Pinho-Oliveira, VM., Rodrigues, CM., Cabral, R., Marques, S., Rêgo, S., Teixeira Jesus, JS., Conceição Marques, M., Romao, C., Dias, S., Santos, AM., Alves, MJ., Salta, C., Cruz, S., Duarte, C., Furtado Paiva, AA., do Nascimento Cabral, T., Fariae Maia, D., Correia da Silva, RFM., Langner, A., Oliveira Resendes, H., da Conceição Soares, M., Abrunhosa, A., Faria, F., Miranda, L., Pereira, H., Serra, S., Ionescu, D., Margarit, S., Mitre, C., Vasian, H., Manga, G., Stefan, A., Tomescu, D., Filipescu, D., Paunescu, MA., Stefan, M., Stoica, R., Gavril, L., Pătrăşcanu, E., Ristescu, I., Rusu, D., Diaconescu, C., Iosep, GF., Pulbere, D., Ursu, I., Balanescu, A., Grintescu, I., Mirea, L., Rentea, I., Vartic, M., Lupu, MN., Stanescu, D., Streanga, L., Antal, O., Hagau, N., Patras, D., Petrisor, C., Tosa, F., Tranca, S., Copotoiu, SM., Ungureanu, LL., Harsan, CR., Papurica, M., Cernea, DD., Dragoescu, NA., Aflori, L., Vaida, C., Ciobotaru, OR., Aignatoaie, M., Carp, CP., Cobzaru, I., Mardare, O., Purcarin, B., Tutunaru, V., Ionita, V., Arustei, M., Codita, A., Busuioc, M., Chilinciuc, I., Ciobanu, C., Belciu, I., Tincu, E., Blaj, M., Grosu, RM., Sandu, G., Bruma, D., Corneci, D., Dutu, M., Krepil, A., Copaciu, E., Dumitrascu, CO., Jemna, R., Mihaescu, F., Petre, R., Tudor, C., Ursache, E., Kulikov, A., Lubnin, A., Grigoryev, E., Pugachev, S., Tolmasov, A., Hussain, A., Ilyina, Y., Roshchina, A., Iurin, A., Chazova, E., Dunay, A., Karelov, A., Khvedelidze, I., Voldaeva, O., Belskiy, V., Dzhamullaev, P., Grishkowez, E., Kretov, V., Levin, V., Molkov, A., Puzanov, S., Samoilenko, A., Tchekulaev, A., Tulupova, V., Utkin, I., Allorto, NL., Bishop, DG., Builu, PM., Cairns, C., Dasrath, A., de Wet, J., den Hoedt, M., Grey, B., Hayes, MP., Küsel, BS., Shangase, N., Wise, R., Cacala, S., Farina, Z., Govindasamy, V., Kruse, CH., Lee, C., Marais, L., Naidoo, TD., Rajah, C., Rodseth, RN., Ryan, L., von Rhaden, R., Adam, S., Alphonsus, C., Ameer, Y., Anderson, F., Basanth, S., Bechan, S., Bhula, C., Biccard, BM., Biyase, T., Buccimazza, I., Cardosa, J., Daya, B., Drummond, L., Elabib, A., Goad, EHA., Goga, IE., Goga, R., Harrichandparsad, R., Hodgson, RE., Jordaan, J., Kalafatis, N., Kampik, C., Landers, AT., Loots, E., Madansein, R., Madaree, A., Madiba, TE., Manzini, VT., Mbuyisa, M., Moodley, R., Msomi, M., Mukama, I., Naidoo, D., Naidoo, R., Naidu, TK., Ntloko, S., Padayachee, E., Padayachee, L., Phaff, M., Pillay, B., Pillay, D., Pillay, L., Ramnarain, A., Ramphal, SR., Ryan, P., Saloojee, A., Sebitloane, M., Sigcu, N., Taylor, JL., Torborg, A., Visser, L., Anderson, P., Conradie, A., de Swardt, M., de Villiers, M., Eikman, J., Liebenberg, R., Mouton, J., Paton, A., van der Merwe, L., Wilscott-Davids, C., Barrett, WJ., Bester, M., de Beer, J., Geldenhuys, J., Gouws, H., Potgieter, JH., Strydom, M., Wilberforce-Turton, E., Chetty, RR., Chirkut, S., Cronje, L., de Vasconcellos, K., Dube, NZ., Sibusiso Gama, N., Green, GM., Green-Thompson, R., Kinoo, SM., Kistnasami, P., Maharaj, K., Moodley, Mothae, SJ., Aslam, M., Noorbhai, F., Rughubar, V., Reddy, J., Singh, A., Skinner, DL., Smith, MJ., Singh, B., Misra, R., Naidoo, M., Ramdharee, P., Selibea, Y., Sewpersad, S., Sham, S., Wessels, JD., Africander, C., Bejia, T., Blakemore, SP., Botes, M., Bunwarie, B., Hernandez, CB., Jeeraz, MA., Legutko, DA., Lopez, AG., De Meyer, JN., Muzenda, T., Naidoo, N., Patel, M., Pentela, R., Junge, M., Mansoor, N., Rademan, L., Scislowski, P., Seedat, I., van den Berg, B., van der Merwe, D., van Wyk, S., Govender, K., Naicker, D., Ramjee, R., Saley, M., Kuhn, WP., Matos-Puig, R., Moolla, Z., Lisi, A., Perez, G., Valle Beltran, A., Lozano, A., Delgado Navarro, C., Duca, A., Pastor Martinez, E., Ferrando, C., Fuentes, I., García-Pérez, ML., Gracia, E., Izquierdo Palomares, A., Katime, A., Miñana, A., Incertis, R., Romero, E., Romero Garcia, CS., Rubio, C., Socorro Artiles, T., Soro, M., Valls, P., Laguarda, GA., Benavent, P., Cuenca, VC., Cueva, A., Lafuente, M., Parra, AM., Rodrigo, AR., Sanchez-Morcillo, S., Tormo, S., Redondo, FJ., De Andres, J., Gómez Diago, L., Hernández Cádiz, MJ., Manuel, GG., Peris, R., Saiz, C., Tatay, J., Tebar Soto, MT., Brunete, T., Cancho, D., Delgado García, G., Zamudio, D., Garcia Del Valle, S., Luz Serrano, M., Alonso, E., Anillo, V., Maseda, E., Salgado, P., Suarez, L., Suarez-de-la-Rica, A., Villagrán, MJ., Alonso, JI., Cabezuelo, E., Garcia-Saiz, I., Lopez Del Moral, O., Martín, S., Perez Gonzalez, A., Tovar Doncel, S., Vera, MA., Ávila Sánchez, FJ., Castaño, B., Castaño Moreira, B., Flores Risco, S., Paz Martín, D., Pérez Martín, F., Poza, P., Ruiz, A., Serna Martínez, WF., Vicente, BV., Dominguez, SV., Fernández, S., Munoz-López, A., Bernat, MJ., Mas, A., Planas, K., Jawad, M., Saeed, Y., Hedin, A., Levander, H., Holmström, S., Lönn, D., Zoerner, F., Åkring, I., Widmark, C., Zettergren, J., Liljequist, VA., Nystrom, L., Odeberg-Wernerman, S., Oldner, A., Reje, P., Lyckner, S., Sperber, J., Adolfsson, A., Klarin, B., Ögren, K., Barras, JP., Bührer, T., Despotidis, V., Helmy, N., Holliger, S., Raptis, DA., Schmid, R., Meyer, A., Jaquet, Y., Kessler, U., Muradbegovic, M., Nahum, SR., Rotunno, T., Schiltz, B., Voruz, F., Worreth, M., Christoforidis, D., Popeskou, SG., Furrer, M., Prevost, GA., Stocker, A., Lang, K., Breitenstein, S., Ganter, MT., Geisen, M., Soll, C., Korkmaz, M., Lubach, I., Schmitz, M., Meyer Zu Schwabedissen, M., Zingg, U., Hillermann, T., Wildi, S., Pinto, BB., Walder, B., Hübner, M., Mariotti, G., Slankamenac, K., Namuyuga, M., Kyomugisha, E., Kituuka, O., Wesonga Shikanda, A., Kakembo, N., Otim Tom, C., Webombesa, A., Bua, E., Ssettabi, EM., Epodoi, J., Kabagenyi, F., Kirya, F., Dempsey, G., Seasman, C., Basit Nawaz Khan, R., Kurasz, C., MacGregor, M., Shawki, B., Hariharan, V., Chau, S., Ellis, K., Butt, G., Chicken, DW., Christmas, N., Allen, S., Daniel, GD., Dempster, A., Kemp, J., Matthews, L., Mcglone, P., Tambellini, J., Trodd, D., Freitas, K., Garg, A., Karpate, S., O'Hara, C., Troko, J., Angus, K., Bradley, J., Brennan, E., Brooks, C., Brown, J., Brown, G., Finch, A., Gratrix, K., Hesketh, S., Hill, G., Jeffs, C., Morgan, M., Pemberton, C., Slawson, N., Spickett, H., Swarbrick, G., Van Duyvenvoorde, G., Brennan, A., Briscoe, R., Cooper, S., Lawton, T., Northey, M., Senaratne, R., Stanworth, H., Burrows, L., Cain, H., Craven, R., Davies, K., Jonas, A., Pachucki, M., Walkden, G., Davies, H., Gudaca, M., Hobrok, M., Arawwawala, D., Fergey, L., Gardiner, M., Gunn, J., Johnson, L., Lofting, A., Lyle, A., Mc Neela, F., Smolen, S., Topliffe, J., Williams, S., Bland, M., Kaura, V., Lanka, P., Naylor, C., Ahmed, A., Myatt, J., Shenoy, R., Soon, WC., Tan, J., Karadia, S., Self, J., Durant, E., Tripathi, S., Bullock, C., Ghosh, A., Hughes, T., Zsisku, L., Bengeri, S., Cowton, A., Khalid, Limb, J., McAdam, C., Porritt, M., Rafi, MA., Shekar, P., Harden, C., Hollands, H., King, A., March, L., Minto, G., Patrick, A., Waugh, D., Kumara, P., Simeson, K., Yarwood, J., Browning, J., Hatton, J., Julian, H., Mitra, A., Newton, M., Pernu, P., Wilson, A., Commey, T., Foot, H., Glover, L., Gupta, A., Lancaster, N., Levin, J., Mackenzie, F., Mestanza, C., Nofal, E., Pout, L., Varden, R., Wild, J., Jones, S., Moreton, S., Pulletz, M., Davies, C., Martin, M., Thomas, S., Burns, K., McArthur, C., Patel, P., Lau, G., Rich, N., Davis, F., Lyons, R., Port, B., Prout, R., Smith, C., Adelaja, Y., Bennett, V., Bidd, H., Dumitrescu, A., Murphy, JF., Keen, A., Mguni, N., Ong, C., Adams, G., Boshier, P., Brown, R., Butryn, I., Chatterjee, J., Freethy, A., Lockwood, G., Tsakok, M., Tsiligiannis, S., Peat, W., Stephenson, L., Bradburn, M., Pick, S., Cunha, P., Olagbaiye, O., Tayeh, S., Abernethy, C., Balasubramaniam, M., Bennett, R., Bolton, D., Martinson, V., Bell, S., Heather, B., Kushakovsky, V., Alcock, L., Alexander, H., Anderson, C., Baker, P., Brookes, M., Cawthorn, L., Cirstea, E., Colling, K., Coulter, I., Das, S., Haigh, K., Hamdan, A., Hugill, K., Kottam, L., Lisseter, E., Mawdsley, M., McGivern, J., Padala, K., Phelps, V., Kumar, VR., Stewart, K., Towse, K., Tregonning, J., Vahedi, A., Walker, A., Baines, D., Bilolikar, A., Chande, S., Copley, E., Dunk, N., Kulkarni, R., Kumar, P., Metodiev, Y., Ncomanzi, D., Raithatha, B., Raymode, P., Szafranski, J., Twohey, L., Watt, P., Weatherall, L., Weatherill, J., Whitman, Z., Wighton, E., Abayasinghe, C., Chan, A., Darwish, S., Gill, J., Glasgow, E., Hadfield, D., Harris, C., Kochhar, A., Mellis, C., Pool, A., Riozzi, P., Selman, A., Smith, EJ., Vele, L., Gercek, Y., Guy, K., Holden, D., Watson, N., Whysall, K., Andreou, P., Hales, D., Thompson, J., Bowrey, S., McDonald, S., Gilmore, J., Hills, V., Kelly, C., Kelly, S., Lloyd, G., Abbott, T., Gall, L., Torrance, H., Vivian, M., Berntsen, E., Nolan, T., Turner, A., Vohra, A., Brown, A., Clark, R., Coughlan, E., Daniel, C., Patvardhan, C., Pearson, R., Predeep, S., Saad, H., Shanmugam, M., Varley, S., Wylie, K., Cooper, L., Makowski, A., Misztal, B., Moldovan, E., Pegg, C., Donovan, A., Foot, J., Large, S., Claxton, A., Netke, B., Armstrong, R., Calderwood, C., Kwok, A., Mohr, O., Oyeniyi, P., Patnaik, L., Post, B., Ali, S., Arshad, H., Baker, G., Brenner, L., Brincat, M., Brunswicker, A., Cox, H., Cozar, OI., Durst, A., Fengas, L., Flatt, J., Glister, G., Narwani, V., Photi, E., Rankin, A., Rosbergen, M., Beaton, C., Horn, R., Hunt, J., Rousseau, G., Stancombe, L., Absar, M., Allsop, J., Drinkwater, Z., Hodgkiss, T., Smith, K., Alexander-Sefre, F., Campey, L., Dudgeon, L., Hall, K., Hitchcock, R., James, L., Winstone, U., Ahmad, N., Bauchmuller, K., Harrison, J., Jeffery, H., Miller, D., Pinder, A., Pothuneedi, S., Rosser, J., Sanghera, S., Swift, D., Walker, R., Bester, D., Cavanagh, S., Cripps, H., Daniel, H., Lynch, J., Pyke, S., Scholefield, J., Whitworth, H., Bottrill, F., Ramalingam, G., Webb, S., Akerman, N., Antill, P., Bourner, L., Buckley, S., Castle, G., Charles, R., Eggleston, C., Foster, R., Gill, S., Lindley, K., Lklouk, M., Lowery, T., Martin, O., Milne, D., O'Connor, P., Ratcliffe, A., Rose, A., Smith, A., Varma, S., Ward, J., Barcraft-Barnes, H., Camsooksai, J., Colvin, C., Reschreiter, H., Tbaily, L., Venner, N., Hamilton, C., Kelly, L., Toth-Tarsoly, P., Dodsworth, K., Foord, D., Gordon, P., Hawes, E., Lamb, N., Mouland, J., Nightingale, J., Rose, S., Schrieber, J., Al 'Amri, K., Aladin, H., Arshad, MA., Barraclough, J., Bentley, C., Bergin, C., Carrera, R., Clarkson, A., Collins, M., Denham, S., Griffiths, E., Ip, P., Jeyanthan, S., Joory, K., Kaur, S., Marriott, P., Mitchell, N., Nagaiah, S., Nilsson, A., Parekh, N., Pope, M., Seager, J., Serag, H., Tameem, A., Thomas, A., Thunder, J., Torrance, A., Vohra, R., Whitehouse, A., Wong, T., Blunt, M., Wong, K., Giles, J., Reed, I., Weller, D., Bell, G., Birch, J., Damant, R., Maiden, J., Mewies, C., Prince, C., Radford, J., Balain, B., Banerjee, R., Barnett, A., Burston, B., Edwards, M., Evans, C., Ford, D., Gallacher, P., Hill, S., Jaffray, D., Karlakki, S., Kennedy, J., Kiely, N., Lewthwaite, S., Marquis, C., Ockendon, M., Phillips, S., Pickard, S., Richardson, J., Roach, R., Smith, T., Spencer-Jones, R., Steele, N., Steen, J., Van Liefland, M., White, S., Faulds, M., Harris, M., Nicol, S., Pearson, SA., Chukkambotla, S., Andrew, A., Attrill, E., Campbell, G., Datson, A., Fouracres, A., Graterol, J., Graves, L., Hong, B., Ishimaru, A., Karthikeyan, A., King, H., Lawson, T., Lee, G., Lyons, S., Macalister Hall, A., Mathoulin, S., Mcintyre, E., Mclaughlin, D., Mulcahy, K., Robbins, J., Sung, W., Tayo, A., Trembath, L., Venugopal, S., Wigmore, G., Boereboom, C., Downes, C., Humphries, R., Melbourne, S., Tou, S., Ullah, S., Batchelor, N., Boxall, L., Broomby, R., Deen, T., Hellewell, A., Helliwell, L., Hutchings, M., Hutchins, D., Keenan, S., Mackie, D., Donna, A., Smith, F., Stone, L., Thorpe, K., Wassall, R., Woodgate, A., Baillie, S., Campbell, T., James, S., King, C., Marques de Araujo, D., Martin, D., Morkane, C., Neely, J., Rajendram, R., Burton, M., James, K., Keevil, E., Minik, O., Morgan, J., Musgrave, A., Rajanna, H., Roberts, T., Adamson, M., Jumbe, S., Kendall, J., Muthuswamy, MB., Cruikshanks, A., Wrench, I., Zeidan, L., Ardern, D., Harris, B., Hellstrom, J., Martin, J., Thomas, R., Varsani, N., Wrey Brown, C., Docherty, P., Gillies, M., McGregor, E., Usher, H., Craig, J., Ahmad, T., Bodger, P., Creary, T., Fowler, A., Ijuo, E., Jones, T., Kantsedikas, I., Lahiri, S., McLean, AL., Niebrzegowska, E., Phull, M., Wickboldt, N., Baldwin, J., Doyle, D., Mcmullan, S., Oladapo, M., Owen, T., Williams, A., Gregory, P., Husain, T., Kirk-Bayley, J., Mathers, E., Montague, L., Avis, J., Cook, T., Dali-Kemmery, L., Kerslake, I., Lambourne, V., Pearson, A., Boyd, C., Callaghan, M., Lawson, C., McCrossan, R., Nesbitt, V., O'Connor, L., Sinclair, R., Farid, N., Morgese, C., Bhatia, K., Karmarkar, S., Ahmed, J., Branagan, G., Hutton, M., Swain, A., Brookes, J., Cornell, J., Dolan, R., Hulme, J., Jansen van Vuuren, A., Jowitt, T., Kalashetty, G., Lloyd, F., Patel, K., Sherwood, N., Brown, L., Chandler, B., Deighton, K., Emma, T., Haunch, K., Cheeseman, M., Dent, K., Gray, C., Hood, M., Jones, D., Juj, J., Rao, R., Walker, T., Al Anizi, M., Cheah, C., Cheing, Y., Coutinho, F., Gondo, P., Hadebe, B., Onie Hove, M., Khader, A., Krishnachetty, B., Rhodes, K., Sokhi, J., Baker, KA., Bertram, W., Looseley, A., Mouton, R., Arnold, G., Arya, S., Balfoussia, D., Baxter, L., Harris, J., Jones, C., Knaggs, A., Markar, S., Perera, A., Scott, A., Shida, A., Sirha, R., Wright, S., Frost, V., Andrews, E., Arrandale, L., Barrett, S., Cifra, E., Cooper, M., Dragnea, D., Elna, C., Maclean, J., Meier, S., Milliken, D., Munns, C., Ratanshi, N., Salvana, A., Watson, A., Ali, H., Critchley, R., Hicks, C., Liddle, A., Pass, M., Ritchie, C., Thomas, C., Too, L., Welsh, S., Gill, T., Johnson, J., Reed, J., Davis, E., Papadopoullos, S., Attwood, C., Biffen, A., Boulton, K., Gray, S., Hay, D., Mills, S., Montgomery, J., Riddell, R., Simpson, J., Bhardwaj, N., Paul, E., Uwubamwen, N., Alexander, M., Arrich, J., Arumugam, S., Blackwood, D., Boggiano, V., Lam Chan, Y., Chatterjee, D., Chhabra, A., Christian, R., Costelloe, H., Coxwell Matthewman, M., Dalton, E., Darko, J., Davari, M., Dave, T., Deacon, M., Deepak, S., Edmond, H., Ellis, J., El-Sayed, A., Eneje, P., English, R., Ewe, R., Foers, W., Franklin, J., Gallego, L., Garrett, E., Goldberg, O., Goss, H., Greaves, R., Harris, R., Hennings, C., Jones, E., Kamali, N., Kokkinos, N., Lewis, C., Lignos, L., Malgapo, EV., Malik, R., Milne, A., Mulligan, JP., Nicklin, P., Palipane, N., Parsons, T., Piper, R., Prakash, R., Ramesh, B., Rasip, S., Reading, J., Rela, M., Reyes, A., Robert, S., Rooms, M., Shah, K., Simons, H., Solanki, S., Spowart, E., Stevens, A., Waggett, H., Yassaee, A., Kennedy, A., Scott, S., Somanath, S., Berg, A., Hernandez, M., Nanda, R., Tank, G., Wilson, N., Wilson, D., Al-Soudaine, Y., Baldwin, M., Cornish, J., Davies, Z., Davies, L., Edwards, M., Frewer, N., Gallard, S., Glasbey, J., Harries, R., Hopkins, L., Kim, T., Koompirochana, V., Lawson, S., Lewis, M., Makzal, Z., Scourfield, S., Ahmad, Y., Bates, S., Blackwell, C., Bryant, H., Coulter, S., Cruickshank, R., Daniel, S., Daubeny, T., Golder, K., Hawkins, L., Helen, B., Hinxman, H., Levett, D., Skinner, B., Walsgrove, J., Dickson, J., Constantin, K., Karen, M., O'Brien, P., O'Donohoe, L., Payne, H., Sundayi, S., Walker, E., Brooke, J., Cardy, J., Humphreys, S., Kessack, L., Kubitzek, C., Kumar, S., Cotterill, D., Hodzovic, E., Hosdurga, G., Miles, E., Saunders, G., Campbell, M., Chan, P., Jemmett, K., Raj, A., Naik, A., Ramamoorthy, R., Shah, N., Sylvan, A., Blyth, K., Burtenshaw, A., Freeman, D., Johnson, E., Lo, P., Martin, T., Plunkett, E., Wollaston, J., Allison, J., Carroll, C., Craw, N., Craw, S., Pitt-Kerby, T., Rowland-Axe, R., Spurdle, K., McDonald, A., Simon, D., Sinha, V., Banner-Goodspeed, V., Boone, M., Campbell, K., Lu, F., Scannell, J., Sobol, J., Balajonda, N., Clemmons, K., Conde, C., Funk, B., Hall, R., Hopkins, T., Olaleye, O., Omer, O., Pender, M., Porto, A., Stevens, A., Waweru, P., Yeh, E., Bodansky, D., Evans, A., Kleopoulos, S., Maril, R., Mathney, E., Sanchez, A., Tinuoye, E., Bateman, B., Eng, K., Jiang, N., Ladha, K., Needleman, J., Lane, R., Robinowitz, D., Ghushe, N., Irshad, M., Patel, S., Takemoto, S., Wallace, A., Mazzeffi, M., Rock, P., Wallace, K., Zhu, X., Chua, P., Mattera, M., Sharar, R., Thilen, S., Treggiari, M., Morgan, A., Sofjan, I., Subramaniam, K., Avidan, M., Maybrier, H., Muench, M. & Wildes, T., 01.07.2017, in: Intensive Care Medicine. 43, 7, S. 971-979 9 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

    87 Zitate (Scopus)

  • Dreiwertige Timed-LTL-Semantik.

    Huber, D., 2017, Lübeck.

    Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

  • Glucagon increase after chronic AT1 blockade is more likely related to an indirect leptin-dependent than to a pancreatic α-cell-dependent mechanism

    Mildner, M., Müller-Fielitz, H., Stölting, I., Jöhren, O., Steckelings, M. & Raasch, W., 01.05.2017, in: Naunyn-Schmiedeberg's Archives of Pharmacology. 390, 5, S. 505-518 14 S.

    Publikation: Beiträge in Fachzeitschriften › Zeitschriftenaufsätze › Forschung › Begutachtung

  • Model-Checking Counting Temporal Logics on Flat Structures

    Decker, N., Habermehl, P., Leucker, M., Sangnier, A. & Thoma, D., 01.08.2017, 28th International Conference on Concurrency Theory (CONCUR 2017). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Band 85. S. 29:1--29:17 17 S. (Leibniz International Proceedings in Informatics, LIPIcs; Band 85).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung

  • Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln

    Lassota, A. A., 2017

    Publikation: Publizierte Abschlussarbeiten › Masterarbeiten

  • Monitoring as a Service for Networked Medical Cyber-Physical Systems

    Kühn, F., Thoma, D., Labitzke, D. & Fischer, S., 01.05.2017, IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Beijing, China: IEEE Computer Society, S. 8648-8653 6 S. (Conference of the IEEE Industrial Electronics Society).

    Publikation: Kapitel in Büchern/Berichten/Konferenzbänden › Konferenzbeitrag › Begutachtung