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.
6456 Publications
2014 |
Published |
Journal Article |
IST-REx-ID: 1929
Alexeev, V V, V G Bogaevskaya, M M Preobrazhenskaya, A Y Ukhalov, Herbert Edelsbrunner, and Olga Yakimova. “An Algorithm for Cartographic Generalization That Preserves Global Topology.” Journal of Mathematical Sciences. Springer, 2014. https://doi.org/10.1007/s10958-014-2165-8.
View
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 1930
Günther, David, Alec Jacobson, Jan Reininghaus, Hans Seidel, Olga Sorkine Hornung, and Tino Weinkauf. “Fast and Memory-Efficient Topological Denoising of 2D and 3D Scalar Fields.” IEEE Transactions on Visualization and Computer Graphics. IEEE, 2014. https://doi.org/10.1109/TVCG.2014.2346432.
View
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1931 |
Savin, Cristina, and Jochen Triesch. “Emergence of Task-Dependent Representations in Working Memory Circuits.” Frontiers in Computational Neuroscience. Frontiers Research Foundation, 2014. https://doi.org/10.3389/fncom.2014.00057.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1932 |
Trotter, Meredith, Daniel Weissman, Grant Peterson, Kayla Peck, and Joanna Masel. “Cryptic Genetic Variation Can Make "Irreducible Complexity" a Common Mode of Adaptation in Sexual Populations.” Evolution. Wiley-Blackwell, 2014. https://doi.org/10.1111/evo.12517.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 1933
Hatakeyama, Jun, Yoshio Wakamatsu, Akira Nagafuchi, Ryoichiro Kageyama, Ryuichi Shigemoto, and Kenji Shimamura. “Cadherin-Based Adhesions in the Apical Endfoot Are Required for Active Notch Signaling to Control Neurogenesis in Vertebrates.” Development. Company of Biologists, 2014. https://doi.org/10.1242/dev.102988.
View
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1934
Marhavý, Peter, Jérôme Duclercq, Benjamin Weller, Elena Feraru, Agnieszka Bielach, Remko Offringa, Jiří Friml, Claus Schwechheimer, Angus Murphy, and Eva Benková. “Cytokinin Controls Polarity of PIN1-Dependent Auxin Transport during Lateral Root Organogenesis.” Current Biology. Cell Press, 2014. https://doi.org/10.1016/j.cub.2014.04.002.
View
| DOI
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1935 |
Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Formation of Stripes and Slabs near the Ferromagnetic Transition.” Communications in Mathematical Physics. Springer, 2014. https://doi.org/10.1007/s00220-014-1923-2.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 1936 |
Arbilly, Michal, Daniel Weissman, Marcus Feldman, and Uri Grodzinski. “An Arms Race between Producers and Scroungers Can Drive the Evolution of Social Cognition.” Behavioral Ecology. Oxford University Press, 2014. https://doi.org/10.1093/beheco/aru002.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2014 |
Published |
Journal Article |
IST-REx-ID: 1937 |
Bourgade, Paul, László Erdös, and Horngtzer Yau. “Edge Universality of Beta Ensembles.” Communications in Mathematical Physics. Springer, 2014. https://doi.org/10.1007/s00220-014-2120-z.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2014 |
Published |
Conference Paper |
IST-REx-ID: 475 |
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
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 535 |
Chatterjee, Krishnendu, Monika 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.)
| WoS
| arXiv
2014 |
Published |
Journal Article |
IST-REx-ID: 537 |
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
| WoS
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5411 |
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-148-v2-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5412 |
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v1-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5413 |
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v2-2.
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5414 |
Chatterjee, Krishnendu, Przemyslaw Daca, and Martin Chmelik. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-153-v3-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5415 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-170-v1-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5416 |
Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-171-v1-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5417 |
Henzinger, Thomas A, and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-172-v1-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2014 |
Published |
Technical Report |
IST-REx-ID: 5418 |
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-176-v1-1.
[Published Version]
View
| Files available
| DOI