Please note that IST 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.

197 Publications


2006 | Journal Article | IST-REx-ID: 216
Browning, T. D., Heath Brown, R., & Salberger, P. (2006). Counting rational points on algebraic varieties. Duke Mathematical Journal, 132(3), 545–578. https://doi.org/10.1215/S0012-7094-06-13236-2
View | DOI
 

2006 | Journal Article | IST-REx-ID: 218
De La Bretèche, R., & Browning, T. D. (2006). Sums of arithmetic functions over values of binary forms. Acta Arithmetica, 125(3), 291–304. https://doi.org/10.4064/aa125-3-6
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2333 | OA
Lieb, É., Seiringer, R., & Solovej, J. (2006). Ground-state energy of a dilute Fermi gas (Vol. 412, pp. 239–248). Presented at the Differential Equations and Mathematical Physics, American Mathematical Society. https://doi.org/10.1090/conm/412
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 2334 | OA
Seiringer, R., Lieb, É., & Yngvason, J. (2006). One-dimensional behavior of dilute, trapped Bose gases in traps. In J. Zambrini (Ed.). Presented at the ICMP: International Congress on Mathematical Physics, World Scientific Publishing. https://doi.org/10.1007/s00220-003-0993-3
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 2363 | OA
Lieb, É., & Seiringer, R. (2006). Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-006-1524-9
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2364 | OA
Seiringer, R. (2006). A correlation estimate for quantum many-body systems at positive temperature. Reviews in Mathematical Physics, 18(3), 233–253. https://doi.org/10.1142/S0129055X06002632
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2365 | OA
Seiringer, R. (2006). The thermodynamic pressure of a dilute fermi gas. Communications in Mathematical Physics, 261(3), 729–757. https://doi.org/10.1007/s00220-005-1433-3
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 2366 | OA
Frank, R., Laptev, A., Lieb, É., & Seiringer, R. (2006). Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials. Letters in Mathematical Physics, 77(3), 309–316. https://doi.org/10.1007/s11005-006-0095-1
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2368
Seiringer, R. (2006). Dilute, trapped Bose gases and Bose-Einstein condensation. In J. Dereziński & H. Siedentop (Eds.), Large Coulomb Systems (Vol. 695, pp. 249–274). Springer. https://doi.org/10.1007/3-540-32579-4_6
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2369 | OA
Aizenman, M., Lieb, É., Seiringer, R., Solovej, J., & Yngvason, J. (2006). Bose-Einstein condensation as a quantum phase transition in an optical lattice. In J. Asch & A. Joye (Eds.), Mathematical Physics of Quantum Mechanics (Vol. 690, pp. 199–215). Springer. https://doi.org/10.1007/b11573432
View | DOI | Download (ext.)
 

2006 | Book Chapter | IST-REx-ID: 2416
Bang Jensen, J., Reed, B., Schacht, B., Šámal, R., Toft, B., & Wagner, U. (2006). On six problems posed by Jarik Nešetřil. In Topics in Discrete Mathematics (Vol. 26, pp. 613–627). Springer. https://doi.org/10.1007/3-540-33700-8_30
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2429
Matoušek, J., Sharir, M., Smorodinsky, S., & Wagner, U. (2006). K-sets in four dimensions. Discrete & Computational Geometry, 35(2), 177–191. https://doi.org/10.1007/s00454-005-1200-4
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2430
Chent, K., Fiat, A., Kaplan, H., Levy, M., Matoušek, J., Mossel, E., … Welzl, E. (2006). Online conflict-free coloring for intervals. SIAM Journal on Computing, 36(5), 1342–1359. https://doi.org/10.1137/S0097539704446682
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2431
Wagner, U. (2006). On a geometric generalization of the Upper Bound Theorem (pp. 635–645). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2006.53
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 7326
Büchi, F. N., Freunberger, S. A., & Santis, M. (2006). What is learned beyond the scale of single cells? In ECS Transactions (Vol. 3, pp. 963–968). Cancun, Mexico: ECS. https://doi.org/10.1149/1.2356215
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7327
Santis, M., Freunberger, S. A., Papra, M., Wokaun, A., & Büchi, F. N. (2006). Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources, 161(2), 1076–1083. https://doi.org/10.1016/j.jpowsour.2006.06.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7328
Freunberger, S. A., Reum, M., Evertz, J., Wokaun, A., & Büchi, F. N. (2006). Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society, 153(11), A2158. https://doi.org/10.1149/1.2345591
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7329
Freunberger, S. A., Reum, M., Wokaun, A., & Büchi, F. N. (2006). Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications, 8(9), 1435–1438. https://doi.org/10.1016/j.elecom.2006.05.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7330
Santis, M., Freunberger, S. A., Reiner, A., & Büchi, F. N. (2006). Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta, 51(25), 5383–5393. https://doi.org/10.1016/j.electacta.2006.02.008
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7331
Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society, 153(5), A909. https://doi.org/10.1149/1.2185282
View | DOI
 

2006 | Journal Article | IST-REx-ID: 7332
Freunberger, S. A., Santis, M., Schneider, I. A., Wokaun, A., & Büchi, F. N. (2006). In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society, 153(2), A396. https://doi.org/10.1149/1.2150150
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3908
Ustinova, J., Achmann, R., Cremer, S., & Mayer, F. (2006). Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus. Journal of Molecular Evolution, 62(2), 158–167. https://doi.org/10.1007/s00239-005-0022-6
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3912
Cremer, S., Ugelvig, L. V., Lommen, S., Petersen, K., & Pedersen, J. (2006). Attack of the invasive garden ant: aggression behaviour of Lasius neglectus (Hymenoptera: Formicidae) against native Lasius species in Spain. Myrmecological News, 9, 13–19.
View
 

2006 | Journal Article | IST-REx-ID: 3913
Heinze, J., Cremer, S., Eckl, N., & Schrempf, A. (2006). Stealthy invaders: the biology of Cardiocondyla tramp ants. Insectes Sociaux, 53(1), 1–7. https://doi.org/10.1007/s00040-005-0847-4
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3914
Moder, K., Schlick Steiner, B., Steiner, F., Cremer, S., Christian, E., & Seifert, B. (2006). Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study. Journal of Zoological Systematics and Evolutionary Research, 45(1), 82–87. https://doi.org/10.1111/j.1439-0469.2006.00372.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3932
Henic, E., Sixt, M. K., Hansson, S., Høyer Hansen, G., & Casslén, B. (2006). EGF-stimulated migration in ovarian cancer cells is associated with decreased internalization, increased surface expression, and increased shedding of the urokinase plasminogen activator receptor. Gynecologic Oncology, 101(1), 28–39. https://doi.org/10.1016/j.ygyno.2005.09.038
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea, M., Wessels, J., Müller, C., Essl, M., Eble, J., Tolosa, E., … Klein, G. (2006). Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science, 119(Pt 7), 1396–1405. https://doi.org/10.1242/​jcs.02840
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
Chu, H., Thievessen, I., Sixt, M. K., Lämmermann, T., Waisman, A., Braun, A., … Fässler, R. (2006). γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology, 26(5), 1817–1825. https://doi.org/10.1128/MCB.26.5.1817-1825.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3936
Sixt, M. K., Bauer, M., Lämmermann, T., & Fässler, R. (2006). β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology, 18(5), 482–490. https://doi.org/10.1016/j.ceb.2006.08.007
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban, Y., Rudolph, J., Zhou, P., & Edelsbrunner, H. (2006). Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics, 62(4), 852–864. https://doi.org/10.1002/prot.20811
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3979
Ban, Y., Edelsbrunner, H., & Rudolph, J. (2006). Interface surfaces for protein-protein complexes. Journal of the ACM, 53(3), 361–378. https://doi.org/10.1145/1147954.1147957
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal, P., Edelsbrunner, H., Harer, J., & Wang, Y. (2006). Extreme elevation on a 2-manifold. Discrete & Computational Geometry, 36(4), 553–572. https://doi.org/10.1007/s00454-006-1265-8
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
Vladar, H., & González, J. (2006). Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology, 91–109.
View
 

2006 | Journal Article | IST-REx-ID: 4248
Roze, D., & Barton, N. H. (2006). The Hill-Robertson effect and the evolution of recombination. Genetics, 173(3), 1793–1811. https://doi.org/10.1534/genetics.106.058586
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton, N. H. (2006). Evolutionary Biology: How did the human species form? Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2006.07.032
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski, P., & Heller, L. (2006). Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst, 40(11), 1250–1271. https://doi.org/424
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback, J. P. (2006). SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics, 7. https://doi.org/10.1186/1471-2105-7-88
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn, J., Vineis, J., Bollback, J. P., Onyabe, D., Wilkerson, R., & Povoa, M. (2006). Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene, 74(5), 798–806.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies, T., Kuncak, V., Lam, P., Podelski, A., & Rinard, M. (2006). Field Constraint Analysis (pp. 157–173). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1551
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real Time Temporal Logic: Past, Present, Future (pp. 2–16). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1571
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1570
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, M., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer. https://doi.org/10.1007/11813040_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11867340_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, T. A., & Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE. https://doi.org/10.1109/RTAS.2006.11
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science, 354(2), 173–186. https://doi.org/10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., & Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1181775.1181790
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications