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.
4140 Publications
2022 | Research Data | IST-REx-ID: 11653 | 
Data from Elkrewi, Khauratovich, Toups et al. 2022, "ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp"
M.N. Elkrewi, (2022).
View
| Files available
| DOI
M.N. Elkrewi, (2022).
2021 | Journal Article | IST-REx-ID: 7900 |
Bosonic collective excitations in Fermi gases
N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).
2021 | Journal Article | IST-REx-ID: 8198 |
Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
2021 | Journal Article | IST-REx-ID: 8253 |
The remarkable robustness of surrogate gradient learning for instilling complex function in spiking neural networks
F. Zenke, T.P. Vogels, Neural Computation 33 (2021) 899–925.
View
| Files available
| DOI
| PubMed | Europe PMC
F. Zenke, T.P. Vogels, Neural Computation 33 (2021) 899–925.
2021 | Journal Article | IST-REx-ID: 8286 |
Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica (2021).
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica (2021).
2021 | Journal Article | IST-REx-ID: 8317 |
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
2021 | Journal Article | IST-REx-ID: 8373 |
A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
2021 | Journal Article | IST-REx-ID: 8430 |
Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, Nature Communications 12 (2021).
View
| Files available
| DOI
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, Nature Communications 12 (2021).
2021 | Journal Article | IST-REx-ID: 8544 |
GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron 109 (2021) P629–644.E8.
View
| DOI
| Download Preprint (ext.)
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron 109 (2021) P629–644.E8.
2021 | Journal Article | IST-REx-ID: 8546 |
Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
2021 | Journal Article | IST-REx-ID: 8582 |
Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
View
| Files available
| DOI
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
2021 | Journal Article | IST-REx-ID: 8602 |
Theory of mechanochemical patterning and optimal migration in cell monolayers
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
View
| Files available
| DOI
| Download Preprint (ext.)
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
2021 | Journal Article | IST-REx-ID: 8603 |
Quantum corrections to the Pekar asymptotics of a strongly coupled polaron
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
View
| Files available
| DOI
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
2021 | Journal Article | IST-REx-ID: 8606 |
GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
View
| Files available
| DOI
| PubMed | Europe PMC
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
2021 | Journal Article | IST-REx-ID: 8608 |
Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana
M. Ke, Z. Ma, D. Wang, Y. Sun, C. Wen, D. Huang, Z. Chen, L. Yang, S. Tan, R. Li, J. Friml, Y. Miao, X. Chen, New Phytologist 229 (2021) 963–978.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Ke, Z. Ma, D. Wang, Y. Sun, C. Wen, D. Huang, Z. Chen, L. Yang, S. Tan, R. Li, J. Friml, Y. Miao, X. Chen, New Phytologist 229 (2021) 963–978.
2021 | Journal Article | IST-REx-ID: 6965 |
The positivity of local equivariant Hirzebruch class for toric varieties
K.P. Rychlewicz, Bulletin of the London Mathematical Society 53 (2021) 560–574.
View
| DOI
| Download Preprint (ext.)
| arXiv
K.P. Rychlewicz, Bulletin of the London Mathematical Society 53 (2021) 560–574.
2021 | Technical Report | IST-REx-ID: 6995 |
Identification of neural oscillations and epileptiform changes in human brain organoids
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
2021 | Journal Article | IST-REx-ID: 7463 |
Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
View
| DOI
| Download Preprint (ext.)
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
2021 | Journal Article | IST-REx-ID: 7551 |
Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
View
| Files available
| DOI
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
2021 | Journal Article | IST-REx-ID: 7553 |
Statistical analysis and optimality of neural systems
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
View
| Files available
| DOI
| Download Preprint (ext.)
W.F. Mlynarski, M. Hledik, T.R. Sokolowski, G. Tkačik, Neuron 109 (2021) 1227–1241.e5.
2021 | Journal Article | IST-REx-ID: 7685 |
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics 33 (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Boccato, Reviews in Mathematical Physics 33 (2021).
2021 | Conference Paper | IST-REx-ID: 10552 |
One-sided Frank-Wolfe algorithms for saddle problems
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
View
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Pock, in:, 38th International Conference on Machine Learning, 2021.
2021 | Conference Paper | IST-REx-ID: 10553 |
Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, Z. Xiang, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–190.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Gelashvili, E. Kokoris Kogias, A. Spiegelman, Z. Xiang, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–190.
2021 | Conference Paper | IST-REx-ID: 10554 |
All You Need is DAG
I. Keidar, E. Kokoris Kogias, O. Naor, A. Spiegelman, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 165–175.
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Keidar, E. Kokoris Kogias, O. Naor, A. Spiegelman, in:, Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 165–175.
2021 | Conference Paper | IST-REx-ID: 10556 |
Asynchronous distributed key generation for computationally-secure randomness, consensus, and threshold signatures
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2021, pp. 1751–1767.
View
| DOI
| Download Preprint (ext.)
E. Kokoris Kogias, D. Malkhi, A. Spiegelman, in:, Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2021, pp. 1751–1767.
2021 | Journal Article | IST-REx-ID: 10565 |
Minimally invasive protocols and quantification for microglia-mediated perineuronal net disassembly in mouse brain
A. Venturino, S. Siegert, STAR Protocols 2 (2021).
View
| Files available
| DOI
A. Venturino, S. Siegert, STAR Protocols 2 (2021).
2021 | Journal Article | IST-REx-ID: 10568 |
Pipefish locally adapted to low salinity in the Baltic Sea retain phenotypic plasticity to cope with ancestral salinity levels
H. Goehlich, L. Sartoris, K.-S. Wagner, C.C. Wendling, O. Roth, Frontiers in Ecology and Evolution 9 (2021).
View
| Files available
| DOI
H. Goehlich, L. Sartoris, K.-S. Wagner, C.C. Wendling, O. Roth, Frontiers in Ecology and Evolution 9 (2021).
2021 | Journal Article | IST-REx-ID: 10569 |
Naïve poison frog tadpoles use bi-modal cues to avoid insect predators but not heterospecific predatory tadpoles
B. Szabo, R. Mangione, M. Rath, A. Pašukonis, S. Reber, J. Oh, M. Ringler, E. Ringler, Journal of Experimental Biology 224 (2021).
View
| Files available
| DOI
| PubMed | Europe PMC
B. Szabo, R. Mangione, M. Rath, A. Pašukonis, S. Reber, J. Oh, M. Ringler, E. Ringler, Journal of Experimental Biology 224 (2021).
2021 | Journal Article | IST-REx-ID: 10573 |
Extracellular hyaluronate pressure shaped by cellular tethers drives tissue morphogenesis
A. Munjal, E.B. Hannezo, T.Y.C. Tsai, T.J. Mitchison, S.G. Megason, Cell 184 (2021) 6313–6325.e18.
View
| DOI
| Download Preprint (ext.)
A. Munjal, E.B. Hannezo, T.Y.C. Tsai, T.J. Mitchison, S.G. Megason, Cell 184 (2021) 6313–6325.e18.
2021 | Journal Article | IST-REx-ID: 10574 |
The effect of geometry and illumination on appearance perception of different material categories
B. Chen, C. Wang, M. Piovarci, H.P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, Visual Computer 37 (2021) 2975–2987.
View
| Files available
| DOI
B. Chen, C. Wang, M. Piovarci, H.P. Seidel, P. Didyk, K. Myszkowski, A. Serrano, Visual Computer 37 (2021) 2975–2987.
2021 | Preprint | IST-REx-ID: 10579 |
On token-driven totally asymmetric simple exclusion process
B. Kavcic, G. Tkačik, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
B. Kavcic, G. Tkačik, ArXiv (n.d.).
2021 | Journal Article | IST-REx-ID: 10585 |
Emergence of anyons on the two-sphere in molecular impurities
M. Brooks, M. Lemeshko, D. Lundholm, E. Yakaboylu, Atoms 9 (2021).
View
| Files available
| DOI
| arXiv
M. Brooks, M. Lemeshko, D. Lundholm, E. Yakaboylu, Atoms 9 (2021).
2021 | Journal Article | IST-REx-ID: 10586 |
Fe2O3 nanoparticles deposited over self-floating facial sponge for facile interfacial seawater solar desalination
Y. Lu, N. Arshad, M.S. Irshad, I. Ahmed, S. Ahmad, L.A. Alshahrani, M. Yousaf, A.E. Sayed, M. Nauman, Crystals 11 (2021).
View
| Files available
| DOI
Y. Lu, N. Arshad, M.S. Irshad, I. Ahmed, S. Ahmad, L.A. Alshahrani, M. Yousaf, A.E. Sayed, M. Nauman, Crystals 11 (2021).
2021 | Journal Article | IST-REx-ID: 10588 |
Sobolev-to-Lipschitz property on QCD - spaces and applications
L. Dello Schiavo, K. Suzuki, Mathematische Annalen (2021).
View
| Files available
| DOI
| arXiv
L. Dello Schiavo, K. Suzuki, Mathematische Annalen (2021).
2021 | Conference Paper | IST-REx-ID: 10593 |
PCA initialization for approximate message passing in rotationally invariant models
M. Mondelli, R. Venkataramanan, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
View
| Download Preprint (ext.)
| arXiv
M. Mondelli, R. Venkataramanan, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
2021 | Conference Paper | IST-REx-ID: 10594 |
When are solutions connected in deep networks?
Q. Nguyen, P. Bréchet, M. Mondelli, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
View
| Download Preprint (ext.)
| arXiv
Q. Nguyen, P. Bréchet, M. Mondelli, in:, 35th Conference on Neural Information Processing Systems, NeurIPS, n.d.
2021 | Conference Paper | IST-REx-ID: 10595 |
Tight bounds on the smallest eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
View
| Download Published Version (ext.)
| arXiv
Q. Nguyen, M. Mondelli, G.F. Montufar, in:, M. Meila, T. Zhang (Eds.), Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
2021 | Conference Paper | IST-REx-ID: 10597 |
Sparse multi-decoder recursive projection aggregation for Reed-Muller codes
D. Fathollahi, N. Farsad, S.A. Hashemi, M. Mondelli, in:, 2021 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2021, pp. 1082–1087.
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Fathollahi, N. Farsad, S.A. Hashemi, M. Mondelli, in:, 2021 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2021, pp. 1082–1087.
2021 | Conference Paper | IST-REx-ID: 10598 |
Approximate message passing with spectral initialization for generalized linear models
M. Mondelli, R. Venkataramanan, in:, A. Banerjee, K. Fukumizu (Eds.), Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2021, pp. 397–405.
View
| Download Preprint (ext.)
| arXiv
M. Mondelli, R. Venkataramanan, in:, A. Banerjee, K. Fukumizu (Eds.), Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2021, pp. 397–405.
2021 | Journal Article | IST-REx-ID: 10602 |
Index appearance record with preorders
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica (2021).
View
| Files available
| DOI
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica (2021).
2021 | Journal Article | IST-REx-ID: 10606 |
Combined effect of cell geometry and polarity domains determines the orientation of unequal division
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
View
| Files available
| DOI
B.G. Godard, R. Dumollard, C.-P.J. Heisenberg, A. Mcdougall, ELife 10 (2021).
2021 | Journal Article | IST-REx-ID: 10607 |
Toll-like receptor 4 deficiency facilitates α-synuclein propagation and neurodegeneration in a mouse model of prodromal Parkinson's disease
S. Venezia, W. Kaufmann, G.K. Wenning, N. Stefanova, Parkinsonism & Related Disorders 91 (2021) 59–65.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Venezia, W. Kaufmann, G.K. Wenning, N. Stefanova, Parkinsonism & Related Disorders 91 (2021) 59–65.
2021 | Journal Article | IST-REx-ID: 10608 |
Coarse infinite-dimensionality of hyperspaces of finite subsets
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
View
| Files available
| DOI
T. Weighill, T. Yamauchi, N. Zava, European Journal of Mathematics (2021).
2021 | Conference Paper | IST-REx-ID: 10609 |
Reverse firewalls for adaptively secure MPC without setup
S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2021, pp. 335–364.
View
| DOI
| Download Preprint (ext.)
S. Chakraborty, C. Ganesh, M. Pancholi, P. Sarkar, in:, 27th International Conference on the Theory and Application of Cryptology and Information Security, Springer Nature, 2021, pp. 335–364.
2021 | Journal Article | IST-REx-ID: 10613 |
Higher-order hydrodynamics and equilibrium fluctuations of interacting particle systems
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
View
| Files available
| Download Preprint (ext.)
| arXiv
J.P. Chen, F. Sau, Markov Processes And Related Fields 27 (2021) 339–380.
2021 | Journal Article | IST-REx-ID: 10616 |
Imaging orbital ferromagnetism in a moiré Chern insulator
C.L. Tschirhart, M. Serlin, H. Polshyn, A. Shragai, Z. Xia, J. Zhu, Y. Zhang, K. Watanabe, T. Taniguchi, M.E. Huber, A.F. Young, Science 372 (2021) 1323–1327.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
C.L. Tschirhart, M. Serlin, H. Polshyn, A. Shragai, Z. Xia, J. Zhu, Y. Zhang, K. Watanabe, T. Taniguchi, M.E. Huber, A.F. Young, Science 372 (2021) 1323–1327.
2021 | Journal Article | IST-REx-ID: 10617 |
Topological charge density waves at half-integer filling of a moiré superlattice
H. Polshyn, Y. Zhang, M.A. Kumar, T. Soejima, P. Ledwith, K. Watanabe, T. Taniguchi, A. Vishwanath, M.P. Zaletel, A.F. Young, Nature Physics (2021).
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Polshyn, Y. Zhang, M.A. Kumar, T. Soejima, P. Ledwith, K. Watanabe, T. Taniguchi, A. Vishwanath, M.P. Zaletel, A.F. Young, Nature Physics (2021).
2021 | Journal Article | IST-REx-ID: 10628 |
Shadow surface states in topological Kondo insulators
A. Ghazaryan, E.M. Nica, O. Erten, P. Ghaemi, New Journal of Physics 23 (2021).
View
| Files available
| DOI
| arXiv
A. Ghazaryan, E.M. Nica, O. Erten, P. Ghaemi, New Journal of Physics 23 (2021).
2021 | Conference Paper | IST-REx-ID: 10629 |
Quantitative verification on product graphs of small treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.
2021 | Conference Paper | IST-REx-ID: 10630 |
On the complexity of intersection non-emptiness for star-free language classes
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.
View
| Files available
| DOI
| arXiv
E. Arrighi, H. Fernau, S. Hoffmann, M. Holzer, I.R. Jecker, M. De Oliveira Oliveira, P. Wolf, in:, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz Zentrum für Informatik, 2021.