Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”https://doi.org/10.1109/FMCAD.2013.6679394__In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679394 .

Boker, Udi, Denis Kuperberg, Orna Kupferman, and Micha Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.”https://doi.org/10.1007/978-3-642-39212-2_11__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_11 .

Uhler, Caroline, Garvesh Raskutti, Peter Bühlmann, and Bin Yu. “Geometry of the Faithfulness Assumption in Causal Inference.”https://doi.org/10.1214/12-AOS1080__The Annals of Statistics. Institute of Mathematical Statistics, 2013.https://doi.org/10.1214/12-AOS1080 .

Uhler, Caroline, Aleksandra Slavkovic, and Stephen Fienberg. “Privacy-Preserving Data Sharing for Genome-Wide Association Studies.”https://doi.org/10.29012/jpc.v5i1.629__Journal of Privacy and Confidentiality . Carnegie Mellon University, 2013.https://doi.org/10.29012/jpc.v5i1.629 .

Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.”https://doi.org/10.1145/2429069.2429109__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013.https://doi.org/10.1145/2429069.2429109 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.”https://doi.org/10.1145/2429069.2429085__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013.https://doi.org/10.1145/2429069.2429085 .

Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,”https://doi.org/10.1109/ISVD.2013.11__37–46. IEEE, 2013.https://doi.org/10.1109/ISVD.2013.11 .

Biedl, Therese, Martin Held, and Stefan Huber. “Reconstructing Polygons from Embedded Straight Skeletons.” In 29th European Workshop on Computational Geometry, 95–98. TU Braunschweig, 2013.

Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.”https://doi.org/10.1007/978-3-642-45221-5_13__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_13 .

Chatterjee, Krishnendu, Vojtbch Forejt, and Dominik Wojtczak. “Multi-Objective Discounted Reward Verification in Graphs and MDPs.”https://doi.org/10.1007/978-3-642-45221-5_17__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_17 .

Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.”https://doi.org/10.4230/LIPIcs.CSL.2013.563__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.563 .

Matousek, Jií, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.”https://doi.org/10.1007/978-3-319-03841-4_41__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-319-03841-4_41 .

Alwen, Joel F, Stephan Krenn, Krzysztof Z Pietrzak, and Daniel Wichs. “Learning with Rounding, Revisited: New Reduction Properties and Applications.”https://doi.org/10.1007/978-3-642-40041-4_4__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_4 .

Kiltz, Eike, Krzysztof Z Pietrzak, and Mario Szegedy. “Digital Signatures with Minimal Overhead from Indifferentiable Random Invertible Functions.”https://doi.org/10.1007/978-3-642-40041-4_31__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40041-4_31 .

Danowski, Patrick, Doron Goldfarb, Verena Schaffner, and Wolfram Seidler. “Linked (Open) Data - Bibliographische Daten Im Semantic Web.” VÖB Mitteilungen. Verein Österreichischer Bibliothekarinnen und Bibliothekare, 2013.

Bernhard, David, Georg Fuchsbauer, and Essam Ghadafi. “Efficient Signatures of Knowledge and DAA in the Standard Model.”https://doi.org/10.1007/978-3-642-38980-1_33__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-38980-1_33 .

Liang, Huixuan, Guanxi Xiao, Haifeng Yin, Simon Hippenmeyer, Jonathan Horowitz, and Troy Ghashghaei. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.”https://doi.org/10.1242/dev.085621__Development. Company of Biologists, 2013.https://doi.org/10.1242/dev.085621 .

Bachrach, Yoram, Pushmeet Kohli, Vladimir Kolmogorov, and Morteza Zadimoghaddam. “Optimal Coalition Structures in Cooperative Graph Games,” 81–87. AAAI Press, 2013.

Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.

Pérez Gómez, Raquel, Jana Slovakova, Noemí Rives Quinto, Alena Krejdí, and Ana Carmena. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.”https://doi.org/10.1242/jcs.125617__Journal of Cell Science. Company of Biologists, 2013.https://doi.org/10.1242/jcs.125617 .