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, Krisztián, et al. “Complex Regulation of CREB-Binding Protein by Homeodomain-Interacting Protein Kinase 2.” Cellular Signalling, vol. 27, no. 11, Elsevier, 2015, pp. 2252–60, doi: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, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under Finite-Memory Strategies for Concurrent Mean-Payoff Games.” Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2015, no. 1, SIAM, 2015, pp. 1018–29, doi:10.1137/1.9781611973730.69.

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

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

Hühner, Jens, et al. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.” Electrophoresis, vol. 36, no. 4, Wiley, 2015, pp. 518–25, doi:10.1002/elps.201400451.

View | DOI | PubMed | Europe PMC

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

Cerny, Pavol, et al. From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis. Vol. 9207, Springer, 2015, pp. 180–97, doi:10.1007/978-3-319-21668-3_11.

[Submitted Version] View | Files available | DOI

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

Attali, Dominique, et al. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications, vol. 48, no. 8, Elsevier, 2015, pp. 606–21, doi: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, Radoslav, et al. “Clustered Planarity Testing Revisited.” Electronic Journal of Combinatorics, vol. 22, no. 4, P4.24, Electronic Journal of Combinatorics, 2015, doi:10.37236/5002.

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

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

Avvakumov, Sergey, et al. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, 1511.03501, doi:10.48550/arXiv.1511.03501.

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

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

Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi: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, Peter, and Stefano Tessaro. “Secret-Key Cryptography from Ideal Primitives: A Systematic Verview.” 2015 IEEE Information Theory Workshop, 7133163, IEEE, 2015, doi:10.1109/ITW.2015.7133163.

View | DOI

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

Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, IEEE, 2015, pp. 919–30, doi:10.1109/TPAMI.2014.2363465.

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

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

Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” 42nd International Colloquium, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, doi: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, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IEEE, 2015, pp. 244–56, doi:10.1109/LICS.2015.32.

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

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

Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v2-1.