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.

359 Publications


2015 | Journal Article | IST-REx-ID: 924
Boubaker, Riadh, Vincent Platel, Alexis Bergès, Mathieu Bancelin, and Edouard Hannezo. “Dynamic Model of Heat and Mass Transfer in an Unsaturated Porous Wick of Capillary Pumped Loop.” Applied Thermal Engineering 76 (2015): 1–8. https://doi.org/10.1016/j.applthermaleng.2014.10.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 929
Hannezo, Edouard, Bo Dong, Pierre Recho, Jean Joanny, and Shigeo Hayashi. “Cortical Instability Drives Periodic Supracellular Actin Pattern Formation in Epithelial Tubes.” PNAS 112, no. 28 (2015): 8620–25. https://doi.org/10.1073/pnas.1504762112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981   OA
Zeljkovic, Ilija, Yoshinori Okada, Maksym Serbyn, Raman Sankar, Daniel Walkup, Wenwen Zhou, Junwei Liu, et al. “Dirac Mass Generation from Crystal Symmetry Breaking on the Surfaces of Topological Crystalline Insulators.” Nature Materials 14, no. 3 (2015): 318–24. https://doi.org/10.1038/nmat4215.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 99   OA
Higginbotham, Andrew P, S M Albrecht, Gediminas Kiršanskas, W Chang, Ferdinand Kuemmeth, Peter Krogstrup, Thomas Jespersen, Jesper Nygård, Karsten Flensberg, and Charles Marcus. “Parity Lifetime of Bound States in a Proximitized Semiconductor Nanowire.” Nature Physics 11, no. 12 (2015): 1017–21. https://doi.org/10.1038/nphys3461.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601
Babiak, Tomáš, František Blahoudek, Alexandre Duret Lutz, Joachim Klein, Jan Kretinsky, Daniel Mueller, David Parker, and Jan Strejček. “The Hanoi Omega-Automata Format,” 9206:479–86. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_31.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5437
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. “Runtime Verification for Hybrid Analysis Tools.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-23820-3_19.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1670
Bogomolov, Sergiy, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle. “PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior,” 42–46. AAAI Press, 2015.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1810   OA
Bollenbach, Mark Tobias. “Antimicrobial Interactions: Mechanisms and Implications for Drug Discovery and Resistance Evolution.” Current Opinion in Microbiology 27 (2015): 1–9. https://doi.org/10.1016/j.mib.2015.05.008.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1839   OA
Brázdil, Tomáš, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-46681-0_12.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1846
Beneš, Nikola, Jan Kretinsky, Kim Larsen, Mikael Möller, Salomon Sickert, and Jiří Srba. “Refinement Checking on Parametric Modal Transition Systems.” Acta Informatica 52, no. 2–3 (2015): 269–97. https://doi.org/10.1007/s00236-015-0215-4.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2034   OA
Bérard, Béatrice, Krishnendu Chatterjee, and Nathalie Sznajder. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters 115, no. 1 (2015): 52–59. https://doi.org/10.1016/j.ipl.2014.09.001.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Temporal Simulation and Refinement Distances for Timed Systems.” IEEE Transactions on Automatic Control 60, no. 9 (2015): 2291–2306. https://doi.org/10.1109/TAC.2015.2404612.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.” In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015. https://doi.org/10.1109/LICS.2015.72.
View | Files available | DOI | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” In Real-Time Systems Symposium, 2015:118–27. IEEE, 2015. https://doi.org/10.1109/RTSS.2014.9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi, Saman Salemizadeh, Gavin Conley, Tommaso Costanzo, Bob Howell, Axel Mellinger, and Gabriel Caruntu. “Fabrication of Barium Titanate/Acrylonitrile-Butadiene Styrene/Poly(Methyl Methacrylate) Nanocomposite Films for Hybrid Ferroelectric Capacitors.” RSC Advances 5, no. 93 (2015): 76356–62. https://doi.org/10.1039/c5ra11347d.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512   OA
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers,” 34:507–21. ACM, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.507.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598   OA
Chatterjee, Krishnendu, Manas Joglekar, and Nisarg Shah. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science 573, no. 3 (2015): 71–89. https://doi.org/10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer, Julian L, and Günther Grün. “Finite Speed of Propagation and Waiting Times for the Stochastic Porous Medium Equation: A Unifying Approach.” SIAM Journal on Mathematical Analysis 47, no. 1 (2015): 825–54. https://doi.org/10.1137/140960578.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer, Julian L. “Global Existence of Renormalized Solutions to Entropy-Dissipating Reaction–Diffusion Systems.” Archive for Rational Mechanics and Analysis 218, no. 1 (2015): 553–87. https://doi.org/10.1007/s00205-015-0866-x.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
Ferrara, Anna, Georg Fuchsbauer, Bin Liu, and Bogdan Warinschi. “Policy Privacy in Cryptographic Access Control,” 46–60. IEEE, 2015. https://doi.org/10.1109/CSF.2015.11.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424   OA
Kwitt, Roland, Stefan Huber, Marc Niethammer, Weili Lin, and Ulrich Bauer. “Statistical Topological Data Analysis-A Kernel Perspective,” 28:3070–78. Neural Information Processing Systems, 2015.
View | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1544   OA
Nguyen, Phuong, Christine Field, Aaron Groen, Timothy Mitchison, and Martin Loose. “Using Supported Bilayers to Study the Spatiotemporal Organization of Membrane-Bound Proteins.” In Building a Cell from Its Components Parts, 128:223–41. Academic Press, 2015. https://doi.org/10.1016/bs.mcb.2015.01.007.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549   OA
Mckenzie, Catherine, Inmaculada Sanchez Romero, and Harald L Janovjak. “Flipping the Photoswitch: Ion Channels under Light Control.” In Novel Chemical Tools to Study Ion Channel Biology, 869:101–17. Advances in Experimental Medicine and Biology. Springer, 2015. https://doi.org/10.1007/978-1-4939-2845-3_6.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
El Masri, Leila, Antoine Branca, Anna Sheppard, Andrei Papkou, David Laehnemann, Patrick Guenther, Swantje Prahl, et al. “Host–Pathogen Coevolution: The Selective Advantage of Bacillus Thuringiensis Virulence and Its Cry Toxin Genes.” PLoS Biology 13, no. 6 (2015): 1–30. https://doi.org/10.1371/journal.pbio.1002169.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
Jia, Yuebin, Huiyu Tian, Hongjiang Li, Qianqian Yu, Lei Wang, Jirí Friml, and Zhaojun Ding. “The Arabidopsis Thaliana Elongator Complex Subunit 2 Epigenetically Affects Root Development.” Journal of Experimental Botany 66, no. 15 (2015): 4631–42. https://doi.org/10.1093/jxb/erv230.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
Graff, Grzegorz, and Pawel Pilarczyk. “An Algorithmic Approach to Estimating the Minimal Number of Periodic Points for Smooth Self-Maps of Simply-Connected Manifolds.” Topological Methods in Nonlinear Analysis 45, no. 1 (2015): 273–86. https://doi.org/10.12775/TMNA.2015.014.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1513   OA
Pal, Arka, and Beatriz Vicoso. “The X Chromosome of Hemipteran Insects: Conservation, Dosage Compensation and Sex-Biased Expression.” Genome Biology and Evolution 7, no. 12 (2015): 3259–68. https://doi.org/10.1093/gbe/evv215 .
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, Stelian Coros, Bernhard Thomaszewski, James Tompkin, Bernd Bickel, and Hanspeter Pfister. “Computational Design of Walking Automata,” 93–100. ACM, 2015. https://doi.org/10.1145/2786784.2786803.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525   OA
Bauer, Bruno, Guido Blechl, Christoph Bock, Patrick Danowski, Andreas Ferus, Anton Graschopf, Thomas König, et al. “Arbeitsgruppe „Nationale Strategie“ Des Open Access Network Austria OANA.” VÖB Mitteilungen 68, no. 3 (2015): 580–607. https://doi.org/10.5281/zenodo.33178.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506   OA
Bao, Zhigang, Guangming Pan, and Wang Zhou. “The Logarithmic Law of Random Determinant.” Bernoulli 21, no. 3 (2015): 1600–1628. https://doi.org/10.3150/14-BEJ615.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva, Olga, Herbert Edelsbrunner, Anton Lukyanov, Michael Machin, and Daria Malkova. “The Classification of Endoscopy Images with Persistent Homology.” In Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 7034731. IEEE, 2015. https://doi.org/10.1109/SYNASC.2014.81.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1570   OA
Der, Ralf, and Georg S Martius. “Novel Plasticity Rule Can Explain the Development of Sensorimotor Intelligence.” PNAS 112, no. 45 (2015): E6224–32. https://doi.org/10.1073/pnas.1508400112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1575   OA
Chabaud, Mélanie, Mélina Heuzé, Marine Bretou, Pablo Vargas, Paolo Maiuri, Paola Solanes, Mathieu Maurin, et al. “Cell Migration and Antigen Capture Are Antagonistic Processes Coupled by Myosin II in Dendritic Cells.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms8526.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1582
Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “Weighted Straight Skeletons in the Plane.” Computational Geometry: Theory and Applications 48, no. 2 (2015): 120–33. https://doi.org/10.1016/j.comgeo.2014.08.006.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587
Amaro, Pedro, Filippo Fratini, Laleh Safari, Aldo Antognini, Paul Indelicato, Randolf Pohl, and José Santos. “Quantum Interference Shifts in Laser Spectroscopy with Elliptical Polarization.” Physical Review A - Atomic, Molecular, and Optical Physics 92, no. 6 (2015). https://doi.org/10.1103/PhysRevA.92.062506.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov, Leonid A. “A Giant Molecular Proton Pump: Structure and Mechanism of Respiratory Complex I.” Nature Reviews Molecular Cell Biology 16, no. 6 (2015): 375–88. https://doi.org/10.1038/nrm3997.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi, Peter, and Stefano Tessaro. “Secret-Key Cryptography from Ideal Primitives: A Systematic Verview.” In 2015 IEEE Information Theory Workshop. IEEE, 2015. https://doi.org/10.1109/ITW.2015.7133163.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652   OA
Alwen, Joel F, and Vladimir Serbinenko. “High Parallel Complexity Graphs and Memory-Hard Functions.” In Proceedings of the 47th Annual ACM Symposium on Theory of Computing, 595–603. ACM, 2015. https://doi.org/10.1145/2746539.2746622.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin, Tobias, Nobuyuki Umetani, and Bernd Bickel. “OmniAD: Data-Driven Omni-Directional Aerodynamics,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766919.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695   OA
Kaczmarczyk, Jan, Tobias Schickling, and Jörg Bünemann. “Evaluation Techniques for Gutzwiller Wave Functions in Finite Dimensions.” Physica Status Solidi (B): Basic Solid State Physics 252, no. 9 (2015): 2059–71. https://doi.org/10.1002/pssb.201552082.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1703
Broadhurst, Linda, Graham Fifield, Bindi Vanzella, and Melinda Pickup. “An Evaluation of the Genetic Structure of Seed Sources and the Maintenance of Genetic Diversity during Establishment of Two Yellow Box (Eucalyptus Melliodora) Seed-Production Areas.” Australian Journal of Botany 63, no. 5 (2015): 455–66. https://doi.org/10.1071/BT15023.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1669   OA
Pietrzak, Krzysztof Z, and Maciej Skórski. “The Chain Rule for HILL Pseudoentropy, Revisited.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-22174-8_5.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1671   OA
Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “The Exact PRF Security of Truncation: Tight Bounds for Keyed Sponges and Truncated CBC,” 9215:368–87. Springer, 2015. https://doi.org/10.1007/978-3-662-47989-6_18.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1683
Letts, Jame A, and Leonid A Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.” Current Opinion in Structural Biology 33, no. 8 (2015): 135–45. https://doi.org/10.1016/j.sbi.2015.08.008.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1688   OA
Karasev, Roman, Jan Kynčl, Pavel Paták, Zuzana Patakova, and Martin Tancer. “Bounds for Pach’s Selection Theorem and for the Minimum Solid Angle in a Simplex.” Discrete & Computational Geometry 54, no. 3 (2015): 610–36. https://doi.org/10.1007/s00454-015-9720-z.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1664   OA
Barkley, Dwight, Baofang Song, Mukund Vasudevan, Grégoire M Lemoult, Marc Avila, and Björn Hof. “The Rise of Fully Turbulent Flow.” Nature 526, no. 7574 (2015): 550–53. https://doi.org/10.1038/nature15701.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1710   OA
Akopyan, Arseniy, and Alexander Plakhov. “Minimal Resistance of Curves under the Single Impact Assumption.” Society for Industrial and Applied Mathematics 47, no. 4 (2015): 2754–69. https://doi.org/10.1137/140993843.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1676
Sixt, Michael K, and Erez Raz. “Editorial Overview: Cell Adhesion and Migration.” Current Opinion in Cell Biology 36, no. 10 (2015): 4–6. https://doi.org/10.1016/j.ceb.2015.09.004.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1734
Klehm, Oliver, Fabrice Rousselle, Marios Papas, Derek Bradley, Christophe Hery, Bernd Bickel, Wojciech Jarosz, and Thabo Beeler. “Recent Advances in Facial Appearance Capture.” Computer Graphics Forum 34, no. 2 (2015): 709–33. https://doi.org/10.1111/cgf.12594.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed