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.

10785 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1090 |

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science, Krakow; Poland, 2016, vol. 58.

[Published Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1205 |

Y. Jiang et al., “Safety assured formal model driven design of the multifunction vehicle bus controller,” presented at the FM: Formal Methods, Limassol, Cyprus, 2016, vol. 9995, pp. 757–763.

[Submitted Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1421

S. Bak, S. Bogomolov, T. A. Henzinger, T. Johnson, and P. Prakash, “Scalable static hybridization methods for analysis of nonlinear systems,” presented at the HSCC: Hybrid Systems - Computation and Control, Vienna, Austria, 2016, pp. 155–164.

View | DOI

2016 | Published | Technical Report | IST-REx-ID: 5449 |

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.

[Updated Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 8094 |

G. S. Martius, R. Hostettler, A. Knoll, and R. Der, “Self-organized control of an tendon driven arm by differential extrinsic plasticity,” in 15th International Conference on the Synthesis and Simulation of Living Systems, Cancun, Mexico, 2016, vol. 28, pp. 142–143.

[Published Version] View | Files available | DOI

2016 | Published | Journal Article | IST-REx-ID: 1321 |

A. F. Leithner et al., “Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes,” Nature Cell Biology, vol. 18. Nature Publishing Group, pp. 1253–1259, 2016.

[Submitted Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1386 |

K. Chatterjee, H. Fu, and A. K. Goharshady, “Termination analysis of probabilistic programs through Positivstellensatz’s,” presented at the CAV: Computer Aided Verification, Toronto, Canada, 2016, vol. 9779, pp. 3–22.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2016 | Published | Journal Article | IST-REx-ID: 1183 |

Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.

[Submitted Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1437 |

K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Algorithms for algebraic path properties in concurrent systems of constant treewidth components,” presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA, 2016, vol. 20–22, pp. 733–747.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2016 | Published | Journal Article | IST-REx-ID: 1100 |

K. Sako et al., “Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation,” Cell Reports, vol. 16, no. 3. Cell Press, pp. 866–877, 2016.

[Published Version] View | Files available | DOI

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

J. L. Fischer, “Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach,” Interfaces and Free Boundaries, vol. 17, no. 1. European Mathematical Society Publishing House, pp. 1–20, 2015.

View | DOI

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

J. L. Fischer, “A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation,” SIAM Journal on Numerical Analysis, vol. 53, no. 5. Society for Industrial and Applied Mathematics , pp. 2178–2205, 2015.

View | DOI

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

J. L. Fischer, “Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems,” Archive for Rational Mechanics and Analysis, vol. 218, no. 1. Springer, pp. 553–587, 2015.

View | DOI

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

H. Zhao et al., “Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks,” Nature Nanotechnology, vol. 11. Springer Nature, pp. 82–88, 2015.