Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3065 Publications

2015 | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata, IST Austria, 29p.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs, IST Austria, 27p.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata, IST Austria, 15p.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem, IST Austria, 20p.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee K, Ibsen-Jensen R, Nowak M. 2015. The complexity of evolutionary games on graphs, IST Austria, 18p.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 24p.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee K, Chmelik M, Davies J. 2015. A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs, IST Austria, 23p.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter J, Makohon-Moore A, Gerold J, Bozic I, Chatterjee K, Iacobuzio-Donahue C, Vogelstein B, Nowak M. 2015. Reconstructing robust phylogenies of metastatic cancers, IST Austria, 25p.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1383 | OA
Yu L, Scholl S, Doering A, Yi Z, Irani N, Di Rubbo S, Neumetzler L, Krishnamoorthy P, Van Houtte I, Mylle E, Bischoff V, Vernhettes S, Winne J, Friml J, Stierhof Y, Schumacher K, Persson S, Russinova E. 2015. V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. 1(7), 15094.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Thesis | IST-REx-ID: 1399
Pausinger F. 2015. On the approximation of intrinsic volumes. IST Austria.
View | Files available
 
2015 | Thesis | IST-REx-ID: 1400
Reiter J. 2015. The subclonal evolution of cancer. IST Austria.
View | Files available
 
2015 | Conference Paper | IST-REx-ID: 1424 | OA
Kwitt R, Huber S, Niethammer M, Lin W, Bauer U. 2015. Statistical topological data analysis-A kernel perspective. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 28, 3070–3078.
View | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1425 | OA
Pentina A, Lampert C. 2015. Lifelong learning with non-i.i.d. tasks. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 2015, 1540–1548.
View | Download None (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1430 | OA
Paixao T, Sudholt D, Heredia J, Trubenova B. 2015. First steps towards a runtime comparison of natural and artificial evolution. Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation. GECCO: Genetic and evolutionary computation conference, 1455–1462.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1474 | OA
Ferrara A, Fuchsbauer G, Liu B, Warinschi B. 2015. Policy privacy in cryptographic access control. CSF: Computer Security Foundations, 46–60.
View | DOI | Download Submitted Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1481 | OA
Ahmed U, Chatterjee K, Gulwani S. 2015. Automatic generation of alternative starting positions for simple traditional board games. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2, 745–752.
View | Files available | Download None (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1483 | OA
Reininghaus J, Huber S, Bauer U, Kwitt R. 2015. A stable multi-scale kernel for topological machine learning. CVPR: Computer Vision and Pattern Recognition, 4741–4748.
View | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1495 | OA
Edelsbrunner H, Iglesias Ham M, Kurlin V. 2015. Relaxed disk packing. Proceedings of the 27th Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry vol. 2015–August, 128–135.
View | Download Submitted Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1497 | OA
Andergassen D, Dotter C, Kulinski T, Guenzl P, Bammer P, Barlow D, Pauler F, Hudson Q. 2015. Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. 43(21), e146.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi C, Henzinger TA, Zufferey D. 2015. The need for language support for fault-tolerant distributed systems. 32, 90–102.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky J, Larsen K, Laursen S, Srba J. 2015. Polynomial time decidability of weighted synchronization under partial observability. CONCUR: Concurrency Theory, LIPIcs, vol. 42, 142–154.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1501 | OA
Chatterjee K, Chmelik M, Daca P. 2015. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 47(2), 230–264.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. 2015. Complete composition operators for IOCO-testing theory. CBSE: Component-Based Software Engineering , Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , , 101–110.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1505 | OA
Bao Z, Pan G, Zhou W. 2015. Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. 43(1), 382–421.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1506 | OA
Bao Z, Pan G, Zhou W. 2015. The logarithmic law of random determinant. Bernoulli. 21(3), 1600–1628.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1508 | OA
Erdös L, Yau H. 2015. Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. 17(8), 1927–2036.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko J, Lukacisinova M, Bollenbach MT, Friml J. 2015. Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . 4.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1510 | OA
Franek P, Krcál M. 2015. On computability and triviality of well groups. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 842–856.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1511 | OA
Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. 2015. On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 476–490.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2015. Bounding Helly numbers via Betti numbers. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 507–521.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1513 | OA
Pal A, Vicoso B. 2015. The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. 7(12), 3259–3268.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1517 | OA
Erbar M, Maas J, Renger M. 2015. From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. 20, 89.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton NH, Servedio M. 2015. The interpretation of selection coefficients. Evolution. 69(5), 1101–1112.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1520
Bharaj G, Coros S, Thomaszewski B, Tompkin J, Bickel B, Pfister H. 2015. Computational design of walking automata. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 93–100.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1525 | OA
Bauer B, Blechl G, Bock C, Danowski P, Ferus A, Graschopf A, König T, Mayer K, Reckling F, Rieck K, Seitz P, Stöger H, Welzig E. 2015. Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen. 68(3), 580–607.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1530
Bierbaum V, Klumpp S. 2015. Impact of the cell division cycle on gene circuits. Physical Biology. 12(6), 066003.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1531
Zobel V, Reininghaus J, Hotz I. 2015. Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature. Mathematics and Visualization. 40, 257–267.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1533
Xia W, Domokos C, Xiong J, Cheong L, Yan S. 2015. Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. 25(8), 1295–1308.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang H, Yang K, Zou J, Zhu L, Xie Z, Morita M, Tasaka M, Friml J, Grotewold E, Beeckman T, Vanneste S, Sack F, Le J. 2015. Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. 6, 8822.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael DH, Marcantoni A, Carbone E. 2015. Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. 8(2), 149–161.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1536
Sasse J, Simon S, Gübeli C, Liu G, Cheng X, Friml J, Bouwmeester H, Martinoia E, Borghi L. 2015. Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. 25(5), 647–655.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht V, Wieser S, Callan Jones A, Smutny M, Morita H, Sako K, Barone V, Ritsch Marte M, Sixt MK, Voituriez R, Heisenberg C-PJ. 2015. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 160(4), 673–685.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. 2015. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 112(26), 8148–8153.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess J. 2015. Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. 143(24), 244103.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1540
Robert H, Crhák Khaitová L, Mroue S, Benková E. 2015. The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany. 66(16), 5029–5042.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1541
Ray R, Gurung A, Das B, Bartocci E, Bogomolov S, Grosu R. 2015. XSpeed: Accelerating reachability analysis on multi-core processors. 9434, 3–18.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1542 | OA
Paixao T, Badkobeh G, Barton NH, Çörüş D, Dang D, Friedrich T, Lehre P, Sudholt D, Sutton A, Trubenova B. 2015. Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. 383, 28–43.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo Y, Van Bel M, Van Hautegem T, Fendrych M, Huysmans M, Šimášková M, Van Durme M, Buscaill P, Rivas S, Coll N, Coppens F, Maere S, Nowack M. 2015. A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. 169(4), 2684–2699.
View | DOI
 
2015 | Book Chapter | IST-REx-ID: 1544 | OA
Nguyen P, Field C, Groen A, Mitchison T, Loose M. 2015.Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In: Building a Cell from its Components Parts. vol. 128, 223–241.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1546 | OA
Nakamura Y, Harada H, Kamasawa N, Matsui K, Rothman J, Shigemoto R, Silver RA, Digregorio D, Takahashi T. 2015. Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. 85(1), 145–158.
View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications