Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1145/3152769__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3152769 .
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.23638/LMCS-13(3:23)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/10.23638/LMCS-13(3:23)2017 .
LibreCat: https://research-explorer.ista.ac.at/record/465
DOI: 10.23638/LMCS-13(3:23)2017

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Amplification on Undirected Population Structures: Comets Beat Stars.”https://doi.org/10.1038/s41598-017-00107-w__Scientific Reports. Nature Publishing Group, 2017.https://doi.org/10.1038/s41598-017-00107-w .
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w

Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.”https://doi.org/10.1145/3158118__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158118 .
LibreCat: https://research-explorer.ista.ac.at/record/10416
DOI: 10.1145/3158118
arXiv: 1910.00241

Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2017-870-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5455
DOI: 10.15479/AT:IST-2017-870-v1-1

Petritsch, Barbara. Implementing the Institutional Data Repository IST DataRep. IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5450

Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. “Data-Centric Dynamic Partial Order Reduction.”https://doi.org/10.1145/3158119__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158119 .
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2017-872-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5456
DOI: 10.15479/AT:IST-2017-872-v1-1

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.”https://doi.org/10.4230/LIPIcs.MFCS.2017.61__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.61 .
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

Chatterjee, Krishnendu, Monika H Henzinger, and Alexander Svozil. “Faster Algorithms for Mean-Payoff Parity Games.”https://doi.org/10.4230/LIPIcs.MFCS.2017.39__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.39 .
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.”https://doi.org/10.4230/LIPIcs.MFCS.2017.55__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.55 .
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55

Gerencser, Mate, Arnulf Jentzen, and Diyora Salimova. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.”https://doi.org/10.1098/rspa.2017.0104__Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2017.https://doi.org/10.1098/rspa.2017.0104 .
LibreCat: https://research-explorer.ista.ac.at/record/560
DOI: 10.1098/rspa.2017.0104

Erdös, László, and Horng Yau. A Dynamical Approach to Random Matrix Theory. Vol. 28. Courant Lecture Notes. American Mathematical Society, 2017.https://doi.org/10.1090/cln/028 .
LibreCat: https://research-explorer.ista.ac.at/record/567
DOI: 10.1090/cln/028

Franek, Peter, and Marek Krcál. “Persistence of Zero Sets.”https://doi.org/10.4310/HHA.2017.v19.n2.a16__Homology, Homotopy and Applications. International Press, 2017.https://doi.org/10.4310/HHA.2017.v19.n2.a16 .
LibreCat: https://research-explorer.ista.ac.at/record/568
DOI: 10.4310/HHA.2017.v19.n2.a16

Lagator, Mato, Srdjan Sarikas, Hande Acar, Jonathan P Bollback, and Calin C Guet. “Regulatory Network Structure Determines Patterns of Intermolecular Epistasis.”https://doi.org/10.7554/eLife.28921__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.28921 .
LibreCat: https://research-explorer.ista.ac.at/record/570
DOI: 10.7554/eLife.28921

Spira, Felix, Sara Cuylen Haering, Shalin Mehta, Matthias Samwer, Anne Reversat, Amitabh Verma, Rudolf Oldenbourg, Michael K Sixt, and Daniel Gerlich. “Cytokinesis in Vertebrate Cells Initiates by Contraction of an Equatorial Actomyosin Network Composed of Randomly Oriented Filaments.”https://doi.org/10.7554/eLife.30867__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.30867 .
LibreCat: https://research-explorer.ista.ac.at/record/569
DOI: 10.7554/eLife.30867

Gärtner, Florian R, Zerkah Ahmad, Gerhild Rosenberger, Shuxia Fan, Leo Nicolai, Benjamin Busch, Gökce Yavuz, et al. “Migrating Platelets Are Mechano Scavengers That Collect and Bundle Bacteria.”https://doi.org/10.1016/j.cell.2017.11.001__Cell Press. Cell Press, 2017.https://doi.org/10.1016/j.cell.2017.11.001 .
LibreCat: https://research-explorer.ista.ac.at/record/571
DOI: 10.1016/j.cell.2017.11.001

Olatunji, Damilola, Danny Geelen, and Inge Verstraeten. “Control of Endogenous Auxin Levels in Plant Root Development.”https://doi.org/10.3390/ijms18122587__International Journal of Molecular Sciences. MDPI, 2017.https://doi.org/10.3390/ijms18122587 .
LibreCat: https://research-explorer.ista.ac.at/record/572
DOI: 10.3390/ijms18122587

Biswas, Ranita, and Partha Bhowmick. “On the Functionality and Usefulness of Quadraginta Octants of Naive Sphere.”https://doi.org/10.1007/s10851-017-0718-4__Journal of Mathematical Imaging and Vision. Springer Nature, 2017.https://doi.org/10.1007/s10851-017-0718-4 .
LibreCat: https://research-explorer.ista.ac.at/record/5800
DOI: 10.1007/s10851-017-0718-4

Biswas, Ranita, Partha Bhowmick, and Valentin E. Brimkov. “On the Polyhedra of Graceful Spheres and Circular Geodesics.”https://doi.org/10.1016/j.dam.2015.11.017__Discrete Applied Mathematics. Elsevier, 2017.https://doi.org/10.1016/j.dam.2015.11.017 .
LibreCat: https://research-explorer.ista.ac.at/record/5799
DOI: 10.1016/j.dam.2015.11.017