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.

5761 Publications


2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, et al. Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin. IEEE, 2002, pp. 132–39, doi:10.1145/774572.774592.
View | DOI
 

2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. Games in Open Systems Verification and Synthesis. University of California, Berkeley, 2002, pp. 1–116.
View
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, et al. A Giotto-Based Helicopter Control System. Vol. 2491, ACM, 2002, pp. 46–60, doi:10.1007/3-540-45828-X_5.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, et al. Trading Probability for Fairness. Vol. 2471, Springer, 2002, pp. 292–305, doi:10.1007/3-540-45793-3_20.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, et al. Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms. Vol. 15, no. 1, Elsevier, 2002, doi:10.3182/20020721-6-ES-1901.01628.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A., and Christoph Kirsch. The Embedded Machine: Predictable, Portable Real-Time Code. ACM, 2002, pp. 315–26, doi:10.1145/512529.512567.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A., et al. Time-Safety Checking for Embedded Programs. Vol. 2491, ACM, 2002, pp. 76–92, doi:10.1007/3-540-45828-X_7.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A., et al. Synthesis of Uninitialized Systems. Vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A., et al. Temporal Safety Proofs for Systems Code. Vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A., et al. “Fair Simulation.” Information and Computation, vol. 173, no. 1, Elsevier, 2002, pp. 64–81, doi:10.1006/inco.2001.3085.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. Lazy Abstraction. ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. Synchronous and Bidirectional Component Interfaces. Vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. Interface Compatibility Checking for Software Modules. Vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. A Comparison of Control Problems for Timed and Hybrid Systems. Vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, et al. Timed Interfaces. Vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 925–29, doi:10.1038/nature01170.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 899–903, doi:10.1038/nature01169.
View | DOI | PubMed | Europe PMC
 

2002 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, Vladimir, and Ramin Zabih. Multi-Camera Scene Reconstruction via Graph Cuts. Springer, 2002, pp. 65–81, doi:10.1007/3-540-47977-5_5.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2986
Friml, Jirí, et al. “Lateral Relocation of Auxin Efflux Regulator PIN3 Mediates Tropism in Arabidopsis.” Nature, vol. 415, no. 6873, Nature Publishing Group, 2002, pp. 806–09, doi:10.1038/415806a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2987
Souter, Martin, et al. “Hydra Mutants of Arabidopsis Are Defective in Sterol Profiles and Auxin and Ethylene Signaling.” Plant Cell, vol. 14, no. 5, American Society of Plant Biologists, 2002, pp. 1017–31, doi:10.1105/tpc.001248.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2988
Grebe, Markus, et al. “Cell Polarity Signaling in Arabidopsis Involves a BFA Sensitive Auxin Influx Pathway.” Current Biology, vol. 12, no. 4, Cell Press, 2002, pp. 329–34, doi:10.1016/S0960-9822(02)00654-1.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2989
Friml, Jirí, et al. “AtPIN4 Mediates Sink-Driven Auxin Gradients and Root Patterning in Arabidopsis.” Cell, vol. 108, no. 5, Cell Press, 2002, pp. 661–73, doi:10.1016/S0092-8674(02)00656-6.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2991
Friml, Jirí, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?” Plant Molecular Biology, vol. 49, no. 3–4, Springer, 2002, pp. 273–84, doi:10.1023/A:1015248926412.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3140
Hippenmeyer, Simon, et al. “A Role for Neuregulin1 Signaling in Muscle Spindle Differentiation.” Neuron, vol. 36, no. 6, Elsevier, 2002, pp. 1035–49, doi:10.1016/S0896-6273(02)01101-7.
View | DOI
 

2002 | Book Review | IST-REx-ID: 3421
Mueller, Daniel, et al. “Observing Structure, Function and Assembly of Single Proteins by AFM.” Progress in Biophysics and Molecular Biology, vol. 79, no. 1–3, Elsevier, 2002, pp. 1–43, doi:10.1016/S0079-6107(02)00009-3.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3422
Müller, Patrick, et al. “Processing of Gene Expression Data Generated by Quantitative Real-Time RT-PCR.” Biotechniques, vol. 32, no. 6, Informa Healthcare, 2002, pp. 1372–79.
View
 

2002 | Conference Paper | IST-REx-ID: 3423
Bauer, Wolfgang, et al. The Percolation Interpretation of the Nuclear Fragmentation Phase Transition. EP Systema, 2002, pp. 111–18.
View
 

2002 | Conference Paper | IST-REx-ID: 3424
Bollenbach, Tobias, and Wolfgang Bauer. 3d Supernovae Collapse Calculations. Vol. 644, American Institute of Physics, 2002, pp. 219–32, doi:10.1063/1.1523196 .
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 3448
Mallick, Sanhita, et al. Implementation of Shape Grammar for Plan Analysis. Elsevier, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 3497
Geiger, Jörg, et al. “Patch-Clamp Recording in Brain Slices with Improved Slicer Technology.” Pflugers Archiv : European Journal of Physiology, vol. 443, no. 3, Springer, 2002, pp. 491–501, doi:10.1007/s00424-001-0735-3.
View | DOI
 

2002 | Patent | IST-REx-ID: 3508
Edelsbrunner, Herbert, and Ping Fu. Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points. Elsevier, 2002, doi:US 6,377,865 B1.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3533
Buzsáki, György, et al. “Homeostatic Maintenance of Neuronal Excitability by Burst Discharges in Vivo.” Cerebral Cortex, vol. 12, no. 9, Oxford University Press, 2002, pp. 893–99, doi:10.1093/cercor/12.9.893.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, Mark, et al. “General Models of Multilocus Evolution.” Genetics, vol. 161, no. 4, Genetics Society of America, 2002, pp. 1727–50.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3757
Guet, Calin C., et al. “Combinatorial Synthesis of Genetic Networks.” Science, vol. 296, no. 5572, American Association for the Advancement of Science, 2002, pp. 1466–70, doi:10.1126/science.1067407.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
Lien, Cheng, et al. “Gating, Modulation and Subunit Composition of Voltage-Gated K(+) Channels in Dendritic Inhibitory Interneurones of Rat Hippocampus.” Journal of Physiology, vol. 538, no. Pt 2, Wiley-Blackwell, 2002, pp. 405–19, doi: 10.1113/jphysiol.2001.013066.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 3800
Bartos, Marlene, et al. “Fast Synaptic Inhibition Promotes Synchronized Gamma Oscillations in Hippocampal Interneuron Networks.” PNAS, vol. 99, no. 20, National Academy of Sciences, 2002, pp. 13222–27, doi:10.1073/pnas.192233099.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3801
Hefft, Stefan, et al. “Presynaptic Short-Term Depression Is Maintained during Regulation of Transmitter Release at a GABAergic Synapse in Rat Hippocampus.” Journal of Physiology, vol. 539, no. Pt 1, Wiley-Blackwell, 2002, pp. 201–08, doi:10.1113/jphysiol.2001.013455.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3802
Bischofberger, Josef, et al. “Timing and Efficacy of Ca(2+) Channel Activation in Hippocampal Mossy Fiber Boutons.” Journal of Neuroscience, vol. 22, no. 24, Society for Neuroscience, 2002, pp. 10593–602.
View
 

2002 | Journal Article | IST-REx-ID: 3803
Bischofberger, Josef, and Peter M. Jonas. “TwoB or Not TwoB: Differential Transmission at Glutamatergic Mossy Fiber-Interneuron Synapses in the Hippocampus.” Trends in Neurosciences, vol. 25, no. 12, Elsevier, 2002, pp. 600–03, doi:10.1016/S0166-2236(02)02259-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Cremer, Sylvia, and Jürgen Heinze. “Adaptive Production of Fighter Males: Queens of the Ant Cardiocondyla Adjust the Sex Ratio under Local Mate Competition.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 269, no. 1489, Royal Society, The, 2002, pp. 417–22, doi:10.1098/rspb.2001.1892.
View | DOI | Download None (ext.)
 

2002 | Journal Article | IST-REx-ID: 3920
Turillazzi, Stefano, et al. “A Method for Analysing Small-Size Specimens in GC-MS.” Insect Social Life, vol. 4, Elsevier, 2002, pp. 169–75.
View
 

2002 | Journal Article | IST-REx-ID: 3924
Cremer, Sylvia, et al. “A Transitional Stage between the Ergatoid and Winged Male Morph in the Ant Cardiocondyla Obscurior.” Insectes Sociaux, vol. 49, no. 3, Springer, 2002, pp. 221–28, doi:10.1007/s00040-002-8305-z.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
Cremer, Sylvia, et al. “Chemical Mimicry: Male Ants Disguised by the Queen’s Bouquet.” Nature, vol. 419, Nature Publishing Group, 2002, pp. 897–897, doi:10.1038/419897a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, Pankaj, et al. “Algorithmic Issues in Modeling Motion.” ACM Computing Surveys, vol. 34, no. 4, ACM, 2002, pp. 550–72, doi:10.1145/592642.592647.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner, Herbert, et al. “Topological Persistence and Simplification.” Discrete & Computational Geometry, vol. 28, no. 4, Springer, 2002, pp. 511–33, doi:10.1007/s00454-002-2885-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner, Herbert, and Damrong Guoy. “An Experimental Study of Sliver Exudation.” Engineering with Computers, vol. 18, no. 3, Springer, 2002, pp. 229–40, doi:10.1007/s003660200020.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian, Afra, and Herbert Edelsbrunner. “Fast Software for Box Intersections.” International Journal of Computational Geometry and Applications, vol. 12, no. 1–2, World Scientific Publishing, 2002, pp. 143–72, doi:10.1142/S0218195902000785.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, Pankaj, et al. Computing the Writhing Number of a Polygonal Knot. SIAM, 2002, pp. 791–99.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova, Jitka, and P. Stopka. “Geometry of Social Relationships in the Old World Wood Mouse, Apodemus Sylvaticus.” Canadian Journal of Zoology, vol. 80, no. 8, NRC Research Press, 2002, pp. 1383–88, doi:3820.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4148
Tada, Masazumi, et al. “Non-Canonical Wnt Signalling and Regulation of Gastrulation Movements.” Seminars in Cell & Developmental Biology, vol. 13, no. 3, Academic Press, 2002, pp. 251–60, doi:10.1016/S1084-9521(02)00052-6.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 859
Perelygin, Andrey, et al. “Evolution of the Mouse Polyubiquitin C Gene.” Journal of Molecular Evolution, vol. 55, no. 2, Springer, 2002, pp. 202–10, doi:10.1007/s00239-002-2318-0.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 871
Kondrashov, Fyodor, et al. “Selection in the Evolution of Gene Duplications .” Genome Biology, vol. 3, no. 2, BioMed Central, 2002, doi:10.1186/gb-2002-3-2-research0008.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 885
Kondrashov, Alexey, et al. “Dobzhansky-Muller Incompatibilities in Protein Evolution.” PNAS, vol. 99, no. 23, National Academy of Sciences, 2002, pp. 14878–83, doi:10.1073/pnas.232565499.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 897
Castillo Davis, Cristian, et al. “Selection for Short Introns in Highly Expressed Genes.” Nature Genetics, vol. 31, no. 4, Nature Publishing Group, 2002, pp. 415–18, doi:10.1038/ng940.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1032
Fürst, Johannes, et al. “ICln Ion Channel Splice Variants in Caenorhabditis Elegans: Voltage Dependence and Interaction with an Operon Partner Protein.” Journal of Biological Chemistry, vol. 277, no. 6, American Society for Biochemistry and Molecular Biology, 2002, pp. 4435–45, doi:10.1074/jbc.M107372200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
Hausel, Tamas, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica, vol. 7, no. 1, Deutsche Mathematiker Vereinigung, 2002, pp. 495–534.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer, Robert. Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula. Edited by Michael Demuth and Bert Schultze, vol. 126, Birkhäuser, 2001, pp. 307–14, doi:10.1007/978-3-0348-8231-6.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner, Bernhard, and Robert Seiringer. “Atoms with Bosonic "Electrons" in Strong Magnetic Fields.” Annales Henri Poincare, vol. 2, no. 1, Birkhäuser, 2001, pp. 41–76, doi:10.1007/PL00001032.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2345 | OA
Seiringer, Robert. “On the Maximal Ionization of Atoms in Strong Magnetic Fields.” Journal of Physics A: Mathematical and General, vol. 34, no. 9, IOP Publishing Ltd., 2001, pp. 1943–48, doi:10.1088/0305-4470/34/9/311.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346 | OA
Hainzl, Christian, and Robert Seiringer. “Bounds on One-Dimensional Exchange Energies with Application to Lowest Landau Band Quantum Mechanics.” Letters in Mathematical Physics, vol. 55, no. 2, Springer, 2001, pp. 133–42, doi:10.1023/A:1010951905548.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2347 | OA
Lieb, Élliott, et al. “A Rigorous Derivation of the Gross-Pitaevskii Energy Functional for a Two-Dimensional Bose Gas.” Communications in Mathematical Physics, vol. 224, no. 1, Springer, 2001, pp. 17–31, doi:10.1007/s002200100533.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl, Christian, and Robert Seiringer. “A Discrete Density Matrix Theory for Atoms in Strong Magnetic Fields.” Communications in Mathematical Physics, vol. 217, no. 1, Springer, 2001, pp. 229–48, doi:10.1007/s002200100373.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2419
Wagner, Uli, and Emo Welzl. “A Continuous Analogue of the Upper Bound Theorem.” Discrete & Computational Geometry, vol. 26, no. 2, Springer, 2001, pp. 205–19, doi:10.1007/s00454-001-0028-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2604
Ruocco, Isabella, et al. “Light and Electron Microscopic Study of the Distribution of Substance P-Immunoreactive Fibers and Neurokinin-1 Receptors in the Skin of the Rat Lower Lip.” Journal of Comparative Neurology, vol. 432, no. 4, Wiley-Blackwell, 2001, pp. 466–80, doi:10.1002/cne.1114.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2605
Geurts, Frederik, et al. “Morphological and Neurochemical Differentiation of Large Granular Layer Interneurons in the Adult Rat Cerebellum.” Neuroscience, vol. 104, no. 2, Elsevier, 2001, pp. 499–512, doi:10.1016/S0306-4522(01)00058-6.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
Martínez, Galán, et al. “Cajal-Retzius Cells in Early Postnatal Mouse Cortex Selectively Express Functional Metabotropic Glutamate Receptors.” European Journal of Neuroscience, vol. 13, no. 6, Wiley-Blackwell, 2001, pp. 1147–54, doi:10.1046/j.0953-816X.2001.01494.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2607
Mion, Silvia, et al. “Bidirectional Regulation of Neurite Elaboration by Alternatively Spliced Metabotropic Glutamate Receptor 5 (MGluR5) Isoforms.” Molecular and Cellular Neuroscience, vol. 17, no. 6, Academic Press, 2001, pp. 957–72, doi:10.1006/mcne.2001.0993.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2608
López Bendito, Guillermina, et al. “Developmental Changes in the Localisation of the MGluR1α Subtype of Metabotropic Glutamate Receptors in Purkinje Cells.” Neuroscience, vol. 105, no. 2, Elsevier, 2001, pp. 413–29, doi:10.1016/S0306-4522(01)00188-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2609
Tamaru, Y., et al. “Distribution of Metabotropic Glutamate Receptor MGluR3 in the Mouse CNS: Differential Location Relative to Pre- and Postsynaptic Sites.” Neuroscience, vol. 106, no. 3, Elsevier, 2001, pp. 481–503, doi:10.1016/S0306-4522(01)00305-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2610
Sansig, Gilles, et al. “Increased Seizure Susceptibility in Mice Lacking Metabotropic Glutamate Receptor 7.” Journal of Neuroscience, vol. 21, no. 22, Society for Neuroscience, 2001, pp. 8734–45.
View
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, Isabella, et al. “Sympathectomies Lead to Transient Substance P-Immunoreactive Sensory Fibre Plasticity in the Rat Skin.” Neuroscience, vol. 108, no. 1, Elsevier, 2001, pp. 157–66, doi:10.1016/S0306-4522(01)00158-0.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
Li, Jin, et al. “Immunocytochemical Localization of GABAB Receptors in Mesencephalic Trigeminal Nucleus Neurons in the Rat.” Neuroscience Letters, vol. 315, no. 1–2, Elsevier, 2001, pp. 93–97, doi:10.1016/S0304-3940(01)02321-7.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös, László. “Long Time Dynamics of an Electron in a Weakly Coupled Phonon Field.” ICMP: International Congress on Mathematical Physics, World Scientific Publishing, 2001, pp. 273–81.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös, László, and Jan Solovej. “The Kernel of Dirac Operators on S3 and R3.” Reviews in Mathematical Physics, vol. 13, no. 10, World Scientific Publishing, 2001, pp. 1247–80, doi:10.1142/S0129055X01000983.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös, László. “Lifschitz Tail in a Magnetic Field: Coexistence of Classical and Quantum Behavior in the Borderline Case.” Probability Theory and Related Fields, vol. 121, no. 2, Springer, 2001, pp. 219–36, doi:10.1007/PL00008803.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös, László, and Horng Yau. “Derivation of the Nonlinear Schrödinger Equation from a Many Body Coulomb System.” Advances in Theoretical and Mathematical Physics, vol. 5, no. 6, International Press, 2001, pp. 1169–205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, Carl, et al. “A Mutation in the Gsk3-Binding Domain of Zebrafish Masterblind/Axin1 Leads to a Fate Transformation of Telencephalon and Eyes to Diencephalon.” Genes and Development, vol. 15, no. 11, Cold Spring Harbor Laboratory Press, 2001, pp. 1427–34, doi:10.1101/gad.194301.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, Jonathan P., and John Huelsenbeck. “Phylogeny, Genome Evolution, and Host Specificity of Single-Stranded RNA Bacteriophage (Family Leviviridae).” Journal of Molecular Evolution, vol. 52, no. 2, Springer, 2001, pp. 117–28, doi:10.1007/s002390010140.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, et al. “Theory and Speciation.” Trends in Ecology and Evolution, vol. 16, no. 7, Cell Press, 2001, pp. 330–43, doi:10.1016/S0169-5347(01)02177-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, Sarah, and Nicholas H. Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution, vol. 55, no. 10, Wiley-Blackwell, 2001, pp. 1921–31, doi:10.1111/j.0014-3820.2001.tb01310.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, Nicholas H. “The Role of Hybridisation in Evolution.” Molecular Ecology, vol. 10, no. 3, Wiley-Blackwell, 2001, pp. 551–68, doi:10.1046/j.1365-294X.2001.01216.x.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–92.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” Dispersal, Oxford University Press, 2001.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A., and Christoph Kirsch. “EMSOFT: Embedded Software.” EMSOFT: Embedded Software , vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A., et al. Some Lessons from the HYTECH Experience. Vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A., et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. Vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. Embedded Control Systems Development with Giotto. ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A., et al. Giotto: A Time-Triggered Language for Embedded Programming. Vol. 2211, ACM, 2001, pp. 166–84, doi:1303.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, et al. A Reusable and Platform-Independent Framework for Distributed Control Systems. IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, et al. JMocha: A Model-Checking Tool That Exploits Design Structure. IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. Interface Automata. ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A. Henzinger. Interface Theories for Component-Based Design. Vol. 2211, ACM, 2001, pp. 148–65, doi:10.1007/3-540-45449-7_11.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, et al. Compositional Methods for Probabilistic Systems. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, et al. Symbolic Algorithms for Infinite-State Games. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, et al. The Control of Synchronous Systems, Part II. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, et al. MCWEB: A Model-Checking Tool for Web-Site Debugging. ACM, 2001, pp. 86–87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, et al. From Verification to Control: Dynamic Programs for Omega-Regular Objectives. IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
View | DOI
 

Search

Filter Publications