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


2013 | Published | Conference Paper | IST-REx-ID: 11856 | OA
Henzinger, Monika, Sebastian Krinninger, and Danupon Nanongkai. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” In 54th Annual Symposium on Foundations of Computer Science, 538–47. Institute of Electrical and Electronics Engineers, 2013. https://doi.org/10.1109/focs.2013.64.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 19995 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games.” In Mathematical and Engineering Methods in Computer Science, 7721:106–17. Springer Nature, 2013. https://doi.org/10.1007/978-3-642-36046-6_11.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 2000 | OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Book Chapter | IST-REx-ID: 18351
Rosman, Guy, Michael M. Bronstein, Alex M. Bronstein, Alon Wolf, and Ron Kimmel. “Group-Valued Regularization for Motion Segmentation of Articulated Shapes.” In Innovations for Shape Analysis, edited by Michael Breuß, Alfred Bruckstein, and Petros Maragos, 263–81. MATHVISUAL. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-34141-0_12.
View | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 18352
Litman, Roee, Alex M. Bronstein, and Michael M. Bronstein. “Stable Semi-Local Features for Non-Rigid Shapes.” In Innovations for Shape Analysis, edited by Michael Breuß, Alfred Bruckstein, and Petros Maragos, 161–89. MATHVISUAL. Berlin, Heidelberg: Springer Nature, 2013. https://doi.org/10.1007/978-3-642-34141-0_8.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 17684 | OA
Prieto, Joaquin, Raul Jimenez, and Zoltán Haiman. “Gas Infall into Atomic Cooling Haloes: On the Formation of Protogalactic Discs and Supermassive Black Holes at z > 10.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2013. https://doi.org/10.1093/mnras/stt1730.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 2260 | OA
Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-38980-1_33.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | Cryptology ePrint
 

2012 | Published | Journal Article | IST-REx-ID: 8467
Huber, Matthias, Oliver With, Paul Schanda, René Verel, Matthias Ernst, and Beat H. Meier. “A Supplementary Coil for 2H Decoupling with Commercial HCN MAS Probes.” Journal of Magnetic Resonance. Elsevier, 2012. https://doi.org/10.1016/j.jmr.2011.10.010.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 8504
Kaloshin, Vadim, and O. S. KOZLOVSKI. “A Cr Unimodal Map with an Arbitrary Fast Growth of the Number of Periodic Points.” Ergodic Theory and Dynamical Systems. Cambridge University Press, 2012. https://doi.org/10.1017/s0143385710000817.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 763
Alistarh, Dan-Adrian, Hagit Attiya, Rachid Guerraoui, and Corentin Travers. “Early Deciding Synchronous Renaming in O(Log f) Rounds or Less,” 7355 LNCS:195–206. Springer, 2012. https://doi.org/10.1007/978-3-642-31104-8_17.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 808 | OA
Vinzenz, Marlene, Maria Nemethova, Florian KM Schur, Jan Mueller, Akihiro Narita, Edit Urban, Christoph Winkler, et al. “Actin Branching in the Initiation and Maintenance of Lamellipodia.” Journal of Cell Science. Company of Biologists, 2012. https://doi.org/10.1242/jcs.107623.
View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 7074
Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 966 | OA
Bieri, Samuel, Maksym Serbyn, Todadri Senthil, and Patrick Lee. “Paired Chiral Spin Liquid with a Fermi Surface in S=1 Model on the Triangular Lattice.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2012. https://doi.org/10.1103/PhysRevB.86.224409.
View | DOI | Download (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Tragust, Simon, Barbara Mitteregger, Vanessa Barone, Matthias Konrad, Line V Ugelvig, and Sylvia Cremer. “Data from: Ants Disinfect Fungus-Exposed Brood by Oral Uptake and Spread of Their Poison.” Dryad, 2012. https://doi.org/10.5061/dryad.61649.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 387 | OA
Alpichshev, Zhanybek, Rudro Biswas, Alexander Balatsky, James Analytis, Jiunhaw Chu, Ian Fisher, and Aharon Kapitulnik. “STM Imaging of Impurity Resonances on Bi 2Se 3.” Physical Review Letters. American Physical Society, 2012. https://doi.org/10.1103/PhysRevLett.108.206402.
View | DOI | Download None (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience. Frontiers Research Foundation, 2012. https://doi.org/10.3389/fnins.2012.00055.
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. “Faster Algorithms for Alternating Refinement Relations,” 16:167–82. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.CSL.2012.167.
[Published Version] View | Files available | DOI
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0002.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed