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.
725 Publications
2010 | Journal Article | IST-REx-ID: 3783
Microsatelight – Pipeline to expedite microsatellite analysis
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
View
| DOI
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
2010 | Journal Article | IST-REx-ID: 3294
Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, O. Siddiqi, PNAS 107 (2010) 9855–60.
View
| DOI
A. Iyengar, S. Chakraborty Tuhin, S. Goswami, C. Wu, O. Siddiqi, PNAS 107 (2010) 9855–60.
2010 | Conference Paper | IST-REx-ID: 3839 | 
Invariant and type inference for matrices
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, T. Hottelier, L. Kovács, A. Voronkov, in:, Springer, 2010, pp. 163–179.
2010 | Conference Paper | IST-REx-ID: 4378 |
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
2010 | Conference Paper | IST-REx-ID: 4396 |
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
2010 | Conference Paper | IST-REx-ID: 489 |
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
2010 | Journal Article | IST-REx-ID: 6142 |
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
2010 | Journal Article | IST-REx-ID: 7078 |
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
2010 | Journal Article | IST-REx-ID: 8473
Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR
A. Corazza, E. Rennella, P. Schanda, M.C. Mimmi, T. Cutuil, S. Raimondi, S. Giorgetti, F. Fogolari, P. Viglino, L. Frydman, M. Gal, V. Bellotti, B. Brutscher, G. Esposito, Journal of Biological Chemistry 285 (2010) 5827–5835.
View
| DOI
A. Corazza, E. Rennella, P. Schanda, M.C. Mimmi, T. Cutuil, S. Raimondi, S. Giorgetti, F. Fogolari, P. Viglino, L. Frydman, M. Gal, V. Bellotti, B. Brutscher, G. Esposito, Journal of Biological Chemistry 285 (2010) 5827–5835.
2010 | Journal Article | IST-REx-ID: 8472
Quantitative analysis of protein backbone dynamics in microcrystalline ubiquitin by solid-state NMR spectroscopy
P. Schanda, B.H. Meier, M. Ernst, Journal of the American Chemical Society 132 (2010) 15957–15967.
View
| DOI
P. Schanda, B.H. Meier, M. Ernst, Journal of the American Chemical Society 132 (2010) 15957–15967.
2010 | Journal Article | IST-REx-ID: 12199
Tapetal cell fate, lineage and proliferation in the Arabidopsis anther
X. Feng, H.G. Dickinson, Development 137 (2010) 2409–2416.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Development 137 (2010) 2409–2416.
2009 | Journal Article | IST-REx-ID: 1302
Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors
S. Raghu, M.A. Jösch, S. Sigrist, A. Borst, D. Reiff, Journal of Neurogenetics 23 (2009) 200–209.
View
| DOI
S. Raghu, M.A. Jösch, S. Sigrist, A. Borst, D. Reiff, Journal of Neurogenetics 23 (2009) 200–209.
2009 | Journal Article | IST-REx-ID: 1770 |
Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
View
| DOI
| Download (ext.)
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
2009 | Journal Article | IST-REx-ID: 1771 |
Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
View
| DOI
| Download (ext.)
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
2009 | Journal Article | IST-REx-ID: 1799
Approach sensitivity in the retina processed by a multifunctional neural circuit
T. Münch, R. Da Silveira, S. Siegert, T. Viney, G. Awatramani, B. Roska, Nature Neuroscience 12 (2009) 1308–1316.
View
| DOI
T. Münch, R. Da Silveira, S. Siegert, T. Viney, G. Awatramani, B. Roska, Nature Neuroscience 12 (2009) 1308–1316.
2009 | Journal Article | IST-REx-ID: 1798
Genetic address book for retinal cell types
S. Siegert, B. Scherf, K. Del Punta, N. Didkovsky, N. Heintz, B. Roska, Nature Neuroscience 12 (2009) 1197–1204.
View
| DOI
S. Siegert, B. Scherf, K. Del Punta, N. Didkovsky, N. Heintz, B. Roska, Nature Neuroscience 12 (2009) 1197–1204.
2009 | Conference Paper | IST-REx-ID: 2136
Local atomic structure of niobates and titanates from X-ray absorption spectroscopic data
R. Vedrinskiǐ, V. Kraǐzman, M. Lemeshko, E. Nazarenko, A. Novakovich, L. Reznichenko, V. Fokin, V. Shuvaeva, in:, Springer, 2009, pp. 1394–1398.
View
| DOI
R. Vedrinskiǐ, V. Kraǐzman, M. Lemeshko, E. Nazarenko, A. Novakovich, L. Reznichenko, V. Fokin, V. Shuvaeva, in:, Springer, 2009, pp. 1394–1398.
2009 | Journal Article | IST-REx-ID: 226
Manin's conjecture for a quartic del Pezzo surface with A4 singularity
T.D. Browning, U. Derenthal, Annales de l’Institut Fourier 59 (2009) 1231–1265.
View
| DOI
T.D. Browning, U. Derenthal, Annales de l’Institut Fourier 59 (2009) 1231–1265.
2009 | Journal Article | IST-REx-ID: 230
Manin's conjecture for a cubic surface with D 5 singularity
T.D. Browning, U. Derenthal, International Mathematics Research Notices 2009 (2009) 2620–2647.
View
| DOI
T.D. Browning, U. Derenthal, International Mathematics Research Notices 2009 (2009) 2620–2647.
2009 | Journal Article | IST-REx-ID: 2686
Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter
H. Tomita, E. Sugano, Y. Fukazawa, H. Isago, Y. Sugiyama, T. Hiroi, T. Ishizuka, H. Mushiake, M. Kato, M. Hirabayashi, R. Shigemoto, H. Yawo, M. Tamai, PLoS One 4 (2009).
View
| DOI
H. Tomita, E. Sugano, Y. Fukazawa, H. Isago, Y. Sugiyama, T. Hiroi, T. Ishizuka, H. Mushiake, M. Kato, M. Hirabayashi, R. Shigemoto, H. Yawo, M. Tamai, PLoS One 4 (2009).
2009 | Journal Article | IST-REx-ID: 3055
Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants
S. Naramoto, S. Sawa, K. Koizumi, T. Uemura, T. Ueda, J. Friml, A. Nakano, H. Fukuda, Development 136 (2009) 1529–1538.
View
| DOI
S. Naramoto, S. Sawa, K. Koizumi, T. Uemura, T. Ueda, J. Friml, A. Nakano, H. Fukuda, Development 136 (2009) 1529–1538.
2009 | Conference Paper | IST-REx-ID: 3703
Object localization with global and local context kernels
M. Blaschko, C. Lampert, in:, BMVA Press, 2009, pp. 1–11.
View
| DOI
| Download (ext.)
M. Blaschko, C. Lampert, in:, BMVA Press, 2009, pp. 1–11.
2009 | Journal Article | IST-REx-ID: 3949
Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.
View
| DOI
T. Quast, B. Tappertzhofen, C. Schild, J. Grell, N. Czeloth, R. Förster, R. Alon, L. Fraemohs, K. Dreck, C. Weber, T. Lämmermann, M.K. Sixt, W. Kolanus, Blood 113 (2009) 5801–5810.
2009 | Journal Article | IST-REx-ID: 3047
ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis
B. Titapiwatanakun, J. Blakeslee, A. Bandyopadhyay, H. Yang, J. Mravec, M. Sauer, Y. Cheng, J. Adamec, A. Nagashima, M. Geisler, T. Sakai, J. Friml, W. Peer, A. Murphy, Plant Journal 57 (2009) 27–44.
View
| DOI
B. Titapiwatanakun, J. Blakeslee, A. Bandyopadhyay, H. Yang, J. Mravec, M. Sauer, Y. Cheng, J. Adamec, A. Nagashima, M. Geisler, T. Sakai, J. Friml, W. Peer, A. Murphy, Plant Journal 57 (2009) 27–44.
2009 | Journal Article | IST-REx-ID: 3954
Adaptive force transmission in amoeboid cell migration
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
View
| DOI
J. Renkawitz, K. Schumann, M. Weber, T. Lämmermann, H. Pflicke, M. Piel, J. Polleux, J. Spatz, M.K. Sixt, Nature Cell Biology 11 (2009) 1438–1443.
2009 | Journal Article | IST-REx-ID: 3951
Mechanical modes of 'amoeboid' cell migration
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
View
| DOI
T. Lämmermann, M.K. Sixt, Current Opinion in Cell Biology 21 (2009) 636–644.
2009 | Journal Article | IST-REx-ID: 6144
Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
View
| DOI
| PubMed | Europe PMC
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
2009 | Journal Article | IST-REx-ID: 13417
Writing self-erasing images using metastable nanoparticle “inks”
R. Klajn, P.J. Wesson, K.J.M. Bishop, B.A. Grzybowski, Angewandte Chemie International Edition 48 (2009) 7035–7039.
View
| DOI
| PubMed | Europe PMC
R. Klajn, P.J. Wesson, K.J.M. Bishop, B.A. Grzybowski, Angewandte Chemie International Edition 48 (2009) 7035–7039.
2008 | Journal Article | IST-REx-ID: 1039 |
Quantum gas of deeply bound ground state molecules
J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
View
| DOI
| Download None (ext.)
| arXiv
J.G. Danzl, E. Haller, M. Gustavsson, M. Mark, R. Hart, N. Bouloufa, O. Dulieu, H. Ritsch, H. Nägerl, Science 321 (2008) 1062–1066.
2008 | Journal Article | IST-REx-ID: 1296
Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
View
| DOI
M.A. Jösch, J. Plett, A. Borst, D. Reiff, Current Biology 18 (2008) 368–374.
2008 | Journal Article | IST-REx-ID: 1460 |
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View
| DOI
| Download (ext.)
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
2008 | Journal Article | IST-REx-ID: 1982
Spatial regulators for bacterial cell division self-organize into surface waves in vitro
M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, P. Schwille, Science 320 (2008) 789–792.
View
| DOI
M. Loose, E. Fischer Friedrich, J. Ries, K. Kruse, P. Schwille, Science 320 (2008) 789–792.
2008 | Journal Article | IST-REx-ID: 2679
Numbers, densities, and colocalization of AMPA- and NMDA-type glutamate receptors at individual synapses in the superficial spinal dorsal horn of rats
M. Antal, Y. Fukazawa, M. Eördögh, D. Muszil, E. Molnár, M. Itakura, M. Takahashi, R. Shigemoto, Journal of Neuroscience 28 (2008) 9692–9701.
View
| DOI
M. Antal, Y. Fukazawa, M. Eördögh, D. Muszil, E. Molnár, M. Itakura, M. Takahashi, R. Shigemoto, Journal of Neuroscience 28 (2008) 9692–9701.
2008 | Journal Article | IST-REx-ID: 2753
Quantum diffusion of the random Schrödinger evolution in the scaling limit
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Acta Mathematica 200 (2008) 211–277.
2008 | Journal Article | IST-REx-ID: 3040
Cellular and molecular requirements for polar PIN targeting and transcytosis in plants
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.
View
| DOI
J. Kleine Vehn, Ł. Łangowski, J. Wiśniewska, P. Dhonukshe, P. Brewer, J. Friml, Molecular Plant 1 (2008) 1056–1066.
2008 | Journal Article | IST-REx-ID: 3751 |
Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
2008 | Journal Article | IST-REx-ID: 3827
Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses
A. Kerr, E. Reisinger, P.M. Jonas, PNAS 105 (2008) 15581–6.
View
| DOI
A. Kerr, E. Reisinger, P.M. Jonas, PNAS 105 (2008) 15581–6.
2008 | Journal Article | IST-REx-ID: 4227
Precision of the Dpp gradient
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
View
| DOI
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
2008 | Journal Article | IST-REx-ID: 3530
Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity
P. Fuentealba, R. Begum, M. Capogna, S. Jinno, L. Marton, J.L. Csicsvari, A. Thomson, P. Somogyi, T. Klausberger, Neuron 57 (2008) 917–929.
View
| DOI
P. Fuentealba, R. Begum, M. Capogna, S. Jinno, L. Marton, J.L. Csicsvari, A. Thomson, P. Somogyi, T. Klausberger, Neuron 57 (2008) 917–929.
2008 | Journal Article | IST-REx-ID: 3825 |
Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008) 2061–75.
View
| DOI
| Download (ext.)
Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008) 2061–75.
2008 | Journal Article | IST-REx-ID: 3907
Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants
M. Suefuji, S. Cremer, J. Oettler, J. Heinze, Biology Letters 4 (2008) 670–673.
View
| DOI
M. Suefuji, S. Cremer, J. Oettler, J. Heinze, Biology Letters 4 (2008) 670–673.
2007 | Journal Article | IST-REx-ID: 2135
EXAFS studies of the local atomic structure of the lead-free piezoelectric ceramics KxNa1−xNbO3 over the temperature range 10–1023K
M. Lemeshko, E. Nazarenko, A.. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
View
| DOI
M. Lemeshko, E. Nazarenko, A.. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
2007 | Journal Article | IST-REx-ID: 2145
EXAFS studies of the local atomic structure of the lead free piezoelectric ceramics Kx Na1-x Nb O3 over the temperature range 10-1023 K
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
View
| DOI
M. Lemeshko, E. Nazarenko, A. Gonchar, L. Reznichenko, T. Nedoseykina, A. Novakovich, O. Mathon, Y. Joly, R. Vedrinskiǐ, Physical Review B - Condensed Matter and Materials Physics 76 (2007).
2007 | Journal Article | IST-REx-ID: 2375 |
Number of bound states of Schrödinger operators with matrix-valued potentials
R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.
View
| DOI
| Download (ext.)
R. Frank, É. Lieb, R. Seiringer, Letters in Mathematical Physics 82 (2007) 107–116.
2007 | Journal Article | IST-REx-ID: 2495
Metabotropic glutamate receptor 4-immunopositive terminals of medium-sized spiny neurons selectively form synapses with cholinergic interneurons in the rat neostriatum
E. Kuramoto, F. Fujiyama, T. Unzai, K. Nakamura, H. Hioki, T. Furuta, R. Shigemoto, F. Ferraguti, T. Kaneko, Journal of Comparative Neurology 500 (2007) 908–922.
View
| DOI
E. Kuramoto, F. Fujiyama, T. Unzai, K. Nakamura, H. Hioki, T. Furuta, R. Shigemoto, F. Ferraguti, T. Kaneko, Journal of Comparative Neurology 500 (2007) 908–922.
2007 | Journal Article | IST-REx-ID: 2666
Developing oligodendrocytes express functional GABAB receptors that stimulate cell proliferation and migration
K. Luyt, T. Slade, J. Dorward, C. Durant, Y. Wu, R. Shigemoto, S. Mundell, A. Váradi, E. Molnár, Journal of Neurochemistry 100 (2007) 822–840.
View
| DOI
K. Luyt, T. Slade, J. Dorward, C. Durant, Y. Wu, R. Shigemoto, S. Mundell, A. Váradi, E. Molnár, Journal of Neurochemistry 100 (2007) 822–840.
2007 | Book Review | IST-REx-ID: 2670
High-resolution quantitative visualization of glutamate and GABA receptors at central synapses
M. Masugi Tokita, R. Shigemoto, Current Opinion in Neurobiology 17 (2007) 387–393.
View
| DOI
M. Masugi Tokita, R. Shigemoto, Current Opinion in Neurobiology 17 (2007) 387–393.
2007 | Journal Article | IST-REx-ID: 2750
Quantum diffusion of the random Schrödinger evolution in the scaling limit II. The recollision diagrams
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, Communications in Mathematical Physics 271 (2007) 1–53.
2007 | Conference Paper | IST-REx-ID: 3981
Alpha-beta witness complexes
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
View
| DOI
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
2007 | Journal Article | IST-REx-ID: 3027
MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.
View
| DOI
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.
2007 | Conference Paper | IST-REx-ID: 3219
Indistinguishability amplification
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
View
| DOI
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
2007 | Journal Article | IST-REx-ID: 3819
Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons
L. Li, J. Bischofberger, P.M. Jonas, Journal of Neuroscience 27 (2007) 13420–9.
View
| DOI
L. Li, J. Bischofberger, P.M. Jonas, Journal of Neuroscience 27 (2007) 13420–9.
2007 | Journal Article | IST-REx-ID: 4531
Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
View
| DOI
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
2007 | Thesis | IST-REx-ID: 4566
A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
View
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
2007 | Journal Article | IST-REx-ID: 4567
The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
2007 | Journal Article | IST-REx-ID: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 | Journal Article | IST-REx-ID: 7781
Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
View
| DOI
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
2006 | Conference Paper | IST-REx-ID: 1034 |
Experimental evidence for Efimov quantum states
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.
View
| DOI
| Download None (ext.)
H. Nägerl, T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, C. Chin, R. Grimm, in:, AIP, 2006, pp. 269–277.
2006 | Journal Article | IST-REx-ID: 1715
Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
View
| Files available
| DOI
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
2006 | Journal Article | IST-REx-ID: 1796
Novel anti-viral therapy: Drugs that block HIV entry at different target sites
S. Siegert, P. Schnierle, B. Schnierle, Mini-Reviews in Medicinal Chemistry 6 (2006) 557–562.
View
| DOI
S. Siegert, P. Schnierle, B. Schnierle, Mini-Reviews in Medicinal Chemistry 6 (2006) 557–562.
2006 | Journal Article | IST-REx-ID: 2089
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, ACM Transactions on Graphics 25 (2006) 1013–1024.
View
| DOI
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, ACM Transactions on Graphics 25 (2006) 1013–1024.
2006 | Conference Paper | IST-REx-ID: 2088
Analysis of human faces using a measurement-based skin reflectance model
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006, pp. 1013–1024.
View
| DOI
T. Weyrich, W. Matusik, H. Pfister, B. Bickel, C. Donner, C. Tu, J. Mcandless, J. Lee, A. Ngan, H. Jensen, M. Groß, in:, ACM, 2006, pp. 1013–1024.
2006 | Journal Article | IST-REx-ID: 2144
Temperature dependent XAFS studies of local atomic structure of the perovskite-type zirconates
R. Vedrinskiǐ, E. Nazarenko, M. Lemeshko, V. Nassif, O. Proux, A. Novakovich, Y. Joly, Physical Review B - Condensed Matter and Materials Physics 73 (2006).
View
| DOI
R. Vedrinskiǐ, E. Nazarenko, M. Lemeshko, V. Nassif, O. Proux, A. Novakovich, Y. Joly, Physical Review B - Condensed Matter and Materials Physics 73 (2006).
2006 | Journal Article | IST-REx-ID: 2663
A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
View
| DOI
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
2006 | Book Chapter | IST-REx-ID: 3002
In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, A. Mujib, J. Šamaj (Eds.), Somatic Embryogenesis, Springer, 2006, pp. 343–354.
View
| DOI
M. Sauer, J. Friml, in:, A. Mujib, J. Šamaj (Eds.), Somatic Embryogenesis, Springer, 2006, pp. 343–354.
2006 | Journal Article | IST-REx-ID: 3934
Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules
M. Drumea Mirancea, J. Wessels, C. Müller, M. Essl, J. Eble, E. Tolosa, M. Koch, D. Reinhardt, M.K. Sixt, L. Sorokin, Y. Stierhof, H. Schwarz, G. Klein, Journal of Cell Science 119 (2006) 1396–1405.
View
| DOI
M. Drumea Mirancea, J. Wessels, C. Müller, M. Essl, J. Eble, E. Tolosa, M. Koch, D. Reinhardt, M.K. Sixt, L. Sorokin, Y. Stierhof, H. Schwarz, G. Klein, Journal of Cell Science 119 (2006) 1396–1405.
2006 | Journal Article | IST-REx-ID: 8490
Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
View
| DOI
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
2005 | Book Chapter | IST-REx-ID: 1444 |
Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
View
| DOI
| Download (ext.)
T. Hausel, in:, Geometric Methods in Algebra and Number Theory, Springer, 2005, pp. 193–217.
2005 | Journal Article | IST-REx-ID: 1740
Pyramids and domes in the InAs/GaAs (0 0 1) and Ge/Si (0 0 1) systems
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
View
| DOI
G. Costantini, A. Rastelli, C. Manzano, P. Acosta Diaz, G. Katsaros, R. Songmuang, O. Schmidt, H. Von Känel, K. Kern, Journal of Crystal Growth 278 (2005) 38–45.
2005 | Journal Article | IST-REx-ID: 1795
Assessment of HIV-1 entry inhibitors by MLV/HIV-1 pseudotyped vectors
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
View
| DOI
S. Siegert, S. Thaler, R. Wagner, B. Schnierle, AIDS Research and Therapy 2 (2005).
2005 | Journal Article | IST-REx-ID: 2650
GABAB and CB1 cannabinoid receptor expression identifies two types of septal cholinergic neurons
G. Nyíri, E. Szabadits, C. Cserép, K. Mackie, R. Shigemoto, T. Freund, European Journal of Neuroscience 21 (2005) 3034–3042.
View
| DOI
G. Nyíri, E. Szabadits, C. Cserép, K. Mackie, R. Shigemoto, T. Freund, European Journal of Neuroscience 21 (2005) 3034–3042.
2005 | Journal Article | IST-REx-ID: 2649
Number and density of AMPA receptors in single synapses in immature cerebellum
J. Tanaka, M. Matsuzaki, E. Tarusawa, A. Momiyama, E. Molnár, H. Kasai, R. Shigemoto, Journal of Neuroscience 25 (2005) 799–807.
View
| DOI
J. Tanaka, M. Matsuzaki, E. Tarusawa, A. Momiyama, E. Molnár, H. Kasai, R. Shigemoto, Journal of Neuroscience 25 (2005) 799–807.
2005 | Journal Article | IST-REx-ID: 2654
Metabotropic glutamate receptor 8-expressing nerve terminals target subsets of GABAergic neurons in the hippocampus
F. Ferraguti, T. Klausberger, P. Cobden, A. Baude, J. Roberts, P. Szűcs, A. Kinoshita, R. Shigemoto, P. Somogyi, Y. Dalezios, Journal of Neuroscience 25 (2005) 10520–10536.
View
| DOI
F. Ferraguti, T. Klausberger, P. Cobden, A. Baude, J. Roberts, P. Szűcs, A. Kinoshita, R. Shigemoto, P. Somogyi, Y. Dalezios, Journal of Neuroscience 25 (2005) 10520–10536.
2005 | Journal Article | IST-REx-ID: 3443
Complementary roles of cholecystokinin- and parvalbumin-expressing GABAergic neurons in hippocampal network oscillations
T. Klausberger, L. Marton, J. O’Neill, J. Huck, Y. Dalezios, P. Fuentealba, W. Suen, E. Papp, T. Kaneko, M. Watanabe, J.L. Csicsvari, P. Somogyi, Journal of Neuroscience 25 (2005) 9782–9793.
View
| DOI
T. Klausberger, L. Marton, J. O’Neill, J. Huck, Y. Dalezios, P. Fuentealba, W. Suen, E. Papp, T. Kaneko, M. Watanabe, J.L. Csicsvari, P. Somogyi, Journal of Neuroscience 25 (2005) 9782–9793.
2005 | Book Review | IST-REx-ID: 3812
Asynchronous GABA release generates long-lasting inhibition at a hippocampal interneuron-principal neuron synapse (Review)
S. Hefft, P.M. Jonas, Nature Neuroscience 8 (2005) 1319–28.
View
| DOI
S. Hefft, P.M. Jonas, Nature Neuroscience 8 (2005) 1319–28.
2005 | Journal Article | IST-REx-ID: 3611
Mating patterns in a Bombina hybrid zone: Inferences from adult and full sib genotypes
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
View
| DOI
B. Nürnberger, N.H. Barton, L. Kruuk, T. Vines, Heredity 94 (2005) 247–257.
2005 | Journal Article | IST-REx-ID: 3613
Genetic variation for total fitness in Drosophila melanogaster: Complex yet replicable patterns
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
View
| DOI
M. Gardner, K. Fowler, N.H. Barton, L. Patridge, Genetics 169 (2005) 1553–1571.
2005 | Journal Article | IST-REx-ID: 4144
Wnt11 functions in gastrulation by controlling cell cohesion through Rab5c and E-cadherin
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
View
| DOI
F. Ulrich, M. Krieg, E. Schötz, V. Link, I. Castanon, V. Schnabel, A. Taubenberger, D. Müller, P. Puech, C.-P.J. Heisenberg, Developmental Cell 9 (2005) 555–564.
2005 | Journal Article | IST-REx-ID: 4155
Measuring cell adhesion forces of primary gastrulating cells from zebrafish using atomic force microscopy
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
View
| DOI
P. Puech, A. Taubenberger, F. Ulrich, M. Krieg, D. Mueller, C.-P.J. Heisenberg, Journal of Cell Science 118 (2005) 4199–4206.
2005 | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
2005 | Journal Article | IST-REx-ID: 9491 |
DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.K. Tran, J.G. Henikoff, D. Zilberman, R.F. Ditt, S.E. Jacobsen, S. Henikoff, Current Biology 15 (2005) 154–159.
2005 | Journal Article | IST-REx-ID: 9514 |
Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.K. Tran, D. Zilberman, C. de Bustos, R.F. Ditt, J.G. Henikoff, A.M. Lindroth, J. Delrow, T. Boyle, S. Kwong, T.D. Bryson, S.E. Jacobsen, S. Henikoff, Genome Biology 6 (2005).
2004 | Journal Article | IST-REx-ID: 1456 |
Hodge cohomology of gravitational instantons
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
View
| DOI
| Download (ext.)
T. Hausel, E. Hunsicker, R. Mazzeo, Duke Mathematical Journal 122 (2004) 485–548.
2004 | Journal Article | IST-REx-ID: 1464 |
Generators for the cohomology ring of the moduli space of rank 2 higgs bundles
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
2004 | Journal Article | IST-REx-ID: 2639
GABAergic basket cells expressing cholecystokinin contain vesicular glutamate transporter type 3 (VGLUT3) in their synaptic terminals in hippocampus and isocortex of the rat
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
View
| DOI
J. Somogyi, A. Baude, Y. Omori, H. Shimizu, S. El Mestikawy, M. Fukaya, R. Shigemoto, M. Watanabe, P. Somogyi, European Journal of Neuroscience 19 (2004) 552–569.
2004 | Journal Article | IST-REx-ID: 2638
Immunocytochemical localization of the α1A subunit of the P/Q-type calcium channel in the rat cerebellum
Á. Kulik, K. Nakadate, A. Hagiwara, Y. Fukazawa, R. Luján, H. Saito, N. Suzuki, A. Futatsugi, K. Mikoshiba, M. Frotscher, R. Shigemoto, European Journal of Neuroscience 19 (2004) 2169–2178.
View
| DOI
Á. Kulik, K. Nakadate, A. Hagiwara, Y. Fukazawa, R. Luján, H. Saito, N. Suzuki, A. Futatsugi, K. Mikoshiba, M. Frotscher, R. Shigemoto, European Journal of Neuroscience 19 (2004) 2169–2178.
2004 | Journal Article | IST-REx-ID: 2644
Depression of GABAergic input to identified hippocampal neurons by group III metabotropic glutamate receptors in the rat
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
View
| DOI
N. Kogo, Y. Dalezios, M. Capogna, F. Ferraguti, R. Shigemoto, P. Somogyi, European Journal of Neuroscience 19 (2004) 2727–2740.
2004 | Journal Article | IST-REx-ID: 2741
Uniform Lieb-Thirring inequality for the three-dimensional Pauli operator with a strong non-homogeneous magnetic field
L. Erdös, J. Solovej, Annales Henri Poincare 5 (2004) 671–741.
View
| DOI
L. Erdös, J. Solovej, Annales Henri Poincare 5 (2004) 671–741.
2004 | Journal Article | IST-REx-ID: 3810
Functional conversion between A-type and delayed rectifier K+ channels by membrane lipids
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.
View
| DOI
D. Oliver, C. Lien, M. Soom, T. Baukrowitz, P.M. Jonas, B. Fakler, Science 304 (2004) 265–70.
2004 | Journal Article | IST-REx-ID: 4253
Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
View
| Download (ext.)
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
2004 | Journal Article | IST-REx-ID: 3809
Enhanced synaptic plasticity in newly generated granule cells of the adult hippocampus
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.
View
| DOI
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Nature 429 (2004) 184–7.
2004 | Thesis | IST-REx-ID: 4424
Program verification by lazy abstraction
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
View
R. Jhala, Program Verification by Lazy Abstraction, University of California, Berkeley, 2004.
2004 | Conference Paper | IST-REx-ID: 4445
A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
View
| DOI
T.A. Henzinger, C. Kirsch, in:, ACM, 2004, pp. 104–113.
2004 | Journal Article | IST-REx-ID: 875
A common framework for understanding the origin of genetic dominance and evolutionary fates of gene duplications
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
View
| DOI
F. Kondrashov, E. Koonin, Trends in Genetics 20 (2004) 287–291.
2003 | Journal Article | IST-REx-ID: 2629
High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, R. Shigemoto, European Journal of Neuroscience 17 (2003) 2503–2520.
View
| DOI
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, R. Shigemoto, European Journal of Neuroscience 17 (2003) 2503–2520.
2003 | Journal Article | IST-REx-ID: 2633
Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats
C. Millán, E. Castro, M. Torres, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 278 (2003) 23955–23962.
View
| DOI
C. Millán, E. Castro, M. Torres, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 278 (2003) 23955–23962.
2003 | Journal Article | IST-REx-ID: 2632
Cell type-dependent expression of HCN1 in the main olfactory bulb
N. Holderith, R. Shigemoto, Z. Nusser, European Journal of Neuroscience 18 (2003) 344–354.
View
| DOI
N. Holderith, R. Shigemoto, Z. Nusser, European Journal of Neuroscience 18 (2003) 344–354.
2002 | Conference Paper | IST-REx-ID: 1738
Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
View
| DOI
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
2002 | Journal Article | IST-REx-ID: 2617 |
Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology 542 (2002) 193–210.
View
| DOI
| Download (ext.)
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology 542 (2002) 193–210.
2002 | Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.