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.




2984 Publications

2014 | Conference Paper | IST-REx-ID: 2239
Boker U, Henzinger TA, Radhakrishna A. Battery transition systems. In: Vol 49. ACM; 2014:595-606. doi:10.1145/2535838.2535875
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2240
Gadeyne A, Sánchez Rodríguez C, Vanneste S, et al. The TPLATE adaptor complex drives clathrin-mediated endocytosis in plants. Cell. 2014;156(4):691-704. doi:10.1016/j.cell.2014.01.039
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2241
Beppu K, Sasaki T, Tanaka K, et al. Optogenetic countering of glial acidosis suppresses glial glutamate release and ischemic brain damage. Neuron. 2014;81(2):314-320. doi:10.1016/j.neuron.2013.11.011
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2242
Dueck A, Eichner A, Sixt MK, Meister G. A miR-155-dependent microRNA hierarchy in dendritic cell maturation and macrophage activation. FEBS Letters. 2014;588(4):632-640. doi:10.1016/j.febslet.2014.01.009
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2248
Capek D, Metscher B, Müller G. Thumbs down: A molecular-morphogenetic approach to avian digit homology. Journal of Experimental Zoology Part B: Molecular and Developmental Evolution. 2014;322(1):1-12. doi:10.1002/jez.b.22545
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2249 | OA
Chen Y, Aung K, Rolčík J, Walicki K, Friml J, Brandizzí F. Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal. 2014;77(1):97-107. doi:10.1111/tpj.12373
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari JL, Dupret D. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2014;369(1635). doi:10.1098/rstb.2012.0528
View | Files available | DOI | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2253 | OA
Bailly A, Wang B, Zwiewka M, et al. Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal. 2014;77(1):108-118. doi:10.1111/tpj.12369
View | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2254 | OA
Pernia-Andrade A, Jonas PM. Theta-gamma-modulated synaptic currents in hippocampal granule cells in vivo define a mechanism for network oscillations. Neuron. 2014;81(1):140-152. doi:10.1016/j.neuron.2013.09.046
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 2245
Simon S, Skůpa P, Dobrev P, Petrášek J, Zažímalová E, Friml J. Analyzing the in vivo status of exogenously applied auxins: A HPLC-based method to characterize the intracellularly localized auxin transporters. In: Hicks G, Robert S, eds. Plant Chemical Genomics. Vol 1056. Methods in Molecular Biology. Springer; 2014:255-264. doi:10.1007/978-1-62703-592-7_23
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun A, Phalitnonkiat P, Rubin S, Tarfulea A. Alternating traps in Muller and parity games. Theoretical Computer Science. 2014;521:73-91. doi:10.1016/j.tcs.2013.11.032
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2261 | OA
Zhu F, Gamboa M, Farruggio A, et al. DICE, an efficient system for iterative genomic editing in human pluripotent stem cells. Nucleic Acids Research. 2014;42(5). doi:10.1093/nar/gkt1290
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer S. Molecular pathways controlling the sequential steps of cortical projection neuron migration. In: Nguyen L, ed. Cellular and Molecular Control of Neuronal Migration. Vol 800. Springer; 2014:1-24. doi:10.1007/978-94-007-7687-6_1
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2275 | OA
Olsson C, Ulen J, Boykov Y, Kolmogorov V. Partial enumeration and curvature regularization. In: IEEE; 2014:2936-2943. doi:10.1109/ICCV.2013.365
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp J, Strüber M, Yanagawa Y, et al. Morpho-physiological criteria divide dentate gyrus interneurons into classes. Hippocampus. 2014;23(2):189-203. doi:10.1002/hipo.22214
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 2014;50(1):164-177. doi:10.1007/s10851-013-0468-x
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner H, Morozovy D. Persistent homology: Theory and practice. In: European Mathematical Society Publishing House; 2014:31-50. doi:10.4171/120-1/3
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface simulation distances. Theoretical Computer Science. 2014;560(3):348-363. doi:10.1016/j.tcs.2014.08.019
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2141 | OA
Chatterjee K, Henzinger M. Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition. Journal of the ACM. 2014;61(3). doi:10.1145/2597631
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2852
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi-property combiners for hash functions. Journal of Cryptology. 2014;27(3):397-428. doi:10.1007/s00145-013-9148-7
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik G, Ghosh A, Schneidman E, Segev R. Adaptation to changes in higher-order stimulus statistics in the salamander retina. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085841
View | Files available | DOI
 
2014 | 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 | Thesis | IST-REx-ID: 1403
Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
View | Files available
 
2014 | Journal Article | IST-REx-ID: 2084 | OA
Grusch M, Schelch K, Riedler R, et al. Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. 2014;33(15):1713-1726. doi:10.15252/embj.201387695
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2157 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. Embeddability in the 3 sphere is decidable. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:78-84. doi:10.1145/2582112.2582137
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 475 | OA
Aminof B, Rubin S. First cycle games. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 146. Open Publishing Association; 2014:83-90. doi:10.4204/EPTCS.146.11
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 468 | OA
Cimadom A, Ulloa A, Meidl P, et al. Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107518
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak R, Ezard T, Hoyle R. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 2014;4(15):3139-3145. doi:10.1002/ece3.1150
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1903
Chatterjee K. Partial-observation stochastic reachability and parity games. In: Vol 8634. Springer; 2014:1-4. doi:10.1007/978-3-662-44522-8_1
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2211 | OA
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
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 2038 | OA
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
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2162 | OA
Chatterjee K, Ibsen-Jensen R. The complexity of ergodic mean payoff games. In: Vol 8573. Springer; 2014:122-133. doi:10.1007/978-3-662-43951-7_11
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2212
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. Perfect-information stochastic mean-payoff parity games. In: Vol 8412. Springer; 2014:210-225. doi:10.1007/978-3-642-54830-7_14
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2213 | OA
Chatterjee K, Doyen L, Nain S, Vardi M. The complexity of partial-observation stochastic parity games with finite-memory strategies. In: Vol 8412. Springer; 2014:242-257. doi:10.1007/978-3-642-54830-7_16
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2216 | OA
Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit distance for timed automata. In: Springer; 2014:303-312. doi:10.1145/2562059.2562141
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2167 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014. doi:10.1109/ICST.2014.50
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee K, Chmelik M, Daca P. CEGAR for qualitative analysis of probabilistic systems. In: Vol 8559. Springer; 2014:473-490. doi:10.1007/978-3-319-08867-9_31
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee K, Doyen L. Games with a Weak Adversary. IST Austria; 2014. doi:10.15479/AT:IST-2014-176-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-187-v1-1
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2163 | OA
Chatterjee K, Doyen L. Games with a weak adversary. In: Lecture Notes in Computer Science. Vol 8573. Springer; 2014:110-121. doi:10.1007/978-3-662-43951-7_10
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Conference Paper | IST-REx-ID: 2217
Henzinger TA, Otop J. Model measuring for hybrid systems. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control. Springer; 2014:213-222. doi:10.1145/2562059.2562130
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger TA, Otop J. From Model Checking to Model Measuring. IST Austria; 2014. doi:10.15479/AT:IST-2014-172-v1-1
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger TA, Otop J. Model Measuring for Hybrid Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-171-v1-1
View | Files available | DOI
 

Search

Filter Publications