Altshuler, E., Torres, H., González_Pita, A., Sánchez, C. G., Pérez Penichet, C., Waitukaitis, S. R., &; Hidalgo, R. (2014). Settling into dry granular media in different gravities. Geophysical Research Letters. Wiley-Blackwell.https://doi.org/10.1002/2014GL059229 
LibreCat: https://research-explorer.ista.ac.at/record/118
DOI: 10.1002/2014GL059229

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). Decremental single-source shortest paths on undirected graphs in near-linear total update time. In 55th Annual Symposium on Foundations of Computer Science (pp. 146–155). Philadelphia, PA, United States: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/focs.2014.24 
LibreCat: https://research-explorer.ista.ac.at/record/11855
DOI: 10.1109/focs.2014.24
arXiv: 1402.0054

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs. In 46th Annual ACM Symposium on Theory of Computing. New York, NY, United States: Association for Computing Machinery.https://doi.org/10.1145/2591796.2591869 
LibreCat: https://research-explorer.ista.ac.at/record/11870
DOI: 10.1145/2591796.2591869
arXiv: 1504.07959

Henzinger, M. H., Krinninger, S., &; Nanongkai, D. (2014). A subquadratic-time algorithm for decremental single-source shortest paths. In 25th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1053–1072). Portland, OR, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611973402.79 
LibreCat: https://research-explorer.ista.ac.at/record/11876
DOI: 10.1137/1.9781611973402.79

Bhattacharya, S., Henzinger, M. H., &; Italiano, G. F. (2014). Deterministic fully dynamic data structures for vertex cover and matching. In 26th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 785–804). San Diego, CA, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611973730.54 
LibreCat: https://research-explorer.ista.ac.at/record/11875
DOI: 10.1137/1.9781611973730.54
arXiv: 1412.1318

Waitukaitis, S. R., Lee, V., Pierson, J., Forman, S., &; Jaeger, H. (2014). Size-dependent same-material tribocharging in insulating grains. APS Physics, Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.112.218001 
LibreCat: https://research-explorer.ista.ac.at/record/119
DOI: 10.1103/PhysRevLett.112.218001
arXiv: 1309.2578

Hofbauer, H. F., Schopf, F. H., Schleifer, H., Knittelfelder, O. L., Pieber, B., Rechberger, G. N.,https://doi.org/10.1016/j.devcel.2014.04.025__Kohlwein, S. D. (2014). Regulation of gene expression through a transcriptional repressor that senses acyl-chain length in membrane phospholipids. Developmental Cell. Elsevier.https://doi.org/10.1016/j.devcel.2014.04.025 
LibreCat: https://research-explorer.ista.ac.at/record/11968
DOI: 10.1016/j.devcel.2014.04.025
PMID: 24960695

Moghaddam, M. M., Pieber, B., Glasnov, T., &; Kappe, C. O. (2014). Immobilized iron oxide nanoparticles as stable and reusable catalysts for hydrazine-mediated nitro reductions in continuous flow. ChemSusChem. Wiley.https://doi.org/10.1002/cssc.201402455 
LibreCat: https://research-explorer.ista.ac.at/record/11967
DOI: 10.1002/cssc.201402455
PMID: 25209099

Pieber, B., Glasnov, T., &; Kappe, C. O. (2014). Flash carboxylation: Fast lithiation–carboxylation sequence at room temperature in continuous flow. RSC Advances. Royal Society of Chemistry.https://doi.org/10.1039/c4ra01442a 
LibreCat: https://research-explorer.ista.ac.at/record/11987
DOI: 10.1039/c4ra01442a

Fischer, J. L. (2014). Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models. Nonlinear Differential Equations and Applications. Birkhäuser.https://doi.org/10.1007/s00030-013-0235-0 
LibreCat: https://research-explorer.ista.ac.at/record/1309
DOI: 10.1007/s00030-013-0235-0

Fischer, J. L. (2014). Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. Archive for Rational Mechanics and Analysis. Springer.https://doi.org/10.1007/s00205-013-0690-0 
LibreCat: https://research-explorer.ista.ac.at/record/1312
DOI: 10.1007/s00205-013-0690-0

Chatterjee, K., Henzinger, M. H., Krinninger, S., Loitzenbauer, V., &; Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2014.06.031 
LibreCat: https://research-explorer.ista.ac.at/record/1375
DOI: 10.1016/j.tcs.2014.06.031
arXiv: 1307.4473

Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., &; Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer.https://doi.org/10.1007/978-3-642-54013-4_10 
LibreCat: https://research-explorer.ista.ac.at/record/1392
DOI: 10.1007/978-3-642-54013-4_10

Gordon, A., Henzinger, T. A., Nori, A., &; Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM.https://doi.org/10.1145/2593882.2593900 
LibreCat: https://research-explorer.ista.ac.at/record/1393
DOI: 10.1145/2593882.2593900

Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1404

Bräunlich, G., Hainzl, C., &; Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMat Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing.https://doi.org/10.1142/9789814618144_0007 
LibreCat: https://research-explorer.ista.ac.at/record/1516
DOI: 10.1142/9789814618144_0007
arXiv: 1403.2563

Guerrero, P., Jeschke, S., Wimmer, M., &; Wonka, P. (2014). Edit propagation using geometric relationship functions. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2591010 
LibreCat: https://research-explorer.ista.ac.at/record/1629
DOI: 10.1145/2591010

Fulek, R., Kyndl, J., Malinovi, I., &; Pálvölgyi, D. (2014). Clustered planarity testing revisited. In International Symposium on Graph Drawing (Vol. 8871, pp. 428–436). Cham: Springer Nature.https://doi.org/10.1007/978-3-662-45803-7_36 
LibreCat: https://research-explorer.ista.ac.at/record/10793
DOI: 10.1007/978-3-662-45803-7_36
arXiv: 1305.4519

Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla &; R. De Prisco (Eds.), SCN 2014 (Vol. 8642, pp. 95–114). Amalfi, Italy: Springer.https://doi.org/10.1007/978-3-319-10879-7_7 
LibreCat: https://research-explorer.ista.ac.at/record/1643
DOI: 10.1007/978-3-319-10879-7_7

Gupta, A., Popeea, C., &; Rybalchenko, A. (2014). Generalised interpolation by solving recursion free-horn clauses. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 169, pp. 31–38). Vienna, Austria: Open Publishing.https://doi.org/10.4204/EPTCS.169.5 
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5