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.

1790 Publications


2008 |Published| Conference Paper | IST-REx-ID: 3600
E. Yang, N. H. Barton, T. Arslan, and A. Erdogan, “ Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network,” presented at the IECS: International Conference on Evolvable Systems, 2008, vol. 5216, pp. 249–260.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3705
M. Blaschko and C. Lampert, “Learning to localize objects with structured output regression,” presented at the ECCV: European Conference on Computer Vision, 2008, vol. 5302, pp. 2–15.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 3716
C. Lampert and M. Blaschko, “A multiple kernel learning approach to joint multi-class object detection,” presented at the DAGM: German Association For Pattern Recognition, 2008, vol. 5096, pp. 31–40.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 3875
K. Chatterjee, T. A. Henzinger, and K. Sen, “Model-checking omega-regular properties of interval Markov chains,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, 2008, vol. 4962, pp. 302–317.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3873
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Controller synthesis with budget constraints,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 72–86.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3876
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: complexity and robustness,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2008, vol. 5215, pp. 124–140.
View | Files available | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3877
K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Environment assumptions for synthesis,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 147–161.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3878 | OA
K. Chatterjee, L. De Alfaro, and R. Majumdar, “The complexity of coverage,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, 2008, vol. 5356, pp. 91–106.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 3874
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Trading infinite memory for uniform randomness in timed games,” presented at the HSCC: Hybrid Systems - Computation and Control, 2008, vol. 4981, pp. 87–100.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3879
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400.
View | DOI
 

2008 |Published| Book Chapter | IST-REx-ID: 3872
K. Chatterjee and T. A. Henzinger, “Value iteration,” in 25 Years in Model Checking, vol. 5000, Springer, 2008, pp. 107–138.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 3943
K. Kessenbrock et al., “Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin,” The Journal of Clinical Investigation, vol. 118, no. 7. American Society for Clinical Investigation, pp. 2438–2447, 2008.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 4227
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, and F. Julicher, “Precision of the Dpp gradient,” Development, vol. 135, no. 6. Company of Biologists, pp. 1137–1146, 2008.
View | DOI
 

2008 |Published| Book Chapter | IST-REx-ID: 4371
O. Maler, D. Nickovic, and A. Pnueli, “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors,” in Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 4366
A. Podelski, A. Rybalchenko, and T. Wies, “Heap Assumptions on Demand,” presented at the CAV: Computer Aided Verification, 2008, vol. 5123, pp. 314–327.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 3032
J. Kleine Vehn et al., “ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis,” Current Biology, vol. 18, no. 7. Cell Press, pp. 526–531, 2008.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3198
L. Torresani, V. Kolmogorov, and C. Rother, “Feature correspondence via graph matching: Models and global optimization,” presented at the ECCV: European Conference on Computer Vision, 2008, vol. 5303, pp. 596–609.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 3224
Y. Dodis, K. Z. Pietrzak, and P. Puniya, “A new mode of operation for block ciphers and length preserving MACs,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, 2008, vol. 4965, pp. 198–219.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3225
M. Fischlin, A. Lehmann, and K. Z. Pietrzak, “Robust multi property combiners for hash functions revisited,” presented at the ICALP: Automata, Languages and Programming, 2008, vol. 5126, no. PART 2, pp. 655–666.
View | Files available | DOI
 

2008 |Published| Book Chapter | IST-REx-ID: 3577
S. Biasotti et al., “Skeletal structures,” in Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications