[{"isi":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","related_material":{"record":[{"id":"14374","relation":"dissertation_contains","status":"public"}]},"year":"2023","language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2023-07-11T08:19:15Z","_id":"13207","has_accepted_license":"1","doi":"10.4171/JST/439","acknowledgement":"We thank Egor Babaev for encouraging us to study this problem, and Rupert Frank for many fruitful discussions. scussions. Funding. Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No. 694227 (Barbara Roos and Robert Seiringer) is gratefully acknowledged.","issue":"4","scopus_import":"1","author":[{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"first_name":"Barbara","orcid":"0000-0002-9071-5880","id":"5DA90512-D80F-11E9-8994-2E2EE6697425","last_name":"Roos","full_name":"Roos, Barbara"},{"last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert","first_name":"Robert","orcid":"0000-0002-6781-0521"}],"date_created":"2023-07-10T16:35:45Z","department":[{"_id":"GradSch"},{"_id":"RoSe"}],"date_updated":"2026-04-07T13:27:39Z","day":"18","oa_version":"Published Version","article_processing_charge":"No","date_published":"2023-05-18T00:00:00Z","status":"public","publication":"Journal of Spectral Theory","publication_status":"published","ec_funded":1,"arxiv":1,"abstract":[{"text":"We consider the linear BCS equation, determining the BCS critical temperature, in the presence of a boundary, where Dirichlet boundary conditions are imposed. In the one-dimensional case with point interactions, we prove that the critical temperature is strictly larger than the bulk value, at least at weak coupling. In particular, the Cooper-pair wave function localizes near the boundary, an effect that cannot be modeled by effective Neumann boundary conditions on the order parameter as often imposed in Ginzburg–Landau theory. We also show that the relative shift in critical temperature vanishes if the coupling constant either goes to zero or to infinity.","lang":"eng"}],"ddc":["530"],"title":"Boundary superconductivity in the BCS model","project":[{"name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","call_identifier":"H2020"}],"article_type":"original","file":[{"file_size":304619,"access_level":"open_access","date_updated":"2023-07-11T08:19:15Z","success":1,"relation":"main_file","content_type":"application/pdf","date_created":"2023-07-11T08:19:15Z","creator":"alisjak","file_id":"13208","checksum":"5501da33be010b5c81440438287584d5","file_name":"2023_EMS_Hainzl.pdf"}],"citation":{"mla":"Hainzl, Christian, et al. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>, vol. 12, no. 4, EMS Press, 2023, pp. 1507–1540, doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>.","short":"C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.","ieee":"C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” <i>Journal of Spectral Theory</i>, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023.","ista":"Hainzl C, Roos B, Seiringer R. 2023. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 12(4), 1507–1540.","chicago":"Hainzl, Christian, Barbara Roos, and Robert Seiringer. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>. EMS Press, 2023. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>.","apa":"Hainzl, C., Roos, B., &#38; Seiringer, R. (2023). Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. EMS Press. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>","ama":"Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. 2023;12(4):1507–1540. doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>"},"quality_controlled":"1","month":"05","external_id":{"arxiv":["2201.08090"],"isi":["000997933500008"]},"type":"journal_article","page":"1507–1540","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"},"publisher":"EMS Press","volume":12,"oa":1,"intvolume":"        12","publication_identifier":{"eissn":["1664-0403"],"issn":["1664-039X"]}},{"title":"Provably-efficient and internally-deterministic parallel Union-Find","ddc":["000"],"abstract":[{"text":"Determining the degree of inherent parallelism in classical sequential algorithms and leveraging it for fast parallel execution is a key topic in parallel computing, and detailed analyses are known for a wide range of classical algorithms. In this paper, we perform the first such analysis for the fundamental Union-Find problem, in which we are given a graph as a sequence of edges, and must maintain its connectivity structure under edge additions. We prove that classic sequential algorithms for this problem are well-parallelizable under reasonable assumptions, addressing a conjecture by [Blelloch, 2017]. More precisely, we show via a new potential argument that, under uniform random edge ordering, parallel union-find operations are unlikely to interfere: T concurrent threads processing the graph in parallel will encounter memory contention O(T2 · log |V| · log |E|) times in expectation, where |E| and |V| are the number of edges and nodes in the graph, respectively. We leverage this result to design a new parallel Union-Find algorithm that is both internally deterministic, i.e., its results are guaranteed to match those of a sequential execution, but also work-efficient and scalable, as long as the number of threads T is O(|E|1 over 3 - ε), for an arbitrarily small constant ε > 0, which holds for most large real-world graphs. We present lower bounds which show that our analysis is close to optimal, and experimental results suggesting that the performance cost of internal determinism is limited.","lang":"eng"}],"arxiv":1,"status":"public","publication":"Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures","publication_status":"published","oa_version":"Published Version","day":"17","date_updated":"2025-09-09T12:43:18Z","article_processing_charge":"Yes (via OA deal)","date_published":"2023-06-17T00:00:00Z","publisher":"Association for Computing Machinery","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"},"oa":1,"publication_identifier":{"isbn":["9781450395458"]},"conference":{"location":"Orlando, FL, United States","name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","end_date":"2023-06-19","start_date":"2023-06-17"},"quality_controlled":"1","page":"261-271","external_id":{"arxiv":["2304.09331"],"isi":["001108889000024"]},"month":"06","type":"conference","citation":{"ama":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>. Association for Computing Machinery; 2023:261-271. doi:<a href=\"https://doi.org/10.1145/3558481.3591082\">10.1145/3558481.3591082</a>","apa":"Fedorov, A., Hashemi, D., Nadiradze, G., &#38; Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3558481.3591082\">https://doi.org/10.1145/3558481.3591082</a>","ieee":"A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, Orlando, FL, United States, 2023, pp. 261–271.","chicago":"Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” In <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, 261–71. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3558481.3591082\">https://doi.org/10.1145/3558481.3591082</a>.","ista":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.","mla":"Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, Association for Computing Machinery, 2023, pp. 261–71, doi:<a href=\"https://doi.org/10.1145/3558481.3591082\">10.1145/3558481.3591082</a>.","short":"A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271."},"file":[{"file_id":"13334","file_name":"2023_SPAA_Fedorov.pdf","checksum":"72e312aabf0c5248c99b5cd3a88e4c88","date_created":"2023-07-31T10:53:08Z","content_type":"application/pdf","creator":"dernst","success":1,"relation":"main_file","file_size":2087937,"access_level":"open_access","date_updated":"2023-07-31T10:53:08Z"}],"corr_author":"1","file_date_updated":"2023-07-31T10:53:08Z","language":[{"iso":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","isi":1,"year":"2023","author":[{"full_name":"Fedorov, Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","last_name":"Fedorov","first_name":"Alexander"},{"first_name":"Diba","full_name":"Hashemi, Diba","id":"ed9595ea-2f8f-11ee-ba95-d2b546540783","last_name":"Hashemi"},{"last_name":"Nadiradze","id":"3279A00C-F248-11E8-B48F-1D18A9856A87","full_name":"Nadiradze, Giorgi","first_name":"Giorgi","orcid":"0000-0001-5634-0731"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X"}],"date_created":"2023-07-23T22:01:12Z","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"scopus_import":"1","_id":"13262","has_accepted_license":"1","doi":"10.1145/3558481.3591082"},{"date_created":"2023-07-24T09:43:59Z","department":[{"_id":"GradSch"},{"_id":"BjHo"}],"author":[{"last_name":"Paranjape","id":"3D85B7C4-F248-11E8-B48F-1D18A9856A87","full_name":"Paranjape, Chaitanya S","first_name":"Chaitanya S"},{"full_name":"Yalniz, Gökhan","last_name":"Yalniz","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","orcid":"0000-0002-8490-9312","first_name":"Gökhan"},{"full_name":"Duguet, Yohann","last_name":"Duguet","first_name":"Yohann"},{"first_name":"Nazmi B","orcid":"0000-0003-0423-5010","last_name":"Budanur","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","full_name":"Budanur, Nazmi B"},{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","last_name":"Hof","full_name":"Hof, Björn","first_name":"Björn","orcid":"0000-0003-2057-2754"}],"scopus_import":"1","acknowledgement":"We thank Baofang Song as well as the developers of Channelflow for sharing their numerical codes, and Mukund Vasudevan and Holger Kantz for fruitful discussions. This work was supported by a grant from the Simons Foundation (662960, B. H.).","issue":"3","doi":"10.1103/physrevlett.131.034002","_id":"13274","corr_author":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2306.05098"}],"language":[{"iso":"eng"}],"keyword":["General Physics and Astronomy"],"year":"2023","related_material":{"record":[{"status":"public","id":"19684","relation":"dissertation_contains"}]},"isi":1,"article_number":"034002","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"       131","publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]},"oa":1,"publisher":"American Physical Society","volume":131,"month":"07","type":"journal_article","external_id":{"pmid":["37540883"],"arxiv":["2306.05098"],"isi":["001052929900004"]},"quality_controlled":"1","pmid":1,"citation":{"apa":"Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., &#38; Hof, B. (2023). Direct path from turbulence to time-periodic solutions. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.131.034002\">https://doi.org/10.1103/physrevlett.131.034002</a>","ama":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. <i>Physical Review Letters</i>. 2023;131(3). doi:<a href=\"https://doi.org/10.1103/physrevlett.131.034002\">10.1103/physrevlett.131.034002</a>","short":"C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).","mla":"Paranjape, Chaitanya S., et al. “Direct Path from Turbulence to Time-Periodic Solutions.” <i>Physical Review Letters</i>, vol. 131, no. 3, 034002, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevlett.131.034002\">10.1103/physrevlett.131.034002</a>.","chicago":"Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur, and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” <i>Physical Review Letters</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevlett.131.034002\">https://doi.org/10.1103/physrevlett.131.034002</a>.","ista":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. 2023. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 131(3), 034002.","ieee":"C. S. Paranjape, G. Yalniz, Y. Duguet, N. B. Budanur, and B. Hof, “Direct path from turbulence to time-periodic solutions,” <i>Physical Review Letters</i>, vol. 131, no. 3. American Physical Society, 2023."},"project":[{"name":"Revisiting the Turbulence Problem Using Statistical Mechanics","grant_number":"662960","_id":"238598C6-32DE-11EA-91FC-C7463DDC885E"}],"article_type":"original","title":"Direct path from turbulence to time-periodic solutions","arxiv":1,"abstract":[{"text":"Viscous flows through pipes and channels are steady and ordered until, with increasing velocity, the laminar motion catastrophically breaks down and gives way to turbulence. How this apparently discontinuous change from low- to high-dimensional motion can be rationalized within the framework of the Navier-Stokes equations is not well understood. Exploiting geometrical properties of transitional channel flow we trace turbulence to far lower Reynolds numbers (Re) than previously possible and identify the complete path that reversibly links fully turbulent motion to an invariant solution. This precursor of turbulence destabilizes rapidly with Re, and the accompanying explosive increase in attractor dimension effectively marks the transition between deterministic and de facto stochastic dynamics.","lang":"eng"}],"publication_status":"published","status":"public","publication":"Physical Review Letters","article_processing_charge":"No","date_published":"2023-07-21T00:00:00Z","date_updated":"2026-04-07T11:47:05Z","day":"21","oa_version":"Preprint"},{"page":"184","type":"dissertation","month":"07","publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode"},"oa":1,"publisher":"Institute of Science and Technology Austria","project":[{"name":"Hybrid Semiconductor - Superconductor Quantum Devices","_id":"262116AA-B435-11E9-9278-68D0E5697425"},{"name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS","_id":"237E5020-32DE-11EA-91FC-C7463DDC885E","call_identifier":"H2020","grant_number":"862046"},{"grant_number":"F8606","_id":"34a66131-11ca-11ed-8bc3-a31681c6b03e","name":"Center for Correlated Quantum Materials and Solid State Quantum Systems: Conventional  and unconventional topological superconductors"}],"citation":{"ama":"Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13286\">10.15479/at:ista:13286</a>","apa":"Valentini, M. (2023). <i>Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13286\">https://doi.org/10.15479/at:ista:13286</a>","ieee":"M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023.","chicago":"Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13286\">https://doi.org/10.15479/at:ista:13286</a>.","ista":"Valentini M. 2023. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria.","mla":"Valentini, Marco. <i>Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13286\">10.15479/at:ista:13286</a>.","short":"M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023."},"file":[{"relation":"source_file","access_level":"closed","file_size":56121429,"date_updated":"2023-08-11T10:01:34Z","file_id":"14033","checksum":"666ee31c7eade89679806287c062fa14","file_name":"PhD_thesis_Valentini_final.zip","date_created":"2023-08-11T09:27:39Z","content_type":"application/x-zip-compressed","creator":"mvalenti"},{"date_created":"2023-08-11T14:39:17Z","content_type":"application/pdf","creator":"mvalenti","file_id":"14035","checksum":"0992f2ebef152dee8e70055350ebbb55","file_name":"PhD_thesis_Valentini_final_validated.pdf","date_updated":"2023-08-11T14:39:17Z","access_level":"open_access","file_size":38199711,"relation":"main_file"}],"abstract":[{"text":"Semiconductor-superconductor hybrid systems are the harbour of many intriguing mesoscopic phenomena. This material combination leads to spatial variations of the superconducting properties, which gives rise to Andreev bound states (ABSs). Some of these states might exhibit remarkable properties that render them highly desirable for topological quantum computing. The most prominent and hunted of such states are Majorana zero modes (MZMs), quasiparticles equals to their own quasiparticles that they follow non-abelian statistics. In this thesis, we first introduce the general framework of such hybrid systems and, then, we unveil a series of mesoscopic phenomena that we discovered. Firstly, we show tunneling spectroscopy experiments on full-shell nanowires (NWs) showing that unwanted quantum-dot states coupled to superconductors (Yu-Shiba-Rusinov states) can mimic MZMs signatures. Then, we introduce a novel protocol which allowed the integration of tunneling spectroscopy with Coulomb spectroscopy within the same device. Employing this approach on both full-shell NWs and partial-shell NWs, we demonstrated that longitudinally confined states reveal charge transport phenomenology similar to the one expected for MZMs. These findings shed light on the intricate interplay between superconductivity and quantum confinement, which brought us to explore another material platform, i.e. a two-dimensional Germanium hole gas. After developing a robust way to induce superconductivity in such system, we showed how to engineer the proximity effect and we revealed a superconducting hard gap. Finally, we created a superconducting radio frequency driven ideal diode and a generator of non-sinusoidal current-phase relations. Our results open the path for the exploration of protected superconducting qubits and more complex hybrid devices in planar Germanium, like Kitaev chains and hybrid qubit devices.","lang":"eng"}],"ec_funded":1,"title":"Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium","ddc":["530"],"date_published":"2023-07-21T00:00:00Z","article_processing_charge":"No","acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}],"oa_version":"Published Version","date_updated":"2026-06-03T07:16:01Z","day":"21","alternative_title":["ISTA Thesis"],"publication_status":"published","status":"public","department":[{"_id":"GradSch"},{"_id":"GeKa"}],"date_created":"2023-07-24T14:10:45Z","author":[{"first_name":"Marco","full_name":"Valentini, Marco","id":"C0BB2FAC-D767-11E9-B658-BC13E6697425","last_name":"Valentini"}],"has_accepted_license":"1","doi":"10.15479/at:ista:13286","_id":"13286","language":[{"iso":"eng"}],"file_date_updated":"2023-08-11T14:39:17Z","corr_author":"1","year":"2023","related_material":{"record":[{"id":"12522","relation":"research_data","status":"public"},{"status":"public","id":"12118","relation":"part_of_dissertation"},{"status":"public","id":"8910","relation":"part_of_dissertation"},{"id":"13312","relation":"part_of_dissertation","status":"public"}]},"supervisor":[{"orcid":"0000-0001-8342-202X","first_name":"Georgios","full_name":"Katsaros, Georgios","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","last_name":"Katsaros"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","degree_awarded":"PhD"},{"publication":"50th International Colloquium on Automata, Languages, and Programming","status":"public","publication_status":"published","date_published":"2023-07-05T00:00:00Z","article_processing_charge":"Yes","date_updated":"2025-07-10T11:50:41Z","alternative_title":["LIPIcs"],"day":"05","oa_version":"Published Version","ddc":["000"],"title":"Regular methods for operator precedence languages","arxiv":1,"abstract":[{"lang":"eng","text":"The operator precedence languages (OPLs) represent the largest known subclass of the context-free languages which enjoys all desirable closure and decidability properties. This includes the decidability of language inclusion, which is the ultimate verification problem. Operator precedence grammars, automata, and logics have been investigated and used, for example, to verify programs with arithmetic expressions and exceptions (both of which are deterministic pushdown but lie outside the scope of the visibly pushdown languages). In this paper, we complete the picture and give, for the first time, an algebraic characterization of the class of OPLs in the form of a syntactic congruence that has finitely many equivalence classes exactly for the operator precedence languages. This is a generalization of the celebrated Myhill-Nerode theorem for the regular languages to OPLs. As one of the consequences, we show that universality and language inclusion for nondeterministic operator precedence automata can be solved by an antichain algorithm. Antichain algorithms avoid determinization and complementation through an explicit subset construction, by leveraging a quasi-order on words, which allows the pruning of the search space for counterexample words without sacrificing completeness. Antichain algorithms can be implemented symbolically, and these implementations are today the best-performing algorithms in practice for the inclusion of finite automata. We give a generic construction of the quasi-order needed for antichain algorithms from a finite syntactic congruence. This yields the first antichain algorithm for OPLs, an algorithm that solves the ExpTime-hard language inclusion problem for OPLs in exponential time."}],"ec_funded":1,"file":[{"date_created":"2023-07-24T15:11:05Z","content_type":"application/pdf","creator":"esarac","file_id":"13293","checksum":"5d4c8932ef3450615a53b9bb15d92eb2","file_name":"icalp23.pdf","file_size":859379,"access_level":"open_access","date_updated":"2023-07-24T15:11:05Z","success":1,"relation":"main_file"}],"citation":{"ama":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: <i>50th International Colloquium on Automata, Languages, and Programming</i>. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">10.4230/LIPIcs.ICALP.2023.129</a>","apa":"Henzinger, T. A., Kebis, P., Mazzocchi, N. A., &#38; Sarac, N. E. (2023). Regular methods for operator precedence languages. In <i>50th International Colloquium on Automata, Languages, and Programming</i> (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">https://doi.org/10.4230/LIPIcs.ICALP.2023.129</a>","ieee":"T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in <i>50th International Colloquium on Automata, Languages, and Programming</i>, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20.","ista":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 261, 129:1--129:20.","chicago":"Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.” In <i>50th International Colloquium on Automata, Languages, and Programming</i>, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">https://doi.org/10.4230/LIPIcs.ICALP.2023.129</a>.","mla":"Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” <i>50th International Colloquium on Automata, Languages, and Programming</i>, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2023.129\">10.4230/LIPIcs.ICALP.2023.129</a>.","short":"T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20."},"project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"intvolume":"       261","conference":{"location":"Paderborn, Germany","start_date":"2023-07-10","end_date":"2023-07-14","name":"ICALP: Automata, Languages and Programming"},"publication_identifier":{"eissn":["1868-8969"],"isbn":["9783959772785"]},"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"},"oa":1,"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","volume":261,"month":"07","type":"conference","external_id":{"arxiv":["2305.03447"]},"page":"129:1--129:20","quality_controlled":"1","year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2023-07-24T15:11:05Z","corr_author":"1","language":[{"iso":"eng"}],"scopus_import":"1","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093.\r\nWe thank Pierre Ganty for early discussions and the anonymous reviewers for their helpful comments.\r\n","has_accepted_license":"1","doi":"10.4230/LIPIcs.ICALP.2023.129","_id":"13292","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"date_created":"2023-07-24T15:11:41Z","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724"},{"last_name":"Kebis","full_name":"Kebis, Pavol","first_name":"Pavol"},{"first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85","last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas Adrien"},{"first_name":"Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","last_name":"Sarac","full_name":"Sarac, Naci E"}]},{"author":[{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724"},{"last_name":"Karimi","id":"6e5417ba-5355-11ee-ae5a-94c2e510b26b","full_name":"Karimi, Mahyar","first_name":"Mahyar","orcid":"0009-0005-0820-1696"},{"id":"8121a2d0-dc85-11ea-9058-af578f3b4515","last_name":"Kueffner","full_name":"Kueffner, Konstantin","first_name":"Konstantin","orcid":"0000-0001-8974-2542"},{"orcid":"0000-0001-9864-7475","first_name":"Kaushik","full_name":"Mallik, Kaushik","last_name":"Mallik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598"}],"date_created":"2023-07-25T18:32:40Z","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"_id":"13310","has_accepted_license":"1","doi":"10.1007/978-3-031-37703-7_17","acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG101020093.","scopus_import":"1","language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2023-07-31T08:11:20Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"year":"2023","quality_controlled":"1","page":"358–382","external_id":{"isi":["001310804800017"],"arxiv":["2305.15979"]},"month":"07","type":"conference","oa":1,"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"},"publisher":"Springer Nature","volume":13965,"publication_identifier":{"eisbn":["9783031377037"],"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031377020"]},"conference":{"name":"CAV: Computer Aided Verification","start_date":"2023-07-17","end_date":"2023-07-22","location":"Paris, France"},"intvolume":"     13965","project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020"}],"citation":{"ama":"Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: <i>Computer Aided Verification</i>. Vol 13965. Springer Nature; 2023:358–382. doi:<a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">10.1007/978-3-031-37703-7_17</a>","apa":"Henzinger, T. A., Karimi, M., Kueffner, K., &#38; Mallik, K. (2023). Monitoring algorithmic fairness. In <i>Computer Aided Verification</i> (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">https://doi.org/10.1007/978-3-031-37703-7_17</a>","ieee":"T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in <i>Computer Aided Verification</i>, Paris, France, 2023, vol. 13965, pp. 358–382.","chicago":"Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In <i>Computer Aided Verification</i>, 13965:358–382. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">https://doi.org/10.1007/978-3-031-37703-7_17</a>.","ista":"Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.","mla":"Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” <i>Computer Aided Verification</i>, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:<a href=\"https://doi.org/10.1007/978-3-031-37703-7_17\">10.1007/978-3-031-37703-7_17</a>.","short":"T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382."},"file":[{"creator":"dernst","content_type":"application/pdf","date_created":"2023-07-31T08:11:20Z","file_name":"2023_LNCS_CAV_HenzingerT.pdf","checksum":"ccaf94bf7d658ba012c016e11869b54c","file_id":"13327","file_size":647760,"access_level":"open_access","date_updated":"2023-07-31T08:11:20Z","relation":"main_file","success":1}],"ec_funded":1,"abstract":[{"lang":"eng","text":"Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive attributes. We present runtime verification of algorithmic fairness for systems whose models are unknown, but are assumed to have a Markov chain structure. We introduce a specification language that can model many common algorithmic fairness properties, such as demographic parity, equal opportunity, and social burden. We build monitors that observe a long sequence of events as generated by a given system, and output, after each observation, a quantitative estimate of how fair or biased the system was on that run until that point in time. The estimate is proven to be correct modulo a variable error bound and a given confidence level, where the error bound gets tighter as the observed sequence gets longer. Our monitors are of two types, and use, respectively, frequentist and Bayesian statistical inference techniques. While the frequentist monitors compute estimates that are objectively correct with respect to the ground truth, the Bayesian monitors compute estimates that are correct subject to a given prior belief about the system’s model. Using a prototype implementation, we show how we can monitor if a bank is fair in giving loans to applicants from different social backgrounds, and if a college is fair in admitting students while maintaining a reasonable financial burden on the society. Although they exhibit different theoretical complexities in certain cases, in our experiments, both frequentist and Bayesian monitors took less than a millisecond to update their verdicts after each observation."}],"arxiv":1,"title":"Monitoring algorithmic fairness","ddc":["000"],"oa_version":"Published Version","date_updated":"2026-01-21T07:24:31Z","day":"18","alternative_title":["LNCS"],"date_published":"2023-07-18T00:00:00Z","article_processing_charge":"Yes (in subscription journal)","status":"public","publication":"Computer Aided Verification","publication_status":"published"},{"acknowledgement":"This work was supported by the European Research Council through grant ERC 2015-StG-679239 and by the Austrian Science Fund (FWF) StandAlone P34607 to M.L., B. P.M. was also supported by the Kanazawa University WPI- NanoLSI Bio-SPM collaborative research program. Z.D. has received funding from Doctoral Programme of the Austrian Academy of Sciences (OeAW): Grant agreement 26360. We thank Jan Brugues (MPI CBG, Dresden, Germany), Andela Saric (ISTA, Klosterneuburg, Austria), Daniel Pearce (Uni Geneva, Switzerland) for valuable scientific input and comments on the manuscript. We are also thankful for the support by the Scientific Service Units (SSU) of IST Austria through resources provided by the Imaging and Optics Facility (IOF) and the Lab Support Facility (LSF).","scopus_import":"1","_id":"13314","has_accepted_license":"1","doi":"10.1038/s41567-023-02218-w","author":[{"first_name":"Zuzana","last_name":"Dunajova","id":"4B39F286-F248-11E8-B48F-1D18A9856A87","full_name":"Dunajova, Zuzana"},{"id":"299FE892-F248-11E8-B48F-1D18A9856A87","last_name":"Prats Mateu","full_name":"Prats Mateu, Batirtze","first_name":"Batirtze"},{"orcid":"0000-0001-9198-2182 ","first_name":"Philipp","full_name":"Radler, Philipp","id":"40136C2A-F248-11E8-B48F-1D18A9856A87","last_name":"Radler"},{"last_name":"Lim","full_name":"Lim, Keesiang","first_name":"Keesiang"},{"first_name":"Dörte","full_name":"Brandis, Dörte","id":"21d64d35-f128-11eb-9611-b8bcca7a12fd","last_name":"Brandis"},{"last_name":"Velicky","id":"39BDC62C-F248-11E8-B48F-1D18A9856A87","full_name":"Velicky, Philipp","first_name":"Philipp","orcid":"0000-0002-2340-7431"},{"first_name":"Johann G","orcid":"0000-0001-8559-3973","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","last_name":"Danzl","full_name":"Danzl, Johann G"},{"last_name":"Wong","full_name":"Wong, Richard W.","first_name":"Richard W."},{"last_name":"Elgeti","full_name":"Elgeti, Jens","first_name":"Jens"},{"first_name":"Edouard B","orcid":"0000-0001-6005-1561","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","full_name":"Hannezo, Edouard B"},{"orcid":"0000-0001-7309-9724","first_name":"Martin","full_name":"Loose, Martin","id":"462D4284-F248-11E8-B48F-1D18A9856A87","last_name":"Loose"}],"department":[{"_id":"JoDa"},{"_id":"EdHa"},{"_id":"MaLo"},{"_id":"GradSch"}],"date_created":"2023-07-27T14:44:45Z","isi":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2023","related_material":{"record":[{"status":"public","id":"13116","relation":"research_data"},{"status":"public","relation":"dissertation_contains","id":"21423"},{"status":"public","id":"21439","relation":"research_data"}]},"corr_author":"1","file_date_updated":"2024-01-30T14:28:30Z","language":[{"iso":"eng"}],"file":[{"checksum":"bc7673ca07d37309013a86166577b2f7","file_name":"2023_NaturePhysics_Dunajova.pdf","file_id":"14916","creator":"dernst","date_created":"2024-01-30T14:28:30Z","content_type":"application/pdf","relation":"main_file","success":1,"date_updated":"2024-01-30T14:28:30Z","access_level":"open_access","file_size":22471673}],"citation":{"apa":"Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. <i>Nature Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41567-023-02218-w\">https://doi.org/10.1038/s41567-023-02218-w</a>","ama":"Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. <i>Nature Physics</i>. 2023;19:1916-1926. doi:<a href=\"https://doi.org/10.1038/s41567-023-02218-w\">10.1038/s41567-023-02218-w</a>","short":"Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.","mla":"Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” <i>Nature Physics</i>, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:<a href=\"https://doi.org/10.1038/s41567-023-02218-w\">10.1038/s41567-023-02218-w</a>.","chicago":"Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” <i>Nature Physics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41567-023-02218-w\">https://doi.org/10.1038/s41567-023-02218-w</a>.","ista":"Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments. Nature Physics. 19, 1916–1926.","ieee":"Z. Dunajova <i>et al.</i>, “Chiral and nematic phases of flexible active filaments,” <i>Nature Physics</i>, vol. 19. Springer Nature, pp. 1916–1926, 2023."},"pmid":1,"project":[{"name":"Self-Organization of the Bacterial Cell","call_identifier":"H2020","_id":"2595697A-B435-11E9-9278-68D0E5697425","grant_number":"679239"},{"_id":"fc38323b-9c52-11eb-aca3-ff8afb4a011d","grant_number":"P34607","name":"In vitro reconstitution of bacterial cell division"},{"name":"Motile active matter models of migrating cells and chiral filaments","grant_number":"26360","_id":"34d75525-11ca-11ed-8bc3-89b6307fee9d"}],"article_type":"original","publisher":"Springer Nature","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"},"volume":19,"oa":1,"intvolume":"        19","publication_identifier":{"issn":["1745-2473"],"eissn":["1745-2481"]},"quality_controlled":"1","type":"journal_article","month":"12","external_id":{"isi":["001178645300041"],"pmid":["38075437"]},"page":"1916-1926","publication":"Nature Physics","publication_status":"published","status":"public","day":"01","date_updated":"2026-06-10T09:41:11Z","oa_version":"Published Version","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"article_processing_charge":"Yes (in subscription journal)","date_published":"2023-12-01T00:00:00Z","ddc":["530"],"title":"Chiral and nematic phases of flexible active filaments","ec_funded":1,"abstract":[{"text":"The emergence of large-scale order in self-organized systems relies on local interactions between individual components. During bacterial cell division, FtsZ—a prokaryotic homologue of the eukaryotic protein tubulin—polymerizes into treadmilling filaments that further organize into a cytoskeletal ring. In vitro, FtsZ filaments can form dynamic chiral assemblies. However, how the active and passive properties of individual filaments relate to these large-scale self-organized structures remains poorly understood. Here we connect single-filament properties with the mesoscopic scale by combining minimal active matter simulations and biochemical reconstitution experiments. We show that the density and flexibility of active chiral filaments define their global order. At intermediate densities, curved, flexible filaments organize into chiral rings and polar bands. An effectively nematic organization dominates for high densities and for straight, mutant filaments with increased rigidity. Our predicted phase diagram quantitatively captures these features, demonstrating how the flexibility, density and chirality of the active filaments affect their collective behaviour. Our findings shed light on the fundamental properties of active chiral matter and explain how treadmilling FtsZ filaments organize during bacterial cell division.","lang":"eng"}]},{"abstract":[{"lang":"eng","text":"The extension of extremal combinatorics to the setting of exterior algebra is a work\r\nin progress that gained attention recently. In this thesis, we study the combinatorial structure of exterior algebra by introducing a dictionary that translates the notions from the set systems into the framework of exterior algebra. We show both generalizations of celebrated Erdös--Ko--Rado theorem and Hilton--Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms.\r\n"}],"ddc":["510","516"],"title":"Exterior algebra and combinatorics","day":"31","alternative_title":["ISTA Master's Thesis"],"date_updated":"2026-04-07T13:29:29Z","oa_version":"Published Version","article_processing_charge":"No","date_published":"2023-07-31T00:00:00Z","status":"public","publication_status":"published","month":"07","type":"dissertation","page":"26","publisher":"Institute of Science and Technology Austria","oa":1,"OA_place":"publisher","publication_identifier":{"issn":["2791-4585"]},"file":[{"relation":"source_file","file_size":28684,"access_level":"closed","date_updated":"2023-07-31T10:16:32Z","file_id":"13333","file_name":"Exterior Algebra and Combinatorics.zip","checksum":"96ee518d796d02af71395622c45de03c","date_created":"2023-07-31T10:16:32Z","content_type":"application/x-zip-compressed","creator":"skoese"},{"file_size":4953418,"access_level":"open_access","date_updated":"2023-08-03T15:28:55Z","relation":"main_file","success":1,"creator":"skoese","date_created":"2023-08-03T15:28:55Z","content_type":"application/pdf","file_name":"thesis-pdfa.pdf","checksum":"f610f4713f88bc477de576aaa46b114e","file_id":"13480"}],"citation":{"ama":"Köse S. Exterior algebra and combinatorics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13331\">10.15479/at:ista:13331</a>","apa":"Köse, S. (2023). <i>Exterior algebra and combinatorics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13331\">https://doi.org/10.15479/at:ista:13331</a>","ieee":"S. Köse, “Exterior algebra and combinatorics,” Institute of Science and Technology Austria, 2023.","ista":"Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria.","chicago":"Köse, Seyda. “Exterior Algebra and Combinatorics.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13331\">https://doi.org/10.15479/at:ista:13331</a>.","mla":"Köse, Seyda. <i>Exterior Algebra and Combinatorics</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13331\">10.15479/at:ista:13331</a>.","short":"S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023."},"language":[{"iso":"eng"}],"corr_author":"1","file_date_updated":"2023-08-03T15:28:55Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","supervisor":[{"id":"36690CA2-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner","full_name":"Wagner, Uli","first_name":"Uli","orcid":"0000-0002-1494-0568"}],"related_material":{"record":[{"id":"12680","relation":"part_of_dissertation","status":"public"}]},"year":"2023","degree_awarded":"MS","author":[{"orcid":"0009-0008-0457-9730","first_name":"Seyda","full_name":"Köse, Seyda","id":"8ba3170d-dc85-11ea-9058-c4251c96a6eb","last_name":"Köse"}],"department":[{"_id":"GradSch"},{"_id":"UlWa"}],"date_created":"2023-07-31T10:20:55Z","_id":"13331","doi":"10.15479/at:ista:13331","has_accepted_license":"1"},{"language":[{"iso":"eng"}],"file_date_updated":"2023-08-18T10:47:55Z","corr_author":"1","supervisor":[{"id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso","full_name":"Vicoso, Beatriz","first_name":"Beatriz","orcid":"0000-0002-4579-8306"},{"full_name":"Barton, Nicholas H","last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8548-5240","first_name":"Nicholas H"}],"year":"2023","related_material":{"record":[{"id":"9803","relation":"research_data","status":"public"},{"status":"public","id":"12933","relation":"research_data"},{"status":"public","relation":"part_of_dissertation","id":"6831"},{"relation":"part_of_dissertation","id":"14077","status":"public"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","degree_awarded":"PhD","department":[{"_id":"GradSch"},{"_id":"NiBa"},{"_id":"BeVi"}],"date_created":"2023-08-15T10:20:40Z","author":[{"full_name":"Puixeu Sala, Gemma","id":"33AB266C-F248-11E8-B48F-1D18A9856A87","last_name":"Puixeu Sala","orcid":"0000-0001-8330-1754","first_name":"Gemma"}],"doi":"10.15479/at:ista:14058","has_accepted_license":"1","_id":"14058","abstract":[{"text":"Females and males across species are subject to divergent selective pressures arising\r\nfrom di↵erent reproductive interests and ecological niches. This often translates into a\r\nintricate array of sex-specific natural and sexual selection on traits that have a shared\r\ngenetic basis between both sexes, causing a genetic sexual conflict. The resolution of\r\nthis conflict mostly relies on the evolution of sex-specific expression of the shared genes,\r\nleading to phenotypic sexual dimorphism. Such sex-specific gene expression is thought\r\nto evolve via modifications of the genetic networks ultimately linked to sex-determining\r\ntranscription factors. Although much empirical and theoretical evidence supports this\r\nstandard picture of the molecular basis of sexual conflict resolution, there still are a\r\nfew open questions regarding the complex array of selective forces driving phenotypic\r\ndi↵erentiation between the sexes, as well as the molecular mechanisms underlying sexspecific adaptation. I address some of these open questions in my PhD thesis.\r\nFirst, how do patterns of phenotypic sexual dimorphism vary within populations,\r\nas a response to the temporal and spatial changes in sex-specific selective forces? To\r\ntackle this question, I analyze the patterns of sex-specific phenotypic variation along\r\nthree life stages and across populations spanning the whole geographical range of Rumex\r\nhastatulus, a wind-pollinated angiosperm, in the first Chapter of the thesis.\r\nSecond, how do gene expression patterns lead to phenotypic dimorphism, and what\r\nare the molecular mechanisms underlying the observed transcriptomic variation? I\r\naddress this question by examining the sex- and tissue-specific expression variation in\r\nnewly-generated datasets of sex-specific expression in heads and gonads of Drosophila\r\nmelanogaster. I additionally used two complementary approaches for the study of the\r\ngenetic basis of sex di↵erences in gene expression in the second and third Chapters of\r\nthe thesis.\r\nThird, how does intersex correlation, thought to be one of the main aspects constraining the ability for the two sexes to decouple, interact with the evolution of sexual\r\ndimorphism? I develop models of sex-specific stabilizing selection, mutation and drift\r\nto formalize common intuition regarding the patterns of covariation between intersex\r\ncorrelation and sexual dimorphism in the fourth Chapter of the thesis.\r\nAlltogether, the work described in this PhD thesis provides useful insights into the\r\nlinks between genetic, transcriptomic and phenotypic layers of sex-specific variation,\r\nand contributes to our general understanding of the dynamics of sexual dimorphism\r\nevolution.","lang":"eng"}],"ec_funded":1,"ddc":["576"],"title":"The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation","article_processing_charge":"No","date_published":"2023-08-15T00:00:00Z","day":"15","alternative_title":["ISTA Thesis"],"date_updated":"2026-04-07T13:25:34Z","oa_version":"Published Version","status":"public","publication_status":"published","type":"dissertation","month":"08","page":"230","OA_place":"publisher","publication_identifier":{"isbn":["978-3-99078-035-0"],"issn":["2663-337X"]},"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"},"oa":1,"publisher":"Institute of Science and Technology Austria","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"},{"_id":"9B9DFC9E-BA93-11EA-9121-9846C619BF3A","grant_number":"25817","name":"Sexual conflict: resolution, constraints and biomedical implications"}],"file":[{"date_updated":"2023-08-17T06:55:24Z","access_level":"closed","file_size":10891454,"relation":"source_file","date_created":"2023-08-16T18:15:17Z","content_type":"application/zip","creator":"gpuixeus","file_id":"14075","checksum":"4e44e169f2724ee8c9324cd60bcc2b71","file_name":"Thesis_latex_forpdfa.zip"},{"relation":"main_file","success":1,"file_size":19856686,"access_level":"open_access","date_updated":"2023-08-18T10:47:55Z","checksum":"e10b04cd8f3fecc0d9ef6e6868b6e1e8","file_name":"PhDThesis_PuixeuG.pdf","file_id":"14079","creator":"gpuixeus","date_created":"2023-08-18T10:47:55Z","content_type":"application/pdf"}],"citation":{"ieee":"G. Puixeu Sala, “The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation,” Institute of Science and Technology Austria, 2023.","ista":"Puixeu Sala G. 2023. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria.","chicago":"Puixeu Sala, Gemma. “The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14058\">https://doi.org/10.15479/at:ista:14058</a>.","mla":"Puixeu Sala, Gemma. <i>The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14058\">10.15479/at:ista:14058</a>.","short":"G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.","ama":"Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14058\">10.15479/at:ista:14058</a>","apa":"Puixeu Sala, G. (2023). <i>The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14058\">https://doi.org/10.15479/at:ista:14058</a>"}},{"article_processing_charge":"Yes","date_published":"2023-08-01T00:00:00Z","date_updated":"2026-04-07T13:25:34Z","day":"01","acknowledged_ssus":[{"_id":"ScienComp"}],"oa_version":"Published Version","status":"public","publication":"G3: Genes, Genomes, Genetics","publication_status":"published","abstract":[{"lang":"eng","text":"The regulatory architecture of gene expression is known to differ substantially between sexes in Drosophila, but most studies performed\r\nso far used whole-body data and only single crosses, which may have limited their scope to detect patterns that are robust across tissues\r\nand biological replicates. Here, we use allele-specific gene expression of parental and reciprocal hybrid crosses between 6 Drosophila\r\nmelanogaster inbred lines to quantify cis- and trans-regulatory variation in heads and gonads of both sexes separately across 3 replicate\r\ncrosses. Our results suggest that female and male heads, as well as ovaries, have a similar regulatory architecture. On the other hand,\r\ntestes display more and substantially different cis-regulatory effects, suggesting that sex differences in the regulatory architecture that\r\nhave been previously observed may largely derive from testis-specific effects. We also examine the difference in cis-regulatory variation\r\nof genes across different levels of sex bias in gonads and heads. Consistent with the idea that intersex correlations constrain expression\r\nand can lead to sexual antagonism, we find more cis variation in unbiased and moderately biased genes in heads. In ovaries, reduced cis\r\nvariation is observed for male-biased genes, suggesting that cis variants acting on these genes in males do not lead to changes in ovary\r\nexpression. Finally, we examine the dominance patterns of gene expression and find that sex- and tissue-specific patterns of inheritance\r\nas well as trans-regulatory variation are highly variable across biological crosses, although these were performed in highly controlled\r\nexperimental conditions. This highlights the importance of using various genetic backgrounds to infer generalizable patterns."}],"ec_funded":1,"ddc":["570"],"title":"Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster","project":[{"grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"},{"_id":"9B9DFC9E-BA93-11EA-9121-9846C619BF3A","grant_number":"25817","name":"Sexual conflict: resolution, constraints and biomedical implications"}],"article_type":"original","file":[{"date_created":"2023-11-07T09:00:19Z","content_type":"application/pdf","creator":"dernst","file_id":"14498","file_name":"2023_G3_Puixeu.pdf","checksum":"c62e29fc7c5efbf8356f4c60cab4a2d1","access_level":"open_access","file_size":845642,"date_updated":"2023-11-07T09:00:19Z","success":1,"relation":"main_file"}],"citation":{"apa":"Puixeu Sala, G., Macon, A., &#38; Vicoso, B. (2023). Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. <i>G3: Genes, Genomes, Genetics</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/g3journal/jkad121\">https://doi.org/10.1093/g3journal/jkad121</a>","ama":"Puixeu Sala G, Macon A, Vicoso B. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. <i>G3: Genes, Genomes, Genetics</i>. 2023;13(8). doi:<a href=\"https://doi.org/10.1093/g3journal/jkad121\">10.1093/g3journal/jkad121</a>","mla":"Puixeu Sala, Gemma, et al. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” <i>G3: Genes, Genomes, Genetics</i>, vol. 13, no. 8, Oxford University Press, 2023, doi:<a href=\"https://doi.org/10.1093/g3journal/jkad121\">10.1093/g3journal/jkad121</a>.","short":"G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).","ieee":"G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,” <i>G3: Genes, Genomes, Genetics</i>, vol. 13, no. 8. Oxford University Press, 2023.","chicago":"Puixeu Sala, Gemma, Ariana Macon, and Beatriz Vicoso. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” <i>G3: Genes, Genomes, Genetics</i>. Oxford University Press, 2023. <a href=\"https://doi.org/10.1093/g3journal/jkad121\">https://doi.org/10.1093/g3journal/jkad121</a>.","ista":"Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 13(8)."},"pmid":1,"type":"journal_article","month":"08","external_id":{"isi":["001002997200001"],"pmid":["37259621"]},"quality_controlled":"1","intvolume":"        13","publication_identifier":{"issn":["2160-1836"]},"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"},"volume":13,"oa":1,"publisher":"Oxford University Press","related_material":{"record":[{"status":"public","relation":"research_data","id":"12933"},{"relation":"dissertation_contains","id":"14058","status":"public"}]},"year":"2023","isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","keyword":["Genetics (clinical)","Genetics","Molecular Biology"],"language":[{"iso":"eng"}],"file_date_updated":"2023-11-07T09:00:19Z","corr_author":"1","has_accepted_license":"1","doi":"10.1093/g3journal/jkad121","_id":"14077","scopus_import":"1","acknowledgement":"We thank members of the Vicoso Group for comments on the manuscript, the Scientific Computing Unit at ISTA for technical support, and 2 anonymous reviewers for useful feedback. GP is the recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology Austria (DOC 25817) and received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant (agreement no. 665385).","issue":"8","department":[{"_id":"BeVi"},{"_id":"NiBa"},{"_id":"GradSch"}],"date_created":"2023-08-18T06:52:14Z","author":[{"full_name":"Puixeu Sala, Gemma","id":"33AB266C-F248-11E8-B48F-1D18A9856A87","last_name":"Puixeu Sala","orcid":"0000-0001-8330-1754","first_name":"Gemma"},{"first_name":"Ariana","last_name":"Macon","id":"2A0848E2-F248-11E8-B48F-1D18A9856A87","full_name":"Macon, Ariana"},{"full_name":"Vicoso, Beatriz","last_name":"Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4579-8306","first_name":"Beatriz"}]},{"publication_identifier":{"eissn":["1744-6848"],"issn":["1744-683X"]},"intvolume":"        39","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"},"volume":39,"oa":1,"publisher":"Royal Society of Chemistry","page":"7513-7527","type":"journal_article","month":"09","external_id":{"isi":["001035766100001"],"arxiv":["2303.07063"],"pmid":["37493084"]},"quality_controlled":"1","citation":{"ama":"Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. <i>Soft Matter</i>. 2023;39:7513-7527. doi:<a href=\"https://doi.org/10.1039/d3sm00316g\">10.1039/d3sm00316g</a>","apa":"Rønning, J., Renaud, J. B., Doostmohammadi, A., &#38; Angheluta, L. (2023). Spontaneous flows and dynamics of full-integer topological defects in polar active matter. <i>Soft Matter</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/d3sm00316g\">https://doi.org/10.1039/d3sm00316g</a>","chicago":"Rønning, Jonas, Julian B Renaud, Amin Doostmohammadi, and Luiza Angheluta. “Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active Matter.” <i>Soft Matter</i>. Royal Society of Chemistry, 2023. <a href=\"https://doi.org/10.1039/d3sm00316g\">https://doi.org/10.1039/d3sm00316g</a>.","ista":"Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 39, 7513–7527.","ieee":"J. Rønning, J. B. Renaud, A. Doostmohammadi, and L. Angheluta, “Spontaneous flows and dynamics of full-integer topological defects in polar active matter,” <i>Soft Matter</i>, vol. 39. Royal Society of Chemistry, pp. 7513–7527, 2023.","short":"J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.","mla":"Rønning, Jonas, et al. “Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active Matter.” <i>Soft Matter</i>, vol. 39, Royal Society of Chemistry, 2023, pp. 7513–27, doi:<a href=\"https://doi.org/10.1039/d3sm00316g\">10.1039/d3sm00316g</a>."},"pmid":1,"file":[{"date_created":"2024-01-30T12:48:24Z","content_type":"application/pdf","creator":"dernst","file_id":"14908","checksum":"b936747170d0b708172b518078c4081a","file_name":"2023_SoftMatter_Ronning.pdf","date_updated":"2024-01-30T12:48:24Z","access_level":"open_access","file_size":7660662,"success":1,"relation":"main_file"}],"article_type":"original","title":"Spontaneous flows and dynamics of full-integer topological defects in polar active matter","ddc":["540"],"abstract":[{"lang":"eng","text":"Polar active matter of self-propelled particles sustain spontaneous flows through the full-integer topological defects. We study theoretically the incompressible flow profiles around ±1 defects induced by polar and dipolar active forces. We show that dipolar forces induce vortical flows around the +1 defect, while the flow around the −1 defect has an 8-fold rotational symmetry. The vortical flow changes its chirality near the +1 defect core in the absence of the friction with a substrate. We show analytically that the flow induced by polar active forces is vortical near the +1 defect and is 4-fold symmetric near the −1 defect, while it becomes uniform in the far-field. For a pair of oppositely charged defects, this polar flow contributes to a mutual interaction force that depends only on the orientation of the defect pair relative to the background polarization, and that enhances defect pair annihilation. This is in contradiction with the effect of dipolar active forces which decay inversely proportional with the defect separation distance. As such, our analyses reveals a long-ranged mechanism for the pairwise interaction between topological defects in polar active matter."}],"arxiv":1,"publication_status":"published","publication":"Soft Matter","status":"public","article_processing_charge":"Yes (in subscription journal)","date_published":"2023-09-01T00:00:00Z","oa_version":"Published Version","day":"01","date_updated":"2025-04-23T13:03:12Z","date_created":"2023-08-20T22:01:15Z","department":[{"_id":"GradSch"}],"author":[{"full_name":"Rønning, Jonas","last_name":"Rønning","first_name":"Jonas"},{"full_name":"Renaud, Julian B","last_name":"Renaud","id":"7af6767d-14eb-11ed-b536-a32449ae867c","first_name":"Julian B"},{"first_name":"Amin","full_name":"Doostmohammadi, Amin","last_name":"Doostmohammadi"},{"first_name":"Luiza","full_name":"Angheluta, Luiza","last_name":"Angheluta"}],"scopus_import":"1","acknowledgement":"J. Rø and L. A. acknowledge support from the Research Council of Norway through the Center of Excellence funding scheme, Project No. 262644 (PoreLab). A. D. acknowledges funding from the Novo Nordisk Foundation (grant No. NNF18SA0035142 and NERD grant No. NNF21OC0068687), Villum Fonden Grant no. 29476, and the European Union via the ERC-Starting Grant PhysCoMeT. Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.","has_accepted_license":"1","doi":"10.1039/d3sm00316g","_id":"14087","file_date_updated":"2024-01-30T12:48:24Z","language":[{"iso":"eng"}],"year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1},{"date_created":"2023-09-03T22:01:16Z","department":[{"_id":"GradSch"}],"author":[{"last_name":"Gamper","full_name":"Gamper, Jakob","first_name":"Jakob"},{"full_name":"Kluibenschedl, Florian","last_name":"Kluibenschedl","id":"7499e70e-eb2c-11ec-b98b-f925648bc9d9","first_name":"Florian"},{"full_name":"Weiss, Alexander K.H.","last_name":"Weiss","first_name":"Alexander K.H."},{"first_name":"Thomas S.","full_name":"Hofer, Thomas S.","last_name":"Hofer"}],"scopus_import":"1","acknowledgement":"Financial supports for this work via a PhD scholarship for J. Gamper issued by the Leopold-Franzens-University of Innsbruck (Vicerector Prof. Dr Ulrike Tanzer) are gratefully acknowledged. The computational results presented have been achieved (in part) using the HPC infrastructure of the University of Innsbruck.","issue":"33","doi":"10.1021/acs.jpclett.3c01707","has_accepted_license":"1","_id":"14261","file_date_updated":"2023-09-06T07:32:39Z","language":[{"iso":"eng"}],"year":"2023","isi":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","intvolume":"        14","publication_identifier":{"eissn":["1948-7185"]},"publisher":"American Chemical Society","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"},"volume":14,"oa":1,"month":"08","external_id":{"pmid":["37566743"],"isi":["001048165800001"]},"type":"journal_article","page":"7395-7403","quality_controlled":"1","file":[{"creator":"dernst","date_created":"2023-09-06T07:32:39Z","content_type":"application/pdf","file_name":"2023_JourPhysChemistry_Gamper.pdf","checksum":"637454e2b3a357498d8d622d241c4bf6","file_id":"14272","file_size":4986859,"access_level":"open_access","date_updated":"2023-09-06T07:32:39Z","relation":"main_file","success":1}],"pmid":1,"citation":{"chicago":"Gamper, Jakob, Florian Kluibenschedl, Alexander K.H. Weiss, and Thomas S. Hofer. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.” <i>Journal of Physical Chemistry Letters</i>. American Chemical Society, 2023. <a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">https://doi.org/10.1021/acs.jpclett.3c01707</a>.","ista":"Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. 2023. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. 14(33), 7395–7403.","ieee":"J. Gamper, F. Kluibenschedl, A. K. H. Weiss, and T. S. Hofer, “Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems,” <i>Journal of Physical Chemistry Letters</i>, vol. 14, no. 33. American Chemical Society, pp. 7395–7403, 2023.","short":"J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.","mla":"Gamper, Jakob, et al. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.” <i>Journal of Physical Chemistry Letters</i>, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403, doi:<a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">10.1021/acs.jpclett.3c01707</a>.","ama":"Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. <i>Journal of Physical Chemistry Letters</i>. 2023;14(33):7395-7403. doi:<a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">10.1021/acs.jpclett.3c01707</a>","apa":"Gamper, J., Kluibenschedl, F., Weiss, A. K. H., &#38; Hofer, T. S. (2023). Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. <i>Journal of Physical Chemistry Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.jpclett.3c01707\">https://doi.org/10.1021/acs.jpclett.3c01707</a>"},"article_type":"original","ddc":["530","540"],"title":"Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems","abstract":[{"lang":"eng","text":"In this work, a generalized, adapted Numerov implementation capable of determining band structures of periodic quantum systems is outlined. Based on the input potential, the presented approach numerically solves the Schrödinger equation in position space at each momentum space point. Thus, in addition to the band structure, the method inherently provides information about the state functions and probability densities in position space at each momentum space point considered. The generalized, adapted Numerov framework provided reliable estimates for a variety of increasingly complex test suites in one, two, and three dimensions. The accuracy of the proposed methodology was benchmarked against results obtained for the analytically solvable Kronig-Penney model. Furthermore, the presented numerical solver was applied to a model potential representing a 2D optical lattice being a challenging application relevant, for example, in the field of quantum computing."}],"status":"public","publication":"Journal of Physical Chemistry Letters","publication_status":"published","article_processing_charge":"Yes (in subscription journal)","date_published":"2023-08-11T00:00:00Z","day":"11","date_updated":"2023-09-06T11:04:31Z","oa_version":"Published Version"},{"date_created":"2023-09-28T14:23:04Z","department":[{"_id":"GradSch"},{"_id":"RoSe"}],"author":[{"first_name":"Barbara","orcid":"0000-0002-9071-5880","id":"5DA90512-D80F-11E9-8994-2E2EE6697425","last_name":"Roos","full_name":"Roos, Barbara"}],"doi":"10.15479/at:ista:14374","has_accepted_license":"1","_id":"14374","language":[{"iso":"eng"}],"file_date_updated":"2023-10-06T11:38:01Z","corr_author":"1","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"10850"},{"status":"public","relation":"part_of_dissertation","id":"13207"}]},"year":"2023","supervisor":[{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","full_name":"Seiringer, Robert","first_name":"Robert","orcid":"0000-0002-6781-0521"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","degree_awarded":"PhD","page":"206","type":"dissertation","month":"09","publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","publisher":"Institute of Science and Technology Austria","tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode"},"oa":1,"project":[{"name":"Analysis of quantum many-body systems","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"Mathematical Challenges in BCS Theory of Superconductivity","grant_number":"I06427","_id":"bda63fe5-d553-11ed-ba76-a16e3d2f256b"}],"citation":{"short":"B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.","mla":"Roos, Barbara. <i>Boundary Superconductivity in BCS Theory</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14374\">10.15479/at:ista:14374</a>.","chicago":"Roos, Barbara. “Boundary Superconductivity in BCS Theory.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14374\">https://doi.org/10.15479/at:ista:14374</a>.","ista":"Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science and Technology Austria.","ieee":"B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science and Technology Austria, 2023.","apa":"Roos, B. (2023). <i>Boundary superconductivity in BCS theory</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14374\">https://doi.org/10.15479/at:ista:14374</a>","ama":"Roos B. Boundary superconductivity in BCS theory. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14374\">10.15479/at:ista:14374</a>"},"file":[{"access_level":"open_access","file_size":2365702,"date_updated":"2023-10-06T11:35:56Z","relation":"main_file","content_type":"application/pdf","date_created":"2023-10-06T11:35:56Z","creator":"broos","file_id":"14398","file_name":"phd-thesis-draft_pdfa_acrobat.pdf","checksum":"ef039ffc3de2cb8dee5b14110938e9b6"},{"access_level":"closed","file_size":4691734,"date_updated":"2023-10-06T11:38:01Z","relation":"source_file","creator":"broos","date_created":"2023-10-06T11:38:01Z","content_type":"application/x-zip-compressed","checksum":"81dcac33daeefaf0111db52f41bb1fd0","file_name":"Version5.zip","file_id":"14399"}],"abstract":[{"lang":"eng","text":"Superconductivity has many important applications ranging from levitating trains over qubits to MRI scanners. The phenomenon is successfully modeled by Bardeen-Cooper-Schrieffer (BCS) theory. From a mathematical perspective, BCS theory has been studied extensively for systems without boundary. However, little is known in the presence of boundaries. With the help of numerical methods physicists observed that the critical temperature may increase in the presence of a boundary. The goal of this thesis is to understand the influence of boundaries on the critical temperature in BCS theory and to give a first rigorous justification of these observations. On the way, we also study two-body Schrödinger operators on domains with boundaries and prove additional results for superconductors without boundary.\r\n\r\nBCS theory is based on a non-linear functional, where the minimizer indicates whether the system is superconducting or in the normal, non-superconducting state. By considering the Hessian of the BCS functional at the normal state, one can analyze whether the normal state is possibly a minimum of the BCS functional and estimate the critical temperature. The Hessian turns out to be a linear operator resembling a Schrödinger operator for two interacting particles, but with more complicated kinetic energy. As a first step, we study the two-body Schrödinger operator in the presence of boundaries.\r\nFor Neumann boundary conditions, we prove that the addition of a boundary can create new eigenvalues, which correspond to the two particles forming a bound state close to the boundary.\r\n\r\nSecond, we need to understand superconductivity in the translation invariant setting. While in three dimensions this has been extensively studied, there is no mathematical literature for the one and two dimensional cases. In dimensions one and two, we compute the weak coupling asymptotics of the critical temperature and the energy gap  in the translation invariant setting. We also prove that their ratio is independent of the microscopic details of the model in the weak coupling limit; this property is referred to as universality.\r\n\r\nIn the third part, we study the critical temperature of superconductors in the presence of boundaries. We start by considering the one-dimensional case of a half-line with contact interaction. Then, we generalize the results to generic interactions and half-spaces in one, two and three dimensions. Finally, we compare the critical temperature of a quarter space in two dimensions to the critical temperatures of a half-space and of the full space."}],"ec_funded":1,"title":"Boundary superconductivity in BCS theory","ddc":["515","539"],"article_processing_charge":"No","date_published":"2023-09-30T00:00:00Z","oa_version":"Published Version","date_updated":"2026-04-07T13:27:39Z","alternative_title":["ISTA Thesis"],"day":"30","publication_status":"published","status":"public"},{"article_processing_charge":"Yes","date_published":"2023-10-02T00:00:00Z","oa_version":"Published Version","day":"02","date_updated":"2025-04-14T07:54:53Z","status":"public","publication_status":"published","publication":"Nature Communications","abstract":[{"lang":"eng","text":"Water adsorption and dissociation processes on pristine low-index TiO2 interfaces are important but poorly understood outside the well-studied anatase (101) and rutile (110). To understand these, we construct three sets of machine learning potentials that are simultaneously applicable to various TiO2 surfaces, based on three density-functional-theory approximations. Here we show the water dissociation free energies on seven pristine TiO2 surfaces, and predict that anatase (100), anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase (101) and rutile (100) have mostly molecular adsorption, while the simulations of rutile (110) sensitively depend on the slab thickness and molecular adsorption is preferred with thick slabs. Moreover, using an automated algorithm, we reveal that these surfaces follow different types of atomistic mechanisms for proton transfer and water dissociation: one-step, two-step, or both. These mechanisms can be rationalized based on the arrangements of water molecules on the different surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces react with water in distinct ways, and cannot be represented using just the low-energy anatase (101) and rutile (110) surfaces."}],"arxiv":1,"ec_funded":1,"title":"Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations","ddc":["540","000"],"article_type":"original","project":[{"name":"IST-BRIDGE: International postdoctoral program","grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020"}],"pmid":1,"citation":{"short":"Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).","mla":"Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” <i>Nature Communications</i>, vol. 14, 6131, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41467-023-41865-8\">10.1038/s41467-023-41865-8</a>.","chicago":"Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter, Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” <i>Nature Communications</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41467-023-41865-8\">https://doi.org/10.1038/s41467-023-41865-8</a>.","ista":"Zeng Z, Wodaczek F, Liu K, Stein F, Hutter J, Chen J, Cheng B. 2023. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 14, 6131.","ieee":"Z. Zeng <i>et al.</i>, “Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations,” <i>Nature Communications</i>, vol. 14. Springer Nature, 2023.","apa":"Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., &#38; Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-023-41865-8\">https://doi.org/10.1038/s41467-023-41865-8</a>","ama":"Zeng Z, Wodaczek F, Liu K, et al. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. <i>Nature Communications</i>. 2023;14. doi:<a href=\"https://doi.org/10.1038/s41467-023-41865-8\">10.1038/s41467-023-41865-8</a>"},"file":[{"success":1,"relation":"main_file","date_updated":"2023-10-16T07:34:49Z","file_size":3194116,"access_level":"open_access","file_id":"14432","checksum":"7d1dffd36b672ec679f08f70ce79da87","file_name":"2023_NatureComm_Zeng.pdf","date_created":"2023-10-16T07:34:49Z","content_type":"application/pdf","creator":"dernst"}],"type":"journal_article","external_id":{"pmid":["37783698"],"arxiv":["2303.07433"],"isi":["001084354900008"]},"month":"10","quality_controlled":"1","publication_identifier":{"eissn":["2041-1723"]},"intvolume":"        14","publisher":"Springer Nature","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"},"oa":1,"volume":14,"year":"2023","related_material":{"link":[{"url":"https://github.com/BingqingCheng/TiO2-water","relation":"software"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"article_number":"6131","language":[{"iso":"eng"}],"file_date_updated":"2023-10-16T07:34:49Z","corr_author":"1","doi":"10.1038/s41467-023-41865-8","has_accepted_license":"1","_id":"14425","scopus_import":"1","acknowledgement":"F.S., J.H., and B.C. thank the Swiss National Supercomputing Centre (CSCS) for the generous allocation of CPU hours via production project s1108 at the Piz Daint supercomputer. B.C. acknowledges resources provided by the Cambridge Tier-2 system operated by the University of Cambridge Research Computing Service funded by EPSRC Tier-2 capital grant EP/P020259/1. J.C. acknowledges the Beijing Natural Science Foundation for support under grant No. JQ22001. F.S., and J.H. thank the Swiss Platform for Advanced Scientific Computing (PASC) via the 2021-2024 “Ab Initio Molecular Dynamics at the Exa-Scale” project. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101034413.","department":[{"_id":"BiCh"},{"_id":"GradSch"}],"date_created":"2023-10-15T22:01:10Z","author":[{"last_name":"Zeng","id":"54a2c730-803f-11ed-ab7e-95b29d2680e7","full_name":"Zeng, Zezhu","first_name":"Zezhu"},{"full_name":"Wodaczek, Felix","id":"8b4b6a9f-32b0-11ee-9fa8-bbe85e26258e","last_name":"Wodaczek","orcid":"0009-0000-1457-795X","first_name":"Felix"},{"first_name":"Keyang","last_name":"Liu","full_name":"Liu, Keyang"},{"first_name":"Frederick","full_name":"Stein, Frederick","last_name":"Stein"},{"first_name":"Jürg","last_name":"Hutter","full_name":"Hutter, Jürg"},{"first_name":"Ji","full_name":"Chen, Ji","last_name":"Chen"},{"full_name":"Cheng, Bingqing","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","last_name":"Cheng","orcid":"0000-0002-3584-9632","first_name":"Bingqing"}]},{"acknowledgement":"E.M. acknowledges funding from the ISTplus fellowship programme. G.Y. and B.H. acknowledge a grant from the Simons Foundation (662960, BH).","scopus_import":"1","_id":"14466","doi":"10.1017/jfm.2023.780","has_accepted_license":"1","author":[{"orcid":"0000-0001-7173-4923","first_name":"Elena","full_name":"Marensi, Elena","id":"0BE7553A-1004-11EA-B805-18983DDC885E","last_name":"Marensi"},{"last_name":"Yalniz","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","full_name":"Yalniz, Gökhan","first_name":"Gökhan","orcid":"0000-0002-8490-9312"},{"full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87","last_name":"Hof","orcid":"0000-0003-2057-2754","first_name":"Björn"}],"date_created":"2023-10-30T09:32:28Z","department":[{"_id":"GradSch"},{"_id":"BjHo"}],"keyword":["turbulence","transition to turbulence","patterns"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","isi":1,"article_number":"A21","year":"2023","related_material":{"record":[{"status":"public","id":"19684","relation":"dissertation_contains"}]},"corr_author":"1","file_date_updated":"2024-02-15T09:05:21Z","language":[{"iso":"eng"}],"citation":{"mla":"Marensi, Elena, et al. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” <i>Journal of Fluid Mechanics</i>, vol. 974, A21, Cambridge University Press, 2023, doi:<a href=\"https://doi.org/10.1017/jfm.2023.780\">10.1017/jfm.2023.780</a>.","short":"E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).","ieee":"E. Marensi, G. Yalniz, and B. Hof, “Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows,” <i>Journal of Fluid Mechanics</i>, vol. 974. Cambridge University Press, 2023.","ista":"Marensi E, Yalniz G, Hof B. 2023. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 974, A21.","chicago":"Marensi, Elena, Gökhan Yalniz, and Björn Hof. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.1017/jfm.2023.780\">https://doi.org/10.1017/jfm.2023.780</a>.","apa":"Marensi, E., Yalniz, G., &#38; Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2023.780\">https://doi.org/10.1017/jfm.2023.780</a>","ama":"Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. <i>Journal of Fluid Mechanics</i>. 2023;974. doi:<a href=\"https://doi.org/10.1017/jfm.2023.780\">10.1017/jfm.2023.780</a>"},"file":[{"date_created":"2024-02-15T09:05:21Z","content_type":"application/pdf","creator":"dernst","file_id":"14996","checksum":"17c64c1fb0d5f73252364bf98b0b9e1a","file_name":"2023_JourFluidMechanics_Marensi.pdf","file_size":2804641,"access_level":"open_access","date_updated":"2024-02-15T09:05:21Z","success":1,"relation":"main_file"}],"article_type":"original","project":[{"name":"Revisiting the Turbulence Problem Using Statistical Mechanics","_id":"238598C6-32DE-11EA-91FC-C7463DDC885E","grant_number":"662960"}],"publisher":"Cambridge University Press","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"},"volume":974,"oa":1,"publication_identifier":{"issn":["0022-1120"],"eissn":["1469-7645"]},"intvolume":"       974","quality_controlled":"1","external_id":{"isi":["001088363700001"],"arxiv":["2212.12406"]},"month":"11","type":"journal_article","publication":"Journal of Fluid Mechanics","status":"public","publication_status":"published","oa_version":"Published Version","day":"10","date_updated":"2026-04-07T11:47:05Z","article_processing_charge":"Yes (via OA deal)","date_published":"2023-11-10T00:00:00Z","title":"Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows","ddc":["530"],"abstract":[{"text":"The first long-lived turbulent structures observable in planar shear flows take the form of localized stripes, inclined with respect to the mean flow direction. The dynamics of these stripes is central to transition, and recent studies proposed an analogy to directed percolation where the stripes’ proliferation is ultimately responsible for the turbulence becoming sustained. In the present study we focus on the internal stripe dynamics as well as on the eventual stripe expansion, and we compare the underlying mechanisms in pressure- and shear-driven planar flows, respectively, plane-Poiseuille and plane-Couette flow. Despite the similarities of the overall laminar–turbulence patterns, the stripe proliferation processes in the two cases are fundamentally different. Starting from the growth and sustenance of individual stripes, we find that in plane-Couette flow new streaks are created stochastically throughout the stripe whereas in plane-Poiseuille flow streak creation is deterministic and occurs locally at the downstream tip. Because of the up/downstream symmetry, Couette stripes, in contrast to Poiseuille stripes, have two weak and two strong laminar turbulent interfaces. These differences in symmetry as well as in internal growth give rise to two fundamentally different stripe splitting mechanisms. In plane-Poiseuille flow splitting is connected to the elongational growth of the original stripe, and it results from a break-off/shedding of the stripe's tail. In plane-Couette flow splitting follows from a broadening of the original stripe and a division along the stripe into two slimmer stripes.","lang":"eng"}],"arxiv":1},{"scopus_import":"1","doi":"10.4230/LIPIcs.DISC.2023.35","has_accepted_license":"1","_id":"14485","department":[{"_id":"GradSch"}],"date_created":"2023-11-05T23:00:53Z","author":[{"last_name":"Aksenov","full_name":"Aksenov, Vitaly","first_name":"Vitaly"},{"first_name":"Michael","last_name":"Anoprenko","full_name":"Anoprenko, Michael"},{"first_name":"Alexander","last_name":"Fedorov","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","full_name":"Fedorov, Alexander"},{"full_name":"Spear, Michael","last_name":"Spear","first_name":"Michael"}],"year":"2023","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"35","file_date_updated":"2023-11-06T11:45:21Z","corr_author":"1","language":[{"iso":"eng"}],"citation":{"ieee":"V. Aksenov, M. Anoprenko, A. Fedorov, and M. Spear, “Brief announcement: BatchBoost: Universal batching for concurrent data structures,” in <i>37th International Symposium on Distributed Computing</i>, L’Aquila, Italy, 2023, vol. 281.","chicago":"Aksenov, Vitaly, Michael Anoprenko, Alexander Fedorov, and Michael Spear. “Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures.” In <i>37th International Symposium on Distributed Computing</i>, Vol. 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2023.35\">https://doi.org/10.4230/LIPIcs.DISC.2023.35</a>.","ista":"Aksenov V, Anoprenko M, Fedorov A, Spear M. 2023. Brief announcement: BatchBoost: Universal batching for concurrent data structures. 37th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 281, 35.","mla":"Aksenov, Vitaly, et al. “Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures.” <i>37th International Symposium on Distributed Computing</i>, vol. 281, 35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2023.35\">10.4230/LIPIcs.DISC.2023.35</a>.","short":"V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","ama":"Aksenov V, Anoprenko M, Fedorov A, Spear M. Brief announcement: BatchBoost: Universal batching for concurrent data structures. In: <i>37th International Symposium on Distributed Computing</i>. Vol 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2023.35\">10.4230/LIPIcs.DISC.2023.35</a>","apa":"Aksenov, V., Anoprenko, M., Fedorov, A., &#38; Spear, M. (2023). Brief announcement: BatchBoost: Universal batching for concurrent data structures. In <i>37th International Symposium on Distributed Computing</i> (Vol. 281). L’Aquila, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2023.35\">https://doi.org/10.4230/LIPIcs.DISC.2023.35</a>"},"file":[{"file_id":"14492","checksum":"d9f8d2915cccdf2df5905b7cd1b4a560","file_name":"2023_LIPIcs_Aksenov.pdf","date_created":"2023-11-06T11:45:21Z","content_type":"application/pdf","creator":"dernst","success":1,"relation":"main_file","date_updated":"2023-11-06T11:45:21Z","file_size":646665,"access_level":"open_access"}],"publication_identifier":{"issn":["1868-8969"],"isbn":["9783959773010"]},"conference":{"name":"DISC: Symposium on Distributed Computing","start_date":"2023-10-09","end_date":"2023-10-13","location":"L'Aquila, Italy"},"intvolume":"       281","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"},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","volume":281,"oa":1,"type":"conference","month":"10","quality_controlled":"1","status":"public","publication":"37th International Symposium on Distributed Computing","publication_status":"published","date_published":"2023-10-01T00:00:00Z","article_processing_charge":"Yes","oa_version":"Published Version","day":"01","alternative_title":["LIPIcs"],"date_updated":"2024-10-09T21:07:14Z","title":"Brief announcement: BatchBoost: Universal batching for concurrent data structures","ddc":["000"],"abstract":[{"lang":"eng","text":"Batching is a technique that stores multiple keys/values in each node of a data structure. In sequential search data structures, batching reduces latency by reducing the number of cache misses and shortening the chain of pointers to dereference. Applying batching to concurrent data structures is challenging, because it is difficult to maintain the search property and keep contention low in the presence of batching.\r\nIn this paper, we present a general methodology for leveraging batching in concurrent search data structures, called BatchBoost. BatchBoost builds a search data structure from distinct \"data\" and \"index\" layers. The data layer’s purpose is to store a batch of key/value pairs in each of its nodes. The index layer uses an unmodified concurrent search data structure to route operations to a position in the data layer that is \"close\" to where the corresponding key should exist. The requirements on the index and data layers are low: with minimal effort, we were able to compose three highly scalable concurrent search data structures based on three original data structures as the index layers with a batched version of the Lazy List as the data layer. The resulting BatchBoost data structures provide significant performance improvements over their original counterparts."}]},{"title":"Advances in efficiency and privacy in payment channel network analysis","ddc":["000"],"ec_funded":1,"abstract":[{"lang":"eng","text":"Payment channel networks are a promising approach to improve the scalability bottleneck\r\nof cryptocurrencies. Two design principles behind payment channel networks are\r\nefficiency and privacy. Payment channel networks improve efficiency by allowing users\r\nto transact in a peer-to-peer fashion along multi-hop routes in the network, avoiding\r\nthe lengthy process of consensus on the blockchain. Transacting over payment channel\r\nnetworks also improves privacy as these transactions are not broadcast to the blockchain.\r\nDespite the influx of recent protocols built on top of payment channel networks and\r\ntheir analysis, a common shortcoming of many of these protocols is that they typically\r\nfocus only on either improving efficiency or privacy, but not both. Another limitation\r\non the efficiency front is that the models used to model actions, costs and utilities of\r\nusers are limited or come with unrealistic assumptions.\r\nThis thesis aims to address some of the shortcomings of recent protocols and algorithms\r\non payment channel networks, particularly in their privacy and efficiency aspects. We\r\nfirst present a payment route discovery protocol based on hub labelling and private\r\ninformation retrieval that hides the route query and is also efficient. We then present\r\na rebalancing protocol that formulates the rebalancing problem as a linear program\r\nand solves the linear program using multiparty computation so as to hide the channel\r\nbalances. The rebalancing solution as output by our protocol is also globally optimal.\r\nWe go on to develop more realistic models of the action space, costs, and utilities of\r\nboth existing and new users that want to join the network. In each of these settings,\r\nwe also develop algorithms to optimise the utility of these users with good guarantees\r\non the approximation and competitive ratios."}],"status":"public","publication_status":"published","oa_version":"Published Version","day":"10","alternative_title":["ISTA Thesis"],"date_updated":"2026-04-07T13:29:45Z","date_published":"2023-11-10T00:00:00Z","article_processing_charge":"No","publisher":"Institute of Science and Technology Austria","oa":1,"publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","page":"162","type":"dissertation","month":"11","citation":{"apa":"Yeo, M. X. (2023). <i>Advances in efficiency and privacy in payment channel network analysis</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/14506\">https://doi.org/10.15479/14506</a>","ama":"Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:<a href=\"https://doi.org/10.15479/14506\">10.15479/14506</a>","short":"M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.","mla":"Yeo, Michelle X. <i>Advances in Efficiency and Privacy in Payment Channel Network Analysis</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/14506\">10.15479/14506</a>.","ista":"Yeo MX. 2023. Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria.","chicago":"Yeo, Michelle X. “Advances in Efficiency and Privacy in Payment Channel Network Analysis.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/14506\">https://doi.org/10.15479/14506</a>.","ieee":"M. X. Yeo, “Advances in efficiency and privacy in payment channel network analysis,” Institute of Science and Technology Austria, 2023."},"file":[{"content_type":"application/x-zip-compressed","date_created":"2023-11-23T10:29:55Z","creator":"cchlebak","file_id":"14598","file_name":"thesis_yeo.zip","checksum":"521c72818d720a52b377207b2ee87b6a","access_level":"closed","file_size":3037720,"date_updated":"2023-11-23T10:29:55Z","relation":"source_file"},{"relation":"main_file","success":1,"date_updated":"2023-11-23T10:30:08Z","file_size":2717256,"access_level":"open_access","file_name":"thesis_yeo.pdf","checksum":"0ed5d16899687aecf13d843c9878c9f2","file_id":"14599","creator":"cchlebak","content_type":"application/pdf","date_created":"2023-11-23T10:30:08Z"}],"project":[{"name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385"}],"corr_author":"1","file_date_updated":"2023-11-23T10:30:08Z","language":[{"iso":"eng"}],"degree_awarded":"PhD","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","year":"2023","related_material":{"record":[{"relation":"part_of_dissertation","id":"13238","status":"deleted"},{"relation":"part_of_dissertation","id":"9969","status":"public"},{"relation":"part_of_dissertation","id":"14490","status":"public"}]},"supervisor":[{"last_name":"Pietrzak","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654"}],"author":[{"orcid":"0009-0001-3676-4809","first_name":"Michelle X","full_name":"Yeo, Michelle X","last_name":"Yeo","id":"2D82B818-F248-11E8-B48F-1D18A9856A87"}],"department":[{"_id":"GradSch"},{"_id":"KrPi"}],"date_created":"2023-11-10T08:10:43Z","_id":"14506","has_accepted_license":"1","doi":"10.15479/14506"},{"citation":{"ama":"Riedl M. Synchronization in collectively moving active matter. 2023. doi:<a href=\"https://doi.org/10.15479/14530\">10.15479/14530</a>","apa":"Riedl, M. (2023). <i>Synchronization in collectively moving active matter</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/14530\">https://doi.org/10.15479/14530</a>","ieee":"M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.","ista":"Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.","chicago":"Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/14530\">https://doi.org/10.15479/14530</a>.","mla":"Riedl, Michael. <i>Synchronization in Collectively Moving Active Matter</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/14530\">10.15479/14530</a>.","short":"M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023."},"file":[{"file_id":"14536","checksum":"52e1d0ab6c1abe59c82dfe8c9ff5f83a","file_name":"Thesis_Riedl_2023_corr.pdf","date_created":"2023-11-15T09:52:54Z","content_type":"application/pdf","creator":"mriedl","success":1,"relation":"main_file","file_size":36743942,"access_level":"open_access","date_updated":"2023-11-15T09:52:54Z"}],"page":"260","type":"dissertation","month":"11","publication_identifier":{"issn":["2663-337X"]},"OA_place":"publisher","publisher":"Institute of Science and Technology Austria","oa":1,"article_processing_charge":"No","date_published":"2023-11-16T00:00:00Z","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"Bio"}],"oa_version":"Updated Version","date_updated":"2026-04-07T13:29:13Z","day":"16","alternative_title":["ISTA Thesis"],"publication_status":"published","status":"public","abstract":[{"lang":"eng","text":"Most motions of many-body systems at any scale in nature with sufficient degrees of freedom tend to be chaotic; reaching from the orbital motion of planets, the air currents in our atmosphere, down to the water flowing through our pipelines or the movement of a population of bacteria. To the observer it is therefore intriguing when a moving collective exhibits order. Collective motion of flocks of birds, schools of fish or swarms of self-propelled particles or robots have been studied extensively over the past decades but the mechanisms involved in the transition from chaos to order remain unclear. Here, the interactions, that in most systems give rise to chaos, sustain order.  In this thesis we investigate mechanisms that preserve, destabilize or lead to the ordered state. We show that endothelial cells migrating in circular confinements transition to a collective rotating state and concomitantly synchronize the frequencies of nucleating actin waves within individual cells. Consequently, the frequency dependent cell migration speed uniformizes across the population. Complementary to the WAVE dependent nucleation of traveling actin waves, we show that in leukocytes the actin polymerization depending on WASp generates pushing forces locally at stationary patches. Next, in pipe flows, we study methods to disrupt the self--sustaining cycle of turbulence and therefore relaminarize the flow. While we find in pulsating flow conditions that turbulence emerges through a helical instability during the decelerating phase. Finally, we show quantitatively in brain slices of mice that wild-type control neurons can compensate the migratory deficits of a genetically modified neuronal sub--population in the developing cortex.  "}],"title":"Synchronization in collectively moving active matter","ddc":["530","570"],"has_accepted_license":"1","doi":"10.15479/14530","_id":"14530","department":[{"_id":"GradSch"},{"_id":"MiSi"}],"date_created":"2023-11-15T09:59:03Z","author":[{"last_name":"Riedl","id":"3BE60946-F248-11E8-B48F-1D18A9856A87","full_name":"Riedl, Michael","first_name":"Michael","orcid":"0000-0003-4844-6311"}],"year":"2023","related_material":{"record":[{"id":"461","relation":"part_of_dissertation","status":"public"},{"id":"10791","relation":"part_of_dissertation","status":"public"},{"id":"7932","relation":"part_of_dissertation","status":"public"},{"status":"public","id":"10703","relation":"part_of_dissertation"},{"status":"public","relation":"old_edition","id":"12726"}]},"supervisor":[{"orcid":"0000-0003-2057-2754","first_name":"Björn","full_name":"Hof, Björn","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","keyword":["Synchronization","Collective Movement","Active Matter","Cell Migration","Active Colloids"],"degree_awarded":"PhD","language":[{"iso":"eng"}],"file_date_updated":"2023-11-15T09:52:54Z","corr_author":"1"},{"date_created":"2023-11-15T13:39:10Z","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"author":[{"last_name":"Zikelic","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","full_name":"Zikelic, Dorde","first_name":"Dorde","orcid":"0000-0002-4681-1699"}],"doi":"10.15479/14539","_id":"14539","file_date_updated":"2023-11-15T13:44:24Z","corr_author":"1","language":[{"iso":"eng"}],"degree_awarded":"PhD","supervisor":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"}],"year":"2023","related_material":{"record":[{"relation":"part_of_dissertation","id":"10414","status":"public"},{"id":"12000","relation":"part_of_dissertation","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"9644"},{"status":"public","relation":"part_of_dissertation","id":"12511"},{"status":"public","id":"14600","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"14601"},{"status":"public","id":"1194","relation":"part_of_dissertation"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","OA_place":"publisher","publication_identifier":{"isbn":["978-3-99078-036-7"],"issn":["2663-337X"]},"publisher":"Institute of Science and Technology Austria","tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode"},"oa":1,"month":"11","type":"dissertation","page":"256","file":[{"relation":"main_file","success":1,"date_updated":"2023-11-15T13:43:28Z","file_size":2116426,"access_level":"open_access","file_name":"main.pdf","checksum":"f23e002b0059ca78e1fbb864da52dd7e","file_id":"14540","creator":"cchlebak","date_created":"2023-11-15T13:43:28Z","content_type":"application/pdf"},{"file_name":"thesis_source.zip","checksum":"80ca37618a3c7b59866875f8be9b15ed","file_id":"14541","creator":"cchlebak","date_created":"2023-11-15T13:44:24Z","content_type":"application/x-zip-compressed","relation":"source_file","date_updated":"2023-11-15T13:44:24Z","file_size":35884057,"access_level":"closed"}],"citation":{"ama":"Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:<a href=\"https://doi.org/10.15479/14539\">10.15479/14539</a>","apa":"Zikelic, D. (2023). <i>Automated verification and control of infinite state stochastic systems</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/14539\">https://doi.org/10.15479/14539</a>","ieee":"D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.","ista":"Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.","chicago":"Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/14539\">https://doi.org/10.15479/14539</a>.","mla":"Zikelic, Dorde. <i>Automated Verification and Control of Infinite State Stochastic Systems</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/14539\">10.15479/14539</a>.","short":"D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023."},"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"},{"name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"ddc":["000"],"title":"Automated verification and control of infinite state stochastic systems","abstract":[{"text":"Stochastic systems provide a formal framework for modelling and quantifying uncertainty in systems and have been widely adopted in many application domains. Formal\r\nverification and control of finite state stochastic systems, a subfield of formal methods\r\nalso known as probabilistic model checking, is well studied. In contrast, formal verification and control of infinite state stochastic systems have received comparatively\r\nless attention. However, infinite state stochastic systems commonly arise in practice.\r\nFor instance, probabilistic models that contain continuous probability distributions such\r\nas normal or uniform, or stochastic dynamical systems which are a classical model for\r\ncontrol under uncertainty, both give rise to infinite state systems.\r\nThe goal of this thesis is to contribute to laying theoretical and algorithmic foundations\r\nof fully automated formal verification and control of infinite state stochastic systems,\r\nwith a particular focus on systems that may be executed over a long or infinite time.\r\nWe consider formal verification of infinite state stochastic systems in the setting of\r\nstatic analysis of probabilistic programs and formal control in the setting of controller\r\nsynthesis in stochastic dynamical systems. For both problems, we present some of the\r\nfirst fully automated methods for probabilistic (a.k.a. quantitative) reachability and\r\nsafety analysis applicable to infinite time horizon systems. We also advance the state\r\nof the art of probability 1 (a.k.a. qualitative) reachability analysis for both problems.\r\nFinally, for formal controller synthesis in stochastic dynamical systems, we present a\r\nnovel framework for learning neural network control policies in stochastic dynamical\r\nsystems with formal guarantees on correctness with respect to quantitative reachability,\r\nsafety or reach-avoid specifications.\r\n","lang":"eng"}],"ec_funded":1,"status":"public","publication_status":"published","date_published":"2023-11-15T00:00:00Z","article_processing_charge":"No","date_updated":"2026-04-07T13:27:56Z","day":"15","alternative_title":["ISTA Thesis"],"oa_version":"Published Version"},{"corr_author":"1","file_date_updated":"2024-03-20T12:28:32Z","language":[{"iso":"eng"}],"degree_awarded":"PhD","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","supervisor":[{"last_name":"Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L","first_name":"Julian L","orcid":"0000-0002-0479-558X"}],"year":"2023","related_material":{"record":[{"relation":"part_of_dissertation","id":"11842","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"14597"}]},"author":[{"id":"25647992-AA84-11E9-9D75-8427E6697425","last_name":"Marveggio","full_name":"Marveggio, Alice","first_name":"Alice"}],"date_created":"2023-11-21T11:41:05Z","department":[{"_id":"GradSch"},{"_id":"JuFi"}],"acknowledgement":"The research projects contained in this thesis have received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819).","_id":"14587","has_accepted_license":"1","doi":"10.15479/at:ista:14587","ddc":["515"],"title":"Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences","ec_funded":1,"abstract":[{"lang":"eng","text":"This thesis concerns the application of variational methods to the study of evolution problems arising in fluid mechanics and in material sciences. The main focus is on weak-strong stability properties of some curvature driven interface evolution problems, such as the two-phase Navier–Stokes flow with surface tension and multiphase mean curvature flow, and on the phase-field approximation of the latter. Furthermore, we discuss a variational approach to the study of a class of doubly nonlinear wave equations.\r\nFirst, we consider the two-phase Navier–Stokes flow with surface tension within a bounded domain. The two fluids are immiscible and separated by a sharp interface, which intersects the boundary of the domain at a constant contact angle of ninety degree. We devise a suitable concept of varifolds solutions for the associated interface evolution problem and we establish a weak-strong uniqueness principle in case of a two dimensional ambient space. In order to focus on the boundary effects and on the singular geometry of the evolving domains, we work for simplicity in the regime of same viscosities for the two fluids.\r\nThe core of the thesis consists in the rigorous proof of the convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow for a suitable class of multi- well potentials and for well-prepared initial data. We even establish a rate of convergence. Our relative energy approach relies on the concept of gradient-flow calibration for branching singularities in multiphase mean curvature flow and thus enables us to overcome the limitations of other approaches. To the best of the author’s knowledge, our result is the first quantitative and unconditional one available in the literature for the vectorial/multiphase setting.\r\nThis thesis also contains a first study of weak-strong stability for planar multiphase mean curvature flow beyond the singularity resulting from a topology change. Previous weak-strong results are indeed limited to time horizons before the first topology change of the strong solution. We consider circular topology changes and we prove weak-strong stability for BV solutions to planar multiphase mean curvature flow beyond the associated singular times by dynamically adapting the strong solutions to the weak one by means of a space-time shift.\r\nIn the context of interface evolution problems, our proofs for the main results of this thesis are based on the relative energy technique, relying on novel suitable notions of relative energy functionals, which in particular measure the interface error. Our statements follow from the resulting stability estimates for the relative energy associated to the problem.\r\nAt last, we introduce a variational approach to the study of nonlinear evolution problems. This approach hinges on the minimization of a parameter dependent family of convex functionals over entire trajectories, known as Weighted Inertia-Dissipation-Energy (WIDE) functionals. We consider a class of doubly nonlinear wave equations and establish the convergence, up to subsequences, of the associated WIDE minimizers to a solution of the target problem as the parameter goes to zero."}],"publication_status":"published","status":"public","alternative_title":["ISTA Thesis"],"date_updated":"2026-04-07T13:28:13Z","day":"21","oa_version":"Published Version","date_published":"2023-11-21T00:00:00Z","article_processing_charge":"No","publisher":"Institute of Science and Technology Austria","tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode"},"oa":1,"OA_place":"publisher","publication_identifier":{"issn":["2663-337X"]},"month":"11","type":"dissertation","page":"228","file":[{"relation":"main_file","success":1,"date_updated":"2023-11-29T09:09:31Z","file_size":2881100,"access_level":"open_access","checksum":"6c7db4cc86da6cdc79f7f358dc7755d4","file_name":"thesis_Marveggio.pdf","file_id":"14626","creator":"amarvegg","date_created":"2023-11-29T09:09:31Z","content_type":"application/pdf"},{"content_type":"application/zip","date_created":"2023-11-29T09:10:19Z","creator":"amarvegg","file_id":"14627","file_name":"Thesis_Marveggio.zip","checksum":"52f28bdf95ec82cff39f3685f9c48e7d","date_updated":"2024-03-20T12:28:32Z","file_size":10189696,"access_level":"closed","relation":"source_file"}],"citation":{"short":"A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.","mla":"Marveggio, Alice. <i>Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:14587\">10.15479/at:ista:14587</a>.","ista":"Marveggio A. 2023. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria.","chicago":"Marveggio, Alice. “Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:14587\">https://doi.org/10.15479/at:ista:14587</a>.","ieee":"A. Marveggio, “Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences,” Institute of Science and Technology Austria, 2023.","apa":"Marveggio, A. (2023). <i>Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:14587\">https://doi.org/10.15479/at:ista:14587</a>","ama":"Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:14587\">10.15479/at:ista:14587</a>"},"project":[{"_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","grant_number":"948819","call_identifier":"H2020","name":"Bridging Scales in Random Materials"}]}]