[{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"mla":"Desai, Ankush, et al. “P: Safe Asynchronous Event-Driven Programming.” Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–31, doi:10.1145/2491956.2462184.","short":"A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, D. Zufferey, in:, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–331.","ieee":"A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, and D. Zufferey, “P: Safe asynchronous event-driven programming,” in Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, WA, United States, 2013, pp. 321–331.","ama":"Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. P: Safe asynchronous event-driven programming. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM; 2013:321-331. doi:10.1145/2491956.2462184","apa":"Desai, A., Gupta, V., Jackson, E., Qadeer, S., Rajamani, S., & Zufferey, D. (2013). P: Safe asynchronous event-driven programming. In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 321–331). Seattle, WA, United States: ACM. https://doi.org/10.1145/2491956.2462184","chicago":"Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.” In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 321–31. ACM, 2013. https://doi.org/10.1145/2491956.2462184.","ista":"Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S, Zufferey D. 2013. P: Safe asynchronous event-driven programming. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Languages Design and Implementation, 321–331."},"date_updated":"2021-01-12T06:56:38Z","title":"P: Safe asynchronous event-driven programming","department":[{"_id":"ToHe"}],"publist_id":"4626","author":[{"full_name":"Desai, Ankush","last_name":"Desai","first_name":"Ankush"},{"last_name":"Gupta","full_name":"Gupta, Vivek","first_name":"Vivek"},{"first_name":"Ethan","full_name":"Jackson, Ethan","last_name":"Jackson"},{"full_name":"Qadeer, Shaz","last_name":"Qadeer","first_name":"Shaz"},{"first_name":"Sriram","full_name":"Rajamani, Sriram","last_name":"Rajamani"},{"orcid":"0000-0002-3197-8736","full_name":"Zufferey, Damien","last_name":"Zufferey","first_name":"Damien","id":"4397AC76-F248-11E8-B48F-1D18A9856A87"}],"_id":"2301","status":"public","project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"name":"Quantitative Reactive Modeling","grant_number":"267989","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"type":"conference","conference":{"location":"Seattle, WA, United States","end_date":"2013-06-19","start_date":"2013-06-16","name":"PLDI: Programming Languages Design and Implementation"},"day":"01","language":[{"iso":"eng"}],"publication":"Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation","publication_status":"published","year":"2013","date_published":"2013-06-01T00:00:00Z","doi":"10.1145/2491956.2462184","date_created":"2018-12-11T11:56:52Z","ec_funded":1,"page":"321 - 331","oa_version":"None","abstract":[{"text":"We describe the design and implementation of P, a domain-specific language to write asynchronous event driven code. P allows the programmer to specify the system as a collection of interacting state machines, which communicate with each other using events. P unifies modeling and programming into one activity for the programmer. Not only can a P program be compiled into executable code, but it can also be tested using model checking techniques. P allows the programmer to specify the environment, used to "close" the system during testing, as nondeterministic ghost machines. Ghost machines are erased during compilation to executable code; a type system ensures that the erasure is semantics preserving. The P language is designed so that a P program can be checked for responsiveness-the ability to handle every event in a timely manner. By default, a machine needs to handle every event that arrives in every state. But handling every event in every state is impractical. The language provides a notion of deferred events where the programmer can annotate when she wants to delay processing an event. The default safety checker looks for presence of unhan-dled events. The language also provides default liveness checks that an event cannot be potentially deferred forever. P was used to implement and verify the core of the USB device driver stack that ships with Microsoft Windows 8. The resulting driver is more reliable and performs better than its prior incarnation (which did not use P); we have more confidence in the robustness of its design due to the language abstractions and verification provided by P.","lang":"eng"}],"month":"06","publisher":"ACM","quality_controlled":"1","scopus_import":1,"main_file_link":[{"url":"http://research.microsoft.com/pubs/191069/pldi212_desai.pdf"}]},{"volume":88,"issue":"6","language":[{"iso":"eng"}],"publication_status":"published","intvolume":" 88","month":"08","main_file_link":[{"url":"http://arxiv.org/abs/1305.5323","open_access":"1"}],"scopus_import":1,"oa_version":"Preprint","abstract":[{"text":"We consider Ising models in two and three dimensions with nearest neighbor ferromagnetic interactions and long-range, power law decaying, antiferromagnetic interactions. If the strength of the ferromagnetic coupling J is larger than a critical value Jc, then the ground state is homogeneous and ferromagnetic. As the critical value is approached from smaller values of J, it is believed that the ground state consists of a periodic array of stripes (d=2) or slabs (d=3), all of the same size and alternating magnetization. Here we prove rigorously that the ground state energy per site converges to that of the optimal periodic striped or slabbed state, in the limit that J tends to the ferromagnetic transition point. While this theorem does not prove rigorously that the ground state is precisely striped or slabbed, it does prove that in any suitably large box the ground state is striped or slabbed with high probability.","lang":"eng"}],"department":[{"_id":"RoSe"}],"date_updated":"2021-01-12T06:56:38Z","status":"public","type":"journal_article","_id":"2300","date_created":"2018-12-11T11:56:51Z","date_published":"2013-08-01T00:00:00Z","doi":"10.1103/PhysRevB.88.064401","publication":"Physical Review B","day":"01","year":"2013","oa":1,"quality_controlled":"1","publisher":"American Physical Society","title":"Realization of stripes and slabs in two and three dimensions","external_id":{"arxiv":["1305.5323"]},"publist_id":"4627","author":[{"full_name":"Giuliani, Alessandro","last_name":"Giuliani","first_name":"Alessandro"},{"first_name":"Élliott","last_name":"Lieb","full_name":"Lieb, Élliott"},{"last_name":"Seiringer","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ista":"Giuliani A, Lieb É, Seiringer R. 2013. Realization of stripes and slabs in two and three dimensions. Physical Review B. 88(6), 064401.","chicago":"Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B. American Physical Society, 2013. https://doi.org/10.1103/PhysRevB.88.064401.","apa":"Giuliani, A., Lieb, É., & Seiringer, R. (2013). Realization of stripes and slabs in two and three dimensions. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.88.064401","ama":"Giuliani A, Lieb É, Seiringer R. Realization of stripes and slabs in two and three dimensions. Physical Review B. 2013;88(6). doi:10.1103/PhysRevB.88.064401","ieee":"A. Giuliani, É. Lieb, and R. Seiringer, “Realization of stripes and slabs in two and three dimensions,” Physical Review B, vol. 88, no. 6. American Physical Society, 2013.","short":"A. Giuliani, É. Lieb, R. Seiringer, Physical Review B 88 (2013).","mla":"Giuliani, Alessandro, et al. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B, vol. 88, no. 6, 064401, American Physical Society, 2013, doi:10.1103/PhysRevB.88.064401."},"article_number":"064401"},{"_id":"2303","type":"journal_article","article_type":"review","status":"public","date_updated":"2021-01-12T06:56:39Z","citation":{"ista":"Hippenmeyer S. 2013. Dissection of gene function at clonal level using mosaic analysis with double markers. Frontiers in Biology. 8(6), 557–568.","chicago":"Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.” Frontiers in Biology. Springer, 2013. https://doi.org/10.1007/s11515-013-1279-6.","ieee":"S. Hippenmeyer, “Dissection of gene function at clonal level using mosaic analysis with double markers,” Frontiers in Biology, vol. 8, no. 6. Springer, pp. 557–568, 2013.","short":"S. Hippenmeyer, Frontiers in Biology 8 (2013) 557–568.","apa":"Hippenmeyer, S. (2013). Dissection of gene function at clonal level using mosaic analysis with double markers. Frontiers in Biology. Springer. https://doi.org/10.1007/s11515-013-1279-6","ama":"Hippenmeyer S. Dissection of gene function at clonal level using mosaic analysis with double markers. Frontiers in Biology. 2013;8(6):557-568. doi:10.1007/s11515-013-1279-6","mla":"Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.” Frontiers in Biology, vol. 8, no. 6, Springer, 2013, pp. 557–68, doi:10.1007/s11515-013-1279-6."},"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","author":[{"id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Hippenmeyer","orcid":"0000-0003-2279-1061","full_name":"Hippenmeyer, Simon"}],"publist_id":"4624","department":[{"_id":"SiHi"}],"title":"Dissection of gene function at clonal level using mosaic analysis with double markers","abstract":[{"lang":"eng","text":"MADM (Mosaic Analysis with Double Markers) technology offers a genetic approach in mice to visualize and concomitantly manipulate genetically defined cells at clonal level and single cell resolution. MADM employs Cre recombinase/loxP-dependent interchromosomal mitotic recombination to reconstitute two split marker genes—green GFP and red tdTomato—and can label sparse clones of homozygous mutant cells in one color and wild-type cells in the other color in an otherwise unlabeled background. At present, major MADM applications include lineage tracing, single cell labeling, conditional knockouts in small populations of cells and induction of uniparental chromosome disomy to assess effects of genomic imprinting. MADM can be applied universally in the mouse with the sole limitation being the specificity of the promoter controlling Cre recombinase expression. Here I review recent developments and extensions of the MADM technique and give an overview of the major discoveries and progresses enabled by the implementation of the novel genetic MADM tools."}],"acknowledgement":"This work was supported by IST Austria institutional funds.","oa_version":"None","publisher":"Springer","quality_controlled":"1","scopus_import":1,"intvolume":" 8","month":"09","year":"2013","publication_status":"published","language":[{"iso":"eng"}],"publication":"Frontiers in Biology","day":"03","page":"557 - 568","date_created":"2018-12-11T11:56:52Z","volume":8,"date_published":"2013-09-03T00:00:00Z","issue":"6","doi":"10.1007/s11515-013-1279-6"},{"type":"journal_article","status":"public","_id":"2304","publist_id":"4623","author":[{"last_name":"Pausinger","full_name":"Pausinger, Florian","orcid":"0000-0002-8379-3768","id":"2A77D7A2-F248-11E8-B48F-1D18A9856A87","first_name":"Florian"}],"department":[{"_id":"HeEd"}],"title":"Van der Corput sequences and linear permutations","citation":{"chicago":"Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.” Electronic Notes in Discrete Mathematics. Elsevier, 2013. https://doi.org/10.1016/j.endm.2013.07.008.","ista":"Pausinger F. 2013. Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. 43, 43–50.","mla":"Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.” Electronic Notes in Discrete Mathematics, vol. 43, Elsevier, 2013, pp. 43–50, doi:10.1016/j.endm.2013.07.008.","apa":"Pausinger, F. (2013). Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. Elsevier. https://doi.org/10.1016/j.endm.2013.07.008","ama":"Pausinger F. Van der Corput sequences and linear permutations. Electronic Notes in Discrete Mathematics. 2013;43:43-50. doi:10.1016/j.endm.2013.07.008","ieee":"F. Pausinger, “Van der Corput sequences and linear permutations,” Electronic Notes in Discrete Mathematics, vol. 43. Elsevier, pp. 43–50, 2013.","short":"F. Pausinger, Electronic Notes in Discrete Mathematics 43 (2013) 43–50."},"date_updated":"2021-01-12T06:56:39Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","scopus_import":1,"publisher":"Elsevier","month":"09","intvolume":" 43","abstract":[{"text":"This extended abstract is concerned with the irregularities of distribution of one-dimensional permuted van der Corput sequences that are generated from linear permutations. We show how to obtain upper bounds for the discrepancy and diaphony of these sequences, by relating them to Kronecker sequences and applying earlier results of Faure and Niederreiter.","lang":"eng"}],"oa_version":"None","acknowledgement":"This research is supported by the Graduate school of IST Austria (Institute of Science and Technology Austria).","page":"43 - 50","volume":43,"date_published":"2013-09-05T00:00:00Z","doi":"10.1016/j.endm.2013.07.008","date_created":"2018-12-11T11:56:53Z","year":"2013","publication_status":"published","day":"05","publication":"Electronic Notes in Discrete Mathematics","language":[{"iso":"eng"}]},{"citation":{"chicago":"Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Disordered Bose-Einstein Condensates with Interaction,” 610–19. World Scientific Publishing, 2013. https://doi.org/10.1142/9789814449243_0063.","ista":"Seiringer R, Yngvason J, Zagrebnov V. 2013. Disordered Bose-Einstein condensates with interaction. ICMP: International Congress on Mathematical Physics, 610–619.","mla":"Seiringer, Robert, et al. Disordered Bose-Einstein Condensates with Interaction. World Scientific Publishing, 2013, pp. 610–19, doi:10.1142/9789814449243_0063.","ieee":"R. Seiringer, J. Yngvason, and V. Zagrebnov, “Disordered Bose-Einstein condensates with interaction,” presented at the ICMP: International Congress on Mathematical Physics, 2013, pp. 610–619.","short":"R. Seiringer, J. Yngvason, V. Zagrebnov, in:, World Scientific Publishing, 2013, pp. 610–619.","ama":"Seiringer R, Yngvason J, Zagrebnov V. Disordered Bose-Einstein condensates with interaction. In: World Scientific Publishing; 2013:610-619. doi:10.1142/9789814449243_0063","apa":"Seiringer, R., Yngvason, J., & Zagrebnov, V. (2013). Disordered Bose-Einstein condensates with interaction (pp. 610–619). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1142/9789814449243_0063"},"date_updated":"2021-01-12T06:56:43Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","article_processing_charge":"No","external_id":{"arxiv":["1209.4046"]},"publist_id":"4612","author":[{"first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521"},{"last_name":"Yngvason","full_name":"Yngvason, Jakob","first_name":"Jakob"},{"full_name":"Zagrebnov, Valentin","last_name":"Zagrebnov","first_name":"Valentin"}],"title":"Disordered Bose-Einstein condensates with interaction","_id":"2315","conference":{"name":"ICMP: International Congress on Mathematical Physics"},"type":"conference","status":"public","publication_status":"published","year":"2013","language":[{"iso":"eng"}],"page":"610-619","date_created":"2018-12-11T11:56:57Z","doi":"10.1142/9789814449243_0063","date_published":"2013-01-01T00:00:00Z","abstract":[{"lang":"eng","text":" We study the effects of random scatterers on the ground state of the one-dimensional Lieb-Liniger model of interacting bosons on the unit interval in the Gross-Pitaevskii regime. We prove that Bose Einstein condensation survives even a strong random potential with a high density of scatterers. The character of the wave function of the condensate, however, depends in an essential way on the interplay between randomness and the strength of the two-body interaction. For low density of scatterers or strong interactions the wave function extends over the whole interval. High density of scatterers and weak interaction, on the other hand, leads to localization of the wave function in a fragmented subset of the interval. "}],"oa_version":"None","oa":1,"main_file_link":[{"url":"http://arxiv.org/abs/1209.4046","open_access":"1"}],"publisher":"World Scientific Publishing"},{"_id":"2319","status":"public","type":"conference","conference":{"name":"OTAMP: Operator Theory, Analysis and Mathematical Physics"},"extern":1,"date_updated":"2021-01-12T06:56:45Z","citation":{"chicago":"Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “ Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction,” 57–88. Springer, 2013. https://doi.org/10.1007/978-3-0348-0531-5_3.","ista":"Frank R, Hainzl C, Seiringer R, Solovej J. 2013. Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction. OTAMP: Operator Theory, Analysis and Mathematical Physics, 57–88.","mla":"Frank, Rupert, et al. Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction. Springer, 2013, pp. 57–88, doi:10.1007/978-3-0348-0531-5_3.","apa":"Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2013). Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction (pp. 57–88). Presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, Springer. https://doi.org/10.1007/978-3-0348-0531-5_3","ama":"Frank R, Hainzl C, Seiringer R, Solovej J. Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction. In: Springer; 2013:57-88. doi:10.1007/978-3-0348-0531-5_3","ieee":"R. Frank, C. Hainzl, R. Seiringer, and J. Solovej, “ Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction,” presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, 2013, pp. 57–88.","short":"R. Frank, C. Hainzl, R. Seiringer, J. Solovej, in:, Springer, 2013, pp. 57–88."},"title":" Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction","author":[{"last_name":"Frank","full_name":"Frank, Rupert L","first_name":"Rupert"},{"last_name":"Hainzl","full_name":"Hainzl, Christian","first_name":"Christian"},{"last_name":"Seiringer","full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert"},{"full_name":"Solovej, Jan P","last_name":"Solovej","first_name":"Jan"}],"publist_id":"4608","abstract":[{"lang":"eng","text":"In a recent paper [7] we give the first rigorous derivation of the celebrated Ginzburg-Landau (GL)theory, starting from the microscopic Bardeen- Cooper-Schrieffer (BCS)model. Here we present our results in the simplified case of a one-dimensional system of particles interacting via a δ-potential."}],"month":"01","quality_controlled":0,"publisher":"Springer","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1103.1866"}],"day":"01","publication_status":"published","year":"2013","doi":"10.1007/978-3-0348-0531-5_3","date_published":"2013-01-01T00:00:00Z","date_created":"2018-12-11T11:56:58Z","page":"57 - 88"},{"publist_id":"4598","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"},{"last_name":"Sezgin","full_name":"Sezgin, Ali","first_name":"Ali","id":"4C7638DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Vafeiadis","full_name":"Vafeiadis, Viktor","first_name":"Viktor"}],"title":"Aspect-oriented linearizability proofs","citation":{"ista":"Henzinger TA, Sezgin A, Vafeiadis V. 2013. Aspect-oriented linearizability proofs. 8052, 242–256.","chicago":"Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.1007/978-3-642-40184-8_18.","short":"T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.","ieee":"T. A. Henzinger, A. Sezgin, and V. Vafeiadis, “Aspect-oriented linearizability proofs,” vol. 8052. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 242–256, 2013.","apa":"Henzinger, T. A., Sezgin, A., & Vafeiadis, V. (2013). Aspect-oriented linearizability proofs. Presented at the CONCUR: Concurrency Theory, Buenos Aires, Argentina: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-40184-8_18","ama":"Henzinger TA, Sezgin A, Vafeiadis V. Aspect-oriented linearizability proofs. 2013;8052:242-256. doi:10.1007/978-3-642-40184-8_18","mla":"Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"name":"Rigorous Systems Engineering","grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"grant_number":"267989","name":"Quantitative Reactive Modeling","_id":"25EE3708-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"page":"242 - 256","doi":"10.1007/978-3-642-40184-8_18","date_published":"2013-08-01T00:00:00Z","date_created":"2018-12-11T11:57:01Z","has_accepted_license":"1","year":"2013","day":"01","quality_controlled":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","oa":1,"department":[{"_id":"ToHe"}],"file_date_updated":"2020-07-14T12:45:39Z","date_updated":"2023-02-23T10:16:27Z","ddc":["000","004"],"type":"conference","conference":{"location":"Buenos Aires, Argentina","end_date":"2013-08-30","start_date":"2013-08-27","name":"CONCUR: Concurrency Theory"},"status":"public","pubrep_id":"197","series_title":"Lecture Notes in Computer Science","_id":"2328","volume":8052,"related_material":{"record":[{"status":"public","id":"1832","relation":"later_version"}]},"ec_funded":1,"publication_status":"published","file":[{"creator":"system","date_updated":"2020-07-14T12:45:39Z","file_size":337059,"date_created":"2018-12-12T10:08:58Z","file_name":"IST-2014-197-v1+1_main-queue-verification.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","checksum":"bdbb520de91751fe0136309ad4ef67e4","file_id":"4721"}],"language":[{"iso":"eng"}],"alternative_title":["LNCS"],"scopus_import":1,"month":"08","intvolume":" 8052","abstract":[{"text":"Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on identifying the so-called linearization points. Regrettably, such proofs, whether manual or automatic, are often complicated and scale poorly to advanced non-blocking concurrency patterns, such as helping and optimistic updates.\r\nIn response, we propose a more modular way of checking linearizability of concurrent queue algorithms that does not involve identifying linearization points. We reduce the task of proving linearizability with respect to the queue specification to establishing four basic properties, each of which can be proved independently by simpler arguments. As a demonstration of our approach, we verify the Herlihy and Wing queue, an algorithm that is challenging to verify by a simulation proof.","lang":"eng"}],"oa_version":"Submitted Version"},{"title":"A positive density analogue of the Lieb-Thirring inequality","author":[{"first_name":"Rupert","last_name":"Frank","full_name":"Frank, Rupert L"},{"first_name":"Mathieu","last_name":"Lewin","full_name":"Lewin, Mathieu"},{"first_name":"Élliott","last_name":"Lieb","full_name":"Lieb, Élliott H"},{"orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert"}],"publist_id":"4521","extern":1,"date_updated":"2021-01-12T06:57:17Z","citation":{"ista":"Frank R, Lewin M, Lieb É, Seiringer R. 2013. A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. 162(3), 435–495.","chicago":"Frank, Rupert, Mathieu Lewin, Élliott Lieb, and Robert Seiringer. “A Positive Density Analogue of the Lieb-Thirring Inequality.” Duke Mathematical Journal. Duke University Press, 2013. https://doi.org/10.1215/00127094-2019477.","short":"R. Frank, M. Lewin, É. Lieb, R. Seiringer, Duke Mathematical Journal 162 (2013) 435–495.","ieee":"R. Frank, M. Lewin, É. Lieb, and R. Seiringer, “A positive density analogue of the Lieb-Thirring inequality,” Duke Mathematical Journal, vol. 162, no. 3. Duke University Press, pp. 435–495, 2013.","ama":"Frank R, Lewin M, Lieb É, Seiringer R. A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. 2013;162(3):435-495. doi:10.1215/00127094-2019477","apa":"Frank, R., Lewin, M., Lieb, É., & Seiringer, R. (2013). A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2019477","mla":"Frank, Rupert, et al. “A Positive Density Analogue of the Lieb-Thirring Inequality.” Duke Mathematical Journal, vol. 162, no. 3, Duke University Press, 2013, pp. 435–95, doi:10.1215/00127094-2019477."},"status":"public","type":"journal_article","_id":"2404","doi":"10.1215/00127094-2019477","issue":"3","volume":162,"date_published":"2013-02-01T00:00:00Z","date_created":"2018-12-11T11:57:28Z","page":"435 - 495","day":"01","publication":"Duke Mathematical Journal","publication_status":"published","year":"2013","month":"02","intvolume":" 162","quality_controlled":0,"publisher":"Duke University Press","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1108.4246"}],"abstract":[{"text":"The Lieb-Thirring inequalities give a bound on the negative eigenvalues of a Schrödinger operator in terms of an Lp-norm of the potential. These are dual to bounds on the H1-norms of a system of orthonormal functions. Here we extend these bounds to analogous inequalities for perturbations of the Fermi sea of noninteracting particles (i.e., for perturbations of the continuous spectrum of the Laplacian by local potentials).","lang":"eng"}]},{"title":"Condensation of interacting bosons in a random potential","author":[{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Seiringer","full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521"},{"last_name":"Yngvason","full_name":"Yngvason, Jakob","first_name":"Jakob"},{"full_name":"Zagrebnov, Valentin A","last_name":"Zagrebnov","first_name":"Valentin"}],"publist_id":"4520","extern":1,"citation":{"apa":"Seiringer, R., Yngvason, J., & Zagrebnov, V. (2013). Condensation of interacting bosons in a random potential. European Physical Journal: Special Topics. Springer. https://doi.org/10.1140/epjst/e2013-01759-5","ama":"Seiringer R, Yngvason J, Zagrebnov V. Condensation of interacting bosons in a random potential. European Physical Journal: Special Topics. 2013;217(1):103-107. doi:10.1140/epjst/e2013-01759-5","ieee":"R. Seiringer, J. Yngvason, and V. Zagrebnov, “Condensation of interacting bosons in a random potential,” European Physical Journal: Special Topics, vol. 217, no. 1. Springer, pp. 103–107, 2013.","short":"R. Seiringer, J. Yngvason, V. Zagrebnov, European Physical Journal: Special Topics 217 (2013) 103–107.","mla":"Seiringer, Robert, et al. “Condensation of Interacting Bosons in a Random Potential.” European Physical Journal: Special Topics, vol. 217, no. 1, Springer, 2013, pp. 103–07, doi:10.1140/epjst/e2013-01759-5.","ista":"Seiringer R, Yngvason J, Zagrebnov V. 2013. Condensation of interacting bosons in a random potential. European Physical Journal: Special Topics. 217(1), 103–107.","chicago":"Seiringer, Robert, Jakob Yngvason, and Valentin Zagrebnov. “Condensation of Interacting Bosons in a Random Potential.” European Physical Journal: Special Topics. Springer, 2013. https://doi.org/10.1140/epjst/e2013-01759-5."},"date_updated":"2021-01-12T06:57:17Z","status":"public","type":"journal_article","_id":"2406","date_created":"2018-12-11T11:57:29Z","date_published":"2013-02-01T00:00:00Z","doi":"10.1140/epjst/e2013-01759-5","issue":"1","volume":217,"page":"103 - 107","publication":"European Physical Journal: Special Topics","day":"01","publication_status":"published","year":"2013","intvolume":" 217","month":"02","quality_controlled":0,"publisher":"Springer","abstract":[{"lang":"eng","text":"We study the effects of random scatterers on the ground state of the one-dimensional Lieb-Liniger model of interacting bosons on the unit interval. We prove that, in the Gross-Pitaevskii limit, Bose Einstein condensation takes place in the whole parameter range considered. The character of the wave function of the condensate, however, depends in an essential way on the interplay between randomness and the strength of the two-body interaction. For low density of scatterers or strong interactions the wave function extends over the whole interval. High density of scatterers and weak interaction, on the other hand, leads to localization of the wave function in a fragmented subset of the unit interval."}]},{"extern":1,"date_updated":"2021-01-12T06:57:17Z","citation":{"ista":"Frank R, Lieb É, Seiringer R. 2013. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 319(2), 557–573.","chicago":"Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics. Springer, 2013. https://doi.org/10.1007/s00220-012-1604-y.","apa":"Frank, R., Lieb, É., & Seiringer, R. (2013). Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-012-1604-y","ama":"Frank R, Lieb É, Seiringer R. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 2013;319(2):557-573. doi:10.1007/s00220-012-1604-y","ieee":"R. Frank, É. Lieb, and R. Seiringer, “Symmetry of bipolaron bound states for small Coulomb repulsion,” Communications in Mathematical Physics, vol. 319, no. 2. Springer, pp. 557–573, 2013.","short":"R. Frank, É. Lieb, R. Seiringer, Communications in Mathematical Physics 319 (2013) 557–573.","mla":"Frank, Rupert, et al. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics, vol. 319, no. 2, Springer, 2013, pp. 557–73, doi:10.1007/s00220-012-1604-y."},"title":"Symmetry of bipolaron bound states for small Coulomb repulsion","author":[{"first_name":"Rupert","full_name":"Frank, Rupert L","last_name":"Frank"},{"first_name":"Élliott","last_name":"Lieb","full_name":"Lieb, Élliott H"},{"first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Robert Seiringer","last_name":"Seiringer"}],"publist_id":"4522","_id":"2405","status":"public","type":"journal_article","day":"01","publication":"Communications in Mathematical Physics","year":"2013","publication_status":"published","volume":319,"doi":"10.1007/s00220-012-1604-y","issue":"2","date_published":"2013-04-01T00:00:00Z","date_created":"2018-12-11T11:57:28Z","page":"557 - 573","abstract":[{"lang":"eng","text":"We consider the bipolaron in the Pekar-Tomasevich approximation and address the question whether the ground state is spherically symmetric or not. Numerical analysis has, so far, not completely settled the question. Our contribution is to prove rigorously that the ground state remains spherical for small values of the electron-electron Coulomb repulsion."}],"month":"04","intvolume":" 319","quality_controlled":0,"publisher":"Springer","oa":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1201.3954"}]}]