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


2016 | Conference Paper | IST-REx-ID: 1421
S. Bak, S. Bogomolov, T. A. Henzinger, T. Johnson, and P. Prakash, “Scalable static hybridization methods for analysis of nonlinear systems,” presented at the HSCC 2016: International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, 2016, pp. 155–164.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1422 | OA
R. Frank, C. Hainzl, B. Schlein, and R. Seiringer, “Incompatibility of time-dependent Bogoliubov–de-Gennes and Ginzburg–Landau equations,” Letters in Mathematical Physics, vol. 106, no. 7. Springer, pp. 913–923, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1423 | OA
S. Baek, H. Jeong, C. Hilbe, and M. Nowak, “Comparing reactive and memory-one strategies of direct reciprocity,” Scientific Reports, vol. 6. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1426 | OA
M. Chakra, C. Hilbe, and A. Traulsen, “Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites,” Royal Society Open Science, vol. 3, no. 5. Royal Society, The, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1427 | OA
M. Lagator, C. Igler, A. Moreno, C. C. Guet, and J. P. Bollback, “Epistatic interactions in the arabinose cis-regulatory element,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 761–769, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1428 | OA
M. Könenberg, T. Moser, R. Seiringer, and J. Yngvason, “Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential,” in Journal of Physics: Conference Series, Shanghai, China, 2016, vol. 691, no. 1.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1429 | OA
C. Husko et al., “Free-carrier-induced soliton fission unveiled by in situ measurements in nanophotonic waveguides,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1431 | OA
A. Tartally, A. Kelager, M. Fürst, and D. Nash, “Host plant use drives genetic differentiation in syntopic populations of Maculinea alcon,” PeerJ, vol. 2016, no. 3. PeerJ, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
R. K. Mishra, S. Kim, J. Guzmán, and P. M. Jonas, “Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks,” Nature Communications, vol. 7. Nature Publishing Group, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1434 | OA
Z. Bao, L. Erdös, and K. Schnelli, “Local stability of the free additive convolution,” Journal of Functional Analysis, vol. 271, no. 3. Academic Press, pp. 672–719, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1435 | OA
J. Guzmán and Z. Gerevich, “P2Y receptors in synaptic transmission and plasticity: Therapeutic potential in cognitive dysfunction,” Neural Plasticity, vol. 2016. Hindawi Publishing Corporation, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1436 | OA
V. Bach, S. Breteaux, S. P. Petrat, P. Pickl, and T. Tzaneteas, “Kinetic energy estimates for the accuracy of the time-dependent Hartree-Fock approximation with Coulomb interaction,” Journal de Mathématiques Pures et Appliquées, vol. 105, no. 1. Elsevier, pp. 1–30, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
K. Chatterjee, H. Fu, P. Novotný, and R. Hasheminezhad, “Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 327–342.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1439 | OA
C. Dragoi, T. A. Henzinger, and D. Zufferey, “PSYNC: A partially synchronous language for fault-tolerant distributed algorithms,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 400–415.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1440
H. L. Janovjak, “Light at the end of the protein: Crystal structure of a C-terminal light-sensing domain,” Structure, vol. 24, no. 2. Cell Press, pp. 213–215, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, and H. L. Janovjak, “A phytochrome sensory domain permits receptor activation by red light,” Angewandte Chemie - International Edition, vol. 55, no. 21. Wiley, pp. 6339–6342, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1446 | OA
M. Calatrava Moreno, T. Auzinger, and H. Werthner, “On the uncertainty of interdisciplinarity measurements due to incomplete bibliographic data,” Scientometrics, vol. 107, no. 1. Springer, pp. 213–232, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1448 | OA
M. Fathi and J. Maas, “Entropic Ricci curvature bounds for discrete interacting systems,” The Annals of Applied Probability, vol. 26, no. 3. Institute of Mathematical Statistics, pp. 1774–1806, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1475 | OA
J. Toshima et al., “Yeast Eps15-like endocytic protein Pan1p regulates the interaction between endocytic vesicles, endosomes and the actin cytoskeleton,” eLife, vol. 5, no. February 2016. eLife Sciences Publications, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1476 | OA
J. Toshima et al., “Srv2/CAP is required for polarized actin cable assembly and patch internalization during clathrin-mediated endocytosis,” Journal of Cell Science, vol. 129, no. 2. Company of Biologists, pp. 367–379, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1477 | OA
K. Chatterjee, M. Chmelik, and M. Tracol, “What is decidable about partially observable Markov decision processes with ω-regular objectives,” Journal of Computer and System Sciences, vol. 82, no. 5. Elsevier, pp. 878–911, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1478 | OA
R. Seiringer and S. Warzel, “Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas,” New Journal of Physics, vol. 18, no. 3. IOP Publishing Ltd., 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1479 | OA
S. Krenn, K. Z. Pietrzak, A. Wadia, and D. Wichs, “A counterexample to the chain rule for conditional HILL entropy,” Computational Complexity, vol. 25, no. 3. Springer, pp. 567–605, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1480 | OA
M. Michałek, B. Sturmfels, C. Uhler, and P. Zwiernik, “Exponential varieties,” Proceedings of the London Mathematical Society, vol. 112, no. 1. Oxford University Press, pp. 27–56, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1482 | OA
M. Adibi, S. Yoshida, D. Weijers, and C. Fleck, “Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization,” PLoS One, vol. 11, no. 2. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1484 | OA
X. Chen, S. Wu, Z. Liu, and J. Friml, “Environmental and endogenous control of cortical microtubule orientation,” Trends in Cell Biology, vol. 26, no. 6. Cell Press, pp. 409–419, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1485 | OA
D. De Martino, “Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis,” Physical Biology, vol. 13, no. 1. IOP Publishing Ltd., 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1486 | OA
C. Hainzl and R. Seiringer, “The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties,” Journal of Mathematical Physics, vol. 57, no. 2. American Institute of Physics, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1487 | OA
N. Grion, A. Akrami, Y. Zuo, F. Stella, and M. Diamond, “Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination,” PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis,” PLoS Biology, vol. 14, no. 2. Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1489 | OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Local spectral statistics of Gaussian matrices with correlated entries,” Journal of Statistical Physics, vol. 163, no. 2. Springer, pp. 280–302, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1490 | OA
E. Russo et al., “Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels,” Cell Reports, vol. 14, no. 7. Cell Press, pp. 1723–1734, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1491 | OA
M. Lewin, P. Nam, and N. Rougerie, “The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases,” Transactions of the American Mathematical Society, vol. 368, no. 9. American Mathematical Society, pp. 6131–6157, 2016.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1492 | OA
P. Marhavý et al., “Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation,” Genes and Development, vol. 30, no. 4. Cold Spring Harbor Laboratory Press, pp. 471–483, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1493 | OA
S. P. Petrat and P. Pickl, “A new method and a new scaling for deriving fermionic mean-field dynamics,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1. Springer, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1494
G. M. Lemoult, L. Shi, K. Avila, S. V. Jalikop, M. Avila, and B. Hof, “Directed percolation phase transition to sustained turbulence in Couette flow,” Nature Physics, vol. 12, no. 3. Nature Publishing Group, pp. 254–258, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1496 | OA
P. Amaro et al., “Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 93, no. 3. American Physical Society, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1521
J. Berrisford, R. Baradaran, and L. A. Sazanov, “Structure of bacterial respiratory complex I,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1857, no. 7. Elsevier, pp. 892–901, 2016.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1522 | OA
S. Avvakumov, “The classification of certain linked 3-manifolds in 6-space,” Moscow Mathematical Journal, vol. 16, no. 1. Independent University of Moscow, pp. 1–25, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1523 | OA
A. Gundert and U. Wagner, “On topological minors in random simplicial complexes,” Proceedings of the American Mathematical Society, vol. 144, no. 4. American Mathematical Society, pp. 1815–1828, 2016.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1524 | OA
A. Beica, C. C. Guet, and T. Petrov, “Efficient reduction of kappa models by static inspection of the rule-set,” presented at the HSB: Hybrid Systems Biology, Madrid, Spain, 2016, vol. 9271, pp. 173–191.
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526 | OA
T. A. Henzinger, J. Otop, and R. Samanta, “Lipschitz robustness of timed I/O systems,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA, 2016, vol. 9583, pp. 250–267.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1529 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, “Optimal cost almost-sure reachability in POMDPs,” Artificial Intelligence, vol. 234. Elsevier, pp. 26–48, 2016.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1008
R. Gnügge, L. Dharmarajan, M. Lang, and J. Stelling, “An orthogonal permease–inducer–repressor feedback loop shows bistability,” ACS Synthetic Biology, vol. 5, no. 10. American Chemical Society, pp. 1098–1107, 2016.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 948
T. Monk, C. Savin, and J. Lücke, “Neurons equipped with intrinsic plasticity learn stimulus intensity statistics,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine, 2016, vol. 29, pp. 4285–4293.
View | Download None (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
D. Mcmahon et al., “Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss.” Dryad, 2016.
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9710
N. H. Barton, “Data from: How does epistasis influence the response to selection?” Dryad, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9720
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees.” Dryad, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9862
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Simulation study to test the robustness of ABC in face of recent times of divergence.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9863
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, and N. Bierne, “Accessions of surveyed individuals, geographic locations and summary statistics.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9864
R. A. Fernandes Redondo, H. de Vladar, T. Włodarski, and J. P. Bollback, “Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family.” The Royal Society, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9866
M. P. Zagórski, Z. Burda, and B. Wacław, “ZIP-archived directory containing all data and computer programs.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9867
C. Hilbe, K. Hagel, and M. Milinski, “Experimental game instructions.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9868
C. Hilbe, K. Hagel, and M. Milinski, “Experimental data.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9869
P. Hillenbrand, U. Gerland, and G. Tkačik, “Error bound on an estimator of position.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9870
P. Hillenbrand, U. Gerland, and G. Tkačik, “Computation of positional information in an Ising model.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9871
P. Hillenbrand, U. Gerland, and G. Tkačik, “Computation of positional information in a discrete morphogen field.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9873
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, and M. Ackermann, “Quantification of the growth rate reduction as a consequence of age-specific mortality.” Public Library of Science, 2016.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1518 | OA
K. Lohse, M. Chmelik, S. Martin, and N. H. Barton, “Efficient strategies for calculating blockwise likelihoods under the coalescent,” Genetics, vol. 202, no. 2. Genetics Society of America, pp. 775–786, 2016.
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1331 | OA
P. Zwack et al., “Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress,” Plant Physiology, vol. 172, no. 2. American Society of Plant Biologists, pp. 1249–1258, 2016.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1252 | OA
S. Harker, H. Kokubu, K. Mischaikow, and P. Pilarczyk, “Inducing a map on homology from a correspondence,” Proceedings of the American Mathematical Society, vol. 144, no. 4. American Mathematical Society, pp. 1787–1801, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1140 | OA
K. Chatterjee, W. Dvoák, M. Henzinger, and V. Loitzenbauer, “Model and objective separation with conditional lower bounds: disjunction is harder than conjunction,” in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA, 2016, pp. 197–206.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1420 | OA
K. Bodova, G. Tkačik, and N. H. Barton, “A general approximation for the dynamics of quantitative traits,” Genetics, vol. 202, no. 4. Genetics Society of America, pp. 1523–1548, 2016.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1321 | OA
A. F. Leithner et al., “Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes,” Nature Cell Biology, vol. 18. Nature Publishing Group, pp. 1253–1259, 2016.
View | Files available | DOI
 

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

2016 | Journal Article | IST-REx-ID: 1100 | OA
K. Sako et al., “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” Cell Reports, vol. 16, no. 3. Cell Press, pp. 866–877, 2016.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 802
J. Engel, P. S. Schmalhorst, A. Kruger, C. Muller, F. Buettner, and F. Routier, “Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis,” Glycobiology, vol. 25, no. 12. Oxford University Press, pp. 1423–1430, 2015.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 473 | OA
M. Lewin, P. Nam, and N. Rougerie, “Derivation of nonlinear gibbs measures from many-body quantum mechanics,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2. Ecole Polytechnique, pp. 65–115, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 477
K. Holst et al., “The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells,” Journal of Cell Science, vol. 128, no. 15. Company of Biologists, pp. 2866–2880, 2015.
View | DOI
 

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

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

2015 | Journal Article | IST-REx-ID: 532
W. Li et al., “EIN2-directed translational regulation of ethylene signaling in arabidopsis,” Cell, vol. 163, no. 3. Cell Press, pp. 670–683, 2015.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5429 | OA
K. Chatterjee, Z. Komarkova, and 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
K. Chatterjee, R. Ibsen-Jensen, and 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
K. Chatterjee, R. Ibsen-Jensen, and 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
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolutionary games on graphs. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434 | OA
1 Anonymous and 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
K. Chatterjee, Z. Komarkova, and 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
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5437 | OA
K. Chatterjee, R. Ibsen-Jensen, and 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
K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, Edit distance for pushdown automata. IST Austria, 2015.
View | Files available | DOI
 

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

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

2015 | Technical Report | IST-REx-ID: 5441 | OA
K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and 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
1 Anonymous, 2 Anonymous, 3 Anonymous, and 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
K. Chatterjee, M. Chmelik, and 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
J. Reiter et al., Reconstructing robust phylogenies of metastatic cancers. IST Austria, 2015.
View | Files available | DOI
 

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1534 | OA
H. Wang et al., “Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism,” Nature Communications, vol. 6. Nature Publishing Group, 2015.
View | Files available | DOI
 

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

2015 | Journal Article | IST-REx-ID: 1536
J. Sasse et al., “Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport,” Current Biology, vol. 25, no. 5. Cell Press, pp. 647–655, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.
View | Files available | DOI
 

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

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

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

Filters and Search Terms

extern<>1

Search

Filter Publications