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.

3929 Publications


2015 | Journal Article | IST-REx-ID: 477
The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells
K. Holst, D. Guseva, S. Schindler, M.K. Sixt, A. Braun, H. Chopra, O. Pabst, E. Ponimaskin, Journal of Cell Science 128 (2015) 2866–2880.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 523 | OA
Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, Information and Computation 242 (2015) 25–52.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 524 | OA
Qualitative analysis of concurrent mean payoff games
K. Chatterjee, R. Ibsen-Jensen, Information and Computation 242 (2015) 2–24.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 532
EIN2-directed translational regulation of ethylene signaling in arabidopsis
W. Li, M. Ma, Y. Feng, H. Li, Y. Wang, Y. Ma, M. Li, F. An, H. Guo, Cell 163 (2015) 670–683.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5429 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430 | OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5431 | OA
The patience of concurrent stochastic games with safety and reachability objectives
K. Chatterjee, R. Ibsen-Jensen, K. Hansen, The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432 | OA
The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434 | OA
Optimal cost indefinite-horizon reachability in goal DEC-POMDPs
1 Anonymous, 2 Anonymous, Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs, IST Austria, 2015.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5435 | OA
Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Komarkova, J. Kretinsky, Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5437 | OA
Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438 | OA
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439 | OA
The target discounted-sum problem
U. Boker, T.A. Henzinger, J. Otop, The Target Discounted-Sum Problem, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5440 | OA
The complexity of evolutionary games on graphs
K. Chatterjee, R. Ibsen-Jensen, M. Nowak, The Complexity of Evolutionary Games on Graphs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5441 | OA
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442 | OA
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
View | Files available
 

2015 | Technical Report | IST-REx-ID: 5443 | OA
A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs, IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444 | OA
Reconstructing robust phylogenies of metastatic cancers
J. Reiter, A. Makohon-Moore, J. Gerold, I. Bozic, K. Chatterjee, C. Iacobuzio-Donahue, B. Vogelstein, M. Nowak, Reconstructing Robust Phylogenies of Metastatic Cancers, IST Austria, 2015.
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 10794 | OA
Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 10796
The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
View | DOI | arXiv
 

2015 | Journal Article | IST-REx-ID: 1533
Segmentation over detection via optimal sparse reconstructions
W. Xia, C. Domokos, J. Xiong, L. Cheong, S. Yan, IEEE Transactions on Circuits and Systems for Video Technology 25 (2015) 1295–1308.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism
H. Wang, K. Yang, J. Zou, L. Zhu, Z. Xie, M. Morita, M. Tasaka, J. Friml, E. Grotewold, T. Beeckman, S. Vanneste, F. Sack, J. Le, Nature Communications 6 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells
D.H. Vandael, A. Marcantoni, E. Carbone, Current Molecular Pharmacology 8 (2015) 149–161.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1536
Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport
J. Sasse, S. Simon, C. Gübeli, G. Liu, X. Cheng, J. Friml, H. Bouwmeester, E. Martinoia, L. Borghi, Current Biology 25 (2015) 647–655.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
Iterative experiment design guides the characterization of a light-inducible gene expression circuit
J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, J. Lygeros, PNAS 112 (2015) 8148–8153.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1539 | OA
Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
J. Ruess, Journal of Chemical Physics 143 (2015).
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1540
The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis
H. Robert, L. Crhák Khaitová, S. Mroue, E. Benková, Journal of Experimental Botany 66 (2015) 5029–5042.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1541
XSpeed: Accelerating reachability analysis on multi-core processors
R. Ray, A. Gurung, B. Das, E. Bartocci, S. Bogomolov, R. Grosu, 9434 (2015) 3–18.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1542 | OA
Toward a unifying framework for evolutionary processes
T. Paixao, G. Badkobeh, N.H. Barton, D. Çörüş, D. Dang, T. Friedrich, P. Lehre, D. Sudholt, A. Sutton, B. Trubenova, Journal of Theoretical Biology 383 (2015) 28–43.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1543
A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants
Y. Olvera Carrillo, M. Van Bel, T. Van Hautegem, M. Fendrych, M. Huysmans, M. Šimášková, M. Van Durme, P. Buscaill, S. Rivas, N. Coll, F. Coppens, S. Maere, M. Nowack, Plant Physiology 169 (2015) 2684–2699.
View | DOI
 

2015 | Book Chapter | IST-REx-ID: 1544 | OA
Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins
P. Nguyen, C. Field, A. Groen, T. Mitchison, M. Loose, in:, Building a Cell from Its Components Parts, Academic Press, 2015, pp. 223–241.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1546 | OA
Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development
Y. Nakamura, H. Harada, N. Kamasawa, K. Matsui, J. Rothman, R. Shigemoto, R.A. Silver, D. Digregorio, T. Takahashi, Neuron 85 (2015) 145–158.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547 | OA
Resolution of unmixed bipartite graphs
F. Mohammadi, S. Moradi, Bulletin of the Korean Mathematical Society 52 (2015) 977–986.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1548 | OA
Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination
B. Milutinovic, C. Höfling, M. Futo, J. Scharsack, J. Kurtz, Applied and Environmental Microbiology 81 (2015) 8135–8144.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549 | OA
Flipping the photoswitch: Ion channels under light control
C. Mckenzie, I. Sanchez-Romero, H.L. Janovjak, in:, Novel Chemical Tools to Study Ion Channel Biology, Springer, 2015, pp. 101–117.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1550 | OA
Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries
C. Mayer, X. Jaglin, L. Cobbs, R. Bandler, C. Streicher, C. Cepko, S. Hippenmeyer, G. Fishell, Neuron 87 (2015) 989–998.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1551 | OA
Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes
L. El Masri, A. Branca, A. Sheppard, A. Papkou, D. Laehnemann, P. Guenther, S. Prahl, M. Saebelfeld, J. Hollensteiner, H. Liesegang, E. Brzuszkiewicz, R. Daniel, N. Michiels, R. Schulte, J. Kurtz, P. Rosenstiel, A. Telschow, E. Bornberg Bauer, H. Schulenburg, PLoS Biology 13 (2015) 1–30.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1553
Actin flows mediate a universal coupling between cell speed and cell persistence
P. Maiuri, J. Rupprecht, S. Wieser, V. Ruprecht, O. Bénichou, N. Carpi, M. Coppey, S. De Beco, N. Gov, C.-P.J. Heisenberg, C. Lage Crespo, F. Lautenschlaeger, M. Le Berre, A. Lennon Duménil, M. Raab, H. Thiam, M. Piel, M.K. Sixt, R. Voituriez, Cell 161 (2015) 374–386.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1554 | OA
Reporters for sensitive and quantitative measurement of auxin response
C. Liao, W. Smet, G. Brunoud, S. Yoshida, T. Vernoux, D. Weijers, Nature Methods 12 (2015) 207–210.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555 | OA
Rich bifurcation structure in a two patch vaccination model
D. Knipl, P. Pilarczyk, G. Röst, SIAM Journal on Applied Dynamical Systems 14 (2015) 980–1017.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1556 | OA
The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development
Y. Jia, H. Tian, H. Li, Q. Yu, L. Wang, J. Friml, Z. Ding, Journal of Experimental Botany 66 (2015) 4631–4642.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1557
Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats
F. Javdani, K. Holló, K. Hegedűs, G. Kis, Z. Hegyi, K. Dócs, Y. Kasugai, Y. Fukazawa, R. Shigemoto, M. Antal, Journal of Comparative Neurology 523 (2015) 1967–1983.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation
M. Ivanchenko, J. Zhu, B. Wang, E. Medvecka, Y. Du, E. Azzarello, S. Mancuso, M. Megraw, S. Filichkin, J. Dubrovsky, J. Friml, M. Geisler, Development 142 (2015) 712–721.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1559 | OA
Computational complexity of ecological and evolutionary spatial dynamics
R. Ibsen-Jensen, K. Chatterjee, M. Nowak, PNAS 112 (2015) 15636–15641.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1560
The lymph node filter revealed
M. Hons, M.K. Sixt, Nature Immunology 16 (2015) 338–340.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1561
A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors
K. Heger, M. Kober, D. Rieß, C. Drees, I. de Vries, A. Bertossi, A. Roers, M.K. Sixt, M. Schmidt Supprian, European Journal of Immunology 45 (2015) 1614–1620.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1562
Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles
P. Grones, X. Chen, S. Simon, W. Kaufmann, R. De Rycke, T. Nodzyński, E. Zažímalová, J. Friml, Journal of Experimental Botany 66 (2015) 5055–5065.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications