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.

2033 Publications


2013 | Published | Conference Paper | IST-REx-ID: 2843
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. In: 17th IAPR International Conference on Discrete Geometry for Computer Imagery. Vol 7749. Springer; 2013:XV-XIX. doi:10.1007/978-3-642-37067-0
View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 2844
Rosquete M, von Wangenheim D, Marhavý P, et al. An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology. 2013;23(9):817-822. doi:10.1016/j.cub.2013.03.064
View | DOI | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. Structural Counter Abstraction. Piterman N, Smolka S, eds. 2013;7795:62-77. doi:10.1007/978-3-642-36742-7_5
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Published | Conference (Editor) | IST-REx-ID: 2885
Kucera A, Henzinger TA, Nesetril J, Vojnar T, Antos D, eds. Mathematical and Engineering Methods in Computer Science. Vol 7721. Springer; 2013:1-228. doi:10.1007/978-3-642-36046-6
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2886 | OA
Chmelik M, Řehák V. Controllable-choice message sequence graphs. 2013;7721:118-130. doi:10.1007/978-3-642-36046-6_12
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 2926
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology. 2013;23(1):76-82. doi:10.1016/j.cub.2012.11.034
View | Files available | DOI | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2940 | OA
Krenn S, Pietrzak KZ, Wadia A. A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In: Sahai A, ed. Vol 7785. Springer; 2013:23-39. doi:10.1007/978-3-642-36594-2_2
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2948 | OA
Tommasi T, Quadrianto N, Caputo B, Lampert C. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 2013;7724:1-15. doi:10.1007/978-3-642-37331-2_1
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2973 | OA
Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. Bringing Zero-Knowledge Proofs of Knowledge to Practice. In: Christianson B, Malcolm J, Matyas V, Roe M, eds. Vol 7028. Springer; 2013:51-62. doi:10.1007/978-3-642-36213-2_9
View | DOI | Download (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed synthesis for LTL fragments. In: 13th International Conference on Formal Methods in Computer-Aided Design. IEEE; 2013:18-25. doi:10.1109/FMCAD.2013.6679386
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
[Submitted Version] View | Files available | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 18351
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. Group-Valued Regularization for Motion Segmentation of Articulated Shapes. In: Breuß M, Bruckstein A, Maragos P, eds. Innovations for Shape Analysis. MATHVISUAL. Berlin, Heidelberg: Springer Nature; 2013:263-281. doi:10.1007/978-3-642-34141-0_12
View | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 18352
Litman R, Bronstein AM, Bronstein MM. Stable Semi-local Features for Non-rigid Shapes. In: Breuß M, Bruckstein A, Maragos P, eds. Innovations for Shape Analysis. MATHVISUAL. Berlin, Heidelberg: Springer Nature; 2013:161-189. doi:10.1007/978-3-642-34141-0_8
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 19995 | OA
Chatterjee K, Ibsen-Jensen R. Strategy complexity of finite-horizon Markov decision processes and simple stochastic games. In: Mathematical and Engineering Methods in Computer Science. Vol 7721. Springer Nature; 2013:106-117. doi: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 J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 10897
Edelsbrunner H. Persistent homology in image processing. In: Graph-Based Representations in Pattern Recognition. Vol 7877. LNCS. Berlin, Heidelberg: Springer Nature; 2013:182-183. doi:10.1007/978-3-642-38221-5_19
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 10902
Chatterjee K, Chaubal S, Rubin S. How to travel between languages. In: 7th International Conference on Language and Automata Theory and Applications. Vol 7810. LNCS. Berlin, Heidelberg: Springer Nature; 2013:214-225. doi:10.1007/978-3-642-37064-9_20
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2237 | OA
Blanc R, Gupta A, Kovács L, Kragl B. Tree interpolation in Vampire. 2013;8312:173-181. doi:10.1007/978-3-642-45221-5_13
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2238
Chatterjee K, Forejt V, Wojtczak D. Multi-objective discounted reward verification in graphs and MDPs. 2013;8312:228-242. doi:10.1007/978-3-642-45221-5_17
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. 2013;8242:472-483. doi:10.1007/978-3-319-03841-4_41
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed