Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544
LibreCat: https://research-explorer.ista.ac.at/record/4402
DOI: 1544

Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. Vol 4444. Springer; 2007:273-292. doi:10.1007/978-3-540-71322-7_13
LibreCat: https://research-explorer.ista.ac.at/record/4417
DOI: 10.1007/978-3-540-71322-7_13

Henzinger TA, Kirsch C. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 2007;29(393). doi:10.1145/1286821.1286824
LibreCat: https://research-explorer.ista.ac.at/record/4446
DOI: 10.1145/1286821.1286824

Henzinger TA. Games, time, and probability: Graph models for system design and analysis. In: Vol 4362. Springer; 2007:103-110. doi:10.1007/978-3-540-69507-3_7
LibreCat: https://research-explorer.ista.ac.at/record/4514
DOI: 10.1007/978-3-540-69507-3_7

Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:10.1007/978-3-540-73208-2_2
LibreCat: https://research-explorer.ista.ac.at/record/4511
DOI: 10.1007/978-3-540-73208-2_2

Fisher J, Piterman N, Hajnal A, Henzinger TA. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 2007;3(5):e92. doi:10.1371/journal.pcbi.0030092
LibreCat: https://research-explorer.ista.ac.at/record/4531
DOI: 10.1371/journal.pcbi.0030092

Fisher J, Henzinger TA. Executable cell biology. Nature Biotechnology. 2007;25:1239-1249. doi:10.1038/nbt1356
LibreCat: https://research-explorer.ista.ac.at/record/4529
DOI: 10.1038/nbt1356

Duparc J, Henzinger TA. CSL: Computer Science Logic . Vol 4646. Springer; 2007. doi:10.1007/978-3-540-74915-8
LibreCat: https://research-explorer.ista.ac.at/record/4530
DOI: 10.1007/978-3-540-74915-8

Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:10.1007/978-3-540-71209-1_21
LibreCat: https://research-explorer.ista.ac.at/record/4537
DOI: 10.1007/978-3-540-71209-1_21

Chatterjee K, Doyen L, Henzinger TA, Raskin J. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 2007;3(184):1-23. doi:10.2168/LMCS-3(3:4)2007
LibreCat: https://research-explorer.ista.ac.at/record/4547
DOI: 10.2168/LMCS-3(3:4)2007

Chatterjee K. Stochastic <9-Regular Games. 2007:1-247.
LibreCat: https://research-explorer.ista.ac.at/record/4559

Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
LibreCat: https://research-explorer.ista.ac.at/record/4566

Beyer D, Henzinger TA, Jhala R, Majumdar R. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 2007;9(5):505-525. doi:10.1007/s10009-007-0044-z
LibreCat: https://research-explorer.ista.ac.at/record/4567
DOI: 10.1007/s10009-007-0044-z

Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
LibreCat: https://research-explorer.ista.ac.at/record/4570
DOI: 10.1007/978-3-540-73420-8_71

Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
LibreCat: https://research-explorer.ista.ac.at/record/4573
DOI: 10.1007/978-3-540-73368-3_51

Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
LibreCat: https://research-explorer.ista.ac.at/record/4572
DOI: 10.1007/978-3-540-69738-1_27

Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
LibreCat: https://research-explorer.ista.ac.at/record/4571
DOI: 10.1145/1250734.1250769

Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32 
LibreCat: https://research-explorer.ista.ac.at/record/4575
DOI: 10.1109/ICWS.2007.32 

De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. Theoretical Computer Science. 2007;386(3):188-217. doi:10.1016/j.tcs.2007.07.008
LibreCat: https://research-explorer.ista.ac.at/record/4626
DOI: 10.1016/j.tcs.2007.07.008

Hosten O, Kwiat P. Observing the spin hall effect of light via quantum weak measurements. In: OSA; 2007. doi:10.1364/FIO.2007.JTuA4
LibreCat: https://research-explorer.ista.ac.at/record/582
DOI: 10.1364/FIO.2007.JTuA4

