Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
LibreCat: https://research-explorer.ista.ac.at/record/2293
DOI: 10.1109/ICCV.2013.107

Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp. 115–29, doi:10.1109/CSF.2013.15.
LibreCat: https://research-explorer.ista.ac.at/record/2291
DOI: 10.1109/CSF.2013.15

Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
LibreCat: https://research-explorer.ista.ac.at/record/2288
DOI: 10.1007/978-3-642-40708-6

Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures. Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
LibreCat: https://research-explorer.ista.ac.at/record/2298
DOI: 10.1007/978-3-642-38856-9_10

Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.”10.1007/s10009-011-0207-9__International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
LibreCat: https://research-explorer.ista.ac.at/record/2299
DOI: 10.1007/s10009-011-0207-9

Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.”10.1007/s11537-013-1264-5__Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232, doi:10.1007/s11537-013-1264-5.
LibreCat: https://research-explorer.ista.ac.at/record/2297
DOI: 10.1007/s11537-013-1264-5
arXiv: 0908.3686

Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
LibreCat: https://research-explorer.ista.ac.at/record/2306
DOI: 10.1515/9783110278736

Desai, Ankush, et al. “P: Safe Asynchronous Event-Driven Programming.”10.1145/2491956.2462184__Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–31, doi:10.1145/2491956.2462184.
LibreCat: https://research-explorer.ista.ac.at/record/2301
DOI: 10.1145/2491956.2462184

Giuliani, Alessandro, et al. “Realization of Stripes and Slabs in Two and Three Dimensions.”10.1103/PhysRevB.88.064401__Physical Review B, vol. 88, no. 6, 064401, American Physical Society, 2013, doi:10.1103/PhysRevB.88.064401.
LibreCat: https://research-explorer.ista.ac.at/record/2300
DOI: 10.1103/PhysRevB.88.064401
arXiv: 1305.5323

Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.”10.1007/s11515-013-1279-6__Frontiers in Biology, vol. 8, no. 6, Springer, 2013, pp. 557–68, doi:10.1007/s11515-013-1279-6.
LibreCat: https://research-explorer.ista.ac.at/record/2303
DOI: 10.1007/s11515-013-1279-6

Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.”10.1016/j.endm.2013.07.008__Electronic Notes in Discrete Mathematics, vol. 43, Elsevier, 2013, pp. 43–50, doi:10.1016/j.endm.2013.07.008.
LibreCat: https://research-explorer.ista.ac.at/record/2304
DOI: 10.1016/j.endm.2013.07.008

Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
LibreCat: https://research-explorer.ista.ac.at/record/2328
DOI: 10.1007/978-3-642-40184-8_18

Kupczok, Anne, and Jonathan P. Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .”10.1186/1471-2148-13-54__BMC Evolutionary Biology, vol. 13, no. 1, BioMed Central, 2013, pp. 54–54, doi:10.1186/1471-2148-13-54.
LibreCat: https://research-explorer.ista.ac.at/record/2412
DOI: 10.1186/1471-2148-13-54

Valderrama, Mario, et al. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .”10.1002/9783527671632.ch08__Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson, Wiley-VCH, 2013, doi:10.1002/9783527671632.ch08.
LibreCat: https://research-explorer.ista.ac.at/record/2413
DOI: 10.1002/9783527671632.ch08

Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel Phage MG- Infecting Bacillus Weihenstephanensis.”10.1128/genomeA.00216-13__Genome Announcements, vol. 1, no. 3, American Society for Microbiology, 2013, doi:10.1128/genomeA.00216-13.
LibreCat: https://research-explorer.ista.ac.at/record/2410
DOI: 10.1128/genomeA.00216-13

Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044, Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
LibreCat: https://research-explorer.ista.ac.at/record/2447
DOI: 10.1007/978-3-642-39799-8_54

Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.”10.1111/nph.12437__New Phytologist, vol. 200, no. 4, Wiley, 2013, pp. 1034–48, doi:10.1111/nph.12437.
LibreCat: https://research-explorer.ista.ac.at/record/2443
DOI: 10.1111/nph.12437

Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
LibreCat: https://research-explorer.ista.ac.at/record/2446
DOI: 10.1007/978-3-642-39799-8_37
arXiv: 1304.5281

Chatterjee, Krishnendu, and Jakub aCki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
LibreCat: https://research-explorer.ista.ac.at/record/2444
DOI: 10.1007/978-3-642-39799-8_36
arXiv: 1304.0084

Nodzyski, Tomasz, et al. “Retromer Subunits VPA and VP Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.”10.1093/mp/sst044__Molecular Plant, vol. 6, no. 6, Cell Press, 2013, pp. 1849–62, doi:10.1093/mp/sst044.
LibreCat: https://research-explorer.ista.ac.at/record/2449
DOI: 10.1093/mp/sst044