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.




4967 Publications

2014 | Published | Book Chapter | IST-REx-ID: 2265
Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.” In Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, 800:1–24. Springer, 2014. https://doi.org/10.1007/978-94-007-7687-6_1.
View | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2275 | OA
Olsson, Carl, Johannes Ulen, Yuri Boykov, and Vladimir Kolmogorov. “Partial Enumeration and Curvature Regularization,” 2936–43. IEEE, 2014. https://doi.org/10.1109/ICCV.2013.365.
[Submitted Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2281 | OA
Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein Condensates with Attractive Interactions.” Letters in Mathematical Physics. Springer, 2014. https://doi.org/10.1007/s11005-013-0667-9.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2285 | OA
Hosp, Jonas, Michael Strüber, Yuchio Yanagawa, Kunihiko Obata, Imre Vida, Peter M Jonas, and Marlene Bartos. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.” Hippocampus. Wiley-Blackwell, 2014. https://doi.org/10.1002/hipo.22214.
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2699 | OA
Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General β-Ensembles.” Duke Mathematical Journal. Duke University Press, 2014. https://doi.org/10.1215/00127094-2649752.
[Preprint] View | DOI | Download Preprint (ext.)
 
2014 | Published | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, Krishnendu, Mickael Randour, and Jean Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” Acta Informatica. Springer, 2014. https://doi.org/10.1007/s00236-013-0182-6.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2852
Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi-Property Combiners for Hash Functions.” Journal of Cryptology. Springer, 2014. https://doi.org/10.1007/s00145-013-9148-7.
View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner, Herbert, and Dmitriy Morozovy. “Persistent Homology: Theory and Practice,” 31–50. European Mathematical Society Publishing House, 2014. https://doi.org/10.4171/120-1/3.
[Submitted Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 3263 | OA
Tkačik, Gašper, Anandamohan Ghosh, Elad Schneidman, and Ronen Segev. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0085841.
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 468 | OA
Cimadom, Arno, Angel Ulloa, Patrick Meidl, Markus Zöttl, Elisabet Zöttl, Birgit Fessl, Erwin Nemeth, Michael Dvorak, Francesca Cunninghame, and Sabine Tebbich. “Invasive Parasites Habitat Change and Heavy Rainfall Reduce Breeding Success in Darwin’s Finches.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0107518.
[Published Version] View | Files available | DOI
 
2014 | Published | Conference Paper | IST-REx-ID: 475 | OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 146:83–90. Open Publishing Association, 2014. https://doi.org/10.4204/EPTCS.146.11.
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, and Danupon Nanongkai. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica. Springer, 2014. https://doi.org/10.1007/s00453-013-9843-7.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 537 | OA
Prizak, Roshan, Thomas Ezard, and Rebecca Hoyle. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution. Wiley-Blackwell, 2014. https://doi.org/10.1002/ece3.1150.
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 827 | OA
O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.” Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00451.
[Published Version] View | Files available | DOI
 
2013 | Published | Journal Article | IST-REx-ID: 828 | OA
Cuesta, Candela, Krzysztof T Wabnik, and Eva Benková. “Systems Approaches to Study Root Architecture Dynamics.” Frontiers in Plant Science. Frontiers Research Foundation, 2013. https://doi.org/10.3389/fpls.2013.00537.
[Published Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2009 | OA
Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.” Journal of Privacy and Confidentiality . Carnegie Mellon University, 2013. https://doi.org/10.29012/jpc.v5i1.629.
[Published Version] View | DOI | Download Published Version (ext.)
 
2013 | Published | Journal Article | IST-REx-ID: 2010 | OA
Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/12-AOS1080.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2013 | Published | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
[Published Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed