Please note that IST 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.

3163 Publications


2014 | Conference Paper | IST-REx-ID: 2190 | OA
J. Esparza and J. Kretinsky, “From LTL to deterministic automata: A safraless compositional approach,” presented at the CAV: Computer Aided Verification, 2014, vol. 8559, pp. 192–208.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2211 | OA
K. Chatterjee and L. Doyen, “Partial-observation stochastic games: How to win when belief fails,” ACM Transactions on Computational Logic (TOCL), vol. 15, no. 2. ACM, 2014.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2212
K. Chatterjee, L. Doyen, H. Gimbert, and Y. Oualhadj, “Perfect-information stochastic mean-payoff parity games,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 210–225.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2213 | OA
K. Chatterjee, L. Doyen, S. Nain, and M. Vardi, “The complexity of partial-observation stochastic parity games with finite-memory strategies,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France, 2014, vol. 8412, pp. 242–257.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2214 | OA
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M. K. Sixt, and R. Alon, “Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects,” PLoS One, vol. 9, no. 1. Public Library of Science, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2215
J. Renkawitz, C. Lademann, and S. Jentsch, “Mechanisms and principles of homology search during recombination,” Nature Reviews Molecular Cell Biology, vol. 15, no. 6. Nature Publishing Group, pp. 369–383, 2014.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2216 | OA
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, “Edit distance for timed automata,” presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany, 2014, pp. 303–312.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2217
T. A. Henzinger and J. Otop, “Model measuring for hybrid systems,” in Proceedings of the 17th international conference on Hybrid systems: computation and control, Berlin, Germany, 2014, pp. 213–222.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2219 | OA
E. Kiltz, D. Masny, and K. Z. Pietrzak, “Simple chosen-ciphertext security from low noise LPN,” presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, 2014, vol. 8383, pp. 1–18.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220 | OA
M. de Vos and M. T. Bollenbach, “Suppressive drug interactions between antifungals,” Chemistry and Biology, vol. 21, no. 4. Cell Press, pp. 439–440, 2014.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2222
S. Naramoto et al., “VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis,” Plant and Cell Physiology, vol. 55, no. 4. Oxford University Press, pp. 750–763, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2223 | OA
H. Tanaka et al., “BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis,” Plant and Cell Physiology, vol. 55, no. 4. Oxford University Press, pp. 737–749, 2014.
View | Files available | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2224
S. Altmeyer, “On secondary instabilities generating footbridges between spiral vortex flow,” Fluid Dynamics Research, vol. 46, no. 2. IOP Publishing Ltd., 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2225 | OA
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, and J. Yin, “Isotropic local laws for sample covariance and generalized Wigner matrices,” Electronic Journal of Probability, vol. 19. Institute of Mathematical Statistics, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2226 | OA
L. Shi, B. Hof, and A. Tilgner, “Transient growth of Ekman-Couette flow,” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 1. American Institute of Physics, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2227
E. Cires Rodriguez, M. Baltisberger, C. Cuesta, P. Vargas, and J. Prieto, “Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences,” Organisms Diversity and Evolution, vol. 14, no. 1. Springer, pp. 1–10, 2014.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 2228 | OA
H. Hu and P. M. Jonas, “A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons,” Nature Neuroscience, vol. 17, no. 5. Nature Publishing Group, pp. 686–693, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2229 | OA
N. Vyleta and P. M. Jonas, “Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse,” Science, vol. 343, no. 6171. American Association for the Advancement of Science, pp. 665–670, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2230 | OA
J. Guzmán, A. Schlögl, and C. Schmidt Hieber, “Stimfit: Quantifying electrophysiological data with Python,” Frontiers in Neuroinformatics, vol. 8, no. FEB. Frontiers Research Foundation, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2231 | OA
G. Rieckh and G. Tkačik, “Noise and information transmission in promoters with multiple internal states,” Biophysical Journal, vol. 106, no. 5. Biophysical Society, pp. 1194–1204, 2014.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications