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.

6362 Publications


2013 | Published | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee K, Fijalkow N. Infinite-state games with finitary conditions. In: 22nd EACSL Annual Conference on Computer Science Logic. Vol 23. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2013:181-196. doi:10.4230/LIPIcs.CSL.2013.181
[Published Version] View | Files available | DOI
 

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: 1385 | OA
Hofferek G, Gupta A, Könighofer B, Jiang J, Bloem R. Synthesizing multiple boolean functions using interpolation on a single proof. In: 2013 Formal Methods in Computer-Aided Design. IEEE; 2013:77-84. doi:10.1109/FMCAD.2013.6679394
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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 | 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 | Journal Article | IST-REx-ID: 2009 | OA
Uhler C, Slavkovic A, Fienberg S. Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality . 2013;5(1):137-166. doi:10.29012/jpc.v5i1.629
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 2010 | OA
Uhler C, Raskutti G, Bühlmann P, Yu B. Geometry of the faithfulness assumption in causal inference. The Annals of Statistics. 2013;41(2):436-463. doi:10.1214/12-AOS1080
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 10895 | OA
Vanneste S, Friml J. Calcium: The missing link in auxin action. Plants. 2013;2(4):650-675. doi:10.3390/plants2040650
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

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: 10898
Haas A, Lippautz M, Henzinger TA, et al. Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. In: Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. ACM; 2013. doi:10.1145/2482767.2482789
View | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 10899
Barton NH. Differentiation. In: Encyclopedia of Biodiversity. 2nd ed. Elsevier; 2013:508-515. doi:10.1016/b978-0-12-384719-5.00031-9
View | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 10900
Weber M, Sixt MK. Live Cell Imaging of Chemotactic Dendritic Cell Migration in Explanted Mouse Ear Preparations. In: Cardona A, Ubogu E, eds. Chemokines. Vol 1013. MIMB. Totowa, NJ: Humana Press; 2013:215-226. doi:10.1007/978-1-62703-426-5_14
View | DOI | PubMed | Europe PMC
 

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 | Journal Article | IST-REx-ID: 10396 | OA
Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 2013;58(SI-1-Track-G). doi:10.1515/bmt-2013-4181
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. Quantitative relaxation of concurrent data structures. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:317-328. doi:10.1145/2429069.2429109
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2182
Cerny P, Henzinger TA, Radhakrishna A. Quantitative abstraction refinement. In: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language. ACM; 2013:115-128. doi:10.1145/2429069.2429085
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2209
Biedl T, Held M, Huber S. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. In: IEEE; 2013:37-46. doi:10.1109/ISVD.2013.11
View | DOI | WoS
 

2013 | Published | Conference Paper | IST-REx-ID: 2210 | OA
Biedl T, Held M, Huber S. Reconstructing polygons from embedded straight skeletons. In: 29th European Workshop on Computational Geometry. TU Braunschweig; 2013:95-98.
[Submitted Version] View | Download Submitted Version (ext.)
 

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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed