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 |

Chatterjee K, Henzinger TA, Otop J. Nested weighted limit-average automata of bounded width. In: Vol 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.MFCS.2016.24

[Published Version] View | Files available | DOI

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

Jiang Y, Liu H, Song H, et al. Safety assured formal model driven design of the multifunction vehicle bus controller. In: Vol 9995. Springer; 2016:757-763. doi:10.1007/978-3-319-48989-6_47

[Submitted Version] View | Files available | DOI

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

Bak S, Bogomolov S, Henzinger TA, Johnson T, Prakash P. Scalable static hybridization methods for analysis of nonlinear systems. In: Springer; 2016:155-164. doi:10.1145/2883817.2883837

View | DOI

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

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1

[Updated Version] View | Files available | DOI

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

Martius GS, Hostettler R, Knoll A, Der R. Self-organized control of an tendon driven arm by differential extrinsic plasticity. In: 15th International Conference on the Synthesis and Simulation of Living Systems. Vol 28. MIT Press; 2016:142-143. doi:10.7551/978-0-262-33936-0-ch029

[Published Version] View | Files available | DOI

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

Leithner AF, Eichner A, Müller J, et al. Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. 2016;18:1253-1259. doi:10.1038/ncb3426

[Submitted Version] View | Files available | DOI

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

Chatterjee K, Fu H, Goharshady AK. Termination analysis of probabilistic programs through Positivstellensatz’s. In: Vol 9779. Springer; 2016:3-22. doi:10.1007/978-3-319-41528-4_1

[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 |

Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. In: Vol 20-22. ACM; 2016:733-747. doi:10.1145/2837614.2837624

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

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

Sako K, Pradhan S, Barone V, et al. Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. 2016;16(3):866-877. doi:10.1016/j.celrep.2016.06.036

[Published Version] View | Files available | DOI

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

Fischer JL. Estimates on front propagation for nonlinear higher-order parabolic equations: An algorithmic approach. Interfaces and Free Boundaries. 2015;17(1):1-20. doi:10.4171/IFB/331

View | DOI

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

Fischer JL. A posteriori modeling error estimates for the assumption of perfect incompressibility in the Navier-Stokes equation. SIAM Journal on Numerical Analysis. 2015;53(5):2178-2205. doi:10.1137/140966654

View | DOI

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

Fischer JL. Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems. Archive for Rational Mechanics and Analysis. 2015;218(1):553-587. doi:10.1007/s00205-015-0866-x

View | DOI

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

Zhao H, Sen S, Udayabhaskararao T, et al. Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks. Nature Nanotechnology. 2015;11:82-88. doi:10.1038/nnano.2015.256