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.
214 Publications
2014 | Published | Conference Paper | IST-REx-ID: 11790
Cigler, Luděk, et al. “Limiting Price Discrimination When Selling Products with Positive Network Externalities.” 10th International Conference of Web and Internet Economics, vol. 8877, Springer Nature, 2014, pp. 44–57, doi:10.1007/978-3-319-13129-0_4.
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 5810
Biswas, Ranita, and Partha Bhowmick. On Finding Spherical Geodesic Paths and Circles in ℤ3. Vol. 8668, Springer, 2014, pp. 396–409, doi:10.1007/978-3-319-09955-2_33.
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 10884 | 
Aminof, Benjamin, et al. “Parameterized Model Checking of Token-Passing Systems.” Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 262–81, doi:10.1007/978-3-642-54013-4_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10793 |
Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.” International Symposium on Graph Drawing, vol. 8871, Springer Nature, 2014, pp. 428–36, doi:10.1007/978-3-662-45803-7_36.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10885 |
Chatterjee, Krishnendu, et al. “Doomsday Equilibria for Omega-Regular Games.” VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 78–97, doi:10.1007/978-3-642-54013-4_5.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 1927 |
Fuchsbauer, Georg, et al. “Adaptive Security of Constrained PRFs.” 20th International Conference on the Theory and Application of Cryptology and Information Security, vol. 8874, Springer Nature, 2014, pp. 82–101, doi:10.1007/978-3-662-45608-8_5.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 10892
Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” 25th International Symposium, ISAAC 2014, vol. 8889, Springer Nature, 2014, pp. 117–27, doi:10.1007/978-3-319-13075-0_10.
View
| Files available
| DOI
| WoS
2014 | Published | Conference Paper | IST-REx-ID: 10894
Bauer, Ulrich, et al. “PHAT – Persistent Homology Algorithms Toolbox.” ICMS 2014: International Congress on Mathematical Software, vol. 8592, Springer Berlin Heidelberg, 2014, pp. 137–43, doi:10.1007/978-3-662-44199-2_24.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10897
Edelsbrunner, Herbert. “Persistent Homology in Image Processing.” Graph-Based Representations in Pattern Recognition, vol. 7877, Springer Nature, 2013, pp. 182–83, doi:10.1007/978-3-642-38221-5_19.
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10902
Chatterjee, Krishnendu, et al. “How to Travel between Languages.” 7th International Conference on Language and Automata Theory and Applications, vol. 7810, Springer Nature, 2013, pp. 214–25, doi:10.1007/978-3-642-37064-9_20.
View
| DOI
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 19995 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games.” Mathematical and Engineering Methods in Computer Science, vol. 7721, Springer Nature, 2013, pp. 106–17, doi:10.1007/978-3-642-36046-6_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani, Ahmed, et al. “Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.” Automated Technology for Verification and Analysis, vol. 7561, Springer, 2012, pp. 167–82, doi:10.1007/978-3-642-33386-6_14.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi, Riccardo, et al. “On Multiple Keyword Sponsored Search Auctions with Budgets.” 39th International Colloquium on Automata, Languages, and Programming, vol. 7392, Springer Nature, 2012, pp. 1–12, doi:10.1007/978-3-642-31585-5_1.
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18344
Hooda, Amit, et al. “Shape Palindromes: Analysis of Intrinsic Symmetries in 2D Articulated Shapes.” Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 665–676, doi:10.1007/978-3-642-24785-9_56.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18345
Aflalo, Yonathan, et al. “Deformable Shape Retrieval by Learning Diffusion Kernels.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 689–700, doi:10.1007/978-3-642-24785-9_58.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18342
Pokrass, Jonathan, et al. “A Correspondence-Less Approach to Matching of Deformable Shapes.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 592–603, doi:10.1007/978-3-642-24785-9_50.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18346
Rosman, Guy, et al. “Group-Valued Regularization Framework for Motion Segmentation of Dynamic Non-Rigid Shapes.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 725–36, doi:10.1007/978-3-642-24785-9_61.
View
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 18341
Wang, Chaohui, et al. “Discrete Minimum Distortion Correspondence Problems for Non-Rigid Shape Matching.” 3rd International Conference on Scale Space and Variational Methods in Computer Vision, vol. 6667, Springer Nature, 2012, pp. 580–91, doi:10.1007/978-3-642-24785-9_49.
View
| DOI