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.

7604 Publications


2014 | Published | Conference Paper | IST-REx-ID: 2212
Perfect-information stochastic mean-payoff parity games
K. Chatterjee, L. Doyen, H. Gimbert, Y. Oualhadj, in:, Springer, 2014, pp. 210–225.
View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 2213 | OA
The complexity of partial-observation stochastic parity games with finite-memory strategies
K. Chatterjee, L. Doyen, S. Nain, M. Vardi, in:, Springer, 2014, pp. 242–257.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Published | Journal Article | IST-REx-ID: 2214 | OA
Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects
L. Stoler Barak, C. Moussion, E. Shezen, M. Hatzav, M.K. Sixt, R. Alon, PLoS One 9 (2014).
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2215
Mechanisms and principles of homology search during recombination
J. Renkawitz, C. Lademann, S. Jentsch, Nature Reviews Molecular Cell Biology 15 (2014) 369–383.
View | DOI | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 2216 | OA
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, in:, Springer, 2014, pp. 303–312.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2217 | OA
Model measuring for hybrid systems
T.A. Henzinger, J. Otop, in:, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, Springer, 2014, pp. 213–222.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2218 | OA
Regression-free synthesis for concurrency
P. Cerny, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach, in:, Springer, 2014, pp. 568–584.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Published | Conference Paper | IST-REx-ID: 2219 | OA
Simple chosen-ciphertext security from low noise LPN
E. Kiltz, D. Masny, K.Z. Pietrzak, in:, Springer, 2014, pp. 1–18.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2220 | OA
Suppressive drug interactions between antifungals
M. de Vos, M.T. Bollenbach, Chemistry and Biology 21 (2014) 439–440.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 2222
VAN4 encodes a putative TRS120 that is required for normal cell growth and vein development in arabidopsis
S. Naramoto, T. Nodzyński, T. Dainobu, H. Takatsuka, T. Okada, J. Friml, H. Fukuda, Plant and Cell Physiology 55 (2014) 750–763.
View | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2223 | OA
BEX1/ARF1A1C is required for BFA-sensitive recycling of PIN auxin transporters and auxin-mediated development in arabidopsis
H. Tanaka, T. Nodzyński, S. Kitakura, M. Feraru, M. Sasabe, T. Ishikawa, J. Kleine Vehn, T. Kakimoto, J. Friml, Plant and Cell Physiology 55 (2014) 737–749.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 2224
On secondary instabilities generating footbridges between spiral vortex flow
S. Altmeyer, Fluid Dynamics Research 46 (2014).
View | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2225 | OA
Isotropic local laws for sample covariance and generalized Wigner matrices
A. Bloemendal, L. Erdös, A. Knowles, H. Yau, J. Yin, Electronic Journal of Probability 19 (2014).
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2226 | OA
Transient growth of Ekman-Couette flow
L. Shi, B. Hof, A. Tilgner, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

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

2014 | Published | Journal Article | IST-REx-ID: 2228 | OA
A supercritical density of Na^+ channels ensures fast signaling in GABAergic interneuron axons
H. Hu, P.M. Jonas, Nature Neuroscience 17 (2014) 686–693.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2229 | OA
Loose coupling between Ca^2+ channels and release sensors at a plastic hippocampal synapse
N. Vyleta, P.M. Jonas, Science 343 (2014) 665–670.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2230 | OA
Stimfit: Quantifying electrophysiological data with Python
J. Guzmán, A. Schlögl, C. Schmidt Hieber, Frontiers in Neuroinformatics 8 (2014).
[Published Version] View | Files available | DOI | WoS
 

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

2014 | Published | Journal Article | IST-REx-ID: 2232 | OA
Deterministic and stochastic aspects of the transition to turbulence
B. Song, B. Hof, Journal of Statistical Mechanics Theory and Experiment 2014 (2014).
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Filters and Search Terms

supervisor%3D3D224B9E-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed