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.




4935 Publications

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. Oxford University Press, 2016. https://doi.org/10.1112/plms/pdv066.
[Preprint] 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. Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.1002384.
[Published Version] View | Files available | DOI
 
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. Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0147830.
[Published Version] 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. Cell Press, 2016. https://doi.org/10.1016/j.tcb.2016.02.003.
[Submitted Version] 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. IOP Publishing Ltd., 2016. https://doi.org/10.1088/1478-3975/13/1/016003.
[Preprint] 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. American Institute of Physics, 2016. https://doi.org/10.1063/1.4941723.
[Preprint] View | DOI | Download Preprint (ext.)
 
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. Public Library of Science, 2016. https://doi.org/10.1371/journal.pbio.1002382.
[Published Version] 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. Springer, 2016. https://doi.org/10.1007/s10955-016-1479-y.
[Published Version] 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. Cell Press, 2016. https://doi.org/10.1016/j.celrep.2016.01.048.
[Published Version] View | Files available | DOI
 
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. Springer, 2016. https://doi.org/10.1007/s11040-016-9204-2.
[Published Version] View | Files available | DOI
 
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. Cold Spring Harbor Laboratory Press, 2016. https://doi.org/10.1101/gad.276964.115.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
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. American Physical Society, 2016. https://doi.org/10.1103/PhysRevA.93.032502.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1494
Lemoult, Grégoire M, Liang Shi, Kerstin Avila, Shreyas V Jalikop, Marc Avila, and Björn Hof. “Directed Percolation Phase Transition to Sustained Turbulence in Couette Flow.” Nature Physics. Nature Publishing Group, 2016. https://doi.org/10.1038/nphys3675.
View | 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. American Mathematical Society, 2016. https://doi.org/10.1090/tran/6537.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1408 | OA
Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups.” Discrete & Computational Geometry. Springer, 2016. https://doi.org/10.1007/s00454-016-9794-2.
[Published Version] View | Files available | DOI
 
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. Genetics Society of America, 2016. https://doi.org/10.1534/genetics.115.183814.
[Preprint] View | Files available | DOI | PubMed | Europe PMC
 
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.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1521
Berrisford, John, Rozbeh Baradaran, and Leonid A Sazanov. “Structure of Bacterial Respiratory Complex I.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 2016. https://doi.org/10.1016/j.bbabio.2016.01.012.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, Sergey. “The Classification of Certain Linked 3-Manifolds in 6-Space.” Moscow Mathematical Journal. Independent University of Moscow, 2016. https://doi.org/10.17323/1609-4514-2016-16-1-1-25.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
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. American Mathematical Society, 2016. https://doi.org/10.1090/proc/12824.
[Preprint] 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.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1545 | OA
Nam, Phan, Marcin M Napiórkowski, and Jan Solovej. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” Journal of Functional Analysis. Academic Press, 2016. https://doi.org/10.1016/j.jfa.2015.12.007.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1552 | OA
Qi, Qin, Macarena Toll Riera, Karl Heilbron, Gail Preston, and R Craig Maclean. “The Genomic Basis of Adaptation to the Fitness Cost of Rifampicin Resistance in Pseudomonas Aeruginosa.” Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2016. https://doi.org/10.1098/rspb.2015.2452.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1289 | OA
Dunaeva, Olga, Herbert Edelsbrunner, Anton Lukyanov, Michael Machin, Daria Malkova, Roman Kuvaev, and Sergey Kashin. “The Classification of Endoscopy Images with Persistent Homology.” Pattern Recognition Letters. Elsevier, 2016. https://doi.org/10.1016/j.patrec.2015.12.012.
[Submitted Version] 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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1592
Abe, Masayuki, Georg Fuchsbauer, Jens Groth, Kristiyan Haralambiev, and Miyako Ohkubo. “Structure Preserving Signatures and Commitments to Group Elements.” Journal of Cryptology. Springer, 2016. https://doi.org/10.1007/s00145-014-9196-7.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier, Eva, Christine Moussion, Christopher Veldkamp, Rita Gerardy  Schahn, Ingrid de Vries, Larry Williams, Gary Chaffee, et al. “Polysialylation Controls Dendritic Cell Trafficking by Regulating Chemokine Recognition.” Science. American Association for the Advancement of Science, 2016. https://doi.org/10.1126/science.aad0512.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1597
Schwarz, Jan, and Michael K Sixt. “Quantitative Analysis of Dendritic Cell Haptotaxis.” Methods in Enzymology. Elsevier, 2016. https://doi.org/10.1016/bs.mie.2015.11.004.
View | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1608 | OA
Sadel, Christian. “Anderson Transition at 2 Dimensional Growth Rate on Antitrees and Spectral Theory for Operators with One Propagating Channel.” Annales Henri Poincare. Birkhäuser, 2016. https://doi.org/10.1007/s00023-015-0456-3.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1612 | OA
Kazda, Alexandr. “CSP for Binary Conservative Relational Structures.” Algebra Universalis. Springer, 2016. https://doi.org/10.1007/s00012-015-0358-8.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger, Florian, and Stefan Steinerberger. “On the Discrepancy of Jittered Sampling.” Journal of Complexity. Academic Press, 2016. https://doi.org/10.1016/j.jco.2015.11.003.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank, Rupert, Christian Hainzl, Robert Seiringer, and Jan Solovej. “The External Field Dependence of the BCS Critical Temperature.” Communications in Mathematical Physics. Springer, 2016. https://doi.org/10.1007/s00220-015-2526-2.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm, Douglas, Phan Nam, and Fabian Portmann. “Fractional Hardy–Lieb–Thirring and Related Inequalities for Interacting Systems.” Archive for Rational Mechanics and Analysis. Springer, 2016. https://doi.org/10.1007/s00205-015-0923-5.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher, Jerome, Alison Etheridge, Amandine Véber, and Nicholas H Barton. “Spread of Pedigree versus Genetic Ancestry in Spatially Distributed Populations.” Theoretical Population Biology. Academic Press, 2016. https://doi.org/10.1016/j.tpb.2015.10.008.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová, Radka, Marta Zwiewka, Agnieszka Bielach, Hélène Robert, and Jiří Friml. “A Forward Genetic Screen for New Regulators of Auxin Mediated Degradation of Auxin Transport Proteins in Arabidopsis Thaliana.” Journal of Plant Growth Regulation. Springer, 2016. https://doi.org/10.1007/s00344-015-9553-2.
[Preprint] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1225 | OA
Fuchsbauer, Georg, Christian Hanser, Chethan Kamath Hosdurg, and Daniel Slamanig. “Practical Round-Optimal Blind Signatures in the Standard Model from Weaker Assumptions,” 9841:391–408. Springer, 2016. https://doi.org/10.1007/978-3-319-44618-9_21.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, Tatsuaki, Krzysztof Z Pietrzak, Brent Waters, and Daniel Wichs. “New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators,” 9452:121–45. Springer, 2016. https://doi.org/10.1007/978-3-662-48797-6_6.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1148
Schilling, Christian, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski, and Jakob Ruess. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.” Biosystems. Elsevier, 2016. https://doi.org/10.1016/j.biosystems.2016.07.005.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.” International Journal on Software Tools for Technology Transfer. Springer, 2016. https://doi.org/10.1007/s10009-015-0393-y.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1707
Pielorz, Jasmin, and Christoph Lampert. “Optimal Geospatial Allocation of Volunteers for Crisis Management.” IEEE, 2016. https://doi.org/10.1109/ICT-DM.2015.7402041.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.” Journal of Multivariate Analysis. Elsevier, 2016. https://doi.org/10.1016/j.jmva.2015.10.005.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.” Probability Theory and Related Fields. Springer, 2016. https://doi.org/10.1007/s00440-014-0610-8.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1411 | OA
Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.” Israel Journal of Mathematics. Springer, 2016. https://doi.org/10.1007/s11856-016-1294-9.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
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. Springer, 2016. https://doi.org/10.1007/s00037-015-0120-9.
[Submitted Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
[Published Version] View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 479
Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun, and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” In Proceedings of the 38th International Conference on Software Engineering Companion , 112–21. IEEE, 2016. https://doi.org/10.1145/2889160.2889233.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1379 | OA
Burton, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,” 51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. https://doi.org/10.4230/LIPIcs.SoCG.2016.24.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences. Elsevier, 2016. https://doi.org/10.1016/j.jcss.2016.02.009.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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. Elsevier, 2016. https://doi.org/10.1016/j.artint.2016.01.007.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications