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.
5652 Publications
2017 | Published | Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 747 | 
Brǎiloiu, Eugen, et al. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” Neuroscience, vol. 365, Elsevier, 2017, pp. 23–32, doi: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: 750
Pielorz, Jasmin, et al. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.” 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–63, doi:10.1109/BigData.2017.8258375.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 751 |
Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:10.1016/j.cub.2017.10.001.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 791 |
Alistarh, Dan-Adrian, et al. “The Power of Choice in Priority Scheduling.” Proceedings of the ACM Symposium on Principles of Distributed Computing, vol. Part F129314, ACM, 2017, pp. 283–92, doi:10.1145/3087801.3087810.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Journal Article | IST-REx-ID: 797
Fink, Johannes M. “Photonenblockade Aufgelöst.” Physik in Unserer Zeit, vol. 48, no. 3, Wiley, 2017, pp. 111–13, doi:10.1002/piuz.201770305.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 805
Pfurr, Sabrina, et al. “The E2A Splice Variant E47 Regulates the Differentiation of Projection Neurons via P57(KIP2) during Cortical Development.” Development, vol. 144, Company of Biologists, 2017, pp. 3917–31, doi:10.1242/dev.145698.
View
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 833 |
Heiss, Teresa, and Hubert Wagner. Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images. Edited by Michael Felsberg et al., vol. 10424, Springer, 2017, pp. 397–409, doi:10.1007/978-3-319-64689-3_32.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Book Chapter | IST-REx-ID: 84
Edelsbrunner, Herbert, and Patrice Koehl. “Computational Topology for Structural Molecular Biology.” Handbook of Discrete and Computational Geometry, Third Edition, edited by Csaba Toth et al., Taylor & Francis, 2017, pp. 1709–35, doi:10.1201/9781315119601.
View
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 623
Hill Yardin, Elisa, et al. “Extracerebral Dysfunction in Animal Models of Autism Spectrum Disorder.” Translational Anatomy and Cell Biology of Autism Spectrum Disorder, edited by Michael Schmeisser and Tobias Boekers, vol. 224, Springer, 2017, pp. 159–87, doi:10.1007/978-3-319-52498-6_9.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 627 |
Jiang, Changyu, et al. “Dietary Menthol-Induced TRPM8 Activation Enhances WAT ‘Browning’ and Ameliorates Diet-Induced Obesity.” Oncotarget, vol. 8, no. 43, Impact Journals, 2017, pp. 75114–26, doi:10.18632/oncotarget.20540.
[Published Version]
View
| Files available
| DOI
2017 | Published | Book Chapter | IST-REx-ID: 629
Loose, Martin, et al. “Reconstitution of Protein Dynamics Involved in Bacterial Cell Division.” Prokaryotic Cytoskeletons, vol. 84, Springer, 2017, pp. 419–44, doi:10.1007/978-3-319-53047-5_15.
View
| DOI
| PubMed | Europe PMC
2017 | Published | Conference Paper | IST-REx-ID: 630 |
Sauermann, Stefan, et al. Biosignals Standards and FHIR: The Way to Go. Vol. 236, IOS Press, 2017, pp. 356–62, doi:10.3233/978-1-61499-759-7-356.
[Published Version]
View
| Files available
| DOI
2017 | Published | Conference (Editor) | IST-REx-ID: 638
Bogomolov, Sergiy, et al., editors. Numerical Software Verification. Vol. 10152, Springer, 2017, doi:10.1007/978-3-319-54292-8.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 641
Trajkovska, Vera, et al. Graphical Model Parameter Learning by Inverse Linear Programming. Edited by François Lauze et al., vol. 10302, Springer, 2017, pp. 323–34, doi:10.1007/978-3-319-58771-4_26.
View
| DOI
2017 | Published | Journal Article | IST-REx-ID: 643
Sun, Wuping, et al. “Effects of B Vitamins Overload on Plasma Insulin Level and Hydrogen Peroxide Generation in Rats.” Chinese Journal of Physiology, vol. 60, no. 4, Chinese Physiological Society, 2017, pp. 207–14, doi:10.4077/CJP.2017.BAF469.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2017 | Published | Conference Paper | IST-REx-ID: 648 |
Skórski, Maciej. On the Complexity of Breaking Pseudoentropy. Edited by Gerhard Jäger and Silvia Steila, vol. 10185, Springer, 2017, pp. 600–13, doi:10.1007/978-3-319-55911-7_43.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Book Chapter | IST-REx-ID: 649
Maas, Jan. “Entropic Ricci Curvature for Discrete Spaces.” Modern Approaches to Discrete Curvature, edited by Laurent Najman and Pascal Romon, vol. 2184, Springer, 2017, pp. 159–74, doi:10.1007/978-3-319-58002-9_5.
View
| DOI
2017 | Published | Conference Paper | IST-REx-ID: 650 |
Skórski, Maciej. A Cryptographic View of Regularity Lemmas: Simpler Unified Proofs and Refined Bounds. Edited by Gerhard Jäger and Silvia Steila, vol. 10185, Springer, 2017, pp. 586–99, doi:10.1007/978-3-319-55911-7_42.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 652
Der, Ralf, and Georg S. Martius. Dynamical Self Consistency Leads to Behavioral Development and Emergent Social Interactions in Robots. 7846789, IEEE, 2017, doi:10.1109/DEVLRN.2016.7846789.
View
| DOI