[{"date_created":"2018-12-11T12:08:34Z","conference":{"name":"CAV: Computer Aided Verification"},"date_published":"2009-06-19T00:00:00Z","extern":1,"month":"06","file_date_updated":"2020-07-14T12:46:28Z","publist_id":"1074","pubrep_id":"45","citation":{"chicago":"Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_26\">https://doi.org/10.1007/978-3-642-02658-4_26</a>.","mla":"Guerraoui, Rachid, et al. <i>Software Transactional Memory on Relaxed Memory Models</i>. Vol. 5643, Springer, 2009, pp. 321–36, doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_26\">10.1007/978-3-642-02658-4_26</a>.","ama":"Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_26\">10.1007/978-3-642-02658-4_26</a>","ista":"Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.","short":"R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.","apa":"Guerraoui, R., Henzinger, T. A., &#38; Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_26\">https://doi.org/10.1007/978-3-642-02658-4_26</a>","ieee":"R. Guerraoui, T. A. Henzinger, and V. Singh, “Software transactional memory on relaxed memory models,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 321–336."},"day":"19","volume":5643,"quality_controlled":0,"type":"conference","publisher":"Springer","file":[{"date_created":"2018-12-12T10:14:50Z","file_id":"5105","relation":"main_file","file_size":265763,"creator":"system","file_name":"IST-2012-45-v1+1_Software_transactional_memory_on_relaxed_memory_models.pdf","date_updated":"2020-07-14T12:46:28Z","checksum":"df3c3e6306afd3f630a9146f91642f0a","content_type":"application/pdf","access_level":"open_access"}],"intvolume":"      5643","doi":"10.1007/978-3-642-02658-4_26","abstract":[{"lang":"eng","text":"Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptions are often violated in realistic settings, as STM implementations run on relaxed memory models, with the atomicity of operations as provided by the hardware. This paper presents the first approach to verify STMs under relaxed memory models with atomicity of 32 bit loads and stores, and read-modify-write operations. We present RML, a new high-level language for expressing concurrent algorithms with a hardware-level atomicity of instructions, and whose semantics is parametrized by various relaxed memory models. We then present our tool, FOIL, which takes as input the RML description of an STM algorithm and the description of a memory model, and automatically determines the locations of fences, which if inserted, ensure the correctness of the STM algorithm under the given memory model. We use FOIL to verify DSTM, TL2, and McRT STM under the memory models of sequential consistency, total store order, partial store order, and relaxed memory order."}],"year":"2009","alternative_title":["LNCS"],"_id":"4383","oa":1,"title":"Software transactional memory on relaxed memory models","author":[{"first_name":"Rachid","full_name":"Guerraoui, Rachid","last_name":"Guerraoui"},{"last_name":"Henzinger","full_name":"Thomas Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"id":"4DAE2708-F248-11E8-B48F-1D18A9856A87","first_name":"Vasu","full_name":"Vasu Singh","last_name":"Singh"}],"page":"321 - 336","acknowledgement":"This research was supported by the Swiss National Science Foundation.","publication_status":"published","status":"public","date_updated":"2021-01-12T07:56:34Z"},{"date_updated":"2023-02-23T11:06:20Z","page":"86 - 101","related_material":{"record":[{"relation":"later_version","status":"public","id":"2967"}]},"status":"public","publication_status":"published","_id":"4403","title":"Algorithmic analysis of array-accessing programs","oa":1,"author":[{"first_name":"Rajeev","full_name":"Alur, Rajeev","last_name":"Alur"},{"full_name":"Cerny, Pavol","last_name":"Cerny","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87","first_name":"Pavol"},{"first_name":"Scott","full_name":"Weinstein, Scott","last_name":"Weinstein"}],"doi":"10.1007/978-3-642-04027-6_9","abstract":[{"text":"For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. In this paper, we consider algorithmic verification of programs that use boolean variables, and in addition, access a single read-only array whose length is potentially unbounded, and whose elements range over a potentially unbounded data domain. We show that the reachability problem, while undecidable in general, is (1) Pspace-complete for programs in which the array-accessing for-loops are not nested, (2) decidable for a restricted class of programs with doubly-nested loops. The second result establishes connections to automata and logics defining languages over data words.","lang":"eng"}],"year":"2009","alternative_title":["LNCS"],"publisher":"Springer","main_file_link":[{"url":"http://repository.upenn.edu/cis_reports/894/","open_access":"1"}],"intvolume":"      5771","volume":5771,"quality_controlled":"1","language":[{"iso":"eng"}],"type":"conference","month":"09","publist_id":"1056","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.","apa":"Alur, R., Cerny, P., &#38; Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. <a href=\"https://doi.org/10.1007/978-3-642-04027-6_9\">https://doi.org/10.1007/978-3-642-04027-6_9</a>","short":"R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.","ama":"Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:<a href=\"https://doi.org/10.1007/978-3-642-04027-6_9\">10.1007/978-3-642-04027-6_9</a>","ista":"Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.","mla":"Alur, Rajeev, et al. <i>Algorithmic Analysis of Array-Accessing Programs</i>. Vol. 5771, Springer, 2009, pp. 86–101, doi:<a href=\"https://doi.org/10.1007/978-3-642-04027-6_9\">10.1007/978-3-642-04027-6_9</a>.","chicago":"Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-04027-6_9\">https://doi.org/10.1007/978-3-642-04027-6_9</a>."},"day":"01","oa_version":"Submitted Version","date_created":"2018-12-11T12:08:40Z","conference":{"end_date":"2009-09-11","start_date":"2009-09-07","location":"Coimbra, Portugal","name":"CSL: Computer Science Logic"},"extern":"1","date_published":"2009-09-01T00:00:00Z"},{"date_updated":"2021-01-12T07:57:04Z","page":"337 - 352","acknowledgement":"The research has been partially funded by the Swiss National Science Foundation under grant 205321-111840.","publication_status":"published","status":"public","_id":"4453","author":[{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","full_name":"Thomas Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Maria Mateescu","last_name":"Mateescu","id":"3B43276C-F248-11E8-B48F-1D18A9856A87","first_name":"Maria"},{"last_name":"Wolf","full_name":"Wolf, Verena","first_name":"Verena"}],"title":"Sliding-window abstraction for infinite Markov chains","oa":1,"doi":"10.1007/978-3-642-02658-4_27","year":"2009","alternative_title":["LNCS"],"abstract":[{"lang":"eng","text":"We present an on-the-fly abstraction technique for infinite-state continuous -time Markov chains. We consider Markov chains that are specified by a finite set of transition classes. Such models naturally represent biochemical reactions and therefore play an important role in the stochastic modeling of biological systems. We approximate the transient probability distributions at various time instances by solving a sequence of dynamically constructed abstract models, each depending on the previous one. Each abstract model is a finite Markov chain that represents the behavior of the original, infinite chain during a specific time interval. Our approach provides complete information about probability distributions, not just about individual parameters like the mean. The error of each abstraction can be computed, and the precision of the abstraction refined when desired. We implemented the algorithm and demonstrate its usefulness and efficiency on several case studies from systems biology."}],"file":[{"date_created":"2018-12-12T10:12:20Z","file_id":"4938","creator":"system","file_size":804295,"relation":"main_file","file_name":"IST-2012-40-v1+1_Sliding-window_abstraction_for_infinite_markov_chains.pdf","content_type":"application/pdf","checksum":"36b974111521ea534aae294166e93a63","access_level":"open_access","date_updated":"2020-07-14T12:46:30Z"}],"intvolume":"      5643","main_file_link":[{"url":"http://pub.ist.ac.at/%7Etah/Publications/sliding-window_abstraction_for_infinite_markov_chains.pdf","open_access":"0"}],"publisher":"Springer","type":"conference","quality_controlled":0,"volume":5643,"publist_id":"278","file_date_updated":"2020-07-14T12:46:30Z","month":"01","day":"01","pubrep_id":"40","citation":{"chicago":"Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_27\">https://doi.org/10.1007/978-3-642-02658-4_27</a>.","mla":"Henzinger, Thomas A., et al. <i>Sliding-Window Abstraction for Infinite Markov Chains</i>. Vol. 5643, Springer, 2009, pp. 337–52, doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_27\">10.1007/978-3-642-02658-4_27</a>.","ama":"Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:<a href=\"https://doi.org/10.1007/978-3-642-02658-4_27\">10.1007/978-3-642-02658-4_27</a>","ista":"Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.","short":"T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.","apa":"Henzinger, T. A., Mateescu, M., &#38; Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. <a href=\"https://doi.org/10.1007/978-3-642-02658-4_27\">https://doi.org/10.1007/978-3-642-02658-4_27</a>","ieee":"T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352."},"conference":{"name":"CAV: Computer Aided Verification"},"date_created":"2018-12-11T12:08:55Z","extern":1,"date_published":"2009-01-01T00:00:00Z"},{"acknowledgement":"This research was supported in part by the Swiss National Science Foundation under the Indo-Swiss Joint Research Programme, by the European Network of Excellence on Embedded Systems Design (ArtistDesign), by the European Combest, Quasimodo, and Gasics projects, by the PAI program Moves funded by the Belgian Federal Government, and by the CFV (Federated Center in Verification) funded by the F.R.S.-FNRS.","status":"public","publication_status":"published","ec_funded":1,"project":[{"name":"Design for Embedded Systems","call_identifier":"FP7","grant_number":"214373","_id":"25F1337C-B435-11E9-9278-68D0E5697425"},{"name":"COMponent-Based Embedded Systems design Techniques","call_identifier":"FP7","grant_number":"215543","_id":"25EFB36C-B435-11E9-9278-68D0E5697425"}],"abstract":[{"text":"Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real number L(w) computed as the maximal value of all runs over w, and the value of a run r is a function of the sequence of weights that appear along r. There are several natural functions to consider such as Sup, LimSup, LimInf, limit average, and discounted sum of transition weights.\r\nWe introduce alternating weighted automata in which the transitions of the runs are chosen by two players in a turn-based fashion. Each word is assigned the maximal value of a run that the first player can enforce regardless of the choices made by the second player. We survey the results about closure properties, expressiveness, and decision problems for nondeterministic weighted automata, and we extend these results to alternating weighted automata.\r\nFor quantitative languages L 1 and L 2, we consider the pointwise operations max(L 1,L 2), min(L 1,L 2), 1 − L 1, and the sum L 1 + L 2. We establish the closure properties of all classes of alternating weighted automata with respect to these four operations.\r\nWe next compare the expressive power of the various classes of alternating and nondeterministic weighted automata over infinite words. In particular, for limit average and discounted sum, we show that alternation brings more expressive power than nondeterminism.\r\nFinally, we present decidability results and open questions for the quantitative extension of the classical decision problems in automata theory: emptiness, universality, language inclusion, and language equivalence.","lang":"eng"}],"doi":"10.1007/978-3-642-03409-1_2","author":[{"orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Laurent","full_name":"Doyen, Laurent","last_name":"Doyen"},{"orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A"}],"title":"Alternating weighted automata","_id":"4542","has_accepted_license":"1","volume":5699,"file":[{"creator":"system","file_size":164428,"relation":"main_file","file_name":"IST-2012-39-v1+1_Alternating_Weighted_Automata.pdf","date_updated":"2020-07-14T12:46:31Z","checksum":"e8f53abb63579de3f2bff58b2a1188e2","content_type":"application/pdf","access_level":"open_access","date_created":"2018-12-12T10:15:09Z","file_id":"5126"}],"conference":{"end_date":"2009-09-04","location":"Wroclaw, Poland","start_date":"2009-09-02","name":"FCT: Fundamentals of Computation Theory"},"oa_version":"Submitted Version","day":"10","citation":{"chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-03409-1_2\">https://doi.org/10.1007/978-3-642-03409-1_2</a>.","mla":"Chatterjee, Krishnendu, et al. <i>Alternating Weighted Automata</i>. Vol. 5699, Springer, 2009, pp. 3–13, doi:<a href=\"https://doi.org/10.1007/978-3-642-03409-1_2\">10.1007/978-3-642-03409-1_2</a>.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.","ama":"Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:<a href=\"https://doi.org/10.1007/978-3-642-03409-1_2\">10.1007/978-3-642-03409-1_2</a>","ista":"Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.","apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. <a href=\"https://doi.org/10.1007/978-3-642-03409-1_2\">https://doi.org/10.1007/978-3-642-03409-1_2</a>"},"pubrep_id":"39","month":"09","file_date_updated":"2020-07-14T12:46:31Z","ddc":["004"],"page":"3 - 13","date_updated":"2021-01-12T07:59:34Z","alternative_title":["LNCS"],"year":"2009","oa":1,"language":[{"iso":"eng"}],"quality_controlled":"1","type":"conference","intvolume":"      5699","publisher":"Springer","date_published":"2009-09-10T00:00:00Z","scopus_import":1,"date_created":"2018-12-11T12:09:23Z","department":[{"_id":"KrCh"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"180"},{"publisher":"SIAM","main_file_link":[{"url":"https://repository.ist.ac.at/id/eprint/37","open_access":"1"}],"file":[{"file_id":"4662","date_created":"2018-12-12T10:08:03Z","file_name":"IST-2012-37-v1+1_Termination_criteria_for_solving_concurrent_safety_and_reachability_games.pdf","creator":"system","relation":"main_file","file_size":212369,"access_level":"open_access","checksum":"ce7dc1667502e26b23c07a767ac41ae6","content_type":"application/pdf","date_updated":"2020-07-14T12:46:31Z"}],"quality_controlled":0,"type":"conference","publist_id":"176","month":"01","file_date_updated":"2020-07-14T12:46:31Z","pubrep_id":"37","citation":{"mla":"Chatterjee, Krishnendu, et al. <i>Termination Criteria for Solving Concurrent Safety and Reachability Games</i>. SIAM, 2009, pp. 197–206, doi:<a href=\"https://doi.org/10.1137/1.9781611973068.23\">10.1137/1.9781611973068.23</a>.","chicago":"Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. <a href=\"https://doi.org/10.1137/1.9781611973068.23\">https://doi.org/10.1137/1.9781611973068.23</a>.","ieee":"K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.","apa":"Chatterjee, K., De Alfaro, L., &#38; Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. <a href=\"https://doi.org/10.1137/1.9781611973068.23\">https://doi.org/10.1137/1.9781611973068.23</a>","ama":"Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:<a href=\"https://doi.org/10.1137/1.9781611973068.23\">10.1137/1.9781611973068.23</a>","ista":"Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms, 197–206.","short":"K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206."},"day":"01","date_created":"2018-12-11T12:09:24Z","conference":{"name":"SODA: Symposium on Discrete Algorithms"},"extern":1,"date_published":"2009-01-01T00:00:00Z","date_updated":"2021-01-12T07:59:35Z","page":"197 - 206","publication_status":"published","status":"public","_id":"4544","oa":1,"title":"Termination criteria for solving concurrent safety and reachability games","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"last_name":"De Alfaro","full_name":"de Alfaro, Luca","first_name":"Luca"},{"last_name":"Henzinger","full_name":"Thomas Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"}],"doi":"10.1137/1.9781611973068.23","abstract":[{"lang":"eng","text":"We consider concurrent games played on graphs. At every round of a game, each player simultaneously and independently selects a move; the moves jointly determine the transition to a successor state. Two basic objectives are the safety objective to stay forever in a given set of states, and its dual, the reachability objective to reach a given set of states. We present in this paper a strategy improvement algorithm for computing the value of a concurrent safety game, that is, the maximal probability with which player 1 can enforce the safety objective. The algorithm yields a sequence of player-1 strategies which ensure probabilities of winning that converge monotonically to the value of the safety game. Our result is significant because the strategy improvement algorithm provides, for the first time, a way to approximate the value of a concurrent safety game from below. Since a value iteration algorithm, or a strategy improvement algorithm for reachability games, can be used to approximate the same value from above, the combination of both algorithms yields a method for computing a converging sequence of upper and lower bounds for the values of concurrent reachability and safety games. Previous methods could approximate the values of these games only from one direction, and as no rates of convergence are known, they did not provide a practical way to solve these games."}],"year":"2009"},{"project":[{"call_identifier":"FP7","name":"COMponent-Based Embedded Systems design Techniques","_id":"25EFB36C-B435-11E9-9278-68D0E5697425","grant_number":"215543"}],"ec_funded":1,"acknowledgement":"This research was supported in part by the Swiss National Science Foundation under the Indo-Swiss Joint Research Programme, by the European Network of Excellence on Embedded Systems Design (ArtistDesign), by the European projects COMBEST, Quasimodo, Gasics, by the PAI program Moves funded by the Belgian Federal Government, and by the CFV (Federated Center in Verification) funded by the F.R.S.-FNRS.","publication_status":"published","status":"public","_id":"4545","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"first_name":"Laurent","last_name":"Doyen","full_name":"Doyen, Laurent"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000−0002−2985−7724"}],"title":"A survey of stochastic games with limsup and liminf objectives","doi":"10.1007/978-3-642-02930-1_1","abstract":[{"text":"A stochastic game is a two-player game played oil a graph, where in each state the successor is chosen either by One of the players, or according to a probability distribution. We Survey Stochastic games with limsup and liminf objectives. A real-valued re-ward is assigned to each state, and the value of all infinite path is the limsup (resp. liminf) of all rewards along the path. The value of a stochastic game is the maximal expected value of an infinite path that call he achieved by resolving the decisions of the first player. We present the complexity of computing values of Stochastic games and their subclasses, and the complexity, of optimal strategies in such games. ","lang":"eng"}],"file":[{"file_name":"IST-2012-38-v1+1_A_survey_of_stochastic_games_with_limsup_and_liminf_objectives.pdf","file_size":187419,"relation":"main_file","creator":"system","access_level":"open_access","content_type":"application/pdf","checksum":"dabb6d24428a000254c95493d9c492e6","date_updated":"2020-07-14T12:46:31Z","file_id":"4992","date_created":"2018-12-12T10:13:11Z"}],"volume":5556,"has_accepted_license":"1","file_date_updated":"2020-07-14T12:46:31Z","ddc":["000","005"],"month":"06","day":"24","citation":{"apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. <a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">https://doi.org/10.1007/978-3-642-02930-1_1</a>","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.","ama":"Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:<a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">10.1007/978-3-642-02930-1_1</a>","ista":"Chatterjee K, Doyen L, Henzinger TA. 2009. A survey of stochastic games with limsup and liminf objectives. ICALP: Automata, Languages and Programming, LNCS, vol. 5556, 1–15.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">https://doi.org/10.1007/978-3-642-02930-1_1</a>.","mla":"Chatterjee, Krishnendu, et al. <i>A Survey of Stochastic Games with Limsup and Liminf Objectives</i>. Vol. 5556, Springer, 2009, pp. 1–15, doi:<a href=\"https://doi.org/10.1007/978-3-642-02930-1_1\">10.1007/978-3-642-02930-1_1</a>."},"pubrep_id":"38","conference":{"end_date":"2009-07-12","start_date":"2009-07-05","location":"Rhodos, Greece","name":"ICALP: Automata, Languages and Programming"},"oa_version":"Submitted Version","date_updated":"2021-01-12T07:59:35Z","page":"1 - 15","oa":1,"year":"2009","alternative_title":["LNCS"],"intvolume":"      5556","publisher":"Springer","language":[{"iso":"eng"}],"quality_controlled":"1","type":"conference","publist_id":"177","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"KrCh"}],"scopus_import":1,"date_created":"2018-12-11T12:09:24Z","date_published":"2009-06-24T00:00:00Z"},{"_id":"2702","title":"Feynman graphs and renormalization in quantum diffusion","oa":1,"author":[{"first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","full_name":"László Erdös","orcid":"0000-0001-5366-9603"},{"first_name":"Manfred","full_name":"Salmhofer, Manfred","last_name":"Salmhofer"},{"last_name":"Yau","full_name":"Yau, Horng-Tzer","first_name":"Horng"}],"doi":"10.1142/9789812833556_0011","abstract":[{"lang":"eng","text":"We review our proof that in a scaling limit, the time evolution of a quantum particle in a static random environment leads to a diffusion equation. In particular, we discuss the role of Feynman graph expansions and of renormalization.\n"}],"year":"2008","date_updated":"2021-01-12T06:59:09Z","page":"167 - 182","publication_status":"published","status":"public","month":"01","publist_id":"4194","citation":{"ieee":"L. Erdös, M. Salmhofer, and H. Yau, “Feynman graphs and renormalization in quantum diffusion,” presented at the Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, 2008, pp. 167–182.","apa":"Erdös, L., Salmhofer, M., &#38; Yau, H. (2008). Feynman graphs and renormalization in quantum diffusion (pp. 167–182). Presented at the Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789812833556_0011\">https://doi.org/10.1142/9789812833556_0011</a>","ista":"Erdös L, Salmhofer M, Yau H. 2008. Feynman graphs and renormalization in quantum diffusion. Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, 167–182.","short":"L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2008, pp. 167–182.","ama":"Erdös L, Salmhofer M, Yau H. Feynman graphs and renormalization in quantum diffusion. In: World Scientific Publishing; 2008:167-182. doi:<a href=\"https://doi.org/10.1142/9789812833556_0011\">10.1142/9789812833556_0011</a>","chicago":"Erdös, László, Manfred Salmhofer, and Horng Yau. “Feynman Graphs and Renormalization in Quantum Diffusion,” 167–82. World Scientific Publishing, 2008. <a href=\"https://doi.org/10.1142/9789812833556_0011\">https://doi.org/10.1142/9789812833556_0011</a>.","mla":"Erdös, László, et al. <i>Feynman Graphs and Renormalization in Quantum Diffusion</i>. World Scientific Publishing, 2008, pp. 167–82, doi:<a href=\"https://doi.org/10.1142/9789812833556_0011\">10.1142/9789812833556_0011</a>."},"day":"01","date_created":"2018-12-11T11:59:09Z","conference":{"name":"Symposium in Honor of Wolfhart Zimmermann's 80th Birthday"},"date_published":"2008-01-01T00:00:00Z","extern":1,"publisher":"World Scientific Publishing","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0806.4751"}],"type":"conference","quality_controlled":0},{"doi":"10.1104/pp.108.121756","issue":"4","year":"2008","_id":"3037","author":[{"full_name":"Feraru, Elena","last_name":"Feraru","first_name":"Elena"},{"last_name":"Friml","full_name":"Friml, Jirí","first_name":"Jirí","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596"}],"title":"PIN polar targeting","oa":1,"page":"1553 - 1559","publication_status":"published","status":"public","date_updated":"2021-01-12T07:40:36Z","publication":"Plant Physiology","date_created":"2018-12-11T12:01:00Z","oa_version":"Published Version","extern":"1","external_id":{"pmid":["18678746"]},"date_published":"2008-08-04T00:00:00Z","publist_id":"3664","month":"08","pmid":1,"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","day":"04","citation":{"ista":"Feraru E, Friml J. 2008. PIN polar targeting. Plant Physiology. 147(4), 1553–1559.","short":"E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.","ama":"Feraru E, Friml J. PIN polar targeting. <i>Plant Physiology</i>. 2008;147(4):1553-1559. doi:<a href=\"https://doi.org/10.1104/pp.108.121756\">10.1104/pp.108.121756</a>","ieee":"E. Feraru and J. Friml, “PIN polar targeting,” <i>Plant Physiology</i>, vol. 147, no. 4. American Society of Plant Biologists, pp. 1553–1559, 2008.","apa":"Feraru, E., &#38; Friml, J. (2008). PIN polar targeting. <i>Plant Physiology</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1104/pp.108.121756\">https://doi.org/10.1104/pp.108.121756</a>","chicago":"Feraru, Elena, and Jiří Friml. “PIN Polar Targeting.” <i>Plant Physiology</i>. American Society of Plant Biologists, 2008. <a href=\"https://doi.org/10.1104/pp.108.121756\">https://doi.org/10.1104/pp.108.121756</a>.","mla":"Feraru, Elena, and Jiří Friml. “PIN Polar Targeting.” <i>Plant Physiology</i>, vol. 147, no. 4, American Society of Plant Biologists, 2008, pp. 1553–59, doi:<a href=\"https://doi.org/10.1104/pp.108.121756\">10.1104/pp.108.121756</a>."},"language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","volume":147,"main_file_link":[{"open_access":"1","url":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2492634/"}],"intvolume":"       147","publisher":"American Society of Plant Biologists"},{"type":"journal_article","quality_controlled":0,"volume":134,"intvolume":"       134","main_file_link":[{"url":"http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2602844/","open_access":"1"}],"publisher":"Cell Press","date_created":"2018-12-11T12:02:35Z","extern":1,"date_published":"2008-08-01T00:00:00Z","publist_id":"3333","month":"08","day":"01","citation":{"mla":"Green, Richard, et al. “A Complete Neandertal Mitochondrial Genome Sequence Determined by Highhhroughput Sequencing.” <i>Cell</i>, vol. 134, Cell Press, 2008, pp. 416–26, doi:<a href=\"https://doi.org/10.1016/j.cell.2008.06.021\">10.1016/j.cell.2008.06.021</a>.","chicago":"Green, Richard, Anna Malaspinas, Johannes Krause, Adrian Briggs, Philip Johnson, Caroline Uhler, Matthias Meyer, et al. “A Complete Neandertal Mitochondrial Genome Sequence Determined by Highhhroughput Sequencing.” <i>Cell</i>. Cell Press, 2008. <a href=\"https://doi.org/10.1016/j.cell.2008.06.021\">https://doi.org/10.1016/j.cell.2008.06.021</a>.","ista":"Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.","ama":"Green R, Malaspinas A, Krause J, et al. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. <i>Cell</i>. 2008;134:416-426. doi:<a href=\"https://doi.org/10.1016/j.cell.2008.06.021\">10.1016/j.cell.2008.06.021</a>","short":"R. Green, A. Malaspinas, J. Krause, A. Briggs, P. Johnson, C. Uhler, M. Meyer, J. Good, T. Maricic, U. Stenzel, K. Prüfer, M. Siebauer, H. Burbano, M. Ronan, J. Rothberg, M. Egholm, P. Rudan, D. Brajković, Ž. Kućan, I. Gušić, M. Wikström, L. Laakkonen, J. Kelso, M. Slatkin, S. Pääbo, Cell 134 (2008) 416–426.","ieee":"R. Green <i>et al.</i>, “A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing,” <i>Cell</i>, vol. 134. Cell Press, pp. 416–426, 2008.","apa":"Green, R., Malaspinas, A., Krause, J., Briggs, A., Johnson, P., Uhler, C., … Pääbo, S. (2008). A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. <i>Cell</i>. Cell Press. <a href=\"https://doi.org/10.1016/j.cell.2008.06.021\">https://doi.org/10.1016/j.cell.2008.06.021</a>"},"page":"416 - 426","publication_status":"published","status":"public","date_updated":"2021-01-12T07:42:32Z","publication":"Cell","doi":"10.1016/j.cell.2008.06.021","year":"2008","abstract":[{"lang":"eng","text":"A complete mitochondrial (mt) genome sequence was reconstructed from a 38,000 year-old Neandertal individual with 8341 mtDNA sequences identified among 4.8 Gb of DNA generated from ∼0.3 g of bone. Analysis of the assembled sequence unequivocally establishes that the Neandertal mtDNA falls outside the variation of extant human mtDNAs, and allows an estimate of the divergence date between the two mtDNA lineages of 660,000 ± 140,000 years. Of the 13 proteins encoded in the mtDNA, subunit 2 of cytochrome c oxidase of the mitochondrial electron transport chain has experienced the largest number of amino acid substitutions in human ancestors since the separation from Neandertals. There is evidence that purifying selection in the Neandertal mtDNA was reduced compared with other primate lineages, suggesting that the effective population size of Neandertals was small."}],"_id":"3307","author":[{"last_name":"Green","full_name":"Green, Richard E","first_name":"Richard"},{"full_name":"Malaspinas, Anna-Sapfo ","last_name":"Malaspinas","first_name":"Anna"},{"first_name":"Johannes","full_name":"Krause, Johannes","last_name":"Krause"},{"first_name":"Adrian","last_name":"Briggs","full_name":"Briggs, Adrian W"},{"first_name":"Philip","full_name":"Johnson, Philip L","last_name":"Johnson"},{"first_name":"Caroline","id":"49ADD78E-F248-11E8-B48F-1D18A9856A87","last_name":"Uhler","full_name":"Caroline Uhler","orcid":"0000-0002-7008-0216"},{"first_name":"Matthias","full_name":"Meyer, Matthias","last_name":"Meyer"},{"full_name":"Good, Jeffrey M","last_name":"Good","first_name":"Jeffrey"},{"first_name":"Tomislav","full_name":"Maricic, Tomislav","last_name":"Maricic"},{"first_name":"Udo","full_name":"Stenzel, Udo","last_name":"Stenzel"},{"first_name":"Kay","last_name":"Prüfer","full_name":"Prüfer, Kay"},{"first_name":"Michael","full_name":"Siebauer, Michael F","last_name":"Siebauer"},{"full_name":"Burbano, Hernän A","last_name":"Burbano","first_name":"Hernän"},{"full_name":"Ronan, Michael T","last_name":"Ronan","first_name":"Michael"},{"first_name":"Jonathan","full_name":"Rothberg, Jonathan M","last_name":"Rothberg"},{"first_name":"Michael","full_name":"Egholm, Michael","last_name":"Egholm"},{"last_name":"Rudan","full_name":"Rudan, Pavao","first_name":"Pavao"},{"first_name":"Dejana","last_name":"Brajković","full_name":"Brajković, Dejana"},{"full_name":"Kućan, Željko","last_name":"Kućan","first_name":"Željko"},{"last_name":"Gušić","full_name":"Gušić, Ivan","first_name":"Ivan"},{"first_name":"Mårten","full_name":"Wikström, Mårten K","last_name":"Wikström"},{"full_name":"Laakkonen, Liisa J","last_name":"Laakkonen","first_name":"Liisa"},{"first_name":"Janet","full_name":"Kelso, Janet F","last_name":"Kelso"},{"first_name":"Montgomery","last_name":"Slatkin","full_name":"Slatkin, Montgomery"},{"first_name":"Svante","last_name":"Pääbo","full_name":"Pääbo, Svante H"}],"oa":1,"title":"A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing"},{"title":"Shaping the endoplasmic reticulum into the nuclear envelope","author":[{"full_name":"Anderson, Daniel J.","last_name":"Anderson","first_name":"Daniel J."},{"first_name":"Martin W","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed","last_name":"HETZER","full_name":"HETZER, Martin W","orcid":"0000-0002-2111-992X"}],"_id":"11113","abstract":[{"lang":"eng","text":"The nuclear envelope (NE), a double membrane enclosing the nucleus of eukaryotic cells, controls the flow of information between the nucleoplasm and the cytoplasm and provides a scaffold for the organization of chromatin and the cytoskeleton. In dividing metazoan cells, the NE breaks down at the onset of mitosis and then reforms around segregated chromosomes to generate the daughter nuclei. Recent data from intact cells and cell-free nuclear assembly systems suggest that the endoplasmic reticulum (ER) is the source of membrane for NE assembly. At the end of mitosis, ER membrane tubules are targeted to chromatin via tubule ends and reorganized into flat nuclear membrane sheets by specific DNA-binding membrane proteins. In contrast to previous models, which proposed vesicle fusion to be the principal mechanism of NE formation, these new studies suggest that the nuclear membrane forms by the chromatin-mediated reshaping of the ER."}],"issue":"2","doi":"10.1242/jcs.005777","publication_identifier":{"eissn":["1477-9137"],"issn":["0021-9533"]},"publication_status":"published","status":"public","citation":{"chicago":"Anderson, Daniel J., and Martin Hetzer. “Shaping the Endoplasmic Reticulum into the Nuclear Envelope.” <i>Journal of Cell Science</i>. The Company of Biologists, 2008. <a href=\"https://doi.org/10.1242/jcs.005777\">https://doi.org/10.1242/jcs.005777</a>.","mla":"Anderson, Daniel J., and Martin Hetzer. “Shaping the Endoplasmic Reticulum into the Nuclear Envelope.” <i>Journal of Cell Science</i>, vol. 121, no. 2, The Company of Biologists, 2008, pp. 137–42, doi:<a href=\"https://doi.org/10.1242/jcs.005777\">10.1242/jcs.005777</a>.","apa":"Anderson, D. J., &#38; Hetzer, M. (2008). Shaping the endoplasmic reticulum into the nuclear envelope. <i>Journal of Cell Science</i>. The Company of Biologists. <a href=\"https://doi.org/10.1242/jcs.005777\">https://doi.org/10.1242/jcs.005777</a>","ieee":"D. J. Anderson and M. Hetzer, “Shaping the endoplasmic reticulum into the nuclear envelope,” <i>Journal of Cell Science</i>, vol. 121, no. 2. The Company of Biologists, pp. 137–142, 2008.","ista":"Anderson DJ, Hetzer M. 2008. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 121(2), 137–142.","ama":"Anderson DJ, Hetzer M. Shaping the endoplasmic reticulum into the nuclear envelope. <i>Journal of Cell Science</i>. 2008;121(2):137-142. doi:<a href=\"https://doi.org/10.1242/jcs.005777\">10.1242/jcs.005777</a>","short":"D.J. Anderson, M. Hetzer, Journal of Cell Science 121 (2008) 137–142."},"day":"15","month":"01","pmid":1,"oa_version":"Published Version","volume":121,"article_processing_charge":"No","oa":1,"year":"2008","keyword":["Cell Biology"],"publication":"Journal of Cell Science","date_updated":"2022-07-18T08:56:10Z","page":"137-142","article_type":"letter_note","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","external_id":{"pmid":["18187447"]},"extern":"1","date_published":"2008-01-15T00:00:00Z","date_created":"2022-04-07T07:55:46Z","scopus_import":"1","publisher":"The Company of Biologists","intvolume":"       121","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1242/jcs.005777"}],"quality_controlled":"1","language":[{"iso":"eng"}],"type":"journal_article"},{"year":"2008","keyword":["Multidisciplinary"],"oa":1,"article_type":"original","article_number":"e2061","publication":"PLoS ONE","date_updated":"2022-07-18T08:56:36Z","external_id":{"pmid":["18446240"]},"extern":"1","date_published":"2008-04-30T00:00:00Z","scopus_import":"1","date_created":"2022-04-07T07:55:57Z","user_id":"72615eeb-f1f3-11ec-aa25-d4573ddc34fd","quality_controlled":"1","type":"journal_article","language":[{"iso":"eng"}],"intvolume":"         3","main_file_link":[{"url":" https://doi.org/10.1371/journal.pone.0002061","open_access":"1"}],"publisher":"Public Library of Science","issue":"4","abstract":[{"lang":"eng","text":"We present a miniaturized pull-down method for the detection of protein-protein interactions using standard affinity chromatography reagents. Binding events between different proteins, which are color-coded with quantum dots (QDs), are visualized on single affinity chromatography beads by fluorescence microscopy. The use of QDs for single molecule detection allows the simultaneous analysis of multiple protein-protein binding events and reduces the amount of time and material needed to perform a pull-down experiment."}],"doi":"10.1371/journal.pone.0002061","author":[{"first_name":"Roberta","full_name":"Schulte, Roberta","last_name":"Schulte"},{"full_name":"Talamas, Jessica","last_name":"Talamas","first_name":"Jessica"},{"full_name":"Doucet, Christine","last_name":"Doucet","first_name":"Christine"},{"orcid":"0000-0002-2111-992X","id":"86c0d31b-b4eb-11ec-ac5a-eae7b2e135ed","first_name":"Martin W","full_name":"HETZER, Martin W","last_name":"HETZER"}],"title":"Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions","_id":"11114","status":"public","publication_status":"published","publication_identifier":{"issn":["1932-6203"]},"oa_version":"Published Version","day":"30","citation":{"ieee":"R. Schulte, J. Talamas, C. Doucet, and M. Hetzer, “Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions,” <i>PLoS ONE</i>, vol. 3, no. 4. Public Library of Science, 2008.","apa":"Schulte, R., Talamas, J., Doucet, C., &#38; Hetzer, M. (2008). Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. <i>PLoS ONE</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pone.0002061\">https://doi.org/10.1371/journal.pone.0002061</a>","ista":"Schulte R, Talamas J, Doucet C, Hetzer M. 2008. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 3(4), e2061.","short":"R. Schulte, J. Talamas, C. Doucet, M. Hetzer, PLoS ONE 3 (2008).","ama":"Schulte R, Talamas J, Doucet C, Hetzer M. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. <i>PLoS ONE</i>. 2008;3(4). doi:<a href=\"https://doi.org/10.1371/journal.pone.0002061\">10.1371/journal.pone.0002061</a>","mla":"Schulte, Roberta, et al. “Single Bead Affinity Detection (SINBAD) for the Analysis of Protein-Protein Interactions.” <i>PLoS ONE</i>, vol. 3, no. 4, e2061, Public Library of Science, 2008, doi:<a href=\"https://doi.org/10.1371/journal.pone.0002061\">10.1371/journal.pone.0002061</a>.","chicago":"Schulte, Roberta, Jessica Talamas, Christine Doucet, and Martin Hetzer. “Single Bead Affinity Detection (SINBAD) for the Analysis of Protein-Protein Interactions.” <i>PLoS ONE</i>. Public Library of Science, 2008. <a href=\"https://doi.org/10.1371/journal.pone.0002061\">https://doi.org/10.1371/journal.pone.0002061</a>."},"pmid":1,"month":"04","volume":3,"article_processing_charge":"No"},{"_id":"1763","oa":1,"title":"Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system","author":[{"first_name":"Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","last_name":"Fink","full_name":"Johannes Fink","orcid":"0000-0001-8112-028X"},{"first_name":"M","last_name":"Göppl","full_name":"Göppl, M"},{"first_name":"Matthias","last_name":"Baur","full_name":"Baur, Matthias P"},{"last_name":"Bianchetti","full_name":"Bianchetti, R","first_name":"R"},{"last_name":"Leek","full_name":"Leek, Peter J","first_name":"Peter"},{"first_name":"Alexandre","full_name":"Blais, Alexandre","last_name":"Blais"},{"first_name":"Andreas","last_name":"Wallraff","full_name":"Wallraff, Andreas"}],"doi":"10.1038/nature07112","abstract":[{"lang":"eng","text":"The field of cavity quantum electrodynamics (QED), traditionally studied in atomic systems, has gained new momentum by recent reports of quantum optical experiments with solid-state semiconducting and superconducting systems. In cavity QED, the observation of the vacuum Rabi mode splitting is used to investigate the nature of matter-light interaction at a quantum-mechanical level. However, this effect can, at least in principle, be explained classically as the normal mode splitting of two coupled linear oscillators. It has been suggested that an observation of the scaling of the resonant atom-photon coupling strength in the Jaynes-Cummings energy ladder with the square root of photon number n is sufficient to prove that the system is quantum mechanical in nature. Here we report a direct spectroscopic observation of this characteristic quantum nonlinearity. Measuring the photonic degree of freedom of the coupled system, our measurements provide unambiguous spectroscopic evidence for the quantum nature of the resonant atom-field interaction in cavity QED. We explore atom-photon superposition states involving up to two photons, using a spectroscopic pump and probe technique. The experiments have been performed in a circuit QED set-up, in which very strong coupling is realized by the large dipole coupling strength and the long coherence time of a superconducting qubit embedded in a high-quality on-chip microwave cavity. Circuit QED systems also provide a natural quantum interface between flying qubits (photons) and stationary qubits for applications in quantum information processing and communication."}],"year":"2008","issue":"7202","date_updated":"2021-01-12T06:53:03Z","publication":"Nature","page":"315 - 318","publication_status":"published","acknowledgement":"This work was supported by SNF and ETHZ. P.J.L. was supported by the EU with an MC-EIF. A.B. was supported by NSERC, CIFAR and FQRNT","status":"public","month":"07","publist_id":"5358","citation":{"ieee":"J. M. Fink <i>et al.</i>, “Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system,” <i>Nature</i>, vol. 454, no. 7202. Nature Publishing Group, pp. 315–318, 2008.","apa":"Fink, J. M., Göppl, M., Baur, M., Bianchetti, R., Leek, P., Blais, A., &#38; Wallraff, A. (2008). Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. <i>Nature</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/nature07112\">https://doi.org/10.1038/nature07112</a>","short":"J.M. Fink, M. Göppl, M. Baur, R. Bianchetti, P. Leek, A. Blais, A. Wallraff, Nature 454 (2008) 315–318.","ista":"Fink JM, Göppl M, Baur M, Bianchetti R, Leek P, Blais A, Wallraff A. 2008. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 454(7202), 315–318.","ama":"Fink JM, Göppl M, Baur M, et al. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. <i>Nature</i>. 2008;454(7202):315-318. doi:<a href=\"https://doi.org/10.1038/nature07112\">10.1038/nature07112</a>","chicago":"Fink, Johannes M, M Göppl, Matthias Baur, R Bianchetti, Peter Leek, Alexandre Blais, and Andreas Wallraff. “Climbing the Jaynes-Cummings Ladder and Observing Its √n Nonlinearity in a Cavity QED System.” <i>Nature</i>. Nature Publishing Group, 2008. <a href=\"https://doi.org/10.1038/nature07112\">https://doi.org/10.1038/nature07112</a>.","mla":"Fink, Johannes M., et al. “Climbing the Jaynes-Cummings Ladder and Observing Its √n Nonlinearity in a Cavity QED System.” <i>Nature</i>, vol. 454, no. 7202, Nature Publishing Group, 2008, pp. 315–18, doi:<a href=\"https://doi.org/10.1038/nature07112\">10.1038/nature07112</a>."},"day":"17","date_created":"2018-12-11T11:53:53Z","date_published":"2008-07-17T00:00:00Z","extern":1,"publisher":"Nature Publishing Group","intvolume":"       454","main_file_link":[{"url":"http://arxiv.org/abs/0902.1827","open_access":"1"}],"volume":454,"type":"journal_article","quality_controlled":0},{"date_updated":"2021-01-12T06:53:03Z","publication":"Journal of Applied Physics","publication_status":"published","status":"public","acknowledgement":"This work was supported by Swiss National Fund (SNF) and ETH Zürich. P.J.L. was supported by the EC with a MC-EIF","_id":"1765","oa":1,"title":"Coplanar waveguide resonators for circuit quantum electrodynamics","author":[{"first_name":"M","last_name":"Göppl","full_name":"Göppl, M"},{"full_name":"Fragner, A","last_name":"Fragner","first_name":"A"},{"first_name":"Matthias","full_name":"Baur, Matthias P","last_name":"Baur"},{"first_name":"R","last_name":"Bianchetti","full_name":"Bianchetti, R"},{"first_name":"Stefan","full_name":"Filipp, Stefan","last_name":"Filipp"},{"last_name":"Fink","full_name":"Johannes Fink","first_name":"Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8112-028X"},{"last_name":"Leek","full_name":"Leek, Peter J","first_name":"Peter"},{"first_name":"G","full_name":"Puebla, G","last_name":"Puebla"},{"first_name":"L.","full_name":"Steffen, L. Kraig","last_name":"Steffen"},{"first_name":"Andreas","last_name":"Wallraff","full_name":"Wallraff, Andreas"}],"doi":"10.1063/1.3010859","abstract":[{"lang":"eng","text":"High quality on-chip microwave resonators have recently found prominent new applications in quantum optics and quantum information processing experiments with superconducting electronic circuits, a field now known as circuit quantum electrodynamics (QED). They are also used as single photon detectors and parametric amplifiers. Here we analyze the physical properties of coplanar waveguide resonators and their relation to the materials properties for use in circuit QED. We have designed and fabricated resonators with fundamental frequencies from 2 to 9 GHz and quality factors ranging from a few hundreds to a several hundred thousands controlled by appropriately designed input and output coupling capacitors. The microwave transmission spectra measured at temperatures of 20 mK are shown to be in good agreement with theoretical lumped element and distributed element transmission matrix models. In particular, the experimentally determined resonance frequencies, quality factors, and insertion losses are fully and consistently explained by the two models for all measured devices. The high level of control and flexibility in design renders these resonators ideal for storing and manipulating quantum electromagnetic fields in integrated superconducting electronic circuits."}],"year":"2008","issue":"11","publisher":"American Institute of Physics","main_file_link":[{"url":"http://arxiv.org/abs/0807.4094","open_access":"1"}],"intvolume":"       104","volume":104,"quality_controlled":0,"type":"journal_article","publist_id":"5355","month":"01","citation":{"ama":"Göppl M, Fragner A, Baur M, et al. Coplanar waveguide resonators for circuit quantum electrodynamics. <i>Journal of Applied Physics</i>. 2008;104(11). doi:<a href=\"https://doi.org/10.1063/1.3010859\">10.1063/1.3010859</a>","ista":"Göppl M, Fragner A, Baur M, Bianchetti R, Filipp S, Fink JM, Leek P, Puebla G, Steffen L, Wallraff A. 2008. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 104(11).","short":"M. Göppl, A. Fragner, M. Baur, R. Bianchetti, S. Filipp, J.M. Fink, P. Leek, G. Puebla, L. Steffen, A. Wallraff, Journal of Applied Physics 104 (2008).","ieee":"M. Göppl <i>et al.</i>, “Coplanar waveguide resonators for circuit quantum electrodynamics,” <i>Journal of Applied Physics</i>, vol. 104, no. 11. American Institute of Physics, 2008.","apa":"Göppl, M., Fragner, A., Baur, M., Bianchetti, R., Filipp, S., Fink, J. M., … Wallraff, A. (2008). Coplanar waveguide resonators for circuit quantum electrodynamics. <i>Journal of Applied Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1063/1.3010859\">https://doi.org/10.1063/1.3010859</a>","mla":"Göppl, M., et al. “Coplanar Waveguide Resonators for Circuit Quantum Electrodynamics.” <i>Journal of Applied Physics</i>, vol. 104, no. 11, American Institute of Physics, 2008, doi:<a href=\"https://doi.org/10.1063/1.3010859\">10.1063/1.3010859</a>.","chicago":"Göppl, M, A Fragner, Matthias Baur, R Bianchetti, Stefan Filipp, Johannes M Fink, Peter Leek, G Puebla, L. Steffen, and Andreas Wallraff. “Coplanar Waveguide Resonators for Circuit Quantum Electrodynamics.” <i>Journal of Applied Physics</i>. American Institute of Physics, 2008. <a href=\"https://doi.org/10.1063/1.3010859\">https://doi.org/10.1063/1.3010859</a>."},"day":"01","date_created":"2018-12-11T11:53:53Z","date_published":"2008-01-01T00:00:00Z","extern":1},{"page":"603 - 626","acknowledgement":"The authors are supported by the ‘VIDI subsidie’ 639.032.201 of the Netherlands Organization for Scientific Research (NWO) and by the Research Training Network HPRN-CT-2002-00281.","publication_status":"published","status":"public","date_updated":"2021-01-12T06:55:26Z","publication":"Infinite Dimensional Analysis, Quantum Probability and Related Topics","doi":"10.1142/S0219025708003245","year":"2008","issue":"4","abstract":[{"text":"We consider the linear stochastic Cauchy problem dX (t) =AX (t) dt +B dWH (t), t≥ 0, where A generates a C0-semigroup on a Banach space E, WH is a cylindrical Brownian motion over a Hilbert space H, and B: H → E is a bounded operator. Assuming the existence of a unique minimal invariant measure μ∞, let Lp denote the realization of the Ornstein-Uhlenbeck operator associated with this problem in Lp (E, μ∞). Under suitable assumptions concerning the invariance of the range of B under the semigroup generated by A, we prove the following domain inclusions, valid for 1 &lt; p ≤ 2: Image omitted. Here WHk, p (E, μinfin; denotes the kth order Sobolev space of functions with Fréchet derivatives up to order k in the direction of H. No symmetry assumptions are made on L p.","lang":"eng"}],"_id":"2120","author":[{"orcid":"0000-0002-0845-1338","full_name":"Jan Maas","last_name":"Maas","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","first_name":"Jan"},{"last_name":"Van Neerven","full_name":"van Neerven, Jan M","first_name":"Jan"}],"oa":1,"title":"On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces","quality_controlled":0,"type":"journal_article","volume":11,"main_file_link":[{"url":"http://repository.tudelft.nl/view/ir/uuid:c8eca915-d38b-4827-a4d9-e89baabb43a6/","open_access":"1"}],"intvolume":"        11","publisher":"World Scientific Publishing","date_created":"2018-12-11T11:55:50Z","extern":1,"date_published":"2008-12-04T00:00:00Z","publist_id":"4914","month":"12","day":"04","citation":{"ama":"Maas J, Van Neerven J. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. <i>Infinite Dimensional Analysis, Quantum Probability and Related Topics</i>. 2008;11(4):603-626. doi:<a href=\"https://doi.org/10.1142/S0219025708003245\">10.1142/S0219025708003245</a>","short":"J. Maas, J. Van Neerven, Infinite Dimensional Analysis, Quantum Probability and Related Topics 11 (2008) 603–626.","ista":"Maas J, Van Neerven J. 2008. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 11(4), 603–626.","ieee":"J. Maas and J. Van Neerven, “On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces,” <i>Infinite Dimensional Analysis, Quantum Probability and Related Topics</i>, vol. 11, no. 4. World Scientific Publishing, pp. 603–626, 2008.","apa":"Maas, J., &#38; Van Neerven, J. (2008). On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. <i>Infinite Dimensional Analysis, Quantum Probability and Related Topics</i>. World Scientific Publishing. <a href=\"https://doi.org/10.1142/S0219025708003245\">https://doi.org/10.1142/S0219025708003245</a>","chicago":"Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck Operators in Banach Spaces.” <i>Infinite Dimensional Analysis, Quantum Probability and Related Topics</i>. World Scientific Publishing, 2008. <a href=\"https://doi.org/10.1142/S0219025708003245\">https://doi.org/10.1142/S0219025708003245</a>.","mla":"Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck Operators in Banach Spaces.” <i>Infinite Dimensional Analysis, Quantum Probability and Related Topics</i>, vol. 11, no. 4, World Scientific Publishing, 2008, pp. 603–26, doi:<a href=\"https://doi.org/10.1142/S0219025708003245\">10.1142/S0219025708003245</a>."}},{"volume":13,"quality_controlled":0,"type":"journal_article","publisher":"Institute of Mathematical Statistics","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0709.2021"}],"intvolume":"        13","date_published":"2008-04-07T00:00:00Z","extern":1,"date_created":"2018-12-11T11:55:50Z","citation":{"ieee":"J. Van Neerven and J. Maas, “A Clark-Ocone formula in UMD Banach spaces,” <i>Electronic Communications in Probability</i>, vol. 13. Institute of Mathematical Statistics, pp. 151–164, 2008.","apa":"Van Neerven, J., &#38; Maas, J. (2008). A Clark-Ocone formula in UMD Banach spaces. <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics.","ama":"Van Neerven J, Maas J. A Clark-Ocone formula in UMD Banach spaces. <i>Electronic Communications in Probability</i>. 2008;13:151-164.","short":"J. Van Neerven, J. Maas, Electronic Communications in Probability 13 (2008) 151–164.","ista":"Van Neerven J, Maas J. 2008. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 13, 151–164.","mla":"Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” <i>Electronic Communications in Probability</i>, vol. 13, Institute of Mathematical Statistics, 2008, pp. 151–64.","chicago":"Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics, 2008."},"day":"07","publist_id":"4915","month":"04","acknowledgement":"Research supported by ARC Discovery Grant dp0558539. 2research supported by VIDI subsidy 639.032.201 and VICI subsidy 639.033.604 of the Netherlands organisation for scientific research (nwo). ","publication_status":"published","status":"public","page":"151 - 164","publication":"Electronic Communications in Probability","date_updated":"2021-01-12T06:55:26Z","abstract":[{"text":"Let H be a separable real Hubert space and let double struck F sign = (ℱt)t∈[0,T] be the augmented filtration generated by an H-cylindrical Brownian motion (WH(t))t∈[0,T] on a probability space (Ω, ℱ ℙ). We prove that if E is a UMD Banach space, 1 ≤ p &lt; ∞, and F ∈ double struck D sign1,p(Ω E) is ℱT-measurable, then F = double struck E sign(F) + ∫0T Pdouble struck F sign(DF) dW H, where D is the Malliavin derivative of F and P double struck F sign is the projection onto the F-adapted elements in a suitable Banach space of Lp-stochastically integrable ℒ(H, E)-valued processes.","lang":"eng"}],"year":"2008","title":"A Clark-Ocone formula in UMD Banach spaces","oa":1,"author":[{"first_name":"Jan","full_name":"van Neerven, Jan M","last_name":"Van Neerven"},{"orcid":"0000-0002-0845-1338","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","first_name":"Jan","full_name":"Jan Maas","last_name":"Maas"}],"_id":"2121"},{"type":"journal_article","quality_controlled":0,"volume":129,"main_file_link":[{"url":"http://arxiv.org/abs/0804.3318","open_access":"1"}],"intvolume":"       129","publisher":"American Institute of Physics","date_published":"2008-07-01T00:00:00Z","extern":1,"date_created":"2018-12-11T11:55:58Z","day":"01","citation":{"ieee":"M. Lemeshko and B. Friedrich, “An analytic model of rotationally inelastic collisions of polar molecules in electric fields,” <i>Journal of Chemical Physics</i>, vol. 129, no. 2. American Institute of Physics, 2008.","apa":"Lemeshko, M., &#38; Friedrich, B. (2008). An analytic model of rotationally inelastic collisions of polar molecules in electric fields. <i>Journal of Chemical Physics</i>. American Institute of Physics. <a href=\"https://doi.org/10.1063/1.2948392\">https://doi.org/10.1063/1.2948392</a>","ama":"Lemeshko M, Friedrich B. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. <i>Journal of Chemical Physics</i>. 2008;129(2). doi:<a href=\"https://doi.org/10.1063/1.2948392\">10.1063/1.2948392</a>","ista":"Lemeshko M, Friedrich B. 2008. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. 129(2).","short":"M. Lemeshko, B. Friedrich, Journal of Chemical Physics 129 (2008).","chicago":"Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally Inelastic Collisions of Polar Molecules in Electric Fields.” <i>Journal of Chemical Physics</i>. American Institute of Physics, 2008. <a href=\"https://doi.org/10.1063/1.2948392\">https://doi.org/10.1063/1.2948392</a>.","mla":"Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally Inelastic Collisions of Polar Molecules in Electric Fields.” <i>Journal of Chemical Physics</i>, vol. 129, no. 2, American Institute of Physics, 2008, doi:<a href=\"https://doi.org/10.1063/1.2948392\">10.1063/1.2948392</a>."},"publist_id":"4878","month":"07","status":"public","publication_status":"published","publication":"Journal of Chemical Physics","date_updated":"2021-01-12T06:55:35Z","year":"2008","issue":"2","abstract":[{"lang":"eng","text":"We present an analytic model of thermal state-to-state rotationally inelastic collisions of polar molecules in electric fields. The model is based on the Fraunhofer scattering of matter waves and requires Legendre moments characterizing the “shape” of the target in the body-fixed frame as its input. The electric field orients the target in the space-fixed frame and thereby effects a striking alteration of the dynamical observables: both the phase and amplitude of the oscillations in the partial differential cross sections undergo characteristic field-dependent changes that transgress into the partial integral cross sections. As the cross sections can be evaluated for a field applied parallel or perpendicular to the relative velocity, the model also offers predictions about steric asymmetry. We exemplify the field-dependent quantum collision dynamics with the behavior of the Ne–OCS(Σ1) and Ar–NO(Π2) systems. A comparison with the close-coupling calculations available for the latter system [Chem. Phys. Lett.313, 491 (1999)] demonstrates the model’s ability to qualitatively explain the field dependence of all the scattering features observed."}],"doi":"10.1063/1.2948392","author":[{"full_name":"Mikhail Lemeshko","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","orcid":"0000-0002-6990-7802"},{"full_name":"Friedrich, Břetislav","last_name":"Friedrich","first_name":"Břetislav"}],"title":"An analytic model of rotationally inelastic collisions of polar molecules in electric fields","oa":1,"_id":"2146"},{"publist_id":"4595","month":"08","day":"01","citation":{"ieee":"C. Hainzl and R. Seiringer, “ Spectral properties of the BCS gap equation of superfluidity,” presented at the QMath: Mathematical Results in Quantum Physics, 2008, pp. 117–136.","apa":"Hainzl, C., &#38; Seiringer, R. (2008).  Spectral properties of the BCS gap equation of superfluidity (pp. 117–136). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789812832382_0009\">https://doi.org/10.1142/9789812832382_0009</a>","short":"C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.","ama":"Hainzl C, Seiringer R.  Spectral properties of the BCS gap equation of superfluidity. In: World Scientific Publishing; 2008:117-136. doi:<a href=\"https://doi.org/10.1142/9789812832382_0009\">10.1142/9789812832382_0009</a>","ista":"Hainzl C, Seiringer R. 2008.  Spectral properties of the BCS gap equation of superfluidity. QMath: Mathematical Results in Quantum Physics, 117–136.","chicago":"Hainzl, Christian, and Robert Seiringer. “ Spectral Properties of the BCS Gap Equation of Superfluidity,” 117–36. World Scientific Publishing, 2008. <a href=\"https://doi.org/10.1142/9789812832382_0009\">https://doi.org/10.1142/9789812832382_0009</a>.","mla":"Hainzl, Christian, and Robert Seiringer. <i> Spectral Properties of the BCS Gap Equation of Superfluidity</i>. World Scientific Publishing, 2008, pp. 117–36, doi:<a href=\"https://doi.org/10.1142/9789812832382_0009\">10.1142/9789812832382_0009</a>."},"conference":{"name":"QMath: Mathematical Results in Quantum Physics"},"date_created":"2018-12-11T11:57:02Z","extern":1,"date_published":"2008-08-01T00:00:00Z","main_file_link":[{"url":"http://arxiv.org/abs/0802.0446","open_access":"1"}],"publisher":"World Scientific Publishing","type":"conference","quality_controlled":0,"_id":"2331","author":[{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"full_name":"Robert Seiringer","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","orcid":"0000-0002-6781-0521"}],"title":" Spectral properties of the BCS gap equation of superfluidity","oa":1,"doi":"10.1142/9789812832382_0009","year":"2008","abstract":[{"lang":"eng","text":"We present a review of recent work on the mathematical aspects of the BCS gap equation, covering our results of Ref. 9 as well our recent joint work with Hamza and Solovej and with Frank and Naboko, respectively. In addition, we mention some related new results."}],"date_updated":"2021-01-12T06:56:50Z","page":"117 - 136","status":"public","publication_status":"published"},{"publist_id":"4594","month":"12","citation":{"short":"R. Seiringer, in:, World Scientific Publishing, 2008, pp. 241–254.","ama":"Seiringer R. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. In: World Scientific Publishing; 2008:241-254. doi:<a href=\"https://doi.org/10.1142/9789812832382_0017\">10.1142/9789812832382_0017</a>","ista":"Seiringer R. 2008. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. QMath: Mathematical Results in Quantum Physics, 241–254.","ieee":"R. Seiringer, “Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases,” presented at the QMath: Mathematical Results in Quantum Physics, 2008, pp. 241–254.","apa":"Seiringer, R. (2008). Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases (pp. 241–254). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. <a href=\"https://doi.org/10.1142/9789812832382_0017\">https://doi.org/10.1142/9789812832382_0017</a>","chicago":"Seiringer, Robert. “Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases,” 241–54. World Scientific Publishing, 2008. <a href=\"https://doi.org/10.1142/9789812832382_0017\">https://doi.org/10.1142/9789812832382_0017</a>.","mla":"Seiringer, Robert. <i>Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases</i>. World Scientific Publishing, 2008, pp. 241–54, doi:<a href=\"https://doi.org/10.1142/9789812832382_0017\">10.1142/9789812832382_0017</a>."},"day":"30","date_created":"2018-12-11T11:57:02Z","conference":{"name":"QMath: Mathematical Results in Quantum Physics"},"extern":1,"date_published":"2008-12-30T00:00:00Z","publisher":"World Scientific Publishing","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0801.0427"}],"type":"conference","quality_controlled":0,"_id":"2332","oa":1,"title":"Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases","author":[{"orcid":"0000-0002-6781-0521","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","full_name":"Robert Seiringer"}],"doi":"10.1142/9789812832382_0017","abstract":[{"text":"We present a rigorous proof of the appearance of quantized vortices in dilute trapped Bose gases with repulsive two-body interactions subject to rotation, which was obtained recently in joint work with Elliott Lieb.14 Starting from the many-body Schrödinger equation, we show that the ground state of such gases is, in a suitable limit, well described by the nonlinear Gross-Pitaevskii equation. In the case of axially symmetric traps, our results show that the appearance of quantized vortices causes spontaneous symmetry breaking in the ground state.","lang":"eng"}],"year":"2008","date_updated":"2021-01-12T06:56:50Z","page":"241 - 254","status":"public","publication_status":"published"},{"main_file_link":[{"url":"http://arxiv.org/abs/math-ph/0608069","open_access":"1"}],"intvolume":"       279","publisher":"Springer","quality_controlled":0,"type":"journal_article","volume":279,"day":"01","citation":{"ama":"Seiringer R. Free energy of a dilute Bose gas: Lower bound. <i>Communications in Mathematical Physics</i>. 2008;279(3):595-636. doi:<a href=\"https://doi.org/10.1007/s00220-008-0428-2\">10.1007/s00220-008-0428-2</a>","short":"R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.","ista":"Seiringer R. 2008. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 279(3), 595–636.","apa":"Seiringer, R. (2008). Free energy of a dilute Bose gas: Lower bound. <i>Communications in Mathematical Physics</i>. Springer. <a href=\"https://doi.org/10.1007/s00220-008-0428-2\">https://doi.org/10.1007/s00220-008-0428-2</a>","ieee":"R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” <i>Communications in Mathematical Physics</i>, vol. 279, no. 3. Springer, pp. 595–636, 2008.","chicago":"Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” <i>Communications in Mathematical Physics</i>. Springer, 2008. <a href=\"https://doi.org/10.1007/s00220-008-0428-2\">https://doi.org/10.1007/s00220-008-0428-2</a>.","mla":"Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” <i>Communications in Mathematical Physics</i>, vol. 279, no. 3, Springer, 2008, pp. 595–636, doi:<a href=\"https://doi.org/10.1007/s00220-008-0428-2\">10.1007/s00220-008-0428-2</a>."},"publist_id":"4551","month":"05","extern":1,"date_published":"2008-05-01T00:00:00Z","date_created":"2018-12-11T11:57:17Z","publication":"Communications in Mathematical Physics","date_updated":"2021-01-12T06:57:06Z","status":"public","publication_status":"published","page":"595 - 636","author":[{"first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","full_name":"Robert Seiringer","orcid":"0000-0002-6781-0521"}],"oa":1,"title":"Free energy of a dilute Bose gas: Lower bound","_id":"2374","issue":"3","year":"2008","abstract":[{"text":"A lower bound is derived on the free energy (per unit volume) of a homogeneous Bose gas at density Q and temperature T. In the dilute regime, i.e., when a3 1, where a denotes the scattering length of the pair-interaction potential, our bound differs to leading order from the expression for non-interacting particles by the term 4πa(2 2}-[ - c]2+). Here, c(T) denotes the critical density for Bose-Einstein condensation (for the non-interacting gas), and [ · ]+ = max{ ·, 0} denotes the positive part. Our bound is uniform in the temperature up to temperatures of the order of the critical temperature, i.e., T ~ 2/3 or smaller. One of the key ingredients in the proof is the use of coherent states to extend the method introduced in [17] for estimating correlations to temperatures below the critical one.","lang":"eng"}],"doi":"10.1007/s00220-008-0428-2"},{"title":"Critical temperature and energy gap for the BCS equation","oa":1,"author":[{"full_name":"Hainzl, Christian","last_name":"Hainzl","first_name":"Christian"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","full_name":"Robert Seiringer","last_name":"Seiringer","orcid":"0000-0002-6781-0521"}],"_id":"2376","abstract":[{"text":"We derive upper and lower bounds on the critical temperature Tc and the energy gap Ξ (at zero temperature) for the BCS gap equation, describing spin- 1 2 fermions interacting via a local two-body interaction potential λV(x). At weak coupling λ 1 and under appropriate assumptions on V(x), our bounds show that Tc ∼A exp(-B/λ) and Ξ∼C exp(-B/λ) for some explicit coefficients A, B, and C depending on the interaction V(x) and the chemical potential μ. The ratio A/C turns out to be a universal constant, independent of both V(x) and μ. Our analysis is valid for any μ; for small μ, or low density, our formulas reduce to well-known expressions involving the scattering length of V(x).","lang":"eng"}],"issue":"18","year":"2008","doi":"10.1103/PhysRevB.77.184517","publication":"Physical Review B - Condensed Matter and Materials Physics","date_updated":"2021-01-12T06:57:06Z","publication_status":"published","status":"public","citation":{"mla":"Hainzl, Christian, and Robert Seiringer. “Critical Temperature and Energy Gap for the BCS Equation.” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 77, no. 18, American Physical Society, 2008, doi:<a href=\"https://doi.org/10.1103/PhysRevB.77.184517\">10.1103/PhysRevB.77.184517</a>.","chicago":"Hainzl, Christian, and Robert Seiringer. “Critical Temperature and Energy Gap for the BCS Equation.” <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society, 2008. <a href=\"https://doi.org/10.1103/PhysRevB.77.184517\">https://doi.org/10.1103/PhysRevB.77.184517</a>.","ista":"Hainzl C, Seiringer R. 2008. Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. 77(18).","ama":"Hainzl C, Seiringer R. Critical temperature and energy gap for the BCS equation. <i>Physical Review B - Condensed Matter and Materials Physics</i>. 2008;77(18). doi:<a href=\"https://doi.org/10.1103/PhysRevB.77.184517\">10.1103/PhysRevB.77.184517</a>","short":"C. Hainzl, R. Seiringer, Physical Review B - Condensed Matter and Materials Physics 77 (2008).","ieee":"C. Hainzl and R. Seiringer, “Critical temperature and energy gap for the BCS equation,” <i>Physical Review B - Condensed Matter and Materials Physics</i>, vol. 77, no. 18. American Physical Society, 2008.","apa":"Hainzl, C., &#38; Seiringer, R. (2008). Critical temperature and energy gap for the BCS equation. <i>Physical Review B - Condensed Matter and Materials Physics</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.77.184517\">https://doi.org/10.1103/PhysRevB.77.184517</a>"},"day":"28","month":"05","publist_id":"4550","extern":1,"date_published":"2008-05-28T00:00:00Z","date_created":"2018-12-11T11:57:18Z","publisher":"American Physical Society","intvolume":"        77","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/0801.4159"}],"volume":77,"type":"journal_article","quality_controlled":0}]