[{"conference":{"location":"Grenoble, France","name":"HSB: Hybrid Systems Biology","start_date":"2016-10-20","end_date":"2016-10-21"},"type":"conference","status":"public","doi":"10.1007/978-3-319-47151-8_9","file_date_updated":"2020-07-14T12:44:39Z","date_created":"2018-12-11T11:50:49Z","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23, S11405-N23 and S11412-N23 (RiSE/SHiNE) and Z211-N23 (Wittgenstein Award).","ddc":["005"],"author":[{"full_name":"Kong, Hui","last_name":"Kong","orcid":"0000-0002-3066-6941","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","first_name":"Hui"},{"first_name":"Ezio","last_name":"Bartocci","full_name":"Bartocci, Ezio"},{"id":"369D9A44-F248-11E8-B48F-1D18A9856A87","first_name":"Sergiy","last_name":"Bogomolov","orcid":"0000-0002-0686-0365","full_name":"Bogomolov, Sergiy"},{"full_name":"Grosu, Radu","first_name":"Radu","last_name":"Grosu"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"first_name":"Yu","last_name":"Jiang","full_name":"Jiang, Yu"},{"orcid":"0000-0003-3658-1065","last_name":"Schilling","first_name":"Christian","id":"3A2F4DCE-F248-11E8-B48F-1D18A9856A87","full_name":"Schilling, Christian"}],"alternative_title":["LNCS"],"page":"128 - 144","isi":1,"quality_controlled":"1","external_id":{"isi":["000389928100009"]},"year":"2016","intvolume":" 9957","file":[{"relation":"main_file","file_size":683955,"date_created":"2018-12-12T10:10:49Z","content_type":"application/pdf","creator":"system","checksum":"994e164b558c47bacf8dc066dd27c8fc","file_id":"4840","access_level":"open_access","file_name":"IST-2017-781-v1+1_main.pdf","date_updated":"2020-07-14T12:44:39Z"}],"abstract":[{"lang":"eng","text":"Many biological systems can be modeled as multiaffine hybrid systems. Due to the nonlinearity of multiaffine systems, it is difficult to verify their properties of interest directly. A common strategy to tackle this problem is to construct and analyze a discrete overapproximation of the original system. However, the conservativeness of a discrete abstraction significantly determines the level of confidence we can have in the properties of the original system. In this paper, in order to reduce the conservativeness of a discrete abstraction, we propose a new method based on a sufficient and necessary decision condition for computing discrete transitions between states in the abstract system. We assume the state space partition of a multiaffine system to be based on a set of multivariate polynomials. Hence, a rectangular partition defined in terms of polynomials of the form (xi − c) is just a simple case of multivariate polynomial partition, and the new decision condition applies naturally. We analyze and demonstrate the improvement of our method over the existing methods using some examples."}],"date_updated":"2025-09-22T09:24:50Z","publist_id":"6107","title":"Discrete abstraction of multiaffine systems","day":"25","oa_version":"Submitted Version","language":[{"iso":"eng"}],"oa":1,"has_accepted_license":"1","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"},{"call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"_id":"1227","fulldoi":"https://doi.org/10.1007/978-3-319-47151-8_9","publisher":"Springer","scopus_import":"1","pubrep_id":"781","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2016-09-25T00:00:00Z","publication_status":"published","month":"09","volume":9957,"citation":{"ieee":"H. Kong et al., “Discrete abstraction of multiaffine systems,” presented at the HSB: Hybrid Systems Biology, Grenoble, France, 2016, vol. 9957, pp. 128–144.","apa":"Kong, H., Bartocci, E., Bogomolov, S., Grosu, R., Henzinger, T. A., Jiang, Y., & Schilling, C. (2016). Discrete abstraction of multiaffine systems (Vol. 9957, pp. 128–144). Presented at the HSB: Hybrid Systems Biology, Grenoble, France: Springer. https://doi.org/10.1007/978-3-319-47151-8_9","ista":"Kong H, Bartocci E, Bogomolov S, Grosu R, Henzinger TA, Jiang Y, Schilling C. 2016. Discrete abstraction of multiaffine systems. HSB: Hybrid Systems Biology, LNCS, vol. 9957, 128–144.","mla":"Kong, Hui, et al. Discrete Abstraction of Multiaffine Systems. Vol. 9957, Springer, 2016, pp. 128–44, doi:10.1007/978-3-319-47151-8_9.","short":"H. Kong, E. Bartocci, S. Bogomolov, R. Grosu, T.A. Henzinger, Y. Jiang, C. Schilling, in:, Springer, 2016, pp. 128–144.","chicago":"Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,” 9957:128–44. Springer, 2016. https://doi.org/10.1007/978-3-319-47151-8_9.","ama":"Kong H, Bartocci E, Bogomolov S, et al. Discrete abstraction of multiaffine systems. In: Vol 9957. Springer; 2016:128-144. doi:10.1007/978-3-319-47151-8_9"},"department":[{"_id":"ToHe"}],"article_processing_charge":"No"},{"date_created":"2018-12-11T11:50:50Z","main_file_link":[{"url":"https://arxiv.org/abs/1511.02615","open_access":"1"}],"acknowledgement":"We thank Andrey Kupriyanov for feedback on the manuscript,\r\nand Michael Tautschnig for help with preparing the experiments. This research was supported in part by the European Research Council (ERC) under grant 267989 (QUAREM) and by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award).","author":[{"last_name":"Daca","first_name":"Przemyslaw","id":"49351290-F248-11E8-B48F-1D18A9856A87","full_name":"Daca, Przemyslaw"},{"id":"335E5684-F248-11E8-B48F-1D18A9856A87","first_name":"Ashutosh","last_name":"Gupta","full_name":"Gupta, Ashutosh"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"alternative_title":["LNCS"],"conference":{"location":"St. Petersburg, FL, USA","start_date":"2016-01-17","name":"VMCAI: Verification, Model Checking and Abstract Interpretation","end_date":"2016-01-19"},"type":"conference","doi":"10.1007/978-3-662-49122-5_16","status":"public","intvolume":" 9583","abstract":[{"text":"Concolic testing is a promising method for generating test suites for large programs. However, it suffers from the path-explosion problem and often fails to find tests that cover difficult-to-reach parts of programs. In contrast, model checkers based on counterexample-guided abstraction refinement explore programs exhaustively, while failing to scale on large programs with precision. In this paper, we present a novel method that iteratively combines concolic testing and model checking to find a test suite for a given coverage criterion. If concolic testing fails to cover some test goals, then the model checker refines its program abstraction to prove more paths infeasible, which reduces the search space for concolic testing. We have implemented our method on top of the concolictesting tool Crest and the model checker CpaChecker. We evaluated our tool on a collection of programs and a category of SvComp benchmarks. In our experiments, we observed an improvement in branch coverage compared to Crest from 48% to 63% in the best case, and from 66% to 71% on average.","lang":"eng"}],"day":"01","publist_id":"6104","title":"Abstraction-driven concolic testing","date_updated":"2026-04-15T10:02:12Z","language":[{"iso":"eng"}],"oa_version":"Preprint","isi":1,"page":"328 - 347","quality_controlled":"1","external_id":{"arxiv":["1511.02615"],"isi":["000375148800016"]},"year":"2016","_id":"1230","fulldoi":"https://doi.org/10.1007/978-3-662-49122-5_16","publisher":"Springer","scopus_import":"1","oa":1,"project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Quantitative Reactive Modeling","grant_number":"267989"},{"name":"Formal methods for the design and analysis of complex systems","grant_number":"Z211","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"}],"arxiv":1,"volume":9583,"ec_funded":1,"citation":{"chicago":"Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.","ama":"Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16","ista":"Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.","apa":"Daca, P., Gupta, A., & Henzinger, T. A. (2016). Abstraction-driven concolic testing (Vol. 9583, pp. 328–347). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_16","mla":"Daca, Przemyslaw, et al. Abstraction-Driven Concolic Testing. Vol. 9583, Springer, 2016, pp. 328–47, doi:10.1007/978-3-662-49122-5_16.","short":"P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.","ieee":"P. Daca, A. Gupta, and T. A. Henzinger, “Abstraction-driven concolic testing,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 328–347."},"department":[{"_id":"ToHe"}],"article_processing_charge":"No","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","related_material":{"record":[{"id":"1155","status":"public","relation":"dissertation_contains"}]},"publication_status":"published","date_published":"2016-01-01T00:00:00Z","month":"01"},{"status":"public","doi":"10.1007/978-3-662-49896-5_13","type":"conference","conference":{"name":"EUROCRYPT: Theory and Applications of Cryptographic Techniques","start_date":"2016-05-08","location":"Vienna, Austria","end_date":"2016-05-12"},"alternative_title":["LNCS"],"author":[{"last_name":"Alwen","first_name":"Joel F","id":"2A8DFA8C-F248-11E8-B48F-1D18A9856A87","full_name":"Alwen, Joel F"},{"first_name":"Binyi","last_name":"Chen","full_name":"Chen, Binyi"},{"full_name":"Kamath Hosdurg, Chethan","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","first_name":"Chethan","last_name":"Kamath Hosdurg"},{"full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z"},{"full_name":"Tessaro, Stefano","first_name":"Stefano","last_name":"Tessaro"}],"acknowledgement":"Joël Alwen, Chethan Kamath, and Krzysztof Pietrzak’s research is partially supported by an ERC starting grant (259668-PSPC). Vladimir Kolmogorov is partially supported by an ERC consolidator grant (616160-DOICV). Binyi Chen was partially supported by NSF grants CNS-1423566 and CNS-1514526, and a gift from the Gareatis Foundation. Stefano Tessaro was partially supported by NSF grants CNS-1423566, CNS-1528178, a Hellman Fellowship, and the Glen and Susanne Culler Chair.\r\n\r\nThis work was done in part while the authors were visiting the Simons Institute for the Theory of Computing, supported by the Simons Foundation and by the DIMACS/Simons Collaboration in Cryptography through NSF grant CNS-1523467.","main_file_link":[{"url":"https://eprint.iacr.org/2016/100","open_access":"1"}],"date_created":"2018-12-11T11:50:51Z","year":"2016","external_id":{"isi":["000389727200013"]},"quality_controlled":"1","page":"358 - 387","isi":1,"oa_version":"Submitted Version","language":[{"iso":"eng"}],"publist_id":"6103","title":"On the complexity of scrypt and proofs of space in the parallel random oracle model","date_updated":"2025-09-22T09:22:54Z","day":"28","abstract":[{"lang":"eng","text":"We study the time-and memory-complexities of the problem of computing labels of (multiple) randomly selected challenge-nodes in a directed acyclic graph. The w-bit label of a node is the hash of the labels of its parents, and the hash function is modeled as a random oracle. Specific instances of this problem underlie both proofs of space [Dziembowski et al. CRYPTO’15] as well as popular memory-hard functions like scrypt. As our main tool, we introduce the new notion of a probabilistic parallel entangled pebbling game, a new type of combinatorial pebbling game on a graph, which is closely related to the labeling game on the same graph. As a first application of our framework, we prove that for scrypt, when the underlying hash function is invoked n times, the cumulative memory complexity (CMC) (a notion recently introduced by Alwen and Serbinenko (STOC’15) to capture amortized memory-hardness for parallel adversaries) is at least Ω(w · (n/ log(n))2). This bound holds for adversaries that can store many natural functions of the labels (e.g., linear combinations), but still not arbitrary functions thereof. We then introduce and study a combinatorial quantity, and show how a sufficiently small upper bound on it (which we conjecture) extends our CMC bound for scrypt to hold against arbitrary adversaries. We also show that such an upper bound solves the main open problem for proofs-of-space protocols: namely, establishing that the time complexity of computing the label of a random node in a graph on n nodes (given an initial kw-bit state) reduces tightly to the time complexity for black pebbling on the same graph (given an initial k-node pebbling)."}],"intvolume":" 9666","project":[{"call_identifier":"FP7","grant_number":"259668","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425"},{"grant_number":"616160","name":"Discrete Optimization in Computer Vision: Theory and Practice","call_identifier":"FP7","_id":"25FBA906-B435-11E9-9278-68D0E5697425"}],"oa":1,"publisher":"Springer","scopus_import":"1","fulldoi":"https://doi.org/10.1007/978-3-662-49896-5_13","_id":"1231","month":"04","publication_status":"published","date_published":"2016-04-28T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_processing_charge":"No","department":[{"_id":"KrPi"},{"_id":"VlKo"}],"citation":{"chicago":"Alwen, Joel F, Binyi Chen, Chethan Kamath Hosdurg, Vladimir Kolmogorov, Krzysztof Z Pietrzak, and Stefano Tessaro. “On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model,” 9666:358–87. Springer, 2016. https://doi.org/10.1007/978-3-662-49896-5_13.","ama":"Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. On the complexity of scrypt and proofs of space in the parallel random oracle model. In: Vol 9666. Springer; 2016:358-387. doi:10.1007/978-3-662-49896-5_13","ieee":"J. F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K. Z. Pietrzak, and S. Tessaro, “On the complexity of scrypt and proofs of space in the parallel random oracle model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9666, pp. 358–387.","short":"J.F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K.Z. Pietrzak, S. Tessaro, in:, Springer, 2016, pp. 358–387.","mla":"Alwen, Joel F., et al. On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model. Vol. 9666, Springer, 2016, pp. 358–87, doi:10.1007/978-3-662-49896-5_13.","apa":"Alwen, J. F., Chen, B., Kamath Hosdurg, C., Kolmogorov, V., Pietrzak, K. Z., & Tessaro, S. (2016). On the complexity of scrypt and proofs of space in the parallel random oracle model (Vol. 9666, pp. 358–387). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-662-49896-5_13","ista":"Alwen JF, Chen B, Kamath Hosdurg C, Kolmogorov V, Pietrzak KZ, Tessaro S. 2016. On the complexity of scrypt and proofs of space in the parallel random oracle model. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 9666, 358–387."},"ec_funded":1,"volume":9666},{"conference":{"end_date":"2016-01-13","location":"Tel Aviv, Israel","start_date":"2016-01-10","name":"TCC: Theory of Cryptography Conference"},"type":"conference","status":"public","doi":"10.1007/978-3-662-49096-9_12","date_created":"2018-12-11T11:50:51Z","main_file_link":[{"url":"https://eprint.iacr.org/2015/853","open_access":"1"}],"acknowledgement":"G. Fuchsbauer and K. Pietrzak are supported by the European Research Council, ERC Starting Grant (259668-PSPC). F. Heuer is funded by a Sofja Kovalevskaja Award of the Alexander von Humboldt Foundation and DFG SPP 1736, Algorithms for BIG DATA. E. Kiltz is supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt Foundation, the German Israel Foundation, and ERC Project ERCC (FP7/615074).","author":[{"full_name":"Fuchsbauer, Georg","last_name":"Fuchsbauer","first_name":"Georg","id":"46B4C3EE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Heuer","first_name":"Felix","full_name":"Heuer, Felix"},{"full_name":"Kiltz, Eike","first_name":"Eike","last_name":"Kiltz"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z"}],"alternative_title":["LNCS"],"isi":1,"page":"282 - 305","quality_controlled":"1","external_id":{"isi":["000376041100012"]},"year":"2016","intvolume":" 9562","abstract":[{"text":"About three decades ago it was realized that implementing private channels between parties which can be adaptively corrupted requires an encryption scheme that is secure against selective opening attacks. Whether standard (IND-CPA) security implies security against selective opening attacks has been a major open question since. The only known reduction from selective opening to IND-CPA security loses an exponential factor. A polynomial reduction is only known for the very special case where the distribution considered in the selective opening security experiment is a product distribution, i.e., the messages are sampled independently from each other. In this paper we give a reduction whose loss is quantified via the dependence graph (where message dependencies correspond to edges) of the underlying message distribution. In particular, for some concrete distributions including Markov distributions, our reduction is polynomial.","lang":"eng"}],"day":"01","publist_id":"6100","date_updated":"2025-09-22T09:21:52Z","title":"Standard security does imply security against selective opening for markov distributions","oa_version":"Submitted Version","language":[{"iso":"eng"}],"oa":1,"project":[{"call_identifier":"FP7","grant_number":"259668","name":"Provable Security for Physical Cryptography","_id":"258C570E-B435-11E9-9278-68D0E5697425"}],"_id":"1233","fulldoi":"https://doi.org/10.1007/978-3-662-49096-9_12","publisher":"Springer","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_published":"2016-01-01T00:00:00Z","publication_status":"published","month":"01","volume":9562,"ec_funded":1,"citation":{"ieee":"G. Fuchsbauer, F. Heuer, E. Kiltz, and K. Z. Pietrzak, “Standard security does imply security against selective opening for markov distributions,” presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel, 2016, vol. 9562, pp. 282–305.","apa":"Fuchsbauer, G., Heuer, F., Kiltz, E., & Pietrzak, K. Z. (2016). Standard security does imply security against selective opening for markov distributions (Vol. 9562, pp. 282–305). Presented at the TCC: Theory of Cryptography Conference, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-662-49096-9_12","ista":"Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. 2016. Standard security does imply security against selective opening for markov distributions. TCC: Theory of Cryptography Conference, LNCS, vol. 9562, 282–305.","mla":"Fuchsbauer, Georg, et al. Standard Security Does Imply Security against Selective Opening for Markov Distributions. Vol. 9562, Springer, 2016, pp. 282–305, doi:10.1007/978-3-662-49096-9_12.","short":"G. Fuchsbauer, F. Heuer, E. Kiltz, K.Z. Pietrzak, in:, Springer, 2016, pp. 282–305.","chicago":"Fuchsbauer, Georg, Felix Heuer, Eike Kiltz, and Krzysztof Z Pietrzak. “Standard Security Does Imply Security against Selective Opening for Markov Distributions,” 9562:282–305. Springer, 2016. https://doi.org/10.1007/978-3-662-49096-9_12.","ama":"Fuchsbauer G, Heuer F, Kiltz E, Pietrzak KZ. Standard security does imply security against selective opening for markov distributions. In: Vol 9562. Springer; 2016:282-305. doi:10.1007/978-3-662-49096-9_12"},"department":[{"_id":"KrPi"}],"article_processing_charge":"No"},{"publisher":"Springer","scopus_import":"1","fulldoi":"https://doi.org/10.1007/978-3-662-49674-9_7","_id":"1234","arxiv":1,"project":[{"grant_number":"267989","name":"Quantitative Reactive Modeling","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425"},{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF"},{"grant_number":"291734","name":"International IST Postdoc Fellowship Programme","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425"}],"oa":1,"article_processing_charge":"No","department":[{"_id":"ToHe"},{"_id":"CaGu"}],"citation":{"ama":"Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7","chicago":"Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,” 9636:112–29. Springer, 2016. https://doi.org/10.1007/978-3-662-49674-9_7.","ieee":"P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Faster statistical model checking for unbounded temporal properties,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, 2016, vol. 9636, pp. 112–129.","short":"P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.","apa":"Daca, P., Henzinger, T. A., Kretinsky, J., & Petrov, T. (2016). Faster statistical model checking for unbounded temporal properties (Vol. 9636, pp. 112–129). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/978-3-662-49674-9_7","mla":"Daca, Przemyslaw, et al. Faster Statistical Model Checking for Unbounded Temporal Properties. Vol. 9636, Springer, 2016, pp. 112–29, doi:10.1007/978-3-662-49674-9_7.","ista":"Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129."},"ec_funded":1,"volume":9636,"month":"01","date_published":"2016-01-01T00:00:00Z","publication_status":"published","related_material":{"record":[{"id":"471","status":"public","relation":"later_version"},{"relation":"dissertation_contains","id":"1155","status":"public"}]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","alternative_title":["LNCS"],"author":[{"id":"49351290-F248-11E8-B48F-1D18A9856A87","first_name":"Przemyslaw","last_name":"Daca","full_name":"Daca, Przemyslaw"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A"},{"full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","last_name":"Kretinsky","first_name":"Jan","id":"44CEF464-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Petrov, Tatjana","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87","first_name":"Tatjana","orcid":"0000-0002-9041-0905","last_name":"Petrov"}],"acknowledgement":"This research was funded in part by the European Research Council (ERC) under\r\ngrant agreement 267989 (QUAREM), the Austrian Science Fund (FWF) under\r\ngrants project S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award), the Peo-\r\nple Programme (Marie Curie Actions) of the European Union’s Seventh Framework\r\nProgramme (FP7/2007-2013) REA Grant No 291734, the SNSF Advanced Postdoc.\r\nMobility Fellowship – grant number P300P2\r\n161067, and the Czech Science Foun-\r\ndation under grant agreement P202/12/G061.","main_file_link":[{"url":"https://arxiv.org/abs/1504.05739","open_access":"1"}],"date_created":"2018-12-11T11:50:51Z","doi":"10.1007/978-3-662-49674-9_7","status":"public","type":"conference","conference":{"location":"Eindhoven, The Netherlands","start_date":"2016-04-02","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2016-04-08"},"language":[{"iso":"eng"}],"oa_version":"Preprint","publist_id":"6099","title":"Faster statistical model checking for unbounded temporal properties","date_updated":"2026-04-15T10:02:12Z","day":"01","abstract":[{"lang":"eng","text":"We present a new algorithm for the statistical model checking of Markov chains with respect to unbounded temporal properties, including full linear temporal logic. The main idea is that we monitor each simulation run on the fly, in order to detect quickly if a bottom strongly connected component is entered with high probability, in which case the simulation run can be terminated early. As a result, our simulation runs are often much shorter than required by termination bounds that are computed a priori for a desired level of confidence on a large state space. In comparison to previous algorithms for statistical model checking our method is not only faster in many cases but also requires less information about the system, namely, only the minimum transition probability that occurs in the Markov chain. In addition, our method can be generalised to unbounded quantitative properties such as mean-payoff bounds."}],"intvolume":" 9636","year":"2016","external_id":{"isi":["000406428000007"],"arxiv":["1504.05739"]},"quality_controlled":"1","page":"112 - 129","isi":1},{"publication":"Frontiers in Plant Science","_id":"1238","fulldoi":"https://doi.org/10.3389/fpls.2015.01262","scopus_import":"1","publisher":"Frontiers Research Foundation","pubrep_id":"710","oa":1,"has_accepted_license":"1","volume":6,"citation":{"ama":"von Wangenheim D, Rosero A, Komis G, et al. Endosomal interactions during root hair growth. Frontiers in Plant Science. 2016;6(JAN2016). doi:10.3389/fpls.2015.01262","chicago":"Wangenheim, Daniel von, Amparo Rosero, George Komis, Olga Šamajová, Miroslav Ovečka, Boris Voigt, and Jozef Šamaj. “Endosomal Interactions during Root Hair Growth.” Frontiers in Plant Science. Frontiers Research Foundation, 2016. https://doi.org/10.3389/fpls.2015.01262.","apa":"von Wangenheim, D., Rosero, A., Komis, G., Šamajová, O., Ovečka, M., Voigt, B., & Šamaj, J. (2016). Endosomal interactions during root hair growth. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2015.01262","mla":"von Wangenheim, Daniel, et al. “Endosomal Interactions during Root Hair Growth.” Frontiers in Plant Science, vol. 6, no. JAN2016, 1262, Frontiers Research Foundation, 2016, doi:10.3389/fpls.2015.01262.","ista":"von Wangenheim D, Rosero A, Komis G, Šamajová O, Ovečka M, Voigt B, Šamaj J. 2016. Endosomal interactions during root hair growth. Frontiers in Plant Science. 6(JAN2016), 1262.","short":"D. von Wangenheim, A. Rosero, G. Komis, O. Šamajová, M. Ovečka, B. Voigt, J. Šamaj, Frontiers in Plant Science 6 (2016).","ieee":"D. von Wangenheim et al., “Endosomal interactions during root hair growth,” Frontiers in Plant Science, vol. 6, no. JAN2016. Frontiers Research Foundation, 2016."},"department":[{"_id":"JiFr"}],"article_processing_charge":"No","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","date_published":"2016-01-29T00:00:00Z","month":"01","date_created":"2018-12-11T11:50:53Z","acknowledgement":"This work was supported by National Program for Sustainability I (grant no. LO1204) provided by the Czech Ministry of Education and by Institutional Fund of Palacký University Olomouc (GK and OŠ).\r\nWe thank Sabine Fischer for help with the statistics.","issue":"JAN2016","ddc":["581"],"author":[{"full_name":"Von Wangenheim, Daniel","id":"49E91952-F248-11E8-B48F-1D18A9856A87","first_name":"Daniel","orcid":"0000-0002-6862-1247","last_name":"Von Wangenheim"},{"first_name":"Amparo","last_name":"Rosero","full_name":"Rosero, Amparo"},{"first_name":"George","last_name":"Komis","full_name":"Komis, George"},{"first_name":"Olga","last_name":"Šamajová","full_name":"Šamajová, Olga"},{"full_name":"Ovečka, Miroslav","last_name":"Ovečka","first_name":"Miroslav"},{"first_name":"Boris","last_name":"Voigt","full_name":"Voigt, Boris"},{"last_name":"Šamaj","first_name":"Jozef","full_name":"Šamaj, Jozef"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"type":"journal_article","doi":"10.3389/fpls.2015.01262","status":"public","file_date_updated":"2020-07-14T12:44:41Z","intvolume":" 6","file":[{"file_name":"IST-2016-710-v1+1_fpls-06-01262.pdf","date_updated":"2020-07-14T12:44:41Z","access_level":"open_access","date_created":"2018-12-12T10:09:36Z","file_id":"4760","content_type":"application/pdf","checksum":"3127eab844d53564bf47e2b6b42f1ca0","creator":"system","file_size":1640550,"relation":"main_file"}],"article_number":"1262","abstract":[{"text":"The dynamic localization of endosomal compartments labeled with targeted fluorescent protein tags is routinely followed by time lapse fluorescence microscopy approaches and single particle tracking algorithms. In this way trajectories of individual endosomes can be mapped and linked to physiological processes as cell growth. However, other aspects of dynamic behavior including endosomal interactions are difficult to follow in this manner. Therefore, we characterized the localization and dynamic properties of early and late endosomes throughout the entire course of root hair formation by means of spinning disc time lapse imaging and post-acquisition automated multitracking and quantitative analysis. Our results show differential motile behavior of early and late endosomes and interactions of late endosomes that may be specified to particular root hair domains. Detailed data analysis revealed a particular transient interaction between late endosomes—termed herein as dancing-endosomes—which is not concluding to vesicular fusion. Endosomes preferentially located in the root hair tip interacted as dancing-endosomes and traveled short distances during this interaction. Finally, sizes of early and late endosomes were addressed by means of super-resolution structured illumination microscopy (SIM) to corroborate measurements on the spinning disc. This is a first study providing quantitative microscopic data on dynamic spatio-temporal interactions of endosomes during root hair tip growth.","lang":"eng"}],"date_updated":"2025-09-22T09:18:11Z","title":"Endosomal interactions during root hair growth","publist_id":"6094","day":"29","oa_version":"Published Version","language":[{"iso":"eng"}],"isi":1,"quality_controlled":"1","license":"https://creativecommons.org/licenses/by/4.0/","external_id":{"isi":["000368891500001"]},"year":"2016"},{"type":"journal_article","doi":"10.1186/s13059-016-0873-8","file_date_updated":"2020-07-14T12:44:41Z","status":"public","author":[{"full_name":"Kornienko, Aleksandra","first_name":"Aleksandra","last_name":"Kornienko"},{"full_name":"Dotter, Christoph","first_name":"Christoph","id":"4C66542E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9033-9096","last_name":"Dotter"},{"last_name":"Guenzl","first_name":"Philipp","full_name":"Guenzl, Philipp"},{"last_name":"Gisslinger","first_name":"Heinz","full_name":"Gisslinger, Heinz"},{"first_name":"Bettina","last_name":"Gisslinger","full_name":"Gisslinger, Bettina"},{"full_name":"Cleary, Ciara","last_name":"Cleary","first_name":"Ciara"},{"full_name":"Kralovics, Robert","first_name":"Robert","last_name":"Kralovics"},{"full_name":"Pauler, Florian","last_name":"Pauler","orcid":"0000-0002-7462-0048","first_name":"Florian","id":"48EA0138-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Denise","last_name":"Barlow","full_name":"Barlow, Denise"}],"ddc":["576"],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2018-12-11T11:50:53Z","acknowledgement":"This study was partly funded by the Austrian Science Fund (FWF F43-B09, FWF W1207-B09). PMG is a recipient of a DOC Fellowship of the Austrian Academy of Sciences.\r\nWe thank Ruth Klement, Tomasz Kulinski, Elisangela Valente, Elisabeth Salzer,\r\nand Roland Jäger for technical/bioinformatic assistance and advice, the CeMM\r\nIT department and José Manuel Molero for help and advice on software usage,\r\nthe Biomedical Sequencing Facility (http://biomedical-sequencing.at/) for\r\nsequencing and advice, Jacques Colinge, Daniel Andergassen, and Tomasz\r\nKulinski for discussions, Quanah Hudson and Jörg Menche for reading and\r\ncommenting on the manuscript.","issue":"1","external_id":{"isi":["000368904100001"]},"year":"2016","isi":1,"quality_controlled":"1","day":"29","date_updated":"2025-09-22T09:17:40Z","publist_id":"6093","title":"Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans","oa_version":"Published Version","language":[{"iso":"eng"}],"intvolume":" 17","article_number":"14","abstract":[{"text":"Background: Long non-coding RNAs (lncRNAs) are increasingly implicated as gene regulators and may ultimately be more numerous than protein-coding genes in the human genome. Despite large numbers of reported lncRNAs, reference annotations are likely incomplete due to their lower and tighter tissue-specific expression compared to mRNAs. An unexplored factor potentially confounding lncRNA identification is inter-individual expression variability. Here, we characterize lncRNA natural expression variability in human primary granulocytes. Results: We annotate granulocyte lncRNAs and mRNAs in RNA-seq data from 10 healthy individuals, identifying multiple lncRNAs absent from reference annotations, and use this to investigate three known features (higher tissue-specificity, lower expression, and reduced splicing efficiency) of lncRNAs relative to mRNAs. Expression variability was examined in seven individuals sampled three times at 1- or more than 1-month intervals. We show that lncRNAs display significantly more inter-individual expression variability compared to mRNAs. We confirm this finding in two independent human datasets by analyzing multiple tissues from the GTEx project and lymphoblastoid cell lines from the GEUVADIS project. Using the latter dataset we also show that including more human donors into the transcriptome annotation pipeline allows identification of an increasing number of lncRNAs, but minimally affects mRNA gene number. Conclusions: A comprehensive annotation of lncRNAs is known to require an approach that is sensitive to low and tight tissue-specific expression. Here we show that increased inter-individual expression variability is an additional general lncRNA feature to consider when creating a comprehensive annotation of human lncRNAs or proposing their use as prognostic or disease markers.","lang":"eng"}],"file":[{"file_name":"IST-2016-709-v1+1_s13059-016-0873-8.pdf","date_updated":"2020-07-14T12:44:41Z","access_level":"open_access","date_created":"2018-12-12T10:10:05Z","file_id":"4789","content_type":"application/pdf","checksum":"a268beee1a690801c83ec6729f9ebc5b","creator":"system","file_size":2914601,"relation":"main_file"}],"oa":1,"has_accepted_license":"1","fulldoi":"https://doi.org/10.1186/s13059-016-0873-8","pubrep_id":"709","scopus_import":"1","publisher":"BioMed Central","publication":"Genome Biology","_id":"1240","date_published":"2016-01-29T00:00:00Z","publication_status":"published","month":"01","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","department":[{"_id":"GaNo"}],"article_processing_charge":"No","volume":17,"citation":{"chicago":"Kornienko, Aleksandra, Christoph Dotter, Philipp Guenzl, Heinz Gisslinger, Bettina Gisslinger, Ciara Cleary, Robert Kralovics, Florian Pauler, and Denise Barlow. “Long Non-Coding RNAs Display Higher Natural Expression Variation than Protein-Coding Genes in Healthy Humans.” Genome Biology. BioMed Central, 2016. https://doi.org/10.1186/s13059-016-0873-8.","ama":"Kornienko A, Dotter C, Guenzl P, et al. Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans. Genome Biology. 2016;17(1). doi:10.1186/s13059-016-0873-8","short":"A. Kornienko, C. Dotter, P. Guenzl, H. Gisslinger, B. Gisslinger, C. Cleary, R. Kralovics, F. Pauler, D. Barlow, Genome Biology 17 (2016).","mla":"Kornienko, Aleksandra, et al. “Long Non-Coding RNAs Display Higher Natural Expression Variation than Protein-Coding Genes in Healthy Humans.” Genome Biology, vol. 17, no. 1, 14, BioMed Central, 2016, doi:10.1186/s13059-016-0873-8.","apa":"Kornienko, A., Dotter, C., Guenzl, P., Gisslinger, H., Gisslinger, B., Cleary, C., … Barlow, D. (2016). Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans. Genome Biology. BioMed Central. https://doi.org/10.1186/s13059-016-0873-8","ista":"Kornienko A, Dotter C, Guenzl P, Gisslinger H, Gisslinger B, Cleary C, Kralovics R, Pauler F, Barlow D. 2016. Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans. Genome Biology. 17(1), 14.","ieee":"A. Kornienko et al., “Long non-coding RNAs display higher natural expression variation than protein-coding genes in healthy humans,” Genome Biology, vol. 17, no. 1. BioMed Central, 2016."}},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"02","date_published":"2016-02-01T00:00:00Z","publication_status":"published","citation":{"chicago":"Uecker, Hildegard, and Joachim Hermisson. “The Role of Recombination in Evolutionary Rescue.” Genetics. Genetics Society of America, 2016. https://doi.org/10.1534/genetics.115.180299.","ama":"Uecker H, Hermisson J. The role of recombination in evolutionary rescue. Genetics. 2016;202(2):721-732. doi:10.1534/genetics.115.180299","apa":"Uecker, H., & Hermisson, J. (2016). The role of recombination in evolutionary rescue. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.180299","ista":"Uecker H, Hermisson J. 2016. The role of recombination in evolutionary rescue. Genetics. 202(2), 721–732.","mla":"Uecker, Hildegard, and Joachim Hermisson. “The Role of Recombination in Evolutionary Rescue.” Genetics, vol. 202, no. 2, Genetics Society of America, 2016, pp. 721–32, doi:10.1534/genetics.115.180299.","short":"H. Uecker, J. Hermisson, Genetics 202 (2016) 721–732.","ieee":"H. Uecker and J. Hermisson, “The role of recombination in evolutionary rescue,” Genetics, vol. 202, no. 2. Genetics Society of America, pp. 721–732, 2016."},"ec_funded":1,"volume":202,"das_tickbox":"1","department":[{"_id":"NiBa"}],"article_processing_charge":"No","oa":1,"biorxivid":1,"project":[{"_id":"25B07788-B435-11E9-9278-68D0E5697425","name":"Limits to selection in biology and in evolutionary computation","grant_number":"250152","call_identifier":"FP7"},{"_id":"25B67606-B435-11E9-9278-68D0E5697425","name":"Evolutionary rescue"}],"_id":"1241","publication":"Genetics","scopus_import":"1","publisher":"Genetics Society of America","fulldoi":"https://doi.org/10.1534/genetics.115.180299","quality_controlled":"1","page":"721 - 732","isi":1,"year":"2016","external_id":{"isi":["000371304600028"],"biorxivid":["10.1101/022020"]},"abstract":[{"text":"How likely is it that a population escapes extinction through adaptive evolution? The answer to this question is of great relevance in conservation biology, where we aim at species’ rescue and the maintenance of biodiversity, and in agriculture and medicine, where we seek to hamper the emergence of pesticide or drug resistance. By reshuffling the genome, recombination has two antagonistic effects on the probability of evolutionary rescue: It generates and it breaks up favorable gene combinations. Which of the two effects prevails depends on the fitness effects of mutations and on the impact of stochasticity on the allele frequencies. In this article, we analyze a mathematical model for rescue after a sudden environmental change when adaptation is contingent on mutations at two loci. The analysis reveals a complex nonlinear dependence of population survival on recombination. We moreover find that, counterintuitively, a fast eradication of the wild type can promote rescue in the presence of recombination. The model also shows that two-step rescue is not unlikely to happen and can even be more likely than single-step rescue (where adaptation relies on a single mutation), depending on the circumstances.","lang":"eng"}],"intvolume":" 202","oa_version":"Preprint","language":[{"iso":"eng"}],"title":"The role of recombination in evolutionary rescue","date_updated":"2026-06-22T14:07:01Z","publist_id":"6091","day":"01","doi":"10.1534/genetics.115.180299","status":"public","type":"journal_article","acknowledgement":"This work was made possible by a “For Women in Science” fellowship (L’Oréal Österreich in cooperation with the Austrian Commission for the United Nations Educational, Scientific, and Cultural Organization and the Austrian Academy of Sciences with financial support from the Federal Ministry for Science and Research Austria) and European Research Council grant 250152 (to Nick Barton).","issue":"2","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/022020"}],"date_created":"2018-12-11T11:50:54Z","author":[{"full_name":"Uecker, Hildegard","first_name":"Hildegard","id":"2DB8F68A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9435-2813","last_name":"Uecker"},{"last_name":"Hermisson","first_name":"Joachim","full_name":"Hermisson, Joachim"}]},{"intvolume":" 113","abstract":[{"lang":"eng","text":"Cell polarity refers to a functional spatial organization of proteins that is crucial for the control of essential cellular processes such as growth and division. To establish polarity, cells rely on elaborate regulation networks that control the distribution of proteins at the cell membrane. In fission yeast cells, a microtubule-dependent network has been identified that polarizes the distribution of signaling proteins that restricts growth to cell ends and targets the cytokinetic machinery to the middle of the cell. Although many molecular components have been shown to play a role in this network, it remains unknown which molecular functionalities are minimally required to establish a polarized protein distribution in this system. Here we show that a membrane-binding protein fragment, which distributes homogeneously in wild-type fission yeast cells, can be made to concentrate at cell ends by attaching it to a cytoplasmic microtubule end-binding protein. This concentration results in a polarized pattern of chimera proteins with a spatial extension that is very reminiscent of natural polarity patterns in fission yeast. However, chimera levels fluctuate in response to microtubule dynamics, and disruption of microtubules leads to disappearance of the pattern. Numerical simulations confirm that the combined functionality of membrane anchoring and microtubule tip affinity is in principle sufficient to create polarized patterns. Our chimera protein may thus represent a simple molecular functionality that is able to polarize the membrane, onto which additional layers of molecular complexity may be built to provide the temporal robustness that is typical of natural polarity patterns."}],"day":"16","publist_id":"6085","date_updated":"2025-09-22T09:15:17Z","title":"Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells","oa_version":"Submitted Version","language":[{"iso":"eng"}],"isi":1,"page":"1811 - 1816","quality_controlled":"1","external_id":{"isi":["000370220000046"]},"year":"2016","date_created":"2018-12-11T11:50:55Z","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4763754/"}],"acknowledgement":"We thank Sophie Martin, Ken Sawin, Stephen Huisman,\r\nand Damian Brunner for strains; Julianne\r\nTeapal, Marcel Janson, Sergio Rincon,\r\nand Phong Tran for technical assistance; Andrew Mugler and Bela Mulder for\r\ndiscussions; and Sander Tans, Phong Tran,\r\nand Anne Paoletti for critical reading\r\nof the manuscript. This work is part of the research program of the\r\n“\r\nStichting\r\nvoor Fundamenteel Onderzoek de Materie,\r\n”\r\nwhich is financially supported by\r\nthe\r\n“\r\nNederlandse organisatie voor Wete\r\nnschappelijk Onderzoek (NWO).\r\n”","issue":"7","author":[{"full_name":"Recouvreux, Pierre","last_name":"Recouvreux","first_name":"Pierre"},{"first_name":"Thomas R","id":"3E999752-F248-11E8-B48F-1D18A9856A87","last_name":"Sokolowski","orcid":"0000-0002-1287-3779","full_name":"Sokolowski, Thomas R"},{"full_name":"Grammoustianou, Aristea","last_name":"Grammoustianou","first_name":"Aristea"},{"last_name":"Tenwolde","first_name":"Pieter","full_name":"Tenwolde, Pieter"},{"full_name":"Dogterom, Marileen","last_name":"Dogterom","first_name":"Marileen"}],"type":"journal_article","status":"public","doi":"10.1073/pnas.1419248113","volume":113,"citation":{"chicago":"Recouvreux, Pierre, Thomas R Sokolowski, Aristea Grammoustianou, Pieter Tenwolde, and Marileen Dogterom. “Chimera Proteins with Affinity for Membranes and Microtubule Tips Polarize in the Membrane of Fission Yeast Cells.” PNAS. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1419248113.","ama":"Recouvreux P, Sokolowski TR, Grammoustianou A, Tenwolde P, Dogterom M. Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells. PNAS. 2016;113(7):1811-1816. doi:10.1073/pnas.1419248113","short":"P. Recouvreux, T.R. Sokolowski, A. Grammoustianou, P. Tenwolde, M. Dogterom, PNAS 113 (2016) 1811–1816.","ista":"Recouvreux P, Sokolowski TR, Grammoustianou A, Tenwolde P, Dogterom M. 2016. Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells. PNAS. 113(7), 1811–1816.","apa":"Recouvreux, P., Sokolowski, T. R., Grammoustianou, A., Tenwolde, P., & Dogterom, M. (2016). Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1419248113","mla":"Recouvreux, Pierre, et al. “Chimera Proteins with Affinity for Membranes and Microtubule Tips Polarize in the Membrane of Fission Yeast Cells.” PNAS, vol. 113, no. 7, National Academy of Sciences, 2016, pp. 1811–16, doi:10.1073/pnas.1419248113.","ieee":"P. Recouvreux, T. R. Sokolowski, A. Grammoustianou, P. Tenwolde, and M. Dogterom, “Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells,” PNAS, vol. 113, no. 7. National Academy of Sciences, pp. 1811–1816, 2016."},"article_processing_charge":"No","department":[{"_id":"GaTk"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","date_published":"2016-02-16T00:00:00Z","month":"02","publication":"PNAS","_id":"1244","fulldoi":"https://doi.org/10.1073/pnas.1419248113","scopus_import":"1","publisher":"National Academy of Sciences","oa":1},{"oa":1,"has_accepted_license":"1","fulldoi":"https://doi.org/10.1038/srep22665","publisher":"Nature Publishing Group","scopus_import":"1","pubrep_id":"707","publication":"Scientific Reports","_id":"1246","publication_status":"published","date_published":"2016-03-07T00:00:00Z","month":"03","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","department":[{"_id":"JoFi"}],"article_processing_charge":"No","volume":6,"citation":{"ieee":"I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, and L. Kuipers, “Imaging of electric and magnetic fields near plasmonic nanowires,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.","ista":"Kabakova I, De Hoogh A, Van Der Wel R, Wulf M, Le Feber B, Kuipers L. 2016. Imaging of electric and magnetic fields near plasmonic nanowires. Scientific Reports. 6, 22665.","mla":"Kabakova, Irina, et al. “Imaging of Electric and Magnetic Fields near Plasmonic Nanowires.” Scientific Reports, vol. 6, 22665, Nature Publishing Group, 2016, doi:10.1038/srep22665.","apa":"Kabakova, I., De Hoogh, A., Van Der Wel, R., Wulf, M., Le Feber, B., & Kuipers, L. (2016). Imaging of electric and magnetic fields near plasmonic nanowires. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep22665","short":"I. Kabakova, A. De Hoogh, R. Van Der Wel, M. Wulf, B. Le Feber, L. Kuipers, Scientific Reports 6 (2016).","ama":"Kabakova I, De Hoogh A, Van Der Wel R, Wulf M, Le Feber B, Kuipers L. Imaging of electric and magnetic fields near plasmonic nanowires. Scientific Reports. 2016;6. doi:10.1038/srep22665","chicago":"Kabakova, Irina, Anouk De Hoogh, Ruben Van Der Wel, Matthias Wulf, Boris Le Feber, and Laurens Kuipers. “Imaging of Electric and Magnetic Fields near Plasmonic Nanowires.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep22665."},"type":"journal_article","doi":"10.1038/srep22665","status":"public","file_date_updated":"2020-07-14T12:44:41Z","ddc":["539"],"author":[{"last_name":"Kabakova","first_name":"Irina","full_name":"Kabakova, Irina"},{"full_name":"De Hoogh, Anouk","first_name":"Anouk","last_name":"De Hoogh"},{"last_name":"Van Der Wel","first_name":"Ruben","full_name":"Van Der Wel, Ruben"},{"full_name":"Wulf, Matthias","orcid":"0000-0001-6613-1378","last_name":"Wulf","id":"45598606-F248-11E8-B48F-1D18A9856A87","first_name":"Matthias"},{"full_name":"Le Feber, Boris","first_name":"Boris","last_name":"Le Feber"},{"last_name":"Kuipers","first_name":"Laurens","full_name":"Kuipers, Laurens"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2018-12-11T11:50:55Z","acknowledgement":"This work is supported part of the research program of the Netherlands Foundation for Fundamental Research on Matter (FOM) and the Netherlands Organization for Scientific Research (NWO), and part of this work has been funded by the project ‘SPANGL4Q’, which acknowledges the financial support of the Future and Emerging Technologies (FET) program within the Seventh Framework Programme for Research of the European Commission, under FETOpen grant number: FP7-284743. L.K. acknowledges funding from ERC Advanced, Investigator Grant (no. 240438-CONSTANS).","external_id":{"isi":["000371407500001"]},"year":"2016","isi":1,"quality_controlled":"1","title":"Imaging of electric and magnetic fields near plasmonic nanowires","date_updated":"2025-09-22T09:14:06Z","publist_id":"6082","day":"07","language":[{"iso":"eng"}],"oa_version":"Published Version","intvolume":" 6","file":[{"relation":"main_file","file_size":1425165,"file_id":"5061","content_type":"application/pdf","checksum":"ca76236cb1aae22cb90c65313e2c5e98","creator":"system","date_created":"2018-12-12T10:14:11Z","file_name":"IST-2016-707-v1+1_srep22665.pdf","date_updated":"2020-07-14T12:44:41Z","access_level":"open_access"}],"abstract":[{"text":"Near-field imaging is a powerful tool to investigate the complex structure of light at the nanoscale. Recent advances in near-field imaging have indicated the possibility for the complete reconstruction of both electric and magnetic components of the evanescent field. Here we study the electro-magnetic field structure of surface plasmon polariton waves propagating along subwavelength gold nanowires by performing phase- and polarization-resolved near-field microscopy in collection mode. By applying the optical reciprocity theorem, we describe the signal collected by the probe as an overlap integral of the nanowire's evanescent field and the probe's response function. As a result, we find that the probe's sensitivity to the magnetic field is approximately equal to its sensitivity to the electric field. Through rigorous modeling of the nanowire mode as well as the aperture probe response function, we obtain a good agreement between experimentally measured signals and a numerical model. Our findings provide a better understanding of aperture-based near-field imaging of the nanoscopic plasmonic and photonic structures and are helpful for the interpretation of future near-field experiments.","lang":"eng"}],"article_number":"22665"},{"doi":"10.1073/pnas.1501343112","status":"public","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4791031/"}],"acknowledgement":"This work was supported by the Ghent University Special Research Fund (M.K.), the European Research Council (Project ERC-2011-StG-20101109-PSDP) (to J.F.), and the Körber European Science Foun-\r\ndation (J.F.). S.D.G. is indebted to the Agency for Science and Technology for\r\na predoctoral fellowship.","issue":"10","date_created":"2018-12-11T11:50:56Z","author":[{"full_name":"Karampelias, Michael","last_name":"Karampelias","first_name":"Michael"},{"first_name":"Pia","last_name":"Neyt","full_name":"Neyt, Pia"},{"last_name":"De Groeve","first_name":"Steven","full_name":"De Groeve, Steven"},{"full_name":"Aesaert, Stijn","first_name":"Stijn","last_name":"Aesaert"},{"last_name":"Coussens","first_name":"Griet","full_name":"Coussens, Griet"},{"last_name":"Rolčík","first_name":"Jakub","full_name":"Rolčík, Jakub"},{"first_name":"Leonardo","last_name":"Bruno","full_name":"Bruno, Leonardo"},{"last_name":"De Winne","first_name":"Nancy","full_name":"De Winne, Nancy"},{"first_name":"Annemie","last_name":"Van Minnebruggen","full_name":"Van Minnebruggen, Annemie"},{"full_name":"Van Montagu, Marc","first_name":"Marc","last_name":"Van Montagu"},{"last_name":"Ponce","first_name":"Maria","full_name":"Ponce, Maria"},{"full_name":"Micol, José","last_name":"Micol","first_name":"José"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí"},{"full_name":"De Jaeger, Geert","first_name":"Geert","last_name":"De Jaeger"},{"first_name":"Mieke","last_name":"Van Lijsebettens","full_name":"Van Lijsebettens, Mieke"}],"quality_controlled":"1","isi":1,"page":"2768 - 2773","year":"2016","external_id":{"isi":["000372013300055"]},"abstract":[{"lang":"eng","text":"The shaping of organs in plants depends on the intercellular flow of the phytohormone auxin, of which the directional signaling is determined by the polar subcellular localization of PIN-FORMED (PIN) auxin transport proteins. Phosphorylation dynamics of PIN proteins are affected by the protein phosphatase 2A (PP2A) and the PINOID kinase, which act antagonistically to mediate their apical-basal polar delivery. Here, we identified the ROTUNDA3 (RON3) protein as a regulator of the PP2A phosphatase activity in Arabidopsis thaliana. The RON3 gene was map-based cloned starting from the ron3-1 leaf mutant and found to be a unique, plant-specific gene coding for a protein with high and dispersed proline content. The ron3-1 and ron3-2 mutant phenotypes [i.e., reduced apical dominance, primary root length, lateral root emergence, and growth; increased ectopic stages II, IV, and V lateral root primordia; decreased auxin maxima in indole-3-acetic acid (IAA)-treated root apical meristems; hypergravitropic root growth and response; increased IAA levels in shoot apices; and reduced auxin accumulation in root meristems] support a role for RON3 in auxin biology. The affinity-purified PP2A complex with RON3 as bait suggested that RON3 might act in PIN transporter trafficking. Indeed, pharmacological interference with vesicle trafficking processes revealed that single ron3-2 and double ron3-2 rcn1 mutants have altered PIN polarity and endocytosis in specific cells. Our data indicate that RON3 contributes to auxin-mediated development by playing a role in PIN recycling and polarity establishment through regulation of the PP2A complex activity."}],"intvolume":" 113","language":[{"iso":"eng"}],"oa_version":"Submitted Version","day":"08","title":"ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling","date_updated":"2025-09-22T09:13:28Z","publist_id":"6081","oa":1,"project":[{"_id":"25716A02-B435-11E9-9278-68D0E5697425","name":"Polarity and subcellular dynamics in plants","grant_number":"282300","call_identifier":"FP7"}],"_id":"1247","publication":"PNAS","scopus_import":"1","publisher":"National Academy of Sciences","fulldoi":"https://doi.org/10.1073/pnas.1501343112","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","month":"03","date_published":"2016-03-08T00:00:00Z","publication_status":"published","ec_funded":1,"citation":{"ieee":"M. Karampelias et al., “ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling,” PNAS, vol. 113, no. 10. National Academy of Sciences, pp. 2768–2773, 2016.","short":"M. Karampelias, P. Neyt, S. De Groeve, S. Aesaert, G. Coussens, J. Rolčík, L. Bruno, N. De Winne, A. Van Minnebruggen, M. Van Montagu, M. Ponce, J. Micol, J. Friml, G. De Jaeger, M. Van Lijsebettens, PNAS 113 (2016) 2768–2773.","ista":"Karampelias M, Neyt P, De Groeve S, Aesaert S, Coussens G, Rolčík J, Bruno L, De Winne N, Van Minnebruggen A, Van Montagu M, Ponce M, Micol J, Friml J, De Jaeger G, Van Lijsebettens M. 2016. ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. 113(10), 2768–2773.","mla":"Karampelias, Michael, et al. “ROTUNDA3 Function in Plant Development by Phosphatase 2A-Mediated Regulation of Auxin Transporter Recycling.” PNAS, vol. 113, no. 10, National Academy of Sciences, 2016, pp. 2768–73, doi:10.1073/pnas.1501343112.","apa":"Karampelias, M., Neyt, P., De Groeve, S., Aesaert, S., Coussens, G., Rolčík, J., … Van Lijsebettens, M. (2016). ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1501343112","ama":"Karampelias M, Neyt P, De Groeve S, et al. ROTUNDA3 function in plant development by phosphatase 2A-mediated regulation of auxin transporter recycling. PNAS. 2016;113(10):2768-2773. doi:10.1073/pnas.1501343112","chicago":"Karampelias, Michael, Pia Neyt, Steven De Groeve, Stijn Aesaert, Griet Coussens, Jakub Rolčík, Leonardo Bruno, et al. “ROTUNDA3 Function in Plant Development by Phosphatase 2A-Mediated Regulation of Auxin Transporter Recycling.” PNAS. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1501343112."},"volume":113,"article_processing_charge":"No","department":[{"_id":"JiFr"}]},{"language":[{"iso":"eng"}],"oa_version":"Preprint","publist_id":"6080","title":"Information processing in living systems","date_updated":"2025-09-22T09:12:56Z","day":"10","abstract":[{"lang":"eng","text":"Life depends as much on the flow of information as on the flow of energy. Here we review the many efforts to make this intuition precise. Starting with the building blocks of information theory, we explore examples where it has been possible to measure, directly, the flow of information in biological networks, or more generally where information-theoretic ideas have been used to guide the analysis of experiments. Systems of interest range from single molecules (the sequence diversity in families of proteins) to groups of organisms (the distribution of velocities in flocks of birds), and all scales in between. Many of these analyses are motivated by the idea that biological systems may have evolved to optimize the gathering and representation of information, and we review the experimental evidence for this optimization, again across a wide range of scales."}],"intvolume":" 7","year":"2016","external_id":{"isi":["000372188500005"],"arxiv":["1412.8752"]},"quality_controlled":"1","page":"89 - 117","isi":1,"author":[{"full_name":"Tkacik, Gasper","first_name":"Gasper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkacik","orcid":"0000-0002-6699-1455"},{"first_name":"William","last_name":"Bialek","full_name":"Bialek, William"}],"acknowledgement":"Our work was supported in part by the US\r\nNational Science Foundation (PHY–1305525 and CCF–\r\n0939370), by the Austrian Science Foundation (FWF\r\nP25651), by the Human Frontiers Science Program, and\r\nby the Simons and Swartz Foundations.","main_file_link":[{"url":"https://arxiv.org/abs/1412.8752","open_access":"1"}],"date_created":"2018-12-11T11:50:56Z","doi":"10.1146/annurev-conmatphys-031214-014803","status":"public","type":"journal_article","department":[{"_id":"GaTk"}],"article_processing_charge":"No","citation":{"chicago":"Tkačik, Gašper, and William Bialek. “Information Processing in Living Systems.” Annual Review of Condensed Matter Physics. Annual Reviews, 2016. https://doi.org/10.1146/annurev-conmatphys-031214-014803.","ama":"Tkačik G, Bialek W. Information processing in living systems. Annual Review of Condensed Matter Physics. 2016;7:89-117. doi:10.1146/annurev-conmatphys-031214-014803","apa":"Tkačik, G., & Bialek, W. (2016). Information processing in living systems. Annual Review of Condensed Matter Physics. Annual Reviews. https://doi.org/10.1146/annurev-conmatphys-031214-014803","ista":"Tkačik G, Bialek W. 2016. Information processing in living systems. Annual Review of Condensed Matter Physics. 7, 89–117.","mla":"Tkačik, Gašper, and William Bialek. “Information Processing in Living Systems.” Annual Review of Condensed Matter Physics, vol. 7, Annual Reviews, 2016, pp. 89–117, doi:10.1146/annurev-conmatphys-031214-014803.","short":"G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.","ieee":"G. Tkačik and W. Bialek, “Information processing in living systems,” Annual Review of Condensed Matter Physics, vol. 7. Annual Reviews, pp. 89–117, 2016."},"volume":7,"month":"03","date_published":"2016-03-10T00:00:00Z","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","scopus_import":"1","publisher":"Annual Reviews","fulldoi":"https://doi.org/10.1146/annurev-conmatphys-031214-014803","_id":"1248","publication":"Annual Review of Condensed Matter Physics","arxiv":1,"project":[{"_id":"254D1A94-B435-11E9-9278-68D0E5697425","grant_number":"P 25651-N26","name":"Sensitivity to higher-order statistics in natural scenes","call_identifier":"FWF"}],"oa":1},{"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","date_published":"2016-03-29T00:00:00Z","month":"03","volume":110,"citation":{"chicago":"Saha, Arnab, Masatoshi Nishikawa, Martin Behrndt, Carl-Philipp J Heisenberg, Frank Julicher, and Stephan Grill. “Determining Physical Properties of the Cell Cortex.” Biophysical Journal. Biophysical Society, 2016. https://doi.org/10.1016/j.bpj.2016.02.013.","ama":"Saha A, Nishikawa M, Behrndt M, Heisenberg C-PJ, Julicher F, Grill S. Determining physical properties of the cell cortex. Biophysical Journal. 2016;110(6):1421-1429. doi:10.1016/j.bpj.2016.02.013","ista":"Saha A, Nishikawa M, Behrndt M, Heisenberg C-PJ, Julicher F, Grill S. 2016. Determining physical properties of the cell cortex. Biophysical Journal. 110(6), 1421–1429.","mla":"Saha, Arnab, et al. “Determining Physical Properties of the Cell Cortex.” Biophysical Journal, vol. 110, no. 6, Biophysical Society, 2016, pp. 1421–29, doi:10.1016/j.bpj.2016.02.013.","apa":"Saha, A., Nishikawa, M., Behrndt, M., Heisenberg, C.-P. J., Julicher, F., & Grill, S. (2016). Determining physical properties of the cell cortex. Biophysical Journal. Biophysical Society. https://doi.org/10.1016/j.bpj.2016.02.013","short":"A. Saha, M. Nishikawa, M. Behrndt, C.-P.J. Heisenberg, F. Julicher, S. Grill, Biophysical Journal 110 (2016) 1421–1429.","ieee":"A. Saha, M. Nishikawa, M. Behrndt, C.-P. J. Heisenberg, F. Julicher, and S. Grill, “Determining physical properties of the cell cortex,” Biophysical Journal, vol. 110, no. 6. Biophysical Society, pp. 1421–1429, 2016."},"article_processing_charge":"No","department":[{"_id":"CaHe"}],"oa":1,"has_accepted_license":"1","project":[{"grant_number":"I930-B20","name":"Control of Epithelial Cell Layer Spreading in Zebrafish","call_identifier":"FWF","_id":"252ABD0A-B435-11E9-9278-68D0E5697425"}],"publication":"Biophysical Journal","_id":"1249","fulldoi":"https://doi.org/10.1016/j.bpj.2016.02.013","scopus_import":"1","publisher":"Biophysical Society","pubrep_id":"706","page":"1421 - 1429","isi":1,"quality_controlled":"1","external_id":{"isi":["000373487200023"]},"year":"2016","intvolume":" 110","file":[{"access_level":"open_access","date_updated":"2020-07-14T12:44:41Z","file_name":"IST-2016-706-v1+1_1-s2.0-S0006349516001582-main.pdf","creator":"system","checksum":"c408cf2e25a25c8d711cffea524bda55","content_type":"application/pdf","file_id":"4845","date_created":"2018-12-12T10:10:54Z","file_size":1965645,"relation":"main_file"}],"abstract":[{"lang":"eng","text":"Actin and myosin assemble into a thin layer of a highly dynamic network underneath the membrane of eukaryotic cells. This network generates the forces that drive cell- and tissue-scale morphogenetic processes. The effective material properties of this active network determine large-scale deformations and other morphogenetic events. For example, the characteristic time of stress relaxation (the Maxwell time τM) in the actomyosin sets the timescale of large-scale deformation of the cortex. Similarly, the characteristic length of stress propagation (the hydrodynamic length λ) sets the length scale of slow deformations, and a large hydrodynamic length is a prerequisite for long-ranged cortical flows. Here we introduce a method to determine physical parameters of the actomyosin cortical layer in vivo directly from laser ablation experiments. For this we investigate the cortical response to laser ablation in the one-cell-stage Caenorhabditis elegans embryo and in the gastrulating zebrafish embryo. These responses can be interpreted using a coarse-grained physical description of the cortex in terms of a two-dimensional thin film of an active viscoelastic gel. To determine the Maxwell time τM, the hydrodynamic length λ, the ratio of active stress ζΔμ, and per-area friction γ, we evaluated the response to laser ablation in two different ways: by quantifying flow and density fields as a function of space and time, and by determining the time evolution of the shape of the ablated region. Importantly, both methods provide best-fit physical parameters that are in close agreement with each other and that are similar to previous estimates in the two systems. Our method provides an accurate and robust means for measuring physical parameters of the actomyosin cortical layer. It can be useful for investigations of actomyosin mechanics at the cellular-scale, but also for providing insights into the active mechanics processes that govern tissue-scale morphogenesis."}],"date_updated":"2025-09-22T09:12:06Z","publist_id":"6079","title":"Determining physical properties of the cell cortex","day":"29","oa_version":"Published Version","language":[{"iso":"eng"}],"type":"journal_article","status":"public","doi":"10.1016/j.bpj.2016.02.013","file_date_updated":"2020-07-14T12:44:41Z","date_created":"2018-12-11T11:50:56Z","acknowledgement":"S.W.G. acknowledges support by grant no. 281903 from the European Research Council and by grant No. GR-7271/2-1 from the Deutsche Forschungsgemeinschaft. S.W.G. and C.-P.H. acknowledge support through a grant from the Fonds zur Förderung der Wissenschaftlichen Forschung and the Deutsche Forschungsgemeinschaft (No. I930-B20). We are grateful to Daniel Dickinson for providing the LP133 C. elegans strain. We thank G. Salbreux, V. K. Krishnamurthy, and J. S. Bois for fruitful discussions.","issue":"6","ddc":["572","576"],"author":[{"last_name":"Saha","first_name":"Arnab","full_name":"Saha, Arnab"},{"first_name":"Masatoshi","last_name":"Nishikawa","full_name":"Nishikawa, Masatoshi"},{"last_name":"Behrndt","first_name":"Martin","id":"3ECECA3A-F248-11E8-B48F-1D18A9856A87","full_name":"Behrndt, Martin"},{"full_name":"Heisenberg, Carl-Philipp J","id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","last_name":"Heisenberg"},{"full_name":"Julicher, Frank","last_name":"Julicher","first_name":"Frank"},{"first_name":"Stephan","last_name":"Grill","full_name":"Grill, Stephan"}],"tmp":{"short":"CC BY-NC-ND (4.0)","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"}},{"acknowledgement":"This manuscript is dedicated to the memory of Alex Böhm, who was a great friend and a passionate biologist. Alex passed away after the initial submission of this manuscript. We thank Vesna Olivera and Ursula Sauder from the Zentrum für Mikroskopie Uni Basel for excellent service, and Olin Silander, Nikki Freed, and Nela Nikolic for helpful discussions. This work was supported by the Swiss National Science Foundation grants to M. Ackermann and Urs Jenal (supporting AB).","issue":"4","date_created":"2018-12-11T11:50:56Z","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["576","579"],"author":[{"full_name":"Boehm, Alex","last_name":"Boehm","first_name":"Alex"},{"first_name":"Markus","last_name":"Arnoldini","full_name":"Arnoldini, Markus"},{"first_name":"Tobias","id":"2C471CFA-F248-11E8-B48F-1D18A9856A87","last_name":"Bergmiller","orcid":"0000-0001-5396-4346","full_name":"Bergmiller, Tobias"},{"last_name":"Röösli","first_name":"Thomas","full_name":"Röösli, Thomas"},{"full_name":"Bigosch, Colette","first_name":"Colette","last_name":"Bigosch"},{"full_name":"Ackermann, Martin","last_name":"Ackermann","first_name":"Martin"}],"status":"public","doi":"10.1371/journal.pgen.1005974","file_date_updated":"2020-07-14T12:44:41Z","type":"journal_article","file":[{"relation":"main_file","file_size":6273249,"date_created":"2018-12-12T10:14:17Z","content_type":"application/pdf","creator":"system","checksum":"53d22b2b39e5adc243d34f18b2615a85","file_id":"5067","access_level":"open_access","file_name":"IST-2016-705-v1+1_journal.pgen.1005974.PDF","date_updated":"2020-07-14T12:44:41Z"}],"article_number":"e1005974","abstract":[{"lang":"eng","text":"In bacteria, replicative aging manifests as a difference in growth or survival between the two cells emerging from division. One cell can be regarded as an aging mother with a decreased potential for future survival and division, the other as a rejuvenated daughter. Here, we aimed at investigating some of the processes involved in aging in the bacterium Escherichia coli, where the two types of cells can be distinguished by the age of their cell poles. We found that certain changes in the regulation of the carbohydrate metabolism can affect aging. A mutation in the carbon storage regulator gene, csrA, leads to a dramatically shorter replicative lifespan; csrA mutants stop dividing once their pole exceeds an age of about five divisions. These old-pole cells accumulate glycogen at their old cell poles; after their last division, they do not contain a chromosome, presumably because of spatial exclusion by the glycogen aggregates. The new-pole daughters produced by these aging mothers are born young; they only express the deleterious phenotype once their pole is old. These results demonstrate how manipulations of nutrient allocation can lead to the exclusion of the chromosome and limit replicative lifespan in E. coli, and illustrate how mutations can have phenotypic effects that are specific for cells with old poles. This raises the question how bacteria can avoid the accumulation of such mutations in their genomes over evolutionary times, and how they can achieve the long replicative lifespans that have recently been reported."}],"intvolume":" 12","oa_version":"Published Version","language":[{"iso":"eng"}],"publist_id":"6077","title":"Genetic manipulation of glycogen allocation affects replicative lifespan in E coli","date_updated":"2025-09-22T09:10:03Z","day":"19","quality_controlled":"1","isi":1,"year":"2016","external_id":{"isi":["000375231900025"]},"_id":"1250","publication":"PLoS Genetics","publisher":"Public Library of Science","scopus_import":"1","pubrep_id":"705","fulldoi":"https://doi.org/10.1371/journal.pgen.1005974","has_accepted_license":"1","oa":1,"citation":{"chicago":"Boehm, Alex, Markus Arnoldini, Tobias Bergmiller, Thomas Röösli, Colette Bigosch, and Martin Ackermann. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.” PLoS Genetics. Public Library of Science, 2016. https://doi.org/10.1371/journal.pgen.1005974.","ama":"Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 2016;12(4). doi:10.1371/journal.pgen.1005974","short":"A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).","mla":"Boehm, Alex, et al. “Genetic Manipulation of Glycogen Allocation Affects Replicative Lifespan in E Coli.” PLoS Genetics, vol. 12, no. 4, e1005974, Public Library of Science, 2016, doi:10.1371/journal.pgen.1005974.","apa":"Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., & Ackermann, M. (2016). Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005974","ista":"Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. 2016. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 12(4), e1005974.","ieee":"A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Genetic manipulation of glycogen allocation affects replicative lifespan in E coli,” PLoS Genetics, vol. 12, no. 4. Public Library of Science, 2016."},"volume":12,"department":[{"_id":"CaGu"}],"article_processing_charge":"No","related_material":{"record":[{"status":"public","id":"9873","relation":"research_data"}]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","month":"04","publication_status":"published","date_published":"2016-04-19T00:00:00Z"},{"year":"2016","external_id":{"isi":["000375416000012"]},"quality_controlled":"1","page":"930 - 948","isi":1,"language":[{"iso":"eng"}],"oa_version":"Submitted Version","title":"TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics","date_updated":"2025-09-22T09:10:52Z","publist_id":"6078","day":"01","abstract":[{"text":"Plant growth and architecture is regulated by the polar distribution of the hormone auxin. Polarity and flexibility of this process is provided by constant cycling of auxin transporter vesicles along actin filaments, coordinated by a positive auxinactin feedback loop. Both polar auxin transport and vesicle cycling are inhibited by synthetic auxin transport inhibitors, such as 1-Nnaphthylphthalamic acid (NPA), counteracting the effect of auxin; however, underlying targets and mechanisms are unclear. Using NMR, we map the NPA binding surface on the Arabidopsis thaliana ABCB chaperone TWISTED DWARF1 (TWD1).We identify ACTIN7 as a relevant, although likely indirect, TWD1 interactor, and show TWD1-dependent regulation of actin filament organization and dynamics and that TWD1 is required for NPA-mediated actin cytoskeleton remodeling. The TWD1-ACTIN7 axis controls plasma membrane presence of efflux transporters, and as a consequence act7 and twd1 share developmental and physiological phenotypes indicative of defects in auxin transport. These can be phenocopied by NPA treatment or by chemical actin (de)stabilization. We provide evidence that TWD1 determines downstreamlocations of auxin efflux transporters by adjusting actin filament debundling and dynamizing processes and mediating NPA action on the latter. This function appears to be evolutionary conserved since TWD1 expression in budding yeast alters actin polarization and cell polarity and provides NPA sensitivity.","lang":"eng"}],"intvolume":" 28","doi":"10.1105/tpc.15.00726","status":"public","type":"journal_article","author":[{"last_name":"Zhu","first_name":"Jinsheng","full_name":"Zhu, Jinsheng"},{"full_name":"Bailly, Aurélien","first_name":"Aurélien","last_name":"Bailly"},{"first_name":"Marta","last_name":"Zwiewka","full_name":"Zwiewka, Marta"},{"full_name":"Sovero, Valpuri","last_name":"Sovero","first_name":"Valpuri"},{"first_name":"Martin","last_name":"Di Donato","full_name":"Di Donato, Martin"},{"last_name":"Ge","first_name":"Pei","full_name":"Ge, Pei"},{"last_name":"Oehri","first_name":"Jacqueline","full_name":"Oehri, Jacqueline"},{"full_name":"Aryal, Bibek","last_name":"Aryal","first_name":"Bibek"},{"last_name":"Hao","first_name":"Pengchao","full_name":"Hao, Pengchao"},{"first_name":"Miriam","last_name":"Linnert","full_name":"Linnert, Miriam"},{"full_name":"Burgardt, Noelia","last_name":"Burgardt","first_name":"Noelia"},{"full_name":"Lücke, Christian","last_name":"Lücke","first_name":"Christian"},{"first_name":"Matthias","last_name":"Weiwad","full_name":"Weiwad, Matthias"},{"full_name":"Michel, Max","last_name":"Michel","first_name":"Max"},{"full_name":"Weiergräber, Oliver","first_name":"Oliver","last_name":"Weiergräber"},{"full_name":"Pollmann, Stephan","first_name":"Stephan","last_name":"Pollmann"},{"first_name":"Elisa","last_name":"Azzarello","full_name":"Azzarello, Elisa"},{"full_name":"Mancuso, Stefano","first_name":"Stefano","last_name":"Mancuso"},{"full_name":"Ferro, Noel","first_name":"Noel","last_name":"Ferro"},{"last_name":"Fukao","first_name":"Yoichiro","full_name":"Fukao, Yoichiro"},{"first_name":"Céline","last_name":"Hoffmann","full_name":"Hoffmann, Céline"},{"last_name":"Wedlich Söldner","first_name":"Roland","full_name":"Wedlich Söldner, Roland"},{"orcid":"0000-0002-8302-7596","last_name":"Friml","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jirí"},{"full_name":"Thomas, Clément","last_name":"Thomas","first_name":"Clément"},{"full_name":"Geisler, Markus","first_name":"Markus","last_name":"Geisler"}],"issue":"4","acknowledgement":" This work was supported by grants from the European Social Fund (CZ.1.07/2.3.00/20.0043), the Czech Science Foundation GAČR (GA13-40637S) to J.F. and M.Z., the Ministry of Education, Youth, and Sports of the Czech Republic under the project CEITEC 2020 (LQ1601) to M.Z., the Ministry for Higher Education and Research of Luxembourg (REC-LOCM-20140703) to C.T., the Partial Funding Program for Short Stays Abroad of CONICET Argentina (to N.I.B.), Swiss National Funds, the Pool de Recherche of the University of Fribourg, and the Novartis Foundation (all to M.G.). ","main_file_link":[{"url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4863381/","open_access":"1"}],"date_created":"2018-12-11T11:50:57Z","month":"04","publication_status":"published","date_published":"2016-04-01T00:00:00Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","department":[{"_id":"JiFr"}],"article_processing_charge":"No","citation":{"chicago":"Zhu, Jinsheng, Aurélien Bailly, Marta Zwiewka, Valpuri Sovero, Martin Di Donato, Pei Ge, Jacqueline Oehri, et al. “TWISTED DWARF1 Mediates the Action of Auxin Transport Inhibitors on Actin Cytoskeleton Dynamics.” Plant Cell. American Society of Plant Biologists, 2016. https://doi.org/10.1105/tpc.15.00726.","ama":"Zhu J, Bailly A, Zwiewka M, et al. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 2016;28(4):930-948. doi:10.1105/tpc.15.00726","mla":"Zhu, Jinsheng, et al. “TWISTED DWARF1 Mediates the Action of Auxin Transport Inhibitors on Actin Cytoskeleton Dynamics.” Plant Cell, vol. 28, no. 4, American Society of Plant Biologists, 2016, pp. 930–48, doi:10.1105/tpc.15.00726.","ista":"Zhu J, Bailly A, Zwiewka M, Sovero V, Di Donato M, Ge P, Oehri J, Aryal B, Hao P, Linnert M, Burgardt N, Lücke C, Weiwad M, Michel M, Weiergräber O, Pollmann S, Azzarello E, Mancuso S, Ferro N, Fukao Y, Hoffmann C, Wedlich Söldner R, Friml J, Thomas C, Geisler M. 2016. TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. 28(4), 930–948.","apa":"Zhu, J., Bailly, A., Zwiewka, M., Sovero, V., Di Donato, M., Ge, P., … Geisler, M. (2016). TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.15.00726","short":"J. Zhu, A. Bailly, M. Zwiewka, V. Sovero, M. Di Donato, P. Ge, J. Oehri, B. Aryal, P. Hao, M. Linnert, N. Burgardt, C. Lücke, M. Weiwad, M. Michel, O. Weiergräber, S. Pollmann, E. Azzarello, S. Mancuso, N. Ferro, Y. Fukao, C. Hoffmann, R. Wedlich Söldner, J. Friml, C. Thomas, M. Geisler, Plant Cell 28 (2016) 930–948.","ieee":"J. Zhu et al., “TWISTED DWARF1 mediates the action of auxin transport inhibitors on actin cytoskeleton dynamics,” Plant Cell, vol. 28, no. 4. American Society of Plant Biologists, pp. 930–948, 2016."},"volume":28,"oa":1,"scopus_import":"1","publisher":"American Society of Plant Biologists","fulldoi":"https://doi.org/10.1105/tpc.15.00726","_id":"1251","publication":"Plant Cell"},{"page":"1787 - 1801","isi":1,"quality_controlled":"1","external_id":{"arxiv":["1411.7563"],"isi":["000369298400038"]},"year":"2016","intvolume":" 144","abstract":[{"lang":"eng","text":"We study the homomorphism induced in homology by a closed correspondence between topological spaces, using projections from the graph of the correspondence to its domain and codomain. We provide assumptions under which the homomorphism induced by an outer approximation of a continuous map coincides with the homomorphism induced in homology by the map. In contrast to more classical results we do not require that the projection to the domain have acyclic preimages. Moreover, we show that it is possible to retrieve correct homological information from a correspondence even if some data is missing or perturbed. Finally, we describe an application to combinatorial maps that are either outer approximations of continuous maps or reconstructions of such maps from a finite set of data points."}],"publist_id":"6075","title":"Inducing a map on homology from a correspondence","date_updated":"2025-09-22T09:09:31Z","day":"01","language":[{"iso":"eng"}],"oa_version":"Preprint","type":"journal_article","doi":"10.1090/proc/12812","status":"public","date_created":"2018-12-11T11:50:57Z","acknowledgement":"The authors gratefully acknowledge the support of the Lorenz Center which\r\nprovided an opportunity for us to discuss in depth the work of this paper. Research leading to these results has received funding from Fundo Europeu de Desenvolvimento Regional (FEDER) through COMPETE—Programa Operacional Factores de Competitividade (POFC) and from the Portuguese national funds through Funda¸c˜ao para a Ciˆencia e a Tecnologia (FCT) in the framework of the research\r\nproject FCOMP-01-0124-FEDER-010645 (ref. FCT PTDC/MAT/098871/2008),\r\nas well as from the People Programme (Marie Curie Actions) of the European\r\nUnion’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. 622033 (supporting PP). The work of the first and third author has\r\nbeen partially supported by NSF grants NSF-DMS-0835621, 0915019, 1125174,\r\n1248071, and contracts from AFOSR and DARPA. The work of the second author\r\nwas supported by Grant-in-Aid for Scientific Research (No. 25287029), Ministry of\r\nEducation, Science, Technology, Culture and Sports, Japan.","issue":"4","main_file_link":[{"url":"https://arxiv.org/abs/1411.7563","open_access":"1"}],"author":[{"last_name":"Harker","first_name":"Shaun","full_name":"Harker, Shaun"},{"first_name":"Hiroshi","last_name":"Kokubu","full_name":"Kokubu, Hiroshi"},{"first_name":"Konstantin","last_name":"Mischaikow","full_name":"Mischaikow, Konstantin"},{"first_name":"Pawel","id":"3768D56A-F248-11E8-B48F-1D18A9856A87","last_name":"Pilarczyk","full_name":"Pilarczyk, Pawel"}],"corr_author":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_type":"original","publication_status":"published","date_published":"2016-04-01T00:00:00Z","month":"04","volume":144,"citation":{"ieee":"S. Harker, H. Kokubu, K. Mischaikow, and P. Pilarczyk, “Inducing a map on homology from a correspondence,” Proceedings of the American Mathematical Society, vol. 144, no. 4. American Mathematical Society, pp. 1787–1801, 2016.","mla":"Harker, Shaun, et al. “Inducing a Map on Homology from a Correspondence.” Proceedings of the American Mathematical Society, vol. 144, no. 4, American Mathematical Society, 2016, pp. 1787–801, doi:10.1090/proc/12812.","ista":"Harker S, Kokubu H, Mischaikow K, Pilarczyk P. 2016. Inducing a map on homology from a correspondence. Proceedings of the American Mathematical Society. 144(4), 1787–1801.","apa":"Harker, S., Kokubu, H., Mischaikow, K., & Pilarczyk, P. (2016). Inducing a map on homology from a correspondence. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/12812","short":"S. Harker, H. Kokubu, K. Mischaikow, P. Pilarczyk, Proceedings of the American Mathematical Society 144 (2016) 1787–1801.","chicago":"Harker, Shaun, Hiroshi Kokubu, Konstantin Mischaikow, and Pawel Pilarczyk. “Inducing a Map on Homology from a Correspondence.” Proceedings of the American Mathematical Society. American Mathematical Society, 2016. https://doi.org/10.1090/proc/12812.","ama":"Harker S, Kokubu H, Mischaikow K, Pilarczyk P. Inducing a map on homology from a correspondence. Proceedings of the American Mathematical Society. 2016;144(4):1787-1801. doi:10.1090/proc/12812"},"ec_funded":1,"article_processing_charge":"No","department":[{"_id":"HeEd"}],"oa":1,"project":[{"call_identifier":"FP7","name":"Persistent Homology - Images, Data and Maps","grant_number":"622033","_id":"255F06BE-B435-11E9-9278-68D0E5697425"}],"arxiv":1,"publication":"Proceedings of the American Mathematical Society","_id":"1252","publication_identifier":{"issn":["1088-6826"]},"fulldoi":"https://doi.org/10.1090/proc/12812","scopus_import":"1","publisher":"American Mathematical Society"},{"external_id":{"pmid":["26963490"],"isi":["000373444700017"]},"year":"2016","page":"409 - 410","isi":1,"quality_controlled":"1","publist_id":"6074","title":"How MicroRNAs Are involved in splitting the mind","date_updated":"2025-09-22T09:08:34Z","day":"01","language":[{"iso":"eng"}],"oa_version":"Submitted Version","intvolume":" 73","file":[{"file_name":"IST-2018-981-v1+1_YNP150011_annotatedproof_FINAL.pdf","date_updated":"2020-07-14T12:44:41Z","access_level":"open_access","file_id":"5278","content_type":"application/pdf","creator":"system","checksum":"649aee381f30f7ef7e9efa912d41c2e3","date_created":"2018-12-12T10:17:24Z","file_size":601679,"relation":"main_file"}],"abstract":[{"text":"This article provides an introduction to the role of microRNAs in the nervous system and outlines their potential involvement in the pathophysiology of schizophrenia, which is hypothesized to arise owing to environmental factors and genetic predisposition.","lang":"eng"}],"type":"journal_article","file_date_updated":"2020-07-14T12:44:41Z","status":"public","doi":"10.1001/jamapsychiatry.2015.3144","ddc":["576","610"],"author":[{"full_name":"Tsai, Lihuei","last_name":"Tsai","first_name":"Lihuei"},{"orcid":"0000-0001-8635-0877","last_name":"Siegert","first_name":"Sandra","id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","full_name":"Siegert, Sandra"}],"date_created":"2018-12-11T11:50:58Z","issue":"4","publication_status":"published","date_published":"2016-04-01T00:00:00Z","month":"04","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_processing_charge":"No","department":[{"_id":"SaSi"}],"volume":73,"citation":{"short":"L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.","ista":"Tsai L, Siegert S. 2016. How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. 73(4), 409–410.","apa":"Tsai, L., & Siegert, S. (2016). How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. American Medical Association. https://doi.org/10.1001/jamapsychiatry.2015.3144","mla":"Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.” JAMA Psychiatry, vol. 73, no. 4, American Medical Association, 2016, pp. 409–10, doi:10.1001/jamapsychiatry.2015.3144.","ieee":"L. Tsai and S. Siegert, “How MicroRNAs Are involved in splitting the mind,” JAMA Psychiatry, vol. 73, no. 4. American Medical Association, pp. 409–410, 2016.","ama":"Tsai L, Siegert S. How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. 2016;73(4):409-410. doi:10.1001/jamapsychiatry.2015.3144","chicago":"Tsai, Lihuei, and Sandra Siegert. “How MicroRNAs Are Involved in Splitting the Mind.” JAMA Psychiatry. American Medical Association, 2016. https://doi.org/10.1001/jamapsychiatry.2015.3144."},"oa":1,"has_accepted_license":"1","fulldoi":"https://doi.org/10.1001/jamapsychiatry.2015.3144","scopus_import":"1","publisher":"American Medical Association","pubrep_id":"981","publication":"JAMA Psychiatry","_id":"1253","pmid":1,"publication_identifier":{"issn":["2168-622X"]}},{"type":"conference","status":"public","file_date_updated":"2020-07-14T12:44:41Z","doi":"10.1109/RTAS.2016.7461337","conference":{"end_date":"2016-04-14","start_date":"2016-04-11","name":"RTAS: Real-time and Embedded Technology and Applications Symposium","location":"Vienna, Austria"},"ddc":["005"],"author":[{"last_name":"Jiang","first_name":"Yu","full_name":"Jiang, Yu"},{"full_name":"Yang, Yixiao","last_name":"Yang","first_name":"Yixiao"},{"full_name":"Liu, Han","first_name":"Han","last_name":"Liu"},{"full_name":"Kong, Hui","first_name":"Hui","id":"3BDE25AA-F248-11E8-B48F-1D18A9856A87","last_name":"Kong","orcid":"0000-0002-3066-6941"},{"last_name":"Gu","first_name":"Ming","full_name":"Gu, Ming"},{"full_name":"Sun, Jiaguang","first_name":"Jiaguang","last_name":"Sun"},{"first_name":"Lui","last_name":"Sha","full_name":"Sha, Lui"}],"date_created":"2018-12-11T11:50:58Z","acknowledgement":"This work is supported in part by NSF CNS 13-30077, NSF CNS 13-29886, NSF CNS 15-45002, NSFC 61303014, NSFC 61202010, and NSFC 91218302.","year":"2016","quality_controlled":"1","publist_id":"6069","title":"From stateflow simulation to verified implementation: A verification approach and a real-time train controller design","date_updated":"2021-01-12T06:49:26Z","day":"27","oa_version":"Submitted Version","language":[{"iso":"eng"}],"file":[{"file_size":1293599,"relation":"main_file","date_updated":"2020-07-14T12:44:41Z","file_name":"IST-2017-780-v1+1_RTAS-42-Camera-Ready.pdf","access_level":"open_access","file_id":"4949","content_type":"application/pdf","checksum":"42f0462911cc9957f2356b12fb33b4b6","creator":"system","date_created":"2018-12-12T10:12:31Z"}],"article_number":"7461337","abstract":[{"lang":"eng","text":"Simulink is widely used for model driven development (MDD) of industrial software systems. Typically, the Simulink based development is initiated from Stateflow modeling, followed by simulation, validation and code generation mapped to physical execution platforms. However, recent industrial trends have raised the demands of rigorous verification on safety-critical applications, which is unfortunately challenging for Simulink. In this paper, we present an approach to bridge the Stateflow based model driven development and a well- defined rigorous verification. First, we develop a self- contained toolkit to translate Stateflow model into timed automata, where major advanced modeling features in Stateflow are supported. Taking advantage of the strong verification capability of Uppaal, we can not only find bugs in Stateflow models which are missed by Simulink Design Verifier, but also check more important temporal properties. Next, we customize a runtime verifier for the generated nonintrusive VHDL and C code of Stateflow model for monitoring. The major strength of the customization is the flexibility to collect and analyze runtime properties with a pure software monitor, which opens more opportunities for engineers to achieve high reliability of the target system compared with the traditional act that only relies on Simulink Polyspace. We incorporate these two parts into original Stateflow based MDD seamlessly. In this way, safety-critical properties are both verified at the model level, and at the consistent system implementation level with physical execution environment in consideration. We apply our approach on a train controller design, and the verified implementation is tested and deployed on a real hardware platform."}],"oa":1,"has_accepted_license":"1","fulldoi":"https://doi.org/10.1109/RTAS.2016.7461337","scopus_import":1,"publisher":"IEEE","pubrep_id":"780","_id":"1256","publication_status":"published","date_published":"2016-04-27T00:00:00Z","month":"04","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ToHe"}],"citation":{"ieee":"Y. Jiang et al., “From stateflow simulation to verified implementation: A verification approach and a real-time train controller design,” presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, Vienna, Austria, 2016.","short":"Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.","apa":"Jiang, Y., Yang, Y., Liu, H., Kong, H., Gu, M., Sun, J., & Sha, L. (2016). From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, Vienna, Austria: IEEE. https://doi.org/10.1109/RTAS.2016.7461337","ista":"Jiang Y, Yang Y, Liu H, Kong H, Gu M, Sun J, Sha L. 2016. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. RTAS: Real-time and Embedded Technology and Applications Symposium, 7461337.","mla":"Jiang, Yu, et al. From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design. 7461337, IEEE, 2016, doi:10.1109/RTAS.2016.7461337.","chicago":"Jiang, Yu, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design.” IEEE, 2016. https://doi.org/10.1109/RTAS.2016.7461337.","ama":"Jiang Y, Yang Y, Liu H, et al. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. In: IEEE; 2016. doi:10.1109/RTAS.2016.7461337"}},{"external_id":{"isi":["000374659800005"]},"year":"2016","page":"881 - 919","isi":1,"quality_controlled":"1","publist_id":"6067","title":"A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes","date_updated":"2025-09-22T09:02:32Z","day":"01","language":[{"iso":"eng"}],"oa_version":"Published Version","intvolume":" 343","file":[{"file_size":800792,"relation":"main_file","access_level":"open_access","file_name":"IST-2016-703-v1+1_s00220-016-2600-4.pdf","date_updated":"2020-07-14T12:44:42Z","date_created":"2018-12-12T10:15:02Z","checksum":"4fb2411d9c2f56676123165aad46c828","creator":"system","content_type":"application/pdf","file_id":"5119"}],"abstract":[{"text":"We consider products of random matrices that are small, independent identically distributed perturbations of a fixed matrix (Formula presented.). Focusing on the eigenvalues of (Formula presented.) of a particular size we obtain a limit to a SDE in a critical scaling. Previous results required (Formula presented.) to be a (conjugated) unitary matrix so it could not have eigenvalues of different modulus. From the result we can also obtain a limit SDE for the Markov process given by the action of the random products on the flag manifold. Applying the result to random Schrödinger operators we can improve some results by Valko and Virag showing GOE statistics for the rescaled eigenvalue process of a sequence of Anderson models on long boxes. In particular, we solve a problem posed in their work.","lang":"eng"}],"type":"journal_article","file_date_updated":"2020-07-14T12:44:42Z","doi":"10.1007/s00220-016-2600-4","status":"public","ddc":["510","539"],"author":[{"orcid":"0000-0001-8255-3968","last_name":"Sadel","id":"4760E9F8-F248-11E8-B48F-1D18A9856A87","first_name":"Christian","full_name":"Sadel, Christian"},{"full_name":"Virág, Bálint","last_name":"Virág","first_name":"Bálint"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"corr_author":"1","date_created":"2018-12-11T11:50:59Z","acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). The work of C. Sadel was supported by NSERC Discovery Grant 92997-2010 RGPIN and by the People Programme (Marie Curie Actions) of the EU 7th Framework Programme FP7/2007-2013, REA Grant 291734.","issue":"3","publication_status":"published","date_published":"2016-05-01T00:00:00Z","month":"05","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_processing_charge":"Yes (via OA deal)","department":[{"_id":"LaEr"}],"volume":343,"citation":{"ieee":"C. Sadel and B. Virág, “A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes,” Communications in Mathematical Physics, vol. 343, no. 3. Springer, pp. 881–919, 2016.","short":"C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.","mla":"Sadel, Christian, and Bálint Virág. “A Central Limit Theorem for Products of Random Matrices and GOE Statistics for the Anderson Model on Long Boxes.” Communications in Mathematical Physics, vol. 343, no. 3, Springer, 2016, pp. 881–919, doi:10.1007/s00220-016-2600-4.","ista":"Sadel C, Virág B. 2016. A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. 343(3), 881–919.","apa":"Sadel, C., & Virág, B. (2016). A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-016-2600-4","ama":"Sadel C, Virág B. A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. 2016;343(3):881-919. doi:10.1007/s00220-016-2600-4","chicago":"Sadel, Christian, and Bálint Virág. “A Central Limit Theorem for Products of Random Matrices and GOE Statistics for the Anderson Model on Long Boxes.” Communications in Mathematical Physics. Springer, 2016. https://doi.org/10.1007/s00220-016-2600-4."},"ec_funded":1,"project":[{"call_identifier":"FP7","grant_number":"291734","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"oa":1,"has_accepted_license":"1","fulldoi":"https://doi.org/10.1007/s00220-016-2600-4","publisher":"Springer","scopus_import":"1","pubrep_id":"703","publication":"Communications in Mathematical Physics","_id":"1257"},{"publication":"Mathematical Physics, Analysis and Geometry","_id":"1259","fulldoi":"https://doi.org/10.1007/s11040-016-9209-x","scopus_import":"1","publisher":"Springer","pubrep_id":"702","oa":1,"has_accepted_license":"1","project":[{"_id":"25C878CE-B435-11E9-9278-68D0E5697425","grant_number":"P27533_N27","name":"Structure of the Excitation Spectrum for Many-Body Quantum Systems","call_identifier":"FWF"}],"volume":19,"citation":{"ama":"Bräunlich G, Hainzl C, Seiringer R. Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. 2016;19(2). doi:10.1007/s11040-016-9209-x","chicago":"Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry. Springer, 2016. https://doi.org/10.1007/s11040-016-9209-x.","apa":"Bräunlich, G., Hainzl, C., & Seiringer, R. (2016). Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-016-9209-x","ista":"Bräunlich G, Hainzl C, Seiringer R. 2016. Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. 19(2), 13.","mla":"Bräunlich, Gerhard, et al. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry, vol. 19, no. 2, 13, Springer, 2016, doi:10.1007/s11040-016-9209-x.","short":"G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).","ieee":"G. Bräunlich, C. Hainzl, and R. Seiringer, “Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 2. Springer, 2016."},"department":[{"_id":"RoSe"}],"article_processing_charge":"Yes (via OA deal)","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","date_published":"2016-06-01T00:00:00Z","month":"06","date_created":"2018-12-11T11:50:59Z","acknowledgement":"Partial financial support from the DFG grant GRK 1838, as well as the Austrian Science Fund (FWF), project Nr. P 27533-N27 (R.S.), is gratefully acknowledged.","issue":"2","ddc":["510","539"],"author":[{"full_name":"Bräunlich, Gerhard","first_name":"Gerhard","last_name":"Bräunlich"},{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"last_name":"Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","full_name":"Seiringer, Robert"}],"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"corr_author":"1","type":"journal_article","status":"public","doi":"10.1007/s11040-016-9209-x","file_date_updated":"2020-07-14T12:44:42Z","intvolume":" 19","file":[{"relation":"main_file","file_size":506242,"date_created":"2018-12-12T10:09:13Z","checksum":"9954f685cc25c58d7f1712c67b47ad8d","content_type":"application/pdf","creator":"system","file_id":"4736","access_level":"open_access","date_updated":"2020-07-14T12:44:42Z","file_name":"IST-2016-702-v1+1_s11040-016-9209-x.pdf"}],"article_number":"13","abstract":[{"lang":"eng","text":"We consider the Bogolubov–Hartree–Fock functional for a fermionic many-body system with two-body interactions. For suitable interaction potentials that have a strong enough attractive tail in order to allow for two-body bound states, but are otherwise sufficiently repulsive to guarantee stability of the system, we show that in the low-density limit the ground state of this model consists of a Bose–Einstein condensate of fermion pairs. The latter can be described by means of the Gross–Pitaevskii energy functional."}],"date_updated":"2025-09-22T09:02:01Z","publist_id":"6066","title":"Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit","day":"01","language":[{"iso":"eng"}],"oa_version":"Published Version","isi":1,"quality_controlled":"1","external_id":{"isi":["000377379300001"]},"year":"2016"}]