Please note that ISTA 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.

8915 Publications


2015 | Published | Journal Article | IST-REx-ID: 1589 | OA
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Magnetic Field Induced Flow Pattern Reversal in a Ferrofluidic Taylor-Couette System.” Scientific Reports. Nature Publishing Group, 2015. https://doi.org/10.1038/srep18589.
[Published Version] View | Files available | DOI
 

2015 | Published | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer, Oswin, Therese Biedl, Thomas Hackl, Martin Held, Stefan Huber, Peter Palfrader, and Birgit Vogtenhuber. “Representing Directed Trees as Straight Skeletons.” In Graph Drawing and Network Visualization, 9411:335–47. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-27261-0_28.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1591 | OA
Adamowski, Maciek, and Jiří Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” Plant Cell. American Society of Plant Biologists, 2015. https://doi.org/10.1105/tpc.114.134874.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Published | Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, Jan Krčál, and Jan Kretinsky. “Controller Synthesis for MDPs and Frequency LTL\GU,” 9450:162–77. Springer, 2015. https://doi.org/10.1007/978-3-662-48899-7_12.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1595 | OA
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity,” 9411:99–110. Springer, 2015. https://doi.org/10.1007/978-3-319-27261-0_9.
[Submitted Version] View | Files available | DOI
 

2015 | Published | Book Chapter | IST-REx-ID: 1596 | OA
Fulek, Radoslav, and Radoš Radoičić. “Vertical Visibility among Parallel Polygons in Three Dimensions.” In Graph Drawing and Network Visualization, 9411:373–79. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-27261-0_31.
[Submitted Version] View | Files available | DOI
 

2015 | Published | 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. Elsevier, 2015. https://doi.org/10.1016/j.tcs.2015.01.050.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1601 | OA
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.
[Submitted Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices. ACM, 2015. https://doi.org/10.1145/2676726.2676979.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Published | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,” 9206:158–77. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_10.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Published | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . ACM, 2015. https://doi.org/10.1145/2676726.2676968.
View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,” 9434:19–35. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_2.
[Submitted Version] View | Files available | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson. “Runtime Verification for Hybrid Analysis Tools.” In 6th International Conference, 9333:281–86. Springer Nature, 2015. https://doi.org/10.1007/978-3-319-23820-3_19.
View | DOI
 

2015 | Published | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs,” 9206:140–57. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_9.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.” In 42nd International Colloquium, 9135:108–20. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-47666-6_9.
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Published | Conference Paper | IST-REx-ID: 1610 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” In 42nd International Colloquium, 9135:121–33. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-47666-6_10.
View | Files available | DOI | Download None (ext.) | arXiv
 

2015 | Published | Journal Article | IST-REx-ID: 1611 | OA
Whitfield, Jason, William Zhang, Michel Herde, Ben Clifton, Johanna Radziejewski, Harald L Janovjak, Christian Henneberger, and Colin Jackson. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science. Wiley, 2015. https://doi.org/10.1002/pro.2721.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 1614 | OA
Strüber, Michael, Peter M Jonas, and Marlene Bartos. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1412996112.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Published | Journal Article | IST-REx-ID: 1615 | OA
Hammer, Matthieu, Dilja Krueger Burg, Liam Tuffy, Benjamin Cooper, Holger Taschenberger, Sarit Goswami, Hannelore Ehrenreich, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports. Cell Press, 2015. https://doi.org/10.1016/j.celrep.2015.09.011.
[Published Version] View | Files available | DOI
 

2015 | Published | Journal Article | IST-REx-ID: 1618 | OA
Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed