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.

3469 Publications


2014 | Technical Report | IST-REx-ID: 5414 | OA
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5415 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5416 | OA
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5417 | OA
T. A. Henzinger and J. Otop, From model checking to model measuring. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5418 | OA
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
View | Files available | DOI
 

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

2014 | Report | IST-REx-ID: 5422 | OA
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5423 | OA
K. Chatterjee, A. Kössler, A. Pavlogiannis, and U. Schmid, A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5424 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5425 | OA
1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Optimal cost almost-sure reachability in POMDPs. IST Austria, 2014.
View | Files available
 

2014 | Technical Report | IST-REx-ID: 5426 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5427 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5428 | OA
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, Quantitative fair simulation games. IST Austria, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 5813 | OA
J. Dereziński and M. M. Napiórkowski, “Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit,” Annales Henri Poincaré, vol. 15, no. 12. Springer Nature, pp. 2409–2439, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 589 | OA
J. Lee, G. Vrijsen, I. Teper, O. Hosten, and M. Kasevich, “Many-atom-cavity QED system with homogeneous atom-cavity coupling,” Optics Letters, vol. 39, no. 13. OSA, pp. 4005–4008, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 6122 | OA
G. A. Linneweber et al., “Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching,” Cell, vol. 156, no. 1–2. Elsevier, pp. 69–83, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6124 | OA
C. Chen, E. Itakura, K. P. Weber, R. S. Hegde, and M. de Bono, “An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism,” PLoS Genetics, vol. 10, no. 3. Public Library of Science (PLoS), 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6126 | OA
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and M. de Bono, “GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings,” Journal of Neuroscience, vol. 34, no. 50. Society for Neuroscience, pp. 16726–16738, 2014.
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 6319 | OA
R. de la Bretèche and T. D. Browning, “Contre-exemples au principe de Hasse pour certains tores coflasques,” Journal de Théorie des Nombres de Bordeaux, vol. 26, no. 1. Cellule MathDoc/CEDRAM, pp. 25–44, 2014.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
M. Mondelli, H. Hassani, and R. Urbanke, “From polar to Reed-Muller codes: A technique to improve the finite-length performance,” IEEE Transactions on Communications, vol. 62, no. 9. IEEE, pp. 3084–3091, 2014.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 6740 | OA
M. Mondelli, R. Urbanke, and H. Hassani, “How to achieve the capacity of asymmetric channels,” in 52nd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, United States, 2014, pp. 789–796.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Working Paper | IST-REx-ID: 7038 | OA
K. Huszár and M. Rolinek, Playful Math - An introduction to mathematical games. IST Austria.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 7071 | OA
K. A. Modic et al., “Realization of a three-dimensional spin–anisotropic harmonic honeycomb iridate,” Nature Communications, vol. 5. Springer Science and Business Media LLC, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1375 | OA
K. Chatterjee, M. Henzinger, S. Krinninger, V. Loitzenbauer, and M. Raskin, “Approximating the minimum cycle mean,” Theoretical Computer Science, vol. 547, no. C. Elsevier, pp. 104–116, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
C. Dragoi, T. A. Henzinger, H. Veith, J. Widder, and D. Zufferey, “A logic-based framework for verifying consensus algorithms,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA, 2014, vol. 8318, pp. 161–181.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.
View | DOI | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1507 | OA
L. Erdös, “Random matrices, log-gases and Hölder regularity,” presented at the ICM: International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
View | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516 | OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany, 2014, pp. 127–137.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” ACM Transactions on Graphics, vol. 33, no. 2. ACM, 2014.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 119 | OA
S. R. Waitukaitis, V. Lee, J. Pierson, S. Forman, and H. Jaeger, “Size-dependent same-material tribocharging in insulating grains,” APS Physics, Physical Review Letters, vol. 112, no. 21. American Physical Society, 2014.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 9050 | OA
D. Takagi, J. A. Palacci, A. B. Braunschweig, M. J. Shelley, and J. Zhang, “Hydrodynamic capture of microswimmers into sphere-bound orbits,” Soft Matter, vol. 10, no. 11. Royal Society of Chemistry , 2014.
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 96 | OA
A. P. Higginbotham, F. Kuemmeth, M. Hanson, A. Gossard, and C. Marcus, “Coherent operations and screening in multielectron spin qubits,” APS Physics, Physical Review Letters, vol. 112, no. 2. American Physiological Society, 2014.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 97 | OA
A. P. Higginbotham et al., “Antilocalization of coulomb blockade in a Ge/Si nanowire,” APS Physics, Physical Review Letters, vol. 112, no. 21. American Physical Society, 2014.
View | DOI | Download None (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 977 | OA
M. Serbyn et al., “Interferometric probes of many-body localization,” Physical Review Letters, vol. 113, no. 14. American Physical Society, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 978 | OA
I. Zeljkovic et al., “Mapping the unconventional orbital texture in topological crystalline insulators,” Nature Physics, vol. 10, no. 8. Nature Publishing Group, pp. 572–577, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 979 | OA
M. Serbyn and L. 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.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 98 | OA
A. P. Higginbotham et al., “Hole spin coherence in a Ge/Si heterostructure nanowire,” Nano Letters, vol. 14, no. 6. American Chemical Society, pp. 3582–3586, 2014.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 980 | OA
M. Serbyn, Z. Papić, and D. Abanin, “Quantum quenches in the many-body localized phase,” Physical Review B - Condensed Matter and Materials Physics, vol. 90, no. 17. American Physical Society, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 451 | OA
P. Pilarczyk and P. Real, “Computation of cubical homology, cohomology, and (co)homological operations via chain contraction,” Advances in Computational Mathematics, vol. 41, no. 1. Kluwer, pp. 253–275, 2014.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 3263 | OA
G. Tkačik, A. Ghosh, E. Schneidman, and R. Segev, “Adaptation to changes in higher-order stimulus statistics in the salamander retina,” PLoS One, vol. 9, no. 1. Public Library of Science, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 350 | OA
W. Li et al., “Colloidal synthesis and functional properties of quaternary Cu based semiconductors: Cu2HgGeSe4,” Journal of Nanoparticle Research, vol. 16, no. 3. Kluwer, 2014.
View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 9166 | OA
J. A. Palacci, S. Sacanna, S.-H. Kim, G.-R. Yi, D. J. Pine, and P. M. Chaikin, “Light-activated self-propelled colloids,” Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 372, no. 2029. The Royal Society, 2014.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2218 | OA
P. Cerny, T. A. Henzinger, A. Radhakrishna, L. Ryzhyk, and T. Tarrach, “Regression-free synthesis for concurrency,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 568–584.
View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2159 | OA
I. Mabillard and U. Wagner, “Eliminating Tverberg points, I. An analogue of the Whitney trick,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 171–180.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2023 | OA
S. Novak, “Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution,” Ecology and Evolution, vol. 4, no. 24. Wiley-Blackwell, pp. 4589–4597, 2014.
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1913 | OA
I. Milenković, T. Petrov, and G. Kovács, “Patterns of hippocampal tau pathology differentiate neurodegenerative dementias,” Dementia and Geriatric Cognitive Disorders, vol. 38, no. 5–6. Karger, pp. 375–388, 2014.
View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 9594 | OA
C. Greenhill, M. A. Kwan, and D. Wind, “On the number of spanning trees in random regular graphs,” The Electronic Journal of Combinatorics, vol. 21, no. 1. The Electronic Journal of Combinatorics, 2014.
View | DOI | Download Published Version (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications