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., et al. “An Algorithm for Cartographic Generalization That Preserves Global Topology.” Journal of Mathematical Sciences, vol. 203, no. 6, Springer, 2014, pp. 754–60, doi:10.1007/s10958-014-2165-8.
View | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 1930
Günther, David, et al. “Fast and Memory-Efficient Topological Denoising of 2D and 3D Scalar Fields.” IEEE Transactions on Visualization and Computer Graphics, vol. 20, no. 12, IEEE, 2014, pp. 2585–94, doi:10.1109/TVCG.2014.2346432.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1931 | OA
Savin, Cristina, and Jochen Triesch. “Emergence of Task-Dependent Representations in Working Memory Circuits.” Frontiers in Computational Neuroscience, vol. 8, no. MAY, 57, Frontiers Research Foundation, 2014, doi:10.3389/fncom.2014.00057.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1932 | OA
Trotter, Meredith, et al. “Cryptic Genetic Variation Can Make "Irreducible Complexity" a Common Mode of Adaptation in Sexual Populations.” Evolution, vol. 68, no. 12, Wiley-Blackwell, 2014, pp. 3357–67, doi:10.1111/evo.12517.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1933
Hatakeyama, Jun, et al. “Cadherin-Based Adhesions in the Apical Endfoot Are Required for Active Notch Signaling to Control Neurogenesis in Vertebrates.” Development, vol. 141, no. 8, Company of Biologists, 2014, pp. 1671–82, doi:10.1242/dev.102988.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1934
Marhavý, Peter, et al. “Cytokinin Controls Polarity of PIN1-Dependent Auxin Transport during Lateral Root Organogenesis.” Current Biology, vol. 24, no. 9, Cell Press, 2014, pp. 1031–37, doi:10.1016/j.cub.2014.04.002.
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1935 | OA
Giuliani, Alessandro, et al. “Formation of Stripes and Slabs near the Ferromagnetic Transition.” Communications in Mathematical Physics, vol. 331, Springer, 2014, pp. 333–50, doi:10.1007/s00220-014-1923-2.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1936 | OA
Arbilly, Michal, et al. “An Arms Race between Producers and Scroungers Can Drive the Evolution of Social Cognition.” Behavioral Ecology, vol. 25, no. 3, Oxford University Press, 2014, pp. 487–95, doi:10.1093/beheco/aru002.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1937 | OA
Bourgade, Paul, et al. “Edge Universality of Beta Ensembles.” Communications in Mathematical Physics, vol. 332, no. 1, Springer, 2014, pp. 261–353, doi:10.1007/s00220-014-2120-z.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 475 | OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
[Published Version] View | Files available | DOI | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, et al. “Polynomial-Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 537 | OA
Prizak, Roshan, et al. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014, pp. 3139–45, doi:10.1002/ece3.1150.
[Published Version] View | Files available | DOI | WoS
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
[Published Version] View | Files available | DOI
 
earlier version | 2014 | Published | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed