المؤلفون: König, Barbara, Mika-Michalski, Christina, Schröder, Lutz

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B70, F.4.1

URL الوصول: http://arxiv.org/abs/2002.11459

المؤلفون: Baldan, Paolo, König, Barbara, Padoan, Tommaso, Mika-Michalski, Christina

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.2.4, F.3.1, F.3.2

URL الوصول: http://arxiv.org/abs/1810.11404

المؤلفون: König, Barbara, Mika-Michalski, Christina

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1705.10165

المؤلفون: Abu-Raya, Bahaa, Reicherz, Frederic, Michalski, Christina, Viñeta Paramo, Marina, Majdoubi, Abdelilah, Golding, Liam, Granoski, Madison, Stojic, Aleksandra, Marchant, David J, Lavoie, Pascal M

المصدر: Journal of the Pediatric Infectious Diseases Society ; volume 12, issue 12, page 642-645 ; ISSN 2048-7207

الاتاحة: https://doi.org/10.1093/jpids/piad099
https://academic.oup.com/jpids/advance-article-pdf/doi/10.1093/jpids/piad099/53097769/piad099.pdf
https://academic.oup.com/jpids/article-pdf/12/12/642/54538801/piad099.pdf

المؤلفون: Michalski, Christina, Wen, Zhexing

المساهمون: National Institutes of Health, Department of Defense, PhRMA Foundation

المصدر: Frontiers in Psychiatry ; volume 14 ; ISSN 1664-0640

الاتاحة: http://dx.doi.org/10.3389/fpsyt.2023.1291115
https://www.frontiersin.org/articles/10.3389/fpsyt.2023.1291115/full

المؤلفون: Baldan, Paolo, König, Barbara, Mika-Michalski, Christina, Padoan, Tommaso

المساهمون: Baldan, Paolo, König, Barbara, Mika-Michalski, Christina, Padoan, Tommaso

مصطلحات موضوعية: fixpoint equation system, continuous lattice, parity game, μ-calculus

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000678450300026; volume:3/2019; issue:POPL; firstpage:1; lastpage:29; numberofpages:29; journal:PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES; https://hdl.handle.net/11368/3059058; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85072016404; https://dl.acm.org/citation.cfm?id=3290339

الاتاحة: https://hdl.handle.net/11368/3059058
https://doi.org/10.1145/3290339
https://dl.acm.org/citation.cfm?id=3290339

المؤلفون: Abu-Raya, Bahaa, Michalski, Christina, Sadarangani, Manish, Lavoie, Pascal M.

المصدر: Frontiers in Immunology ; volume 11 ; ISSN 1664-3224

الاتاحة: http://dx.doi.org/10.3389/fimmu.2020.575197
https://www.frontiersin.org/article/10.3389/fimmu.2020.575197/full

المؤلفون: Sage, Michaël, See, Wendy, Nault, Stéphanie, Morin, Christophe, Michalski, Christina, Chabot, Benoit, Marouan, Sofia, Lavoie, Pascal M., Micheau, Philippe, Praud, Jean-Paul, Fortin-Pellerin, Étienne

المساهمون: Fonds de Recherche du Québec - Santé

المصدر: Frontiers in Physiology ; volume 11 ; ISSN 1664-042X

الاتاحة: http://dx.doi.org/10.3389/fphys.2020.00603
https://www.frontiersin.org/article/10.3389/fphys.2020.00603/full

المؤلفون: König, Barbara, Mika-Michalski, Christina

المساهمون: Barbara König and Christina Mika-Michalski

مصطلحات موضوعية: coalgebra, bisimulation games, spoiler-defender games, behavioural metrics, modal logic

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.37

الاتاحة: https://doi.org/10.4230/LIPIcs.CONCUR.2018.37
https://nbn-resolving.org/urn:nbn:de:0030-drops-95757
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.37

المؤلفون: Michalski, Christina

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c48dcf13548babebcaeb6e7bf6a7dc09

المؤلفون: Beohar, Harsh, König, Barbara, Küpper, Sebastian, Mika-Michalski, Christina

المصدر: Coalgebraic Methods in Computer Science ; Lecture Notes in Computer Science ; page 1-22 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031107351 9783031107368

الاتاحة: http://dx.doi.org/10.1007/978-3-031-10736-8_1
https://link.springer.com/content/pdf/10.1007/978-3-031-10736-8_1

المؤلفون: Kan, Bernard, Michalski, Christina, Fu, Helen, Au, Hilda H.T., Lee, Kelsey, Marchant, Elizabeth A., Cheng, Maye F., Anderson-Baucum, Emily, Aharoni-Simon, Michal, Tilley, Peter, Mirmira, Raghavendra G., Ross, Colin J., Luciani, Dan S., Jan, Eric, Lavoie, Pascal M.

المساهمون: Medicine, School of Medicine

المصدر: PMC

مصطلحات موضوعية: B-Cell CLL-Lymphoma 10 Protein, CARD Signaling Adaptor Proteins, Candida albicans, Candida parapsilosis, Gene Expression Regulation, Developmental, Immunity, Innate, Infant, Newborn, Premature, Interleukins, Lectins, C-Type, Microarray Analysis, Monocytes, Mucosa-Associated Lymphoid Tissue Lymphoma Translocation 1 Protein, PPAR gamma, Primary Cell Culture, Protein Biosynthesis, TOR Serine-Threonine Kinases, Transcription Factors, Transcriptome, Tumor Necrosis Factor-alpha

وصف الملف: application/pdf

Relation: Nature Communications; Kan, B., Michalski, C., Fu, H., Au, H., Lee, K., Marchant, E. A., … Lavoie, P. M. (2018). Cellular metabolism constrains innate immune responses in early human ontogeny. Nature communications, 9(1), 4822. doi:10.1038/s41467-018-07215-9; https://hdl.handle.net/1805/19621

الاتاحة: https://hdl.handle.net/1805/19621

المؤلفون: Michalski, Christina, Kan, Bernard, Lavoie, Pascal M.

المساهمون: Canadian Institutes of Health Research, March of Dimes Foundation, Hospital for Sick Children

المصدر: Frontiers in Immunology ; volume 8 ; ISSN 1664-3224

الاتاحة: http://dx.doi.org/10.3389/fimmu.2017.00281
http://journal.frontiersin.org/article/10.3389/fimmu.2017.00281/full

المؤلفون: Reicherz, Frederic, Xu, Rui Yang, Abu-Raya, Bahaa, Majdoubi, Abdelilah, Michalski, Christina, Golding, Liam, Stojic, Aleksandra, Vineta, Marina, Granoski, Madison, Cieslak, Zenon, Chacko, Anil, Desai, Neil, Sekirov, Inna, Marchant, David J, Lavoie, Pascal M

المساهمون: Government of Canada, German Research Foundation, Deutsche Forschungsgemeinschaft

المصدر: The Journal of Infectious Diseases ; volume 226, issue 12, page 2064-2068 ; ISSN 0022-1899 1537-6613

الاتاحة: http://dx.doi.org/10.1093/infdis/jiac192
https://academic.oup.com/jid/advance-article-pdf/doi/10.1093/infdis/jiac192/43890186/jiac192.pdf
https://academic.oup.com/jid/advance-article-pdf/doi/10.1093/infdis/jiac192/47846750/jiac192.pdf

المؤلفون: Sharma, Mehul, Liu, Yihui, James, Alyssa, Michalski, Christina, Del Bel, Kate, Lu, Henry, Sharma, Ashish, Modi, Bhavi, Rehmus, Wingfield, Lavoie, Pascal, McKinnon, Margaret, Bayer, Diana, Lyons, Jonathan, Turvey, Stuart

المصدر: Journal of Allergy and Clinical Immunology ; volume 149, issue 2, page AB137 ; ISSN 0091-6749

الاتاحة: http://dx.doi.org/10.1016/j.jaci.2021.12.465
https://api.elsevier.com/content/article/PII:S0091674921022880?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0091674921022880?httpAccept=text/plain

المؤلفون: Mika-Michalski, Christina

المساهمون: König, Barbara, König, Barbara (Akademische Betreuung)

مصطلحات موضوعية: Informatik, Fakultät für Ingenieurwissenschaften, Bisimulationsspiele -- coalgebraic games and logics, Bisimulationsspiele, coalgebraic games and logics, ddc:004

وصف الملف: xii, 339 Seiten

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47d02de00f82f21d27469e37687b4877
https://duepublico2.uni-due.de/servlets/MCRFileNodeServlet/duepublico_derivate_00075029/Diss_MikaMichalski.pdf

المؤلفون: Sharma, Mehul, Fu, Maggie P., Lu, Henry Y., Sharma, Ashish A., Modi, Bhavi P., Michalski, Christina, Lin, Susan, Dalmann, Joshua, Salman, Areesha, Del Bel, Kate L., Waqas, Meriam, Terry, Jefferson, Setiadi, Audi, Lavoie, Pascal M., Wasserman, Wyeth W., Mwenifumbo, Jill, Kobor, Michael S., Lee, Anna F., Kuchenbauer, Florian, Lehman, Anna, Cheng, Sylvia, Cooper, Anthony, Patel, Millan S., Turvey, Stuart E.

المصدر: Blood; October 2022, Vol. 140 Issue: 17 p1858-1874, 17p

المؤلفون: Pena, Geber, Michalski, Christina, Donnelly, Robert J., Qin, Yong, Sifri, Ziad C., Mosenthal, Anne C., Livingston, David H., Spolarics, Zoltan

المصدر: Shock ; volume 47, issue 4, page 402-408 ; ISSN 1073-2322

الاتاحة: http://dx.doi.org/10.1097/shk.0000000000000764
https://journals.lww.com/10.1097/SHK.0000000000000764

المؤلفون: Mika-Michalski, Christina

مصطلحات الفهرس: coalgebra, bisimulation games, spoiler-defender games, behavioural metrics, modal logic, Data processing Computer science, InProceedings, publishedVersion

المؤلفون: König, Barbara, Küpper, Sebastian, Mika-Michalski, Christina

مصطلحات موضوعية: Informatik, Chemie

URL الوصول: https://explore.openaire.eu/search/publication?articleId=unidue___bib::d791106f1db348e7c0d24e027adcbd37
https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&origin=inward&scp=85030178104