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.

5621 Publications


2014 | Published | Journal Article | IST-REx-ID: 2188 | OA
Kania, U., Fendrych, M., & Friml, J. (2014). Polar delivery in plants; commonalities and differences to animal epithelial cells. Open Biology. Royal Society. https://doi.org/10.1098/rsob.140017
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 2189 | OA
Morvant, E. (2014). Adaptation de domaine de vote de majorité par auto-étiquetage non itératif (Vol. 1, pp. 49–58). Presented at the CAP: Conférence Francophone sur l’Apprentissage Automatique (Machine Learning French Conference), Saint-Etienne, France: Elsevier.
[Preprint] View | Download Preprint (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2190 | OA
Esparza, J., & Kretinsky, J. (2014). From LTL to deterministic automata: A safraless compositional approach (Vol. 8559, pp. 192–208). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-319-08867-9_13
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee, K., & Doyen, L. (2014). Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/2579821
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 2212
Chatterjee, K., Doyen, L., Gimbert, H., & Oualhadj, Y. (2014). Perfect-information stochastic mean-payoff parity games (Vol. 8412, pp. 210–225). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-54830-7_14
View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 2213 | OA
Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2014). The complexity of partial-observation stochastic parity games with finite-memory strategies (Vol. 8412, pp. 242–257). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-54830-7_16
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2214 | OA
Stoler Barak, L., Moussion, C., Shezen, E., Hatzav, M., Sixt, M. K., & Alon, R. (2014). Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0085699
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2215
Renkawitz, J., Lademann, C., & Jentsch, S. (2014). Mechanisms and principles of homology search during recombination. Nature Reviews Molecular Cell Biology. Nature Publishing Group. https://doi.org/10.1038/nrm3805
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 2216 | OA
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2014). Edit distance for timed automata (pp. 303–312). Presented at the HSCC: Hybrid Systems - Computation and Control, Berlin, Germany: Springer. https://doi.org/10.1145/2562059.2562141
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2217
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. In Proceedings of the 17th international conference on Hybrid systems: computation and control (pp. 213–222). Berlin, Germany: Springer. https://doi.org/10.1145/2562059.2562130
View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 2218 | OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2014). Regression-free synthesis for concurrency (Vol. 8559, pp. 568–584). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_38
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2219 | OA
Kiltz, E., Masny, D., & Pietrzak, K. Z. (2014). Simple chosen-ciphertext security from low noise LPN (Vol. 8383, pp. 1–18). Presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, Springer. https://doi.org/10.1007/978-3-642-54631-0_1
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2220 | OA
de Vos, M., & Bollenbach, M. T. (2014). Suppressive drug interactions between antifungals. Chemistry and Biology. Cell Press. https://doi.org/10.1016/j.chembiol.2014.04.004
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 2225 | OA
Bloemendal, A., Erdös, L., Knowles, A., Yau, H., & Yin, J. (2014). Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v19-3054
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2226 | OA
Shi, L., Hof, B., & Tilgner, A. (2014). Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.89.013001
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2227
Cires Rodriguez, E., Baltisberger, M., Cuesta, C., Vargas, P., & Prieto, J. (2014). Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. Springer. https://doi.org/10.1007/s13127-013-0150-6
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2228 | OA
Hu, H., & Jonas, P. M. (2014). A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3678
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2230 | OA
Guzmán, J., Schlögl, A., & Schmidt Hieber, C. (2014). Stimfit: Quantifying electrophysiological data with Python. Frontiers in Neuroinformatics. Frontiers Research Foundation. https://doi.org/10.3389/fninf.2014.00016
[Published Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2232 | OA
Song, B., & Hof, B. (2014). Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/2014/02/P02001
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2233 | OA
Boker, U., & Henzinger, T. A. (2014). Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-10(1:10)2014
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed