[{"publication_identifier":{"issn":["1095-0761"]},"year":"2017","ec_funded":1,"date_published":"2017-08-25T00:00:00Z","intvolume":"        21","oa":1,"doi":"10.4310/ATMP.2017.v21.n3.a5","day":"25","project":[{"call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"publication":"Advances in Theoretical and Mathematical Physics","arxiv":1,"oa_version":"Submitted Version","publist_id":"7337","article_processing_charge":"No","status":"public","language":[{"iso":"eng"}],"page":"739 - 800","date_updated":"2025-09-18T09:52:57Z","author":[{"first_name":"Paul","full_name":"Bourgade, Paul","last_name":"Bourgade"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","first_name":"László"},{"first_name":"Horng","last_name":"Yau","full_name":"Yau, Horng"},{"first_name":"Jun","last_name":"Yin","full_name":"Yin, Jun"}],"title":"Universality for a class of random band matrices","quality_controlled":"1","citation":{"short":"P. Bourgade, L. Erdös, H. Yau, J. Yin, Advances in Theoretical and Mathematical Physics 21 (2017) 739–800.","ista":"Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.","chicago":"Bourgade, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.” <i>Advances in Theoretical and Mathematical Physics</i>. International Press, 2017. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">https://doi.org/10.4310/ATMP.2017.v21.n3.a5</a>.","mla":"Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3, International Press, 2017, pp. 739–800, doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">10.4310/ATMP.2017.v21.n3.a5</a>.","apa":"Bourgade, P., Erdös, L., Yau, H., &#38; Yin, J. (2017). Universality for a class of random band matrices. <i>Advances in Theoretical and Mathematical Physics</i>. International Press. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">https://doi.org/10.4310/ATMP.2017.v21.n3.a5</a>","ieee":"P. Bourgade, L. Erdös, H. Yau, and J. Yin, “Universality for a class of random band matrices,” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3. International Press, pp. 739–800, 2017.","ama":"Bourgade P, Erdös L, Yau H, Yin J. Universality for a class of random band matrices. <i>Advances in Theoretical and Mathematical Physics</i>. 2017;21(3):739-800. doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a5\">10.4310/ATMP.2017.v21.n3.a5</a>"},"abstract":[{"text":"We prove the universality for the eigenvalue gap statistics in the bulk of the spectrum for band matrices, in the regime where the band width is comparable with the dimension of the matrix, W ~ N. All previous results concerning universality of non-Gaussian random matrices are for mean-field models. By relying on a new mean-field reduction technique, we deduce universality from quantum unique ergodicity for band matrices.","lang":"eng"}],"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1602.02312"}],"publisher":"International Press","department":[{"_id":"LaEr"}],"volume":21,"external_id":{"isi":["000409382300005"],"arxiv":["1602.02312"]},"date_created":"2018-12-11T11:46:43Z","publication_status":"published","issue":"3","scopus_import":"1","month":"08","_id":"483"},{"external_id":{"isi":["000409382300004"],"arxiv":["1509.04631"]},"publication_status":"published","date_created":"2018-12-11T11:46:43Z","month":"01","issue":"3","scopus_import":"1","_id":"484","abstract":[{"text":"We consider the dynamics of a large quantum system of N identical bosons in 3D interacting via a two-body potential of the form N3β-1w(Nβ(x - y)). For fixed 0 = β &lt; 1/3 and large N, we obtain a norm approximation to the many-body evolution in the Nparticle Hilbert space. The leading order behaviour of the dynamics is determined by Hartree theory while the second order is given by Bogoliubov theory.","lang":"eng"}],"type":"journal_article","citation":{"mla":"Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">10.4310/ATMP.2017.v21.n3.a4</a>.","ista":"Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3), 683–738.","chicago":"Nam, Phan, and Marcin M Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” <i>Advances in Theoretical and Mathematical Physics</i>. International Press, 2017. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">https://doi.org/10.4310/ATMP.2017.v21.n3.a4</a>.","ieee":"P. Nam and M. M. Napiórkowski, “Bogoliubov correction to the mean-field dynamics of interacting bosons,” <i>Advances in Theoretical and Mathematical Physics</i>, vol. 21, no. 3. International Press, pp. 683–738, 2017.","apa":"Nam, P., &#38; Napiórkowski, M. M. (2017). Bogoliubov correction to the mean-field dynamics of interacting bosons. <i>Advances in Theoretical and Mathematical Physics</i>. International Press. <a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">https://doi.org/10.4310/ATMP.2017.v21.n3.a4</a>","ama":"Nam P, Napiórkowski MM. Bogoliubov correction to the mean-field dynamics of interacting bosons. <i>Advances in Theoretical and Mathematical Physics</i>. 2017;21(3):683-738. doi:<a href=\"https://doi.org/10.4310/ATMP.2017.v21.n3.a4\">10.4310/ATMP.2017.v21.n3.a4</a>","short":"P. Nam, M.M. Napiórkowski, Advances in Theoretical and Mathematical Physics 21 (2017) 683–738."},"quality_controlled":"1","publisher":"International Press","main_file_link":[{"url":"https://arxiv.org/abs/1509.04631","open_access":"1"}],"volume":21,"department":[{"_id":"RoSe"}],"publist_id":"7336","oa_version":"Submitted Version","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","title":"Bogoliubov correction to the mean-field dynamics of interacting bosons","author":[{"first_name":"Phan","id":"404092F4-F248-11E8-B48F-1D18A9856A87","last_name":"Nam","full_name":"Nam, Phan"},{"full_name":"Napiórkowski, Marcin M","last_name":"Napiórkowski","id":"4197AD04-F248-11E8-B48F-1D18A9856A87","first_name":"Marcin M"}],"date_updated":"2025-09-18T09:52:14Z","page":"683 - 738","ec_funded":1,"year":"2017","publication_identifier":{"issn":["1095-0761"]},"day":"01","doi":"10.4310/ATMP.2017.v21.n3.a4","oa":1,"intvolume":"        21","date_published":"2017-01-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","project":[{"call_identifier":"FP7","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme"},{"grant_number":"P27533_N27","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","_id":"25C878CE-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"arxiv":1,"publication":"Advances in Theoretical and Mathematical Physics","isi":1},{"doi":"10.1364/NLO.2017.NM3A.1","day":"01","abstract":[{"lang":"eng","text":"We present results on nonlinear electro-optical conversion of microwave radiation into the optical telecommunication band with more than 0.1% photon number conversion efficiency with MHz bandwidth, in a crystalline whispering gallery mode resonator"}],"type":"conference","citation":{"short":"A.R. Rueda Sanchez, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, Optics InfoBase Conference Papers, Optica Publishing Group, 2017.","apa":"Rueda Sanchez, A. R., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2017). Single sideband microwave to optical photon conversion-an-electro-optic-realization. In <i>Optics InfoBase Conference Papers</i> (Vol. F54). Waikoloa, HI, United States: Optica Publishing Group. <a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">https://doi.org/10.1364/NLO.2017.NM3A.1</a>","ieee":"A. R. Rueda Sanchez <i>et al.</i>, “Single sideband microwave to optical photon conversion-an-electro-optic-realization,” in <i>Optics InfoBase Conference Papers</i>, Waikoloa, HI, United States, 2017, vol. F54.","ama":"Rueda Sanchez AR, Sedlmeir F, Collodo M, et al. Single sideband microwave to optical photon conversion-an-electro-optic-realization. In: <i>Optics InfoBase Conference Papers</i>. Vol F54. Optica Publishing Group; 2017. doi:<a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">10.1364/NLO.2017.NM3A.1</a>","mla":"Rueda Sanchez, Alfredo R., et al. “Single Sideband Microwave to Optical Photon Conversion-an-Electro-Optic-Realization.” <i>Optics InfoBase Conference Papers</i>, vol. F54, NM3A.1, Optica Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">10.1364/NLO.2017.NM3A.1</a>.","chicago":"Rueda Sanchez, Alfredo R, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Single Sideband Microwave to Optical Photon Conversion-an-Electro-Optic-Realization.” In <i>Optics InfoBase Conference Papers</i>, Vol. F54. Optica Publishing Group, 2017. <a href=\"https://doi.org/10.1364/NLO.2017.NM3A.1\">https://doi.org/10.1364/NLO.2017.NM3A.1</a>.","ista":"Rueda Sanchez AR, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2017. Single sideband microwave to optical photon conversion-an-electro-optic-realization. Optics InfoBase Conference Papers. NLO: Nonlinear Optics vol. F54, NM3A.1."},"quality_controlled":"1","date_published":"2017-07-01T00:00:00Z","article_number":"NM3A.1","publication_identifier":{"isbn":["978-155752820-9"]},"year":"2017","volume":"F54","publication":"Optics InfoBase Conference Papers","department":[{"_id":"JoFi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Optica Publishing Group","publication_status":"published","date_created":"2018-12-11T11:46:44Z","oa_version":"None","publist_id":"7335","conference":{"name":"NLO: Nonlinear Optics","location":"Waikoloa, HI, United States","start_date":"2017-07-17","end_date":"2017-07-21"},"author":[{"id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","full_name":"Rueda Sanchez, Alfredo R","last_name":"Rueda Sanchez","orcid":"0000-0001-6249-5860","first_name":"Alfredo R"},{"last_name":"Sedlmeir","full_name":"Sedlmeir, Florian","first_name":"Florian"},{"last_name":"Collodo","full_name":"Collodo, Michele","first_name":"Michele"},{"last_name":"Vogl","full_name":"Vogl, Ulrich","first_name":"Ulrich"},{"full_name":"Stiller, Birgit","last_name":"Stiller","first_name":"Birgit"},{"first_name":"Gerhard","full_name":"Schunk, Gerhard","last_name":"Schunk"},{"first_name":"Dmitry","last_name":"Strekalov","full_name":"Strekalov, Dmitry"},{"full_name":"Marquardt, Christoph","last_name":"Marquardt","first_name":"Christoph"},{"first_name":"Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","full_name":"Fink, Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Oskar","full_name":"Painter, Oskar","last_name":"Painter"},{"last_name":"Leuchs","full_name":"Leuchs, Gerd","first_name":"Gerd"},{"first_name":"Harald","last_name":"Schwefel","full_name":"Schwefel, Harald"}],"title":"Single sideband microwave to optical photon conversion-an-electro-optic-realization","date_updated":"2025-06-03T11:23:42Z","_id":"485","status":"public","month":"07","language":[{"iso":"eng"}],"scopus_import":"1","article_processing_charge":"No"},{"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies","isi":1,"publication_identifier":{"isbn":["978-145035422-6"]},"year":"2017","doi":"10.1145/3143361.3143367","day":"28","date_published":"2017-11-28T00:00:00Z","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","author":[{"last_name":"Baig","full_name":"Baig, Ghufran","first_name":"Ghufran"},{"last_name":"Radunovic","full_name":"Radunovic, Bozidar","first_name":"Bozidar"},{"last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian"},{"first_name":"Matthew","last_name":"Balkwill","full_name":"Balkwill, Matthew"},{"last_name":"Karagiannis","full_name":"Karagiannis, Thomas","first_name":"Thomas"},{"last_name":"Qiu","full_name":"Qiu, Lili","first_name":"Lili"}],"title":"Towards unlicensed cellular networks in TV white spaces","date_updated":"2025-09-18T09:50:43Z","page":"2 - 14","oa_version":"None","publist_id":"7333","corr_author":"1","publisher":"ACM","department":[{"_id":"DaAl"}],"abstract":[{"text":"In this paper we study network architecture for unlicensed cellular networking for outdoor coverage in TV white spaces. The main technology proposed for TV white spaces is 802.11af, a Wi-Fi variant adapted for TV frequencies. However, 802.11af is originally designed for improved indoor propagation. We show that long links, typical for outdoor use, exacerbate known Wi-Fi issues, such as hidden and exposed terminal, and significantly reduce its efficiency. Instead, we propose CellFi, an alternative architecture based on LTE. LTE is designed for long-range coverage and throughput efficiency, but it is also designed to operate in tightly controlled and centrally managed networks. CellFi overcomes these problems by designing an LTE-compatible spectrum database component, mandatory for TV white space networking, and introducing an interference management component for distributed coordination. CellFi interference management is compatible with existing LTE mechanisms, requires no explicit communication between base stations, and is more efficient than CSMA for long links. We evaluate our design through extensive real world evaluation on of-the-shelf LTE equipment and simulations. We show that, compared to 802.11af, it increases coverage by 40% and reduces median flow completion times by 2.3x.","lang":"eng"}],"type":"conference","citation":{"ista":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. 2017. Towards unlicensed cellular networks in TV white spaces. Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies. CoNEXT: Conference on emerging Networking EXperiments and Technologies, 2–14.","chicago":"Baig, Ghufran, Bozidar Radunovic, Dan-Adrian Alistarh, Matthew Balkwill, Thomas Karagiannis, and Lili Qiu. “Towards Unlicensed Cellular Networks in TV White Spaces.” In <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>, 2–14. ACM, 2017. <a href=\"https://doi.org/10.1145/3143361.3143367\">https://doi.org/10.1145/3143361.3143367</a>.","mla":"Baig, Ghufran, et al. “Towards Unlicensed Cellular Networks in TV White Spaces.” <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>, ACM, 2017, pp. 2–14, doi:<a href=\"https://doi.org/10.1145/3143361.3143367\">10.1145/3143361.3143367</a>.","ama":"Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: <i>Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies</i>. ACM; 2017:2-14. doi:<a href=\"https://doi.org/10.1145/3143361.3143367\">10.1145/3143361.3143367</a>","apa":"Baig, G., Radunovic, B., Alistarh, D.-A., Balkwill, M., Karagiannis, T., &#38; Qiu, L. (2017). Towards unlicensed cellular networks in TV white spaces. In <i>Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies</i> (pp. 2–14). Incheon, South Korea: ACM. <a href=\"https://doi.org/10.1145/3143361.3143367\">https://doi.org/10.1145/3143361.3143367</a>","ieee":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, and L. Qiu, “Towards unlicensed cellular networks in TV white spaces,” in <i>Proceedings of the 2017 13th International Conference on emerging Networking EXperiments and Technologies</i>, Incheon, South Korea, 2017, pp. 2–14.","short":"G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14."},"quality_controlled":"1","month":"11","scopus_import":"1","_id":"487","conference":{"end_date":"2017-12-15","location":"Incheon, South Korea","name":"CoNEXT: Conference on emerging Networking EXperiments and Technologies","start_date":"2017-12-12"},"external_id":{"isi":["000526087500002"]},"publication_status":"published","date_created":"2018-12-11T11:46:45Z"},{"article_number":"82","ec_funded":1,"year":"2017","publication_identifier":{"issn":["2045-2322"]},"day":"06","doi":"10.1038/s41598-017-00107-w","file":[{"file_size":1536783,"creator":"system","file_name":"IST-2018-938-v1+1_2017_Pavlogiannis_Amplification_on.pdf","date_created":"2018-12-12T10:18:35Z","access_level":"open_access","file_id":"5357","date_updated":"2020-07-14T12:46:36Z","relation":"main_file","content_type":"application/pdf","checksum":"7d05cbdd914e194a019c0f91fb64e9a8"}],"oa":1,"intvolume":"         7","date_published":"2017-03-06T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","license":"https://creativecommons.org/licenses/by/4.0/","project":[{"call_identifier":"FWF","grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425"},{"name":"Game Theory","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","call_identifier":"FWF"},{"call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425","grant_number":"279307"}],"ddc":["004"],"publication":"Scientific Reports","isi":1,"oa_version":"Published Version","publist_id":"7307","language":[{"iso":"eng"}],"status":"public","file_date_updated":"2020-07-14T12:46:36Z","article_processing_charge":"No","has_accepted_license":"1","author":[{"first_name":"Andreas","orcid":"0000-0002-8943-0722","id":"49704004-F248-11E8-B48F-1D18A9856A87","full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis"},{"full_name":"Tkadlec, Josef","last_name":"Tkadlec","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1097-9684","first_name":"Josef"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"first_name":"Martin","last_name":"Nowak","full_name":"Nowak, Martin"}],"title":"Amplification on undirected population structures: Comets beat stars","date_updated":"2025-09-18T09:50:10Z","related_material":{"record":[{"status":"public","id":"5449","relation":"earlier_version"}]},"abstract":[{"lang":"eng","text":"The fixation probability is the probability that a new mutant introduced in a homogeneous population eventually takes over the entire population. The fixation probability is a fundamental quantity of natural selection, and known to depend on the population structure. Amplifiers of natural selection are population structures which increase the fixation probability of advantageous mutants, as compared to the baseline case of well-mixed populations. In this work we focus on symmetric population structures represented as undirected graphs. In the regime of undirected graphs, the strongest amplifier known has been the Star graph, and the existence of undirected graphs with stronger amplification properties has remained open for over a decade. In this work we present the Comet and Comet-swarm families of undirected graphs. We show that for a range of fitness values of the mutants, the Comet and Cometswarm graphs have fixation probability strictly larger than the fixation probability of the Star graph, for fixed population size and at the limit of large populations, respectively. "}],"type":"journal_article","citation":{"short":"A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Scientific Reports 7 (2017).","mla":"Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.” <i>Scientific Reports</i>, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/s41598-017-00107-w\">10.1038/s41598-017-00107-w</a>.","ista":"Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2017. Amplification on undirected population structures: Comets beat stars. Scientific Reports. 7(1), 82.","chicago":"Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Amplification on Undirected Population Structures: Comets Beat Stars.” <i>Scientific Reports</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/s41598-017-00107-w\">https://doi.org/10.1038/s41598-017-00107-w</a>.","apa":"Pavlogiannis, A., Tkadlec, J., Chatterjee, K., &#38; Nowak, M. (2017). Amplification on undirected population structures: Comets beat stars. <i>Scientific Reports</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41598-017-00107-w\">https://doi.org/10.1038/s41598-017-00107-w</a>","ieee":"A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, “Amplification on undirected population structures: Comets beat stars,” <i>Scientific Reports</i>, vol. 7, no. 1. Nature Publishing Group, 2017.","ama":"Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on undirected population structures: Comets beat stars. <i>Scientific Reports</i>. 2017;7(1). doi:<a href=\"https://doi.org/10.1038/s41598-017-00107-w\">10.1038/s41598-017-00107-w</a>"},"quality_controlled":"1","publisher":"Nature Publishing Group","corr_author":"1","volume":7,"department":[{"_id":"KrCh"}],"external_id":{"isi":["000396867800013"]},"publication_status":"published","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"date_created":"2018-12-11T11:46:53Z","month":"03","scopus_import":"1","issue":"1","_id":"512","pubrep_id":"938"},{"date_updated":"2025-09-18T09:49:18Z","title":"Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence","author":[{"first_name":"Lukasz","orcid":"0000-0003-1740-7635","id":"2C9AF1C2-F248-11E8-B48F-1D18A9856A87","last_name":"Klotz","full_name":"Klotz, Lukasz"},{"first_name":"Grégoire M","id":"4787FE80-F248-11E8-B48F-1D18A9856A87","last_name":"Lemoult","full_name":"Lemoult, Grégoire M"},{"first_name":"Idalia","last_name":"Frontczak","full_name":"Frontczak, Idalia"},{"last_name":"Tuckerman","full_name":"Tuckerman, Laurette","first_name":"Laurette"},{"last_name":"Wesfreid","full_name":"Wesfreid, José","first_name":"José"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"status":"public","oa_version":"Preprint","publist_id":"7306","publication":"Physical Review Fluids","arxiv":1,"isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"         2","date_published":"2017-04-01T00:00:00Z","day":"01","doi":"10.1103/PhysRevFluids.2.043904","oa":1,"year":"2017","article_number":"043904","_id":"513","issue":"4","scopus_import":"1","month":"04","date_created":"2018-12-11T11:46:54Z","publication_status":"published","external_id":{"isi":["000400249900003"],"arxiv":["1704.02619"]},"department":[{"_id":"BjHo"}],"volume":2,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1704.02619"}],"publisher":"American Physical Society","quality_controlled":"1","abstract":[{"lang":"eng","text":"We present an experimental setup that creates a shear flow with zero mean advection velocity achieved by counterbalancing the nonzero streamwise pressure gradient by moving boundaries, which generates plane Couette-Poiseuille flow. We obtain experimental results in the transitional regime for this flow. Using flow visualization, we characterize the subcritical transition to turbulence in Couette-Poiseuille flow and show the existence of turbulent spots generated by a permanent perturbation. Due to the zero mean advection velocity of the base profile, these turbulent structures are nearly stationary. We distinguish two regions of the turbulent spot: the active turbulent core, which is characterized by waviness of the streaks similar to traveling waves, and the surrounding region, which includes in addition the weak undisturbed streaks and oblique waves at the laminar-turbulent interface. We also study the dependence of the size of these two regions on Reynolds number. Finally, we show that the traveling waves move in the downstream (Poiseuille) direction."}],"type":"journal_article","citation":{"short":"L. Klotz, G.M. Lemoult, I. Frontczak, L. Tuckerman, J. Wesfreid, Physical Review Fluids 2 (2017).","apa":"Klotz, L., Lemoult, G. M., Frontczak, I., Tuckerman, L., &#38; Wesfreid, J. (2017). Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. <i>Physical Review Fluids</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevFluids.2.043904\">https://doi.org/10.1103/PhysRevFluids.2.043904</a>","ama":"Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. <i>Physical Review Fluids</i>. 2017;2(4). doi:<a href=\"https://doi.org/10.1103/PhysRevFluids.2.043904\">10.1103/PhysRevFluids.2.043904</a>","ieee":"L. Klotz, G. M. Lemoult, I. Frontczak, L. Tuckerman, and J. Wesfreid, “Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence,” <i>Physical Review Fluids</i>, vol. 2, no. 4. American Physical Society, 2017.","mla":"Klotz, Lukasz, et al. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.” <i>Physical Review Fluids</i>, vol. 2, no. 4, 043904, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevFluids.2.043904\">10.1103/PhysRevFluids.2.043904</a>.","chicago":"Klotz, Lukasz, Grégoire M Lemoult, Idalia Frontczak, Laurette Tuckerman, and José Wesfreid. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.” <i>Physical Review Fluids</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevFluids.2.043904\">https://doi.org/10.1103/PhysRevFluids.2.043904</a>.","ista":"Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. 2017. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2(4), 043904."}},{"publisher":"Nature Publishing Group","department":[{"_id":"JoCs"}],"volume":8,"quality_controlled":"1","type":"journal_article","abstract":[{"text":"Orientation in space is represented in specialized brain circuits. Persistent head direction signals are transmitted from anterior thalamus to the presubiculum, but the identity of the presubicular target neurons, their connectivity and function in local microcircuits are unknown. Here, we examine how thalamic afferents recruit presubicular principal neurons and Martinotti interneurons, and the ensuing synaptic interactions between these cells. Pyramidal neuron activation of Martinotti cells in superficial layers is strongly facilitating such that high-frequency head directional stimulation efficiently unmutes synaptic excitation. Martinotti-cell feedback plays a dual role: precisely timed spikes may not inhibit the firing of in-tune head direction cells, while exerting lateral inhibition. Autonomous attractor dynamics emerge from a modelled network implementing wiring motifs and timing sensitive synaptic interactions in the pyramidal - Martinotti-cell feedback loop. This inhibitory microcircuit is therefore tuned to refine and maintain head direction information in the presubiculum.","lang":"eng"}],"citation":{"short":"J. Simonnet, M. Nassar, F. Stella, I. Cohen, B. Mathon, C.N. Boccara, R. Miles, D. Fricker, Nature Communications 8 (2017).","mla":"Simonnet, Jean, et al. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.” <i>Nature Communications</i>, vol. 8, 16032, Nature Publishing Group, 2017, doi:<a href=\"https://doi.org/10.1038/ncomms16032\">10.1038/ncomms16032</a>.","chicago":"Simonnet, Jean, Mérie Nassar, Federico Stella, Ivan Cohen, Bertrand Mathon, Charlotte N. Boccara, Richard Miles, and Desdemona Fricker. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.” <i>Nature Communications</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/ncomms16032\">https://doi.org/10.1038/ncomms16032</a>.","ista":"Simonnet J, Nassar M, Stella F, Cohen I, Mathon B, Boccara CN, Miles R, Fricker D. 2017. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 8, 16032.","ieee":"J. Simonnet <i>et al.</i>, “Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum,” <i>Nature Communications</i>, vol. 8. Nature Publishing Group, 2017.","ama":"Simonnet J, Nassar M, Stella F, et al. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. <i>Nature Communications</i>. 2017;8. doi:<a href=\"https://doi.org/10.1038/ncomms16032\">10.1038/ncomms16032</a>","apa":"Simonnet, J., Nassar, M., Stella, F., Cohen, I., Mathon, B., Boccara, C. N., … Fricker, D. (2017). Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/ncomms16032\">https://doi.org/10.1038/ncomms16032</a>"},"scopus_import":"1","month":"07","_id":"514","pubrep_id":"937","external_id":{"isi":["000405901100001"]},"date_created":"2018-12-11T11:46:54Z","publication_status":"published","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"ddc":["571"],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Nature Communications","isi":1,"year":"2017","publication_identifier":{"issn":["2041-1723"]},"article_number":"16032","intvolume":"         8","date_published":"2017-07-01T00:00:00Z","doi":"10.1038/ncomms16032","day":"01","oa":1,"file":[{"relation":"main_file","content_type":"application/pdf","checksum":"76d8a2b72a58e56adb410ec37dfa7eee","file_id":"5083","date_updated":"2020-07-14T12:46:36Z","access_level":"open_access","file_size":2948357,"creator":"system","file_name":"IST-2018-937-v1+1_2017_Stella_Activity_dependent.pdf","date_created":"2018-12-12T10:14:31Z"}],"file_date_updated":"2020-07-14T12:46:36Z","article_processing_charge":"No","has_accepted_license":"1","language":[{"iso":"eng"}],"status":"public","date_updated":"2025-09-18T09:48:43Z","title":"Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum","author":[{"full_name":"Simonnet, Jean","last_name":"Simonnet","first_name":"Jean"},{"first_name":"Mérie","last_name":"Nassar","full_name":"Nassar, Mérie"},{"first_name":"Federico","id":"39AF1E74-F248-11E8-B48F-1D18A9856A87","full_name":"Stella, Federico","last_name":"Stella","orcid":"0000-0001-9439-3148"},{"last_name":"Cohen","full_name":"Cohen, Ivan","first_name":"Ivan"},{"first_name":"Bertrand","last_name":"Mathon","full_name":"Mathon, Bertrand"},{"full_name":"Boccara, Charlotte","last_name":"Boccara","id":"3FC06552-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7237-5109","first_name":"Charlotte"},{"first_name":"Richard","last_name":"Miles","full_name":"Miles, Richard"},{"first_name":"Desdemona","full_name":"Fricker, Desdemona","last_name":"Fricker"}],"oa_version":"Published Version","publist_id":"7305"},{"isi":1,"publication":"Nature Structural and Molecular Biology","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","project":[{"call_identifier":"H2020","name":"Atomic Resolution Structures of Mitochondrial Respiratory Chain Supercomplexes","_id":"2590DB08-B435-11E9-9278-68D0E5697425","grant_number":"701309"}],"ddc":["572"],"oa":1,"file":[{"checksum":"9bc7e8c41b43636dd7566289e511f096","content_type":"application/pdf","relation":"main_file","date_updated":"2020-07-14T12:46:36Z","file_id":"6993","access_level":"open_access","file_name":"29893_2_merged_1501257589_red.pdf","date_created":"2019-11-07T12:51:07Z","creator":"lsazanov","file_size":4118385}],"day":"05","doi":"10.1038/nsmb.3460","date_published":"2017-10-05T00:00:00Z","intvolume":"        24","article_type":"original","year":"2017","publication_identifier":{"issn":["1545-9993"]},"ec_funded":1,"title":"Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain","author":[{"orcid":"0000-0002-9864-3586","last_name":"Letts","full_name":"Letts, James A","id":"322DA418-F248-11E8-B48F-1D18A9856A87","first_name":"James A"},{"last_name":"Sazanov","full_name":"Sazanov, Leonid A","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","first_name":"Leonid A"}],"page":"800 - 808","date_updated":"2025-09-18T09:47:41Z","language":[{"iso":"eng"}],"status":"public","has_accepted_license":"1","article_processing_charge":"No","file_date_updated":"2020-07-14T12:46:36Z","publist_id":"7304","oa_version":"Submitted Version","volume":24,"department":[{"_id":"LeSa"}],"corr_author":"1","publisher":"Nature Publishing Group","citation":{"apa":"Letts, J. A., &#38; Sazanov, L. A. (2017). Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. <i>Nature Structural and Molecular Biology</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nsmb.3460\">https://doi.org/10.1038/nsmb.3460</a>","ama":"Letts JA, Sazanov LA. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. <i>Nature Structural and Molecular Biology</i>. 2017;24(10):800-808. doi:<a href=\"https://doi.org/10.1038/nsmb.3460\">10.1038/nsmb.3460</a>","ieee":"J. A. Letts and L. A. Sazanov, “Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain,” <i>Nature Structural and Molecular Biology</i>, vol. 24, no. 10. Nature Publishing Group, pp. 800–808, 2017.","mla":"Letts, James A., and Leonid A. Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.” <i>Nature Structural and Molecular Biology</i>, vol. 24, no. 10, Nature Publishing Group, 2017, pp. 800–08, doi:<a href=\"https://doi.org/10.1038/nsmb.3460\">10.1038/nsmb.3460</a>.","chicago":"Letts, James A, and Leonid A Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.” <i>Nature Structural and Molecular Biology</i>. Nature Publishing Group, 2017. <a href=\"https://doi.org/10.1038/nsmb.3460\">https://doi.org/10.1038/nsmb.3460</a>.","ista":"Letts JA, Sazanov LA. 2017. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 24(10), 800–808.","short":"J.A. Letts, L.A. Sazanov, Nature Structural and Molecular Biology 24 (2017) 800–808."},"abstract":[{"lang":"eng","text":"The oxidative phosphorylation electron transport chain (OXPHOS-ETC) of the inner mitochondrial membrane is composed of five large protein complexes, named CI-CV. These complexes convert energy from the food we eat into ATP, a small molecule used to power a multitude of essential reactions throughout the cell. OXPHOS-ETC complexes are organized into supercomplexes (SCs) of defined stoichiometry: CI forms a supercomplex with CIII2 and CIV (SC I+III2+IV, known as the respirasome), as well as with CIII2 alone (SC I+III2). CIII2 forms a supercomplex with CIV (SC III2+IV) and CV forms dimers (CV2). Recent cryo-EM studies have revealed the structures of SC I+III2+IV and SC I+III2. Furthermore, recent work has shed light on the assembly and function of the SCs. Here we review and compare these recent studies and discuss how they have advanced our understanding of mitochondrial electron transport."}],"type":"journal_article","quality_controlled":"1","_id":"515","month":"10","scopus_import":"1","issue":"10","publication_status":"published","date_created":"2018-12-11T11:46:54Z","external_id":{"isi":["000412278000006"]}},{"oa_version":"None","publist_id":"7298","article_processing_charge":"No","status":"public","language":[{"iso":"eng"}],"date_updated":"2025-09-18T09:45:41Z","page":"395 - 401","author":[{"last_name":"Du","full_name":"Du, Wei","first_name":"Wei"},{"orcid":"0000-0001-8619-2223","full_name":"Angermayr, Andreas","last_name":"Angermayr","id":"4677C796-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas"},{"last_name":"Jongbloets","full_name":"Jongbloets, Joeri","first_name":"Joeri"},{"first_name":"Douwe","last_name":"Molenaar","full_name":"Molenaar, Douwe"},{"last_name":"Bachmann","full_name":"Bachmann, Herwig","first_name":"Herwig"},{"first_name":"Klaas","full_name":"Hellingwerf, Klaas","last_name":"Hellingwerf"},{"first_name":"Filipe","full_name":"Branco Dos Santos, Filipe","last_name":"Branco Dos Santos"}],"title":"Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803","year":"2017","article_type":"letter_note","publication_identifier":{"issn":["2161-5063"]},"date_published":"2017-03-17T00:00:00Z","intvolume":"         6","doi":"10.1021/acssynbio.6b00235","day":"17","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"publication":"ACS Synthetic Biology","external_id":{"pmid":["27936615"],"isi":["000397080300002"]},"date_created":"2018-12-11T11:46:56Z","publication_status":"published","scopus_import":"1","issue":"3","month":"03","_id":"520","quality_controlled":"1","citation":{"short":"W. Du, A. Angermayr, J. Jongbloets, D. Molenaar, H. Bachmann, K. Hellingwerf, F. Branco Dos Santos, ACS Synthetic Biology 6 (2017) 395–401.","apa":"Du, W., Angermayr, A., Jongbloets, J., Molenaar, D., Bachmann, H., Hellingwerf, K., &#38; Branco Dos Santos, F. (2017). Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803. <i>ACS Synthetic Biology</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acssynbio.6b00235\">https://doi.org/10.1021/acssynbio.6b00235</a>","ama":"Du W, Angermayr A, Jongbloets J, et al. Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803. <i>ACS Synthetic Biology</i>. 2017;6(3):395-401. doi:<a href=\"https://doi.org/10.1021/acssynbio.6b00235\">10.1021/acssynbio.6b00235</a>","ieee":"W. Du <i>et al.</i>, “Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803,” <i>ACS Synthetic Biology</i>, vol. 6, no. 3. American Chemical Society, pp. 395–401, 2017.","chicago":"Du, Wei, Andreas Angermayr, Joeri Jongbloets, Douwe Molenaar, Herwig Bachmann, Klaas Hellingwerf, and Filipe Branco Dos Santos. “Nonhierarchical Flux Regulation Exposes the Fitness Burden Associated with Lactate Production in Synechocystis Sp. PCC6803.” <i>ACS Synthetic Biology</i>. American Chemical Society, 2017. <a href=\"https://doi.org/10.1021/acssynbio.6b00235\">https://doi.org/10.1021/acssynbio.6b00235</a>.","ista":"Du W, Angermayr A, Jongbloets J, Molenaar D, Bachmann H, Hellingwerf K, Branco Dos Santos F. 2017. Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. PCC6803. ACS Synthetic Biology. 6(3), 395–401.","mla":"Du, Wei, et al. “Nonhierarchical Flux Regulation Exposes the Fitness Burden Associated with Lactate Production in Synechocystis Sp. PCC6803.” <i>ACS Synthetic Biology</i>, vol. 6, no. 3, American Chemical Society, 2017, pp. 395–401, doi:<a href=\"https://doi.org/10.1021/acssynbio.6b00235\">10.1021/acssynbio.6b00235</a>."},"type":"journal_article","abstract":[{"lang":"eng","text":"Cyanobacteria are mostly engineered to be sustainable cell-factories by genetic manipulations alone. Here, by modulating the concentration of allosteric effectors, we focus on increasing product formation without further burdening the cells with increased expression of enzymes. Resorting to a novel 96-well microplate cultivation system for cyanobacteria, and using lactate-producing strains of Synechocystis PCC6803 expressing different l-lactate dehydrogenases (LDH), we titrated the effect of 2,5-anhydro-mannitol supplementation. The latter acts in cells as a nonmetabolizable analogue of fructose 1,6-bisphosphate, a known allosteric regulator of one of the tested LDHs. In this strain (SAA023), we achieved over 2-fold increase of lactate productivity. Furthermore, we observed that as carbon is increasingly deviated during growth toward product formation, there is an increased fixation rate in the population of spontaneous mutants harboring an impaired production pathway. This is a challenge in the development of green cell factories, which may be countered by the incorporation in biotechnological processes of strategies such as the one pioneered here."}],"pmid":1,"publisher":"American Chemical Society","department":[{"_id":"ToBo"}],"volume":6},{"abstract":[{"lang":"eng","text":"Let X and Y be proper metric spaces. We show that a coarsely n-to-1 map f:X→Y induces an n-to-1 map of Higson coronas. This viewpoint turns out to be successful in showing that the classical dimension raising theorems hold in large scale; that is, if f:X→Y is a coarsely n-to-1 map between proper metric spaces X and Y then asdim(Y)≤asdim(X)+n−1. Furthermore we introduce coarsely open coarsely n-to-1 maps, which include the natural quotient maps via a finite group action, and prove that they preserve the asymptotic dimension."}],"type":"journal_article","citation":{"ama":"Austin K, Virk Z. Higson compactification and dimension raising. <i>Topology and its Applications</i>. 2017;215:45-57. doi:<a href=\"https://doi.org/10.1016/j.topol.2016.10.005\">10.1016/j.topol.2016.10.005</a>","ieee":"K. Austin and Z. Virk, “Higson compactification and dimension raising,” <i>Topology and its Applications</i>, vol. 215. Elsevier, pp. 45–57, 2017.","apa":"Austin, K., &#38; Virk, Z. (2017). Higson compactification and dimension raising. <i>Topology and Its Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.topol.2016.10.005\">https://doi.org/10.1016/j.topol.2016.10.005</a>","mla":"Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.” <i>Topology and Its Applications</i>, vol. 215, Elsevier, 2017, pp. 45–57, doi:<a href=\"https://doi.org/10.1016/j.topol.2016.10.005\">10.1016/j.topol.2016.10.005</a>.","ista":"Austin K, Virk Z. 2017. Higson compactification and dimension raising. Topology and its Applications. 215, 45–57.","chicago":"Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.” <i>Topology and Its Applications</i>. Elsevier, 2017. <a href=\"https://doi.org/10.1016/j.topol.2016.10.005\">https://doi.org/10.1016/j.topol.2016.10.005</a>.","short":"K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57."},"quality_controlled":"1","corr_author":"1","publisher":"Elsevier","main_file_link":[{"url":"https://arxiv.org/abs/1608.03954","open_access":"1"}],"volume":215,"department":[{"_id":"HeEd"}],"external_id":{"arxiv":["1608.03954"],"isi":["000390501400005"]},"publication_status":"published","date_created":"2018-12-11T11:46:56Z","month":"01","scopus_import":"1","_id":"521","publication_identifier":{"issn":["0166-8641"]},"year":"2017","day":"01","doi":"10.1016/j.topol.2016.10.005","oa":1,"intvolume":"       215","date_published":"2017-01-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","arxiv":1,"publication":"Topology and its Applications","isi":1,"oa_version":"Submitted Version","publist_id":"7299","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","title":"Higson compactification and dimension raising","author":[{"first_name":"Kyle","last_name":"Austin","full_name":"Austin, Kyle"},{"id":"2E36B656-F248-11E8-B48F-1D18A9856A87","full_name":"Virk, Ziga","last_name":"Virk","first_name":"Ziga"}],"page":"45 - 57","date_updated":"2025-09-18T09:47:04Z"},{"corr_author":"1","publisher":"Springer","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1602.07907"}],"volume":58,"department":[{"_id":"UlWa"}],"citation":{"apa":"Burton, B., de Mesmay, A. N., &#38; Wagner, U. (2017). Finding non-orientable surfaces in 3-Manifolds. <i>Discrete &#38; Computational Geometry</i>. Springer. <a href=\"https://doi.org/10.1007/s00454-017-9900-0\">https://doi.org/10.1007/s00454-017-9900-0</a>","ama":"Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-Manifolds. <i>Discrete &#38; Computational Geometry</i>. 2017;58(4):871-888. doi:<a href=\"https://doi.org/10.1007/s00454-017-9900-0\">10.1007/s00454-017-9900-0</a>","ieee":"B. Burton, A. N. de Mesmay, and U. Wagner, “Finding non-orientable surfaces in 3-Manifolds,” <i>Discrete &#38; Computational Geometry</i>, vol. 58, no. 4. Springer, pp. 871–888, 2017.","mla":"Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.” <i>Discrete &#38; Computational Geometry</i>, vol. 58, no. 4, Springer, 2017, pp. 871–88, doi:<a href=\"https://doi.org/10.1007/s00454-017-9900-0\">10.1007/s00454-017-9900-0</a>.","chicago":"Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds.” <i>Discrete &#38; Computational Geometry</i>. Springer, 2017. <a href=\"https://doi.org/10.1007/s00454-017-9900-0\">https://doi.org/10.1007/s00454-017-9900-0</a>.","ista":"Burton B, de Mesmay AN, Wagner U. 2017. Finding non-orientable surfaces in 3-Manifolds. Discrete &#38; Computational Geometry. 58(4), 871–888.","short":"B. Burton, A.N. de Mesmay, U. Wagner, Discrete &#38; Computational Geometry 58 (2017) 871–888."},"type":"journal_article","abstract":[{"text":"We investigate the complexity of finding an embedded non-orientable surface of Euler genus g in a triangulated 3-manifold. This problem occurs both as a natural question in low-dimensional topology, and as a first non-trivial instance of embeddability of complexes into 3-manifolds. We prove that the problem is NP-hard, thus adding to the relatively few hardness results that are currently known in 3-manifold topology. In addition, we show that the problem lies in NP when the Euler genus g is odd, and we give an explicit algorithm in this case.","lang":"eng"}],"quality_controlled":"1","month":"06","scopus_import":"1","issue":"4","_id":"534","external_id":{"isi":["000413958900006"],"arxiv":["1602.07907"]},"publication_status":"published","date_created":"2018-12-11T11:47:01Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"arxiv":1,"publication":"Discrete & Computational Geometry","article_type":"original","year":"2017","publication_identifier":{"issn":["01795376"]},"oa":1,"day":"09","doi":"10.1007/s00454-017-9900-0","date_published":"2017-06-09T00:00:00Z","intvolume":"        58","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","author":[{"first_name":"Benjamin","full_name":"Burton, Benjamin","last_name":"Burton"},{"first_name":"Arnaud N","last_name":"De Mesmay","full_name":"De Mesmay, Arnaud N","id":"3DB2F25C-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Uli","full_name":"Wagner, Uli","last_name":"Wagner","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1494-0568"}],"title":"Finding non-orientable surfaces in 3-Manifolds","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"1379"}]},"page":"871 - 888","date_updated":"2025-09-18T09:45:02Z","oa_version":"Preprint","publist_id":"7283"},{"pubrep_id":"932","_id":"538","issue":"16","month":"05","date_created":"2018-12-11T11:47:02Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publication_status":"published","department":[{"_id":"CaGu"},{"_id":"HaJa"}],"volume":129,"publisher":"Wiley","corr_author":"1","quality_controlled":"1","citation":{"apa":"Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., &#38; Janovjak, H. L. (2017). Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. <i>Angewandte Chemie</i>. Wiley. <a href=\"https://doi.org/10.1002/ange.201611998\">https://doi.org/10.1002/ange.201611998</a>","ama":"Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. <i>Angewandte Chemie</i>. 2017;129(16):4679-4682. doi:<a href=\"https://doi.org/10.1002/ange.201611998\">10.1002/ange.201611998</a>","ieee":"S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen,” <i>Angewandte Chemie</i>, vol. 129, no. 16. Wiley, pp. 4679–4682, 2017.","ista":"Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. 2017. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. 129(16), 4679–4682.","chicago":"Kainrath, Stephanie, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.” <i>Angewandte Chemie</i>. Wiley, 2017. <a href=\"https://doi.org/10.1002/ange.201611998\">https://doi.org/10.1002/ange.201611998</a>.","mla":"Kainrath, Stephanie, et al. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.” <i>Angewandte Chemie</i>, vol. 129, no. 16, Wiley, 2017, pp. 4679–82, doi:<a href=\"https://doi.org/10.1002/ange.201611998\">10.1002/ange.201611998</a>.","short":"S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie 129 (2017) 4679–4682."},"type":"journal_article","abstract":[{"lang":"ger","text":"Optogenetik und Photopharmakologie ermöglichen präzise räumliche und zeitliche Kontrolle von Proteinwechselwirkung und -funktion in Zellen und Tieren. Optogenetische Methoden, die auf grünes Licht ansprechen und zum Trennen von Proteinkomplexen geeignet sind, sind nichtweitläufig verfügbar, würden jedoch mehrfarbige Experimente zur Beantwortung von biologischen Fragestellungen ermöglichen. Hier demonstrieren wir die Verwendung von Cobalamin(Vitamin B12)-bindenden Domänen von bakteriellen CarH-Transkriptionsfaktoren zur Grünlicht-induzierten Dissoziation von Rezeptoren. Fusioniert mit dem Fibroblasten-W achstumsfaktor-Rezeptor 1 führten diese im Dunkeln in kultivierten Zellen zu Signalaktivität durch Oligomerisierung, welche durch Beleuchten umgehend aufgehoben wurde. In Zebrafischembryonen, die einen derartigen Rezeptor exprimieren, ermöglichte grünes Licht die Kontrolle über abnormale Signalaktivität während der Embryonalentwicklung. "}],"page":"4679 - 4682","date_updated":"2024-10-09T20:58:07Z","author":[{"id":"32CFBA64-F248-11E8-B48F-1D18A9856A87","last_name":"Kainrath","full_name":"Kainrath, Stephanie","first_name":"Stephanie"},{"first_name":"Manuela","full_name":"Stadler, Manuela","last_name":"Stadler"},{"orcid":"0000-0002-7218-7738","id":"3FEE232A-F248-11E8-B48F-1D18A9856A87","full_name":"Gschaider-Reichhart, Eva","last_name":"Gschaider-Reichhart","first_name":"Eva"},{"first_name":"Martin","full_name":"Distel, Martin","last_name":"Distel"},{"orcid":"0000-0002-8023-9315","id":"33BA6C30-F248-11E8-B48F-1D18A9856A87","last_name":"Janovjak","full_name":"Janovjak, Harald L","first_name":"Harald L"}],"title":"Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen","has_accepted_license":"1","file_date_updated":"2020-07-14T12:46:39Z","status":"public","language":[{"iso":"eng"}],"oa_version":"Published Version","publist_id":"7279","publication":"Angewandte Chemie","ddc":["571"],"project":[{"call_identifier":"FP7","_id":"25548C20-B435-11E9-9278-68D0E5697425","name":"Microbial Ion Channels for Synthetic Neurobiology","grant_number":"303564"},{"call_identifier":"FWF","grant_number":"W1232-B24","name":"Molecular Drug Targets","_id":"255A6082-B435-11E9-9278-68D0E5697425"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2017-05-20T00:00:00Z","intvolume":"       129","oa":1,"file":[{"checksum":"d66fee867e7cdbfa3fe276c2fb0778bb","content_type":"application/pdf","relation":"main_file","date_updated":"2020-07-14T12:46:39Z","file_id":"5007","access_level":"open_access","date_created":"2018-12-12T10:13:24Z","file_name":"IST-2018-932-v1+1_Kainrath_et_al-2017-Angewandte_Chemie.pdf","creator":"system","file_size":1668557}],"day":"20","doi":"10.1002/ange.201611998","year":"2017","ec_funded":1},{"day":"01","doi":"10.1371/journal.ppat.1006758","file":[{"file_name":"IST-2018-931-v1+1_journal.ppat.1006758.pdf","date_created":"2018-12-12T10:12:26Z","file_size":4106772,"creator":"system","access_level":"open_access","file_id":"4944","date_updated":"2020-07-14T12:46:44Z","relation":"main_file","checksum":"1aa20f19a1e90664fadce6e7d5284fdc","content_type":"application/pdf"}],"oa":1,"intvolume":"        13","date_published":"2017-12-01T00:00:00Z","article_number":"e1006758","year":"2017","publication_identifier":{"issn":["1553-7366"]},"publication":"PLoS Pathogens","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","ddc":["576","616"],"publist_id":"7276","oa_version":"Published Version","title":"Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein","author":[{"first_name":"Kseniya","last_name":"Khamina","full_name":"Khamina, Kseniya"},{"full_name":"Lercher, Alexander","last_name":"Lercher","first_name":"Alexander"},{"first_name":"Michael","last_name":"Caldera","full_name":"Caldera, Michael"},{"last_name":"Schliehe","full_name":"Schliehe, Christopher","first_name":"Christopher"},{"full_name":"Vilagos, Bojan","last_name":"Vilagos","first_name":"Bojan"},{"first_name":"Mehmet","last_name":"Sahin","full_name":"Sahin, Mehmet"},{"full_name":"Kosack, Lindsay","last_name":"Kosack","first_name":"Lindsay"},{"first_name":"Anannya","full_name":"Bhattacharya, Anannya","last_name":"Bhattacharya"},{"first_name":"Peter","last_name":"Májek","full_name":"Májek, Peter"},{"last_name":"Stukalov","full_name":"Stukalov, Alexey","first_name":"Alexey"},{"full_name":"Sacco, Roberto","last_name":"Sacco","id":"42C9F57E-F248-11E8-B48F-1D18A9856A87","first_name":"Roberto"},{"first_name":"Leo","last_name":"James","full_name":"James, Leo"},{"last_name":"Pinschewer","full_name":"Pinschewer, Daniel","first_name":"Daniel"},{"first_name":"Keiryn","full_name":"Bennett, Keiryn","last_name":"Bennett"},{"last_name":"Menche","full_name":"Menche, Jörg","first_name":"Jörg"},{"full_name":"Bergthaler, Andreas","last_name":"Bergthaler","first_name":"Andreas"}],"date_updated":"2025-09-18T09:43:05Z","language":[{"iso":"eng"}],"status":"public","file_date_updated":"2020-07-14T12:46:44Z","article_processing_charge":"No","has_accepted_license":"1","type":"journal_article","abstract":[{"text":"RNA-dependent RNA polymerases (RdRps) play a key role in the life cycle of RNA viruses and impact their immunobiology. The arenavirus lymphocytic choriomeningitis virus (LCMV) strain Clone 13 provides a benchmark model for studying chronic infection. A major genetic determinant for its ability to persist maps to a single amino acid exchange in the viral L protein, which exhibits RdRp activity, yet its functional consequences remain elusive. To unravel the L protein interactions with the host proteome, we engineered infectious L protein-tagged LCMV virions by reverse genetics. A subsequent mass-spectrometric analysis of L protein pulldowns from infected human cells revealed a comprehensive network of interacting host proteins. The obtained LCMV L protein interactome was bioinformatically integrated with known host protein interactors of RdRps from other RNA viruses, emphasizing interconnected modules of human proteins. Functional characterization of selected interactors highlighted proviral (DDX3X) as well as antiviral (NKRF, TRIM21) host factors. To corroborate these findings, we infected Trim21-/-mice with LCMV and found impaired virus control in chronic infection. These results provide insights into the complex interactions of the arenavirus LCMV and other viral RdRps with the host proteome and contribute to a better molecular understanding of how chronic viruses interact with their host.","lang":"eng"}],"citation":{"short":"K. Khamina, A. Lercher, M. Caldera, C. Schliehe, B. Vilagos, M. Sahin, L. Kosack, A. Bhattacharya, P. Májek, A. Stukalov, R. Sacco, L. James, D. Pinschewer, K. Bennett, J. Menche, A. Bergthaler, PLoS Pathogens 13 (2017).","mla":"Khamina, Kseniya, et al. “Characterization of Host Proteins Interacting with the Lymphocytic Choriomeningitis Virus L Protein.” <i>PLoS Pathogens</i>, vol. 13, no. 12, e1006758, Public Library of Science, 2017, doi:<a href=\"https://doi.org/10.1371/journal.ppat.1006758\">10.1371/journal.ppat.1006758</a>.","chicago":"Khamina, Kseniya, Alexander Lercher, Michael Caldera, Christopher Schliehe, Bojan Vilagos, Mehmet Sahin, Lindsay Kosack, et al. “Characterization of Host Proteins Interacting with the Lymphocytic Choriomeningitis Virus L Protein.” <i>PLoS Pathogens</i>. Public Library of Science, 2017. <a href=\"https://doi.org/10.1371/journal.ppat.1006758\">https://doi.org/10.1371/journal.ppat.1006758</a>.","ista":"Khamina K, Lercher A, Caldera M, Schliehe C, Vilagos B, Sahin M, Kosack L, Bhattacharya A, Májek P, Stukalov A, Sacco R, James L, Pinschewer D, Bennett K, Menche J, Bergthaler A. 2017. Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. 13(12), e1006758.","apa":"Khamina, K., Lercher, A., Caldera, M., Schliehe, C., Vilagos, B., Sahin, M., … Bergthaler, A. (2017). Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. <i>PLoS Pathogens</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.ppat.1006758\">https://doi.org/10.1371/journal.ppat.1006758</a>","ieee":"K. Khamina <i>et al.</i>, “Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein,” <i>PLoS Pathogens</i>, vol. 13, no. 12. Public Library of Science, 2017.","ama":"Khamina K, Lercher A, Caldera M, et al. Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. <i>PLoS Pathogens</i>. 2017;13(12). doi:<a href=\"https://doi.org/10.1371/journal.ppat.1006758\">10.1371/journal.ppat.1006758</a>"},"quality_controlled":"1","volume":13,"department":[{"_id":"GaNo"}],"publisher":"Public Library of Science","publication_status":"published","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"date_created":"2018-12-11T11:47:03Z","external_id":{"isi":["000419019800019"]},"pubrep_id":"931","_id":"540","month":"12","scopus_import":"1","issue":"12"},{"_id":"541","pubrep_id":"959","month":"12","scopus_import":"1","issue":"12","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publication_status":"published","date_created":"2018-12-11T11:47:04Z","external_id":{"isi":["000419103000015"]},"volume":13,"department":[{"_id":"CaGu"}],"corr_author":"1","publisher":"Public Library of Science","citation":{"short":"N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).","ieee":"N. Nikolic <i>et al.</i>, “Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations,” <i>PLoS Genetics</i>, vol. 13, no. 12. Public Library of Science, 2017.","ama":"Nikolic N, Schreiber F, Dal Co A, et al. Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. <i>PLoS Genetics</i>. 2017;13(12). doi:<a href=\"https://doi.org/10.1371/journal.pgen.1007122\">10.1371/journal.pgen.1007122</a>","apa":"Nikolic, N., Schreiber, F., Dal Co, A., Kiviet, D., Bergmiller, T., Littmann, S., … Ackermann, M. (2017). Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. <i>PLoS Genetics</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pgen.1007122\">https://doi.org/10.1371/journal.pgen.1007122</a>","mla":"Nikolic, Nela, et al. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.” <i>PLoS Genetics</i>, vol. 13, no. 12, e1007122, Public Library of Science, 2017, doi:<a href=\"https://doi.org/10.1371/journal.pgen.1007122\">10.1371/journal.pgen.1007122</a>.","chicago":"Nikolic, Nela, Frank Schreiber, Alma Dal Co, Daniel Kiviet, Tobias Bergmiller, Sten Littmann, Marcel Kuypers, and Martin Ackermann. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.” <i>PLoS Genetics</i>. Public Library of Science, 2017. <a href=\"https://doi.org/10.1371/journal.pgen.1007122\">https://doi.org/10.1371/journal.pgen.1007122</a>.","ista":"Nikolic N, Schreiber F, Dal Co A, Kiviet D, Bergmiller T, Littmann S, Kuypers M, Ackermann M. 2017. Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations. PLoS Genetics. 13(12), e1007122."},"abstract":[{"text":"While we have good understanding of bacterial metabolism at the population level, we know little about the metabolic behavior of individual cells: do single cells in clonal populations sometimes specialize on different metabolic pathways? Such metabolic specialization could be driven by stochastic gene expression and could provide individual cells with growth benefits of specialization. We measured the degree of phenotypic specialization in two parallel metabolic pathways, the assimilation of glucose and arabinose. We grew Escherichia coli in chemostats, and used isotope-labeled sugars in combination with nanometer-scale secondary ion mass spectrometry and mathematical modeling to quantify sugar assimilation at the single-cell level. We found large variation in metabolic activities between single cells, both in absolute assimilation and in the degree to which individual cells specialize in the assimilation of different sugars. Analysis of transcriptional reporters indicated that this variation was at least partially based on cell-to-cell variation in gene expression. Metabolic differences between cells in clonal populations could potentially reduce metabolic incompatibilities between different pathways, and increase the rate at which parallel reactions can be performed.","lang":"eng"}],"type":"journal_article","quality_controlled":"1","title":"Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations","author":[{"first_name":"Nela","orcid":"0000-0001-9068-6090","full_name":"Nikolic, Nela","last_name":"Nikolic","id":"42D9CABC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Schreiber","full_name":"Schreiber, Frank","first_name":"Frank"},{"first_name":"Alma","last_name":"Dal Co","full_name":"Dal Co, Alma"},{"first_name":"Daniel","full_name":"Kiviet, Daniel","last_name":"Kiviet"},{"orcid":"0000-0001-5396-4346","full_name":"Bergmiller, Tobias","last_name":"Bergmiller","id":"2C471CFA-F248-11E8-B48F-1D18A9856A87","first_name":"Tobias"},{"last_name":"Littmann","full_name":"Littmann, Sten","first_name":"Sten"},{"first_name":"Marcel","full_name":"Kuypers, Marcel","last_name":"Kuypers"},{"first_name":"Martin","full_name":"Ackermann, Martin","last_name":"Ackermann"}],"related_material":{"record":[{"status":"public","id":"9844","relation":"research_data"},{"id":"9845","relation":"research_data","status":"public"},{"id":"9846","relation":"research_data","status":"public"}]},"date_updated":"2025-09-18T09:42:09Z","status":"public","language":[{"iso":"eng"}],"article_processing_charge":"No","has_accepted_license":"1","file_date_updated":"2020-07-14T12:46:46Z","oa_version":"Published Version","publist_id":"7275","isi":1,"publication":"PLoS Genetics","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","project":[{"call_identifier":"FP7","grant_number":"291734","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme"}],"ddc":["576","579"],"oa":1,"file":[{"date_created":"2018-12-12T10:14:35Z","file_name":"IST-2018-959-v1+1_2017_Nikolic_Cell-to-cell.pdf","creator":"system","file_size":1308475,"access_level":"open_access","date_updated":"2020-07-14T12:46:46Z","file_id":"5088","content_type":"application/pdf","checksum":"22426d9382f21554bad5fa5967afcfd0","relation":"main_file"}],"doi":"10.1371/journal.pgen.1007122","day":"18","date_published":"2017-12-18T00:00:00Z","intvolume":"        13","article_number":"e1007122","publication_identifier":{"issn":["1553-7390"]},"year":"2017","ec_funded":1},{"month":"11","pubrep_id":"929","_id":"545","alternative_title":["Agricultural and Biological Sciences"],"date_created":"2018-12-11T11:47:05Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publication_status":"published","publisher":"IntechOpen","department":[{"_id":"JiFr"}],"quality_controlled":"1","citation":{"apa":"Mazur, E., &#38; Friml, J. (2017). Vascular tissue development and regeneration in the model plant arabidopsis. In S. Jurić (Ed.), <i>Plant Engineering</i> (pp. 113–140). IntechOpen. <a href=\"https://doi.org/10.5772/intechopen.69712\">https://doi.org/10.5772/intechopen.69712</a>","ama":"Mazur E, Friml J. Vascular tissue development and regeneration in the model plant arabidopsis. In: Jurić S, ed. <i>Plant Engineering</i>. Plant Engineering. IntechOpen; 2017:113-140. doi:<a href=\"https://doi.org/10.5772/intechopen.69712\">10.5772/intechopen.69712</a>","ieee":"E. Mazur and J. Friml, “Vascular tissue development and regeneration in the model plant arabidopsis,” in <i>Plant Engineering</i>, S. Jurić, Ed. IntechOpen, 2017, pp. 113–140.","chicago":"Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” In <i>Plant Engineering</i>, edited by Snježana Jurić, 113–40. Plant Engineering. IntechOpen, 2017. <a href=\"https://doi.org/10.5772/intechopen.69712\">https://doi.org/10.5772/intechopen.69712</a>.","ista":"Mazur E, Friml J. 2017.Vascular tissue development and regeneration in the model plant arabidopsis. In: Plant Engineering. Agricultural and Biological Sciences, , 113–140.","mla":"Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” <i>Plant Engineering</i>, edited by Snježana Jurić, IntechOpen, 2017, pp. 113–40, doi:<a href=\"https://doi.org/10.5772/intechopen.69712\">10.5772/intechopen.69712</a>.","short":"E. Mazur, J. Friml, in:, S. Jurić (Ed.), Plant Engineering, IntechOpen, 2017, pp. 113–140."},"abstract":[{"text":"Development of vascular tissue is a remarkable example of intercellular communication and coordinated development involving hormonal signaling and tissue polarity. Thus far, studies on vascular patterning and regeneration have been conducted mainly in trees—woody plants—with a well-developed layer of vascular cambium and secondary tissues. Trees are difficult to use as genetic models, i.e., due to long generation time, unstable environmental conditions, and lack of available mutants and transgenic lines. Therefore, the use of the main genetic model plant Arabidopsis thaliana (L.) Heynh., with a wealth of available marker and transgenic lines, provides a unique opportunity to address molecular mechanism of vascular tissue formation and regeneration. With specific treatments, the tiny weed Arabidopsis can serve as a model to understand the growth of mighty trees and interconnect a tree physiology with molecular genetics and cell biology of Arabidopsis.","lang":"eng"}],"type":"book_chapter","has_accepted_license":"1","article_processing_charge":"No","file_date_updated":"2020-07-14T12:46:58Z","language":[{"iso":"eng"}],"status":"public","date_updated":"2025-09-22T08:43:49Z","related_material":{"record":[{"relation":"earlier_version","id":"1274","status":"public"}]},"page":"113 - 140","author":[{"last_name":"Mazur","full_name":"Mazur, Ewa","first_name":"Ewa"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","full_name":"Friml, Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jirí"}],"title":"Vascular tissue development and regeneration in the model plant arabidopsis","publist_id":"7269","oa_version":"Published Version","editor":[{"last_name":"Jurić","full_name":"Jurić, Snježana","first_name":"Snježana"}],"ddc":["581"],"project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","name":"Polarity and subcellular dynamics in plants","grant_number":"282300","call_identifier":"FP7"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Plant Engineering","series_title":"Plant Engineering","year":"2017","ec_funded":1,"date_published":"2017-11-17T00:00:00Z","oa":1,"file":[{"access_level":"open_access","file_name":"IST-2018-929-v1+1_56106.pdf","date_created":"2018-12-12T10:12:49Z","creator":"system","file_size":7443683,"checksum":"e1f05e5850dfd9f9434d2d373ca61941","content_type":"application/pdf","relation":"main_file","date_updated":"2020-07-14T12:46:58Z","file_id":"4969"}],"doi":"10.5772/intechopen.69712","day":"17"},{"department":[{"_id":"E-Lib"}],"OA_type":"gold","OA_place":"publisher","ddc":["020"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Institute of Science and Technology Austria","corr_author":"1","date_published":"2017-06-26T00:00:00Z","abstract":[{"lang":"eng","text":"In this report the implementation of the institutional data repository IST DataRep at IST Austria will be covered: Starting with the research phase when requirements for a repository were established, the procedure of choosing a repository-software and its customization based on the results of user-testings will be discussed. Followed by reflections on the marketing strategies in regard of impact, and at the end sharing some experiences of one year operating IST DataRep."}],"type":"report","day":"26","citation":{"short":"B. Petritsch, Implementing the Institutional Data Repository IST DataRep, Institute of Science and Technology Austria, 2017.","ieee":"B. Petritsch, <i>Implementing the institutional data repository IST DataRep</i>. Institute of Science and Technology Austria, 2017.","apa":"Petritsch, B. (2017). <i>Implementing the institutional data repository IST DataRep</i>. Institute of Science and Technology Austria.","ama":"Petritsch B. <i>Implementing the Institutional Data Repository IST DataRep</i>. Institute of Science and Technology Austria; 2017.","chicago":"Petritsch, Barbara. <i>Implementing the Institutional Data Repository IST DataRep</i>. Institute of Science and Technology Austria, 2017.","ista":"Petritsch B. 2017. Implementing the institutional data repository IST DataRep, Institute of Science and Technology Austria,p.","mla":"Petritsch, Barbara. <i>Implementing the Institutional Data Repository IST DataRep</i>. Institute of Science and Technology Austria, 2017."},"file":[{"relation":"main_file","checksum":"6321792dcfa82bf490f17615a9b22355","content_type":"application/pdf","file_id":"5483","date_updated":"2020-07-14T12:46:59Z","access_level":"open_access","file_name":"IST-2017-724-v1+1_DataRep_Project_Report_2017.pdf","date_created":"2018-12-12T11:53:22Z","file_size":3460985,"creator":"system"}],"oa":1,"year":"2017","date_updated":"2025-07-10T11:52:50Z","_id":"5450","pubrep_id":"724","author":[{"orcid":"0000-0003-2724-4614","last_name":"Petritsch","full_name":"Petritsch, Barbara","id":"406048EC-F248-11E8-B48F-1D18A9856A87","first_name":"Barbara"}],"title":"Implementing the institutional data repository IST DataRep","file_date_updated":"2020-07-14T12:46:59Z","article_processing_charge":"No","has_accepted_license":"1","language":[{"iso":"eng"}],"status":"public","month":"06","date_created":"2018-12-12T11:39:24Z","oa_version":"Published Version","publication_status":"published","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"}},{"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","ddc":["000"],"oa":1,"file":[{"file_id":"5524","date_updated":"2020-07-14T12:46:59Z","relation":"main_file","content_type":"application/pdf","checksum":"177a84a46e3ac17e87b31534ad16a4c9","file_name":"IST-2017-870-v1+1_main.pdf","date_created":"2018-12-12T11:54:02Z","file_size":960491,"creator":"system","access_level":"open_access"}],"doi":"10.15479/AT:IST-2017-870-v1-1","day":"23","date_published":"2017-10-23T00:00:00Z","publication_identifier":{"issn":["2664-1690"]},"year":"2017","author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu"},{"last_name":"Choudhary","full_name":"Choudhary, Bhavya","first_name":"Bhavya"},{"first_name":"Andreas","id":"49704004-F248-11E8-B48F-1D18A9856A87","last_name":"Pavlogiannis","full_name":"Pavlogiannis, Andreas","orcid":"0000-0002-8943-0722"}],"title":"Optimal Dyck reachability for data-dependence and alias analysis","page":"37","date_updated":"2025-04-15T08:12:18Z","related_material":{"record":[{"status":"public","relation":"later_version","id":"10416"}]},"status":"public","language":[{"iso":"eng"}],"article_processing_charge":"No","has_accepted_license":"1","file_date_updated":"2020-07-14T12:46:59Z","oa_version":"Published Version","department":[{"_id":"KrCh"}],"publisher":"IST Austria","citation":{"short":"K. Chatterjee, B. Choudhary, A. Pavlogiannis, Optimal Dyck Reachability for Data-Dependence and Alias Analysis, IST Austria, 2017.","mla":"Chatterjee, Krishnendu, et al. <i>Optimal Dyck Reachability for Data-Dependence and Alias Analysis</i>. IST Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:IST-2017-870-v1-1\">10.15479/AT:IST-2017-870-v1-1</a>.","ista":"Chatterjee K, Choudhary B, Pavlogiannis A. 2017. Optimal Dyck reachability for data-dependence and alias analysis, IST Austria, 37p.","chicago":"Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. <i>Optimal Dyck Reachability for Data-Dependence and Alias Analysis</i>. IST Austria, 2017. <a href=\"https://doi.org/10.15479/AT:IST-2017-870-v1-1\">https://doi.org/10.15479/AT:IST-2017-870-v1-1</a>.","apa":"Chatterjee, K., Choudhary, B., &#38; Pavlogiannis, A. (2017). <i>Optimal Dyck reachability for data-dependence and alias analysis</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2017-870-v1-1\">https://doi.org/10.15479/AT:IST-2017-870-v1-1</a>","ieee":"K. Chatterjee, B. Choudhary, and A. Pavlogiannis, <i>Optimal Dyck reachability for data-dependence and alias analysis</i>. IST Austria, 2017.","ama":"Chatterjee K, Choudhary B, Pavlogiannis A. <i>Optimal Dyck Reachability for Data-Dependence and Alias Analysis</i>. IST Austria; 2017. doi:<a href=\"https://doi.org/10.15479/AT:IST-2017-870-v1-1\">10.15479/AT:IST-2017-870-v1-1</a>"},"type":"technical_report","abstract":[{"text":"A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graphwhere the edges are labeled with different types of opening and closing parentheses, and the reachabilityinformation is computed via paths whose parentheses are properly matched. We present new results for Dyckreachability problems with applications to alias analysis and data-dependence analysis. Our main contributions,that include improved upper bounds as well as lower bounds that establish optimality guarantees, are asfollows:First, we consider Dyck reachability on bidirected graphs, which is the standard way of performing field-sensitive points-to analysis. Given a bidirected graph withnnodes andmedges, we present: (i) an algorithmwith worst-case running timeO(m+n·α(n)), whereα(n)is the inverse Ackermann function, improving thepreviously knownO(n2)time bound; (ii) a matching lower bound that shows that our algorithm is optimalwrt to worst-case complexity; and (iii) an optimal average-case upper bound ofO(m)time, improving thepreviously knownO(m·logn)bound.Second, we consider the problem of context-sensitive data-dependence analysis, where the task is to obtainanalysis summaries of library code in the presence of callbacks. Our algorithm preprocesses libraries in almostlinear time, after which the contribution of the library in the complexity of the client analysis is only linear,and only wrt the number of call sites.Third, we prove that combinatorial algorithms for Dyck reachability on general graphs with truly sub-cubic bounds cannot be obtained without obtaining sub-cubic combinatorial algorithms for Boolean MatrixMultiplication, which is a long-standing open problem. Thus we establish that the existing combinatorialalgorithms for Dyck reachability are (conditionally) optimal for general graphs. We also show that the samehardness holds for graphs of constant treewidth.Finally, we provide a prototype implementation of our algorithms for both alias analysis and data-dependenceanalysis. Our experimental evaluation demonstrates that the new algorithms significantly outperform allexisting methods on the two problems, over real-world benchmarks.","lang":"eng"}],"_id":"5455","pubrep_id":"870","month":"10","publication_status":"published","date_created":"2018-12-12T11:39:26Z","alternative_title":["IST Austria Technical Report"]},{"ddc":["000"],"publisher":"IST Austria","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"KrCh"}],"year":"2017","publication_identifier":{"issn":["2664-1690"]},"date_published":"2017-10-23T00:00:00Z","file":[{"date_updated":"2020-07-14T12:46:59Z","file_id":"5487","checksum":"d2635c4cf013000f0a1b09e80f9e4ab7","content_type":"application/pdf","relation":"main_file","creator":"system","file_size":910347,"file_name":"IST-2017-872-v1+1_main.pdf","date_created":"2018-12-12T11:53:26Z","access_level":"open_access"}],"citation":{"short":"M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2017.","mla":"Chalupa, Marek, et al. <i>Data-Centric Dynamic Partial Order Reduction</i>. IST Austria, 2017, doi:<a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">10.15479/AT:IST-2017-872-v1-1</a>.","ista":"Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2017. Data-centric dynamic partial order reduction, IST Austria, 36p.","chicago":"Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. <i>Data-Centric Dynamic Partial Order Reduction</i>. IST Austria, 2017. <a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">https://doi.org/10.15479/AT:IST-2017-872-v1-1</a>.","apa":"Chalupa, M., Chatterjee, K., Pavlogiannis, A., Sinha, N., &#38; Vaidya, K. (2017). <i>Data-centric dynamic partial order reduction</i>. IST Austria. <a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">https://doi.org/10.15479/AT:IST-2017-872-v1-1</a>","ieee":"M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, and K. Vaidya, <i>Data-centric dynamic partial order reduction</i>. IST Austria, 2017.","ama":"Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. <i>Data-Centric Dynamic Partial Order Reduction</i>. IST Austria; 2017. doi:<a href=\"https://doi.org/10.15479/AT:IST-2017-872-v1-1\">10.15479/AT:IST-2017-872-v1-1</a>"},"oa":1,"day":"23","type":"technical_report","doi":"10.15479/AT:IST-2017-872-v1-1","abstract":[{"lang":"eng","text":"We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating the traces of the program, without storing the visited states (aka stateless exploration). As the number of distinct traces grows exponentially, dynamic partial-order reduction (DPOR) techniques have been successfully used to partition the space of traces into equivalence classes (Mazurkiewicz partitioning), with the goal of exploring only few representative traces from each class.\r\nWe introduce a new equivalence on traces under sequential consistency semantics, which we call the observation equivalence. Two traces are observationally equivalent if every read event observes the same write event in both traces. While the traditional Mazurkiewicz equivalence is control-centric, our new definition is data-centric. We show that our observation equivalence is coarser than the Mazurkiewicz equivalence, and in many cases even exponentially coarser. We devise a DPOR exploration of the trace space, called data-centric DPOR, based on the observation equivalence.\r\n1. For acyclic architectures, our algorithm is guaranteed to explore exactly one representative trace from each observation class, while spending polynomial time per class. Hence, our algorithm is optimal wrt the observation equivalence, and in several cases explores exponentially fewer traces than any enumerative method based on the Mazurkiewicz equivalence.\r\n2. For cyclic architectures, we consider an equivalence between traces which is finer than the observation equivalence; but coarser than the Mazurkiewicz equivalence, and in some cases is exponentially coarser. Our data-centric DPOR algorithm remains optimal under this trace equivalence. \r\nFinally, we perform a basic experimental comparison between the existing Mazurkiewicz-based DPOR and our data-centric DPOR on a set of academic benchmarks. Our results show a significant reduction in both running time and the number of explored equivalence classes."}],"has_accepted_license":"1","file_date_updated":"2020-07-14T12:46:59Z","language":[{"iso":"eng"}],"status":"public","month":"10","pubrep_id":"872","_id":"5456","page":"36","date_updated":"2025-05-20T09:45:08Z","related_material":{"record":[{"relation":"earlier_version","id":"5448","status":"public"},{"status":"public","relation":"later_version","id":"10417"}]},"title":"Data-centric dynamic partial order reduction","author":[{"full_name":"Chalupa, Marek","last_name":"Chalupa","first_name":"Marek"},{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"first_name":"Andreas","orcid":"0000-0002-8943-0722","full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis","id":"49704004-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Nishant","last_name":"Sinha","full_name":"Sinha, Nishant"},{"last_name":"Vaidya","full_name":"Vaidya, Kapil","first_name":"Kapil"}],"alternative_title":["IST Austria Technical Report"],"oa_version":"Published Version","date_created":"2018-12-12T11:39:26Z","publication_status":"published"},{"abstract":[{"lang":"eng","text":"In this work maximum entropy distributions in the space of steady states of metabolic networks are considered upon constraining the first and second moments of the growth rate. Coexistence of fast and slow phenotypes, with bimodal flux distributions, emerges upon considering control on the average growth (optimization) and its fluctuations (heterogeneity). This is applied to the carbon catabolic core of Escherichia coli where it quantifies the metabolic activity of slow growing phenotypes and it provides a quantitative map with metabolic fluxes, opening the possibility to detect coexistence from flux data. A preliminary analysis on data for E. coli cultures in standard conditions shows degeneracy for the inferred parameters that extend in the coexistence region."}],"type":"journal_article","citation":{"short":"D. De Martino, Physical Review E 96 (2017).","mla":"De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” <i>Physical Review E</i>, vol. 96, no. 6, 060401, American Physical Society, 2017, doi:<a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">10.1103/PhysRevE.96.060401</a>.","chicago":"De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” <i>Physical Review E</i>. American Physical Society, 2017. <a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">https://doi.org/10.1103/PhysRevE.96.060401</a>.","ista":"De Martino D. 2017. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. Physical Review E. 96(6), 060401.","apa":"De Martino, D. (2017). Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. <i>Physical Review E</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">https://doi.org/10.1103/PhysRevE.96.060401</a>","ieee":"D. De Martino, “Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes,” <i>Physical Review E</i>, vol. 96, no. 6. American Physical Society, 2017.","ama":"De Martino D. Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes. <i>Physical Review E</i>. 2017;96(6). doi:<a href=\"https://doi.org/10.1103/PhysRevE.96.060401\">10.1103/PhysRevE.96.060401</a>"},"quality_controlled":"1","corr_author":"1","publisher":"American Physical Society","main_file_link":[{"url":"https://arxiv.org/abs/1707.00320","open_access":"1"}],"volume":96,"department":[{"_id":"GaTk"}],"external_id":{"isi":["000418574400001"],"arxiv":["1707.00320"]},"alternative_title":["Rapid Communications"],"publication_status":"published","date_created":"2018-12-11T11:47:06Z","month":"12","issue":"6","scopus_import":"1","_id":"548","article_number":"060401","ec_funded":1,"publication_identifier":{"issn":["2470-0045"]},"year":"2017","doi":"10.1103/PhysRevE.96.060401","day":"21","oa":1,"intvolume":"        96","date_published":"2017-12-21T00:00:00Z","project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme","grant_number":"291734","call_identifier":"FP7"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","arxiv":1,"publication":"Physical Review E","isi":1,"oa_version":"Submitted Version","publist_id":"7266","language":[{"iso":"eng"}],"status":"public","article_processing_charge":"No","author":[{"first_name":"Daniele","orcid":"0000-0002-5214-4706","last_name":"De Martino","full_name":"De Martino, Daniele","id":"3FF5848A-F248-11E8-B48F-1D18A9856A87"}],"title":"Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes","date_updated":"2025-09-18T09:41:11Z"},{"citation":{"short":"B. Finkbeiner, A. Kupriyanov, in:, Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017, pp. 31–38.","chicago":"Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” In <i>Electronic Proceedings in Theoretical Computer Science</i>, 259:31–38. Open Publishing Association, 2017. <a href=\"https://doi.org/10.4204/EPTCS.259.3\">https://doi.org/10.4204/EPTCS.259.3</a>.","ista":"Finkbeiner B, Kupriyanov A. 2017. Causality-based model checking. Electronic Proceedings in Theoretical Computer Science. CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies, EPTCS, vol. 259, 31–38.","mla":"Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” <i>Electronic Proceedings in Theoretical Computer Science</i>, vol. 259, Open Publishing Association, 2017, pp. 31–38, doi:<a href=\"https://doi.org/10.4204/EPTCS.259.3\">10.4204/EPTCS.259.3</a>.","ama":"Finkbeiner B, Kupriyanov A. Causality-based model checking. In: <i>Electronic Proceedings in Theoretical Computer Science</i>. Vol 259. Open Publishing Association; 2017:31-38. doi:<a href=\"https://doi.org/10.4204/EPTCS.259.3\">10.4204/EPTCS.259.3</a>","apa":"Finkbeiner, B., &#38; Kupriyanov, A. (2017). Causality-based model checking. In <i>Electronic Proceedings in Theoretical Computer Science</i> (Vol. 259, pp. 31–38). Uppsala, Sweden: Open Publishing Association. <a href=\"https://doi.org/10.4204/EPTCS.259.3\">https://doi.org/10.4204/EPTCS.259.3</a>","ieee":"B. Finkbeiner and A. Kupriyanov, “Causality-based model checking,” in <i>Electronic Proceedings in Theoretical Computer Science</i>, Uppsala, Sweden, 2017, vol. 259, pp. 31–38."},"abstract":[{"text":"Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-effect relationships in a program. We give an overview on a new class of model checking algorithms that capture the causal relationships in a special data structure called concurrent traces. Concurrent traces identify key events in an execution history and link them through their cause-effect relationships. The model checker builds a tableau of concurrent traces, where the case splits represent different causal explanations of a hypothetical error. Causality-based model checking has been implemented in the ARCTOR tool, and applied to previously intractable multi-threaded benchmarks.","lang":"eng"}],"type":"conference","quality_controlled":"1","volume":259,"department":[{"_id":"ToHe"}],"publisher":"Open Publishing Association","corr_author":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1710.03391"}],"publication_status":"published","date_created":"2018-12-11T11:47:07Z","conference":{"end_date":"2017-04-29","start_date":"2017-04-29","name":"CREST: Causal Reasoning for Embedded and Safety-Critical Systems Technologies","location":"Uppsala, Sweden"},"alternative_title":["EPTCS"],"external_id":{"arxiv":["1710.03391"],"isi":["000439358700004"]},"_id":"549","pubrep_id":"925","month":"10","scopus_import":"1","file":[{"date_updated":"2020-07-14T12:47:00Z","file_id":"4939","checksum":"6274f6c0da3376a7b079180d81568518","content_type":"application/pdf","relation":"main_file","file_name":"IST-2018-925-v1+1_1710.03391v1.pdf","date_created":"2018-12-12T10:12:21Z","creator":"system","file_size":209294,"access_level":"open_access"}],"oa":1,"doi":"10.4204/EPTCS.259.3","day":"10","date_published":"2017-10-10T00:00:00Z","intvolume":"       259","publication_identifier":{"issn":["2075-2180"]},"year":"2017","isi":1,"publication":"Electronic Proceedings in Theoretical Computer Science","arxiv":1,"project":[{"name":"Moderne Concurrency Paradigms","_id":"25F5A88A-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23","call_identifier":"FWF"},{"call_identifier":"FWF","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","ddc":["004"],"oa_version":"Submitted Version","publist_id":"7264","author":[{"last_name":"Finkbeiner","full_name":"Finkbeiner, Bernd","first_name":"Bernd"},{"full_name":"Kupriyanov, Andrey","last_name":"Kupriyanov","id":"2C311BF8-F248-11E8-B48F-1D18A9856A87","first_name":"Andrey"}],"title":"Causality-based model checking","page":"31 - 38","date_updated":"2025-09-18T09:38:35Z","status":"public","language":[{"iso":"eng"}],"has_accepted_license":"1","article_processing_charge":"No","file_date_updated":"2020-07-14T12:47:00Z"}]