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.

2651 Publications


2013 | Conference Paper | IST-REx-ID: 2447
Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT. 8044, 773–789.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2466   OA
Ando R, Thuerey N, Wojtan CJ. 2013. Highly adaptive liquid simulations on tetrahedral meshes. ACM Transactions on Graphics. 32(4), 103.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2473   OA
Barton NH, Etheridge A, Kelleher J, Véber A. 2013. Genetic hitch-hiking in spatially extended populations. Theoretical Population Biology. 87(8), 75–89.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2719
Paixao T, Barton NH. 2013. A variance decomposition approach to the analysis of genetic algorithms. Proceedings of the 15th annual conference on Genetic and evolutionary computation. GECCO: Genetic and evolutionary computation conference 845–852.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2808   OA
Landberg K, Pederson E, Viaene T, Bozorg B, Friml J, Jönsson H, Thelander M, Sundberg E. 2013. The moss physcomitrella patens reproductive organ development is highly organized, affected by the two SHI/STY genes and by the level of active auxin in the SHI/STY expression domain. Plant Physiology. 162(3), 1406–1419.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2822   OA
Topp C, Iyer Pascuzzi A, Anderson J, Lee C, Zurek P, Symonova O, Zheng Y, Bucksch A, Mileyko Y, Galkovskyi T, Moore B, Harer J, Edelsbrunner H, Mitchell Olds T, Weitz J, Benfey P. 2013. 3D phenotyping and quantitative trait locus mapping identify core regions of the rice genome controlling root architecture. PNAS. 110(18), E1695–E1704.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2827   OA
Du Y, Tejos R, Beck M, Himschoot E, Li H, Robatzek S, Vanneste S, Friml J. 2013. Salicylic acid interferes with clathrin-mediated endocytic protein trafficking. PNAS. 110(19), 7946–7951.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2834   OA
Avila M, Mellibovsky F, Roland N, Hof B. 2013. Streamwise-localized solutions at the onset of turbulence in pipe flow. Physical Review Letters. 110(22), 224502.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2839
Weber M, Hauschild R, Schwarz J, Moussion C, De Vries I, Legler D, Luther S, Bollenbach MT, Sixt MK. 2013. Interstitial dendritic cell guidance by haptotactic chemokine gradients. Science. 339(6117), 328–332.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2841
Morita H, Heisenberg C-PJ. 2013. Holding on and letting go: Cadherin turnover in cell intercalation. Developmental Cell. 24(6), 567–569.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2810   OA
De Vos M, Poelwijk F, Battich N, Ndika J, Tans S. 2013. Environmental dependence of genetic constraint. PLoS Genetics. 9(6), e1003580.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2846   OA
El Masri L, Schulte R, Timmermeyer N, Thanisch S, Crummenerl L, Jansen G, Michiels N, Schulenburg H. 2013. Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. 16(4), 461–468.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2860   OA
Dupret D, O’Neill J, Csicsvari JL. 2013. Dynamic reconfiguration of hippocampal interneuron circuits during spatial learning. Neuron. 78(1), 166–180.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2909   OA
Barton NH, Etheridge A, Véber A. 2013. Modelling evolution in a spatial continuum. Journal of Statistical Mechanics Theory and Experiment. 2013(1).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2853   OA
Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 3116
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. 2013. Code aware resource management. Formal Methods in System Design. 42(2), 142–174.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner H, Fasy BT, Rote G. 2013. Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. Discrete & Computational Geometry. 49(4), 797–822.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 476   OA
Dickerson D, Bilkey D. 2013. Aberrant neural synchrony in the maternal immune activation model: Using translatable measures to explore targeted interventions. Frontiers in Behavioral Neuroscience. 7(DEC).
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 508   OA
Tarazona Santos E, Machado M, Magalhães W, Chen R, Lyon F, Burdett L, Crenshaw A, Fabbri C, Pereira L, Pinto L, Fernandes Redondo RA, Sestanovich B, Yeager M, Chanock S. 2013. Evolutionary dynamics of the human NADPH oxidase genes CYBB, CYBA, NCF2, and NCF4: Functional implications. Molecular Biology and Evolution. 30(9), 2157–2167.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 527
Wabnik KT, Robert H, Smith R, Friml J. 2013. Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology. 23(24), 2513–2518.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 522
Fuertbauer E, Zaujec J, Uhrin P, Raab I, Weber M, Schachner H, Bauer M, Schütz G, Binder B, Sixt MK, Kerjaschki D, Stockinger H. 2013. Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters. 154(1–2), 31–41.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee K, Ibsen-Jensen R. 2013. Qualitative analysis of concurrent mean-payoff games, IST Austria, 33p.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327
Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 1374   OA
Chatterjee K, Fijalkow N. 2013. Infinite-state games with finitary conditions. 22nd EACSL Annual Conference on Computer Science Logic. CSL: Computer Science LogicLeibniz International Proceedings in Informatics, LIPIcs, vol. 23. 181–196.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000   OA
Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044. 101–106.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2858   OA
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2884
Maître J-L, Berthoumieux H, Krens G, Salbreux G, Julicher F, Paluch E, Heisenberg C-PJ. 2013. Cell adhesion mechanics of zebrafish gastrulation. Medecine Sciences. 29(2), 147–150.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2295   OA
Chatterjee K, Chmelik M, Tracol M. 2013. What is decidable about partially observable Markov decision processes with omega-regular objectives. 23, 165–180.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2182
Cerny P, Henzinger TA, Radhakrishna A. 2013. Quantitative abstraction refinement. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages 115–128.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517
Almagor S, Boker U, Kupferman O. 2013. Formalizing and reasoning about quality. 7966(Part 2), 15–27.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5408
Chatterjee K, Doyen L, Nain S, Vardi M. 2013. The complexity of partial-observation stochastic parity games with finite-memory strategies, IST Austria, 17p.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410
Ahmed U, Chatterjee K, Gulwani S. 2013. Automatic generation of alternative starting positions for traditional board games, IST Austria, 13p.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2049   OA
Heyse S, Kiltz E, Lyubashevsky V, Paar C, Pietrzak KZ. 2012. Lapin: An efficient authentication protocol based on ring-LPN. Conference proceedings FSE 2012. FSE: Fast Software Encryption, LNCS, vol. 7549. 346–365.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2912
Edelsbrunner H, Strelkova N. 2012. Configuration space for shortest networks . Uspekhi Mat. Nauk. 67(6), 203–204.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2943   OA
Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. 2012. Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. 86(6), 1318–1333.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2931
Torresani L, Kolmogorov V, Rother C. 2012. A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. 35(2), 259–271.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2917
Vladar H. 2012. The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. 12(1), 53–62.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2974   OA
Jain A, Krenn S, Pietrzak KZ, Tentes A. 2012. Commitments and efficient zero knowledge proofs from learning parity with noise. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 7658. 663–680.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2962   OA
Aeschbacher S, Beaumont M, Futschik A. 2012. A novel approach for choosing summary statistics in approximate Bayesian computation. Genetics. 192(3), 1027–1047.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2012 | Conference Paper | IST-REx-ID: 3136
Guet CC, Gupta A, Henzinger TA, Mateescu M, Sezgin A. 2012. Delayed continuous time Markov chains for genetic regulatory circuits. CAV: Computer Aided Verification, LNCS, vol. 7358. 294–309.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3155   OA
Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. 2012. Synchronous interface theories and time triggered scheduling. FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , LNCS, vol. 7273. 203–218.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129   OA
Busaryev O, Cabello S, Chen C, Dey T, Wang Y. 2012. Annotating simplices with a homology basis and its applications. SWAT: Symposium and Workshops on Algorithm Theory, LNCS, vol. 7357. 189–200.
View | DOI | Download (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3131   OA
Weissman D, Barton NH. 2012. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 8(6), e1002740.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162
Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186. 147–160.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3117   OA
Kolmogorov V. 2012. Minimizing a sum of submodular functions. Discrete Applied Mathematics. 160(15), 2246–2258.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 3167
Weber M. 2012. NextGen speaks 13 . Science. 336(6077), 32–34.
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3256   OA
Edelsbrunner H, Kerber M. 2012. Dual complexes of cubical subdivisions of ℝn. Discrete & Computational Geometry. 47(2), 393–414.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3244
Danowski P. 2012. Die Zeit des Abwartens ist vorbei! BuB – Forum Bibliothek und Information. 64(4), 284.
View | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3282   OA
Dodis Y, Pietrzak KZ, Kiltz E, Wichs D. 2012. Message authentication, revisited. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 7237. 355–374.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124
Korc F, Kolmogorov V, Lampert C. 2012. Approximating marginals using discrete energy minimization. ICML: International Conference on Machine Learning, Inferning 2012,
View | Files available
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed