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.
5967 Publications
2015 | Published | Journal Article | IST-REx-ID: 1830 | 
Theis F, Ugelvig LV, Marr C, Cremer S. Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2015;370(1669). doi:10.1098/rstb.2014.0108
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2015 | Published | Conference Paper | IST-REx-ID: 1667 |
Brázdil T, Korenčiak L, Krčál J, Novotný P, Řehák V. Optimizing performance of continuous-time stochastic systems using timeout synthesis. 2015;9259:141-159. doi:10.1007/978-3-319-22264-6_10
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1940 |
Sokolowski TR, Tkačik G. Optimizing information flow in small genetic networks. IV. Spatial coupling. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2015;91(6). doi:10.1103/PhysRevE.91.062710
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1840 |
Geiger B, Petrov T, Kubin G, Koeppl H. Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control. 2015;60(4):1010-1022. doi:10.1109/TAC.2014.2364971
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Conference Paper | IST-REx-ID: 1626
Martin T, Umetani N, Bickel B. OmniAD: Data-driven omni-directional aerodynamics. In: Vol 34. ACM; 2015. doi:10.1145/2766919
View
| DOI
| WoS
2015 | Published | Journal Article | IST-REx-ID: 1680
Michaliszyn J, Otop J, Kieroňski E. On the decidability of elementary modal logics. ACM Transactions on Computational Logic. 2015;17(1). doi:10.1145/2817825
View
| DOI
| WoS
2015 | Published | Journal Article | IST-REx-ID: 1938
Pausinger F, Steinerberger S. On the distribution of local extrema in quantum chaos. Physics Letters, Section A. 2015;379(6):535-541. doi:10.1016/j.physleta.2014.12.010
View
| DOI
| WoS
2015 | Published | Conference Paper | IST-REx-ID: 1675 |
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of space. In: 35th Annual Cryptology Conference. Vol 9216. Springer; 2015:585-605. doi:10.1007/978-3-662-48000-7_29
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2015 | Published | Conference Paper | IST-REx-ID: 1647 |
Fuchsbauer G, Hanser C, Slamanig D. Practical round-optimal blind signatures in the standard model. In: Vol 9216. Springer; 2015:233-253. doi:10.1007/978-3-662-48000-7_12
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
2015 | Published | Journal Article | IST-REx-ID: 524 |
Chatterjee K, Ibsen-Jensen R. Qualitative analysis of concurrent mean payoff games. Information and Computation. 2015;242(6):2-24. doi:10.1016/j.ic.2015.03.009
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 2034 |
Bérard B, Chatterjee K, Sznajder N. Probabilistic opacity for Markov decision processes. Information Processing Letters. 2015;115(1):52-59. doi:10.1016/j.ipl.2014.09.001
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1885 |
Tkačik G, Dubuis J, Petkova M, Gregor T. Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics. 2015;199(1):39-59. doi:10.1534/genetics.114.171850
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1873 |
Chatterjee K, Chmelik M. POMDPs under probabilistic semantics. Artificial Intelligence. 2015;221:46-72. doi:10.1016/j.artint.2014.12.009
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Journal Article | IST-REx-ID: 1655 |
Martius GS, Olbrich E. Quantifying emergent behavior of autonomous robots. Entropy. 2015;17(10):7266-7297. doi:10.3390/e17107266
[Published Version]
View
| Files available
| DOI
| WoS
2015 | Published | Journal Article | IST-REx-ID: 1867
Hühner J, Inglés Prieto Á, Neusüß C, Lämmerhofer M, Janovjak HL. Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. 2015;36(4):518-525. doi:10.1002/elps.201400451
View
| DOI
| WoS
| PubMed | Europe PMC
2015 | Published | Journal Article | IST-REx-ID: 1694
Chatterjee K, Prabhu V. Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. 2015;60(9):2291-2306. doi:10.1109/TAC.2015.2404612
View
| DOI
| WoS
2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau G, Lukacisinova M, Batur T, et al. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs. 2015. doi:10.1371/journal.pbio.1002299.s008
[Published Version]
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau G, Lukacisinova M, Batur T, et al. Excel file containing the raw data for all figures. 2015. doi:10.1371/journal.pbio.1002299.s001
[Published Version]
View
| Files available
| DOI
2015 | Published | Journal Article | IST-REx-ID: 1615 |
Hammer M, Krueger Burg D, Tuffy L, et al. Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. 2015;13(3):516-523. doi:10.1016/j.celrep.2015.09.011
[Published Version]
View
| Files available
| DOI
| WoS
2015 | Published | Journal Article | IST-REx-ID: 1819
Zwiewka M, Nodzyński T, Robert S, Vanneste S, Friml J. Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant. 2015;8(8):1175-1187. doi:10.1016/j.molp.2015.03.007
View
| DOI
| WoS