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.
479 Publications
    2015 | Published |   Conference Paper | IST-REx-ID: 1672 |  
    
    
 
    
    
        Alwen JF, Ostrovsky R, Zhou H, Zikas V. Incoercible multi-party computation and universally composable receipt-free voting. In: Advances in Cryptology - CRYPTO 2015. Vol 9216. Lecture Notes in Computer Science. Springer; 2015:763-780. doi:10.1007/978-3-662-48000-7_37
    
    
  [Submitted Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1809 |  
    
    
 
    
    
        Trubenova B, Novak S, Hager R. Indirect genetic effects and the dynamics of social interactions. PLoS One. 2015;10(5). doi:10.1371/journal.pone.0126907
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1548 |  
    
    
 
    
    
        Milutinovic B, Höfling C, Futo M, Scharsack J, Kurtz J. Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination. Applied and Environmental Microbiology. 2015;81(23):8135-8144. doi:10.1128/AEM.02051-15
    
    
  [Submitted Version]
View
  
  
   | DOI
   | Download Submitted Version (ext.)
   | WoS
   | PubMed | Europe PMC
  
  
  
  
    2015 | Published |   Conference Paper | IST-REx-ID: 1661 |  
    
    
 
    
    
        Chatterjee K, Henzinger M, Loitzenbauer V. Improved algorithms for one-pair and k-pair Streett objectives. In: Proceedings - Symposium on Logic in Computer Science. Vol 2015-July. IEEE; 2015. doi:10.1109/LICS.2015.34
    
    
  [Submitted Version]
View
  
  | Files available
  
  
   | DOI
   | Download Submitted Version (ext.)
   | WoS
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1530 
    
    
        Bierbaum V, Klumpp S. Impact of the cell division cycle on gene circuits. Physical Biology. 2015;12(6). doi:10.1088/1478-3975/12/6/066003
    
    
View
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 |  Research Data Reference | IST-REx-ID: 9772 
    
    
        Trubenova B, Novak S, Hager R. Description of the agent based simulations. 2015. doi:10.1371/journal.pone.0126907.s003
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  
    2015 |  Research Data Reference | IST-REx-ID: 9715 
    
    
        Trubenova B, Novak S, Hager R. Mathematical inference of the results. 2015. doi:10.1371/journal.pone.0126907.s001
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
  
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1580 |  
    
    
 
    
    
        Brenes O, Vandael DH, Carbone E, Montarolo P, Ghirardi M. Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. 2015;311:430-443. doi:10.1016/j.neuroscience.2015.10.046
    
    
  [Submitted Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 | Published |   Conference Paper | IST-REx-ID: 1630 |  
    
    
 
    
    
        Guerrero P, Jeschke S, Wimmer M, Wonka P. Learning shape placements by example. In: Vol 34. ACM; 2015. doi:10.1145/2766933
    
    
  [Submitted Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1538 |  
    
    
 
    
    
        Ruess J, Parise F, Milias Argeitis A, Khammash M, Lygeros J. Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. 2015;112(26):8148-8153. doi:10.1073/pnas.1423947112
    
    
  [Submitted Version]
View
  
  
   | DOI
   | Download Submitted Version (ext.)
   | WoS
   | PubMed | Europe PMC
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1818 |  
    
    
 
    
    
        Polechova J, Barton NH. Limits to adaptation along environmental gradients. PNAS. 2015;112(20):6401-6406. doi:10.1073/pnas.1421515112
    
    
  [Submitted Version]
View
  
  
   | DOI
   | Download Submitted Version (ext.)
   | WoS
   | PubMed | Europe PMC
  
  
  
  
    2015 | Published |   Conference Paper | IST-REx-ID: 1660 |  
    
    
 
    
    
        Brázdil T, Kiefer S, Kučera A, Novotný P. Long-run average behaviour of probabilistic vector addition systems. In: IEEE; 2015:44-55. doi:10.1109/LICS.2015.15
    
    
  [Preprint]
View
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 2008 |  
    
    
 
    
    
        Klimova A, Rudas T. Iterative scaling in curved exponential families. Scandinavian Journal of Statistics. 2015;42(3):832-847. doi:10.1111/sjos.12139
    
    
  [Preprint]
View
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1828 |  
    
    
 
    
    
        Akopyan A, Pirogov S, Rybko A. Invariant measures of genetic recombination process. Journal of Statistical Physics. 2015;160(1):163-167. doi:10.1007/s10955-015-1238-5
    
    
  [Preprint]
View
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1944 
    
    
        Rakusová H, Fendrych M, Friml J. Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology. 2015;23(2):116-123. doi:10.1016/j.pbi.2014.12.002
    
    
View
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1789 |  
    
    
 
    
    
        Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
    
    
  [Submitted Version]
View
  
  
   | DOI
   | Download Submitted Version (ext.)
   | WoS
   | PubMed | Europe PMC
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1856 |  
    
    
 
    
    
        Chatterjee K, Henzinger TA, Jobstmann B, Singh R. Measuring and synthesizing systems in probabilistic environments. Journal of the ACM. 2015;62(1). doi:10.1145/2699430
    
    
  [Preprint]
View
  
  | Files available
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1834 |  
    
    
 
    
    
        Chen C, Wang C, Zhao X, et al. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 2015;7(2). doi:10.1177/1759091415575845
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 1589 |  
    
    
 
    
    
        Altmeyer S, Do Y, Lai Y. Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. 2015;5. doi:10.1038/srep18589
    
    
  [Published Version]
View
  
  | Files available
  
  
   | DOI
  
   | WoS
  
  
  
  
  
    2015 | Published |   Journal Article | IST-REx-ID: 523 |  
    
    
 
    
    
        Chatterjee K, Doyen L, Randour M, Raskin J. Looking at mean-payoff and total-payoff through windows. Information and Computation. 2015;242(6):25-52. doi:10.1016/j.ic.2015.03.010
    
    
  [Preprint]
View
  
  | Files available
  
  
   | DOI
   | Download Preprint (ext.)
   | WoS
  
   | arXiv