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.
11357 Publications
2009 |
Published |
Conference Paper |
IST-REx-ID: 4375
Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference.” In 21st International Conference on Computer Aided Verification, 5643:493–508. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_37.
View
| DOI
2009 |
Published |
Journal Article |
IST-REx-ID: 4376
Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies.” ACM SIGPLAN Notices. ACM, 2009. https://doi.org/10.1145/1639949.164009.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4377
Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It.” In Second World Congress on Formal Methods, 5850:338–53. Springer, 2009. https://doi.org/10.1007/978-3-642-05089-3_22.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4383 |
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4385
Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories.” In Proceedings of the 28th ACM Symposium on Principles of Distributed Computing, 7–16. ACM, 2009. https://doi.org/10.1145/1582716.1582725.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4391
Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality.” In 21st International Conference on Computer Aided Verification, 5643:173–87. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_16.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4403 |
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4453 |
Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4535
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,” 5688:173–88. Springer, 2009. https://doi.org/10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4540
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages,” 199–208. IEEE, 2009. https://doi.org/10.1109/LICS.2009.16.
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4542 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4543
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,” 5734:34–54. Springer, 2009. https://doi.org/10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4544 |
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 |
Published |
Conference Paper |
IST-REx-ID: 4545 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |
Published |
Conference Paper |
IST-REx-ID: 4569 |
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |
Published |
Conference Paper |
IST-REx-ID: 4580 |
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2008 |
Published |
Journal Article |
IST-REx-ID: 11878
Baykan, Eda, Monika Henzinger, and Ingmar Weber. “Web Page Language Identification Based on URLs.” Proceedings of the VLDB Endowment. Association for Computing Machinery, 2008. https://doi.org/10.14778/1453856.1453880.
View
| DOI
2008 |
Published |
Book Review |
IST-REx-ID: 2674
Fukazawa, Yugo, Etsuko Tarusawa, Ko Matsui, and Ryuichi Shigemoto. “ Ultrastructural Insights of Postsynaptic Glutamate Receptor Organization .” Tanpakushitsu Kakusan Koso Protein Nucleic Acid Enzyme. Kyoritsu Shuppan, 2008.
View
2008 |
Published |
Journal Article |
IST-REx-ID: 2675
Endo, Toshiaki, Etsuko Tarusawa, Takuya Notomi, Katsuyuki Kaneda, Masumi Hirabayashi, Ryuichi Shigemoto, and Tadashi Isa. “Dendritic Ih Ensures High-Fidelity Dendritic Spike Responses of Motion-Sensitive Neurons in Rat Superior Colliculus.” Journal of Neurophysiology. American Physiological Society, 2008. https://doi.org/10.1152/jn.00556.2007.
View
| DOI
2008 |
Published |
Journal Article |
IST-REx-ID: 2676
Kawakami, Ryosuke, Alice Dobi, Ryuichi Shigemoto, and Isao Ito. “Right Isomerism of the Brain in Inversus Viscerum Mutant Mice.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0001945.
View
| DOI