[{"publist_id":"7994","abstract":[{"text":"Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. This chapter is an introduction and short survey of model checking. The chapter aims to motivate and link the individual chapters of the handbook, and to provide context for readers who are not familiar with model checking.","lang":"eng"}],"type":"book_chapter","oa_version":"None","date_updated":"2021-01-12T08:05:35Z","date_created":"2018-12-11T11:44:25Z","author":[{"full_name":"Clarke, Edmund","last_name":"Clarke","first_name":"Edmund"},{"first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A"},{"full_name":"Veith, Helmut","last_name":"Veith","first_name":"Helmut"}],"editor":[{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A"}],"publisher":"Springer","department":[{"_id":"ToHe"}],"status":"public","title":"Introduction to model checking","publication_status":"published","_id":"60","year":"2018","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","month":"05","day":"19","series_title":"Handbook of Model Checking","scopus_import":1,"language":[{"iso":"eng"}],"doi":"10.1007/978-3-319-10575-8_1","date_published":"2018-05-19T00:00:00Z","page":"1 - 26","quality_controlled":"1","citation":{"mla":"Clarke, Edmund, et al. “Introduction to Model Checking.” Handbook of Model Checking, edited by Thomas A Henzinger, Springer, 2018, pp. 1–26, doi:10.1007/978-3-319-10575-8_1.","short":"E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.","chicago":"Clarke, Edmund, Thomas A Henzinger, and Helmut Veith. “Introduction to Model Checking.” In Handbook of Model Checking, edited by Thomas A Henzinger, 1–26. Handbook of Model Checking. Springer, 2018. https://doi.org/10.1007/978-3-319-10575-8_1.","ama":"Clarke E, Henzinger TA, Veith H. Introduction to model checking. In: Henzinger TA, ed. Handbook of Model Checking. Handbook of Model Checking. Springer; 2018:1-26. doi:10.1007/978-3-319-10575-8_1","ista":"Clarke E, Henzinger TA, Veith H. 2018.Introduction to model checking. In: Handbook of Model Checking. , 1–26.","ieee":"E. Clarke, T. A. Henzinger, and H. Veith, “Introduction to model checking,” in Handbook of Model Checking, T. A. Henzinger, Ed. Springer, 2018, pp. 1–26.","apa":"Clarke, E., Henzinger, T. A., & Veith, H. (2018). Introduction to model checking. In T. A. Henzinger (Ed.), Handbook of Model Checking (pp. 1–26). Springer. https://doi.org/10.1007/978-3-319-10575-8_1"},"publication":"Handbook of Model Checking"},{"publication_identifier":{"issn":["2331-8325"]},"month":"09","language":[{"iso":"eng"}],"doi":"10.21769/bioprotoc.3018","project":[{"_id":"260AA4E2-B435-11E9-9278-68D0E5697425","grant_number":"747687","call_identifier":"H2020","name":"Mechanical Adaptation of Lamellipodial Actin Networks in Migrating Cells"}],"quality_controlled":"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"},"oa":1,"license":"https://creativecommons.org/licenses/by/4.0/","ec_funded":1,"file_date_updated":"2020-07-14T12:47:28Z","article_number":"e3018","volume":8,"date_updated":"2021-01-12T08:07:12Z","date_created":"2019-04-29T09:40:33Z","author":[{"first_name":"Shuxia","last_name":"Fan","full_name":"Fan, Shuxia"},{"last_name":"Lorenz","first_name":"Michael","full_name":"Lorenz, Michael"},{"first_name":"Steffen","last_name":"Massberg","full_name":"Massberg, Steffen"},{"first_name":"Florian R","last_name":"Gärtner","id":"397A88EE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6120-3723","full_name":"Gärtner, Florian R"}],"department":[{"_id":"MiSi"}],"publisher":"Bio-Protocol","publication_status":"published","year":"2018","acknowledgement":" FöFoLe project 947 (F.G.), the Friedrich-Baur-Stiftung project 41/16 (F.G.)","has_accepted_license":"1","day":"20","keyword":["Platelets","Cell migration","Bacteria","Shear flow","Fibrinogen","E. coli"],"date_published":"2018-09-20T00:00:00Z","citation":{"ama":"Fan S, Lorenz M, Massberg S, Gärtner FR. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 2018;8(18). doi:10.21769/bioprotoc.3018","ista":"Fan S, Lorenz M, Massberg S, Gärtner FR. 2018. Platelet migration and bacterial trapping assay under flow. Bio-Protocol. 8(18), e3018.","ieee":"S. Fan, M. Lorenz, S. Massberg, and F. R. Gärtner, “Platelet migration and bacterial trapping assay under flow,” Bio-Protocol, vol. 8, no. 18. Bio-Protocol, 2018.","apa":"Fan, S., Lorenz, M., Massberg, S., & Gärtner, F. R. (2018). Platelet migration and bacterial trapping assay under flow. Bio-Protocol. Bio-Protocol. https://doi.org/10.21769/bioprotoc.3018","mla":"Fan, Shuxia, et al. “Platelet Migration and Bacterial Trapping Assay under Flow.” Bio-Protocol, vol. 8, no. 18, e3018, Bio-Protocol, 2018, doi:10.21769/bioprotoc.3018.","short":"S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).","chicago":"Fan, Shuxia, Michael Lorenz, Steffen Massberg, and Florian R Gärtner. “Platelet Migration and Bacterial Trapping Assay under Flow.” Bio-Protocol. Bio-Protocol, 2018. https://doi.org/10.21769/bioprotoc.3018."},"publication":"Bio-Protocol","issue":"18","abstract":[{"lang":"eng","text":"Blood platelets are critical for hemostasis and thrombosis, but also play diverse roles during immune responses. We have recently reported that platelets migrate at sites of infection in vitro and in vivo. Importantly, platelets use their ability to migrate to collect and bundle fibrin (ogen)-bound bacteria accomplishing efficient intravascular bacterial trapping. Here, we describe a method that allows analyzing platelet migration in vitro, focusing on their ability to collect bacteria and trap bacteria under flow."}],"type":"journal_article","oa_version":"Published Version","file":[{"date_created":"2019-04-30T08:04:33Z","date_updated":"2020-07-14T12:47:28Z","checksum":"d4588377e789da7f360b553ae02c5119","relation":"main_file","file_id":"6360","file_size":2928337,"content_type":"application/pdf","creator":"dernst","file_name":"2018_BioProtocol_Fan.pdf","access_level":"open_access"}],"intvolume":" 8","title":"Platelet migration and bacterial trapping assay under flow","ddc":["570"],"status":"public","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","_id":"6354"},{"conference":{"name":"Open-Access-Tage","end_date":"2018-09-26","start_date":"2018-09-24","location":"Graz, Austria"},"doi":"10.5281/zenodo.1410279","date_published":"2018-09-24T00:00:00Z","language":[{"iso":"eng"}],"citation":{"short":"B. Petritsch, Open Access at IST Austria 2009-2017, IST Austria, 2018.","mla":"Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018, doi:10.5281/zenodo.1410279.","chicago":"Petritsch, Barbara. Open Access at IST Austria 2009-2017. IST Austria, 2018. https://doi.org/10.5281/zenodo.1410279.","ama":"Petritsch B. Open Access at IST Austria 2009-2017. IST Austria; 2018. doi:10.5281/zenodo.1410279","ieee":"B. Petritsch, Open Access at IST Austria 2009-2017. IST Austria, 2018.","apa":"Petritsch, B. (2018). Open Access at IST Austria 2009-2017. Presented at the Open-Access-Tage, Graz, Austria: IST Austria. https://doi.org/10.5281/zenodo.1410279","ista":"Petritsch B. 2018. Open Access at IST Austria 2009-2017, IST Austria,p."},"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,"day":"24","month":"09","has_accepted_license":"1","keyword":["Open Access","Publication Analysis"],"author":[{"full_name":"Petritsch, Barbara","id":"406048EC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2724-4614","first_name":"Barbara","last_name":"Petritsch"}],"date_updated":"2020-07-14T23:06:21Z","date_created":"2019-05-16T07:27:14Z","file":[{"checksum":"9063ab4d10ea93353c3a03bbf53fbcf1","date_created":"2019-05-16T07:26:25Z","date_updated":"2020-07-14T12:47:30Z","relation":"main_file","file_id":"6460","content_type":"application/pdf","file_size":1967778,"creator":"dernst","access_level":"open_access","file_name":"Poster_Beitrag_125_Petritsch.pdf"}],"oa_version":"Published Version","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"6459","year":"2018","publication_status":"published","ddc":["020"],"title":"Open Access at IST Austria 2009-2017","status":"public","department":[{"_id":"E-Lib"}],"publisher":"IST Austria","file_date_updated":"2020-07-14T12:47:30Z","type":"conference_poster"},{"day":"01","month":"01","publication_identifier":{"isbn":["9780198802013","9780191840500"]},"scopus_import":1,"doi":"10.1093/oso/9780198802013.003.0009","date_published":"2018-01-01T00:00:00Z","language":[{"iso":"eng"}],"publication":"Geometry and Physics: Volume I","citation":{"short":"T. Hausel, A. Mellit, D. Pei, in:, Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.","mla":"Hausel, Tamás, et al. “Mirror Symmetry with Branes by Equivariant Verlinde Formulas.” Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218, doi:10.1093/oso/9780198802013.003.0009.","chicago":"Hausel, Tamás, Anton Mellit, and Du Pei. “Mirror Symmetry with Branes by Equivariant Verlinde Formulas.” In Geometry and Physics: Volume I, 189–218. Oxford University Press, 2018. https://doi.org/10.1093/oso/9780198802013.003.0009.","ama":"Hausel T, Mellit A, Pei D. Mirror symmetry with branes by equivariant verlinde formulas. In: Geometry and Physics: Volume I. Oxford University Press; 2018:189-218. doi:10.1093/oso/9780198802013.003.0009","ieee":"T. Hausel, A. Mellit, and D. Pei, “Mirror symmetry with branes by equivariant verlinde formulas,” in Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.","apa":"Hausel, T., Mellit, A., & Pei, D. (2018). Mirror symmetry with branes by equivariant verlinde formulas. In Geometry and Physics: Volume I (pp. 189–218). Oxford University Press. https://doi.org/10.1093/oso/9780198802013.003.0009","ista":"Hausel T, Mellit A, Pei D. 2018.Mirror symmetry with branes by equivariant verlinde formulas. In: Geometry and Physics: Volume I. , 189–218."},"quality_controlled":"1","page":"189-218","abstract":[{"lang":"eng","text":"This chapter finds an agreement of equivariant indices of semi-classical homomorphisms between pairwise mirror branes in the GL2 Higgs moduli space on a Riemann surface. On one side of the agreement, components of the Lagrangian brane of U(1,1) Higgs bundles, whose mirror was proposed by Hitchin to be certain even exterior powers of the hyperholomorphic Dirac bundle on the SL2 Higgs moduli space, are present. The agreement arises from a mysterious functional equation. This gives strong computational evidence for Hitchin’s proposal."}],"type":"book_chapter","author":[{"full_name":"Hausel, Tamás","id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","first_name":"Tamás","last_name":"Hausel"},{"id":"388D3134-F248-11E8-B48F-1D18A9856A87","first_name":"Anton","last_name":"Mellit","full_name":"Mellit, Anton"},{"full_name":"Pei, Du","last_name":"Pei","first_name":"Du"}],"date_created":"2019-06-06T12:42:01Z","date_updated":"2021-01-12T08:07:52Z","oa_version":"None","year":"2018","_id":"6525","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication_status":"published","title":"Mirror symmetry with branes by equivariant verlinde formulas","status":"public","publisher":"Oxford University Press","department":[{"_id":"TaHa"}]},{"oa_version":"Preprint","_id":"690","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Local law and Tracy–Widom limit for sparse random matrices","status":"public","intvolume":" 171","abstract":[{"lang":"eng","text":"We consider spectral properties and the edge universality of sparse random matrices, the class of random matrices that includes the adjacency matrices of the Erdős–Rényi graph model G(N, p). We prove a local law for the eigenvalue density up to the spectral edges. Under a suitable condition on the sparsity, we also prove that the rescaled extremal eigenvalues exhibit GOE Tracy–Widom fluctuations if a deterministic shift of the spectral edge due to the sparsity is included. For the adjacency matrix of the Erdős–Rényi graph this establishes the Tracy–Widom fluctuations of the second largest eigenvalue when p is much larger than N−2/3 with a deterministic shift of order (Np)−1."}],"issue":"1-2","type":"journal_article","date_published":"2018-06-14T00:00:00Z","publication":"Probability Theory and Related Fields","citation":{"chicago":"Lee, Jii, and Kevin Schnelli. “Local Law and Tracy–Widom Limit for Sparse Random Matrices.” Probability Theory and Related Fields. Springer, 2018. https://doi.org/10.1007/s00440-017-0787-8.","short":"J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).","mla":"Lee, Jii, and Kevin Schnelli. “Local Law and Tracy–Widom Limit for Sparse Random Matrices.” Probability Theory and Related Fields, vol. 171, no. 1–2, 543–616, Springer, 2018, doi:10.1007/s00440-017-0787-8.","apa":"Lee, J., & Schnelli, K. (2018). Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-017-0787-8","ieee":"J. Lee and K. Schnelli, “Local law and Tracy–Widom limit for sparse random matrices,” Probability Theory and Related Fields, vol. 171, no. 1–2. Springer, 2018.","ista":"Lee J, Schnelli K. 2018. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 171(1–2), 543–616.","ama":"Lee J, Schnelli K. Local law and Tracy–Widom limit for sparse random matrices. Probability Theory and Related Fields. 2018;171(1-2). doi:10.1007/s00440-017-0787-8"},"day":"14","scopus_import":1,"author":[{"last_name":"Lee","first_name":"Jii","full_name":"Lee, Jii"},{"full_name":"Schnelli, Kevin","id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0954-3231","first_name":"Kevin","last_name":"Schnelli"}],"date_updated":"2021-01-12T08:09:33Z","date_created":"2018-12-11T11:47:56Z","volume":171,"year":"2018","publication_status":"published","publisher":"Springer","department":[{"_id":"LaEr"}],"publist_id":"7017","ec_funded":1,"article_number":"543-616","doi":"10.1007/s00440-017-0787-8","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/1605.08767","open_access":"1"}],"external_id":{"arxiv":["1605.08767"]},"oa":1,"quality_controlled":"1","project":[{"name":"Random matrices, universality and disordered quantum systems","call_identifier":"FP7","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"}],"month":"06"}]