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.




2740 Publications

2013 | Journal Article | IST-REx-ID: 2833
Heisenberg, Carl-Philipp J, and Yohanns Bellaïche. “Forces in Tissue Morphogenesis and Patterning.” Cell 153, no. 5 (2013): 948–62. https://doi.org/10.1016/j.cell.2013.05.008.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2838   OA
Arquè Fuste, Gloria, Anna Casanovas, and Mara Dierssen. “Dyrk1A Is Dynamically Expressed on Subsets of Motor Neurons and in the Neuromuscular Junction: Possible Role in Down Syndrome.” PLoS One 8, no. 1 (2013). https://doi.org/10.1371/journal.pone.0054285.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2840
Van Cauter, Tiffany, Jeremy Camon, Alice Alvernhe, Coralie Elduayen, Francesca Sargolini, and Étienne Save. “Distinct Roles of Medial and Lateral Entorhinal Cortex in Spatial Cognition.” Cerebral Cortex 23, no. 2 (2013): 451–59. https://doi.org/10.1093/cercor/bhs033.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2857   OA
Szobota, Stephanie, Catherine Mckenzie, and Harald L Janovjak. “Optical Control of Ligand-Gated Ion Channels.” Methods in Molecular Biology 998 (2013): 417–35. https://doi.org/10.1007/978-1-62703-351-0_32.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2845
Rose, Tobias, Philipp Schönenberger, Karel Jezek, and Thomas Oertner. “Developmental Refinement of Vesicle Cycling at Schaffer Collateral Synapses.” Neuron 77, no. 6 (2013): 1109–21. https://doi.org/10.1016/j.neuron.2013.01.021.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 3261   OA
Dubuis, Julien, Gasper Tkacik, Eric Wieschaus, Thomas Gregor, and William Bialek. “Positional Information, in Bits.” PNAS 110, no. 41 (2013): 16301–8. https://doi.org/10.1073/pnas.1315642110.
View | Files available | DOI | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 507   OA
Kim, Soo, Zheng Xu, Kyungyoung Song, Dae Kim, Hyangju Kang, Ilka Reichardt, Eun Sohn, Jirí Friml, Gerd Juergens, and Inhwan Hwang. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell 25, no. 8 (2013): 2970–85. https://doi.org/10.1105/tpc.113.114264.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 499
Wakamoto, Yurichi, Neraaj Dhar, Remy P Chait, Katrin Schneider, François Signorino Gelo, Stanislas Leibler, and John Mckinney. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.” Science 339, no. 6115 (2013): 91–95. https://doi.org/10.1126/science.1229858.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 502
Blazy, Olivier, Georg Fuchsbauer, David Pointcheval, and Damien Vergnaud. “Short Blind Signatures.” Journal of Computer Security 21, no. 5 (2013): 627–61. https://doi.org/10.3233/JCS-130477.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5402   OA
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.
View | Files available | DOI
 
2013 | Report | IST-REx-ID: 5407   OA
Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
View | Files available
 
2013 | Conference Paper | IST-REx-ID: 1385   OA
Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394.
View | DOI | Download (ext.) | arXiv
 
2013 | Technical Report | IST-REx-ID: 5399
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.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013. https://doi.org/10.1145/2429069.2429109.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer 15, no. 5–6 (2013): 585–601. https://doi.org/10.1007/s10009-011-0207-9.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2814   OA
Chatterjee, Krishnendu, Luca Alfaro, and Ritankar Majumdar. “The Complexity of Coverage.” International Journal of Foundations of Computer Science 24, no. 2 (2013): 165–85. https://doi.org/10.1142/S0129054113400066.
View | DOI | Download (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2819   OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, 1:273–82. Springer, 2013. https://doi.org/10.1145/2461328.2461370.
View | DOI | Download (ext.)
 
2013 | Journal Article | IST-REx-ID: 2282   OA
Campinho, Pedro, Martin Behrndt, Jonas Ranft, Thomas Risler, Nicolas Minc, and Carl-Philipp J Heisenberg. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology 15 (2013): 1405–14. https://doi.org/10.1038/ncb2869.
View | Files available | DOI | Download (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2446   OA
Chatterjee, Krishnendu, Andreas Gaiser, and Jan Kretinsky. “Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_37.
View | DOI | Download (ext.) | arXiv
 
2013 | Thesis | IST-REx-ID: 1405
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. IST Austria, 2013.
View | Files available | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed