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.
5270 Publications
2014 |Published| Book Chapter | IST-REx-ID: 1888
S. Cremer, “Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften,” in Soziale Insekten in einer sich wandelnden Welt, vol. 43, Verlag Dr. Friedrich Pfeil, 2014, pp. 65–72.
View
2014 |Submitted| Preprint | IST-REx-ID: 2012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Iglesias Ham, M. Kerber, and C. Uhler, “Sphere packing with limited overlap,” arXiv. .
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 2281 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Y. Guo and R. Seiringer, “On the mass concentration for Bose-Einstein condensates with attractive interactions,” Letters in Mathematical Physics, vol. 104, no. 2. Springer, pp. 141–156, 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 2257 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Tkačik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, and M. Berry, “Searching for collective behavior in a large network of sensory neurons,” PLoS Computational Biology, vol. 10, no. 1. Public Library of Science, 2014.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 475 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
[Published Version]
View
| Files available
| DOI
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1999
N. Stroeymeyt, B. E. Casillas Perez, and S. Cremer, “Organisational immunity in social insects,” Current Opinion in Insect Science, vol. 5, no. 1. Elsevier, pp. 1–15, 2014.
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 10396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A. Schlögl, P. M. Jonas, C. Schmidt-Hieber, and S. J. Guzman, “Stimfit: A fast visualization and analysis environment for cellular neurophysiology,” Biomedical Engineering / Biomedizinische Technik, vol. 58, no. SI-1-Track-G. De Gruyter, 2013.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Journal Article | IST-REx-ID: 10895 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Vanneste and J. Friml, “Calcium: The missing link in auxin action,” Plants, vol. 2, no. 4. MDPI, pp. 650–675, 2013.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |Published| Conference Paper | IST-REx-ID: 10898
A. Haas et al., “Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation,” in Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, Ischia, Italy, 2013, no. 5.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1374 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. Chatterjee and N. Fijalkow, “Infinite-state games with finitary conditions,” in 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2013, vol. 23, pp. 181–196.
[Published Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1385 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, and R. Bloem, “Synthesizing multiple boolean functions using interpolation on a single proof,” in 2013 Formal Methods in Computer-Aided Design, Portland, OR, United States, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Conference Paper | IST-REx-ID: 1387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
U. Boker, D. Kuperberg, O. Kupferman, and M. Skrzypczak, “Nondeterminism in the presence of a diverse or unknown future,” vol. 7966, no. PART 2. Springer, pp. 89–100, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2010 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. Uhler, G. Raskutti, P. Bühlmann, and B. Yu, “Geometry of the faithfulness assumption in causal inference,” The Annals of Statistics, vol. 41, no. 2. Institute of Mathematical Statistics, pp. 436–463, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 2009 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
C. Uhler, A. Slavkovic, and S. Fienberg, “Privacy-preserving data sharing for genome-wide association studies,” Journal of Privacy and Confidentiality , vol. 5, no. 1. Carnegie Mellon University, pp. 137–166, 2013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2181 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, and A. Sokolova, “Quantitative relaxation of concurrent data structures,” in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language, Rome, Italy, 2013, pp. 317–328.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 2210 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Biedl, M. Held, and S. Huber, “Reconstructing polygons from embedded straight skeletons,” in 29th European Workshop on Computational Geometry, Braunschweig, Germany, 2013, pp. 95–98.
[Submitted Version]
View
| Download Submitted Version (ext.)
2013 |Published| Conference Paper | IST-REx-ID: 2237 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Blanc, A. Gupta, L. Kovács, and B. Kragl, “Tree interpolation in Vampire,” vol. 8312. Springer, pp. 173–181, 2013.
[Submitted Version]
View
| Files available
| DOI