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.
10932 Publications
2014 | Published | Journal Article | IST-REx-ID: 1375 | 
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 | Published | Technical Report | IST-REx-ID: 5423 |
Chatterjee K, Kössler A, Pavlogiannis A, Schmid U. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria; 2014. doi:10.15479/AT:IST-2014-300-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10892
Biedl T, Huber S, Palfrader P. Planar matchings for weighted straight skeletons. In: 25th International Symposium, ISAAC 2014. Vol 8889. Springer Nature; 2014:117-127. doi:10.1007/978-3-319-13075-0_10
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 10815 |
Hashimoto M, Morita H, Ueno N. Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. 2014;54(1):1-7. doi:10.1111/cga.12039
View
| DOI
| Download None (ext.)
| WoS
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 9931
Dhar R, Bergmiller T, Wagner A. Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution. 2014;68(6):1775-1791. doi:10.1111/evo.12373
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2014 | Research Data Reference | IST-REx-ID: 9932 |
Dhar R, Bergmiller T, Wagner A. Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. 2014. doi:10.5061/dryad.jc402
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9753 |
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. 2014. doi:10.5061/dryad.nc0gc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 2275 |
Olsson C, Ulen J, Boykov Y, Kolmogorov V. Partial enumeration and curvature regularization. In: IEEE; 2014:2936-2943. doi:10.1109/ICCV.2013.365
[Submitted Version]
View
| Files available
| DOI
| WoS
2014 | Research Data Reference | IST-REx-ID: 9752 |
Simmons K, Prentice J, Tkačik G, et al. Data from: Transformation of stimulus correlations by the retina. 2014. doi:10.5061/dryad.246qg
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 2211 |
Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). 2014;15(2). doi:10.1145/2579821
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 | Published | Thesis | IST-REx-ID: 1403
Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
View
| Files available
2014 | Published | Conference Paper | IST-REx-ID: 2054
Chatterjee K. Qualitative concurrent parity games: Bounded rationality. In: Baldan P, Gorla D, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8704. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:544-559. doi:10.1007/978-3-662-44584-6_37
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 2038 |
Boker U, Chatterjee K, Henzinger TA, Kupferman O. Temporal specifications with accumulative values. ACM Transactions on Computational Logic (TOCL). 2014;15(4). doi:10.1145/2629686
[Submitted Version]
View
| Files available
| DOI
| WoS
2014 | Published | Conference Paper | IST-REx-ID: 10894
Bauer U, Kerber M, Reininghaus J, Wagner H. PHAT – Persistent Homology Algorithms Toolbox. In: ICMS 2014: International Congress on Mathematical Software. Vol 8592. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2014:137-143. doi:10.1007/978-3-662-44199-2_24
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1999
Stroeymeyt N, Casillas Perez BE, Cremer S. Organisational immunity in social insects. Current Opinion in Insect Science. 2014;5(1):1-15. doi:10.1016/j.cois.2014.09.001
View
| Files available
| DOI
| WoS
2013 | Published | Journal Article | IST-REx-ID: 13405
Ely T, Das S, Li W, et al. Photocontrol of electrical conductance with a nonsymmetrical azobenzene dithiol. Synlett. 2013;24(18):2370-2374. doi:10.1055/s-0033-1340087
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 13406
Das S, Ranjan P, Maiti PS, Singh G, Leitus G, Klajn R. Dual-responsive nanoparticles and their self-assembly. Advanced Materials. 2013;25(3):422-426. doi:10.1002/adma.201201734
View
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 1442 |
Hausel T, Letellier E, Rodríguez Villegas F. Positivity for Kac polynomials and DT-invariants of quivers. Annals of Mathematics. 2013;177(3):1147-1168. doi:10.4007/annals.2013.177.3.8
View
| DOI
| Download (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 1443 |
Hausel T. Global topology of the Hitchin system. In: Handbook of Moduli: Volume II. Vol 25. International Press; 2013:29-70.
View
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 10895 |
Vanneste S, Friml J. Calcium: The missing link in auxin action. Plants. 2013;2(4):650-675. doi:10.3390/plants2040650
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC