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.

9101 Publications


2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee K, Henzinger TA. 2009. Probabilistic systems with limsup and liminf objectives. ILC: Infinity in Logic and Computation, LNCS, vol. 5489, 32–45.
View | DOI | Download (ext.)
 

2009 | Conference Poster | IST-REx-ID: 3699
Blaschko M, Lampert C, Bartels A. 2009. Semi-supervised analysis of human fMRI data, Berlin Institute of Technology,p.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3703
Blaschko M, Lampert C. 2009. Object localization with global and local context kernels. BMVC: British Machine Vision Conference, Proceedings of the BMVC, , 1–11.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3704
Lampert C, Nickisch H, Harmeling S. 2009. Learning to detect unseen object classes by between-class attribute transfer. CVPR: Computer Vision and Pattern Recognition, 951–958.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3715
Lampert C, Peters J. 2009. Active structured learning for high-speed object detection. DAGM: German Association For Pattern Recognition, LNCS, vol. 5748, 221–231.
View | DOI
 

2009 | Conference Poster | IST-REx-ID: 3717
Lampert C, Peters J. 2009. A high-speed object tracker from off-the-shelf components, IEEE,p.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3737
Tkačik G, Walczak A, Bialek W. 2009. Optimizing information flow in small genetic networks. Physical Review E Statistical Nonlinear and Soft Matter Physics. 80(3).
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3733
Kryazhimskiy S, Tkačik G, Plotkin J. 2009. The dynamics of adaptation on correlated fitness landscapes. PNAS. 106(44), 18638–18643.
View | DOI | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
Tkačik G, Schneidman E, Berry M, Bialek W. 2009. Spin glass models for a network of real neurons. ArXiv, q-NC, .
View | Download (ext.)
 

2009 | Book Chapter | IST-REx-ID: 3747
Tkačik G, Bialek W. 2009.Cell Biology: Networks, regulation, pathways. In: Encyclopedia of Complexity and Systems Science. , 719–741.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3764
Wojtan C, Thürey N, Gross M, Turk G. 2009. Deforming meshes that split and merge. ACM Transactions on Graphics. 28(3).
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3768
Kupczok A, Von Haeseler A. 2009. Comment on ‘{A} congruence index for testing topological similarity between trees’. Bioinformatics. 25(1), 147–149.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
Davison A, Barton NH, Clarke B. 2009. The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. 22(8), 1624–1635.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3828
Schwenk J, Harmel N, Zolles G, Bildl W, Kulik Á, Heimrich B, Chisaka O, Jonas PM, Schulte U, Fakler B, Klocker N. 2009. Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors. Science. 323(5919), 1313–9.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier F, Henzinger TA, Mateescu M, Wolf V. 2009. Fast adaptive uniformization of the chemical master equation. HIBI: High-Performance Computational Systems Biology vol. 4, 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger TA, Jobstmann B, Wolf V. 2009. Formalisms for specifying Markovian population models. RP: Reachability Problems, LNCS, vol. 5797, 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger TA, Kirsch C, Marques E, Sokolova A. 2009. Distributed, modular HTL. RTSS: Real-Time Systems Symposium, 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee K, Henzinger TA, Horn F. 2009. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 11(1), 1.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee K, De Alfaro L, Faella M, Legay A. 2009. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 5(2).
View | DOI
 

Search

Filter Publications