Browse by People

Collapse authors list.
Paulson, Joseph, Williams, Brent, Hehnly, Christine ORCID: 0000-0003-3739-0690, Mishra, Nischay, Sinnar, Shamim, Zhang, Lijun, Ssentongo, Paddy, Mbabazi-Kabachelor, Edith, Wijetunge, Dona, von Bredow, Benjamin et al (show 42 more authors) , Mulondo, Ronnie, Kiwanuka, Julius, Bajunirwe, Francis, Bazira, Joel, Bebell, Lisa, Burgoine, Kathy, Couto-Rodriguez, Mara, Ericson, Jessica, Erickson, Tim, Ferrari, Matthew, Gladstone, Melissa ORCID: 0000-0002-2579-9301, Guo, Cheng, Haran, Murali, Hornig, Mady, Isaacs, Albert, Kaaya, Brian Nsubuga, Kangere, Sheila, Kulkarni, Abhaya, Kumbakumba, Elias, Li, Xiaoxiao, Limbrick, David, Magombe, Joshua, Morton, Sarah, Mugamba, John, Ng, James, Olupot-Olupot, Peter, Onen, Justin, Peterson, Mallory, Roy, Farrah, Sheldon, Kathryn, Townsend, Reid, Weeks, Andrew ORCID: 0000-0002-1909-337X, Whalen, Andrew, Quackenbush, John, Ssenyonga, Peter, Galperin, Michael ORCID: 0000-0002-2265-5572, Almeida, Mathieu, Atkins, Hannah, Warf, Benjamin, Lipkin, Ian, Broach, James and Schiff, Steven (2020) The Bacterial and Viral Complexity of Postinfectious Hydrocephalus in Uganda. Science Translational Medicine.

Fu, Chen, Hahn, Ernst-Moritz, Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518, Sun, Meng, Turrini, Andreas and Zhang, Lijun (2022) EPMC Gets Knowledge in Multi-Agent Systems. In: International Conference on Verification, Model Checking, and Abstract Interpretation.

Schewe, Sven ORCID: 0000-0002-9093-9518 and Zhang, Lijun (2021) Editorial - Special issue on Concurrency Theory (CONCUR 2018). JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 119. pp. 19-20.

Fearnley, John, Rabe, Markus, Schewe, Sven ORCID: 0000-0002-9093-9518 and Zhang, Lijun (2010) Efficient Approximation of Optimal Control for Markov Games. CoRR.

Yang, Pengfei, Li, Jianlin, Liu, Jiangchao, Huang, Cheng-Chao, Li, Renjue, Chen, Liqian, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Zhang, Lijun (2021) Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. FORMAL ASPECTS OF COMPUTING, 33 (3). pp. 407-435.

Chatterjee, K, Goharshady, AK, Ibsen-Jensen, R ORCID: 0000-0003-4783-0389 and Velner, Y (2018) Ergodic mean-payo games for the analysis of attacks in crypto-currencies. Leibniz International Proceedings in Informatics, LIPIcs, 118. 11:1-11:1.

Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Zhang, Liang, Zhang, Lijun, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) How does Weight Correlation Affect the Generalisation Ability of Deep Neural Networks. .

Hahn, Ernst Moritz, Li, Yi, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2014) ISCASMC: A Web-Based Probabilistic Model Checker. In: FM 2014: Formal Methods - 19th International Symposium, Singapore.

Li, Yong, Turrini, Andrea, Zhang, Lijun and Schewe, Sven ORCID: 0000-0002-9093-9518 (2018) Learning to Complement Buchi Automata. In: 19th International Conference on Verification, Model Checking, and Abstract Interpretation, 2017-12-7 - 2017-12-9, Los Angeles, CA, USA.

Fu, Chen, Turrini, Andrea, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Song, Lei, Feng, Yuan and Zhang, Lijun (2018) Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19, Stockholm, Sweden.

Feng, Weizhi, Li, Yong ORCID: 0000-0002-7301-9234, Turrini, Andrea, Vardi, Moshe Y and Zhang, Lijun (2023) On the power of finite ambiguity in Büchi complementation. Information and Computation, 292. p. 105032.

Fearnley, John, Ibsen-Jensen, Rasmus and Savani, Rahul (2020) One-Clock Priced Timed Games are PSPACE-hard. .

Collapse authors list.
Paulson, Joseph N, Williams, Brent L, Hehnly, Christine, Mishra, Nischay, Sinnar, Shamim A, Zhang, Lijun, Ssentongo, Paddy, Mbabazi-Kabachelor, Edith, Wijetunge, Dona SS, von Bredow, Benjamin et al (show 42 more authors) , Mulondo, Ronnie, Kiwanuka, Julius, Bajunirwe, Francis, Bazira, Joel, Bebell, Lisa M, Burgoine, Kathy ORCID: 0000-0001-7975-745X, Couto-Rodriguez, Mara, Ericson, Jessica E, Erickson, Tim, Ferrari, Matthew, Gladstone, Melissa ORCID: 0000-0002-2579-9301, Guo, Cheng, Haran, Murali, Hornig, Mady, Isaacs, Albert M, Kaaya, Brian Nsubuga, Kangere, Sheila M, Kulkarni, Abhaya V, Kumbakumba, Elias, Li, Xiaoxiao, Jr, Limbrick David D, Magombe, Joshua, Morton, Sarah U, Mugamba, John, Ng, James, Olupot-Olupot, Peter, Onen, Justin, Peterson, Mallory R, Roy, Farrah, Sheldon, Kathryn, Townsend, Reid, Weeks, Andrew D ORCID: 0000-0002-1909-337X, Whalen, Andrew J, Quackenbush, John, Ssenyonga, Peter, Galperin, Michael Y, Almeida, Mathieu, Atkins, Hannah, Warf, Benjamin C, Lipkin, W Ian, Broach, James R and Schiff, Steven J (2020) Paenibacillus infection with frequent viral coinfection contributes to postinfectious hydrocephalus in Ugandan infants. SCIENCE TRANSLATIONAL MEDICINE, 12 (563). eaba0565-.

Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2016) A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. In: Computer Aided Verification: 28th International Conference, CAV 2016, 2016-7-17 - 2016-7-23, Toronto, ON, Canada.

Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun (2017) Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. In: Verification, Model Checking, and Abstract Interpretation, 2017-1-15 - 2017-1-17, Paris.

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Ciobanu, Radu, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190 (2018) Universal Safety for Timed Petri Nets is PSPACE-complete. In: CONCUR 2018, 2018-9-4 - ?, Beijing, China.

Collapse authors list.
Movassagh, Mercedeh, Bebell, Lisa, Burgoine, Kathy, Hehnly, Christine ORCID: 0000-0003-3739-0690, Zhang, Lijun, Moran, Kim, Sheldon, Kathryn, Sinnar, Shamim, Mbabazi, Edith, Kumbakumba, Elias et al (show 14 more authors) , Bazira, Joel, Ochoa, Moses, Mulondo, Ronnie, Nsubuga, Brian, Weeks, Andrew ORCID: 0000-0002-1909-337X, Gladstone, Melissa ORCID: 0000-0002-2579-9301, Olupot-Olupot, Peter, Ngonzi, Joseph, Roberts, Drucilla, Meier, Frederick, Irizarry, Rafael, Broach, James, Schiff, Steven and Paulson, Joseph (2020) Vaginal Microbiome Topic Modelling of Laboring Ugandan Women With and Without Fever. npj Biofilms and Microbiomes.

Collapse authors list.
Movassagh, Mercedeh, Bebell, Lisa M, Burgoine, Kathy ORCID: 0000-0001-7975-745X, Hehnly, Christine, Zhang, Lijun, Moran, Kim, Sheldon, Kathryn, Sinnar, Shamim A, Mbabazi-Kabachelor, Edith, Kumbakumba, Elias et al (show 14 more authors) , Bazira, Joel, Ochora, Moses, Mulondo, Ronnie, Nsubuga, Brian Kaaya, Weeks, Andrew D ORCID: 0000-0002-1909-337X, Gladstone, Melissa ORCID: 0000-0002-2579-9301, Olupot-Olupot, Peter, Ngonzi, Joseph, Roberts, Drucilla J, Meier, Frederick A, Irizarry, Rafael A, Broach, James R, Schiff, Steven J and Paulson, Joseph N (2021) Vaginal microbiome topic modeling of laboring Ugandan women with and without fever. NPJ BIOFILMS AND MICROBIOMES, 7 (1). 75-.

Jin, Gaojie, Yi, Xinping ORCID: 0000-0001-5163-2364, Yang, Pengfei, Zhang, Lijun, Schewe, Sven ORCID: 0000-0002-9093-9518 and Huang, Xiaowei (2022) Weight Expansion: A New Perspective on Dropout and Generalization. Transactions on Machine Learning Research.