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.




6293 Publications

2017 | Published | Journal Article | IST-REx-ID: 10416 | OA
K. Chatterjee, B. Choudhary, and A. Pavlogiannis, “Optimal Dyck reachability for data-dependence and Alias analysis,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version] View | Files available | DOI | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
A. Mciver, C. Morgan, B. L. Kaminski, and J. P. Katoen, “A new proof rule for almost-sure termination,” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL. Association for Computing Machinery, 2017.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 791 | OA
D.-A. Alistarh, J. Kopinsky, J. Li, and G. Nadiradze, “The power of choice in priority scheduling,” in Proceedings of the ACM Symposium on Principles of Distributed Computing, Washington, WA, USA, 2017, vol. Part F129314, pp. 283–292.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 792 | OA
N. B. Budanur, K. Short, M. Farazmand, A. Willis, and P. Cvitanović, “Relative periodic orbits form the backbone of turbulent pipe flow,” Journal of Fluid Mechanics, vol. 833. Cambridge University Press, pp. 274–301, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 793 | OA
R. Fulek, H. Mojarrad, M. Naszódi, J. Solymosi, S. Stich, and M. Szedlák, “On the existence of ordinary triangles,” Computational Geometry: Theory and Applications, vol. 66. Elsevier, pp. 28–31, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 794 | OA
R. Fulek, “C-planarity of embedded cyclic c-graphs,” Computational Geometry: Theory and Applications, vol. 66. Elsevier, pp. 1–13, 2017.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 795 | OA
R. Fulek, J. Kynčl, and D. Pálvölgyi, “Unified Hanani Tutte theorem,” Electronic Journal of Combinatorics, vol. 24, no. 3. International Press, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 796 | OA
A. J. Keller, P. Dieterle, M. Fang, B. Berger, J. M. Fink, and O. Painter, “Al transmon qubits on silicon on insulator for quantum device integration,” Applied Physics Letters, vol. 111, no. 4. American Institute of Physics, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 797
J. M. Fink, “Photonenblockade aufgelöst,” Physik in unserer Zeit, vol. 48, no. 3. Wiley, pp. 111–113, 2017.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 798 | OA
S. Barzanjeh et al., “Mechanical on chip microwave circulator,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 799 | OA
S. Kitakura et al., “BEN3/BIG2 ARF GEF is involved in brefeldin a-sensitive trafficking at the trans-Golgi network/early endosome in Arabidopsis thaliana,” Plant and Cell Physiology, vol. 58, no. 10. Oxford University Press, 2017.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 800 | OA
M. Strüber, J. Sauer, P. M. Jonas, and M. Bartos, “Distance-dependent inhibition facilitates focality of gamma oscillations in the dentate gyrus,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 803 | OA
M. Samwer et al., “DNA cross-bridging shapes a single nucleus from a set of mitotic chromosomes,” Cell, vol. 170, no. 5. Cell Press, pp. 956–972, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 804 | OA
P. S. Schmalhorst, F. Deluweit, R. Scherrers, C.-P. J. Heisenberg, and M. K. Sikora, “Overcoming the limitations of the MARTINI force field in simulations of polysaccharides,” Journal of Chemical Theory and Computation, vol. 13, no. 10. American Chemical Society, pp. 5039–5053, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 805
S. Pfurr et al., “The E2A splice variant E47 regulates the differentiation of projection neurons via p57(KIP2) during cortical development,” Development, vol. 144. Company of Biologists, pp. 3917–3931, 2017.
View | DOI | WoS
 
2017 | Published | Thesis | PhD | IST-REx-ID: 818 | OA
K. Mitosch, “Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Thesis | PhD | IST-REx-ID: 819 | OA
C. Pull, “Disease defence in garden ants,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Thesis | PhD | IST-REx-ID: 820 | OA
F. Jesse, “The lac operon in the wild,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Thesis | PhD | IST-REx-ID: 821 | OA
A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 822 | OA
M. de Vos, M. P. Zagórski, A. Mcnally, and M. T. Bollenbach, “Interaction networks, ecological stability, and collective antibiotic tolerance in polymicrobial infections,” PNAS, vol. 114, no. 40. National Academy of Sciences, pp. 10666–10671, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed