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

6021 Publications


2015 | Journal Article | IST-REx-ID: 1589 | OA
Altmeyer, Sebastian, et al. “Magnetic Field Induced Flow Pattern Reversal in a Ferrofluidic Taylor-Couette System.” Scientific Reports, vol. 5, 18589, Nature Publishing Group, 2015, doi:10.1038/srep18589.
View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer, Oswin, et al. “Representing Directed Trees as Straight Skeletons.” Graph Drawing and Network Visualization, vol. 9411, Springer, 2015, pp. 335–47, doi:10.1007/978-3-319-27261-0_28.
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
Adamowski, Maciek, and Jirí Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” Plant Cell, vol. 27, no. 1, American Society of Plant Biologists, 2015, pp. 20–32, doi:10.1105/tpc.114.134874.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1593 | OA
Žádníková, Petra, et al. “Strategies of Seedlings to Overcome Their Sessile Nature: Auxin in Mobility Control.” Frontiers in Plant Science, vol. 6, no. 4, Frontiers Research Foundation, 2015, doi:10.3389/fpls.2015.00218.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, Vojtěch, et al. Controller Synthesis for MDPs and Frequency LTL\GU. Vol. 9450, Springer, 2015, pp. 162–77, doi:10.1007/978-3-662-48899-7_12.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek, Radoslav, et al. Hanani-Tutte for Radial Planarity. Vol. 9411, Springer, 2015, pp. 99–110, doi:10.1007/978-3-319-27261-0_9.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1596 | OA
Fulek, Radoslav, and Radoš Radoičić. Vertical Visibility among Parallel Polygons in Three Dimensions. Vol. 9411, Springer, 2015, pp. 373–79, doi:10.1007/978-3-319-27261-0_31.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598 | OA
Chatterjee, Krishnendu, et al. “Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives.” Theoretical Computer Science, vol. 573, no. 3, Elsevier, 2015, pp. 71–89, doi:10.1016/j.tcs.2015.01.050.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak, Tomáš, et al. The Hanoi Omega-Automata Format. Vol. 9206, Springer, 2015, pp. 479–86, doi:10.1007/978-3-319-21690-4_31.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee, Krishnendu, et al. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices, vol. 50, no. 1, ACM, 2015, pp. 97–109, doi:10.1145/2676726.2676979.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, Tomáš, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, et al. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, ACM, 2015, pp. 539–51, doi:10.1145/2676726.2676968.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov, Sergiy, et al. Abstraction-Based Parameter Synthesis for Multiaffine Systems. Vol. 9434, Springer, 2015, pp. 19–35, doi:10.1007/978-3-319-26287-1_2.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, Luan, et al. Runtime Verification for Hybrid Analysis Tools. Vol. 9333, Springer, 2015, pp. 281–86, doi:10.1007/978-3-319-23820-3_19.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, doi:10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee, Krishnendu, et al. The Complexity of Synthesis from Probabilistic Components. Vol. 9135, Springer, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9.
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
Whitfield, Jason, et al. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science, vol. 24, no. 9, Wiley, 2015, pp. 1412–22, doi:10.1002/pro.2721.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
Strüber, Michael, et al. “Strength and Duration of Perisomatic GABAergic Inhibition Depend on Distance between Synaptically Connected Cells.” PNAS, vol. 112, no. 4, National Academy of Sciences, 2015, pp. 1220–25, doi:10.1073/pnas.1412996112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
Hammer, Matthieu, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports, vol. 13, no. 3, Cell Press, 2015, pp. 516–23, doi:10.1016/j.celrep.2015.09.011.
View | Files available | DOI
 

Search

Filter Publications