Institute of Software Engineering and Programming Languages

  • Postal addressShow on map

    Ratzeburger Allee 160, Hs. 64

    23562 Lübeck

    Germany

Search results

  • 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. (eds.). SPIE, Vol. 12879. p. 1287906 1 p.

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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.

    Research output: Journal Articles › Journal articles › Research › peer-review

  • 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. (eds.). SPIE, Vol. 12627. p. 126270I

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution

  • 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.

    Research output: Journal Articles › Journal articles › Research › peer-review

    4 Citations (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, p. 58375-58418 44 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

    2 Citations (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. (eds.).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 113-129.

    Research output: Contribution to conference › Conference Papers › peer-review

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

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

    Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review

  • 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.

    Research output: Journal Articles › Journal articles › Research › peer-review

    12 Citations (Scopus)

  • Preface.

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

    Research output: Journal Articles › Journal articles › Research › peer-review

  • 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, p. 364-380.

    Research output: Contribution to conference › Conference Papers › peer-review

  • 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.

    Research output: Other contribution › Other › Research

  • Timed Dyadic Deontic Logic.

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

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 2020

    Formal verification of neural networks?

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

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 49-54 6 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

  • 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, p. 167-177 11 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

    27 Citations (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. p. 49-56 8 p.

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 745-787 43 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

    1 Citation (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.

    Research output: Journal Articles › Journal articles › Research › peer-review

  • 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. (eds.). Springer, Cham, Vol. 11237. p. 18-26 9 p. (Lecture Notes in Computer Science; vol. 11237).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Empowering Multilevel DSMLs with Integrated Runtime Verification

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

    Research output: Contribution to conference › Conference Papers › peer-review

  • 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, p. 1–6 6 p. 3345460

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 31-70 40 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

    33 Citations (Scopus)

  • Generic Parallel Array Programming in SAC

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

    Research output: Contribution to conference › Conference Papers › peer-review

  • 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. (eds.). Springer, Cham, Vol. 11237. p. 43-63 21 p. (Lecture Notes in Computer Science; vol. 11237).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 86-92 7 p. 8914094

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 1-2 2 p.

    Research output: Journal Articles › Editorial

  • 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. (eds.). Springer, Cham, Vol. 11757 LNCS. p. 273-291 19 p. (Lecture Notes in Computer Science; vol. 11757 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Test und Fehlersuche in komplexen Autonomen Systemen

    Translated title of the contribution: Test and debugging in complex autonomous systemsPreusser, T., Schulz, A., Weiss, A., Heininger, M., Leucker, M., Schmitz, M., Scheffel, T. & Thoma, D., 18.09.2019, Echtzeit 2019. Unger, H. (ed.). Springer Vieweg, Wiesbaden, p. 33-42 10 p. (Informatik aktuell).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 95-103 9 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

    9 Citations (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, p. 69-80 12 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

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

    Bartels, F., 2018

    Research output: Published Theses › Master Theses

  • 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. (eds.). Springer Verlag, Vol. 10457 LNCS. p. 61-102 42 p. (Lecture Notes in Computer Science; vol. 10457 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Chapter › peer-review

    23 Citations (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, p. 296-299 4 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

  • 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, Vol. 2018-January. p. 851-856 6 p. (IEEE Proceedings).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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, p. 11-30 20 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

  • 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, p. 1-3 3 p.

    Research output: Journal Articles › Scientific review articles › Research

    3 Citations (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, p. 470-481 12 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

    2 Citations (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. (eds.). Springer, Cham, Vol. 11247 LNCS. p. 275-279 5 p. (Lecture Notes in Computer Science; vol. 11247 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

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

    Bachmann, M., 2018

    Research output: Published Theses › Master Theses

  • 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, p. 1925-1933 9 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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. (eds.). Springer, Cham, Vol. 11254 LNCS. p. 144-162 19 p. (Lecture Notes in Computer Science ; vol. 11254 LNCS).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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.

    Research output: Journal Articles › Journal articles › Research › peer-review

    5 Citations (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. (eds.). EasyChair, Vol. 3. p. 96-105 10 p. (Kalpa Publications in Computing).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • 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 othersAhmed, 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, p. 971-979 9 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

    87 Citations (Scopus)

  • Dreiwertige Timed-LTL-Semantik.

    Huber, D., 2017, Lübeck.

    Research output: Published Theses › Master Theses

  • 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, p. 505-518 14 p.

    Research output: Journal Articles › Journal articles › Research › peer-review

  • 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, Vol. 85. p. 29:1--29:17 17 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 85).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

  • Möglichkeiten und Grenzen der parallelen Berechnung von Kerneln

    Lassota, A. A., 2017

    Research output: Published Theses › Master Theses

  • 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, p. 8648-8653 6 p. (Conference of the IEEE Industrial Electronics Society).

    Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review