Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7050 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 |
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 |
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 |
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 |
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 |
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 |
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: 117
H. Jaeger, M. Miskin, and S. R. Waitukaitis, “From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions,” in AIP Conference Proceedings, Sydney, Australia, 2013, vol. 1542, pp. 3–6.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 1374 |
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 |
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