Gumienny TL, MacNeil LT, Wang H, de Bono M, Wrana JL, Padgett RW. Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. 2007;17(2):159-164. doi:10.1016/j.cub.2006.11.065
LibreCat: https://research-explorer.ista.ac.at/record/6150
DOI: 10.1016/j.cub.2006.11.065
PMID: 17240342

Browning TD. An overview of Manin’s conjecture for del Pezzo surfaces. In: A Tribute to Gauss and Dirichlet. Vol 7. Analytic Number Theory. American Mathematical Society; 2007:39-56.
LibreCat: https://research-explorer.ista.ac.at/record/6323
arXiv: 0511041v2

Browning TD. The Manin conjecture in dimension 2. arXiv.
LibreCat: https://research-explorer.ista.ac.at/record/6321
arXiv: 0704.1217

Schneider IA, Freunberger SA, Kramer D, Wokaun A, Scherer GG. Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. 2007;154(4). doi:10.1149/1.2435706
LibreCat: https://research-explorer.ista.ac.at/record/7325
DOI: 10.1149/1.2435706

Büchi FN, Paganelli G, Dietrich P, et al. Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. 2007;7(4):329-335. doi:10.1002/fuce.200600050
LibreCat: https://research-explorer.ista.ac.at/record/7323
DOI: 10.1002/fuce.200600050

Büchi FN, Freunberger SA, Reum M, et al. On the efficiency of an advanced automotive fuel cell system. Fuel Cells. 2007;7(2):159-164. doi:10.1002/fuce.200500257
LibreCat: https://research-explorer.ista.ac.at/record/7324
DOI: 10.1002/fuce.200500257

Robinson MR, Kruuk LE. Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. 2007;3(6):651-654. doi:10.1098/rsbl.2007.0278
LibreCat: https://research-explorer.ista.ac.at/record/7753
DOI: 10.1098/rsbl.2007.0278
PMID: 17711817

Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. 2007;60(10):2168-2181. doi:10.1111/j.0014-3820.2006.tb01854.x
LibreCat: https://research-explorer.ista.ac.at/record/7781
DOI: 10.1111/j.0014-3820.2006.tb01854.x

Goodrich CP, Kirmizialtin S, Huyghues-Despointes BM, et al. Single-molecule electrophoresis of ;2-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. 2007;111(13):3332-3335. doi:10.1021/jp071364h
LibreCat: https://research-explorer.ista.ac.at/record/7780
DOI: 10.1021/jp071364h

Vogels TP, Abbott L. Gating deficits in model networks: A path to schizophrenia? Pharmacopsychiatry. 2007;40(S 1):-. doi:10.1055/s-2007-992130
LibreCat: https://research-explorer.ista.ac.at/record/8027
DOI: 10.1055/s-2007-992130
PMID: 18080946

Schanda P, Forge V, Brutscher B. Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy. Proceedings of the National Academy of Sciences. 2007;104(27):11257-11262. doi:10.1073/pnas.0702069104
LibreCat: https://research-explorer.ista.ac.at/record/8483
DOI: 10.1073/pnas.0702069104

Gal M, Schanda P, Brutscher B, Frydman L. UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates. Journal of the American Chemical Society. 2007;129(5):1372-1377. doi:10.1021/ja066915g
LibreCat: https://research-explorer.ista.ac.at/record/8487
DOI: 10.1021/ja066915g

Schanda P, Lescop E, Falge M, Sounier R, Boisbouvier J, Brutscher B. Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons. Journal of Biomolecular NMR. 2007;38:47-55. doi:10.1007/s10858-006-9138-2
LibreCat: https://research-explorer.ista.ac.at/record/8485
DOI: 10.1007/s10858-006-9138-2

Lescop E, Schanda P, Rasia R, Brutscher B. Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy. Journal of the American Chemical Society. 2007;129(10):2756-2757. doi:10.1021/ja068949u
LibreCat: https://research-explorer.ista.ac.at/record/8486
DOI: 10.1021/ja068949u

Lescop E, Schanda P, Brutscher B. A set of BEST triple-resonance experiments for time-optimized protein resonance assignment. Journal of Magnetic Resonance. 2007;187(1):163-169. doi:10.1016/j.jmr.2007.04.002
LibreCat: https://research-explorer.ista.ac.at/record/8484
DOI: 10.1016/j.jmr.2007.04.002

Plotnikova O, Kondrashov F, Vlasov P, Grigorenko A, Ginter E, Rogaev E. Conversion and compensatory evolution of the ;3-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state. American Journal of Human Genetics. 2007;81(1):32-43. doi:10.1086/518616
LibreCat: https://research-explorer.ista.ac.at/record/860
DOI: 10.1086/518616

Kondrashov F, Gurbich T, Vlasov P. Selection for functional uniformity of tuf duplicates in ;3-proteobacteria. Trends in Genetics. 2007;23(5):215-218. doi:10.1016/j.tig.2007.03.002
LibreCat: https://research-explorer.ista.ac.at/record/879
DOI: 10.1016/j.tig.2007.03.002

Bazykin G, Kondrashov F, Brudno M, Poliakov A, Dubchak I, Kondrashov A. Extensive parallelism in protein evolution. Biology Direct. 2007;2. doi:10.1186/1745-6150-2-20
LibreCat: https://research-explorer.ista.ac.at/record/904
DOI: 10.1186/1745-6150-2-20

Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 2007;104(16):6752-6757. doi:10.1073/pnas.0701861104
LibreCat: https://research-explorer.ista.ac.at/record/9487
DOI: 10.1073/pnas.0701861104
PMID: 17409185

Gorodetski A, Kaloshin V. How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency. Advances in Mathematics. 2007;208(2):710-797. doi:10.1016/j.aim.2006.03.012
LibreCat: https://research-explorer.ista.ac.at/record/8511
DOI: 10.1016/j.aim.2006.03.012

Kaloshin V, Hunt B. Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I. Annals of Mathematics. 2007;165(1):89-170. doi:10.4007/annals.2007.165.89
LibreCat: https://research-explorer.ista.ac.at/record/8512
DOI: 10.4007/annals.2007.165.89

Popadin K, Mamirova L, Kondrashov F. A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures. BMC Bioinformatics. 2007;8. doi:10.1186/1471-2105-8-441
LibreCat: https://research-explorer.ista.ac.at/record/861
DOI: 10.1186/1471-2105-8-441

Bühler O, Muller CJ. Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. 2007;588:1-28. doi:10.1017/s0022112007007410
LibreCat: https://research-explorer.ista.ac.at/record/9149
DOI: 10.1017/s0022112007007410

Zilberman D. The Human Promoter Methylome. Vol 39. Nature Publishing Group; 2007:442-443. doi:10.1038/ng0407-442
LibreCat: https://research-explorer.ista.ac.at/record/9504
DOI: 10.1038/ng0407-442
PMID: 17392803

Zilberman D, Henikoff S. Genome-wide analysis of DNA methylation patterns. Development. 2007;134(22):3959-3965. doi:10.1242/dev.001131
LibreCat: https://research-explorer.ista.ac.at/record/9524
DOI: 10.1242/dev.001131
PMID: 17928417

Feng X, Dickinson HG. Packaging the male germline in plants. Trends in Genetics. 2007;23(10):503-510. doi:10.1016/j.tig.2007.08.005
LibreCat: https://research-explorer.ista.ac.at/record/12201
DOI: 10.1016/j.tig.2007.08.005
PMID: 17825943

Klajn R, Pinchuk AO, Schatz GC, Grzybowski BA. Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres. Angewandte Chemie International Edition. 2007;46(44):8363-8367. doi:10.1002/anie.200702570
LibreCat: https://research-explorer.ista.ac.at/record/13424
DOI: 10.1002/anie.200702570
PMID: 17902083

Klajn R, Bishop KJM, Grzybowski BA. Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures. Proceedings of the National Academy of Sciences. 2007;104(25):10305-10309. doi:10.1073/pnas.0611371104
LibreCat: https://research-explorer.ista.ac.at/record/13425
DOI: 10.1073/pnas.0611371104
PMID: 17563381

Klajn R, Bishop KJM, Fialkowski M, et al. Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates. Science. 2007;316(5822):261-264. doi:10.1126/science.1139131
LibreCat: https://research-explorer.ista.ac.at/record/13427
DOI: 10.1126/science.1139131
PMID: 17431176

Paszewski M, Smoukov SK, Klajn R, Grzybowski BA. Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin. Langmuir. 2007;23(10):5419-5422. doi:10.1021/la062982c
LibreCat: https://research-explorer.ista.ac.at/record/13426
DOI: 10.1021/la062982c
PMID: 17425340

Sweeney LB, Couto A, Chou Y-H, et al. Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. 2007;53(2):185-200. doi:10.1016/j.neuron.2006.12.022
LibreCat: https://research-explorer.ista.ac.at/record/7705
DOI: 10.1016/j.neuron.2006.12.022

Komiyama T, Sweeney LB, Schuldiner O, Garcia KC, Luo L. Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. 2007;128(2):399-410. doi:10.1016/j.cell.2006.12.028
LibreCat: https://research-explorer.ista.ac.at/record/7704
DOI: 10.1016/j.cell.2006.12.028

Kraemer T, Mark M, Waldburger P, et al. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 2006;440(7082):315-318. doi:10.1038/nature04626
LibreCat: https://research-explorer.ista.ac.at/record/1033
DOI: 10.1038/nature04626

Nägerl H, Kraemer T, Mark M, et al. Experimental evidence for Efimov quantum states. In: Vol 869. AIP; 2006:269-277. doi:10.1063/1.2400657
LibreCat: https://research-explorer.ista.ac.at/record/1034
DOI: 10.1063/1.2400657

Harris JR, Almouzni G, Kirschner D, et al. In Vitro Techniques. In: Harris R, Graham J, Rickwood D, eds. Cell Biology Protocols. Chichester, UK: Wiley; 2006:201-378. doi:10.1002/0470033487.ch6
LibreCat: https://research-explorer.ista.ac.at/record/11119
DOI: 10.1002/0470033487.ch6

D’Angelo MA, Hetzer M. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 2006;63(3):316-332. doi:10.1007/s00018-005-5361-3
LibreCat: https://research-explorer.ista.ac.at/record/11117
DOI: 10.1007/s00018-005-5361-3
PMID: 16389459

D’Angelo MA, Anderson DJ, Richard E, Hetzer M. Nuclear pores form de novo from both sides of the nuclear envelope. Science. 2006;312(5772):440-443. doi:10.1126/science.1124196
LibreCat: https://research-explorer.ista.ac.at/record/11118
DOI: 10.1126/science.1124196
PMID: 16627745

Henzinger MH. Finding near-duplicate web pages: A large-scale evaluation of algorithms. In: 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222
LibreCat: https://research-explorer.ista.ac.at/record/11929
DOI: 10.1145/1148170.1148222

Hausel T. Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS. 2006;103(16):6120-6124. doi:10.1073/pnas.0601337103
LibreCat: https://research-explorer.ista.ac.at/record/1462
DOI: 10.1073/pnas.0601337103

Hausel T, Swartz E. Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society. 2006;134(8):2403-2409. doi:10.1090/S0002-9939-06-08248-7
LibreCat: https://research-explorer.ista.ac.at/record/1461
DOI: 10.1090/S0002-9939-06-08248-7

Dudu V, Bittig T, Entchev E, Kicheva A, Julicher F, González Gaitán M. Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology. 2006;16(7):625-635. doi:10.1016/j.cub.2006.02.061
LibreCat: https://research-explorer.ista.ac.at/record/1715
DOI: 10.1016/j.cub.2006.02.061

Katsaros G, Rastelli A, Stoffel M, et al. Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science. 2006;600(12):2608-2613. doi:10.1016/j.susc.2006.04.027
LibreCat: https://research-explorer.ista.ac.at/record/1745
DOI: 10.1016/j.susc.2006.04.027

Rastelli A, Stoffel M, Katsaros G, et al. Reading the footprints of strained islands. Microelectronics Journal. 2006;37(12):1471-1476. doi:10.1016/j.mejo.2006.05.029
LibreCat: https://research-explorer.ista.ac.at/record/1747
DOI: 10.1016/j.mejo.2006.05.029

Costantini G, Rastelli A, Manzano C, et al. Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots. Physical Review Letters. 2006;96(22). doi:10.1103/PhysRevLett.96.226106
LibreCat: https://research-explorer.ista.ac.at/record/1746
DOI: 10.1103/PhysRevLett.96.226106

Katsaros G, Rastelli A, Stoffel M, et al. Evolution of buried semiconductor nanostructures and origin of stepped surface mounds during capping. Applied Physics Letters. 2006;89(25). doi:10.1063/1.2405876
LibreCat: https://research-explorer.ista.ac.at/record/1748
DOI: 10.1063/1.2405876

Siegert S, Schnierle P, Schnierle B. Novel anti-viral therapy: Drugs that block HIV entry at different target sites. Mini-Reviews in Medicinal Chemistry. 2006;6(5):557-562. doi:10.2174/138955706776876267
LibreCat: https://research-explorer.ista.ac.at/record/1796
DOI: 10.2174/138955706776876267

Sazanov LA, Hinchliffe P. Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science. 2006;311(5766):1430-1436. doi:10.1126/science.1123809
LibreCat: https://research-explorer.ista.ac.at/record/1961
DOI: 10.1126/science.1123809

Hinchliffe P, Carroll J, Sazanov LA. Identification of a novel subunit of respiratory complex I from Thermus thermophilus. Biochemistry. 2006;45(14):4413-4420. doi:10.1021/bi0600998
LibreCat: https://research-explorer.ista.ac.at/record/1966
DOI: 10.1021/bi0600998

Vicoso B, Charlesworth B. Evolution on the X chromosome: Unusual patterns and processes. Nature Reviews Genetics. 2006;7(8):645-653. doi:10.1038/nrg1914
LibreCat: https://research-explorer.ista.ac.at/record/2066
DOI: 10.1038/nrg1914

Bickel B, Wicke M, Gross M. Adaptive simulation of electrical discharges. In: IOS Press; 2006.
LibreCat: https://research-explorer.ista.ac.at/record/2077

Weyrich T, Matusik W, Pfister H, et al. Analysis of human faces using a measurement-based skin reflectance model. ACM Transactions on Graphics. 2006;25(3):1013-1024. doi:10.1145/1141911.1141987
LibreCat: https://research-explorer.ista.ac.at/record/2089
DOI: 10.1145/1141911.1141987

Weyrich T, Matusik W, Pfister H, et al. Analysis of human faces using a measurement-based skin reflectance model. In: ACM; 2006:1013-1024. doi:10.1145/1179352.1141987
LibreCat: https://research-explorer.ista.ac.at/record/2088
DOI: 10.1145/1179352.1141987

Bickel B, Weyrich T, Matusik W, et al. Processing and editing of faces using a measurement-based skin reflectance model. In: ACM; 2006. doi:10.1145/1179849.1180059
LibreCat: https://research-explorer.ista.ac.at/record/2090
DOI: 10.1145/1179849.1180059

Ehresmann A, Werner L, Klumpp S, et al. Predissociation of the N+2(C 2:3+u) state observed via C 2:3+u10.1088/0953-4075/39/6/L03__X 2:3+g fluorescence after resonant 1<0* excitation of N2 molecule. Journal of Physics B: Atomic, Molecular and Optical Physics. 2006;39(6):L119-L126. doi:10.1088/0953-4075/39/6/L03
LibreCat: https://research-explorer.ista.ac.at/record/2134
DOI: 10.1088/0953-4075/39/6/L03

Browning TD, Heath Brown R, Starr J. The density of rational points on non-singular hypersurfaces, II. Proceedings of the London Mathematical Society. 2006;93(2):273-303. doi:https://doi.org/10.1112/S0024611506015784
LibreCat: https://research-explorer.ista.ac.at/record/213
DOI: https://doi.org/10.1112/S0024611506015784

