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.

2068 Publications

2012 | Published | Conference Paper | IST-REx-ID: 3127 |

The most persistent soft-clique in a set of sampled graphs
N. Quadrianto, C. Lampert, C. Chen, in:, Proceedings of the 29th International Conference on Machine Learning, ML Research Press, 2012, pp. 211–218.

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

2012 | Published | Conference Paper | IST-REx-ID: 3129 |

Annotating simplices with a homology basis and its applications
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.

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

2012 | Published | Conference Paper | IST-REx-ID: 3135 |

Efficient controller synthesis for consumption games with multiple resource types
B. Brázdil, K. Chatterjee, A. Kučera, P. Novotný, in:, Springer, 2012, pp. 23–38.

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

2012 | Published | Conference Paper | IST-REx-ID: 3136

Delayed continuous time Markov chains for genetic regulatory circuits
C.C. Guet, A. Gupta, T.A. Henzinger, M. Mateescu, A. Sezgin, in:, Springer, 2012, pp. 294–309.

View | DOI

2012 | Published | Conference Paper | IST-REx-ID: 3155 |

Synchronous interface theories and time triggered scheduling
B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic, in:, Springer, 2012, pp. 203–218.

[Submitted Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 3160

Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo
P. Pantazis, M.T. Bollenbach, Cell Cycle 11 (2012) 2055–2058.

View | DOI | WoS

2012 | Published | Conference Paper | IST-REx-ID: 3162 |

Parametric identification of temporal properties
E. Asarin, A. Donzé, O. Maler, D. Nickovic, in:, Springer, 2012, pp. 147–160.

[Submitted Version] View | Files available | DOI

An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M. Henzinger, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2012, pp. 1386–1399.

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

2012 | Published | Journal Article | IST-REx-ID: 3248 |

Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components
C. Lampert, J. Peters, Journal of Real-Time Image Processing 7 (2012) 31–41.

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

2012 | Published | Conference Paper | IST-REx-ID: 3250

Cryptography from learning parity with noise
K.Z. Pietrzak, in:, Springer, 2012, pp. 99–114.

View | DOI

2012 | Published | Conference Paper | IST-REx-ID: 3251 |

Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.

[Submitted Version] View | Files available | DOI

2012 | Published | Conference Paper | IST-REx-ID: 3252 |

Synthesizing protocols for digital contract signing
K. Chatterjee, V. Raman, in:, Springer, 2012, pp. 152–168.

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

2012 | Published | Conference Paper | IST-REx-ID: 3253

Abstract domains for automated reasoning about list manipulating programs with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Springer, 2012, pp. 1–22.

View | DOI

2012 | Published | Conference Paper | IST-REx-ID: 3255 |

Games and Markov decision processes with mean payoff parity and energy parity objectives
K. Chatterjee, L. Doyen, in:, Springer, 2012, pp. 37–46.

[Submitted Version] View | Files available | DOI

2012 | Published | Conference Paper | IST-REx-ID: 3279

Hardness preserving constructions of pseudorandom functions
A. Jain, K.Z. Pietrzak, A. Tentes, in:, Springer, 2012, pp. 369–382.

View | DOI | Download None (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 3280 |

Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 3281

Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.

View | DOI | Download None (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 3282 |

Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.

[Submitted Version] View | Files available | DOI

2012 | Published | Conference Paper | IST-REx-ID: 3341 |

Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.

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

2012 | Published | Journal Article | IST-REx-ID: 2262

Extensions of MADM (Mosaic Analysis with Double Markers) in Mice
B. Tasic, K. Miyamichi, S. Hippenmeyer, V. Dani, H. Zeng, W. Joo, H. Zong, Y. Chen Tsai, L. Luo, PLoS One 7 (2012).

View | DOI

ISTA Research Explorer

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

2068 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).

2068 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options