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

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

2876 Publications


2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, Stephan, Krzysztof Z Pietrzak, Akshay Wadia, and Daniel Wichs. “A Counterexample to the Chain Rule for Conditional HILL Entropy.” Computational Complexity 25, no. 3 (2016): 567–605. https://doi.org/10.1007/s00037-015-0120-9.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek, Mateusz, Bernd Sturmfels, Caroline Uhler, and Piotr Zwiernik. “Exponential Varieties.” Proceedings of the London Mathematical Society 112, no. 1 (2016): 27–56. https://doi.org/10.1112/plms/pdv066.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi, Milad, Saiko Yoshida, Dolf Weijers, and Christian Fleck. “Centering the Organizing Center in the Arabidopsis Thaliana Shoot Apical Meristem by a Combination of Cytokinin Signaling and Self-Organization.” PLoS One 11, no. 2 (2016). https://doi.org/10.1371/journal.pone.0147830.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen, Xu, Shuang Wu, Zengyu Liu, and Jiří Friml. “Environmental and Endogenous Control of Cortical Microtubule Orientation.” Trends in Cell Biology 26, no. 6 (2016): 409–19. https://doi.org/10.1016/j.tcb.2016.02.003.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of E. Coli from the Energy Balance Analysis.” Physical Biology 13, no. 1 (2016). https://doi.org/10.1088/1478-3975/13/1/016003.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl, Christian, and Robert Seiringer. “The Bardeen–Cooper–Schrieffer Functional of Superconductivity and Its Mathematical Properties.” Journal of Mathematical Physics 57, no. 2 (2016). https://doi.org/10.1063/1.4941723.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion, Natalia, Athena Akrami, Yangfang Zuo, Federico Stella, and Mathew Diamond. “Coherence between Rat Sensorimotor System and Hippocampus Is Enhanced during Tactile Discrimination.” PLoS Biology 14, no. 2 (2016). https://doi.org/10.1371/journal.pbio.1002384.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, Paul, Cristina Cebrián, Hui Zong, Simon Hippenmeyer, and Frank Costantini. “Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.” PLoS Biology 14, no. 2 (2016). https://doi.org/10.1371/journal.pbio.1002382.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Local Spectral Statistics of Gaussian Matrices with Correlated Entries.” Journal of Statistical Physics 163, no. 2 (2016): 280–302. https://doi.org/10.1007/s10955-016-1479-y.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo, Erica, Alvaro Teijeira, Kari Vaahtomeri, Ann Willrodt, Joël Bloch, Maximilian Nitschké, Laura Santambrogio, Dontscho Kerjaschki, Michael K Sixt, and Cornelia Halin. “Intralymphatic CCL21 Promotes Tissue Egress of Dendritic Cells through Afferent Lymphatic Vessels.” Cell Reports 14, no. 7 (2016): 1723–34. https://doi.org/10.1016/j.celrep.2016.01.048.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “The Mean-Field Approximation and the Non-Linear Schrödinger Functional for Trapped Bose Gases.” Transactions of the American Mathematical Society 368, no. 9 (2016): 6131–57. https://doi.org/10.1090/tran/6537.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
Marhavý, Peter, Juan C Montesinos López, Anas Abuzeineh, Daniël Van Damme, Joop Vermeer, Jérôme Duclercq, Hana Rakusova, et al. “Targeted Cell Elimination Reveals an Auxin-Guided Biphasic Mode of Lateral Root Initiation.” Genes and Development 30, no. 4 (2016): 471–83. https://doi.org/10.1101/gad.276964.115.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat, Sören P, and Peter Pickl. “A New Method and a New Scaling for Deriving Fermionic Mean-Field Dynamics.” Mathematical Physics, Analysis and Geometry 19, no. 1 (2016). https://doi.org/10.1007/s11040-016-9204-2.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
Amaro, Pedro, Filippo Fratini, Laleh Safari, Jorge Machado, Mauro Guerra, Paul Indelicato, and José Santos. “Relativistic Evaluation of the Two-Photon Decay of the Metastable 1s22s2p3P0 State in Berylliumlike Ions with an Effective-Potential Model.” Physical Review A - Atomic, Molecular, and Optical Physics 93, no. 3 (2016). https://doi.org/10.1103/PhysRevA.93.032502.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
Lohse, Konrad, Martin Chmelik, Simon Martin, and Nicholas H Barton. “Efficient Strategies for Calculating Blockwise Likelihoods under the Coalescent.” Genetics 202, no. 2 (2016): 775–86. https://doi.org/10.1534/genetics.115.183814.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, Serhii. “The Classification of Certain Linked 3-Manifolds in 6-Space.” Moscow Mathematical Journal 16, no. 1 (2016): 1–25.
View | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
Gundert, Anna, and Uli Wagner. “On Topological Minors in Random Simplicial Complexes.” Proceedings of the American Mathematical Society 144, no. 4 (2016): 1815–28. https://doi.org/10.1090/proc/12824.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, Andreea, Calin C Guet, and Tatjana Petrov. “Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set,” 9271:173–91. Springer, 2016. https://doi.org/10.1007/978-3-319-26916-0_10.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Timed I/O Systems,” 9583:250–67. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_12.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence 234 (2016): 26–48. https://doi.org/10.1016/j.artint.2016.01.007.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 100 | OA
Aasen, David, Michael Hell, Ryan Mishmash, Andrew P Higginbotham, Jeroen Danon, Martin Leijnse, Thomas Jespersen, et al. “Milestones toward Majorana-Based Quantum Computing.” Physical Review X 6, no. 3 (2016). https://doi.org/10.1103/PhysRevX.6.031016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 101 | OA
Albrecht, S M, Andrew P Higginbotham, Thomas Jespersen, Morten Madsen, Ferdinand Kuemmeth, Jesper Nygård, Peter Krogstrup, and Charles Marcus. “Exponential Protection of Zero Modes in Majorana Islands.” Nature 531, no. 7593 (2016): 206–9. https://doi.org/10.1038/nature17162.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 102 | OA
Mishmash, Ryan, David Aasen, Andrew P Higginbotham, and Jason Alicea. “Approaching a Topological Phase Transition in Majorana Nanowires.” Physical Review B 93, no. 24 (2016). https://doi.org/10.1103/PhysRevB.93.245404.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Veronika Loitzenbauer. “Conditionally Optimal Algorithms for Generalized Büchi Games,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.25.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Skolem Problem for Continuous Linear Dynamical Systems,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.100.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Computation Tree Logic for Synchronization Properties,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.98.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs,” Vol. 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ESA.2016.28.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski, Łukasz, Krzysztof T Wabnik, Hongjiang Li, Steffen Vanneste, Satoshi Naramoto, Hirokazu Tanaka, and Jirí Friml. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.” Cell Discovery 2 (2016). https://doi.org/10.1038/celldisc.2016.18.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1082 | OA
Chalk, Matthew J, Olivier Marre, and Gasper Tkacik. “Relevant Sparse Codes with Variational Information Bottleneck,” 29:1965–73. Neural Information Processing Systems, 2016.
View | Files available | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1090 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Limit-Average Automata of Bounded Width,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.24.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Linear Distances between Markov Chains,” Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.20.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1095 | OA
Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.” In Leibniz International Proceedings in Informatics, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1097 | OA
Du, Tao, Adriana Schulz, Bo Zhu, Bernd Bickel, and Wojciech Matusik. “Computational Multicopter Design,” Vol. 35. ACM, 2016. https://doi.org/10.1145/2980179.2982427.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1098 | OA
Pentina, Anastasia, and Ruth Urner. “Lifelong Learning with Weighted Majority Votes,” 29:3619–27. Neural Information Processing Systems, 2016.
View | Files available
 

2016 | Conference Paper | IST-REx-ID: 1099 | OA
Malomo, Luigi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “FlexMolds: Automatic Design of Flexible Shells for Molding,” Vol. 35. ACM, 2016. https://doi.org/10.1145/2980179.2982397.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1100 | OA
Sako, Keisuke, Saurabh Pradhan, Vanessa Barone, Álvaro Inglés Prieto, Patrick Mueller, Verena Ruprecht, Daniel Capek, Sanjeev Galande, Harald L Janovjak, and Carl-Philipp J Heisenberg. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports 16, no. 3 (2016): 866–77. https://doi.org/10.1016/j.celrep.2016.06.036.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1102 | OA
Kolesnikov, Alexander, and Christoph Lampert. “Improving Weakly-Supervised Object Localization by Micro-Annotation.” In Proceedings of the British Machine Vision Conference 2016, 2016–September:92.1-92.12. BMVA Press, 2016. https://doi.org/10.5244/C.30.92.
View | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1103 | OA
Gurung, Amit, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, and Rajarshi Ray. “Parallel Reachability Analysis for Hybrid Systems.” IEEE, 2016. https://doi.org/10.1109/MEMCOD.2016.7797741.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1115 | OA
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Georg Schunk, Dimitry Strekalov, et al. “Efficient Single Sideband Microwave to Optical Conversion Using a LiNbO Inf 3 Inf WGM-Resonator.” IEEE, 2016. https://doi.org/10.1364/CLEO_SI.2016.SF2G.3.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen, Morten. Tracking, Correcting and Absorbing Water Surface Waves. IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:th_640.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina, Anastasia. Theoretical Foundations of Multi-Task Lifelong Learning. IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:TH_776.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1135 | OA
Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.” In Proceedings of the 13th International Conference on Embedded Software . ACM, 2016. https://doi.org/10.1145/2968478.2968499.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1136 | OA
Manteaux, Pierre, Ulysse Vimont, Christopher J Wojtan, Damien Rohmer, and Marie Cani. “Space Time Sculpting of Liquid Animation.” In Proceedings of the 9th International Conference on Motion in Games . ACM, 2016. https://doi.org/10.1145/2994258.2994261.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer, Elisabeth, Deniz Çaǧdaş, Miroslav Hons, Emily Mace, Wojciech Garncarz, Oezlem Petronczki, René Platzer, et al. “RASGRP1 Deficiency Causes Immunodeficiency with Impaired Cytoskeletal Dynamics.” Nature Immunology 17, no. 12 (2016): 1352–60. https://doi.org/10.1038/ni.3575.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Paper | IST-REx-ID: 1138 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Automata under Probabilistic Semantics.” In Proceedings of the 31st Annual ACM/IEEE Symposium, 76–85. IEEE, 2016. https://doi.org/10.1145/2933575.2933588.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, Krishnendu, Wolfgang Dvoák, Monika Henzinger, and Veronika Loitzenbauer. “Model and Objective Separation with Conditional Lower Bounds Disjunction Is Harder than Conjunction.” In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 197–206. IEEE, 2016. https://doi.org/10.1145/2933575.2935304.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1142 | OA
Martins, Rui, Julia Maier, Anna Gorki, Kilian Huber, Omar Sharif, Philipp Starkl, Simona Saluzzo, et al. “Heme Drives Hemolysis-Induced Susceptibility to Infection via Disruption of Phagocyte Functions.” Nature Immunology 17, no. 12 (2016): 1361–72. https://doi.org/10.1038/ni.3590.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1143 | OA
Nam, Phan, Nicolas Rougerie, and Robert Seiringer. “Ground States of Large Bosonic Systems: The Gross Pitaevskii Limit Revisited.” Analysis and PDE 9, no. 2 (2016): 459–85. https://doi.org/10.2140/apde.2016.9.459.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1145 | OA
Nodzyński, Tomasz, Steffen Vanneste, Marta Zwiewka, Markéta Pernisová, Jan Hejátko, and Jirí Friml. “Enquiry into the Topology of Plasma Membrane Localized PIN Auxin Transport Components.” Molecular Plant 9, no. 11 (2016): 1504–19. https://doi.org/10.1016/j.molp.2016.08.010.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1147 | OA
Balla, Jozef, Zuzana Medved’Ová, Petr Kalousek, Natálie Matiješčuková, Jirí Friml, Vilém Reinöhl, and Stanislav Procházka. “Auxin Flow Mediated Competition between Axillary Buds to Restore Apical Dominance.” Scientific Reports 6 (2016). https://doi.org/10.1038/srep35955.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1151 | OA
Simonini, Sara, Joyita Deb, Laila Moubayidin, Pauline Stephenson, Manoj Valluru, Alejandra Freire Rios, Karim Sorefan, Dolf Weijers, Jirí Friml, and Lars Östergaard. “A Noncanonical Auxin Sensing Mechanism Is Required for Organ Morphogenesis in Arabidopsis.” Genes and Development 30, no. 20 (2016): 2286–96. https://doi.org/10.1101/gad.285361.116.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1153 | OA
Žádníková, Petra, Krzysztof T Wabnik, Anas Abuzeineh, Marçal Gallemí, Dominique Van Der Straeten, Richard Smith, Dirk Inze, Jirí Friml, Przemysław Prusinkiewicz, and Eva Benková. “A Model of Differential Growth Guided Apical Hook Formation in Plants.” Plant Cell 28, no. 10 (2016): 2464–77. https://doi.org/10.1105/tpc.15.00569.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1154 | OA
Schwarz, Jan, Veronika Bierbaum, Jack Merrin, Tino Frank, Robert Hauschild, Mark Tobias Bollenbach, Savaş Tay, Michael K Sixt, and Matthias Mehling. “A Microfluidic Device for Measuring Cell Migration towards Substrate Bound and Soluble Chemokine Gradients.” Scientific Reports 6 (2016). https://doi.org/10.1038/srep36440.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1157 | OA
Lee, Ji, and Kevin Schnelli. “Tracy-Widom Distribution for the Largest Eigenvalue of Real Sample Covariance Matrices with General Population.” Annals of Applied Probability 26, no. 6 (2016): 3786–3839. https://doi.org/10.1214/16-AAP1193.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1158 | OA
Roux, Camille, Christelle Fraisse, Jonathan Romiguier, Youann Anciaux, Nicolas Galtier, and Nicolas Bierne. “Shedding Light on the Grey Zone of Speciation along a Continuum of Genomic Divergence.” PLoS Biology 14, no. 12 (2016). https://doi.org/10.1371/journal.pbio.2000234.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1164 | OA
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity II,” 9801:468–81. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_36.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs,” 9801:94–106. Springer, 2016. https://doi.org/10.1007/978-3-319-50106-2_8.
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1167 | OA
Zagórski, Marcin P, Zdzisław Burda, and Bartłomiej Wacław. “Beyond the Hypercube Evolutionary Accessibility of Fitness Landscapes with Realistic Mutational Networks.” PLoS Computational Biology 12, no. 12 (2016). https://doi.org/10.1371/journal.pcbi.1005218.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1172 | OA
Sachdeva, Himani, Mustansir Barma, and Madan Rao. “Nonequilibrium Description of de Novo Biogenesis and Transport through Golgi-like Cisternae.” Scientific Reports 6 (2016). https://doi.org/10.1038/srep38840.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1177 | OA
Kamath Hosdurg, Chethan, and Sanjit Chatterjee. “A Closer Look at Multiple-Forking: Leveraging (in)Dependence for a Tighter Bound.” Algorithmica 74, no. 4 (2016): 1321–62. https://doi.org/10.1007/s00453-015-9997-6.
View | DOI | Download Submitted Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1179 | OA
Pietrzak, Krzysztof Z, and Skorski Maciej. “Pseudoentropy: Lower-Bounds for Chain Rules and Transformations,” 9985:183–203. Springer, 2016. https://doi.org/10.1007/978-3-662-53641-4_8.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 366 | OA
Meyn, Michaela, Mariano Perálvarez, Amelie Heuer Jungemann, Wim Hertog, Maria Ibanez Sabate, Raquel Nafria, Aziz Genç, et al. “Polymer Enhanced Stability of Inorganic Perovskite Nanocrystals and Their Application in Color Conversion LEDs.” ACS Applied Materials and Interfaces 8, no. 30 (2016): 19579–86. https://doi.org/10.1021/acsami.6b02529.
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 389 | OA
Mahmood, Fahad, Ching Chan, Zhanybek Alpichshev, Dillon Gardner, Young Lee, Patrick Lee, and Nuh Gedik. “Selective Scattering between Floquet Bloch and Volkov States in a Topological Insulator.” Nature Physics 12, no. 4 (2016): 306–10. https://doi.org/10.1038/nphys3609.
View | DOI | Download None (ext.)
 

2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin, Martin, Matthieu Landon, and Rishi Jajoo. MATLAB Analysis Code for “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:45.
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh, Georg. Studying the Complexities of Transcriptional Regulation. IST Austria, 2016.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1992 | OA
Gupta, Ashutosh, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta, and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,” 433–44. ACM, 2015. https://doi.org/10.1145/2676726.2677008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1993 | OA
Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.” Proceedings of the Royal Society of London Series B Biological Sciences 282, no. 1799 (2015). https://doi.org/10.1098/rspb.2014.1976.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1997 | OA
Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov Degree Two.” Journal of Symbolic Computation 68/Part 2, no. May-June (2015): 285–96. https://doi.org/10.1016/j.jsc.2014.09.014.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2006 | OA
Hein, Nicolas, Christopher Hillar, Abraham Martin Del Campo Sanchez, Frank Sottile, and Zach Teitler. “The Monotone Secant Conjecture in the Real Schubert Calculus.” Experimental Mathematics 24, no. 3 (2015): 261–69. https://doi.org/10.1080/10586458.2014.980044.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2008 | OA
Klimova, Anna, and Tamás Rudas. “Iterative Scaling in Curved Exponential Families.” Scandinavian Journal of Statistics 42, no. 3 (2015): 832–47. https://doi.org/10.1111/sjos.12139.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2014 | OA
Klimova, Anna, Caroline Uhler, and Tamás Rudas. “Faithfulness and Learning Hypergraphs from Discrete Distributions.” Computational Statistics & Data Analysis 87, no. 7 (2015): 57–72. https://doi.org/10.1016/j.csda.2015.01.017.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2025 | OA
Kawada, Daiki, Hiromu Kobayashi, Tsuyoshi Tomita, Eisuke Nakata, Makoto Nagano, Daria E Siekhaus, Junko Toshima, and Jiro Toshimaa. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.” Biochimica et Biophysica Acta - Molecular Cell Research 1853, no. 1 (2015): 144–56. https://doi.org/10.1016/j.bbamcr.2014.10.009.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2030 | OA
Shi, Liang, Markus Rampp, Björn Hof, and Marc Avila. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.” Computers and Fluids 106, no. 1 (2015): 1–11. https://doi.org/10.1016/j.compfluid.2014.09.021.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2034 | OA
Bérard, Béatrice, Krishnendu Chatterjee, and Nathalie Sznajder. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters 115, no. 1 (2015): 52–59. https://doi.org/10.1016/j.ipl.2014.09.001.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035 | OA
Edelsbrunner, Herbert, Grzegorz Jablonski, and Marian Mrozek. “The Persistent Homology of a Self-Map.” Foundations of Computational Mathematics 15, no. 5 (2015): 1213–44. https://doi.org/10.1007/s10208-014-9223-y.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085 | OA
Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis 215, no. 2 (2015): 381–417. https://doi.org/10.1007/s00205-014-0781-6.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2166 | OA
Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.” Communications in Mathematical Physics 333, no. 3 (2015): 1365–1416. https://doi.org/10.1007/s00220-014-2119-5.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, Vladimir, Johan Thapper, and Stanislav Živný. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing 44, no. 1 (2015): 1–36. https://doi.org/10.1137/130945648.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 256 | OA
Browning, Timothy D, and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.” Journal Fur Die Reine Und Angewandte Mathematik 2017, no. 731 (2015). https://doi.org/10.1515/crelle-2014-0122.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257 | OA
Browning, Timothy D, and Ritabrata Munshi. “Pairs of Diagonal Quadratic Forms and Linear Correlations among Sums of Two Squares.” Forum Mathematicum 27, no. 4 (2015): 2025–50. https://doi.org/10.1515/forum-2013-6024.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 7739 | OA
Santure, Anna W., Jocelyn Poissant, Isabelle De Cauwer, Kees van Oers, Matthew Richard Robinson, John L. Quinn, Martien A. M. Groenen, Marcel E. Visser, Ben C. Sheldon, and Jon Slate. “Replicated Analysis of the Genetic Architecture of Quantitative Traits in Two Wild Great Tit Populations.” Molecular Ecology 24 (2015): 6148–62. https://doi.org/10.1111/mec.13452.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 7741 | OA
Adams, Mark James, Matthew Richard Robinson, Maria-Elena Mannarelli, and Ben J. Hatchwell. “Social Genetic and Social Environment Effects on Parental and Helper Care in a Cooperatively Breeding Bird.” Proceedings of the Royal Society B: Biological Sciences 282, no. 1810 (2015): 20150689. https://doi.org/10.1098/rspb.2015.0689.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Preprint | IST-REx-ID: 7779 | OA
Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the Linear Response of  Disordered Solids.” ArXiv:1510.08820, 2015.
View | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 778 | OA
Alistarh, Dan-Adrian, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, and Nir Shavit. “Inherent Limitations of Hybrid Transactional Memory,” 9363:185–99. Springer, 2015. https://doi.org/10.1007/978-3-662-48653-5_13.
View | DOI | Download None (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 780 | OA
Alistarh, Dan-Adrian, and Rati Gelashvili. “Polylogarithmic-Time Leader Election in Population Protocols,” 9135:479–91. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_38.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 783 | OA
Alistarh, Dan, Rati Gelashvili, and Adrian Vladu. “How to Elect a Leader Faster than a Tournament,” 2015–July:365–74. ACM, 2015. https://doi.org/10.1145/2767386.2767420.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 473 | OA
Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.” Journal de l’Ecole Polytechnique - Mathematiques 2 (2015): 65–115. https://doi.org/10.5802/jep.18.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 523 | OA
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation 242, no. 6 (2015): 25–52. https://doi.org/10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 524 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation 242, no. 6 (2015): 2–24. https://doi.org/10.1016/j.ic.2015.03.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-319-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Kristoffer Hansen. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-322-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434 | OA
Anonymous, 1, and 2 Anonymous. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria, 2015.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. Edit Distance for Pushdown Automata. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications