Krenn, Stephan, Krzysztof Z Pietrzak, and Akshay Wadia. “A Counterexample to the Chain Rule for Conditional HILL Entropy, and What Deniable Encryption Has to Do with It.”https://doi.org/10.1007/978-3-642-36594-2_2__edited by Amit Sahai, 7785:23–39. Springer, 2013.https://doi.org/10.1007/978-3-642-36594-2_2 .
LibreCat: https://research-explorer.ista.ac.at/record/2940
DOI: 10.1007/978-3-642-36594-2_2

Tommasi, Tatiana, Novi Quadrianto, Barbara Caputo, and Christoph Lampert. “Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer.”https://doi.org/10.1007/978-3-642-37331-2_1__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-37331-2_1 .
LibreCat: https://research-explorer.ista.ac.at/record/2948
DOI: 10.1007/978-3-642-37331-2_1

Bangerter, Endre, Stefania Barzan, Stephan Krenn, Ahmad Sadeghi, Thomas Schneider, and Joe Tsay. “Bringing Zero-Knowledge Proofs of Knowledge to Practice.”https://doi.org/10.1007/978-3-642-36213-2_9__edited by Bruce Christianson, James Malcolm, Vashek Matyas, and Michael Roe, 7028:51–62. Springer, 2013.https://doi.org/10.1007/978-3-642-36213-2_9 .
LibreCat: https://research-explorer.ista.ac.at/record/2973
DOI: 10.1007/978-3-642-36213-2_9

Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Ritankar Majumdar, and Vishwanath Raman. “Code Aware Resource Management.”https://doi.org/10.1007/s10703-012-0170-4__Formal Methods in System Design. Springer, 2013.https://doi.org/10.1007/s10703-012-0170-4 .
LibreCat: https://research-explorer.ista.ac.at/record/3116
DOI: 10.1007/s10703-012-0170-4

Edelsbrunner, Herbert, Brittany Terese Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.”https://doi.org/10.1007/s00454-013-9517-x__Discrete &; Computational Geometry. Springer, 2013.https://doi.org/10.1007/s00454-013-9517-x .
LibreCat: https://research-explorer.ista.ac.at/record/2815
DOI: 10.1007/s00454-013-9517-x

Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.”https://doi.org/10.1016/j.comgeo.2012.02.010__Computational Geometry: Theory and Applications. Elsevier, 2013.https://doi.org/10.1016/j.comgeo.2012.02.010 .
LibreCat: https://research-explorer.ista.ac.at/record/2939
DOI: 10.1016/j.comgeo.2012.02.010

Ibáñez, Maria, Doris Cadavid, Umberto Anselmi Tamburini, Reza Zamani, Stéphane Gorsse, Wenhua Li, Antonio López, Joan Morante, Jordi Arbiol, and Andreu Cabot. “Colloidal Synthesis and Thermoelectric Properties of Cu 2SnSe3 Nanocrystals.”https://doi.org/10.1039/C2TA00419D__Journal of Materials Chemistry A. Royal Society of Chemistry, 2013.https://doi.org/10.1039/C2TA00419D .
LibreCat: https://research-explorer.ista.ac.at/record/344
DOI: 10.1039/C2TA00419D

Cadavid, Doris, Maria Ibáñez, Alexey Shavel, Oscar Durá, Marco López De La Torre, and Andreu Cabot. “Organic Ligand Displacement by Metal Salts to Enhance Nanoparticle Functionality: Thermoelectric Properties of Ag Inf 2 Inf Te.”https://doi.org/10.1039/C3TA01455J__Journal of Materials Chemistry A. Royal Society of Chemistry, 2013.https://doi.org/10.1039/C3TA01455J .
LibreCat: https://research-explorer.ista.ac.at/record/352
DOI: 10.1039/C3TA01455J

Ibáñez, Maria, and Andreu Cabot. “All Change for Nanocrystals.”https://doi.org/10.1126/science.1239221__Science. American Association for the Advancement of Science, 2013.https://doi.org/10.1126/science.1239221 .
LibreCat: https://research-explorer.ista.ac.at/record/378
DOI: 10.1126/science.1239221

Dubuis, Julien, Gasper Tkadik, Eric Wieschaus, Thomas Gregor, and William Bialek. “Positional Information, in Bits.”https://doi.org/10.1073/pnas.1315642110__PNAS. National Academy of Sciences, 2013.https://doi.org/10.1073/pnas.1315642110 .
LibreCat: https://research-explorer.ista.ac.at/record/3261
DOI: 10.1073/pnas.1315642110
PMID: 24089448

Li, Wenhua, Reza Zamani, Pilar Rivera Gil, Beatriz Pelaz, Maria Ibáñez, Doris Cadavid, Alexey Shavel, et al. “CuTe Nanocrystals: Shape and Size Control, Plasmonic Properties, and Use as SERS Probes and Photothermal Agents.”https://doi.org/10.1021/ja401428e__Journal of the American Chemical Society. ACS, 2013.https://doi.org/10.1021/ja401428e .
LibreCat: https://research-explorer.ista.ac.at/record/331
DOI: 10.1021/ja401428e

Quadrianto, Novi, and Christoph Lampert. “Kernel Based Learning.”https://doi.org/10.1007/978-1-4419-9863-7_604__In Encyclopedia of Systems Biology, edited by Werner Dubitzky, Olaf Wolkenhauer, Kwang Cho, and Hiroki Yokota, 3:1069–1069. Springer, 2013.https://doi.org/10.1007/978-1-4419-9863-7_604 .
LibreCat: https://research-explorer.ista.ac.at/record/3321
DOI: 10.1007/978-1-4419-9863-7_604

Chatterjee, Krishnendu, Monika H Henzinger, Manas Joglekar, and Nisarg Shah. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.”https://doi.org/10.1007/s10703-012-0180-2__Formal Methods in System Design. Springer, 2013.https://doi.org/10.1007/s10703-012-0180-2 .
LibreCat: https://research-explorer.ista.ac.at/record/2831
DOI: 10.1007/s10703-012-0180-2
arXiv: 1104.3348

Li, Wenhua, Reza Zamani, Maria Ibáñez, Doris Cadavid, Alexey Shavel, Joan Morante, Jordi Arbiol, and Andreu Cabot. “Metal Ions to Control the Morphology of Semiconductor Nanoparticles: Copper Selenide Nanocubes.”https://doi.org/10.1021/ja400472m__Journal of the American Chemical Society. American Chemical Society, 2013.https://doi.org/10.1021/ja400472m .
LibreCat: https://research-explorer.ista.ac.at/record/342
DOI: 10.1021/ja400472m

Ibáñez, Maria, Reza Zamani, Stéphane Gorsse, Jiandong Fan, Silvia Ortega, Doris Cadavid, Joan Morante, Jordi Arbiol, and Andreu Cabot. “Core Shell Nanoparticles as Building Blocks for the Bottom-up Production of Functional Nanocomposites: PbTe PbS Thermoelectric Properties.”https://doi.org/10.1021/nn305971v__ACS Nano. American Chemical Society, 2013.https://doi.org/10.1021/nn305971v .
LibreCat: https://research-explorer.ista.ac.at/record/343
DOI: 10.1021/nn305971v

Carrete, Alex, Alexey Shavel, Xavier Fontané, Joana Montserrat, Jiandong Fan, Maria Ibáñez, Edgardo Saucedo, Alejandro Pérez Rodríguez, and Andreu Cabot. “Antimony-Based Ligand Exchange to Promote Crystallization in Spray-Deposited Cu2ZnSnSe4 Solar Cells.”https://doi.org/10.1021/ja4068639__Journal of the American Chemical Society. American Chemical Society, 2013.https://doi.org/10.1021/ja4068639 .
LibreCat: https://research-explorer.ista.ac.at/record/351
DOI: 10.1021/ja4068639

Li, Wenhua, Reza Zamani, Pilar Rivera Gil, Beatriz Pelaz, Maria Ibáñez, Doris Cadavid, Alexey Shavel, et al. “CuTe Nanocrystals: Shape and Size Control, Plasmonic Properties, and Use as SERS Probes and Photothermal Agents.”https://doi.org/10.1021/ja401428e__Journal of the American Chemical Society. American Chemical Society, 2013.https://doi.org/10.1021/ja401428e .
LibreCat: https://research-explorer.ista.ac.at/record/353
DOI: 10.1021/ja401428e

Li, Wenhua, Maria Ibáñez, Reza Zamani, Nuria García Castelló, Grosse Stéphane, Doris Cadavid, Joan Prades, Jordi Arbiol, and Andreu Cabot. “Cu2HgSnSe4 Nanoparticles: Synthesis and Thermoelectric Properties.”https://doi.org/10.1039/C3CE41583J__CrystEngComm. Royal Society of Chemistry, 2013.https://doi.org/10.1039/C3CE41583J .
LibreCat: https://research-explorer.ista.ac.at/record/376
DOI: 10.1039/C3CE41583J

Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.”https://doi.org/10.1098/rspb.2012.2058__Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The, 2013.https://doi.org/10.1098/rspb.2012.2058 .
LibreCat: https://research-explorer.ista.ac.at/record/450
DOI: 10.1098/rspb.2012.2058
PMID: 23173202

Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.”https://doi.org/10.3389/fnbeh.2013.00217__Frontiers in Behavioral Neuroscience. Frontiers Research Foundation, 2013.https://doi.org/10.3389/fnbeh.2013.00217 .
LibreCat: https://research-explorer.ista.ac.at/record/476
DOI: 10.3389/fnbeh.2013.00217

Wakamoto, Yurichi, Neraaj Dhar, Remy P Chait, Katrin Schneider, François Signorino Gelo, Stanislas Leibler, and John Mckinney. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.”https://doi.org/10.1126/science.1229858__Science. American Association for the Advancement of Science, 2013.https://doi.org/10.1126/science.1229858 .
LibreCat: https://research-explorer.ista.ac.at/record/499
DOI: 10.1126/science.1229858

Ward, Melissa, Samantha Lycett, Dorita Avila, Jonathan P Bollback, and Andrew Leigh Brown. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.”https://doi.org/10.1186/1471-2148-13-222__BMC Evolutionary Biology. BioMed Central, 2013.https://doi.org/10.1186/1471-2148-13-222 .
LibreCat: https://research-explorer.ista.ac.at/record/500
DOI: 10.1186/1471-2148-13-222

Cozzuol, Mario, Camila Clozato, Elizete Holanda, Flávio Rodrigues, Samuel Nienow, Benoit De Thoisy, Rodrigo A Fernandes Redondo, and Fabrício Santos. “A New Species of Tapir from the Amazon.”https://doi.org/10.1644/12-MAMM-A-169.1__Journal of Mammalogy. Oxford University Press, 2013.https://doi.org/10.1644/12-MAMM-A-169.1 .
LibreCat: https://research-explorer.ista.ac.at/record/501
DOI: 10.1644/12-MAMM-A-169.1

Greimel, Katrin, Veronika Perz, Klaus Koren, Roland Feola, Armin Temel, Christian Sohar, Enrique Herrero Acero, Ingo Klimant, and Georg Guebitz. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.”https://doi.org/10.1039/c2gc36666e__Green Chemistry. Royal Society of Chemistry, 2013.https://doi.org/10.1039/c2gc36666e .
LibreCat: https://research-explorer.ista.ac.at/record/505
DOI: 10.1039/c2gc36666e

Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud. “Short Blind Signatures.”https://doi.org/10.3233/JCS-130477__Journal of Computer Security. IOS Press, 2013.https://doi.org/10.3233/JCS-130477 .
LibreCat: https://research-explorer.ista.ac.at/record/502
DOI: 10.3233/JCS-130477

Tarazona Santos, Eduardo, Moara Machado, Wagner Magalhães, Renee Chen, Fernanda Lyon, Laurie Burdett, Andrew Crenshaw, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NC, and NC: Functional Implications.”https://doi.org/10.1093/molbev/mst119__Molecular Biology and Evolution. Oxford University Press, 2013.https://doi.org/10.1093/molbev/mst119 .
LibreCat: https://research-explorer.ista.ac.at/record/508
DOI: 10.1093/molbev/mst119
PMID: 23821607

Di Rubbo, Simone, Niloufer Irani, Soo Kim, Zheng Xu, Astrid Gadeyne, Wim Dejonghe, Isabelle Vanhoutte, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIV in Arabidopsis.”https://doi.org/10.1105/tpc.113.114058__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.114058 .
LibreCat: https://research-explorer.ista.ac.at/record/509
DOI: 10.1105/tpc.113.114058
PMID: 23975899

Kim, Soo, Zheng Xu, Kyungyoung Song, Dae Kim, Hyangju Kang, Ilka Reichardt, Eun Sohn, Jií Friml, Gerd Juergens, and Inhwan Hwang. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.”https://doi.org/10.1105/tpc.113.114264__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.114264 .
LibreCat: https://research-explorer.ista.ac.at/record/507
DOI: 10.1105/tpc.113.114264
PMID: 23975898

Pbndík, Ales, Biljana Simonovik, Sara Petersson, Eva Henyková, Sibu Simon, Kathleen Greenham, Yi Zhang, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.”https://doi.org/10.1105/tpc.113.114421__Plant Cell. American Society of Plant Biologists, 2013.https://doi.org/10.1105/tpc.113.114421 .
LibreCat: https://research-explorer.ista.ac.at/record/511
DOI: 10.1105/tpc.113.114421
PMID: 24163311

Bargmann, Bastiaan, Steffen Vanneste, Gabriel Krouk, Tal Nawy, Idan Efroni, Eilon Shani, Goh Choe, et al. “A Map of Cell Typespecific Auxin Responses.”https://doi.org/10.1038/msb.2013.40__Molecular Systems Biology. Nature Publishing Group, 2013.https://doi.org/10.1038/msb.2013.40 .
LibreCat: https://research-explorer.ista.ac.at/record/516
DOI: 10.1038/msb.2013.40

Fuertbauer, Elke, Jan Zaujec, Pavel Uhrin, Ingrid Raab, Michele Weber, Helga Schachner, Miroslav Bauer, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.”https://doi.org/10.1016/j.imlet.2013.07.007__Immunology Letters. Elsevier, 2013.https://doi.org/10.1016/j.imlet.2013.07.007 .
LibreCat: https://research-explorer.ista.ac.at/record/522
DOI: 10.1016/j.imlet.2013.07.007

Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.”https://doi.org/10.1007/978-3-319-02444-8_10__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-319-02444-8_10 .
LibreCat: https://research-explorer.ista.ac.at/record/2279
DOI: 10.1007/978-3-319-02444-8_10

Robert, Hélène, Peter Grones, Anna Stepanova, Linda Robles, Annemarie Lokerse, Jose Alonso, Dolf Weijers, and Jií Friml. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.”https://doi.org/10.1016/j.cub.2013.09.039__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2013.09.039 .
LibreCat: https://research-explorer.ista.ac.at/record/528
DOI: 10.1016/j.cub.2013.09.039

Wabnik, Krzysztof T, Hélène Robert, Richard Smith, and Jií Friml. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.”https://doi.org/10.1016/j.cub.2013.10.038__Current Biology. Cell Press, 2013.https://doi.org/10.1016/j.cub.2013.10.038 .
LibreCat: https://research-explorer.ista.ac.at/record/527
DOI: 10.1016/j.cub.2013.10.038

Reiter, Johannes, Ivana Bozic, Krishnendu Chatterjee, and Martin Nowak. TTP: Tool for Tumor Progression. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-104-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5399
DOI: 10.15479/AT:IST-2013-104-v1-1

Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives.”https://doi.org/10.4230/LIPIcs.CSL.2013.165__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.165 .
LibreCat: https://research-explorer.ista.ac.at/record/2295
DOI: 10.4230/LIPIcs.CSL.2013.165

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-126-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5403
DOI: 10.15479/AT:IST-2013-126-v1-1

Henzinger, Thomas A, and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-123-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5402
DOI: 10.15479/AT:IST-2013-123-v1-1

Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. What Is Decidable about Partially Observable Markov Decision Processes with <9-Regular Objectives. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-109-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5400
DOI: 10.15479/AT:IST-2013-109-v1-1

Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-127-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5404
DOI: 10.15479/AT:IST-2013-127-v1-1

Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5401

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Youssouf Oualhadj. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-128-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5405
DOI: 10.15479/AT:IST-2013-128-v1-1

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Rupak Majumdar. Edit Distance for Timed Automata. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-144-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5409
DOI: 10.15479/AT:IST-2013-144-v1-1

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.”https://doi.org/10.1109/FMCAD.2013.6679386__In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679386 .
LibreCat: https://research-explorer.ista.ac.at/record/1376
DOI: 10.1109/FMCAD.2013.6679386

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. Distributed Synthesis for LTL Fragments. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-130-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5406
DOI: 10.15479/AT:IST-2013-130-v1-1

Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-141-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5408
DOI: 10.15479/AT:IST-2013-141-v1-1

Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/5407

Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-146-v1-1 .
LibreCat: https://research-explorer.ista.ac.at/record/5410
DOI: 10.15479/AT:IST-2013-146-v1-1

Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.”https://doi.org/10.1007/978-3-642-40184-8_20__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40184-8_20 .
LibreCat: https://research-explorer.ista.ac.at/record/2327
DOI: 10.1007/978-3-642-40184-8_20

Schmid, David, Ting Huang, Radhika Dirks, Onur Hosten, and Paul Kwiat. “Polarization Dependent Focusing.”https://doi.org/10.1364/QIM.2013.W6.23__OSA, 2013.https://doi.org/10.1364/QIM.2013.W6.23 .
LibreCat: https://research-explorer.ista.ac.at/record/590
DOI: 10.1364/QIM.2013.W6.23