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.

5794 Publications

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

Kovács, K., Steinmann, M., Halfon, O., Magistretti, P., & Cardinaux, J. (2015). Complex regulation of CREB-binding protein by homeodomain-interacting protein kinase 2. Cellular Signalling. Elsevier. https://doi.org/10.1016/j.cellsig.2015.08.001

[Submitted Version] View | Files available | DOI | PubMed | Europe PMC

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

Chatterjee, K., & Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2015, pp. 1018–1029). San Diego, CA, United States: SIAM. https://doi.org/10.1137/1.9781611973730.69

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

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

Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., & Janovjak, H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis. Wiley. https://doi.org/10.1002/elps.201400451

View | DOI | PubMed | Europe PMC

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

Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., & Tarrach, T. (2015). From non-preemptive to preemptive scheduling using synchronization synthesis. Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21668-3_11

[Submitted Version] View | Files available | DOI

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

Attali, D., Bauer, U., Devillers, O., Glisse, M., & Lieutier, A. (2015). Homological reconstruction and simplification in R3. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2014.08.010

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

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

Fulek, R., Kynčl, J., Malinovič, I., & Pálvölgyi, D. (2015). Clustered planarity testing revisited. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/5002

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

2015 | Draft | Preprint | IST-REx-ID: 8183 |

Avvakumov, S., Mabillard, I., Skopenkov, A., & Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv. https://doi.org/10.48550/arXiv.1511.03501

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

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

Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_47

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

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

Gazi, P., & Tessaro, S. (2015). Secret-key cryptography from ideal primitives: A systematic verview. In 2015 IEEE Information Theory Workshop. Jerusalem, Israel: IEEE. https://doi.org/10.1109/ITW.2015.7133163

View | DOI

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

Kolmogorov, V. (2015). A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2014.2363465

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

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

Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. In 42nd International Colloquium (Vol. 9135, pp. 121–133). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47666-6_10

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

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

Chatterjee, K., Komárková, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.32

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

2015 | Published | Technical Report | IST-REx-ID: 5435 |

Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v2-1