Altshuler, Ernesto, H Torres, A González_Pita, Colina G Sánchez, Carlos Pérez Penichet, Scott R Waitukaitis, and Rauól Hidalgo. “Settling into Dry Granular Media in Different Gravities.”https://doi.org/10.1002/2014GL059229__Geophysical Research Letters. Wiley-Blackwell, 2014.https://doi.org/10.1002/2014GL059229 .
LibreCat: https://research-explorer.ista.ac.at/record/118
DOI: 10.1002/2014GL059229

Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Decremental Single-Source Shortest Paths on Undirected Graphs in near-Linear Total Update Time.”https://doi.org/10.1109/focs.2014.24__In 55th Annual Symposium on Foundations of Computer Science, 146–55. Institute of Electrical and Electronics Engineers, 2014.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, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Sublinear-Time Decremental Algorithms for Single-Source Reachability and Shortest Paths on Directed Graphs.”https://doi.org/10.1145/2591796.2591869__In 46th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery, 2014.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, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “A Subquadratic-Time Algorithm for Decremental Single-Source Shortest Paths.”https://doi.org/10.1137/1.9781611973402.79__In 25th Annual ACM-SIAM Symposium on Discrete Algorithms, 1053–72. Society for Industrial and Applied Mathematics, 2014.https://doi.org/10.1137/1.9781611973402.79 .
LibreCat: https://research-explorer.ista.ac.at/record/11876
DOI: 10.1137/1.9781611973402.79

Bhattacharya, Sayan, Monika H Henzinger, and Giuseppe F. Italiano. “Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.”https://doi.org/10.1137/1.9781611973730.54__In 26th Annual ACM-SIAM Symposium on Discrete Algorithms, 785–804. Society for Industrial and Applied Mathematics, 2014.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, Scott R, Victor Lee, James Pierson, Steven Forman, and Heinrich Jaeger. “Size-Dependent Same-Material Tribocharging in Insulating Grains.”https://doi.org/10.1103/PhysRevLett.112.218001__APS Physics, Physical Review Letters. American Physical Society, 2014.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, Harald F., Florian H. Schopf, Hannes Schleifer, Oskar L. Knittelfelder, Bartholomäus Pieber, Gerald N. Rechberger, Heimo Wolinski, et al. “Regulation of Gene Expression through a Transcriptional Repressor That Senses Acyl-Chain Length in Membrane Phospholipids.”https://doi.org/10.1016/j.devcel.2014.04.025__Developmental Cell. Elsevier, 2014.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, Mojtaba Mirhosseini, Bartholomäus Pieber, Toma Glasnov, and C. Oliver Kappe. “Immobilized Iron Oxide Nanoparticles as Stable and Reusable Catalysts for Hydrazine-Mediated Nitro Reductions in Continuous Flow.”https://doi.org/10.1002/cssc.201402455__ChemSusChem. Wiley, 2014.https://doi.org/10.1002/cssc.201402455 .
LibreCat: https://research-explorer.ista.ac.at/record/11967
DOI: 10.1002/cssc.201402455
PMID: 25209099

Pieber, Bartholomäus, Toma Glasnov, and C. O. Kappe. “Flash Carboxylation: Fast Lithiation–Carboxylation Sequence at Room Temperature in Continuous Flow.”https://doi.org/10.1039/c4ra01442a__RSC Advances. Royal Society of Chemistry, 2014.https://doi.org/10.1039/c4ra01442a .
LibreCat: https://research-explorer.ista.ac.at/record/11987
DOI: 10.1039/c4ra01442a

Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.”https://doi.org/10.1007/s00030-013-0235-0__Nonlinear Differential Equations and Applications. Birkhäuser, 2014.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, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.”https://doi.org/10.1007/s00205-013-0690-0__Archive for Rational Mechanics and Analysis. Springer, 2014.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, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.”https://doi.org/10.1016/j.tcs.2014.06.031__Theoretical Computer Science. Elsevier, 2014.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, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,”https://doi.org/10.1007/978-3-642-54013-4_10__8318:161–81. Springer, 2014.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, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.”https://doi.org/10.1145/2593882.2593900__In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014.https://doi.org/10.1145/2593882.2593900 .
LibreCat: https://research-explorer.ista.ac.at/record/1393
DOI: 10.1145/2593882.2593900

Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1404

Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.”https://doi.org/10.1142/9789814618144_0007__In Proceedings of the QMat Conference, 127–37. World Scientific Publishing, 2014.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, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.”https://doi.org/10.1145/2591010__ACM Transactions on Graphics. ACM, 2014.https://doi.org/10.1145/2591010 .
LibreCat: https://research-explorer.ista.ac.at/record/1629
DOI: 10.1145/2591010

Fulek, Radoslav, Jan Kyndl, Igor Malinovi, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.”https://doi.org/10.1007/978-3-662-45803-7_36__In International Symposium on Graph Drawing, 8871:428–36. Cham: Springer Nature, 2014.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, Georg. “Constrained Verifiable Random Functions .”https://doi.org/10.1007/978-3-319-10879-7_7__In SCN 2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014.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, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.”https://doi.org/10.4204/EPTCS.169.5__In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014.https://doi.org/10.4204/EPTCS.169.5 .
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5