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.

643 Publications

2017 | Published | Journal Article | IST-REx-ID: 6059

Qualitative and quantitative analysis of PMN/T-cell interactions by InFlow and super-resolution microscopy
E. Balta, J.A. Stopp, L. Castelletti, H. Kirchgessner, Y. Samstag, G.H. Wabnitz, Methods 112 (2017) 25–38.

2017 | Published | Journal Article | IST-REx-ID: 6013 |

Experimental evidence for quantum tunneling time
N. Camus, E. Yakaboylu, L. Fechner, M. Klaiber, M. Laux, Y. Mi, K.Z. Hatsagortsyan, T. Pfeifer, C.H. Keitel, R. Moshammer, Physical Review Letters 119 (2017).

2017 | Published | Book Chapter | IST-REx-ID: 545 |

Vascular tissue development and regeneration in the model plant arabidopsis
E. Mazur, J. Friml, in:, S. Jurić (Ed.), Plant Engineering, IntechOpen, 2017, pp. 113–140.

[Published Version] View | Files available | DOI

2017 | Published | Thesis | IST-REx-ID: 202 |

Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Published | Journal Article | IST-REx-ID: 471 |

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, ACM Transactions on Computational Logic 18 (2017).

2017 | Published | Journal Article | IST-REx-ID: 1211 |

Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system
N.B. Budanur, P. Cvitanović, Journal of Statistical Physics 167 (2017) 636–655.

[Submitted Version] View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1191 |

Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.

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

2017 | Research Data Reference | IST-REx-ID: 9709 |

Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, (2017).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Published | Journal Article | IST-REx-ID: 794 |

C-planarity of embedded cyclic c-graphs
R. Fulek, Computational Geometry: Theory and Applications 66 (2017) 1–13.

2017 | Published | Journal Article | IST-REx-ID: 1146

Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels
W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.

View | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1144 |

Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).

[Published Version] View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 465 |

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).

[Published Version] View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 1338 |

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, Formal Methods in System Design 50 (2017) 97–139.

2017 | Published | Journal Article | IST-REx-ID: 1113 |

Hanani-Tutte for radial planarity
R. Fulek, M. Pelsmajer, M. Schaefer, Journal of Graph Algorithms and Applications 21 (2017) 135–154.

[Published Version] View | Files available | DOI | arXiv

2017 | Published | Thesis | IST-REx-ID: 839 |

Brittle fracture simulation with boundary elements for computer graphics
D. Hahn, Brittle Fracture Simulation with Boundary Elements for Computer Graphics, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Published | Journal Article | IST-REx-ID: 464 |

Improved algorithms for parity and Streett objectives
K. Chatterjee, M. Henzinger, V. Loitzenbauer, Logical Methods in Computer Science 13 (2017).

[Published Version] View | Files available | DOI | WoS | arXiv

2017 | Published | Journal Article | IST-REx-ID: 467 |

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).

2017 | Published | Thesis | IST-REx-ID: 938 |

Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Published | Journal Article | IST-REx-ID: 644 |

The complexity of general-valued CSPs
V. Kolmogorov, A. Krokhin, M. Rolinek, SIAM Journal on Computing 46 (2017) 1087–1110.

2017 | Published | Journal Article | IST-REx-ID: 466 |

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).

[Published Version] View | Files available | DOI | WoS

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

643 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

643 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options