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 | OA
Quadrianto, Novi, Christoph Lampert, and Chao Chen. “The Most Persistent Soft-Clique in a Set of Sampled Graphs.” In Proceedings of the 29th International Conference on Machine Learning, 211–18. ML Research Press, 2012.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev, Oleksiy, Sergio Cabello, Chao Chen, Tamal Dey, and Yusu Wang. “Annotating Simplices with a Homology Basis and Its Applications,” 7357:189–200. Springer, 2012. https://doi.org/10.1007/978-3-642-31155-0_17.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 3135 | OA
Brázdil, Brázdil, Krishnendu Chatterjee, Antonín Kučera, and Petr Novotný. “Efficient Controller Synthesis for Consumption Games with Multiple Resource Types,” 7358:23–38. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_8.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 3136
Guet, Calin C, Ashutosh Gupta, Thomas A Henzinger, Maria Mateescu, and Ali Sezgin. “Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits,” 7358:294–309. Springer, 2012. https://doi.org/10.1007/978-3-642-31424-7_24.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,” 7273:203–18. Springer, 2012. https://doi.org/10.1007/978-3-642-30793-5_13.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 3160
Pantazis, Periklis, and Mark Tobias Bollenbach. “Transcription Factor Kinetics and the Emerging Asymmetry in the Early Mammalian Embryo.” Cell Cycle. Taylor and Francis, 2012. https://doi.org/10.4161/cc.20118.
View | DOI | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, Eugene, Alexandre Donzé, Oded Maler, and Dejan Nickovic. “Parametric Identification of Temporal Properties,” 7186:147–60. Springer, 2012. https://doi.org/10.1007/978-3-642-29860-8_12.
[Submitted Version] View | Files available | DOI
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 3165 | OA
Chatterjee, Krishnendu, and Monika Henzinger. “An O(N2) Time Algorithm for Alternating Büchi Games.” In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, 1386–99. SIAM, 2012. https://doi.org/10.1137/1.9781611973099.109.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 3248 | OA
Lampert, Christoph, and Jan Peters. “Real-Time Detection of Colored Objects in Multiple Camera Streams with off-the-Shelf Hardware Components.” Journal of Real-Time Image Processing. Springer, 2012. https://doi.org/10.1007/s11554-010-0168-3.
[Submitted Version] View | Files available | DOI | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 3250
Pietrzak, Krzysztof Z. “Cryptography from Learning Parity with Noise,” 7147:99–114. Springer, 2012. https://doi.org/10.1007/978-3-642-27660-6_9.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3251 | OA
Zufferey, Damien, Thomas Wies, and Thomas A Henzinger. “Ideal Abstractions for Well Structured Transition Systems,” 7148:445–60. Springer, 2012. https://doi.org/10.1007/978-3-642-27940-9_29.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3252 | OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Synthesizing Protocols for Digital Contract Signing,” 7148:152–68. Springer, 2012. https://doi.org/10.1007/978-3-642-27940-9_11.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 3253
Bouajjani, Ahmed, Cezara Dragoi, Constantin Enea, and Mihaela Sighireanu. “Abstract Domains for Automated Reasoning about List Manipulating Programs with Infinite Data,” 7148:1–22. Springer, 2012. https://doi.org/10.1007/978-3-642-27940-9_1.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3255 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Games and Markov Decision Processes with Mean Payoff Parity and Energy Parity Objectives,” 7119:37–46. Springer, 2012. https://doi.org/10.1007/978-3-642-25929-6_3.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3279
Jain, Abhishek, Krzysztof Z Pietrzak, and Aris Tentes. “Hardness Preserving Constructions of Pseudorandom Functions,” 7194:369–82. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_21.
View | DOI | Download None (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 3280 | OA
Pietrzak, Krzysztof Z. “Subspace LWE,” 7194:548–63. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_31.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 3281
Pietrzak, Krzysztof Z, Alon Rosen, and Gil Segev. “Lossy Functions Do Not Amplify Well,” 7194:458–75. Springer, 2012. https://doi.org/10.1007/978-3-642-28914-9_26.
View | DOI | Download None (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 3282 | OA
Dodis, Yevgeniy, Krzysztof Z Pietrzak, Eike Kiltz, and Daniel Wichs. “Message Authentication, Revisited,” 7237:355–74. Springer, 2012. https://doi.org/10.1007/978-3-642-29011-4_22.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3341 | OA
Chatterjee, Krishnendu. “Robustness of Structurally Equivalent Concurrent Parity Games,” 7213:270–85. Springer, 2012. https://doi.org/10.1007/978-3-642-28729-9_18.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 2262
Tasic, Bosiljka, Kazunari Miyamichi, Simon Hippenmeyer, Vardhan Dani, H. Zeng, William Joo, Hui Zong, Yanru Chen Tsai, and Liqun Luo. “Extensions of MADM (Mosaic Analysis with Double Markers) in Mice .” PLoS One. Public Library of Science, 2012. https://doi.org/10.1371/journal.pone.0033332.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed