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.
2422 Publications
2016 | Journal Article | IST-REx-ID: 1612 |

CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
View
| DOI
| Download Preprint (ext.)
A. Kazda, Algebra Universalis 75 (2016) 75–84.
2016 | Journal Article | IST-REx-ID: 1616 |

Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
View
| Files available
| DOI
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
2016 | Journal Article | IST-REx-ID: 1617 |

On the discrepancy of jittered sampling
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
View
| DOI
| Download Submitted Version (ext.)
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
2016 | Journal Article | IST-REx-ID: 1641 |

A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
View
| Files available
| DOI
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
2016 | Conference Paper | IST-REx-ID: 1653 |

New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
View
| Files available
| DOI
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
2016 | Conference Paper | IST-REx-ID: 1225 |

Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
View
| Files available
| DOI
| Download Submitted Version (ext.)
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
2016 | Journal Article | IST-REx-ID: 1662 |

Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
2016 | Journal Article | IST-REx-ID: 1705 |

Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
View
| Files available
| DOI
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
2016 | Journal Article | IST-REx-ID: 1833 |

On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
View
| DOI
| Download Preprint (ext.)
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
2016 | Journal Article | IST-REx-ID: 1881 |

Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
View
| DOI
| Download Preprint (ext.)
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
2016 | Journal Article | IST-REx-ID: 1411 |

Untangling two systems of noncrossing curves
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
View
| Files available
| DOI
| Download Preprint (ext.)
J. Matoušek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
2016 | Journal Article | IST-REx-ID: 1794 |

Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
2016 | Journal Article | IST-REx-ID: 1479 |

A counterexample to the chain rule for conditional HILL entropy
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
View
| Files available
| DOI
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
2016 | Journal Article | IST-REx-ID: 1321 |

Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes
A.F. Leithner, A. Eichner, J. Müller, A. REVERSAT, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
View
| Files available
| DOI
A.F. Leithner, A. Eichner, J. Müller, A. REVERSAT, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
2016 | Journal Article | IST-REx-ID: 1183 |

Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder
D.-C. Tarlungeanu, E. Deliu, C. Dotter, M. Kara, P. Janiesch, M. Scalise, M. Galluccio, M. Tesulov, E. Morelli, F. Sönmez, K. Bilgüvar, R. Ohgaki, Y. Kanai, A. Johansen, S. Esharif, T. Ben Omran, M. Topcu, A. Schlessinger, C. Indiveri, K. Duncan, A. Caglayan, M. Günel, J. Gleeson, G. Novarino, Cell 167 (2016) 1481–1494.
View
| Files available
| DOI
D.-C. Tarlungeanu, E. Deliu, C. Dotter, M. Kara, P. Janiesch, M. Scalise, M. Galluccio, M. Tesulov, E. Morelli, F. Sönmez, K. Bilgüvar, R. Ohgaki, Y. Kanai, A. Johansen, S. Esharif, T. Ben Omran, M. Topcu, A. Schlessinger, C. Indiveri, K. Duncan, A. Caglayan, M. Günel, J. Gleeson, G. Novarino, Cell 167 (2016) 1481–1494.
2016 | Journal Article | IST-REx-ID: 1441 |

A phytochrome sensory domain permits receptor activation by red light
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
View
| Files available
| DOI
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
2016 | Conference Paper | IST-REx-ID: 1205 |

Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
View
| Files available
| DOI
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
2016 | Conference Paper | IST-REx-ID: 478 |

The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
2016 | Conference Paper | IST-REx-ID: 480 |

Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
2016 | Conference Paper | IST-REx-ID: 1234 |

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
View
| Files available
| DOI
| Download Preprint (ext.)
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.