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.

6514 Publications


2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” SCN 2014, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:10.1007/978-3-319-10879-7_7.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 1058
Jensen, Nickels, et al. “Coordinate-Targeted and Coordinate-Stochastic Super-Resolution Microscopy with the Reversibly Switchable Fluorescent Protein Dreiklang.” ChemPhysChem, vol. 15, no. 4, Wiley-Blackwell, 2014, pp. 756–62, doi:10.1002/cphc.201301034.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 118
Altshuler, Ernesto, et al. “Settling into Dry Granular Media in Different Gravities.” Geophysical Research Letters, vol. 41, no. 9, Wiley-Blackwell, 2014, pp. 3032–37, doi:10.1002/2014GL059229.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 119 | OA
Waitukaitis, Scott R., et al. “Size-Dependent Same-Material Tribocharging in Insulating Grains.” APS Physics, Physical Review Letters, vol. 112, no. 21, 218001, American Physical Society, 2014, doi:10.1103/PhysRevLett.112.218001.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 892
Ivankov, Dmitry, et al. “A Structural Perspective of Compensatory Evolution.” Current Opinion in Structural Biology, vol. 26, no. 1, Elsevier, 2014, pp. 104–12, doi:10.1016/j.sbi.2014.05.004.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 9050 | OA
Takagi, Daisuke, et al. “Hydrodynamic Capture of Microswimmers into Sphere-Bound Orbits.” Soft Matter, vol. 10, no. 11, 1784, Royal Society of Chemistry , 2014, doi:10.1039/c3sm52815d.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 925
Dong, Bo, et al. “Balance between Apical Membrane Growth and Luminal Matrix Resistance Determines Epithelial Tubule Shape.” Cell Reports, vol. 7, no. 4, Cell Press, 2014, pp. 941–50, doi:10.1016/j.celrep.2014.03.066.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 926
Hannezo, Edouard B., et al. “Growth Homeostatic Regulation and Stem Cell Dynamics in Tissues.” Journal of the Royal Society Interface, vol. 11, no. 93, Royal Society of London, 2014, doi:10.1098/rsif.2013.0895.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 927
Hannezo, Edouard B., et al. “Theory of Epithelial Sheet Morphology in Three Dimensions.” PNAS, vol. 111, no. 1, National Academy of Sciences, 2014, pp. 27–32, doi:10.1073/pnas.1312076111.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 96 | OA
Higginbotham, Andrew P., et al. “Coherent Operations and Screening in Multielectron Spin Qubits.” APS Physics, Physical Review Letters, vol. 112, no. 2, 026801, American Physiological Society, 2014, doi:10.1103/PhysRevLett.112.026801.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 97 | OA
Higginbotham, Andrew P., et al. “Antilocalization of Coulomb Blockade in a Ge/Si Nanowire.” APS Physics, Physical Review Letters, vol. 112, no. 21, 216806, American Physical Society, 2014, doi:10.1103/PhysRevLett.112.216806.
View | DOI | Download None (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977 | OA
Serbyn, Maksym, et al. “Interferometric Probes of Many-Body Localization.” Physical Review Letters, vol. 113, no. 14, American Physical Society, 2014, doi:10.1103/PhysRevLett.113.147204.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 978 | OA
Zeljkovic, Ilija, et al. “Mapping the Unconventional Orbital Texture in Topological Crystalline Insulators.” Nature Physics, vol. 10, no. 8, Nature Publishing Group, 2014, pp. 572–77, doi:10.1038/nphys3012.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979 | OA
Serbyn, Maksym, and Liang Fu. “Symmetry Breaking and Landau Quantization in Topological Crystalline Insulators.” Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 3, American Physical Society, 2014, doi:10.1103/PhysRevB.90.035402.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98 | OA
Higginbotham, Andrew P., et al. “Hole Spin Coherence in a Ge/Si Heterostructure Nanowire.” Nano Letters, vol. 14, no. 6, American Chemical Society, 2014, pp. 3582–86, doi:10.1021/nl501242b.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 980 | OA
Serbyn, Maksym, et al. “Quantum Quenches in the Many-Body Localized Phase.” Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 17, American Physical Society, 2014, doi:10.1103/PhysRevB.90.174302.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 451 | OA
Pilarczyk, Pawel, and Pedro Real. “Computation of Cubical Homology, Cohomology, and (Co)Homological Operations via Chain Contraction.” Advances in Computational Mathematics, vol. 41, no. 1, Kluwer, 2014, pp. 253–75, doi:10.1007/s10444-014-9356-1.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:10.1371/journal.pone.0085841.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 332
Yu, Xuelian, et al. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.” Journal of the American Chemical Society, vol. 136, no. 26, ACS, 2014, pp. 9236–39, doi:10.1021/ja502076b.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 348
Cadavid, Doris, et al. “Thermoelectric Properties of Bottom up Assembled Bi2S 3-XTex Nanocomposites.” International Journal of Nanotechnology, vol. 11, no. 9–11, Inderscience Enterprises Limited , 2014, pp. 773–84, doi:10.1504/IJNT.2014.063787.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 349
Ortega, Silvia, et al. “Bottom up Processing of PbTe PbS Thermoelectric Nanocomposites.” International Journal of Nanotechnology, vol. 11, no. 9–11, Inderscience Enterprises Limited , 2014, pp. 955–70, doi:10.1504/IJNT.2014.063802.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 350 | OA
Li, Wenhua, et al. “Colloidal Synthesis and Functional Properties of Quaternary Cu Based Semiconductors: Cu2HgGeSe4.” Journal of Nanoparticle Research, vol. 16, no. 3, Kluwer, 2014, doi:10.1007/s11051-014-2297-2.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 355
Yu, Xuelian, et al. “The Effect of the Ga Content on the Photocatalytic Hydrogen Evolution of CuIn1-XGaxS2 Nanocrystals.” Journal of Materials Chemistry A, vol. 2, no. 31, Royal Society of Chemistry, 2014, pp. 12317–22, doi:10.1039/c4ta01315h.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 356
Yu, Xuelian, et al. “Cu2ZnSnS4-Pt and Cu2ZnSnS4-Au Heterostructured Nanoparticles for Photocatalytic Water Splitting and Pollutant Degradation.” Journal of the American Chemical Society, vol. 136, no. 26, American Chemical Society, 2014, pp. 9236–39, doi:10.1021/ja502076b.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 357
Fairbrother, Andrew, et al. “ZnS Grain Size Effects on Near-Resonant Raman Scattering: Optical Non-Destructive Grain Size Estimation.” CrystEngComm, vol. 16, no. 20, Royal Society of Chemistry, 2014, pp. 4120–25, doi:10.1039/c3ce42578a.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 358
Herranz, Tirma, et al. “In Situ Study of Ethanol Electrooxidation on Monodispersed Pt Inf 3 Inf Sn Nanoparticles.” ChemElectroChem, vol. 1, no. 5, Wiley-Blackwell, 2014, pp. 885–95, doi:10.1002/celc.201300254.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 359
Zamani, Reza, et al. “Polarity-Driven Polytypic Branching in Cu-Based Quaternary Chalcogenide Nanostructures.” ACS Nano, vol. 8, no. 3, American Chemical Society, 2014, pp. 2290–301, doi:10.1021/nn405747h.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 9166 | OA
Palacci, Jérémie A., et al. “Light-Activated Self-Propelled Colloids.” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 372, no. 2029, 20130372, The Royal Society, 2014, doi:10.1098/rsta.2013.0372.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2218 | OA
Cerny, Pavol, et al. Regression-Free Synthesis for Concurrency. Vol. 8559, Springer, 2014, pp. 568–84, doi:10.1007/978-3-319-08867-9_38.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159 | OA
Mabillard, Isaac, and Uli Wagner. “Eliminating Tverberg Points, I. An Analogue of the Whitney Trick.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–80, doi:10.1145/2582112.2582134.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023 | OA
Novak, Sebastian. “Habitat Heterogeneities versus Spatial Type Frequency Variances as Driving Forces of Dispersal Evolution.” Ecology and Evolution, vol. 4, no. 24, Wiley-Blackwell, 2014, pp. 4589–97, doi:10.1002/ece3.1289.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
Milenković, Ivan, et al. “Patterns of Hippocampal Tau Pathology Differentiate Neurodegenerative Dementias.” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6, Karger, 2014, pp. 375–88, doi:10.1159/000365548.
View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 9479 | OA
Mérai, Zsuzsanna, et al. “The AAA-ATPase Molecular Chaperone Cdc48/P97 Disassembles Sumoylated Centromeres, Decondenses Heterochromatin, and Activates Ribosomal RNA Genes.” Proceedings of the National Academy of Sciences, vol. 111, no. 45, National Academy of Sciences, 2014, pp. 16166–71, doi:10.1073/pnas.1418564111.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9458 | OA
Huff, Jason T., and Daniel ZILBERMAN. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.” Cell, vol. 156, no. 6, Elsevier, 2014, pp. 1286–97, doi:10.1016/j.cell.2014.01.029.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9519
Kim, M. Yvonne, and Daniel ZILBERMAN. “DNA Methylation as a System of Plant Genomic Immunity.” Trends in Plant Science, vol. 19, no. 5, Elsevier, 2014, pp. 320–26, doi:10.1016/j.tplants.2014.01.014.
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 9594 | OA
Greenhill, Catherine, et al. “On the Number of Spanning Trees in Random Regular Graphs.” The Electronic Journal of Combinatorics, vol. 21, no. 1, P1.45, The Electronic Journal of Combinatorics, 2014, doi:10.37236/3752.
View | DOI | Download Published Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9662 | OA
Cheng, Bingqing, and Michele Ceriotti. “Direct Path Integral Estimators for Isotope Fractionation Ratios.” The Journal of Chemical Physics, vol. 141, no. 24, 244112, AIP Publishing, 2014, doi:10.1063/1.4904293.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 9686
Cheng, Bingqing, et al. “Strength of Metals under Vibrations – Dislocation-Density-Function Dynamics Simulations.” Philosophical Magazine, vol. 95, no. 16–18, Taylor & Francis, 2014, pp. 1845–65, doi:10.1080/14786435.2014.897008.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 9655 | OA
Perkovic, Mario, et al. “Correlative Light- and Electron Microscopy with Chemical Tags.” Journal of Structural Biology, vol. 186, no. 2, Elsevier, 2014, pp. 205–13, doi:10.1016/j.jsb.2014.03.018.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2004 | OA
Lovrics, Anna, et al. “Boolean Modelling Reveals New Regulatory Connections between Transcription Factors Orchestrating the Development of the Ventral Spinal Cord.” PLoS One, vol. 9, no. 11, e111430, Public Library of Science, 2014, doi:10.1371/journal.pone.0111430.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2039 | OA
Chatterjee, Krishnendu, et al. “The Time Scale of Evolutionary Innovation.” PLoS Computational Biology, vol. 10, no. 9, 7p, Public Library of Science, 2014, doi:10.1371/journal.pcbi.1003818.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2036 | OA
Lagator, Mato, et al. “Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 281, no. 1794, 20141679, Royal Society, The, 2014, doi:10.1098/rspb.2014.1679.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Research Data Reference | IST-REx-ID: 9740
Konrad, Matthias, et al. Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host. Dryad, 2014, doi:10.5061/dryad.vm0vc.
View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9741
Lagator, Mato, et al. Data from: Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses. Dryad, 2014, doi:10.5061/dryad.85dn7.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2161
Westhus, Claudia, et al. “Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant.” Behavioral Ecology and Sociobiology, vol. 68, no. 10, Springer, 2014, pp. 1701–10, doi:10.1007/s00265-014-1778-8.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2083 | OA
Lagator, Mato, et al. “Role of Sex and Migration in Adaptation to Sink Environments.” Evolution, vol. 68, no. 8, Wiley, 2014, pp. 2296–305, doi:10.1111/evo.12440.
View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9747
Lagator, Mato, et al. Data from: Role of Sex and Migration in Adaptation to Sink Environments. Dryad, 2014, doi:10.5061/dryad.s42n1.
View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9753
Tragust, Simon, et al. Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies. Dryad, 2014, doi:10.5061/dryad.nc0gc.
View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9752
Simmons, Kristina, et al. Data from: Transformation of Stimulus Correlations by the Retina. Dryad, 2014, doi:10.5061/dryad.246qg.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2170 | OA
Hearn, Jack, et al. “Likelihood-Based Inference of Population History from Low-Coverage de Novo Genome Assemblies.” Molecular Ecology, vol. 23, no. 1, Wiley-Blackwell, 2014, pp. 198–211, doi:10.1111/mec.12578.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt, Nathalie, et al. “Organisational Immunity in Social Insects.” Current Opinion in Insect Science, vol. 5, no. 1, Elsevier, 2014, pp. 1–15, doi:10.1016/j.cois.2014.09.001.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2260 | OA
Bernhard, David, et al. Efficient Signatures of Knowledge and DAA in the Standard Model. Vol. 7954, Springer, 2013, pp. 518–33, doi:10.1007/978-3-642-38980-1_33.
View | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2264 | OA
Liang, Huixuan, et al. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development, vol. 140, no. 3, Company of Biologists, 2013, pp. 552–61, doi:10.1242/dev.085621.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2269
Auzinger, Thomas, et al. “Analytic Visibility on the GPU.” Computer Graphics Forum, vol. 32, no. 124, Wiley-Blackwell, 2013, pp. 409–18, doi:DOI: 10.1111/cgf.12061.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2270 | OA
Bachrach, Yoram, et al. Optimal Coalition Structures in Cooperative Graph Games. AAAI Press, 2013, pp. 81–87.
View | Download None (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov, Rustem, and Vladimir Kolmogorov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” ICML’13 Proceedings of the 30th International Conference on International, vol. 28, no. 3, International Machine Learning Society, 2013, pp. 145–53.
View | Files available | Download Submitted Version (ext.)
 

2013 | Report | IST-REx-ID: 2273 | OA
Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
View | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2276 | OA
Gridchyn, Igor, and Vladimir Kolmogorov. Potts Model, Parametric Maxflow and k-Submodular Functions. IEEE, 2013, pp. 2320–27, doi:10.1109/ICCV.2013.288.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez, Raquel, et al. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.” Journal of Cell Science, vol. 126, no. 21, Company of Biologists, 2013, pp. 4873–84, doi:10.1242/jcs.125617.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review, vol. 55, no. 4, Society for Industrial and Applied Mathematics , 2013, pp. 671–706, doi:10.1137/120872309.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2282 | OA
Campinho, Pedro, et al. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology, vol. 15, Nature Publishing Group, 2013, pp. 1405–14, doi:10.1038/ncb2869.
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2283
Pull, Christopher, et al. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .” Naturwissenschaften, vol. 100, no. 12, Springer, 2013, pp. 1125–36, doi:10.1007/s00114-013-1115-5.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2286 | OA
Campinho, Pedro, and Carl-Philipp J. Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp. 2783–84, doi:10.1038/emboj.2013.225.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2287 | OA
Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
View | Files available | DOI
 

2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2289 | OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2290 | OA
Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS, vol. 110, no. 40, National Academy of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2291 | OA
Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp. 115–29, doi:10.1109/CSF.2013.15.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, editors. Mathematical Foundations of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2293 | OA
Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2294 | OA
Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi:10.1109/ICCV.2013.139.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2295 | OA
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232, doi:10.1007/s11537-013-1264-5.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2298 | OA
Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures. Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2299 | OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2300 | OA
Giuliani, Alessandro, et al. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B, vol. 88, no. 6, 064401, American Physical Society, 2013, doi:10.1103/PhysRevB.88.064401.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2301
Desai, Ankush, et al. “P: Safe Asynchronous Event-Driven Programming.” Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–31, doi:10.1145/2491956.2462184.
View | DOI | Download None (ext.)
 

2013 | Journal Article | IST-REx-ID: 2303
Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.” Frontiers in Biology, vol. 8, no. 6, Springer, 2013, pp. 557–68, doi:10.1007/s11515-013-1279-6.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2304
Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.” Electronic Notes in Discrete Mathematics, vol. 43, Elsevier, 2013, pp. 43–50, doi:10.1016/j.endm.2013.07.008.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Book | IST-REx-ID: 2306 | OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2315 | OA
Seiringer, Robert, et al. Disordered Bose-Einstein Condensates with Interaction. World Scientific Publishing, 2013, pp. 610–19, doi:10.1142/9789814449243_0063.
View | DOI | Download None (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2319 | OA
Frank, Rupert, et al. Derivation of Ginzburg-Landau Theory for a One-Dimensional System with Contact Interaction. Springer, 2013, pp. 57–88, doi:10.1007/978-3-0348-0531-5_3.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. Vol. 8052, Springer, 2013, pp. 273–87, doi:10.1007/978-3-642-40184-8_20.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2328 | OA
Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2404 | OA
Frank, Rupert, et al. “A Positive Density Analogue of the Lieb-Thirring Inequality.” Duke Mathematical Journal, vol. 162, no. 3, Duke University Press, 2013, pp. 435–95, doi:10.1215/00127094-2019477.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2405 | OA
Frank, Rupert, et al. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics, vol. 319, no. 2, Springer, 2013, pp. 557–73, doi:10.1007/s00220-012-1604-y.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2406
Seiringer, Robert, et al. “Condensation of Interacting Bosons in a Random Potential.” European Physical Journal: Special Topics, vol. 217, no. 1, Springer, 2013, pp. 103–07, doi:10.1140/epjst/e2013-01759-5.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2408 | OA
Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.” Communications in Mathematical Physics, vol. 322, no. 2, Springer, 2013, pp. 559–91, doi:10.1007/s00220-013-1736-8.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2410 | OA
Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements, vol. 1, no. 3, American Society for Microbiology, 2013, doi:10.1128/genomeA.00216-13.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2412 | OA
Kupczok, Anne, and Jonathan P. Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology, vol. 13, no. 1, BioMed Central, 2013, pp. 54–54, doi:10.1186/1471-2148-13-54.
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2413
Valderrama, Mario, et al. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .” Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson, Wiley-VCH, 2013, doi:10.1002/9783527671632.ch08.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist, vol. 200, no. 4, Wiley-Blackwell, 2013, pp. 1034–48, doi:10.1111/nph.12437.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2446 | OA
Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044, Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior, vol. 8, no. 10, e25688, Landes Bioscience, 2013, doi:10.4161/psb.25688.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications