Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
LibreCat: https://research-explorer.ista.ac.at/record/14820
DOI: 10.1016/j.tcs.2023.114353

Local criteria for triangulating general manifolds
J.-D. Boissonnat, R. Dyer, A. Ghosh, M. Wintraecken, Discrete &; Computational Geometry 69 (2023) 156–191.
LibreCat: https://research-explorer.ista.ac.at/record/12287
DOI: 10.1007/s00454-022-00431-7
WoS: 000862193600001

Topology and adjunction in promise constraint satisfaction
A. Krokhin, J. Oprsal, M. Wrochna, S. divný, SIAM Journal on Computing 52 (2023) 38–79.
LibreCat: https://research-explorer.ista.ac.at/record/12563
DOI: 10.1137/20m1378223
WoS: 000955000000001
arXiv: 2003.11351

Long-lived counters with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
LibreCat: https://research-explorer.ista.ac.at/record/12164
DOI: 10.1007/s00446-022-00439-5
WoS: 000890138700001

Practical limitations of Ethereum’s layer-2
R. Neiheiser, G. Inacio, L. Rech, C. Montez, M. Matos, L. Rodrigues, IEEE Access 11 (2023) 8651–8662.
LibreCat: https://research-explorer.ista.ac.at/record/13988
DOI: 10.1109/access.2023.3237897
WoS: 000927831000001

Zero-error communication over adversarial MACs
Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.
LibreCat: https://research-explorer.ista.ac.at/record/14751
DOI: 10.1109/tit.2023.3257239
arXiv: 2101.12426

Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3
A. Teplova, A.A. Pigidanov, M.V. Serebryakova, S.A. Golyshev, R.A. Galiullina, N.V. Chichkova, A.B. Vartapetian, International Journal of Molecular Sciences 24 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14776
DOI: 10.3390/ijms242216527
WoS: 001113792600001
PMID: 38003717

On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
LibreCat: https://research-explorer.ista.ac.at/record/14778
DOI: 10.1145/3585391
arXiv: 2108.02188

Explosive transitions in epidemic dynamics
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12134
DOI: 10.1088/2632-072x/ac99cd

Eukaryotic gene regulation at equilibrium, or non?
B. Zoller, T. Gregor, G. Tkadik, Current Opinion in Systems Biology 31 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12156
DOI: 10.1016/j.coisb.2022.100435

Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk
S.J. Henheik, S. Teufel, Forum of Mathematics, Sigma 10 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/10643
DOI: 10.1017/fms.2021.80
WoS: 000743615000001
arXiv: 2012.15239

Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics
A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/11556
DOI: 10.1016/j.jcp.2022.111439
WoS: 000917225500013
arXiv: 2103.09481

Connectivity of triangulation flip graphs in the plane
U. Wagner, E. Welzl, Discrete &; Computational Geometry 68 (2022) 1227–1284.
LibreCat: https://research-explorer.ista.ac.at/record/12129
DOI: 10.1007/s00454-022-00436-2
WoS: 000883222200003

Rank-uniform local law for Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Forum of Mathematics, Sigma 10 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12148
DOI: 10.1017/fms.2022.86
WoS: 000873719200001

Loose cores and cycles in random hypergraphs
O. Cooley, M. Kang, J. Zalla, The Electronic Journal of Combinatorics 29 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12286
DOI: 10.37236/10794
WoS: 000876763300001

First and second sound in two-dimensional bosonic and fermionic superfluids
L. Salasnich, A. Cappellaro, K. Furutani, A. Tononi, G. Bighin, Symmetry 14 (2022).
LibreCat: https://research-explorer.ista.ac.at/record/12154
DOI: 10.3390/sym14102182
WoS: 000875039200001

Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
LibreCat: https://research-explorer.ista.ac.at/record/9311
DOI: 10.1287/moor.2020.1116
WoS: 000731918100001
arXiv: 1904.13360

A context-aware dimension reduction framework for trajectory and health signal analyses
S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing 13 (2022) 2621–2635.
LibreCat: https://research-explorer.ista.ac.at/record/10208
DOI: 10.1007/s12652-021-03569-z
WoS: 000712198000001

Vanishing of all equivariant obstructions and the mapping degree
S. Avvakumov, S. Kudrya, Discrete &; Computational Geometry 66 (2021) 1202–1216.
LibreCat: https://research-explorer.ista.ac.at/record/11446
DOI: 10.1007/s00454-021-00299-z
arXiv: 1910.12628

Symbolic time and space tradeoffs for probabilistic verification
K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/10002
DOI: 10.1109/LICS52264.2021.9470739
WoS: 000947350400089
arXiv: 2104.07466