×

Found 1,470 Documents (Results 1–100)

100
MathJax

Formal verification of a Java component using the RESOLVE framework. (English) Zbl 07497928

Konev, Boris (ed.) et al., Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12941, 287-305 (2021).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

New modularity bounds for graphs \(G(n,r,s)\) and \(G_p(n,r,s)\). (English. Russian original) Zbl 1481.05126

Probl. Inf. Transm. 57, No. 4, 380-401 (2021); translation from Probl. Peredachi Inf. 57, No. 4, 87-109 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimising attractor computation in Boolean automata networks. (English) Zbl 07405978

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 68-80 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Gromov-Witten theory of quotients of Fermat Calabi-Yau varieties. (English) Zbl 1482.14009

Memoirs of the American Mathematical Society 1310. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4363-4/pbk; 978-1-4704-6475-2/ebook). v, 92 p. (2021).
MSC:  14D07 14N35 14-02
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software