ISTA Research Explorer

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.

440 Publications

2015 | Published | Conference Paper | IST-REx-ID: 1607 |

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 |

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 |

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 |

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 |

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: 1311

Fischer, Julian L, and Günther Grün. “Finite Speed of Propagation and Waiting Times for the Stochastic Porous Medium Equation: A Unifying Approach.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2015. https://doi.org/10.1137/140960578.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 1313

Fischer, Julian L. “Estimates on Front Propagation for Nonlinear Higher-Order Parabolic Equations: An Algorithmic Approach.” Interfaces and Free Boundaries. European Mathematical Society Publishing House, 2015. https://doi.org/10.4171/IFB/331.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 1314

Fischer, Julian L. “A Posteriori Modeling Error Estimates for the Assumption of Perfect Incompressibility in the Navier-Stokes Equation.” SIAM Journal on Numerical Analysis. Society for Industrial and Applied Mathematics , 2015. https://doi.org/10.1137/140966654.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 1316

Fischer, Julian L. “Global Existence of Renormalized Solutions to Entropy-Dissipating Reaction–Diffusion Systems.” Archive for Rational Mechanics and Analysis. Springer, 2015. https://doi.org/10.1007/s00205-015-0866-x.

View | DOI

2015 | Published | Journal Article | IST-REx-ID: 13392

Zhao, Hui, Soumyo Sen, T. Udayabhaskararao, Michał Sawczyk, Kristina Kučanda, Debasish Manna, Pintu K. Kundu, Ji-Woong Lee, Petr Král, and Rafal Klajn. “Reversible Trapping and Reaction Acceleration within Dynamically Self-Assembling Nanoflasks.” Nature Nanotechnology. Springer Nature, 2015. https://doi.org/10.1038/nnano.2015.256.