Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6436 Publications

2013 | Published | Journal Article | IST-REx-ID: 3116
Chatterjee K, De Alfaro L, Faella M, Majumdar R, Raman V. Code aware resource management. Formal Methods in System Design. 2013;42(2):142-174. doi:10.1007/s10703-012-0170-4
View | DOI | WoS
 
2013 | Published | Journal Article | IST-REx-ID: 3261 | OA
Dubuis J, Tkačik G, Wieschaus E, Gregor T, Bialek W. Positional information, in bits. PNAS. 2013;110(41):16301-16308. doi:10.1073/pnas.1315642110
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2013 | Published | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto N, Lampert C. Kernel based learning. In: Dubitzky W, Wolkenhauer O, Cho K, Yokota H, eds. Encyclopedia of Systems Biology. Vol 3. Springer; 2013:1069-1069. doi:10.1007/978-1-4419-9863-7_604
View | DOI
 
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 | Thesis | PhD | IST-REx-ID: 1405 | OA
Zufferey D. Analysis of dynamic message passing programs. 2013. doi:10.15479/at:ista:1405
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2013 | Published | Thesis | PhD | IST-REx-ID: 1406
Campinho P. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. 2013.
View
 
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 | 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: 11087 | OA
Toyama BH, Savas JN, Park SK, et al. Identification of long-lived proteins reveals exceptional stability of essential cellular structures. Cell. 2013;154(5):971-982. doi:10.1016/j.cell.2013.07.037
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed