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.
7744 Publications
2009 | Journal Article | IST-REx-ID: 11103 | 
Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes
M. Hetzer, S.R. Wente, Developmental Cell 17 (2009) 606–616.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M. Hetzer, S.R. Wente, Developmental Cell 17 (2009) 606–616.
2009 | Journal Article | IST-REx-ID: 11108 |
Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells
M.A. D’Angelo, M. Raices, S.H. Panowski, M. Hetzer, Cell 136 (2009) 284–295.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.A. D’Angelo, M. Raices, S.H. Panowski, M. Hetzer, Cell 136 (2009) 284–295.
2009 | Journal Article | IST-REx-ID: 11106 |
Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo
D.J. Anderson, J.D. Vargas, J.P. Hsiao, M. Hetzer, Journal of Cell Biology 186 (2009) 183–191.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D.J. Anderson, J.D. Vargas, J.P. Hsiao, M. Hetzer, Journal of Cell Biology 186 (2009) 183–191.
2009 | Conference Paper | IST-REx-ID: 11752
Influence of magnetic fields on structural martensitic transitions
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
View
| Files available
| DOI
X. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Oppeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, in:, Journal of Physics: Conference Series, IOP Publishing, 2009.
2009 | Journal Article | IST-REx-ID: 7080
Influence of magnetic fields on structural martensitic transitions
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
View
| Files available
| DOI
X.-D. Yang, P.S. Riseborough, K.A. Modic, R.A. Fisher, C.P. Opeil, T.R. Finlayson, J.C. Cooley, J.L. Smith, P.A. Goddard, A.V. Silhanek, J.C. Lashley, Philosophical Magazine 89 (2009) 2083–2091.
2008 | Journal Article | IST-REx-ID: 2795
Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow
B. Hof, A. De Lózar, D. Kuik, J. Westerweel, Physical Review Letters 101 (2008).
View
| DOI
B. Hof, A. De Lózar, D. Kuik, J. Westerweel, Physical Review Letters 101 (2008).
2008 | Journal Article | IST-REx-ID: 2892
Networking networks
R. Azevedo, R. Lohaus, T. Paixao, Evolution & Development 10 (2008) 514–515.
View
| DOI
R. Azevedo, R. Lohaus, T. Paixao, Evolution & Development 10 (2008) 514–515.
2008 | Journal Article | IST-REx-ID: 3030
Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants
E. Růčková, J. Friml, P. Procházková Schrumpfová, J. Fajkus, Plant Molecular Biology 66 (2008) 637–646.
View
| DOI
E. Růčková, J. Friml, P. Procházková Schrumpfová, J. Fajkus, Plant Molecular Biology 66 (2008) 637–646.
2008 | Journal Article | IST-REx-ID: 3031
Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes
P. Dhonukshe, I. Grigoriev, R. Fischer, M. Tominaga, D. Robinson, J. Hašek, T. Paciorek, J. Petrášek, D. Seifertová, R. Tejos, L. Meisel, E. Zažímalová, T. Gadella, Y. Stierhof, T. Ueda, K. Oiwa, A. Akhmanova, R. Brock, A. Spang, J. Friml, PNAS 105 (2008) 4489–4494.
View
| DOI
P. Dhonukshe, I. Grigoriev, R. Fischer, M. Tominaga, D. Robinson, J. Hašek, T. Paciorek, J. Petrášek, D. Seifertová, R. Tejos, L. Meisel, E. Zažímalová, T. Gadella, Y. Stierhof, T. Ueda, K. Oiwa, A. Akhmanova, R. Brock, A. Spang, J. Friml, PNAS 105 (2008) 4489–4494.
2008 | Journal Article | IST-REx-ID: 3032
ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
View
| DOI
J. Kleine Vehn, P. Dhonukshe, M. Sauer, P. Brewer, J. Wiśniewska, T. Paciorek, E. Benková, J. Friml, Current Biology 18 (2008) 526–531.
2008 | Book Chapter | IST-REx-ID: 3033
Visualization of auxin gradients in embryogenesis
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 137–144.
View
| DOI
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 137–144.
2008 | Journal Article | IST-REx-ID: 3034
Plant biology: In their neighbour's shadow
J. Friml, M. Sauer, Nature 453 (2008) 298–299.
View
| DOI
J. Friml, M. Sauer, Nature 453 (2008) 298–299.
2008 | Book Chapter | IST-REx-ID: 3035
In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 71–76.
View
| DOI
M. Sauer, J. Friml, in:, M. Suárez, P. Bozhkov (Eds.), Plant Embryogenesis, Humana Press, 2008, pp. 71–76.
2008 | Journal Article | IST-REx-ID: 3036
Auxin acts as a local morphogenetic trigger to specify lateral root founder cells
J. Dubrovsky, M. Sauer, S. Napsucialy Mendivil, M. Ivanchenko, J. Friml, S. Shishkova, J. Celenza, E. Benková, PNAS 105 (2008) 8790–8794.
View
| DOI
J. Dubrovsky, M. Sauer, S. Napsucialy Mendivil, M. Ivanchenko, J. Friml, S. Shishkova, J. Celenza, E. Benková, PNAS 105 (2008) 8790–8794.
2008 | Journal Article | IST-REx-ID: 3037 |
PIN polar targeting
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Feraru, J. Friml, Plant Physiology 147 (2008) 1553–1559.
2008 | Journal Article | IST-REx-ID: 3038
The auxin influx carrier LAX3 promotes lateral root emergence
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View
| DOI
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
2008 | Journal Article | IST-REx-ID: 3039
Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root
I. De Smet, V. Vassileva, B. De Rybel, M. Levesque, W. Grunewald, D. Van Damme, G. Van Noorden, M. Naudts, G. Van Isterdael, R. De Clercq, J. Wang, N. Meuli, S. Vanneste, J. Friml, P. Hilson, G. Jürgens, G. Ingram, D. Inzé, P. Benfey, T. Beeckman, Science 322 (2008) 594–597.
View
| DOI
I. De Smet, V. Vassileva, B. De Rybel, M. Levesque, W. Grunewald, D. Van Damme, G. Van Noorden, M. Naudts, G. Van Isterdael, R. De Clercq, J. Wang, N. Meuli, S. Vanneste, J. Friml, P. Hilson, G. Jürgens, G. Ingram, D. Inzé, P. Benfey, T. Beeckman, Science 322 (2008) 594–597.
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: 3041
Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses
D. Santelia, S. Henrichs, V. Vincenzetti, M. Sauer, L. Bigler, M. Klein, A. Bailly, Y. Lee, J. Friml, M. Geisler, E. Martinoia, Journal of Biological Chemistry 283 (2008) 31218–31226.
View
| DOI
D. Santelia, S. Henrichs, V. Vincenzetti, M. Sauer, L. Bigler, M. Klein, A. Bailly, Y. Lee, J. Friml, M. Geisler, E. Martinoia, Journal of Biological Chemistry 283 (2008) 31218–31226.
2008 | Journal Article | IST-REx-ID: 3042
Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting
J. Kleine Vehn, J. Leitner, M. Zwiewka, M. Sauer, L. Abas, C. Luschnig, J. Friml, PNAS 105 (2008) 17812–17817.
View
| DOI
J. Kleine Vehn, J. Leitner, M. Zwiewka, M. Sauer, L. Abas, C. Luschnig, J. Friml, PNAS 105 (2008) 17812–17817.
2008 | Journal Article | IST-REx-ID: 3043
Polar targeting and endocytic recycling in auxin-dependent plant development
J. Kleine Vehn, J. Friml, Annual Review of Cell and Developmental Biology 24 (2008) 447–473.
View
| DOI
| PubMed | Europe PMC
J. Kleine Vehn, J. Friml, Annual Review of Cell and Developmental Biology 24 (2008) 447–473.
2008 | Journal Article | IST-REx-ID: 3044
Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development
J. Mravec, M. Kubeš, A. Bielach, V. Gaykova, J. Petrášek, P. Skůpa, S. Chand, E. Benková, E. Zažímalová, J. Friml, Development 135 (2008) 3345–3354.
View
| DOI
J. Mravec, M. Kubeš, A. Bielach, V. Gaykova, J. Petrášek, P. Skůpa, S. Chand, E. Benková, E. Zažímalová, J. Friml, Development 135 (2008) 3345–3354.
2008 | Journal Article | IST-REx-ID: 3045
Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions
P. Dhonukshe, H. Tanaka, T. Goh, K. Ebine, A. Mähönen, K. Prasad, I. Blilou, N. Geldner, J. Xu, T. Uemura, J. Chory, T. Ueda, A. Nakano, B. Scheres, J. Friml, Nature 456 (2008) 962–966.
View
| DOI
P. Dhonukshe, H. Tanaka, T. Goh, K. Ebine, A. Mähönen, K. Prasad, I. Blilou, N. Geldner, J. Xu, T. Uemura, J. Chory, T. Ueda, A. Nakano, B. Scheres, J. Friml, Nature 456 (2008) 962–966.
2008 | Conference Paper | IST-REx-ID: 3194
On partial optimality in multi label MRFs
P. Kohli, A. Shekhovtsov, C. Rother, V. Kolmogorov, P. Torr, in:, Omnipress, 2008, pp. 480–487.
View
| DOI
| Download (ext.)
P. Kohli, A. Shekhovtsov, C. Rother, V. Kolmogorov, P. Torr, in:, Omnipress, 2008, pp. 480–487.
2008 | Conference Paper | IST-REx-ID: 3195
Graph cut based image segmentation with connectivity priors
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2008.
View
| DOI
| Download (ext.)
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2008.
2008 | Journal Article | IST-REx-ID: 3196
A comparative study of energy minimization methods for Markov random fields with smoothness-based priors
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 30 (2008) 1068–1080.
View
| DOI
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 30 (2008) 1068–1080.
2008 | Conference Paper | IST-REx-ID: 3198
Feature correspondence via graph matching: Models and global optimization
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
View
| DOI
| Download (ext.)
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
2008 | Conference Paper | IST-REx-ID: 3224
A new mode of operation for block ciphers and length preserving MACs
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
View
| DOI
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
2008 | Conference Paper | IST-REx-ID: 3225
Robust multi property combiners for hash functions revisited
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
View
| Files available
| DOI
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
2008 | Conference Paper | IST-REx-ID: 3226
Weak pseudorandom functions in minicrypt
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
2008 | Journal Article | IST-REx-ID: 3227
Elektrowiz – system of measurement data management
P. Zubielik, J. Nadaczny, K.Z. Pietrzak, M. Lawenda, Przeglad Elektrotechniczny 84 (2008) 239–242.
View
| Download (ext.)
P. Zubielik, J. Nadaczny, K.Z. Pietrzak, M. Lawenda, Przeglad Elektrotechniczny 84 (2008) 239–242.
2008 | Conference Paper | IST-REx-ID: 3228
Compression from collisions or why CRHF combiners have a long output
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
2008 | Conference Paper | IST-REx-ID: 3229
Leakage resilient cryptography
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.
View
| DOI
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.
2008 | Journal Article | IST-REx-ID: 3291
Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus
P.S. Schmalhorst, S. Krappmann, W. Vervecken, M. Rohde, M. Müller, G. Braus, R. Contreras, A. Braun, H. Bakker, F. Routier, Eukaryotic Cell 7 (2008) 1268–1277.
View
| DOI
P.S. Schmalhorst, S. Krappmann, W. Vervecken, M. Rohde, M. Müller, G. Braus, R. Contreras, A. Braun, H. Bakker, F. Routier, Eukaryotic Cell 7 (2008) 1268–1277.
2008 | Journal Article | IST-REx-ID: 3307 |
A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View
| DOI
| Download (ext.)
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
2008 | Journal Article | IST-REx-ID: 3409
Fully automated single-molecule force spectroscopy for screening applications
J. Struckmeier, R. Wahl, M. Leuschner, J. Nunes, H.L. Janovjak, U. Geisler, G. Hofmann, T. Jähnke, D. Mueller, Nanotechnology 19 (2008).
View
| DOI
J. Struckmeier, R. Wahl, M. Leuschner, J. Nunes, H.L. Janovjak, U. Geisler, G. Hofmann, T. Jähnke, D. Mueller, Nanotechnology 19 (2008).
2008 | Book Review | IST-REx-ID: 3410
From valleys to ridges: Exploring the energy landscape of single membrane proteins
H.L. Janovjak, T. Sapra, A. Kedrov, D. Mueller, ChemPhysChem 9 (2008) 954–966.
View
| DOI
H.L. Janovjak, T. Sapra, A. Kedrov, D. Mueller, ChemPhysChem 9 (2008) 954–966.
2008 | Journal Article | IST-REx-ID: 844
Hypermutable non-synonymous sites are under stronger negative selection
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
View
| DOI
S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, S. Sunyaev, PLoS Genetics 4 (2008).
2008 | Journal Article | IST-REx-ID: 8480
Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
View
| DOI
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
2008 | Journal Article | IST-REx-ID: 8481
Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
View
| DOI
B. Bersch, A. Favier, P. Schanda, S. van Aelst, T. Vallaeys, J. Covès, M. Mergeay, R. Wattiez, Journal of Molecular Biology 380 (2008) 386–403.
2008 | Journal Article | IST-REx-ID: 8482
Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load
T. Kern, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 190 (2008) 333–338.
View
| DOI
T. Kern, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 190 (2008) 333–338.
2008 | Journal Article | IST-REx-ID: 8509
Geometry of Arnold diffusion
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
View
| DOI
V. Kaloshin, M. Levi, SIAM Review 50 (2008) 702–720.
2008 | Journal Article | IST-REx-ID: 8510
An example of Arnold diffusion for near-integrable Hamiltonians
V. Kaloshin, M. Levi, Bulletin of the American Mathematical Society 45 (2008) 409–427.
View
| DOI
V. Kaloshin, M. Levi, Bulletin of the American Mathematical Society 45 (2008) 409–427.
2008 | Thesis | IST-REx-ID: 4415
Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
View
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
2008 | Conference Paper | IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View
| DOI
| Download (ext.)
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
2008 | Journal Article | IST-REx-ID: 4509
Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
View
| DOI
| Download (ext.)
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
2008 | Conference Paper | IST-REx-ID: 4521
Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
View
| DOI
| Download (ext.)
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
2008 | Thesis | IST-REx-ID: 4524
A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
View
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
2008 | Conference Paper | IST-REx-ID: 4527
Bounded asynchrony: Concurrency for modeling cell-cell interactions
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
View
| DOI
| Download (ext.)
J. Fisher, T.A. Henzinger, M. Mateescu, N. Piterman, in:, Springer, 2008, pp. 17–32.
2008 | Journal Article | IST-REx-ID: 4532
Equivalence of labeled Markov chains
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.
View
| DOI
| Download (ext.)
L. Doyen, T.A. Henzinger, J. Raskin, International Journal of Foundations of Computer Science 19 (2008) 549–563.