Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5767 Publications

2019 | Published | Journal Article | IST-REx-ID: 6511 | OA
Bao, Zhigang, Local single ring theorem on optimal scale. Annals of Probability 47 (3). 2019
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 8175 | OA
Betea, Dan, Jérémie Bouttier, Peter Nejjar, and Mirjana Vuletíc. “New Edge Asymptotics of Skew Young Diagrams via Free Boundaries.” In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Formal Power Series and Algebraic Combinatorics, 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 72 | OA
Ferrari, Patrick, Promit Ghosal, and Peter Nejjar. “Limit Law of a Second Class Particle in TASEP with Non-Random Initial Condition.” Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics, 2019. https://doi.org/10.1214/18-AIHP916.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 429 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Stability of the Matrix Dyson Equation and Random Matrices with Correlations.” Probability Theory and Related Fields. Springer, 2019. https://doi.org/10.1007/s00440-018-0835-z.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6182 | OA
Erdös, László, Torben H Krüger, and Dominik J Schröder. “Random Matrices with Slow Correlation Decay.” Forum of Mathematics, Sigma. Cambridge University Press, 2019. https://doi.org/10.1017/fms.2019.2.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6186 | OA
Cipolloni, Giorgio, László Erdös, Torben H Krüger, and Dominik J Schröder. “Cusp Universality for Random Matrices, II: The Real Symmetric Case.” Pure and Applied Analysis . MSP, 2019. https://doi.org/10.2140/paa.2019.1.615.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 6795 | OA
Trubenova, Barbora, and Reinmar Hager. “Green Beards in the Light of Indirect Genetic Effects.” Ecology and Evolution. Wiley, 2019. https://doi.org/10.1002/ece3.5484.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6638 | OA
Silva, André , Alan M Arroyo Guevara, Bruce Richter, and Orlando Lee. “Graphs with at Most One Crossing.” Discrete Mathematics. Elsevier, 2019. https://doi.org/10.1016/j.disc.2019.06.031.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 7026 | OA
Lukacisin, Martin, and Mark Tobias Bollenbach. “Emergent Gene Expression Responses to Drug Combinations Predict Higher-Order Drug Interactions.” Cell Systems. Cell Press, 2019. https://doi.org/10.1016/j.cels.2019.10.004.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 6046 | OA
Mitosch, Karin, Georg Rieckh, and Mark Tobias Bollenbach. “Temporal Order and Precision of Complex Stress Responses in Individual Bacteria.” Molecular Systems Biology. Embo Press, 2019. https://doi.org/10.15252/msb.20188470.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Book Chapter | IST-REx-ID: 7453 | OA
Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikučionis. “Continuous-Time Models for System Design and Analysis.” In Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019. https://doi.org/10.1007/978-3-319-91908-9_22.
[Published Version] View | DOI | Download Published Version (ext.)
 
2019 | Published | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.” In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-32079-9_17.
View | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, Milad, Determinacy in discrete-bidding infinite-duration games. 140. 2019
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6822 | OA
Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.” In Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019. https://doi.org/10.1007/978-3-030-30806-3_1.
[Submitted Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6942 | OA
Ashok, Pranav, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph Lampert, and Viktor Toman. “Strategy Representation by Decision Trees with Linear Classifiers.” In 16th International Conference on Quantitative Evaluation of Systems, 11785:109–28. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-30281-8_7.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee, Krishnendu, Long-run average behavior of vector addition systems with states. 140. 2019
[Published Version] View | Files available | DOI
 
2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Avni, Guy, Bidding mechanisms in graph games. 138. 2019
[Published Version] View | Files available | DOI | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.” In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_36.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Conference Paper | IST-REx-ID: 5948
Fu, Hongfei, and Krishnendu Chatterjee. “Termination of Nondeterministic Probabilistic Programs.” In International Conference on Verification, Model Checking, and Abstract Interpretation, 11388:468–90. Springer Nature, 2019. https://doi.org/10.1007/978-3-030-11245-5_22.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_16.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed