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.

11357 Publications


2010 | Published | Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p.
View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3860 | OA
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2010. Generalized mean-payoff and energy games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 505–516.
[Submitted Version] View | Files available | DOI | WoS
 

2010 | Published | Journal Article | IST-REx-ID: 3861 | OA
Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
[Submitted Version] View | Files available | DOI | WoS
 

2010 | Published | Journal Article | IST-REx-ID: 3862 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Quantitative languages. ACM Transactions on Computational Logic (TOCL). 11(4), 23.
[Submitted Version] View | Files available | DOI | WoS
 

2010 | Published | Journal Article | IST-REx-ID: 3863 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2010. Strategy construction for parity games with imperfect information. Information and Computation. 208(10), 1206–1220.
[Submitted Version] View | Files available | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 3864 | OA
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2010. Measuring and synthesizing systems in probabilistic environments. CAV: Computer Aided Verification, LNCS, vol. 6174, 380–395.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. 2010. Analyzing the impact of change in multi-threaded programs. 13th International Conference on Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 293–307.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3866 | OA
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174, 410–424.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
[Published Version] View | Files available | DOI | WoS
 

2010 | Published | Journal Article | IST-REx-ID: 3868 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game metrics. Logical Methods in Computer Science. 6(3), 1–27.
[Published Version] View | Files available | DOI | WoS
 

2010 | Published | Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. 2010. Computational Topology: An Introduction, American Mathematical Society, XII, 241p.
View | Files available | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 3901 | OA
Bendich P, Edelsbrunner H, Kerber M. 2010. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 16(6), 1251–1260.
[Submitted Version] View | Files available | DOI | WoS
 

2010 | Published | Journal Article | IST-REx-ID: 3904 | OA
Ugelvig LV, Kronauer D, Schrempf A, Heinze J, Cremer S. 2010. Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. 277(1695), 2821–2828.
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 3956
Nourshargh S, Hordijk P, Sixt MK. 2010. Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. 11(5), 366–378.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3957
Riedl J, Flynn K, Raducanu A, Gärtner FR, Beck G, Bosl M, Bradke F, Massberg S, Aszodi A, Sixt MK, Wedlich Söldner R. 2010. Lifeact mice for studying F-actin dynamics. Nature Methods. 7(3), 168–169.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3958
Mohan H, Krumbholz M, Sharma R, Eisele S, Junker A, Sixt MK, Newcombe J, Wekerle H, Hohlfeld R, Lassmann H, Meinl E. 2010. Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. 20(5), 966–975.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3959
Schumann K, Lämmermann T, Bruckner M, Legler D, Polleux J, Spatz J, Schuler G, Förster R, Lutz M, Sorokin L, Sixt MK. 2010. Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. 32(5), 703–713.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 3960 | OA
Weber M, Sixt MK. 2010. MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. 29(17), 2861–2863.
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 3961
Renkawitz J, Sixt MK. 2010. Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. 11(10), 744–750.
View | DOI
 

2010 | Published | Thesis | PhD | IST-REx-ID: 3962
Pflicke H. 2010.   Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed