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.

10779 Publications

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

Hühner, Jens, Álvaro Inglés Prieto, Christian Neusüß, Michael Lämmerhofer, and Harald L Janovjak. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.” Electrophoresis. Wiley, 2015. https://doi.org/10.1002/elps.201400451.

View | DOI | PubMed | Europe PMC

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

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Lecture Notes in Computer Science. Springer, 2015. 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, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications. Elsevier, 2015. 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, Radoslav, Jan Kynčl, Igor Malinovič, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2015. https://doi.org/10.37236/5002.

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

2015 | Submitted | Preprint | IST-REx-ID: 7779 |

Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the Linear Response of Disordered Solids.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1510.08820.

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

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

Avvakumov, Sergey, Isaac Mabillard, A. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, n.d. 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, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.” Lecture Notes in Computer Science. Springer, 2015. 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, Peter, and Stefano Tessaro. “Secret-Key Cryptography from Ideal Primitives: A Systematic Verview.” In 2015 IEEE Information Theory Workshop. IEEE, 2015. https://doi.org/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. IEEE, 2015. 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, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” In 42nd International Colloquium, 9135:121–33. Springer Nature, 2015. 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, Krishnendu, Zuzana Komárková, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” LICS. IEEE, 2015. 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, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v2-1.