×

Found 23,153 Documents (Results 1–100)

100
MathJax

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. (English) Zbl 07572331

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-9196-2). xii, 30 articles, open access (2022).
PDF BibTeX XML Cite
Full Text: DOI

Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 57-74 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Polynomial IOPs for linear algebra relations. (English) Zbl 07554924

Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 523-552 (2022).
MSC:  94A60 68P25 68N20
PDF BibTeX XML Cite
Full Text: DOI

Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. (English) Zbl 07554836

Lecture Notes in Computer Science 13361. Cham: Springer (ISBN 978-3-031-09826-0/pbk; 978-3-031-09827-7/ebook). viii, 125 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Logic-based program synthesis and transformation. 31st International symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. (English) Zbl 07514203

Lecture Notes in Computer Science 13290. Cham: Springer (ISBN 978-3-030-98868-5/pbk; 978-3-030-98869-2/ebook). ix, 177 p. (2022).
MSC:  68-06 68N30 00B25
PDF BibTeX XML Cite
Full Text: DOI

Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 07497120

Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. (English) Zbl 07496176

Lecture Notes in Computer Science 13182. Cham: Springer (ISBN 978-3-030-94582-4/pbk; 978-3-030-94583-1/ebook). x, 520 p. (2022).
MSC:  68-06 68Q60 00B25
PDF BibTeX XML Cite
Full Text: DOI

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

all top 3

Software