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.




3496 Publications

2014 | Journal Article | IST-REx-ID: 2184 | OA
Čadek M, Krcál M, Matoušek J, Sergeraert F, Vokřínek L, Wagner U. Computing all maps into a sphere. Journal of the ACM. 2014;61(3). doi:10.1145/2597629
View | DOI | Download Preprint (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2185 | OA
Dodis Y, Pietrzak KZ, Wichs D. Key derivation without entropy waste. In: Nguyen P, Oswald E, eds. Vol 8441. Springer; 2014:93-110. doi:10.1007/978-3-642-55220-5_6
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2186 | OA
Chen T, Hainzl C, Pavlović N, Seiringer R. On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti. Letters in Mathematical Physics. 2014;104(7):871-891. doi:10.1007/s11005-014-0693-2
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2187 | OA
Bloem R, Chatterjee K, Greimel K, et al. Synthesizing robust systems. Acta Informatica. 2014;51(3-4):193-220. doi:10.1007/s00236-013-0191-5
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2188 | OA
Kania U, Fendrych M, Friml J. Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology. 2014;4(APRIL). doi:10.1098/rsob.140017
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2189 | OA
Morvant E. Adaptation de domaine de vote de majorité par auto-étiquetage non itératif. In: Vol 1. Elsevier; 2014:49-58.
View | Download Preprint (ext.)
 
2014 | Conference Paper | IST-REx-ID: 2190 | OA
Esparza J, Kretinsky J. From LTL to deterministic automata: A safraless compositional approach. In: Vol 8559. Springer; 2014:192-208. doi:10.1007/978-3-319-08867-9_13
View | DOI | Download Submitted Version (ext.)
 
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 | 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 | Journal Article | IST-REx-ID: 2214 | OA
Stoler Barak L, Moussion C, Shezen E, Hatzav M, Sixt MK, Alon R. Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. 2014;9(1). doi:10.1371/journal.pone.0085699
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2215
Renkawitz J, Lademann C, Jentsch S. Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. 2014;15(6):369-383. doi:10.1038/nrm3805
View | DOI
 
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: 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 | Conference Paper | IST-REx-ID: 2219 | OA
Kiltz E, Masny D, Pietrzak KZ. Simple chosen-ciphertext security from low noise LPN. In: Vol 8383. Springer; 2014:1-18. doi:10.1007/978-3-642-54631-0_1
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2220 | OA
de Vos M, Bollenbach MT. Suppressive drug interactions between antifungals. Chemistry and Biology. 2014;21(4):439-440. doi:10.1016/j.chembiol.2014.04.004
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 2222
Naramoto S, Nodzyński T, Dainobu T, et al. VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis. Plant and Cell Physiology. 2014;55(4):750-763. doi:10.1093/pcp/pcu012
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2223 | OA
Tanaka H, Nodzyński T, Kitakura S, et al. BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis. Plant and Cell Physiology. 2014;55(4):737-749. doi:10.1093/pcp/pct196
View | Files available | DOI | Download Published Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 2224
Altmeyer S. On secondary instabilities generating footbridges between spiral vortex flow. Fluid Dynamics Research. 2014;46(2). doi:10.1088/0169-5983/46/2/025503
View | DOI
 
2014 | Journal Article | IST-REx-ID: 2225 | OA
Bloemendal A, Erdös L, Knowles A, Yau H, Yin J. Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. 2014;19. doi:10.1214/EJP.v19-3054
View | Files available | DOI
 

Search

Filter Publications