Vedrinski0 R, Nazarenko E, Lemeshko M, et al. Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates. Physical Review B - Condensed Matter and Materials Physics. 2006;73(13). doi:10.1103/PhysRevB.73.134109
LibreCat: https://research-explorer.ista.ac.at/record/2144
DOI: 10.1103/PhysRevB.73.134109

Ehresmann A, Werner L, Klumpp S, et al. Studying the N+2(:3+u10.1088/0953-4075/39/2/006__:3+g) fluorescence excited via the 1<0* resonance. Journal of Physics B: Atomic, Molecular and Optical Physics. 2006;39(2):283-304. doi:10.1088/0953-4075/39/2/006
LibreCat: https://research-explorer.ista.ac.at/record/2142
DOI: 10.1088/0953-4075/39/2/006

Browning TD, Heath Brown R. The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. 2006;38(3):401-410. doi:10.1112/S0024609305018412
LibreCat: https://research-explorer.ista.ac.at/record/215
DOI: 10.1112/S0024609305018412

Browning TD, Heath Brown R, Salberger P. Counting rational points on algebraic varieties. Duke Mathematical Journal. 2006;132(3):545-578. doi:10.1215/S0012-7094-06-13236-2
LibreCat: https://research-explorer.ista.ac.at/record/216
DOI: 10.1215/S0012-7094-06-13236-2

De La Bretèche R, Browning TD. Sums of arithmetic functions over values of binary forms. Acta Arithmetica. 2006;125(3):291-304. doi:10.4064/aa125-3-6
LibreCat: https://research-explorer.ista.ac.at/record/218
DOI: 10.4064/aa125-3-6

Lieb É, Seiringer R, Solovej J. Ground-state energy of a dilute Fermi gas. In: Vol 412. American Mathematical Society; 2006:239-248. doi:10.1090/conm/412
LibreCat: https://research-explorer.ista.ac.at/record/2333
DOI: 10.1090/conm/412

Seiringer R, Lieb É, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases in traps. In: Zambrini J, ed. World Scientific Publishing; 2006. doi:10.1007/s00220-003-0993-3
LibreCat: https://research-explorer.ista.ac.at/record/2334
DOI: 10.1007/s00220-003-0993-3

Lieb É, Seiringer R. Derivation of the Gross-Pitaevskii equation for rotating Bose gases. Communications in Mathematical Physics. 2006;264(2):505-537. doi:10.1007/s00220-006-1524-9
LibreCat: https://research-explorer.ista.ac.at/record/2363
DOI: 10.1007/s00220-006-1524-9

Seiringer R. A correlation estimate for quantum many-body systems at positive temperature. Reviews in Mathematical Physics. 2006;18(3):233-253. doi:10.1142/S0129055X06002632
LibreCat: https://research-explorer.ista.ac.at/record/2364
DOI: 10.1142/S0129055X06002632

Seiringer R. The thermodynamic pressure of a dilute fermi gas. Communications in Mathematical Physics. 2006;261(3):729-757. doi:10.1007/s00220-005-1433-3
LibreCat: https://research-explorer.ista.ac.at/record/2365
DOI: 10.1007/s00220-005-1433-3

Frank R, Laptev A, Lieb É, Seiringer R. Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials. Letters in Mathematical Physics. 2006;77(3):309-316. doi:10.1007/s11005-006-0095-1
LibreCat: https://research-explorer.ista.ac.at/record/2366
DOI: 10.1007/s11005-006-0095-1

Seiringer R. Dilute, trapped Bose gases and Bose-Einstein condensation. In: Dereziski J, Siedentop H, eds. Large Coulomb Systems. Vol 695. Springer; 2006:249-274. doi:10.1007/3-540-32579-4_6
LibreCat: https://research-explorer.ista.ac.at/record/2368
DOI: 10.1007/3-540-32579-4_6

Aizenman M, Lieb É, Seiringer R, Solovej J, Yngvason J. Bose-Einstein condensation as a quantum phase transition in an optical lattice. In: Asch J, Joye A, eds. Mathematical Physics of Quantum Mechanics. Vol 690. Springer; 2006:199-215. doi:10.1007/b11573432
LibreCat: https://research-explorer.ista.ac.at/record/2369
DOI: 10.1007/b11573432

Bang Jensen J, Reed B, Schacht B, Sámal R, Toft B, Wagner U. On six problems posed by Jarik Nesetil. In: Topics in Discrete Mathematics. Vol 26. Springer; 2006:613-627. doi:10.1007/3-540-33700-8_30
LibreCat: https://research-explorer.ista.ac.at/record/2416
DOI: 10.1007/3-540-33700-8_30

Chent K, Fiat A, Kaplan H, et al. Online conflict-free coloring for intervals. SIAM Journal on Computing. 2006;36(5):1342-1359. doi:10.1137/S0097539704446682
LibreCat: https://research-explorer.ista.ac.at/record/2430
DOI: 10.1137/S0097539704446682

Wagner U. On a geometric generalization of the Upper Bound Theorem. In: IEEE; 2006:635-645. doi:10.1109/FOCS.2006.53
LibreCat: https://research-explorer.ista.ac.at/record/2431
DOI: 10.1109/FOCS.2006.53

Matousek J, Sharir M, Smorodinsky S, Wagner U. K-sets in four dimensions. Discrete &; Computational Geometry. 2006;35(2):177-191. doi:10.1007/s00454-005-1200-4
LibreCat: https://research-explorer.ista.ac.at/record/2429
DOI: 10.1007/s00454-005-1200-4

Inamura M, Itakura M, Okamoto H, et al.10.1016/j.neures.2006.01.004__Differential localization and regulation of stargazin-like protein, ;3-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research. 2006;55(1):45-53. doi:10.1016/j.neures.2006.01.004
LibreCat: https://research-explorer.ista.ac.at/record/2659
DOI: 10.1016/j.neures.2006.01.004

Luján R, Shigemoto R. Localization of metabotropic GABA receptor subunits GABA and GABA relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience. 2006;23(6):1479-1490. doi:10.1111/j.1460-9568.2006.04669.x
LibreCat: https://research-explorer.ista.ac.at/record/2657
DOI: 10.1111/j.1460-9568.2006.04669.x

Kodama T, Itsukaichi Nishida Y, Fukazawa Y, et al. A Ca.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience. 2006;24(11):2993-3007. doi:10.1111/j.1460-9568.2006.05191.x
LibreCat: https://research-explorer.ista.ac.at/record/2663
DOI: 10.1111/j.1460-9568.2006.05191.x

Vigot R, Barbieri S, Bräuner Osborne H, et al. Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron. 2006;50(4):589-601. doi:10.1016/j.neuron.2006.04.014
LibreCat: https://research-explorer.ista.ac.at/record/2661
DOI: 10.1016/j.neuron.2006.04.014

Kulik Á, Vida I, Fukazawa Y, et al. Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience. 2006;26(16):4289-4297. doi:10.1523/JNEUROSCI.4178-05.2006
LibreCat: https://research-explorer.ista.ac.at/record/2662
DOI: 10.1523/JNEUROSCI.4178-05.2006

Shaban H, Humeau Y, Herry C, et al. Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience. 2006;9(8):1028-1035. doi:10.1038/nn1732
LibreCat: https://research-explorer.ista.ac.at/record/2660
DOI: 10.1038/nn1732

Ferraguti F, Shigemoto R. Metabotropic glutamate receptors. Cell and Tissue Research. 2006;326(2):483-504. doi:10.1007/s00441-006-0266-5
LibreCat: https://research-explorer.ista.ac.at/record/2664
DOI: 10.1007/s00441-006-0266-5

Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics. 2006;59(12):1659-1741. doi:10.1002/cpa.20123
LibreCat: https://research-explorer.ista.ac.at/record/2747
DOI: 10.1002/cpa.20123