[{"month":"03","publication_identifier":{"eissn":["10836489"]},"quality_controlled":"1","isi":1,"project":[{"call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"external_id":{"isi":["000641855600001"],"arxiv":["2002.02438"]},"language":[{"iso":"eng"}],"doi":"10.1214/21-EJP591","article_number":"24","file_date_updated":"2021-05-25T13:24:19Z","ec_funded":1,"publication_status":"published","department":[{"_id":"LaEr"}],"publisher":"Institute of Mathematical Statistics","year":"2021","date_updated":"2023-08-08T13:39:19Z","date_created":"2021-05-23T22:01:44Z","volume":26,"author":[{"full_name":"Cipolloni, Giorgio","last_name":"Cipolloni","first_name":"Giorgio","orcid":"0000-0002-4901-7992","id":"42198EFA-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","first_name":"László","full_name":"Erdös, László"},{"last_name":"Schröder","first_name":"Dominik J","orcid":"0000-0002-2904-1856","id":"408ED176-F248-11E8-B48F-1D18A9856A87","full_name":"Schröder, Dominik J"}],"scopus_import":"1","day":"23","has_accepted_license":"1","article_processing_charge":"No","publication":"Electronic Journal of Probability","citation":{"short":"G. Cipolloni, L. Erdös, D.J. Schröder, Electronic Journal of Probability 26 (2021).","mla":"Cipolloni, Giorgio, et al. “Fluctuation around the Circular Law for Random Matrices with Real Entries.” Electronic Journal of Probability, vol. 26, 24, Institute of Mathematical Statistics, 2021, doi:10.1214/21-EJP591.","chicago":"Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Fluctuation around the Circular Law for Random Matrices with Real Entries.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2021. https://doi.org/10.1214/21-EJP591.","ama":"Cipolloni G, Erdös L, Schröder DJ. Fluctuation around the circular law for random matrices with real entries. Electronic Journal of Probability. 2021;26. doi:10.1214/21-EJP591","apa":"Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Fluctuation around the circular law for random matrices with real entries. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/21-EJP591","ieee":"G. Cipolloni, L. Erdös, and D. J. Schröder, “Fluctuation around the circular law for random matrices with real entries,” Electronic Journal of Probability, vol. 26. Institute of Mathematical Statistics, 2021.","ista":"Cipolloni G, Erdös L, Schröder DJ. 2021. Fluctuation around the circular law for random matrices with real entries. Electronic Journal of Probability. 26, 24."},"date_published":"2021-03-23T00:00:00Z","type":"journal_article","abstract":[{"lang":"eng","text":"We extend our recent result [22] on the central limit theorem for the linear eigenvalue statistics of non-Hermitian matrices X with independent, identically distributed complex entries to the real symmetry class. We find that the expectation and variance substantially differ from their complex counterparts, reflecting (i) the special spectral symmetry of real matrices onto the real axis; and (ii) the fact that real i.i.d. matrices have many real eigenvalues. Our result generalizes the previously known special cases where either the test function is analytic [49] or the first four moments of the matrix elements match the real Gaussian [59, 44]. The key element of the proof is the analysis of several weakly dependent Dyson Brownian motions (DBMs). The conceptual novelty of the real case compared with [22] is that the correlation structure of the stochastic differentials in each individual DBM is non-trivial, potentially even jeopardising its well-posedness."}],"title":"Fluctuation around the circular law for random matrices with real entries","ddc":["510"],"status":"public","intvolume":" 26","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"9412","file":[{"date_updated":"2021-05-25T13:24:19Z","date_created":"2021-05-25T13:24:19Z","checksum":"864ab003ad4cffea783f65aa8c2ba69f","success":1,"relation":"main_file","file_id":"9423","content_type":"application/pdf","file_size":865148,"creator":"kschuh","file_name":"2021_EJP_Cipolloni.pdf","access_level":"open_access"}],"oa_version":"Published Version"},{"doi":"10.1038/s41467-021-22725-9","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000687305500044"]},"oa":1,"quality_controlled":"1","isi":1,"publication_identifier":{"eissn":["20411723"]},"month":"05","related_material":{"link":[{"url":"https://ist.ac.at/en/news/smashing-the-covid-curve/","description":"News on IST Homepage","relation":"press_release"}]},"author":[{"orcid":"0000-0001-5227-4271","id":"40315C30-F248-11E8-B48F-1D18A9856A87","last_name":"Scarselli","first_name":"Davide","full_name":"Scarselli, Davide"},{"full_name":"Budanur, Nazmi B","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0423-5010","first_name":"Nazmi B","last_name":"Budanur"},{"full_name":"Timme, Marc","last_name":"Timme","first_name":"Marc"},{"orcid":"0000-0003-2057-2754","id":"3A374330-F248-11E8-B48F-1D18A9856A87","last_name":"Hof","first_name":"Björn","full_name":"Hof, Björn"}],"volume":12,"date_updated":"2023-08-08T13:45:13Z","date_created":"2021-05-23T22:01:42Z","year":"2021","acknowledgement":"The authors thank Malte Schröder for valuable discussions and creating the scale-free network topologies. B.H. thanks Mukund Vasudevan for helpful discussion. The research by M.T. was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany´s Excellence Strategy–EXC-2068–390729961–Cluster of Excellence Physics of Life of TU Dresden.","publisher":"Springer Nature","department":[{"_id":"BjHo"}],"publication_status":"published","file_date_updated":"2021-05-25T14:18:40Z","article_number":"2586","date_published":"2021-05-10T00:00:00Z","citation":{"apa":"Scarselli, D., Budanur, N. B., Timme, M., & Hof, B. (2021). Discontinuous epidemic transition due to limited testing. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-22725-9","ieee":"D. Scarselli, N. B. Budanur, M. Timme, and B. Hof, “Discontinuous epidemic transition due to limited testing,” Nature Communications, vol. 12, no. 1. Springer Nature, 2021.","ista":"Scarselli D, Budanur NB, Timme M, Hof B. 2021. Discontinuous epidemic transition due to limited testing. Nature Communications. 12(1), 2586.","ama":"Scarselli D, Budanur NB, Timme M, Hof B. Discontinuous epidemic transition due to limited testing. Nature Communications. 2021;12(1). doi:10.1038/s41467-021-22725-9","chicago":"Scarselli, Davide, Nazmi B Budanur, Marc Timme, and Björn Hof. “Discontinuous Epidemic Transition Due to Limited Testing.” Nature Communications. Springer Nature, 2021. https://doi.org/10.1038/s41467-021-22725-9.","short":"D. Scarselli, N.B. Budanur, M. Timme, B. Hof, Nature Communications 12 (2021).","mla":"Scarselli, Davide, et al. “Discontinuous Epidemic Transition Due to Limited Testing.” Nature Communications, vol. 12, no. 1, 2586, Springer Nature, 2021, doi:10.1038/s41467-021-22725-9."},"publication":"Nature Communications","article_type":"original","has_accepted_license":"1","article_processing_charge":"No","day":"10","scopus_import":"1","oa_version":"Published Version","file":[{"date_created":"2021-05-25T14:18:40Z","date_updated":"2021-05-25T14:18:40Z","success":1,"checksum":"fe26c1b8a7da1ae07a6c03f80ff06ea1","file_id":"9426","relation":"main_file","creator":"kschuh","file_size":1176573,"content_type":"application/pdf","file_name":"2021_NatureCommunications_Scarselli.pdf","access_level":"open_access"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"9407","intvolume":" 12","title":"Discontinuous epidemic transition due to limited testing","ddc":["570"],"status":"public","issue":"1","abstract":[{"text":"High impact epidemics constitute one of the largest threats humanity is facing in the 21st century. In the absence of pharmaceutical interventions, physical distancing together with testing, contact tracing and quarantining are crucial in slowing down epidemic dynamics. Yet, here we show that if testing capacities are limited, containment may fail dramatically because such combined countermeasures drastically change the rules of the epidemic transition: Instead of continuous, the response to countermeasures becomes discontinuous. Rather than following the conventional exponential growth, the outbreak that is initially strongly suppressed eventually accelerates and scales faster than exponential during an explosive growth period. As a consequence, containment measures either suffice to stop the outbreak at low total case numbers or fail catastrophically if marginally too weak, thus implying large uncertainties in reliably estimating overall epidemic dynamics, both during initial phases and during second wave scenarios.","lang":"eng"}],"type":"journal_article"},{"article_number":"59","file_date_updated":"2021-05-25T11:32:14Z","year":"2021","acknowledgement":"This work was financially supported by the DFG Priority Programme SPP 1726 “Microswimmers–From Single Particle Motion to Collective Behaviour” (HA 4382/5-1). We further acknowledge the Jülich Supercomputing Centre (JSC) and the High Performance Computing Centre Stuttgart (HLRS) for the allocation of computing time.","publisher":"Springer","department":[{"_id":"ScWa"}],"publication_status":"published","author":[{"last_name":"Sukhov","first_name":"Alexander","full_name":"Sukhov, Alexander"},{"last_name":"Hubert","first_name":"Maxime","full_name":"Hubert, Maxime"},{"full_name":"Grosjean, Galien M","last_name":"Grosjean","first_name":"Galien M","orcid":"0000-0001-5154-417X","id":"0C5FDA4A-9CF6-11E9-8939-FF05E6697425"},{"full_name":"Trosman, Oleg","first_name":"Oleg","last_name":"Trosman"},{"full_name":"Ziegler, Sebastian","last_name":"Ziegler","first_name":"Sebastian"},{"full_name":"Collard, Ylona","first_name":"Ylona","last_name":"Collard"},{"first_name":"Nicolas","last_name":"Vandewalle","full_name":"Vandewalle, Nicolas"},{"full_name":"Smith, Ana Sunčana","last_name":"Smith","first_name":"Ana Sunčana"},{"full_name":"Harting, Jens","first_name":"Jens","last_name":"Harting"}],"volume":44,"date_created":"2021-05-23T22:01:44Z","date_updated":"2023-08-08T13:36:28Z","publication_identifier":{"issn":["12928941"],"eissn":["1292895X"]},"month":"04","oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000643251300001"]},"isi":1,"quality_controlled":"1","doi":"10.1140/epje/s10189-021-00065-2","language":[{"iso":"eng"}],"type":"journal_article","issue":"4","abstract":[{"lang":"eng","text":"The dynamics of a triangular magnetocapillary swimmer is studied using the lattice Boltzmann method. We extend on our previous work, which deals with the self-assembly and a specific type of the swimmer motion characterized by the swimmer’s maximum velocity centred around the particle’s inverse viscous time. Here, we identify additional regimes of motion. First, modifying the ratio of surface tension and magnetic forces allows to study the swimmer propagation in the regime of significantly lower frequencies mainly defined by the strength of the magnetocapillary potential. Second, introducing a constant magnetic contribution in each of the particles in addition to their magnetic moment induced by external fields leads to another regime characterized by strong in-plane swimmer reorientations that resemble experimental observations."}],"_id":"9411","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","intvolume":" 44","title":"Regimes of motion of magnetocapillary swimmers","ddc":["530"],"status":"public","file":[{"date_created":"2021-05-25T11:32:14Z","date_updated":"2021-05-25T11:32:14Z","checksum":"0ef342d011afbe3c5cb058fda9a3f395","success":1,"relation":"main_file","file_id":"9422","content_type":"application/pdf","file_size":2507870,"creator":"kschuh","file_name":"2021_EPJE_Sukhov.pdf","access_level":"open_access"}],"oa_version":"Published Version","scopus_import":"1","article_processing_charge":"No","has_accepted_license":"1","day":"24","citation":{"chicago":"Sukhov, Alexander, Maxime Hubert, Galien M Grosjean, Oleg Trosman, Sebastian Ziegler, Ylona Collard, Nicolas Vandewalle, Ana Sunčana Smith, and Jens Harting. “Regimes of Motion of Magnetocapillary Swimmers.” European Physical Journal E. Springer, 2021. https://doi.org/10.1140/epje/s10189-021-00065-2.","short":"A. Sukhov, M. Hubert, G.M. Grosjean, O. Trosman, S. Ziegler, Y. Collard, N. Vandewalle, A.S. Smith, J. Harting, European Physical Journal E 44 (2021).","mla":"Sukhov, Alexander, et al. “Regimes of Motion of Magnetocapillary Swimmers.” European Physical Journal E, vol. 44, no. 4, 59, Springer, 2021, doi:10.1140/epje/s10189-021-00065-2.","ieee":"A. Sukhov et al., “Regimes of motion of magnetocapillary swimmers,” European Physical Journal E, vol. 44, no. 4. Springer, 2021.","apa":"Sukhov, A., Hubert, M., Grosjean, G. M., Trosman, O., Ziegler, S., Collard, Y., … Harting, J. (2021). Regimes of motion of magnetocapillary swimmers. European Physical Journal E. Springer. https://doi.org/10.1140/epje/s10189-021-00065-2","ista":"Sukhov A, Hubert M, Grosjean GM, Trosman O, Ziegler S, Collard Y, Vandewalle N, Smith AS, Harting J. 2021. Regimes of motion of magnetocapillary swimmers. European Physical Journal E. 44(4), 59.","ama":"Sukhov A, Hubert M, Grosjean GM, et al. Regimes of motion of magnetocapillary swimmers. European Physical Journal E. 2021;44(4). doi:10.1140/epje/s10189-021-00065-2"},"publication":"European Physical Journal E","date_published":"2021-04-24T00:00:00Z"},{"volume":32,"date_created":"2021-05-23T22:01:45Z","date_updated":"2023-08-08T13:36:02Z","author":[{"last_name":"Ishihara","first_name":"Keisuke","full_name":"Ishihara, Keisuke"},{"first_name":"Franziska","last_name":"Decker","full_name":"Decker, Franziska"},{"full_name":"Dos Santos Caldas, Paulo R","id":"38FCDB4C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6730-4461","first_name":"Paulo R","last_name":"Dos Santos Caldas"},{"last_name":"Pelletier","first_name":"James F.","full_name":"Pelletier, James F."},{"full_name":"Loose, Martin","orcid":"0000-0001-7309-9724","id":"462D4284-F248-11E8-B48F-1D18A9856A87","last_name":"Loose","first_name":"Martin"},{"full_name":"Brugués, Jan","first_name":"Jan","last_name":"Brugués"},{"last_name":"Mitchison","first_name":"Timothy J.","full_name":"Mitchison, Timothy J."}],"publisher":"American Society for Cell Biology","department":[{"_id":"MaLo"}],"publication_status":"published","year":"2021","acknowledgement":"The authors thank the members of Mitchison, Brugués, and Jay Gatlin groups (University of Wyoming) for discussions. We thank Heino Andreas (MPI-CBG) for frog maintenance. We thank Nikon for microscopy support at Marine Biological Laboratory (MBL). K.I. was supported by fellowships from the Honjo International Scholarship Foundation and Center of Systems Biology Dresden. F.D. was supported by the DIGGS-BB fellowship provided by the German Research Foundation (DFG). P.C. is supported by a Boehringer Ingelheim Fonds PhD fellowship. J.F.P. was supported by a fellowship from the Fannie and John Hertz Foundation. M.L.’s research is supported by European Research Council (ERC) Grant no. ERC-2015-StG-679239. J.B.’s research is supported by the Human Frontiers Science Program (CDA00074/2014). T.J.M.’s research is supported by National Institutes of Health Grant no. R35GM131753.","license":"https://creativecommons.org/licenses/by-nc-sa/3.0/","ec_funded":1,"language":[{"iso":"eng"}],"doi":"10.1091/MBC.E20-11-0723","project":[{"call_identifier":"H2020","name":"Self-Organization of the Bacterial Cell","_id":"2595697A-B435-11E9-9278-68D0E5697425","grant_number":"679239"},{"name":"Reconstitution of Bacterial Cell Division Using Purified Components","_id":"260D98C8-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","isi":1,"tmp":{"image":"/images/cc_by_nc_sa.png","short":"CC BY-NC-SA (3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/3.0/legalcode","name":"Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0)"},"oa":1,"external_id":{"isi":["000641574700005"]},"main_file_link":[{"url":"https://www.molbiolcell.org/doi/10.1091/mbc.E20-11-0723","open_access":"1"}],"publication_identifier":{"issn":["1059-1524"],"eissn":["1939-4586"]},"month":"04","oa_version":"Published Version","intvolume":" 32","status":"public","title":"Spatial variation of microtubule depolymerization in large asters","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"9414","issue":"9","abstract":[{"lang":"eng","text":"Microtubule plus-end depolymerization rate is a potentially important target of physiological regulation, but it has been challenging to measure, so its role in spatial organization is poorly understood. Here we apply a method for tracking plus ends based on time difference imaging to measure depolymerization rates in large interphase asters growing in Xenopus egg extract. We observed strong spatial regulation of depolymerization rates, which were higher in the aster interior compared with the periphery, and much less regulation of polymerization or catastrophe rates. We interpret these data in terms of a limiting component model, where aster growth results in lower levels of soluble tubulin and microtubule-associated proteins (MAPs) in the interior cytosol compared with that at the periphery. The steady-state polymer fraction of tubulin was ∼30%, so tubulin is not strongly depleted in the aster interior. We propose that the limiting component for microtubule assembly is a MAP that inhibits depolymerization, and that egg asters are tuned to low microtubule density."}],"type":"journal_article","date_published":"2021-04-19T00:00:00Z","page":"869-879","article_type":"original","citation":{"mla":"Ishihara, Keisuke, et al. “Spatial Variation of Microtubule Depolymerization in Large Asters.” Molecular Biology of the Cell, vol. 32, no. 9, American Society for Cell Biology, 2021, pp. 869–79, doi:10.1091/MBC.E20-11-0723.","short":"K. Ishihara, F. Decker, P.R. Dos Santos Caldas, J.F. Pelletier, M. Loose, J. Brugués, T.J. Mitchison, Molecular Biology of the Cell 32 (2021) 869–879.","chicago":"Ishihara, Keisuke, Franziska Decker, Paulo R Dos Santos Caldas, James F. Pelletier, Martin Loose, Jan Brugués, and Timothy J. Mitchison. “Spatial Variation of Microtubule Depolymerization in Large Asters.” Molecular Biology of the Cell. American Society for Cell Biology, 2021. https://doi.org/10.1091/MBC.E20-11-0723.","ama":"Ishihara K, Decker F, Dos Santos Caldas PR, et al. Spatial variation of microtubule depolymerization in large asters. Molecular Biology of the Cell. 2021;32(9):869-879. doi:10.1091/MBC.E20-11-0723","ista":"Ishihara K, Decker F, Dos Santos Caldas PR, Pelletier JF, Loose M, Brugués J, Mitchison TJ. 2021. Spatial variation of microtubule depolymerization in large asters. Molecular Biology of the Cell. 32(9), 869–879.","apa":"Ishihara, K., Decker, F., Dos Santos Caldas, P. R., Pelletier, J. F., Loose, M., Brugués, J., & Mitchison, T. J. (2021). Spatial variation of microtubule depolymerization in large asters. Molecular Biology of the Cell. American Society for Cell Biology. https://doi.org/10.1091/MBC.E20-11-0723","ieee":"K. Ishihara et al., “Spatial variation of microtubule depolymerization in large asters,” Molecular Biology of the Cell, vol. 32, no. 9. American Society for Cell Biology, pp. 869–879, 2021."},"publication":"Molecular Biology of the Cell","article_processing_charge":"No","day":"19","scopus_import":"1"},{"file_date_updated":"2021-06-16T08:23:54Z","article_number":"9470547","author":[{"orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"},{"full_name":"Sarac, Naci E","last_name":"Sarac","first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425"}],"date_updated":"2023-08-08T13:52:56Z","date_created":"2021-04-30T17:30:47Z","acknowledgement":"We thank the anonymous reviewers for their helpful comments. This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","year":"2021","publisher":"Institute of Electrical and Electronics Engineers","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publication_status":"published","month":"06","doi":"10.1109/LICS52264.2021.9470547","conference":{"name":"LICS: Symposium on Logic in Computer Science","end_date":"2021-07-02","start_date":"2021-06-29","location":"Online"},"language":[{"iso":"eng"}],"oa":1,"external_id":{"arxiv":["2105.08353"],"isi":["000947350400021"]},"project":[{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"}],"isi":1,"quality_controlled":"1","abstract":[{"lang":"eng","text":"In runtime verification, a monitor watches a trace of a system and, if possible, decides after observing each finite prefix whether or not the unknown infinite trace satisfies a given specification. We generalize the theory of runtime verification to monitors that attempt to estimate numerical values of quantitative trace properties (instead of attempting to conclude boolean values of trace specifications), such as maximal or average response time along a trace. Quantitative monitors are approximate: with every finite prefix, they can improve their estimate of the infinite trace's unknown property value. Consequently, quantitative monitors can be compared with regard to a precision-cost trade-off: better approximations of the property value require more monitor resources, such as states (in the case of finite-state monitors) or registers, and additional resources yield better approximations. We introduce a formal framework for quantitative and approximate monitoring, show how it conservatively generalizes the classical boolean setting for monitoring, and give several precision-cost trade-offs for monitors. For example, we prove that there are quantitative properties for which every additional register improves monitoring precision."}],"type":"conference","oa_version":"Published Version","file":[{"file_id":"9557","relation":"main_file","date_created":"2021-06-16T08:23:54Z","date_updated":"2021-06-16T08:23:54Z","success":1,"checksum":"6e4cba3f72775f479c5b1b75d1a4a0c4","file_name":"qam.pdf","access_level":"open_access","creator":"esarac","content_type":"application/pdf","file_size":641990}],"_id":"9356","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ddc":["000"],"title":"Quantitative and approximate monitoring","status":"public","article_processing_charge":"No","has_accepted_license":"1","day":"29","scopus_import":"1","date_published":"2021-06-29T00:00:00Z","citation":{"ista":"Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 9470547.","apa":"Henzinger, T. A., & Sarac, N. E. (2021). Quantitative and approximate monitoring. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Online: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470547","ieee":"T. A. Henzinger and N. E. Sarac, “Quantitative and approximate monitoring,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Online, 2021.","ama":"Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021. doi:10.1109/LICS52264.2021.9470547","chicago":"Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470547.","mla":"Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 9470547, Institute of Electrical and Electronics Engineers, 2021, doi:10.1109/LICS52264.2021.9470547.","short":"T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021."},"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science"}]