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.




6533 Publications

2017 | Published | Conference Paper | IST-REx-ID: 962
Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.” edited by Rupak Majumdar and Viktor Kunčak, 10427:399–418. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_21.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 681 | OA
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean Raskin. “Doomsday Equilibria for Omega-Regular Games.” Information and Computation. Elsevier, 2017. https://doi.org/10.1016/j.ic.2016.10.012.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Conference Paper | IST-REx-ID: 650 | OA
Skórski, Maciej. “A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds.” edited by Gerhard Jäger and Silvia Steila, 10185:586–99. Springer, 2017. https://doi.org/10.1007/978-3-319-55911-7_42.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 714 | OA
Brailoiu, Gabriela, Elena Deliu, Jeffrey Barr, Linda Console Bram, Alexandra Ciuciu, Mary Abood, Ellen Unterwald, and Eugen Brǎiloiu. “HIV Tat Excites D1 Receptor-like Expressing Neurons from Rat Nucleus Accumbens.” Drug and Alcohol Dependence. Elsevier, 2017. https://doi.org/10.1016/j.drugalcdep.2017.04.015.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 685 | OA
Briscoe, James, and Anna Kicheva. “The Physics of Development 100 Years after D’Arcy Thompson’s ‘on Growth and Form.’” Mechanisms of Development. Elsevier, 2017. https://doi.org/10.1016/j.mod.2017.03.005.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu, Eugen, Matthew Mcguire, Shadaria Shuler, Elena Deliu, Jeffrey Barr, Mary Abood, and Gabriela Brailoiu. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” Neuroscience. Elsevier, 2017. https://doi.org/10.1016/j.neuroscience.2017.09.034.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Conference Paper | IST-REx-ID: 989
Maas, Jan, Martin Rumpf, and Stefan Simon. “Transport Based Image Morphing with Intensity Modulation.” edited by François Lauze, Yiqiu Dong, and Anders Bjorholm Dahl, 10302:563–77. Springer, 2017. https://doi.org/10.1007/978-3-319-58771-4_45.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 712 | OA
Fischer, Julian L. “Weak–Strong Uniqueness of Solutions to Entropy Dissipating Reaction–Diffusion Equations.” Nonlinear Analysis: Theory, Methods and Applications. Elsevier, 2017. https://doi.org/10.1016/j.na.2017.03.001.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 730
Savin, Cristina, and Gašper Tkačik. “Maximum Entropy Models as a Tool for Building Precise Neural Controls.” Current Opinion in Neurobiology. Elsevier, 2017. https://doi.org/10.1016/j.conb.2017.08.001.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 686
Heisenberg, Carl-Philipp J. “D’Arcy Thompson’s ‘on Growth and Form’: From Soap Bubbles to Tissue Self Organization.” Mechanisms of Development. Elsevier, 2017. https://doi.org/10.1016/j.mod.2017.03.006.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 737
Virk, Ziga, and Andreas Zastrow. “A New Topology on the Universal Path Space.” Topology and Its Applications. Elsevier, 2017. https://doi.org/10.1016/j.topol.2017.09.015.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 991
Chen, Chong, and Peter M Jonas. “Synaptotagmins: That’s Why so Many.” Neuron. Elsevier, 2017. https://doi.org/10.1016/j.neuron.2017.05.011.
View | DOI | WoS
 
2017 | Published | Thesis | PhD | IST-REx-ID: 819 | OA
Pull, Christopher. “Disease Defence in Garden Ants.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_861.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 486 | OA
Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.” ACM Transactions on Graphics. ACM, 2017. https://doi.org/10.1145/3130800.3130890.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel. “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073710.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 734 | OA
Kennedy, Patrick, Gemma Baron, Bitao Qiu, Dalial Freitak, Heikki Helantera, Edmund Hunt, Fabio Manfredini, et al. “Deconstructing Superorganisms and Societies to Address Big Questions in Biology.” Trends in Ecology and Evolution. Cell Press, 2017. https://doi.org/10.1016/j.tree.2017.08.004.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1198 | OA
Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.” Letters in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s11005-016-0915-x.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Thesis | PhD | IST-REx-ID: 961 | OA
Barone, Vanessa. “Cell Adhesion and Cell Fate: An Effective Feedback Loop during Zebrafish Gastrulation.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_825.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science. International Federation of Computational Logic, 2017. https://doi.org/10.23638/LMCS-13(3:23)2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin, Martin, Matthieu Landon, and Rishi Jajoo. “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” PLoS One. Public Library of Science, 2017. https://doi.org/10.1371/journal.pone.0174066.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed