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.
9084 Publications
2007 | Conference Paper | IST-REx-ID: 2794
Hof B, Tax W, Westerweel J. Lifetime of turbulence in pipe flow. In: Vol 117. Springer; 2007:556-558. doi:10.1007/978-3-540-72604-3_177
View
| DOI
2007 | Journal Article | IST-REx-ID: 2893
Carneiro J, Leon K, Caramalho Í, et al. When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells. Immunological Reviews. 2007;216(1):48-68. doi:10.1111/j.1600-065X.2007.00487.x
View
| DOI
2007 | Journal Article | IST-REx-ID: 2896
Paixao T, Carvalho T, Calado D, Carneiro J. Quantitative insights into stochastic monoallelic expression of cytokine genes. Immunology and Cell Biology. 2007;85(4):315-322. doi:10.1038/sj.icb.7100057
View
| DOI
2007 | Conference Paper | IST-REx-ID: 2933
Kumar MP, Kolmogorov V, Torr P. An Analysis of Convex Relaxations for MAP Estimation. In: Neural Information Processing Systems; 2007.
View
2007 | Journal Article | IST-REx-ID: 3019
Blakeslee J, Bandyopadhyay A, Ok R, et al. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 2007;19(1):131-147. doi:10.1105/tpc.106.040782
View
| DOI
2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe P, Šamaj J, Baluška F, Friml J. A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 2007;29(4):371-381. doi:10.1002/bies.20559
View
| DOI
| PubMed | Europe PMC
2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay A, Blakeslee J, Lee O, et al. Interactions of PIN and PGP auxin transport mechanisms. In: Vol 35. Portland Press; 2007:137-141. doi:10.1042/BST0350137
View
| DOI
2007 | Journal Article | IST-REx-ID: 3029
Laplaze L, Benková E, Casimiro I, et al. Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. 2007;19(12):3889-3900. doi:10.1105/tpc.107.055863
View
| DOI
2007 | Journal Article | IST-REx-ID: 3026
Růžička K, Ljung K, Vanneste S, et al. Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution. Plant Cell. 2007;19(7):2197-2212. doi:10.1105/tpc.107.052126
View
| DOI
2007 | Journal Article | IST-REx-ID: 3028
Michniewicz M, Zago M, Abas L, et al. Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. 2007;130(6):1044-1056. doi:10.1016/j.cell.2007.07.033
View
| DOI
2007 | Journal Article | IST-REx-ID: 3024
Vieten A, Sauer M, Brewer P, Friml J. Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. 2007;12(4):160-168. doi:10.1016/j.tplants.2007.03.006
View
| DOI
| PubMed | Europe PMC
2007 | Conference Paper | IST-REx-ID: 3192
Rother C, Kolmogorov V, Lempitsky V, Szummer M. Optimizing binary MRFs via extended roof duality. In: IEEE; 2007. doi:10.1109/CVPR.2007.383203
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. Applications of parametric maxflow in computer vision. In: IEEE; 2007. doi:10.1109/ICCV.2007.4408910
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 3193
Kolmogorov V, Rother C. Minimizing nonsubmodular functions with graph cuts - A review. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2007;29(7):1274-1279. doi:10.1109/TPAMI.2007.1031
View
| DOI
2007 | Journal Article | IST-REx-ID: 3187
Blake A, Criminisi A, Cross G, Kolmogorov V, Rother C. Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. 2007;28:295-304. doi:10.1007/978-3-540-48113-3_27
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3218
Pietrzak KZ. Non-trivial black-box combiners for collision-resistant hash-functions don’t exist. In: Vol 4515. Springer; 2007:23-33. doi:10.1007/978-3-540-72540-4_2
View
| DOI
2007 | Journal Article | IST-REx-ID: 3305
Desai M, Weissman D, Feldman M. Evolution can favor antagonistic epistasis. Genetics. 2007;177(2):1001-1010. doi:10.1534/genetics.107.075812
View
| DOI
2007 | Journal Article | IST-REx-ID: 3411 | 
Preiner J, Janovjak HL, Rankl C, et al. Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. 2007;93(3):930-937. doi:10.1529/biophysj.106.096982
View
| DOI
| Download (ext.)
2007 | Book Review | IST-REx-ID: 3412
Kedrov A, Janovjak HL, Sapra T, Mueller D. Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy. Annual Review of Biophysics. 2007;36:233-260. doi:10.1146/annurev.biophys.36.040306.132640
View
| DOI
2007 | Journal Article | IST-REx-ID: 3427 |
Bollenbach MT, Kruse K, Pantazis P, Gonzalez Gaitan M, Julicher F. Morphogen transport in epithelia. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2007;75(1). doi:10.1103/PhysRevE.75.011901
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 3523
Csicsvari JL, O’Neill J, Allen K, Senior T. Place-selective firing contributes to the reverse-order reactivation of CA1 pyramidal cells during sharp waves in open-field exploration. European Journal of Neuroscience. 2007;26(3):704-716. doi:10.1111/j.1460-9568.2007.05684.x
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3601
Yang E, Haridas N, El Rayis A, Erdogan A, Arslan T, Barton NH. Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications. In: IEEE; 2007:27-34. doi:10.1109/AHS.2007.76
View
| DOI
2007 | Report | IST-REx-ID: 3687
Blaschko M, Hofmann T, Lampert C. Efficient Subwindow Search for Object Localization. Max-Planck-Institute for Biological Cybernetics; 2007.
View
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3701
Ulges A, Lampert C, Keysers D, Breuel T. Optimal dominant motion estimation using adaptive search of transformation space. In: Vol 4713. Springer; 2007:204-213. doi:10.1007/978-3-540-74936-3_21
View
| DOI
2007 | Journal Article | IST-REx-ID: 3731
Kinney J, Tkačik G, Callan C. Precise physical models of protein-DNA interaction from high-throughput data. PNAS. 2007;104(2):501-506. doi:10.1073/pnas.0609908104
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 3765
Bargteil A, Wojtan C, Hodgins J, Turk G. A finite element method for animating large viscoplastic flow. ACM Transactions on Graphics. 2007;26(3). doi:10.1145/1276377.1276397
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3762
Wojtan C, Carlson M, Mucha P, Turk G. Animating corrosion and erosion. In: Eurographics Association; 2007:15-22. doi:10.2312/NPH/NPH07/015-022
View
| DOI
| Download None (ext.)
2007 | Journal Article | IST-REx-ID: 3816
Bartos M, Vida I, Jonas PM. Synaptic mechanisms of synchronized gamma oscillations in inhibitory interneuron networks (Review). Nature Reviews Neuroscience. 2007;8(1):45-56. doi:10.1038/nrn2044
View
| DOI
2007 | Journal Article | IST-REx-ID: 3911
Ugelvig LV, Cremer S. Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. 2007;17(22):1967-1971. doi:10.1016/j.cub.2007.10.029
View
| DOI
2007 | Journal Article | IST-REx-ID: 3909
Cremer S, Armitage S, Schmid Hempel P. Social immunity. Current Biology. 2007;17(16):R693-R702. doi:10.1016/j.cub.2007.06.008
View
| DOI
2007 | Journal Article | IST-REx-ID: 3910
Hughes D, Cremer S. Plasticity in anti-parasite behaviours and its suggested role in invasion biology. Animal Behaviour. 2007;74(5):1593-1599. doi:10.1016/j.anbehav.2006.12.025
View
| DOI
2007 | Journal Article | IST-REx-ID: 3976
Headd J, Ban YEA, Brown P, Edelsbrunner H, Vaidya M, Rudolph J. Protein-protein interfaces: Properties, preferences, and projections. Journal of Proteome Research. 2007;6(7):2576-2586. doi:10.1021/pr070018+
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. Alpha-beta witness complexes. In: Vol 4619. Springer; 2007:386-397. doi:10.1007/978-3-540-73951-7_34
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3975
Bendich P, Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. Inferring local homology from sampled stratified spaces. In: IEEE; 2007:536-546. doi:10.1109/FOCS.2007.33
View
| DOI
2007 | Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 2007;37(1):59-77. doi:10.1007/s00454-006-1274-7
View
| DOI
2007 | Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 2007;261:159-192. doi:10.1016/S0074-7696(07)61004-3
View
| DOI
2007 | Journal Article | IST-REx-ID: 4182
Krieg M, Arboleda Y, Müller D, Heisenberg C-PJ. The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation. European Journal of Cell Biology. 2007;86(Supplement 1):39-39. doi:10.1016/j.ejcb.2007.02.002
View
| DOI
2007 | Journal Article | IST-REx-ID: 4225
Bollenbach MT, Vetsigian K, Kishony R. Evolution and multilevel optimization of the genetic code. Genome Research. 2007;17(4):401-404. doi:10.1101/gr.6144007
View
| DOI
2007 | Journal Article | IST-REx-ID: 4226
Kicheva A, Pantazis P, Bollenbach T, et al. Kinetics of morphogen gradient formation. Science. 2007;315(5811):521-525. doi:10.1126/science.1135774
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4342
Danowski P. Library 2.0 and User-Generated Content - What can the users do for us? In: IFLA; 2007. doi:601
View
| DOI
| Download None (ext.)
2007 | Journal Article | IST-REx-ID: 4344
Danowski P, Heller L. Bibliothek 2.0 ? Wird alles anders? Bibliothek - Forschung Und Praxis. 2007;31(2007):130-136. doi:45
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, et al. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2007;2(2). doi:10.1371/journal.pone.0000197
View
| DOI
2007 | Journal Article | IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. Genes under positive selection in Escherichia coli. Genome Research. 2007;17(9):1336-1343. doi:10.1101/gr.6254707
View
| DOI
2007 | Journal Article | IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 2007;24(6):1397-1406. doi:10.1093/molbev/msm056
View
| DOI
2007 | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 2007;17(1):117-125. doi:10.1101/gr.5890907
View
| DOI
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, et al. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 2007;17(6):520-527. doi:10.1016/j.cub.2007.01.052
View
| DOI
2007 | Journal Article | IST-REx-ID: 3027
Malenica N, Abas L, Benjamins R, et al. MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. 2007;51(4):537-550. doi:10.1111/j.1365-313X.2007.03158.x
View
| DOI
2007 | Journal Article | IST-REx-ID: 3144
Hippenmeyer S, Huber R, Ladle D, Murphy K, Arber S. ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. 2007;55(5):726-740. doi:10.1016/j.neuron.2007.07.028
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3223
Dodis Y, Pietrzak KZ. Improving the security of MACs via randomized message preprocessing. In: Vol 4593. Springer; 2007:414-433. doi:10.1007/978-3-540-74619-5_26
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak KZ, Wikström D. Parallel repetition of computationally sound protocols revisited. In: Vol 4392. Springer; 2007:86-102. doi:10.1007/978-3-540-70936-7_5
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3220
Dziembowski S, Pietrzak KZ. Intrusion resilient secret sharing. In: IEEE; 2007:227-237. doi:10.1109/FOCS.2007.63
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3219
Maurer U, Pietrzak KZ, Renner R. Indistinguishability amplification. In: Vol 4622. Springer; 2007:130-149. doi:10.1007/978-3-540-74143-5_8
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3221
Pietrzak KZ, Sjödin J. Range extension for weak PRFs the good the bad and the ugly. In: Vol 4515. Springer; 2007:517-533. doi:10.1007/978-3-540-72540-4_30
View
| DOI
2007 | Journal Article | IST-REx-ID: 3436
Reynolds S, Dryer K, Bollback JP, et al. Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. 2007;124(3):857-867. doi:10.1642/0004-8038(2007)124[857:BPPGPI]2.0.CO;2
View
| DOI
2007 | Book Chapter | IST-REx-ID: 3432
Bollback JP, Gardner P, Nielsen R. Estimating the history of mutations on a phylogeny. In: Liberles D, ed. Ancestral Sequence Reconstruction. Oxford University Press; 2007:69-79. doi:10.1093/acprof:oso/9780199299188.003.0006
View
| DOI
2007 | Journal Article | IST-REx-ID: 3450
Jonas PM, Buzsáki G. Neural inhibition. Scholarpedia. 2007;2. doi:10.4249/scholarpedia.3286
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3561 |
Attali D, Edelsbrunner H, Mileyko Y. Weak witnesses for Delaunay triangulations of submanifolds. In: ACM; 2007:143-150. doi:10.1145/1236246.1236267
View
| DOI
| Download (ext.)
2007 | Conference Paper | IST-REx-ID: 3681
Ulges A, Lampert C, Keysers D, Breuel T. Optimal dominant motion estimation using adaptive search of transformation space. In: Vol 4713. Springer; 2007:204-213. doi:10.1007/978-3-540-74936-3_21
View
| DOI
2007 | Book | IST-REx-ID: 3674
Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. Evolution. Cold Spring Harbor Laboratory Press; 2007.
View
| Files available
2007 | Journal Article | IST-REx-ID: 3727
Bippes C, Janovjak HL, Kedrov A, Mueller D. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 2007;18(4). doi:10.1088/0957-4484/18/4/044022
View
| DOI
2007 | Journal Article | IST-REx-ID: 3723
Janovjak HL, Knaus H, Mueller D. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 2007;129(2):246-247. doi:10.1021/ja065684a
View
| DOI
2007 | Preprint | IST-REx-ID: 3742 |
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. Faster solutions of the inverse pairwise Ising problem. ArXiv. 2007;q-QM.
View
| Download (ext.)
2007 | Journal Article | IST-REx-ID: 3821
Schmidt Hieber C, Jonas PM, Bischofberger J. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 2007;27(31):8430-8441. doi:10.1523/JNEUROSCI.1787-07.2007
View
| DOI
2007 | Journal Article | IST-REx-ID: 3820
Rollenhagen A, Satzler K, Rodriguez EP, Jonas PM, Frotscher M, Lubke J. Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. 2007;27(39):10434-10444. doi:10.1523/JNEUROSCI.1946-07.2007
View
| DOI
2007 | Journal Article | IST-REx-ID: 3819
Li L, Bischofberger J, Jonas PM. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 2007;27(49):13420-13429. doi:10.1523/JNEUROSCI.1709-07.2007
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. Generalized parity games. In: Vol 4423. Springer; 2007:153-167. doi:10.1007/978-3-540-71389-0_12
View
| DOI
2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. Concurrent games with tail objectives. Theoretical Computer Science. 2007;388(1-3):181-198. doi:10.1016/j.tcs.2007.07.047
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. In: Vol 4703. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:59-73. doi:10.1007/978-3-540-74407-8_5
View
| Files available
| DOI
2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. Qualitative logics and equivalences for probabilistic systems. In: IEEE; 2007:237-248. doi:10.1109/QEST.2007.15
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee K. Markov decision processes with multiple long-run average objectives. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:473-484. doi:10.1007/978-3-540-77050-3_39
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee K. Stochastic Müller games are PSPACE-complete. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:436-448. doi:10.1007/978-3-540-77050-3_36
View
| DOI
2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee K. Optimal strategy synthesis in stochastic Müller games. In: Vol 4423. Springer; 2007:138-152. doi:10.1007/978-3-540-71389-0_11
View
| DOI
2007 | Journal Article | IST-REx-ID: 3938
Dorn T, Kuhn U, Bungartz G, et al. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 2007;109(6):2346-2355. doi:10.1182/blood-2006-04-019034
View
| DOI
2007 | Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, et al. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 2007;8(10):1076-1085. doi:10.1038/ni1499
View
| DOI
2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner D, Edelsbrunner H. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 2007;7(4):391-404. doi:10.1007/s10208-005-0200-3
View
| DOI
2007 | Journal Article | IST-REx-ID: 3972
Cohen Steiner D, Edelsbrunner H, Harer J. Stability of persistence diagrams. Discrete & Computational Geometry. 2007;37(1):103-120. doi:10.1007/s00454-006-1276-5
View
| DOI
2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, et al. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 2007;17(6):475-487. doi:10.1016/j.cub.2007.02.013
View
| DOI
2007 | Journal Article | IST-REx-ID: 4234 |
de Vladar H, Pen I. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 2007;373:477-485. doi:10.1016/j.physa.2006.06.025
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. The relation between multilocus population genetics and social evolution theory. American Naturalist. 2007;169(2):207-226. doi:10.1086/510602
View
| DOI
2007 | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 2007;22(11):611-619. doi:10.1016/j.tree.2007.07.007
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Vol 4590. Springer; 2007:4-19. doi:10.1007/978-3-540-73368-3_4
View
| DOI
2007 | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 2007;1(4). doi:10.1186/1752-0509-1-4
View
| DOI
| Download (ext.)
2007 | Book Chapter | IST-REx-ID: 4417
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 4446
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4514
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
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:10.1007/978-3-540-73208-2_2
View
| DOI
2007 | Journal Article | IST-REx-ID: 4531
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
View
| DOI
2007 | Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. Executable cell biology. Nature Biotechnology. 2007;25:1239-1249. doi:10.1038/nbt1356
View
| DOI
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. CSL: Computer Science Logic . Vol 4646. Springer; 2007. doi:10.1007/978-3-540-74915-8
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:10.1007/978-3-540-71209-1_21
View
| DOI
2007 | Journal Article | IST-REx-ID: 4547
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
View
| DOI
2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View
| Download (ext.)
2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View